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/rande4fcd8.cudf.difficult.log.runsolver ./gj-paranoid-solver-0.1 /home/misc2010/data/2010/difficult//rande4fcd8.cudf /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/rande4fcd8.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.56 1.45 1.31 5/46 2473
/proc/meminfo: memFree=598888/1048576 swapFree=2078696/2097144
[pid=2472] ppid=2471 vsize=2568 CPUtime=0
/proc/2472/stat : 2472 (gj-paranoid-sol) R 2471 2472 2059 34821 2220 4202496 357 0 0 0 0 0 0 0 25 0 1 0 876724510 2629632 271 1283457024 134512640 135304128 4289227936 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/2472/statm: 642 271 231 194 0 28 0
[pid=2473] ppid=2472 vsize=2568 CPUtime=0
/proc/2473/stat : 2473 (gj-paranoid-sol) R 2472 2472 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 1 0 876724510 2629632 40 1283457024 134512640 135304128 4289227936 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/2473/statm: 642 40 0 194 0 28 0

[startup+0.124995 s]
/proc/loadavg: 1.56 1.45 1.31 5/46 2473
/proc/meminfo: memFree=598888/1048576 swapFree=2078696/2097144
[pid=2472] ppid=2471 vsize=2568 CPUtime=0
/proc/2472/stat : 2472 (gj-paranoid-sol) S 2471 2472 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876724510 2629632 272 1283457024 134512640 135304128 4289227936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2472/statm: 642 272 232 194 0 28 0
[pid=2473] ppid=2472 vsize=409676 CPUtime=0.12
/proc/2473/stat : 2473 (java) S 2472 2472 2059 34821 2220 4202496 3595 0 1 0 12 0 0 0 25 0 9 0 876724510 419508224 3060 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2473/statm: 102419 3060 1732 10 0 96599 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 412244

[startup+0.205003 s]
/proc/loadavg: 1.56 1.45 1.31 5/46 2473
/proc/meminfo: memFree=598888/1048576 swapFree=2078696/2097144
[pid=2472] ppid=2471 vsize=2568 CPUtime=0
/proc/2472/stat : 2472 (gj-paranoid-sol) S 2471 2472 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876724510 2629632 272 1283457024 134512640 135304128 4289227936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2472/statm: 642 272 232 194 0 28 0
[pid=2473] ppid=2472 vsize=409676 CPUtime=0.2
/proc/2473/stat : 2473 (java) S 2472 2472 2059 34821 2220 4202496 3820 0 1 0 20 0 0 0 25 0 9 0 876724510 419508224 3285 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2473/statm: 102419 3285 1732 10 0 96599 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412244

[startup+0.305012 s]
/proc/loadavg: 1.56 1.45 1.31 5/46 2473
/proc/meminfo: memFree=598888/1048576 swapFree=2078696/2097144
[pid=2472] ppid=2471 vsize=2568 CPUtime=0
/proc/2472/stat : 2472 (gj-paranoid-sol) S 2471 2472 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876724510 2629632 272 1283457024 134512640 135304128 4289227936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2472/statm: 642 272 232 194 0 28 0
[pid=2473] ppid=2472 vsize=410104 CPUtime=0.3
/proc/2473/stat : 2473 (java) S 2472 2472 2059 34821 2220 4202496 4344 0 1 0 30 0 0 0 25 0 9 0 876724510 419946496 3809 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2473/statm: 102526 3809 1879 10 0 96706 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412672

[startup+0.705126 s]
/proc/loadavg: 1.56 1.45 1.31 5/46 2473
/proc/meminfo: memFree=598888/1048576 swapFree=2078696/2097144
[pid=2472] ppid=2471 vsize=2568 CPUtime=0
/proc/2472/stat : 2472 (gj-paranoid-sol) S 2471 2472 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876724510 2629632 272 1283457024 134512640 135304128 4289227936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2472/statm: 642 272 232 194 0 28 0
[pid=2473] ppid=2472 vsize=410708 CPUtime=0.7
/proc/2473/stat : 2473 (java) S 2472 2472 2059 34821 2220 4202496 12936 0 1 0 68 2 0 0 25 0 9 0 876724510 420564992 12222 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2473/statm: 102677 12222 2878 10 0 96857 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413276

