runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201012091704/p2cudf-user-1.10/3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debian-dudf.log.runsolver ./p2cudf-user-1.10 /home/misc2010/data/2010/debian-dudf//3e4f8550-0b33-11df-942d-00163e1d94dc.cudf /home/misc2010/tmp/201012091704/p2cudf-user-1.10/3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debian-dudf.result -changed,-notuptodate,-removed,-new 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 0.98 0.97 0.98 3/38 4540
/proc/meminfo: memFree=401148/1048576 swapFree=2095372/2097144
[pid=4539] ppid=4538 vsize=2576 CPUtime=0
/proc/4539/stat : 4539 (p2cudf-user-1.1) R 4538 4539 25521 34816 2180 4202496 359 0 0 0 0 0 0 0 25 0 1 0 901117904 2637824 273 1283457024 134512640 135304128 4287357568 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/4539/statm: 644 273 233 194 0 30 0
[pid=4540] ppid=4539 vsize=2576 CPUtime=0
/proc/4540/stat : 4540 (p2cudf-user-1.1) R 4539 4539 25521 34816 2180 4202560 0 0 0 0 0 0 0 0 25 0 1 0 901117905 2637824 40 1283457024 134512640 135304128 4287357568 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/4540/statm: 644 40 0 194 0 30 0

[startup+0.132438 s]
/proc/loadavg: 0.98 0.97 0.98 3/38 4540
/proc/meminfo: memFree=401148/1048576 swapFree=2095372/2097144
[pid=4539] ppid=4538 vsize=2576 CPUtime=0
/proc/4539/stat : 4539 (p2cudf-user-1.1) S 4538 4539 25521 34816 2180 4202496 378 0 0 0 0 0 0 0 25 0 1 0 901117904 2637824 273 1283457024 134512640 135304128 4287357568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4539/statm: 644 273 233 194 0 30 0
[pid=4540] ppid=4539 vsize=2576 CPUtime=0.02
/proc/4540/stat : 4540 (p2cudf) S 4539 4539 25521 34816 2180 4202496 392 2993 0 1 0 0 2 0 25 0 1 0 901117905 2637824 282 1283457024 134512640 135304128 4293126192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4540/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5152

[startup+0.202451 s]
/proc/loadavg: 0.98 0.97 0.98 3/38 4540
/proc/meminfo: memFree=401148/1048576 swapFree=2095372/2097144
[pid=4539] ppid=4538 vsize=2576 CPUtime=0
/proc/4539/stat : 4539 (p2cudf-user-1.1) S 4538 4539 25521 34816 2180 4202496 378 0 0 0 0 0 0 0 25 0 1 0 901117904 2637824 273 1283457024 134512640 135304128 4287357568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4539/statm: 644 273 233 194 0 30 0
[pid=4540] ppid=4539 vsize=2576 CPUtime=0.02
/proc/4540/stat : 4540 (p2cudf) S 4539 4539 25521 34816 2180 4202496 392 2993 0 1 0 0 2 0 25 0 1 0 901117905 2637824 282 1283457024 134512640 135304128 4293126192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4540/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5152

[startup+0.312479 s]
/proc/loadavg: 0.98 0.97 0.98 3/38 4540
/proc/meminfo: memFree=401148/1048576 swapFree=2095372/2097144
[pid=4539] ppid=4538 vsize=2576 CPUtime=0
/proc/4539/stat : 4539 (p2cudf-user-1.1) S 4538 4539 25521 34816 2180 4202496 378 0 0 0 0 0 0 0 25 0 1 0 901117904 2637824 273 1283457024 134512640 135304128 4287357568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4539/statm: 644 273 233 194 0 30 0
[pid=4540] ppid=4539 vsize=2576 CPUtime=0.02
/proc/4540/stat : 4540 (p2cudf) S 4539 4539 25521 34816 2180 4202496 392 2993 0 1 0 0 2 0 25 0 1 0 901117905 2637824 282 1283457024 134512640 135304128 4293126192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4540/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5152

