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/randf406d5.cudf.difficult.log.runsolver ./gj-paranoid-solver-0.1 /home/misc2010/data/2010/difficult//randf406d5.cudf /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/randf406d5.cudf.difficult.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: 1.22 1.36 1.30 5/40 3467
/proc/meminfo: memFree=549092/1048576 swapFree=2084004/2097144
[pid=3465] ppid=3464 vsize=2572 CPUtime=0.01
/proc/3465/stat : 3465 (gj-paranoid-sol) S 3464 3465 2059 34821 2220 4202496 377 0 0 0 1 0 0 0 18 0 1 0 876743880 2633728 273 1283457024 134512640 135304128 4289070192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3465/statm: 643 273 232 194 0 29 0
[pid=3466] ppid=3465 vsize=11240 CPUtime=0
/proc/3466/stat : 3466 (java) R 3465 3465 2059 34821 2220 4202496 909 0 0 0 0 0 0 0 25 0 2 0 876743880 11509760 642 1283457024 134512640 134550932 4291563056 18446744073709551615 4159467768 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/3466/statm: 2810 642 285 10 0 1184 0
[pid=3466/tid=3467] ppid=3465 vsize=11240 CPUtime=0
/proc/3466/task/3467/stat : 3467 (java) R 3465 3465 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 2 0 876743880 11509760 642 1283457024 134512640 134550932 4291563056 18446744073709551615 4159467768 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.171244 s]
/proc/loadavg: 1.22 1.36 1.30 5/40 3467
/proc/meminfo: memFree=549092/1048576 swapFree=2084004/2097144
[pid=3465] ppid=3464 vsize=2572 CPUtime=0.01
/proc/3465/stat : 3465 (gj-paranoid-sol) S 3464 3465 2059 34821 2220 4202496 377 0 0 0 1 0 0 0 18 0 1 0 876743880 2633728 273 1283457024 134512640 135304128 4289070192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3465/statm: 643 273 232 194 0 29 0
[pid=3466] ppid=3465 vsize=410128 CPUtime=0.16
/proc/3466/stat : 3466 (java) S 3465 3465 2059 34821 2220 4202496 4500 0 1 0 14 2 0 0 25 0 9 0 876743880 419971072 3964 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3466/statm: 102532 3964 1875 10 0 96712 0
[pid=3466/tid=3467] ppid=3465 vsize=410128 CPUtime=0.15
/proc/3466/task/3467/stat : 3467 (java) R 3465 3465 2059 34821 2220 4202560 3291 0 1 0 13 2 0 0 25 0 9 0 876743880 419971072 3964 1283457024 134512640 134550932 4291563056 18446744073709551615 4114928871 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 412700

[startup+0.211245 s]
/proc/loadavg: 1.22 1.36 1.30 5/40 3467
/proc/meminfo: memFree=549092/1048576 swapFree=2084004/2097144
[pid=3465] ppid=3464 vsize=2572 CPUtime=0.01
/proc/3465/stat : 3465 (gj-paranoid-sol) S 3464 3465 2059 34821 2220 4202496 377 0 0 0 1 0 0 0 18 0 1 0 876743880 2633728 273 1283457024 134512640 135304128 4289070192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3465/statm: 643 273 232 194 0 29 0
[pid=3466] ppid=3465 vsize=410128 CPUtime=0.2
/proc/3466/stat : 3466 (java) S 3465 3465 2059 34821 2220 4202496 5204 0 1 0 18 2 0 0 25 0 9 0 876743880 419971072 4667 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3466/statm: 102532 4667 1883 10 0 96712 0
[pid=3466/tid=3467] ppid=3465 vsize=410128 CPUtime=0.17
/proc/3466/task/3467/stat : 3467 (java) R 3465 3465 2059 34821 2220 4202560 3377 0 1 0 15 2 0 0 25 0 9 0 876743880 419971072 4667 1283457024 134512640 134550932 4291563056 18446744073709551615 4114947438 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 412700