[startup+1.50544 s]
/proc/loadavg: 1.56 1.45 1.31 3/55 2482
/proc/meminfo: memFree=537920/1048576 swapFree=2078696/2097144
[pid=2472] ppid=2471 vsize=2568 CPUtime=0
/proc/2472/stat : 2472 (gj-paranoid-sol) S 2471 2472 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876724510 2629632 272 1283457024 134512640 135304128 4289227936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2472/statm: 642 272 232 194 0 28 0
[pid=2473] ppid=2472 vsize=410840 CPUtime=1.5
/proc/2473/stat : 2473 (java) S 2472 2472 2059 34821 2220 4202496 28563 0 1 0 142 8 0 0 25 0 9 0 876724510 420700160 27849 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2473/statm: 102710 27849 2879 10 0 96890 0
[pid=2473/tid=2475] ppid=2472 vsize=410840 CPUtime=0.73
/proc/2473/task/2475/stat : 2475 (java) R 2472 2472 2059 34821 2220 4202560 6785 0 1 0 71 2 0 0 25 0 9 0 876724511 420700160 27849 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2473/tid=2476] ppid=2472 vsize=410840 CPUtime=0.73
/proc/2473/task/2476/stat : 2476 (java) R 2472 2472 2059 34821 2220 4202560 20388 0 0 0 67 6 0 0 20 0 9 0 876724512 420700160 27849 1283457024 134512640 134550932 4292261600 18446744073709551615 4152742833 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=2473/tid=2477] ppid=2472 vsize=410840 CPUtime=0
/proc/2473/task/2477/stat : 2477 (java) S 2472 2472 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 20 0 9 0 876724512 420700160 27849 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2478] ppid=2472 vsize=410840 CPUtime=0
/proc/2473/task/2478/stat : 2478 (java) S 2472 2472 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 22 0 9 0 876724512 420700160 27849 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2479] ppid=2472 vsize=410840 CPUtime=0
/proc/2473/task/2479/stat : 2479 (java) S 2472 2472 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876724513 420700160 27849 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2480] ppid=2472 vsize=410840 CPUtime=0.03
/proc/2473/task/2480/stat : 2480 (java) S 2472 2472 2059 34821 2220 4202560 455 0 0 0 3 0 0 0 16 0 9 0 876724513 420700160 27849 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2481] ppid=2472 vsize=410840 CPUtime=0
/proc/2473/task/2481/stat : 2481 (java) S 2472 2472 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876724513 420700160 27849 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2482] ppid=2472 vsize=410840 CPUtime=0
/proc/2473/task/2482/stat : 2482 (java) S 2472 2472 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876724513 420700160 27849 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413408

[startup+3.1059 s]
/proc/loadavg: 1.56 1.45 1.31 3/55 2482
/proc/meminfo: memFree=461164/1048576 swapFree=2078696/2097144
[pid=2472] ppid=2471 vsize=2568 CPUtime=0
/proc/2472/stat : 2472 (gj-paranoid-sol) S 2471 2472 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876724510 2629632 272 1283457024 134512640 135304128 4289227936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2472/statm: 642 272 232 194 0 28 0
[pid=2473] ppid=2472 vsize=411164 CPUtime=3.1
/proc/2473/stat : 2473 (java) S 2472 2472 2059 34821 2220 4202496 47017 0 1 0 296 14 0 0 25 0 10 0 876724510 421031936 46287 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2473/statm: 102791 46287 2885 10 0 96971 0
[pid=2473/tid=2475] ppid=2472 vsize=411164 CPUtime=1.36
/proc/2473/task/2475/stat : 2475 (java) R 2472 2472 2059 34821 2220 4202560 11474 0 1 0 132 4 0 0 25 0 10 0 876724511 421031936 46287 1283457024 134512640 134550932 4292261600 18446744073709551615 4115888598 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2473/tid=2476] ppid=2472 vsize=411164 CPUtime=1.65
/proc/2473/task/2476/stat : 2476 (java) S 2472 2472 2059 34821 2220 4202560 34089 0 0 0 157 8 0 0 18 0 10 0 876724512 421031936 46287 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2477] ppid=2472 vsize=411164 CPUtime=0
/proc/2473/task/2477/stat : 2477 (java) S 2472 2472 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876724512 421031936 46287 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2478] ppid=2472 vsize=411164 CPUtime=0
/proc/2473/task/2478/stat : 2478 (java) S 2472 2472 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876724512 421031936 46287 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2479] ppid=2472 vsize=411164 CPUtime=0
/proc/2473/task/2479/stat : 2479 (java) S 2472 2472 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876724513 421031936 46287 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2480] ppid=2472 vsize=411164 CPUtime=0.07
/proc/2473/task/2480/stat : 2480 (java) S 2472 2472 2059 34821 2220 4202560 514 0 0 0 7 0 0 0 15 0 10 0 876724513 421031936 46287 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2481] ppid=2472 vsize=411164 CPUtime=0
/proc/2473/task/2481/stat : 2481 (java) S 2472 2472 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876724513 421031936 46287 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2482] ppid=2472 vsize=411164 CPUtime=0
/proc/2473/task/2482/stat : 2482 (java) S 2472 2472 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876724513 421031936 46287 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413732