[startup+0.712555 s]
/proc/loadavg: 0.98 0.97 0.98 3/38 4540
/proc/meminfo: memFree=401148/1048576 swapFree=2095372/2097144
[pid=4539] ppid=4538 vsize=2576 CPUtime=0
/proc/4539/stat : 4539 (p2cudf-user-1.1) S 4538 4539 25521 34816 2180 4202496 378 0 0 0 0 0 0 0 25 0 1 0 901117904 2637824 273 1283457024 134512640 135304128 4287357568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4539/statm: 644 273 233 194 0 30 0
[pid=4540] ppid=4539 vsize=2576 CPUtime=0.02
/proc/4540/stat : 4540 (p2cudf) S 4539 4539 25521 34816 2180 4202496 392 2993 0 1 0 0 2 0 25 0 1 0 901117905 2637824 282 1283457024 134512640 135304128 4293126192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4540/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5152

[startup+1.51276 s]
/proc/loadavg: 0.98 0.97 0.98 4/49 4562
/proc/meminfo: memFree=362976/1048576 swapFree=2095372/2097144
[pid=4539] ppid=4538 vsize=2576 CPUtime=0
/proc/4539/stat : 4539 (p2cudf-user-1.1) S 4538 4539 25521 34816 2180 4202496 378 0 0 0 0 0 0 0 25 0 1 0 901117904 2637824 273 1283457024 134512640 135304128 4287357568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4539/statm: 644 273 233 194 0 30 0
[pid=4540] ppid=4539 vsize=2576 CPUtime=0.02
/proc/4540/stat : 4540 (p2cudf) S 4539 4539 25521 34816 2180 4202496 392 2993 0 1 0 0 2 0 25 0 1 0 901117905 2637824 282 1283457024 134512640 135304128 4293126192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4540/statm: 644 282 241 194 0 30 0
[pid=4553] ppid=4540 vsize=863132 CPUtime=1.47
/proc/4553/stat : 4553 (java) S 4540 4539 25521 34816 2180 4202496 18568 0 1 0 136 11 0 0 25 0 10 0 901117908 883847168 17721 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4553/statm: 215783 17721 1732 10 0 212873 0
[pid=4553/tid=4554] ppid=4540 vsize=863132 CPUtime=0.88
/proc/4553/task/4554/stat : 4554 (java) R 4540 4539 25521 34816 2180 4202560 14628 0 1 0 78 10 0 0 25 0 10 0 901117909 883847168 17721 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4553/tid=4555] ppid=4540 vsize=863132 CPUtime=0
/proc/4553/task/4555/stat : 4555 (java) S 4540 4539 25521 34816 2180 4202560 5 0 0 0 0 0 0 0 18 0 10 0 901117910 883847168 17721 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4556] ppid=4540 vsize=863132 CPUtime=0
/proc/4553/task/4556/stat : 4556 (java) S 4540 4539 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 25 0 10 0 901117911 883847168 17721 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4557] ppid=4540 vsize=863132 CPUtime=0
/proc/4553/task/4557/stat : 4557 (java) S 4540 4539 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 10 0 901117911 883847168 17721 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4558] ppid=4540 vsize=863132 CPUtime=0
/proc/4553/task/4558/stat : 4558 (java) S 4540 4539 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 901117913 883847168 17721 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4559] ppid=4540 vsize=863132 CPUtime=0.38
/proc/4553/task/4559/stat : 4559 (java) R 4540 4539 25521 34816 2180 4202560 2630 0 0 0 38 0 0 0 21 0 10 0 901117913 883847168 17721 1283457024 134512640 134550932 4291190000 18446744073709551615 4150550694 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4553/tid=4560] ppid=4540 vsize=863132 CPUtime=0.19
/proc/4553/task/4560/stat : 4560 (java) S 4540 4539 25521 34816 2180 4202560 195 0 0 0 19 0 0 0 24 0 10 0 901117913 883847168 17721 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4561] ppid=4540 vsize=863132 CPUtime=0
/proc/4553/task/4561/stat : 4561 (java) S 4540 4539 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 901117913 883847168 17721 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4562] ppid=4540 vsize=863132 CPUtime=0
/proc/4553/task/4562/stat : 4562 (java) S 4540 4539 25521 34816 2180 4202560 3 0 0 0 0 0 0 0 15 0 10 0 901117913 883847168 17721 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 868284

