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/201012061533/gj-paranoid-solver-0.1/103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./gj-paranoid-solver-0.1 /home/misc2010/data/2010/debian-dudf//103c9978-5408-11df-9bc1-00163e7a6f5e.cudf /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debian-dudf.result 

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.92 1.00 0.65 3/52 2639
/proc/meminfo: memFree=472496/1048576 swapFree=2095580/2097144
[pid=2638] ppid=2637 vsize=2572 CPUtime=0
/proc/2638/stat : 2638 (gj-paranoid-sol) R 2637 2638 2059 34821 2220 4202496 359 0 0 0 0 0 0 0 25 0 1 0 874343110 2633728 272 1283457024 134512640 135304128 4292192048 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/2638/statm: 643 272 231 194 0 29 0
[pid=2639] ppid=2638 vsize=2572 CPUtime=0
/proc/2639/stat : 2639 (gj-paranoid-sol) R 2638 2638 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 1 0 874343110 2633728 41 1283457024 134512640 135304128 4292192048 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/2639/statm: 643 41 0 194 0 29 0

[startup+0.106738 s]
/proc/loadavg: 0.92 1.00 0.65 3/52 2639
/proc/meminfo: memFree=472496/1048576 swapFree=2095580/2097144
[pid=2638] ppid=2637 vsize=2572 CPUtime=0
/proc/2638/stat : 2638 (gj-paranoid-sol) S 2637 2638 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 874343110 2633728 273 1283457024 134512640 135304128 4292192048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2638/statm: 643 273 232 194 0 29 0
[pid=2639] ppid=2638 vsize=409652 CPUtime=0.03
/proc/2639/stat : 2639 (java) S 2638 2638 2059 34821 2220 4202496 2965 0 12 0 2 1 0 0 25 0 9 0 874343110 419483648 2489 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2639/statm: 102413 2489 1600 10 0 96598 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 412224

[startup+0.207729 s]
/proc/loadavg: 0.92 1.00 0.65 3/52 2639
/proc/meminfo: memFree=472496/1048576 swapFree=2095580/2097144
[pid=2638] ppid=2637 vsize=2572 CPUtime=0
/proc/2638/stat : 2638 (gj-paranoid-sol) S 2637 2638 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 874343110 2633728 273 1283457024 134512640 135304128 4292192048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2638/statm: 643 273 232 194 0 29 0
[pid=2639] ppid=2638 vsize=411096 CPUtime=0.05
/proc/2639/stat : 2639 (java) S 2638 2638 2059 34821 2220 4202496 3705 0 27 0 4 1 0 0 25 0 9 0 874343110 420962304 3196 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2639/statm: 102774 3196 1874 10 0 96954 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 413668

[startup+0.307748 s]
/proc/loadavg: 0.92 1.00 0.65 3/52 2639
/proc/meminfo: memFree=472496/1048576 swapFree=2095580/2097144
[pid=2638] ppid=2637 vsize=2572 CPUtime=0
/proc/2638/stat : 2638 (gj-paranoid-sol) S 2637 2638 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 874343110 2633728 273 1283457024 134512640 135304128 4292192048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2638/statm: 643 273 232 194 0 29 0
[pid=2639] ppid=2638 vsize=411096 CPUtime=0.15
/proc/2639/stat : 2639 (java) S 2638 2638 2059 34821 2220 4202496 4128 0 27 0 14 1 0 0 25 0 9 0 874343110 420962304 3619 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2639/statm: 102774 3619 1874 10 0 96954 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 413668

[startup+0.707883 s]
/proc/loadavg: 0.92 1.00 0.65 3/52 2639
/proc/meminfo: memFree=472496/1048576 swapFree=2095580/2097144
[pid=2638] ppid=2637 vsize=2572 CPUtime=0
/proc/2638/stat : 2638 (gj-paranoid-sol) S 2637 2638 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 874343110 2633728 273 1283457024 134512640 135304128 4292192048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2638/statm: 643 273 232 194 0 29 0
[pid=2639] ppid=2638 vsize=411700 CPUtime=0.55
/proc/2639/stat : 2639 (java) S 2638 2638 2059 34821 2220 4202496 11821 0 28 0 53 2 0 0 25 0 9 0 874343110 421580800 11134 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2639/statm: 102925 11134 2879 10 0 97105 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 414272