[startup+6.30662 s]
/proc/loadavg: 1.59 1.46 1.32 3/56 2483
/proc/meminfo: memFree=394940/1048576 swapFree=2078696/2097144
[pid=2472] ppid=2471 vsize=2568 CPUtime=0
/proc/2472/stat : 2472 (gj-paranoid-sol) S 2471 2472 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876724510 2629632 272 1283457024 134512640 135304128 4289227936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2472/statm: 642 272 232 194 0 28 0
[pid=2473] ppid=2472 vsize=411368 CPUtime=6.3
/proc/2473/stat : 2473 (java) S 2472 2472 2059 34821 2220 4202496 55174 0 1 0 612 18 0 0 25 0 10 0 876724510 421240832 52008 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2473/statm: 102842 52008 2883 10 0 97022 0
[pid=2473/tid=2475] ppid=2472 vsize=411368 CPUtime=3.56
/proc/2473/task/2475/stat : 2475 (java) R 2472 2472 2059 34821 2220 4202560 12358 0 1 0 352 4 0 0 25 0 10 0 876724511 421240832 52008 1283457024 134512640 134550932 4292261600 18446744073709551615 4115833094 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2473/tid=2476] ppid=2472 vsize=411368 CPUtime=2.65
/proc/2473/task/2476/stat : 2476 (java) S 2472 2472 2059 34821 2220 4202560 41357 0 0 0 252 13 0 0 16 0 10 0 876724512 421240832 52008 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2477] ppid=2472 vsize=411368 CPUtime=0
/proc/2473/task/2477/stat : 2477 (java) S 2472 2472 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876724512 421240832 52008 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2478] ppid=2472 vsize=411368 CPUtime=0
/proc/2473/task/2478/stat : 2478 (java) S 2472 2472 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876724512 421240832 52008 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2479] ppid=2472 vsize=411368 CPUtime=0
/proc/2473/task/2479/stat : 2479 (java) S 2472 2472 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876724513 421240832 52008 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2480] ppid=2472 vsize=411368 CPUtime=0.07
/proc/2473/task/2480/stat : 2480 (java) S 2472 2472 2059 34821 2220 4202560 519 0 0 0 7 0 0 0 15 0 10 0 876724513 421240832 52008 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2481] ppid=2472 vsize=411368 CPUtime=0
/proc/2473/task/2481/stat : 2481 (java) S 2472 2472 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876724513 421240832 52008 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2482] ppid=2472 vsize=411368 CPUtime=0
/proc/2473/task/2482/stat : 2482 (java) S 2472 2472 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876724513 421240832 52008 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2483] ppid=2472 vsize=411368 CPUtime=0
/proc/2473/task/2483/stat : 2483 (java) S 2472 2472 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876724802 421240832 52008 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 413936