[startup+3.10601 s]
/proc/loadavg: 0.98 0.97 0.98 2/49 4562
/proc/meminfo: memFree=214880/1048576 swapFree=2095372/2097144
[pid=4539] ppid=4538 vsize=2576 CPUtime=0
/proc/4539/stat : 4539 (p2cudf-user-1.1) S 4538 4539 25521 34816 2180 4202496 378 0 0 0 0 0 0 0 25 0 1 0 901117904 2637824 273 1283457024 134512640 135304128 4287357568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4539/statm: 644 273 233 194 0 30 0
[pid=4540] ppid=4539 vsize=2576 CPUtime=0.02
/proc/4540/stat : 4540 (p2cudf) S 4539 4539 25521 34816 2180 4202496 392 2993 0 1 0 0 2 0 25 0 1 0 901117905 2637824 282 1283457024 134512640 135304128 4293126192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4540/statm: 644 282 241 194 0 30 0
[pid=4553] ppid=4540 vsize=864216 CPUtime=2.89
/proc/4553/stat : 4553 (java) S 4540 4539 25521 34816 2180 4202496 67985 0 1 0 264 25 0 0 25 0 10 0 901117908 884957184 66576 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4553/statm: 216054 66576 1746 10 0 213144 0
[pid=4553/tid=4554] ppid=4540 vsize=864216 CPUtime=1.74
/proc/4553/task/4554/stat : 4554 (java) R 4540 4539 25521 34816 2180 4202560 50278 0 1 0 156 18 0 0 25 0 10 0 901117909 884957184 66576 1283457024 134512640 134550932 4291190000 18446744073709551615 4095730990 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4553/tid=4555] ppid=4540 vsize=864216 CPUtime=0.28
/proc/4553/task/4555/stat : 4555 (java) S 4540 4539 25521 34816 2180 4202560 12928 0 0 0 22 6 0 0 16 0 10 0 901117910 884957184 66576 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4556] ppid=4540 vsize=864216 CPUtime=0
/proc/4553/task/4556/stat : 4556 (java) S 4540 4539 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 10 0 901117911 884957184 66576 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4557] ppid=4540 vsize=864216 CPUtime=0
/proc/4553/task/4557/stat : 4557 (java) S 4540 4539 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 10 0 901117911 884957184 66576 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4558] ppid=4540 vsize=864216 CPUtime=0
/proc/4553/task/4558/stat : 4558 (java) S 4540 4539 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 901117913 884957184 66576 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4559] ppid=4540 vsize=864216 CPUtime=0.67
/proc/4553/task/4559/stat : 4559 (java) S 4540 4539 25521 34816 2180 4202560 3471 0 0 0 67 0 0 0 16 0 10 0 901117913 884957184 66576 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4560] ppid=4540 vsize=864216 CPUtime=0.19
/proc/4553/task/4560/stat : 4560 (java) S 4540 4539 25521 34816 2180 4202560 195 0 0 0 19 0 0 0 24 0 10 0 901117913 884957184 66576 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4561] ppid=4540 vsize=864216 CPUtime=0
/proc/4553/task/4561/stat : 4561 (java) S 4540 4539 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 901117913 884957184 66576 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4562] ppid=4540 vsize=864216 CPUtime=0
/proc/4553/task/4562/stat : 4562 (java) S 4540 4539 25521 34816 2180 4202560 3 0 0 0 0 0 0 0 15 0 10 0 901117913 884957184 66576 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 869368