[startup+0.319509 s]
/proc/loadavg: 1.22 1.36 1.30 5/40 3467
/proc/meminfo: memFree=549092/1048576 swapFree=2084004/2097144
[pid=3465] ppid=3464 vsize=2572 CPUtime=0.01
/proc/3465/stat : 3465 (gj-paranoid-sol) S 3464 3465 2059 34821 2220 4202496 377 0 0 0 1 0 0 0 18 0 1 0 876743880 2633728 273 1283457024 134512640 135304128 4289070192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3465/statm: 643 273 232 194 0 29 0
[pid=3466] ppid=3465 vsize=410128 CPUtime=0.3
/proc/3466/stat : 3466 (java) S 3465 3465 2059 34821 2220 4202496 5985 0 1 0 28 2 0 0 25 0 9 0 876743880 419971072 5448 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3466/statm: 102532 5448 1883 10 0 96712 0
[pid=3466/tid=3467] ppid=3465 vsize=410128 CPUtime=0.26
/proc/3466/task/3467/stat : 3467 (java) R 3465 3465 2059 34821 2220 4202560 3378 0 1 0 24 2 0 0 25 0 9 0 876743880 419971072 5448 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 412700

[startup+0.711403 s]
/proc/loadavg: 1.22 1.36 1.30 5/40 3467
/proc/meminfo: memFree=549092/1048576 swapFree=2084004/2097144
[pid=3465] ppid=3464 vsize=2572 CPUtime=0.01
/proc/3465/stat : 3465 (gj-paranoid-sol) S 3464 3465 2059 34821 2220 4202496 377 0 0 0 1 0 0 0 18 0 1 0 876743880 2633728 273 1283457024 134512640 135304128 4289070192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3465/statm: 643 273 232 194 0 29 0
[pid=3466] ppid=3465 vsize=410740 CPUtime=0.7
/proc/3466/stat : 3466 (java) S 3465 3465 2059 34821 2220 4202496 12938 0 1 0 61 9 0 0 25 0 9 0 876743880 420597760 12223 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3466/statm: 102685 12223 2878 10 0 96865 0
[pid=3466/tid=3467] ppid=3465 vsize=410740 CPUtime=0.43
/proc/3466/task/3467/stat : 3467 (java) R 3465 3465 2059 34821 2220 4202560 4084 0 1 0 39 4 0 0 25 0 9 0 876743880 420597760 12223 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 413312

[startup+1.51167 s]
/proc/loadavg: 1.22 1.36 1.30 2/48 3475
/proc/meminfo: memFree=489188/1048576 swapFree=2084004/2097144
[pid=3465] ppid=3464 vsize=2572 CPUtime=0.01
/proc/3465/stat : 3465 (gj-paranoid-sol) S 3464 3465 2059 34821 2220 4202496 377 0 0 0 1 0 0 0 18 0 1 0 876743880 2633728 273 1283457024 134512640 135304128 4289070192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3465/statm: 643 273 232 194 0 29 0
[pid=3466] ppid=3465 vsize=410740 CPUtime=1.5
/proc/3466/stat : 3466 (java) S 3465 3465 2059 34821 2220 4202496 28565 0 1 0 136 14 0 0 25 0 9 0 876743880 420597760 27850 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3466/statm: 102685 27850 2879 10 0 96865 0
[pid=3466/tid=3467] ppid=3465 vsize=410740 CPUtime=0.7
/proc/3466/task/3467/stat : 3467 (java) S 3465 3465 2059 34821 2220 4202560 6788 0 1 0 64 6 0 0 25 0 9 0 876743880 420597760 27850 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=3466/tid=3469] ppid=3465 vsize=410740 CPUtime=0.78
/proc/3466/task/3469/stat : 3469 (java) R 3465 3465 2059 34821 2220 4202560 20389 0 0 0 70 8 0 0 20 0 9 0 876743881 420597760 27850 1283457024 134512640 134550932 4291563056 18446744073709551615 4151513485 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=3466/tid=3470] ppid=3465 vsize=410740 CPUtime=0
/proc/3466/task/3470/stat : 3470 (java) S 3465 3465 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 20 0 9 0 876743881 420597760 27850 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=3466/tid=3471] ppid=3465 vsize=410740 CPUtime=0
/proc/3466/task/3471/stat : 3471 (java) S 3465 3465 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 24 0 9 0 876743881 420597760 27850 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=3466/tid=3472] ppid=3465 vsize=410740 CPUtime=0
/proc/3466/task/3472/stat : 3472 (java) S 3465 3465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876743883 420597760 27850 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=3466/tid=3473] ppid=3465 vsize=410740 CPUtime=0.02
/proc/3466/task/3473/stat : 3473 (java) S 3465 3465 2059 34821 2220 4202560 452 0 0 0 2 0 0 0 18 0 9 0 876743883 420597760 27850 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=3466/tid=3474] ppid=3465 vsize=410740 CPUtime=0
/proc/3466/task/3474/stat : 3474 (java) S 3465 3465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876743883 420597760 27850 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=3466/tid=3475] ppid=3465 vsize=410740 CPUtime=0
/proc/3466/task/3475/stat : 3475 (java) S 3465 3465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876743883 420597760 27850 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 413312

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