[startup+12.708 s]
/proc/loadavg: 1.62 1.47 1.32 2/50 2484
/proc/meminfo: memFree=398244/1048576 swapFree=2084004/2097144
[pid=2472] ppid=2471 vsize=2568 CPUtime=0
/proc/2472/stat : 2472 (gj-paranoid-sol) S 2471 2472 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876724510 2629632 272 1283457024 134512640 135304128 4289227936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2472/statm: 642 272 232 194 0 28 0
[pid=2473] ppid=2472 vsize=411160 CPUtime=12.69
/proc/2473/stat : 2473 (java) S 2472 2472 2059 34821 2220 4202496 62513 0 1 0 1245 24 0 0 25 0 10 0 876724510 421027840 52527 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2473/statm: 102790 52527 2883 10 0 96970 0
[pid=2473/tid=2475] ppid=2472 vsize=411160 CPUtime=8.19
/proc/2473/task/2475/stat : 2475 (java) R 2472 2472 2059 34821 2220 4202560 12358 0 1 0 815 4 0 0 25 0 10 0 876724511 421027840 52527 1283457024 134512640 134550932 4292261600 18446744073709551615 4115888598 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2473/tid=2476] ppid=2472 vsize=411160 CPUtime=4.41
/proc/2473/task/2476/stat : 2476 (java) S 2472 2472 2059 34821 2220 4202560 48696 0 0 0 422 19 0 0 16 0 10 0 876724512 421027840 52527 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2477] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2477/stat : 2477 (java) S 2472 2472 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876724512 421027840 52527 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2478] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2478/stat : 2478 (java) S 2472 2472 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876724512 421027840 52527 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2479] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2479/stat : 2479 (java) S 2472 2472 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876724513 421027840 52527 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2480] ppid=2472 vsize=411160 CPUtime=0.07
/proc/2473/task/2480/stat : 2480 (java) S 2472 2472 2059 34821 2220 4202560 519 0 0 0 7 0 0 0 15 0 10 0 876724513 421027840 52527 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2481] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2481/stat : 2481 (java) S 2472 2472 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876724513 421027840 52527 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2482] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2482/stat : 2482 (java) S 2472 2472 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876724513 421027840 52527 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2483] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2483/stat : 2483 (java) S 2472 2472 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876724802 421027840 52527 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 413728

[startup+25.5113 s]
/proc/loadavg: 1.49 1.44 1.31 3/50 2484
/proc/meminfo: memFree=393928/1048576 swapFree=2084004/2097144
[pid=2472] ppid=2471 vsize=2568 CPUtime=0
/proc/2472/stat : 2472 (gj-paranoid-sol) S 2471 2472 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876724510 2629632 272 1283457024 134512640 135304128 4289227936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2472/statm: 642 272 232 194 0 28 0
[pid=2473] ppid=2472 vsize=411160 CPUtime=25.49
/proc/2473/stat : 2473 (java) S 2472 2472 2059 34821 2220 4202496 75056 0 1 0 2523 26 0 0 25 0 10 0 876724510 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2473/statm: 102790 53629 2883 10 0 96970 0
[pid=2473/tid=2475] ppid=2472 vsize=411160 CPUtime=18.15
/proc/2473/task/2475/stat : 2475 (java) R 2472 2472 2059 34821 2220 4202560 12358 0 1 0 1811 4 0 0 25 0 10 0 876724511 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4115775072 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2473/tid=2476] ppid=2472 vsize=411160 CPUtime=7.25
/proc/2473/task/2476/stat : 2476 (java) S 2472 2472 2059 34821 2220 4202560 61239 0 0 0 704 21 0 0 16 0 10 0 876724512 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2477] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2477/stat : 2477 (java) S 2472 2472 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876724512 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2478] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2478/stat : 2478 (java) S 2472 2472 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876724512 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2479] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2479/stat : 2479 (java) S 2472 2472 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876724513 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2480] ppid=2472 vsize=411160 CPUtime=0.07
/proc/2473/task/2480/stat : 2480 (java) S 2472 2472 2059 34821 2220 4202560 519 0 0 0 7 0 0 0 15 0 10 0 876724513 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2481] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2481/stat : 2481 (java) S 2472 2472 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876724513 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2482] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2482/stat : 2482 (java) S 2472 2472 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876724513 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2483] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2483/stat : 2483 (java) S 2472 2472 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876724802 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 413728

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