[startup+6.30706 s]
/proc/loadavg: 1.06 0.99 0.98 2/49 4562
/proc/meminfo: memFree=62208/1048576 swapFree=2095372/2097144
[pid=4539] ppid=4538 vsize=2576 CPUtime=0
/proc/4539/stat : 4539 (p2cudf-user-1.1) S 4538 4539 25521 34816 2180 4202496 378 0 0 0 0 0 0 0 25 0 1 0 901117904 2637824 273 1283457024 134512640 135304128 4287357568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4539/statm: 644 273 233 194 0 30 0
[pid=4540] ppid=4539 vsize=2576 CPUtime=0.02
/proc/4540/stat : 4540 (p2cudf) S 4539 4539 25521 34816 2180 4202496 392 2993 0 1 0 0 2 0 25 0 1 0 901117905 2637824 282 1283457024 134512640 135304128 4293126192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4540/statm: 644 282 241 194 0 30 0
[pid=4553] ppid=4540 vsize=871688 CPUtime=6.1
/proc/4553/stat : 4553 (java) S 4540 4539 25521 34816 2180 4202496 85289 0 1 0 576 34 0 0 25 0 11 0 901117908 892608512 81269 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4553/statm: 217922 81269 1786 10 0 215012 0
[pid=4553/tid=4554] ppid=4540 vsize=871688 CPUtime=2.85
/proc/4553/task/4554/stat : 4554 (java) R 4540 4539 25521 34816 2180 4202560 50443 0 1 0 266 19 0 0 25 0 11 0 901117909 892608512 81269 1283457024 134512640 134550932 4291190000 18446744073709551615 4096970134 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4553/tid=4555] ppid=4540 vsize=871688 CPUtime=0.57
/proc/4553/task/4555/stat : 4555 (java) S 4540 4539 25521 34816 2180 4202560 25380 0 0 0 46 11 0 0 16 0 11 0 901117910 892608512 81269 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4556] ppid=4540 vsize=871688 CPUtime=0
/proc/4553/task/4556/stat : 4556 (java) S 4540 4539 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 901117911 892608512 81269 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4557] ppid=4540 vsize=871688 CPUtime=0
/proc/4553/task/4557/stat : 4557 (java) S 4540 4539 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 901117911 892608512 81269 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4558] ppid=4540 vsize=871688 CPUtime=0
/proc/4553/task/4558/stat : 4558 (java) S 4540 4539 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 901117913 892608512 81269 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4559] ppid=4540 vsize=871688 CPUtime=2.46
/proc/4553/task/4559/stat : 4559 (java) S 4540 4539 25521 34816 2180 4202560 8154 0 0 0 244 2 0 0 15 0 11 0 901117913 892608512 81269 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4560] ppid=4540 vsize=871688 CPUtime=0.19
/proc/4553/task/4560/stat : 4560 (java) S 4540 4539 25521 34816 2180 4202560 195 0 0 0 19 0 0 0 24 0 11 0 901117913 892608512 81269 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4561] ppid=4540 vsize=871688 CPUtime=0
/proc/4553/task/4561/stat : 4561 (java) S 4540 4539 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 901117913 892608512 81269 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4562] ppid=4540 vsize=871688 CPUtime=0
/proc/4553/task/4562/stat : 4562 (java) S 4540 4539 25521 34816 2180 4202560 3 0 0 0 0 0 0 0 15 0 11 0 901117913 892608512 81269 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 876840