[startup+1.50817 s]
/proc/loadavg: 1.09 1.03 0.66 3/61 2648
/proc/meminfo: memFree=404812/1048576 swapFree=2095580/2097144
[pid=2638] ppid=2637 vsize=2572 CPUtime=0
/proc/2638/stat : 2638 (gj-paranoid-sol) S 2637 2638 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 874343110 2633728 273 1283457024 134512640 135304128 4292192048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2638/statm: 643 273 232 194 0 29 0
[pid=2639] ppid=2638 vsize=411700 CPUtime=1.35
/proc/2639/stat : 2639 (java) S 2638 2638 2059 34821 2220 4202496 26256 0 28 0 130 5 0 0 25 0 9 0 874343110 421580800 25569 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2639/statm: 102925 25569 2879 10 0 97105 0
[pid=2639/tid=2641] ppid=2638 vsize=411700 CPUtime=0.69
/proc/2639/task/2641/stat : 2641 (java) R 2638 2638 2059 34821 2220 4202560 7265 0 27 0 68 1 0 0 25 0 9 0 874343111 421580800 25569 1283457024 134512640 134550932 4291517936 18446744073709551615 4115883796 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2639/tid=2642] ppid=2638 vsize=411700 CPUtime=0.62
/proc/2639/task/2642/stat : 2642 (java) S 2638 2638 2059 34821 2220 4202560 17591 0 1 0 58 4 0 0 19 0 9 0 874343111 421580800 25569 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 0 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2639/tid=2643] ppid=2638 vsize=411700 CPUtime=0
/proc/2639/task/2643/stat : 2643 (java) S 2638 2638 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 19 0 9 0 874343112 421580800 25569 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2639/tid=2644] ppid=2638 vsize=411700 CPUtime=0
/proc/2639/task/2644/stat : 2644 (java) S 2638 2638 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 21 0 9 0 874343112 421580800 25569 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2639/tid=2645] ppid=2638 vsize=411700 CPUtime=0
/proc/2639/task/2645/stat : 2645 (java) S 2638 2638 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 874343113 421580800 25569 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2639/tid=2646] ppid=2638 vsize=411700 CPUtime=0.03
/proc/2639/task/2646/stat : 2646 (java) S 2638 2638 2059 34821 2220 4202560 467 0 0 0 3 0 0 0 15 0 9 0 874343113 421580800 25569 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2639/tid=2647] ppid=2638 vsize=411700 CPUtime=0
/proc/2639/task/2647/stat : 2647 (java) S 2638 2638 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 874343113 421580800 25569 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2639/tid=2648] ppid=2638 vsize=411700 CPUtime=0
/proc/2639/task/2648/stat : 2648 (java) S 2638 2638 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 9 0 874343113 421580800 25569 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 414272

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