[startup+1.61171 s]
/proc/loadavg: 1.22 1.36 1.30 2/48 3475
/proc/meminfo: memFree=489188/1048576 swapFree=2084004/2097144
[pid=3465] ppid=3464 vsize=2572 CPUtime=0.01
/proc/3465/stat : 3465 (gj-paranoid-sol) S 3464 3465 2059 34821 2220 4202496 377 0 0 0 1 0 0 0 18 0 1 0 876743880 2633728 273 1283457024 134512640 135304128 4289070192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3465/statm: 643 273 232 194 0 29 0
[pid=3466] ppid=3465 vsize=410740 CPUtime=1.6
/proc/3466/stat : 3466 (java) S 3465 3465 2059 34821 2220 4202496 28565 0 1 0 146 14 0 0 25 0 9 0 876743880 420597760 27850 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3466/statm: 102685 27850 2879 10 0 96865 0
[pid=3466/tid=3467] ppid=3465 vsize=410740 CPUtime=0.7
/proc/3466/task/3467/stat : 3467 (java) S 3465 3465 2059 34821 2220 4202560 6788 0 1 0 64 6 0 0 25 0 9 0 876743880 420597760 27850 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=3466/tid=3469] ppid=3465 vsize=410740 CPUtime=0.88
/proc/3466/task/3469/stat : 3469 (java) R 3465 3465 2059 34821 2220 4202560 20389 0 0 0 80 8 0 0 21 0 9 0 876743881 420597760 27850 1283457024 134512640 134550932 4291563056 18446744073709551615 4152804056 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=3466/tid=3470] ppid=3465 vsize=410740 CPUtime=0
/proc/3466/task/3470/stat : 3470 (java) S 3465 3465 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 20 0 9 0 876743881 420597760 27850 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=3466/tid=3471] ppid=3465 vsize=410740 CPUtime=0
/proc/3466/task/3471/stat : 3471 (java) S 3465 3465 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 24 0 9 0 876743881 420597760 27850 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=3466/tid=3472] ppid=3465 vsize=410740 CPUtime=0
/proc/3466/task/3472/stat : 3472 (java) S 3465 3465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876743883 420597760 27850 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=3466/tid=3473] ppid=3465 vsize=410740 CPUtime=0.02
/proc/3466/task/3473/stat : 3473 (java) S 3465 3465 2059 34821 2220 4202560 452 0 0 0 2 0 0 0 18 0 9 0 876743883 420597760 27850 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=3466/tid=3474] ppid=3465 vsize=410740 CPUtime=0
/proc/3466/task/3474/stat : 3474 (java) S 3465 3465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876743883 420597760 27850 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=3466/tid=3475] ppid=3465 vsize=410740 CPUtime=0
/proc/3466/task/3475/stat : 3475 (java) S 3465 3465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876743883 420597760 27850 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 413312

[startup+2.41197 s]
/proc/loadavg: 1.22 1.36 1.30 3/48 3475
/proc/meminfo: memFree=403132/1048576 swapFree=2084004/2097144
[pid=3465] ppid=3464 vsize=2572 CPUtime=0.01
/proc/3465/stat : 3465 (gj-paranoid-sol) S 3464 3465 2059 34821 2220 4202496 377 0 0 0 1 0 0 0 18 0 1 0 876743880 2633728 273 1283457024 134512640 135304128 4289070192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3465/statm: 643 273 232 194 0 29 0
[pid=3466] ppid=3465 vsize=410872 CPUtime=2.4
/proc/3466/stat : 3466 (java) S 3465 3465 2059 34821 2220 4202496 45061 0 1 0 220 20 0 0 25 0 9 0 876743880 420732928 44341 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3466/statm: 102718 44341 2880 10 0 96898 0
[pid=3466/tid=3467] ppid=3465 vsize=410872 CPUtime=0.99
/proc/3466/task/3467/stat : 3467 (java) R 3465 3465 2059 34821 2220 4202560 9648 0 1 0 93 6 0 0 23 0 9 0 876743880 420732928 44341 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3466/tid=3469] ppid=3465 vsize=410872 CPUtime=1.37
/proc/3466/task/3469/stat : 3469 (java) R 3465 3465 2059 34821 2220 4202560 34010 0 0 0 123 14 0 0 18 0 9 0 876743881 420732928 44341 1283457024 134512640 134550932 4291563056 18446744073709551615 4152793600 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=3466/tid=3470] ppid=3465 vsize=410872 CPUtime=0
/proc/3466/task/3470/stat : 3470 (java) S 3465 3465 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 20 0 9 0 876743881 420732928 44341 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=3466/tid=3471] ppid=3465 vsize=410872 CPUtime=0
/proc/3466/task/3471/stat : 3471 (java) S 3465 3465 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 24 0 9 0 876743881 420732928 44341 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=3466/tid=3472] ppid=3465 vsize=410872 CPUtime=0
/proc/3466/task/3472/stat : 3472 (java) S 3465 3465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876743883 420732928 44341 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=3466/tid=3473] ppid=3465 vsize=410872 CPUtime=0.04
/proc/3466/task/3473/stat : 3473 (java) S 3465 3465 2059 34821 2220 4202560 467 0 0 0 4 0 0 0 15 0 9 0 876743883 420732928 44341 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=3466/tid=3474] ppid=3465 vsize=410872 CPUtime=0
/proc/3466/task/3474/stat : 3474 (java) S 3465 3465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876743883 420732928 44341 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=3466/tid=3475] ppid=3465 vsize=410872 CPUtime=0
/proc/3466/task/3475/stat : 3475 (java) S 3465 3465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876743883 420732928 44341 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 413444