[startup+12.7091 s]
/proc/loadavg: 1.06 0.99 0.98 2/50 4563
/proc/meminfo: memFree=61456/1048576 swapFree=2095372/2097144
[pid=4539] ppid=4538 vsize=2576 CPUtime=0
/proc/4539/stat : 4539 (p2cudf-user-1.1) S 4538 4539 25521 34816 2180 4202496 378 0 0 0 0 0 0 0 25 0 1 0 901117904 2637824 273 1283457024 134512640 135304128 4287357568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4539/statm: 644 273 233 194 0 30 0
[pid=4540] ppid=4539 vsize=2576 CPUtime=0.02
/proc/4540/stat : 4540 (p2cudf) S 4539 4539 25521 34816 2180 4202496 392 2993 0 1 0 0 2 0 25 0 1 0 901117905 2637824 282 1283457024 134512640 135304128 4293126192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4540/statm: 644 282 241 194 0 30 0
[pid=4553] ppid=4540 vsize=871688 CPUtime=12.5
/proc/4553/stat : 4553 (java) S 4540 4539 25521 34816 2180 4202496 85329 0 1 0 1216 34 0 0 25 0 11 0 901117908 892608512 81309 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4553/statm: 217922 81309 1791 10 0 215012 0
[pid=4553/tid=4554] ppid=4540 vsize=871688 CPUtime=8.91
/proc/4553/task/4554/stat : 4554 (java) R 4540 4539 25521 34816 2180 4202560 50446 0 1 0 872 19 0 0 25 0 11 0 901117909 892608512 81309 1283457024 134512640 134550932 4291190000 18446744073709551615 4097009015 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4553/tid=4555] ppid=4540 vsize=871688 CPUtime=0.57
/proc/4553/task/4555/stat : 4555 (java) S 4540 4539 25521 34816 2180 4202560 25380 0 0 0 46 11 0 0 16 0 11 0 901117910 892608512 81309 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4556] ppid=4540 vsize=871688 CPUtime=0
/proc/4553/task/4556/stat : 4556 (java) S 4540 4539 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 901117911 892608512 81309 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4557] ppid=4540 vsize=871688 CPUtime=0
/proc/4553/task/4557/stat : 4557 (java) S 4540 4539 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 901117911 892608512 81309 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4558] ppid=4540 vsize=871688 CPUtime=0
/proc/4553/task/4558/stat : 4558 (java) S 4540 4539 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 901117913 892608512 81309 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4559] ppid=4540 vsize=871688 CPUtime=2.79
/proc/4553/task/4559/stat : 4559 (java) S 4540 4539 25521 34816 2180 4202560 8191 0 0 0 277 2 0 0 15 0 11 0 901117913 892608512 81309 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4560] ppid=4540 vsize=871688 CPUtime=0.19
/proc/4553/task/4560/stat : 4560 (java) S 4540 4539 25521 34816 2180 4202560 195 0 0 0 19 0 0 0 24 0 11 0 901117913 892608512 81309 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4561] ppid=4540 vsize=871688 CPUtime=0
/proc/4553/task/4561/stat : 4561 (java) S 4540 4539 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 901117913 892608512 81309 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4562] ppid=4540 vsize=871688 CPUtime=0
/proc/4553/task/4562/stat : 4562 (java) S 4540 4539 25521 34816 2180 4202560 3 0 0 0 0 0 0 0 15 0 11 0 901117913 892608512 81309 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4563] ppid=4540 vsize=871688 CPUtime=0
/proc/4553/task/4563/stat : 4563 (java) S 4540 4539 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 11 0 901118515 892608512 81309 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 876840

Solver just ended. Dumping a history of the last processes samples