[startup+1.6082 s]
/proc/loadavg: 1.09 1.03 0.66 3/61 2648
/proc/meminfo: memFree=404812/1048576 swapFree=2095580/2097144
[pid=2638] ppid=2637 vsize=2572 CPUtime=0
/proc/2638/stat : 2638 (gj-paranoid-sol) S 2637 2638 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 874343110 2633728 273 1283457024 134512640 135304128 4292192048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2638/statm: 643 273 232 194 0 29 0
[pid=2639] ppid=2638 vsize=411700 CPUtime=1.44
/proc/2639/stat : 2639 (java) S 2638 2638 2059 34821 2220 4202496 30522 0 28 0 138 6 0 0 25 0 9 0 874343110 421580800 29835 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2639/statm: 102925 29835 2879 10 0 97105 0
[pid=2639/tid=2641] ppid=2638 vsize=411700 CPUtime=0.69
/proc/2639/task/2641/stat : 2641 (java) R 2638 2638 2059 34821 2220 4202560 7265 0 27 0 68 1 0 0 25 0 9 0 874343111 421580800 29835 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2639/tid=2642] ppid=2638 vsize=411700 CPUtime=0.71
/proc/2639/task/2642/stat : 2642 (java) R 2638 2638 2059 34821 2220 4202560 21857 0 1 0 66 5 0 0 18 0 9 0 874343111 421580800 29835 1283457024 134512640 134550932 4291517936 18446744073709551615 4153244528 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=2639/tid=2643] ppid=2638 vsize=411700 CPUtime=0
/proc/2639/task/2643/stat : 2643 (java) S 2638 2638 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 19 0 9 0 874343112 421580800 29835 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2639/tid=2644] ppid=2638 vsize=411700 CPUtime=0
/proc/2639/task/2644/stat : 2644 (java) S 2638 2638 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 21 0 9 0 874343112 421580800 29835 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2639/tid=2645] ppid=2638 vsize=411700 CPUtime=0
/proc/2639/task/2645/stat : 2645 (java) S 2638 2638 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 874343113 421580800 29835 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2639/tid=2646] ppid=2638 vsize=411700 CPUtime=0.03
/proc/2639/task/2646/stat : 2646 (java) S 2638 2638 2059 34821 2220 4202560 467 0 0 0 3 0 0 0 16 0 9 0 874343113 421580800 29835 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2639/tid=2647] ppid=2638 vsize=411700 CPUtime=0
/proc/2639/task/2647/stat : 2647 (java) S 2638 2638 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 874343113 421580800 29835 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2639/tid=2648] ppid=2638 vsize=411700 CPUtime=0
/proc/2639/task/2648/stat : 2648 (java) S 2638 2638 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 9 0 874343113 421580800 29835 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 414272

[startup+1.80828 s]
/proc/loadavg: 1.09 1.03 0.66 3/61 2648
/proc/meminfo: memFree=404812/1048576 swapFree=2095580/2097144
[pid=2638] ppid=2637 vsize=2572 CPUtime=0
/proc/2638/stat : 2638 (gj-paranoid-sol) S 2637 2638 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 874343110 2633728 273 1283457024 134512640 135304128 4292192048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2638/statm: 643 273 232 194 0 29 0
[pid=2639] ppid=2638 vsize=411832 CPUtime=1.64
/proc/2639/stat : 2639 (java) S 2638 2638 2059 34821 2220 4202496 31240 0 28 0 158 6 0 0 25 0 9 0 874343110 421715968 30553 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2639/statm: 102958 30553 2879 10 0 97138 0
[pid=2639/tid=2641] ppid=2638 vsize=411832 CPUtime=0.69
/proc/2639/task/2641/stat : 2641 (java) R 2638 2638 2059 34821 2220 4202560 7265 0 27 0 68 1 0 0 25 0 9 0 874343111 421715968 30553 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2639/tid=2642] ppid=2638 vsize=411832 CPUtime=0.91
/proc/2639/task/2642/stat : 2642 (java) R 2638 2638 2059 34821 2220 4202560 22575 0 1 0 86 5 0 0 18 0 9 0 874343111 421715968 30553 1283457024 134512640 134550932 4291517936 18446744073709551615 4154049219 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=2639/tid=2643] ppid=2638 vsize=411832 CPUtime=0
/proc/2639/task/2643/stat : 2643 (java) S 2638 2638 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 19 0 9 0 874343112 421715968 30553 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2639/tid=2644] ppid=2638 vsize=411832 CPUtime=0
/proc/2639/task/2644/stat : 2644 (java) S 2638 2638 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 21 0 9 0 874343112 421715968 30553 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2639/tid=2645] ppid=2638 vsize=411832 CPUtime=0
/proc/2639/task/2645/stat : 2645 (java) S 2638 2638 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 874343113 421715968 30553 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2639/tid=2646] ppid=2638 vsize=411832 CPUtime=0.03
/proc/2639/task/2646/stat : 2646 (java) S 2638 2638 2059 34821 2220 4202560 467 0 0 0 3 0 0 0 16 0 9 0 874343113 421715968 30553 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2639/tid=2647] ppid=2638 vsize=411832 CPUtime=0
/proc/2639/task/2647/stat : 2647 (java) S 2638 2638 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 874343113 421715968 30553 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2639/tid=2648] ppid=2638 vsize=411832 CPUtime=0
/proc/2639/task/2648/stat : 2648 (java) S 2638 2638 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 9 0 874343113 421715968 30553 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 414404