[startup+25.6113 s]
/proc/loadavg: 1.49 1.44 1.31 3/50 2484
/proc/meminfo: memFree=393928/1048576 swapFree=2084004/2097144
[pid=2472] ppid=2471 vsize=2568 CPUtime=0
/proc/2472/stat : 2472 (gj-paranoid-sol) S 2471 2472 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876724510 2629632 272 1283457024 134512640 135304128 4289227936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2472/statm: 642 272 232 194 0 28 0
[pid=2473] ppid=2472 vsize=411160 CPUtime=25.59
/proc/2473/stat : 2473 (java) S 2472 2472 2059 34821 2220 4202496 75056 0 1 0 2533 26 0 0 25 0 10 0 876724510 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2473/statm: 102790 53629 2883 10 0 96970 0
[pid=2473/tid=2475] ppid=2472 vsize=411160 CPUtime=18.25
/proc/2473/task/2475/stat : 2475 (java) R 2472 2472 2059 34821 2220 4202560 12358 0 1 0 1821 4 0 0 25 0 10 0 876724511 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4115833048 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2473/tid=2476] ppid=2472 vsize=411160 CPUtime=7.25
/proc/2473/task/2476/stat : 2476 (java) S 2472 2472 2059 34821 2220 4202560 61239 0 0 0 704 21 0 0 16 0 10 0 876724512 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2477] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2477/stat : 2477 (java) S 2472 2472 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876724512 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2478] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2478/stat : 2478 (java) S 2472 2472 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876724512 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2479] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2479/stat : 2479 (java) S 2472 2472 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876724513 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2480] ppid=2472 vsize=411160 CPUtime=0.07
/proc/2473/task/2480/stat : 2480 (java) S 2472 2472 2059 34821 2220 4202560 519 0 0 0 7 0 0 0 15 0 10 0 876724513 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2481] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2481/stat : 2481 (java) S 2472 2472 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876724513 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2482] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2482/stat : 2482 (java) R 2472 2472 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876724513 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2473/tid=2483] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2483/stat : 2483 (java) S 2472 2472 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876724802 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 413728

[startup+28.812 s]
/proc/loadavg: 1.45 1.44 1.31 2/50 2484
/proc/meminfo: memFree=393928/1048576 swapFree=2084004/2097144
[pid=2472] ppid=2471 vsize=2568 CPUtime=0
/proc/2472/stat : 2472 (gj-paranoid-sol) S 2471 2472 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876724510 2629632 272 1283457024 134512640 135304128 4289227936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2472/statm: 642 272 232 194 0 28 0
[pid=2473] ppid=2472 vsize=411160 CPUtime=28.79
/proc/2473/stat : 2473 (java) S 2472 2472 2059 34821 2220 4202496 77343 0 1 0 2852 27 0 0 25 0 10 0 876724510 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2473/statm: 102790 53629 2883 10 0 96970 0
[pid=2473/tid=2475] ppid=2472 vsize=411160 CPUtime=20.87
/proc/2473/task/2475/stat : 2475 (java) R 2472 2472 2059 34821 2220 4202560 12358 0 1 0 2083 4 0 0 25 0 10 0 876724511 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4115821386 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2473/tid=2476] ppid=2472 vsize=411160 CPUtime=7.83
/proc/2473/task/2476/stat : 2476 (java) S 2472 2472 2059 34821 2220 4202560 63526 0 0 0 761 22 0 0 16 0 10 0 876724512 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2477] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2477/stat : 2477 (java) S 2472 2472 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876724512 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2478] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2478/stat : 2478 (java) S 2472 2472 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876724512 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2479] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2479/stat : 2479 (java) S 2472 2472 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876724513 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2480] ppid=2472 vsize=411160 CPUtime=0.07
/proc/2473/task/2480/stat : 2480 (java) S 2472 2472 2059 34821 2220 4202560 519 0 0 0 7 0 0 0 15 0 10 0 876724513 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2481] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2481/stat : 2481 (java) S 2472 2472 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876724513 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2482] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2482/stat : 2482 (java) S 2472 2472 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876724513 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2483] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2483/stat : 2483 (java) S 2472 2472 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876724802 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28.79
Current children cumulated vsize (KiB) 413728