[startup+12.8091 s]
/proc/loadavg: 1.06 0.99 0.98 2/50 4563
/proc/meminfo: memFree=61456/1048576 swapFree=2095372/2097144
[pid=4539] ppid=4538 vsize=2576 CPUtime=0
/proc/4539/stat : 4539 (p2cudf-user-1.1) S 4538 4539 25521 34816 2180 4202496 378 0 0 0 0 0 0 0 25 0 1 0 901117904 2637824 273 1283457024 134512640 135304128 4287357568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4539/statm: 644 273 233 194 0 30 0
[pid=4540] ppid=4539 vsize=2576 CPUtime=0.02
/proc/4540/stat : 4540 (p2cudf) S 4539 4539 25521 34816 2180 4202496 392 2993 0 1 0 0 2 0 25 0 1 0 901117905 2637824 282 1283457024 134512640 135304128 4293126192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4540/statm: 644 282 241 194 0 30 0
[pid=4553] ppid=4540 vsize=871688 CPUtime=12.6
/proc/4553/stat : 4553 (java) S 4540 4539 25521 34816 2180 4202496 85329 0 1 0 1226 34 0 0 25 0 11 0 901117908 892608512 81309 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4553/statm: 217922 81309 1791 10 0 215012 0
[pid=4553/tid=4554] ppid=4540 vsize=871688 CPUtime=9.01
/proc/4553/task/4554/stat : 4554 (java) R 4540 4539 25521 34816 2180 4202560 50446 0 1 0 882 19 0 0 25 0 11 0 901117909 892608512 81309 1283457024 134512640 134550932 4291190000 18446744073709551615 4096983697 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4553/tid=4555] ppid=4540 vsize=871688 CPUtime=0.57
/proc/4553/task/4555/stat : 4555 (java) S 4540 4539 25521 34816 2180 4202560 25380 0 0 0 46 11 0 0 16 0 11 0 901117910 892608512 81309 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4556] ppid=4540 vsize=871688 CPUtime=0
/proc/4553/task/4556/stat : 4556 (java) S 4540 4539 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 901117911 892608512 81309 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4557] ppid=4540 vsize=871688 CPUtime=0
/proc/4553/task/4557/stat : 4557 (java) S 4540 4539 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 901117911 892608512 81309 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4558] ppid=4540 vsize=871688 CPUtime=0
/proc/4553/task/4558/stat : 4558 (java) S 4540 4539 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 901117913 892608512 81309 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4559] ppid=4540 vsize=871688 CPUtime=2.79
/proc/4553/task/4559/stat : 4559 (java) S 4540 4539 25521 34816 2180 4202560 8191 0 0 0 277 2 0 0 15 0 11 0 901117913 892608512 81309 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4560] ppid=4540 vsize=871688 CPUtime=0.19
/proc/4553/task/4560/stat : 4560 (java) S 4540 4539 25521 34816 2180 4202560 195 0 0 0 19 0 0 0 24 0 11 0 901117913 892608512 81309 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4561] ppid=4540 vsize=871688 CPUtime=0
/proc/4553/task/4561/stat : 4561 (java) S 4540 4539 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 901117913 892608512 81309 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4562] ppid=4540 vsize=871688 CPUtime=0
/proc/4553/task/4562/stat : 4562 (java) R 4540 4539 25521 34816 2180 4202560 3 0 0 0 0 0 0 0 15 0 11 0 901117913 892608512 81309 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4553/tid=4563] ppid=4540 vsize=871688 CPUtime=0
/proc/4553/task/4563/stat : 4563 (java) S 4540 4539 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 11 0 901118515 892608512 81309 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 876840