[startup+1.90831 s]
/proc/loadavg: 1.09 1.03 0.66 3/61 2648
/proc/meminfo: memFree=404812/1048576 swapFree=2095580/2097144
[pid=2638] ppid=2637 vsize=2572 CPUtime=0
/proc/2638/stat : 2638 (gj-paranoid-sol) S 2637 2638 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 874343110 2633728 273 1283457024 134512640 135304128 4292192048 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2638/statm: 643 273 232 194 0 29 0
[pid=2639] ppid=2638 vsize=411832 CPUtime=1.74
/proc/2639/stat : 2639 (java) S 2638 2638 2059 34821 2220 4202496 31275 0 28 0 168 6 0 0 25 0 9 0 874343110 421715968 30588 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2639/statm: 102958 30588 2879 10 0 97138 0
[pid=2639/tid=2641] ppid=2638 vsize=411832 CPUtime=0.71
/proc/2639/task/2641/stat : 2641 (java) R 2638 2638 2059 34821 2220 4202560 7265 0 27 0 70 1 0 0 25 0 9 0 874343111 421715968 30588 1283457024 134512640 134550932 4291517936 18446744073709551615 4115882055 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2639/tid=2642] ppid=2638 vsize=411832 CPUtime=0.99
/proc/2639/task/2642/stat : 2642 (java) S 2638 2638 2059 34821 2220 4202560 22610 0 1 0 94 5 0 0 19 0 9 0 874343111 421715968 30588 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 0 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2639/tid=2643] ppid=2638 vsize=411832 CPUtime=0
/proc/2639/task/2643/stat : 2643 (java) S 2638 2638 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 19 0 9 0 874343112 421715968 30588 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2639/tid=2644] ppid=2638 vsize=411832 CPUtime=0
/proc/2639/task/2644/stat : 2644 (java) S 2638 2638 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 21 0 9 0 874343112 421715968 30588 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2639/tid=2645] ppid=2638 vsize=411832 CPUtime=0
/proc/2639/task/2645/stat : 2645 (java) S 2638 2638 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 874343113 421715968 30588 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2639/tid=2646] ppid=2638 vsize=411832 CPUtime=0.03
/proc/2639/task/2646/stat : 2646 (java) S 2638 2638 2059 34821 2220 4202560 467 0 0 0 3 0 0 0 16 0 9 0 874343113 421715968 30588 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2639/tid=2647] ppid=2638 vsize=411832 CPUtime=0
/proc/2639/task/2647/stat : 2647 (java) S 2638 2638 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 874343113 421715968 30588 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
[pid=2639/tid=2648] ppid=2638 vsize=411832 CPUtime=0
/proc/2639/task/2648/stat : 2648 (java) S 2638 2638 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 9 0 874343113 421715968 30588 1283457024 134512640 134550932 4291517936 18446744073709551615 4294960130 0 4 0 16800975 18446612133182647232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 414404

Child status: 1
Real time (s): 1.95835
CPU time (s): 1.77211
CPU user time (s): 1.69611
CPU system time (s): 0.076004
CPU usage (%): 90.4898
Max. virtual memory (cumulated for all children) (KiB): 414404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.69611
system time used= 0.076004
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31676
page faults= 28
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 277
involuntary context switches= 230

runsolver used 0 second user time and 0 second system time

The end