[startup+30.4123 s]
/proc/loadavg: 1.45 1.44 1.31 2/50 2484
/proc/meminfo: memFree=393928/1048576 swapFree=2084004/2097144
[pid=2472] ppid=2471 vsize=2568 CPUtime=0
/proc/2472/stat : 2472 (gj-paranoid-sol) S 2471 2472 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876724510 2629632 272 1283457024 134512640 135304128 4289227936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2472/statm: 642 272 232 194 0 28 0
[pid=2473] ppid=2472 vsize=411160 CPUtime=30.39
/proc/2473/stat : 2473 (java) S 2472 2472 2059 34821 2220 4202496 77343 0 1 0 3012 27 0 0 25 0 10 0 876724510 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2473/statm: 102790 53629 2883 10 0 96970 0
[pid=2473/tid=2475] ppid=2472 vsize=411160 CPUtime=22.47
/proc/2473/task/2475/stat : 2475 (java) R 2472 2472 2059 34821 2220 4202560 12358 0 1 0 2243 4 0 0 25 0 10 0 876724511 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4115772300 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2473/tid=2476] ppid=2472 vsize=411160 CPUtime=7.83
/proc/2473/task/2476/stat : 2476 (java) S 2472 2472 2059 34821 2220 4202560 63526 0 0 0 761 22 0 0 15 0 10 0 876724512 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2477] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2477/stat : 2477 (java) S 2472 2472 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876724512 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2478] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2478/stat : 2478 (java) S 2472 2472 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876724512 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2479] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2479/stat : 2479 (java) S 2472 2472 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876724513 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2480] ppid=2472 vsize=411160 CPUtime=0.07
/proc/2473/task/2480/stat : 2480 (java) S 2472 2472 2059 34821 2220 4202560 519 0 0 0 7 0 0 0 15 0 10 0 876724513 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2481] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2481/stat : 2481 (java) S 2472 2472 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876724513 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2482] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2482/stat : 2482 (java) S 2472 2472 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876724513 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2483] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2483/stat : 2483 (java) S 2472 2472 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876724802 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 30.39
Current children cumulated vsize (KiB) 413728

[startup+32.0127 s]
/proc/loadavg: 1.45 1.44 1.31 3/50 2484
/proc/meminfo: memFree=385372/1048576 swapFree=2084004/2097144
[pid=2472] ppid=2471 vsize=2568 CPUtime=0
/proc/2472/stat : 2472 (gj-paranoid-sol) S 2471 2472 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876724510 2629632 272 1283457024 134512640 135304128 4289227936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2472/statm: 642 272 232 194 0 28 0
[pid=2473] ppid=2472 vsize=411160 CPUtime=31.98
/proc/2473/stat : 2473 (java) S 2472 2472 2059 34821 2220 4202496 79630 0 1 0 3168 30 0 0 25 0 10 0 876724510 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2473/statm: 102790 53629 2883 10 0 96970 0
[pid=2473/tid=2475] ppid=2472 vsize=411160 CPUtime=23.5
/proc/2473/task/2475/stat : 2475 (java) R 2472 2472 2059 34821 2220 4202560 12358 0 1 0 2346 4 0 0 25 0 10 0 876724511 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4115900339 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2473/tid=2476] ppid=2472 vsize=411160 CPUtime=8.4
/proc/2473/task/2476/stat : 2476 (java) S 2472 2472 2059 34821 2220 4202560 65813 0 0 0 815 25 0 0 16 0 10 0 876724512 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2477] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2477/stat : 2477 (java) S 2472 2472 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876724512 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2478] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2478/stat : 2478 (java) S 2472 2472 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876724512 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2479] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2479/stat : 2479 (java) S 2472 2472 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876724513 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2480] ppid=2472 vsize=411160 CPUtime=0.07
/proc/2473/task/2480/stat : 2480 (java) S 2472 2472 2059 34821 2220 4202560 519 0 0 0 7 0 0 0 15 0 10 0 876724513 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2481] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2481/stat : 2481 (java) S 2472 2472 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876724513 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2482] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2482/stat : 2482 (java) S 2472 2472 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876724513 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2483] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2483/stat : 2483 (java) S 2472 2472 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876724802 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 31.98
Current children cumulated vsize (KiB) 413728