[startup+13.6114 s]
/proc/loadavg: 1.06 0.99 0.98 2/50 4563
/proc/meminfo: memFree=61456/1048576 swapFree=2095372/2097144
[pid=4539] ppid=4538 vsize=2576 CPUtime=0
/proc/4539/stat : 4539 (p2cudf-user-1.1) S 4538 4539 25521 34816 2180 4202496 378 0 0 0 0 0 0 0 25 0 1 0 901117904 2637824 273 1283457024 134512640 135304128 4287357568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4539/statm: 644 273 233 194 0 30 0
[pid=4540] ppid=4539 vsize=2576 CPUtime=0.02
/proc/4540/stat : 4540 (p2cudf) S 4539 4539 25521 34816 2180 4202496 392 2993 0 1 0 0 2 0 25 0 1 0 901117905 2637824 282 1283457024 134512640 135304128 4293126192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4540/statm: 644 282 241 194 0 30 0
[pid=4553] ppid=4540 vsize=871688 CPUtime=13.4
/proc/4553/stat : 4553 (java) S 4540 4539 25521 34816 2180 4202496 85330 0 1 0 1306 34 0 0 25 0 11 0 901117908 892608512 81310 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4553/statm: 217922 81310 1791 10 0 215012 0
[pid=4553/tid=4554] ppid=4540 vsize=871688 CPUtime=9.76
/proc/4553/task/4554/stat : 4554 (java) R 4540 4539 25521 34816 2180 4202560 50447 0 1 0 957 19 0 0 25 0 11 0 901117909 892608512 81310 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4553/tid=4555] ppid=4540 vsize=871688 CPUtime=0.57
/proc/4553/task/4555/stat : 4555 (java) S 4540 4539 25521 34816 2180 4202560 25380 0 0 0 46 11 0 0 15 0 11 0 901117910 892608512 81310 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4556] ppid=4540 vsize=871688 CPUtime=0
/proc/4553/task/4556/stat : 4556 (java) S 4540 4539 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 901117911 892608512 81310 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4557] ppid=4540 vsize=871688 CPUtime=0
/proc/4553/task/4557/stat : 4557 (java) S 4540 4539 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 901117911 892608512 81310 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4558] ppid=4540 vsize=871688 CPUtime=0
/proc/4553/task/4558/stat : 4558 (java) S 4540 4539 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 901117913 892608512 81310 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4559] ppid=4540 vsize=871688 CPUtime=2.84
/proc/4553/task/4559/stat : 4559 (java) S 4540 4539 25521 34816 2180 4202560 8191 0 0 0 282 2 0 0 15 0 11 0 901117913 892608512 81310 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4560] ppid=4540 vsize=871688 CPUtime=0.19
/proc/4553/task/4560/stat : 4560 (java) S 4540 4539 25521 34816 2180 4202560 195 0 0 0 19 0 0 0 24 0 11 0 901117913 892608512 81310 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4561] ppid=4540 vsize=871688 CPUtime=0
/proc/4553/task/4561/stat : 4561 (java) S 4540 4539 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 901117913 892608512 81310 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4562] ppid=4540 vsize=871688 CPUtime=0
/proc/4553/task/4562/stat : 4562 (java) S 4540 4539 25521 34816 2180 4202560 3 0 0 0 0 0 0 0 15 0 11 0 901117913 892608512 81310 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4563] ppid=4540 vsize=871688 CPUtime=0
/proc/4553/task/4563/stat : 4563 (java) S 4540 4539 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 11 0 901118515 892608512 81310 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 13.42
Current children cumulated vsize (KiB) 876840