[startup+2.80212 s]
/proc/loadavg: 1.22 1.36 1.30 3/48 3475
/proc/meminfo: memFree=403132/1048576 swapFree=2084004/2097144
[pid=3465] ppid=3464 vsize=2572 CPUtime=0.01
/proc/3465/stat : 3465 (gj-paranoid-sol) S 3464 3465 2059 34821 2220 4202496 377 0 0 0 1 0 0 0 18 0 1 0 876743880 2633728 273 1283457024 134512640 135304128 4289070192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3465/statm: 643 273 232 194 0 29 0
[pid=3466] ppid=3465 vsize=410872 CPUtime=2.8
/proc/3466/stat : 3466 (java) S 3465 3465 2059 34821 2220 4202496 45201 0 1 0 260 20 0 0 25 0 9 0 876743880 420732928 44472 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3466/statm: 102718 44472 2881 10 0 96898 0
[pid=3466/tid=3467] ppid=3465 vsize=410872 CPUtime=1.08
/proc/3466/task/3467/stat : 3467 (java) R 3465 3465 2059 34821 2220 4202560 9723 0 1 0 102 6 0 0 24 0 9 0 876743880 420732928 44472 1283457024 134512640 134550932 4291563056 18446744073709551615 4150578026 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3466/tid=3469] ppid=3465 vsize=410872 CPUtime=1.65
/proc/3466/task/3469/stat : 3469 (java) S 3465 3465 2059 34821 2220 4202560 34059 0 0 0 151 14 0 0 19 0 9 0 876743881 420732928 44472 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=3466/tid=3470] ppid=3465 vsize=410872 CPUtime=0
/proc/3466/task/3470/stat : 3470 (java) S 3465 3465 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 9 0 876743881 420732928 44472 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=3466/tid=3471] ppid=3465 vsize=410872 CPUtime=0
/proc/3466/task/3471/stat : 3471 (java) S 3465 3465 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 9 0 876743881 420732928 44472 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=3466/tid=3472] ppid=3465 vsize=410872 CPUtime=0
/proc/3466/task/3472/stat : 3472 (java) S 3465 3465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876743883 420732928 44472 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=3466/tid=3473] ppid=3465 vsize=410872 CPUtime=0.06
/proc/3466/task/3473/stat : 3473 (java) S 3465 3465 2059 34821 2220 4202560 483 0 0 0 6 0 0 0 15 0 9 0 876743883 420732928 44472 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=3466/tid=3474] ppid=3465 vsize=410872 CPUtime=0
/proc/3466/task/3474/stat : 3474 (java) S 3465 3465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876743883 420732928 44472 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=3466/tid=3475] ppid=3465 vsize=410872 CPUtime=0
/proc/3466/task/3475/stat : 3475 (java) S 3465 3465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876743883 420732928 44472 1283457024 134512640 134550932 4291563056 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 413444

Child status: 0
Real time (s): 2.91204
CPU time (s): 2.89618
CPU user time (s): 2.69217
CPU system time (s): 0.204012
CPU usage (%): 99.4555
Max. virtual memory (cumulated for all children) (KiB): 413444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.69217
system time used= 0.204012
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47853
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 455
involuntary context switches= 457

runsolver used 0 second user time and 0 second system time

The end