[startup+32.8128 s]
/proc/loadavg: 1.45 1.44 1.31 3/50 2484
/proc/meminfo: memFree=385372/1048576 swapFree=2084004/2097144
[pid=2472] ppid=2471 vsize=2568 CPUtime=0
/proc/2472/stat : 2472 (gj-paranoid-sol) S 2471 2472 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876724510 2629632 272 1283457024 134512640 135304128 4289227936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2472/statm: 642 272 232 194 0 28 0
[pid=2473] ppid=2472 vsize=411160 CPUtime=32.79
/proc/2473/stat : 2473 (java) S 2472 2472 2059 34821 2220 4202496 79630 0 1 0 3249 30 0 0 25 0 10 0 876724510 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2473/statm: 102790 53629 2883 10 0 96970 0
[pid=2473/tid=2475] ppid=2472 vsize=411160 CPUtime=24.3
/proc/2473/task/2475/stat : 2475 (java) R 2472 2472 2059 34821 2220 4202560 12358 0 1 0 2426 4 0 0 25 0 10 0 876724511 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4115902004 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2473/tid=2476] ppid=2472 vsize=411160 CPUtime=8.4
/proc/2473/task/2476/stat : 2476 (java) S 2472 2472 2059 34821 2220 4202560 65813 0 0 0 815 25 0 0 16 0 10 0 876724512 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2477] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2477/stat : 2477 (java) S 2472 2472 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876724512 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2478] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2478/stat : 2478 (java) S 2472 2472 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876724512 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2479] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2479/stat : 2479 (java) S 2472 2472 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876724513 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2480] ppid=2472 vsize=411160 CPUtime=0.07
/proc/2473/task/2480/stat : 2480 (java) S 2472 2472 2059 34821 2220 4202560 519 0 0 0 7 0 0 0 15 0 10 0 876724513 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2481] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2481/stat : 2481 (java) S 2472 2472 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876724513 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2482] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2482/stat : 2482 (java) S 2472 2472 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876724513 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=2473/tid=2483] ppid=2472 vsize=411160 CPUtime=0
/proc/2473/task/2483/stat : 2483 (java) S 2472 2472 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876724802 421027840 53629 1283457024 134512640 134550932 4292261600 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.79
Current children cumulated vsize (KiB) 413728

[startup+33.0053 s]
/proc/loadavg: 1.41 1.43 1.31 2/42 2484
/proc/meminfo: memFree=484084/1048576 swapFree=2084004/2097144
[pid=2472] ppid=2471 vsize=2568 CPUtime=0
/proc/2472/stat : 2472 (gj-paranoid-sol) S 2471 2472 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876724510 2629632 272 1283457024 134512640 135304128 4289227936 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2472/statm: 642 272 232 194 0 28 0
[pid=2473] ppid=2472 vsize=0 CPUtime=32.96
/proc/2473/stat : 2473 (java) Z 2472 2472 2059 34821 2220 4202508 79640 0 1 0 3265 31 0 0 18 0 2 0 876724510 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2473/statm: 0 0 0 0 0 0 0
[pid=2473/tid=2481] ppid=2472 vsize=0 CPUtime=0
/proc/2473/task/2481/stat : 2481 (java) R 2472 2472 2059 34821 2220 4203588 1 0 0 0 0 0 0 0 18 0 2 0 876724513 0 0 1283457024 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.96
Current children cumulated vsize (KiB) 2568

Child status: 0
Real time (s): 33.0137
CPU time (s): 32.9701
CPU user time (s): 32.658
CPU system time (s): 0.312019
CPU usage (%): 99.8678
Max. virtual memory (cumulated for all children) (KiB): 423764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.658
system time used= 0.312019
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80025
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= 1242
involuntary context switches= 1697

runsolver used 0 second user time and 0 second system time

The end