[startup+14.0073 s]
/proc/loadavg: 1.06 0.99 0.98 2/50 4563
/proc/meminfo: memFree=61456/1048576 swapFree=2095372/2097144
[pid=4539] ppid=4538 vsize=2576 CPUtime=0
/proc/4539/stat : 4539 (p2cudf-user-1.1) S 4538 4539 25521 34816 2180 4202496 378 0 0 0 0 0 0 0 25 0 1 0 901117904 2637824 273 1283457024 134512640 135304128 4287357568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4539/statm: 644 273 233 194 0 30 0
[pid=4540] ppid=4539 vsize=2576 CPUtime=0.02
/proc/4540/stat : 4540 (p2cudf) S 4539 4539 25521 34816 2180 4202496 392 2993 0 1 0 0 2 0 25 0 1 0 901117905 2637824 282 1283457024 134512640 135304128 4293126192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4540/statm: 644 282 241 194 0 30 0
[pid=4553] ppid=4540 vsize=872012 CPUtime=13.45
/proc/4553/stat : 4553 (java) S 4540 4539 25521 34816 2180 4202496 85347 0 1 0 1310 35 0 0 25 0 12 0 901117908 892940288 81327 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4553/statm: 218003 81327 1791 10 0 215093 0
[pid=4553/tid=4554] ppid=4540 vsize=872012 CPUtime=9.77
/proc/4553/task/4554/stat : 4554 (java) S 4540 4539 25521 34816 2180 4202560 50454 0 1 0 957 20 0 0 25 0 12 0 901117909 892940288 81327 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4555] ppid=4540 vsize=872012 CPUtime=0.57
/proc/4553/task/4555/stat : 4555 (java) S 4540 4539 25521 34816 2180 4202560 25380 0 0 0 46 11 0 0 15 0 12 0 901117910 892940288 81327 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4556] ppid=4540 vsize=872012 CPUtime=0
/proc/4553/task/4556/stat : 4556 (java) S 4540 4539 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 12 0 901117911 892940288 81327 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4557] ppid=4540 vsize=872012 CPUtime=0
/proc/4553/task/4557/stat : 4557 (java) S 4540 4539 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 12 0 901117911 892940288 81327 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4558] ppid=4540 vsize=872012 CPUtime=0
/proc/4553/task/4558/stat : 4558 (java) S 4540 4539 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 901117913 892940288 81327 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4559] ppid=4540 vsize=872012 CPUtime=2.88
/proc/4553/task/4559/stat : 4559 (java) S 4540 4539 25521 34816 2180 4202560 8197 0 0 0 286 2 0 0 16 0 12 0 901117913 892940288 81327 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4560] ppid=4540 vsize=872012 CPUtime=0.19
/proc/4553/task/4560/stat : 4560 (java) S 4540 4539 25521 34816 2180 4202560 195 0 0 0 19 0 0 0 24 0 12 0 901117913 892940288 81327 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4561] ppid=4540 vsize=872012 CPUtime=0
/proc/4553/task/4561/stat : 4561 (java) S 4540 4539 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 901117913 892940288 81327 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4562] ppid=4540 vsize=872012 CPUtime=0
/proc/4553/task/4562/stat : 4562 (java) S 4540 4539 25521 34816 2180 4202560 3 0 0 0 0 0 0 0 15 0 12 0 901117913 892940288 81327 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=4553/tid=4563] ppid=4540 vsize=872012 CPUtime=0
/proc/4553/task/4563/stat : 4563 (java) S 4540 4539 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 12 0 901118515 892940288 81327 1283457024 134512640 134550932 4291190000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 13.47
Current children cumulated vsize (KiB) 877164

[startup+14.4075 s]
/proc/loadavg: 0.97 0.97 0.98 2/51 4564
/proc/meminfo: memFree=61324/1048576 swapFree=2095372/2097144
[pid=4539] ppid=4538 vsize=2576 CPUtime=0
/proc/4539/stat : 4539 (p2cudf-user-1.1) S 4538 4539 25521 34816 2180 4202496 378 0 0 0 0 0 0 0 25 0 1 0 901117904 2637824 273 1283457024 134512640 135304128 4287357568 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4539/statm: 644 273 233 194 0 30 0
[pid=4540] ppid=4539 vsize=2576 CPUtime=0.02
/proc/4540/stat : 4540 (p2cudf) S 4539 4539 25521 34816 2180 4202496 392 2993 0 1 0 0 2 0 25 0 1 0 901117905 2637824 282 1283457024 134512640 135304128 4293126192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4540/statm: 644 282 241 194 0 30 0
[pid=4553] ppid=4540 vsize=0 CPUtime=13.64
/proc/4553/stat : 4553 (java) R 4540 4539 25521 34816 2180 4203524 85353 0 1 0 1322 42 0 0 18 0 1 0 901117908 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0
/proc/4553/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 13.66
Current children cumulated vsize (KiB) 5152

Child status: 0
Real time (s): 14.4206
CPU time (s): 13.6769
CPU user time (s): 13.2408
CPU system time (s): 0.436027
CPU usage (%): 94.8427
Max. virtual memory (cumulated for all children) (KiB): 878212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.2408
system time used= 0.436027
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89136
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1177
involuntary context switches= 1266

runsolver used 0.012 second user time and 0 second system time

The end