runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3735414-1338707336/watcher-3735414-1338707336 -o /tmp/evaluation-result-3735414-1338707336/solver-3735414-1338707336 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3735414-1338707336.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/196 12523
/proc/meminfo: memFree=27648464/32873844 swapFree=7620/7620
[pid=12523] ppid=12521 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/12523/stat : 12523 (java) R 12521 12523 6422 0 -1 4202496 984 0 0 0 0 0 0 0 20 0 1 0 336858456 23793664 711 33554432000 1073741824 1073778376 140735572049856 140735572038920 215115412840 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12523/statm: 5809 711 526 9 0 128 0
[startup+0.078367 s]
/proc/loadavg: 2.00 2.00 2.00 3/196 12523
/proc/meminfo: memFree=27648464/32873844 swapFree=7620/7620
[pid=12523] ppid=12521 vsize=2957856 CPUtime=0.06 cores=0,2,4,6
/proc/12523/stat : 12523 (java) S 12521 12523 6422 0 -1 4202496 4180 0 1 0 6 0 0 0 20 0 18 0 336858456 3028844544 5387 33554432000 1073741824 1073778376 140735572049856 140735572040992 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12523/statm: 739464 5387 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2957856
[startup+0.10033 s]
/proc/loadavg: 2.00 2.00 2.00 3/196 12523
/proc/meminfo: memFree=27648464/32873844 swapFree=7620/7620
[pid=12523] ppid=12521 vsize=2957856 CPUtime=0.09 cores=0,2,4,6
/proc/12523/stat : 12523 (java) S 12521 12523 6422 0 -1 4202496 4968 0 1 0 9 0 0 0 20 0 18 0 336858456 3028844544 6164 33554432000 1073741824 1073778376 140735572049856 140735572040992 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12523/statm: 739464 6164 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856
[startup+0.300178 s]
/proc/loadavg: 2.00 2.00 2.00 3/196 12523
/proc/meminfo: memFree=27648464/32873844 swapFree=7620/7620
[pid=12523] ppid=12521 vsize=2957856 CPUtime=0.48 cores=0,2,4,6
/proc/12523/stat : 12523 (java) S 12521 12523 6422 0 -1 4202496 6503 0 1 0 46 2 0 0 20 0 18 0 336858456 3028844544 10095 33554432000 1073741824 1073778376 140735572049856 140735572040992 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12523/statm: 739464 10095 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2957856
[startup+0.700242 s]
/proc/loadavg: 2.00 2.00 2.00 3/196 12523
/proc/meminfo: memFree=27648464/32873844 swapFree=7620/7620
[pid=12523] ppid=12521 vsize=2957856 CPUtime=1.11 cores=0,2,4,6
/proc/12523/stat : 12523 (java) S 12521 12523 6422 0 -1 4202496 8705 0 1 0 107 4 0 0 20 0 18 0 336858456 3028844544 52832 33554432000 1073741824 1073778376 140735572049856 140735572040992 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12523/statm: 739464 52832 2253 9 0 729885 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 2957856
[startup+1.50072 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 12541
/proc/meminfo: memFree=27159128/32873844 swapFree=7620/7620
[pid=12523] ppid=12521 vsize=2957856 CPUtime=2.02 cores=0,2,4,6
/proc/12523/stat : 12523 (java) S 12521 12523 6422 0 -1 4202496 8905 0 1 0 191 11 0 0 20 0 18 0 336858456 3028844544 117374 33554432000 1073741824 1073778376 140735572049856 140735572040992 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12523/statm: 739464 117374 2269 9 0 729885 0
[pid=12523/tid=12525] ppid=12521 vsize=2957856 CPUtime=1.44 cores=0,2,4,6
/proc/12523/task/12525/stat : 12525 (java) R 12521 12523 6422 0 -1 4202560 3307 0 1 0 137 7 0 0 20 0 18 0 336858456 3028844544 117374 33554432000 1073741824 1073778376 140735572049856 139639582641912 139639522873069 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12523/tid=12526] ppid=12521 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12526/stat : 12526 (java) S 12521 12523 6422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 336858457 3028844544 117374 33554432000 1073741824 1073778376 140735572049856 139639521372840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12527] ppid=12521 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12527/stat : 12527 (java) S 12521 12523 6422 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 18 0 336858457 3028844544 117374 33554432000 1073741824 1073778376 140735572049856 139639447481128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12523/tid=12528] ppid=12521 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12528/stat : 12528 (java) S 12521 12523 6422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 336858457 3028844544 117374 33554432000 1073741824 1073778376 140735572049856 139639446428584 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12523/tid=12529] ppid=12521 vsize=2957856 CPUtime=0.02 cores=0,2,4,6
/proc/12523/task/12529/stat : 12529 (java) S 12521 12523 6422 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 18 0 336858457 3028844544 117374 33554432000 1073741824 1073778376 140735572049856 139639445376040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12523/tid=12530] ppid=12521 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12530/stat : 12530 (java) S 12521 12523 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 336858457 3028844544 117374 33554432000 1073741824 1073778376 140735572049856 139639444322472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12531] ppid=12521 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12531/stat : 12531 (java) S 12521 12523 6422 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 336858457 3028844544 117374 33554432000 1073741824 1073778376 140735572049856 139639443269928 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12523/tid=12532] ppid=12521 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12532/stat : 12532 (java) S 12521 12523 6422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 336858457 3028844544 117374 33554432000 1073741824 1073778376 140735572049856 139639442217384 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12523/tid=12533] ppid=12521 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12533/stat : 12533 (java) S 12521 12523 6422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 336858457 3028844544 117374 33554432000 1073741824 1073778376 140735572049856 139639441164840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12534] ppid=12521 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12534/stat : 12534 (java) S 12521 12523 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 336858458 3028844544 117374 33554432000 1073741824 1073778376 140735572049856 139639428754024 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12535] ppid=12521 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12535/stat : 12535 (java) S 12521 12523 6422 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 336858459 3028844544 117374 33554432000 1073741824 1073778376 140735572049856 139639427700344 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12536] ppid=12521 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12536/stat : 12536 (java) S 12521 12523 6422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 336858459 3028844544 117374 33554432000 1073741824 1073778376 140735572049856 139639426647688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12537] ppid=12521 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12537/stat : 12537 (java) S 12521 12523 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 336858461 3028844544 117374 33554432000 1073741824 1073778376 140735572049856 139639425596432 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12538] ppid=12521 vsize=2957856 CPUtime=0.19 cores=0,2,4,6
/proc/12523/task/12538/stat : 12538 (java) S 12521 12523 6422 0 -1 4202560 1617 0 0 0 19 0 0 0 20 0 18 0 336858461 3028844544 117374 33554432000 1073741824 1073778376 140735572049856 139639424542776 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12539] ppid=12521 vsize=2957856 CPUtime=0.2 cores=0,2,4,6
/proc/12523/task/12539/stat : 12539 (java) S 12521 12523 6422 0 -1 4202560 2715 0 0 0 20 0 0 0 20 0 18 0 336858461 3028844544 117374 33554432000 1073741824 1073778376 140735572049856 139639423490232 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12523/tid=12540] ppid=12521 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12540/stat : 12540 (java) S 12521 12523 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 336858461 3028844544 117374 33554432000 1073741824 1073778376 140735572049856 139639422437880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12523/tid=12541] ppid=12521 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12541/stat : 12541 (java) S 12521 12523 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 336858461 3028844544 117374 33554432000 1073741824 1073778376 140735572049856 139639421385544 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 2957856
[startup+3.10063 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 12541
/proc/meminfo: memFree=27068520/32873844 swapFree=7620/7620
[pid=12523] ppid=12521 vsize=3024420 CPUtime=4.12 cores=0,2,4,6
/proc/12523/stat : 12523 (java) S 12521 12523 6422 0 -1 4202496 9131 0 1 0 392 20 0 0 20 0 19 0 336858456 3097006080 136396 33554432000 1073741824 1073778376 140735572049856 140735572040992 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12523/statm: 756105 136396 2286 9 0 746526 0
[pid=12523/tid=12525] ppid=12521 vsize=3024420 CPUtime=2.94 cores=0,2,4,6
/proc/12523/task/12525/stat : 12525 (java) R 12521 12523 6422 0 -1 4202560 3320 0 1 0 287 7 0 0 20 0 19 0 336858456 3097006080 136396 33554432000 1073741824 1073778376 140735572049856 139639582642896 139639523096874 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12523/tid=12526] ppid=12521 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/12523/task/12526/stat : 12526 (java) S 12521 12523 6422 0 -1 4202560 20 0 0 0 1 1 0 0 20 0 19 0 336858457 3097006080 136396 33554432000 1073741824 1073778376 140735572049856 139639521372840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12527] ppid=12521 vsize=3024420 CPUtime=0.05 cores=0,2,4,6
/proc/12523/task/12527/stat : 12527 (java) S 12521 12523 6422 0 -1 4202560 36 0 0 0 3 2 0 0 20 0 19 0 336858457 3097006080 136396 33554432000 1073741824 1073778376 140735572049856 139639447481128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12523/tid=12528] ppid=12521 vsize=3024420 CPUtime=0.05 cores=0,2,4,6
/proc/12523/task/12528/stat : 12528 (java) S 12521 12523 6422 0 -1 4202560 26 0 0 0 5 0 0 0 20 0 19 0 336858457 3097006080 136396 33554432000 1073741824 1073778376 140735572049856 139639446428584 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12523/tid=12529] ppid=12521 vsize=3024420 CPUtime=0.09 cores=0,2,4,6
/proc/12523/task/12529/stat : 12529 (java) S 12521 12523 6422 0 -1 4202560 57 0 0 0 7 2 0 0 20 0 19 0 336858457 3097006080 136396 33554432000 1073741824 1073778376 140735572049856 139639445376040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12523/tid=12530] ppid=12521 vsize=3024420 CPUtime=0.04 cores=0,2,4,6
/proc/12523/task/12530/stat : 12530 (java) S 12521 12523 6422 0 -1 4202560 26 0 0 0 3 1 0 0 20 0 19 0 336858457 3097006080 136396 33554432000 1073741824 1073778376 140735572049856 139639444322472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12523/tid=12531] ppid=12521 vsize=3024420 CPUtime=0.05 cores=0,2,4,6
/proc/12523/task/12531/stat : 12531 (java) S 12521 12523 6422 0 -1 4202560 29 0 0 0 3 2 0 0 20 0 19 0 336858457 3097006080 136396 33554432000 1073741824 1073778376 140735572049856 139639443269928 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12523/tid=12532] ppid=12521 vsize=3024420 CPUtime=0.05 cores=0,2,4,6
/proc/12523/task/12532/stat : 12532 (java) S 12521 12523 6422 0 -1 4202560 26 0 0 0 3 2 0 0 20 0 19 0 336858457 3097006080 136396 33554432000 1073741824 1073778376 140735572049856 139639442217384 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12523/tid=12533] ppid=12521 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/12523/task/12533/stat : 12533 (java) S 12521 12523 6422 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 19 0 336858457 3097006080 136396 33554432000 1073741824 1073778376 140735572049856 139639441164840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12523/tid=12534] ppid=12521 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12534/stat : 12534 (java) S 12521 12523 6422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336858458 3097006080 136396 33554432000 1073741824 1073778376 140735572049856 139639428754024 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12523/tid=12535] ppid=12521 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12535/stat : 12535 (java) S 12521 12523 6422 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 336858459 3097006080 136396 33554432000 1073741824 1073778376 140735572049856 139639427700344 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12536] ppid=12521 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12536/stat : 12536 (java) S 12521 12523 6422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336858459 3097006080 136396 33554432000 1073741824 1073778376 140735572049856 139639426647688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12537] ppid=12521 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12537/stat : 12537 (java) S 12521 12523 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336858461 3097006080 136396 33554432000 1073741824 1073778376 140735572049856 139639425596432 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12538] ppid=12521 vsize=3024420 CPUtime=0.24 cores=0,2,4,6
/proc/12523/task/12538/stat : 12538 (java) S 12521 12523 6422 0 -1 4202560 1628 0 0 0 24 0 0 0 20 0 19 0 336858461 3097006080 136396 33554432000 1073741824 1073778376 140735572049856 139639424542776 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12539] ppid=12521 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/12523/task/12539/stat : 12539 (java) S 12521 12523 6422 0 -1 4202560 2747 0 0 0 38 0 0 0 20 0 19 0 336858461 3097006080 136396 33554432000 1073741824 1073778376 140735572049856 139639423490232 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12523/tid=12540] ppid=12521 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12540/stat : 12540 (java) S 12521 12523 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336858461 3097006080 136396 33554432000 1073741824 1073778376 140735572049856 139639422437880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12523/tid=12541] ppid=12521 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12541/stat : 12541 (java) S 12521 12523 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336858461 3097006080 136396 33554432000 1073741824 1073778376 140735572049856 139639421385544 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.12
Current children cumulated vsize (KiB) 3024420
[startup+6.30067 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 12542
/proc/meminfo: memFree=26993728/32873844 swapFree=7620/7620
[pid=12523] ppid=12521 vsize=3024420 CPUtime=7.47 cores=0,2,4,6
/proc/12523/stat : 12523 (java) S 12521 12523 6422 0 -1 4202496 9225 0 1 0 727 20 0 0 20 0 19 0 336858456 3097006080 135845 33554432000 1073741824 1073778376 140735572049856 140735572040992 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12523/statm: 756105 135845 2290 9 0 746526 0
[pid=12523/tid=12525] ppid=12521 vsize=3024420 CPUtime=6.13 cores=0,2,4,6
/proc/12523/task/12525/stat : 12525 (java) R 12521 12523 6422 0 -1 4202560 3323 0 1 0 606 7 0 0 20 0 19 0 336858456 3097006080 135845 33554432000 1073741824 1073778376 140735572049856 139639582640528 139639523097826 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12523/tid=12526] ppid=12521 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/12523/task/12526/stat : 12526 (java) S 12521 12523 6422 0 -1 4202560 20 0 0 0 1 1 0 0 20 0 19 0 336858457 3097006080 135845 33554432000 1073741824 1073778376 140735572049856 139639521372840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12527] ppid=12521 vsize=3024420 CPUtime=0.05 cores=0,2,4,6
/proc/12523/task/12527/stat : 12527 (java) S 12521 12523 6422 0 -1 4202560 36 0 0 0 3 2 0 0 20 0 19 0 336858457 3097006080 135845 33554432000 1073741824 1073778376 140735572049856 139639447481128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12523/tid=12528] ppid=12521 vsize=3024420 CPUtime=0.05 cores=0,2,4,6
/proc/12523/task/12528/stat : 12528 (java) S 12521 12523 6422 0 -1 4202560 26 0 0 0 5 0 0 0 20 0 19 0 336858457 3097006080 135845 33554432000 1073741824 1073778376 140735572049856 139639446428584 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12523/tid=12529] ppid=12521 vsize=3024420 CPUtime=0.09 cores=0,2,4,6
/proc/12523/task/12529/stat : 12529 (java) S 12521 12523 6422 0 -1 4202560 57 0 0 0 7 2 0 0 20 0 19 0 336858457 3097006080 135845 33554432000 1073741824 1073778376 140735572049856 139639445376040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12523/tid=12530] ppid=12521 vsize=3024420 CPUtime=0.04 cores=0,2,4,6
/proc/12523/task/12530/stat : 12530 (java) S 12521 12523 6422 0 -1 4202560 26 0 0 0 3 1 0 0 20 0 19 0 336858457 3097006080 135845 33554432000 1073741824 1073778376 140735572049856 139639444322472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12523/tid=12531] ppid=12521 vsize=3024420 CPUtime=0.05 cores=0,2,4,6
/proc/12523/task/12531/stat : 12531 (java) S 12521 12523 6422 0 -1 4202560 29 0 0 0 3 2 0 0 20 0 19 0 336858457 3097006080 135845 33554432000 1073741824 1073778376 140735572049856 139639443269928 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12523/tid=12532] ppid=12521 vsize=3024420 CPUtime=0.05 cores=0,2,4,6
/proc/12523/task/12532/stat : 12532 (java) S 12521 12523 6422 0 -1 4202560 26 0 0 0 3 2 0 0 20 0 19 0 336858457 3097006080 135845 33554432000 1073741824 1073778376 140735572049856 139639442217384 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12523/tid=12533] ppid=12521 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/12523/task/12533/stat : 12533 (java) S 12521 12523 6422 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 19 0 336858457 3097006080 135845 33554432000 1073741824 1073778376 140735572049856 139639441164840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12523/tid=12534] ppid=12521 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12534/stat : 12534 (java) S 12521 12523 6422 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 336858458 3097006080 135845 33554432000 1073741824 1073778376 140735572049856 139639428754024 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12523/tid=12535] ppid=12521 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12535/stat : 12535 (java) S 12521 12523 6422 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 336858459 3097006080 135845 33554432000 1073741824 1073778376 140735572049856 139639427700344 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12536] ppid=12521 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12536/stat : 12536 (java) S 12521 12523 6422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336858459 3097006080 135845 33554432000 1073741824 1073778376 140735572049856 139639426647688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12537] ppid=12521 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12537/stat : 12537 (java) S 12521 12523 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336858461 3097006080 135845 33554432000 1073741824 1073778376 140735572049856 139639425596432 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12538] ppid=12521 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/12523/task/12538/stat : 12538 (java) S 12521 12523 6422 0 -1 4202560 1638 0 0 0 31 0 0 0 20 0 19 0 336858461 3097006080 135845 33554432000 1073741824 1073778376 140735572049856 139639424542776 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12539] ppid=12521 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/12523/task/12539/stat : 12539 (java) S 12521 12523 6422 0 -1 4202560 2826 0 0 0 47 0 0 0 20 0 19 0 336858461 3097006080 135845 33554432000 1073741824 1073778376 140735572049856 139639423490232 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12523/tid=12540] ppid=12521 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12540/stat : 12540 (java) S 12521 12523 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336858461 3097006080 135845 33554432000 1073741824 1073778376 140735572049856 139639422437880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12523/tid=12541] ppid=12521 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12541/stat : 12541 (java) S 12521 12523 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336858461 3097006080 135845 33554432000 1073741824 1073778376 140735572049856 139639421385544 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12523/tid=12542] ppid=12521 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12542/stat : 12542 (java) S 12521 12523 6422 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 336858743 3097006080 135845 33554432000 1073741824 1073778376 140735572049856 139639419254056 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.47
Current children cumulated vsize (KiB) 3024420
[startup+12.7007 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 12542
/proc/meminfo: memFree=26993528/32873844 swapFree=7620/7620
[pid=12523] ppid=12521 vsize=3024420 CPUtime=13.87 cores=0,2,4,6
/proc/12523/stat : 12523 (java) S 12521 12523 6422 0 -1 4202496 9226 0 1 0 1367 20 0 0 20 0 19 0 336858456 3097006080 135845 33554432000 1073741824 1073778376 140735572049856 140735572040992 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
################
# More data... #
################
/proc/12523/task/12536/stat : 12536 (java) S 12521 12523 6422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336858459 3097006080 419697 33554432000 1073741824 1073778376 140735572049856 139639426647688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12537] ppid=12521 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12537/stat : 12537 (java) S 12521 12523 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336858461 3097006080 419697 33554432000 1073741824 1073778376 140735572049856 139639425596432 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12538] ppid=12521 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/12523/task/12538/stat : 12538 (java) S 12521 12523 6422 0 -1 4202560 3624 0 0 0 42 1 0 0 20 0 19 0 336858461 3097006080 419697 33554432000 1073741824 1073778376 140735572049856 139639424542776 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12523/tid=12539] ppid=12521 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/12523/task/12539/stat : 12539 (java) S 12521 12523 6422 0 -1 4202560 2833 0 0 0 48 1 0 0 20 0 19 0 336858461 3097006080 419697 33554432000 1073741824 1073778376 140735572049856 139639423490232 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12523/tid=12540] ppid=12521 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12540/stat : 12540 (java) S 12521 12523 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336858461 3097006080 419697 33554432000 1073741824 1073778376 140735572049856 139639422437880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12523/tid=12541] ppid=12521 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/12523/task/12541/stat : 12541 (java) S 12521 12523 6422 0 -1 4202560 83 0 0 0 15 16 0 0 20 0 19 0 336858461 3097006080 419697 33554432000 1073741824 1073778376 140735572049856 139639421385544 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12523/tid=12542] ppid=12521 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12542/stat : 12542 (java) S 12521 12523 6422 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 336858743 3097006080 419697 33554432000 1073741824 1073778376 140735572049856 139639419254056 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1425.49
Current children cumulated vsize (KiB) 3024420
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/215 12743
/proc/meminfo: memFree=25792988/32873844 swapFree=7620/7620
[pid=12523] ppid=12521 vsize=3090984 CPUtime=1485.49 cores=0,2,4,6
/proc/12523/stat : 12523 (java) S 12521 12523 6422 0 -1 4202496 13180 0 1 0 148417 132 0 0 20 0 20 0 336858456 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 140735572040992 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12523/statm: 772746 419712 2301 9 0 763167 0
[pid=12523/tid=12525] ppid=12521 vsize=3090984 CPUtime=1471.81 cores=0,2,4,6
/proc/12523/task/12525/stat : 12525 (java) S 12521 12523 6422 0 -1 4202560 3354 0 1 0 147151 30 0 0 20 0 20 0 336858456 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639582643384 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12523/tid=12526] ppid=12521 vsize=3090984 CPUtime=0.24 cores=0,2,4,6
/proc/12523/task/12526/stat : 12526 (java) S 12521 12523 6422 0 -1 4202560 160 0 0 0 15 9 0 0 20 0 20 0 336858457 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639521372840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12527] ppid=12521 vsize=3090984 CPUtime=0.4 cores=0,2,4,6
/proc/12523/task/12527/stat : 12527 (java) S 12521 12523 6422 0 -1 4202560 268 0 0 0 24 16 0 0 20 0 20 0 336858457 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639447481128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12523/tid=12528] ppid=12521 vsize=3090984 CPUtime=0.27 cores=0,2,4,6
/proc/12523/task/12528/stat : 12528 (java) S 12521 12523 6422 0 -1 4202560 170 0 0 0 19 8 0 0 20 0 20 0 336858457 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639446428584 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12523/tid=12529] ppid=12521 vsize=3090984 CPUtime=0.46 cores=0,2,4,6
/proc/12523/task/12529/stat : 12529 (java) S 12521 12523 6422 0 -1 4202560 312 0 0 0 28 18 0 0 20 0 20 0 336858457 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639445376040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12523/tid=12530] ppid=12521 vsize=3090984 CPUtime=0.48 cores=0,2,4,6
/proc/12523/task/12530/stat : 12530 (java) S 12521 12523 6422 0 -1 4202560 338 0 0 0 32 16 0 0 20 0 20 0 336858457 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639444322472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12523/tid=12531] ppid=12521 vsize=3090984 CPUtime=0.3 cores=0,2,4,6
/proc/12523/task/12531/stat : 12531 (java) S 12521 12523 6422 0 -1 4202560 196 0 0 0 19 11 0 0 20 0 20 0 336858457 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639443269928 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12523/tid=12532] ppid=12521 vsize=3090984 CPUtime=0.26 cores=0,2,4,6
/proc/12523/task/12532/stat : 12532 (java) S 12521 12523 6422 0 -1 4202560 167 0 0 0 14 12 0 0 20 0 20 0 336858457 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639442217384 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12533] ppid=12521 vsize=3090984 CPUtime=0.39 cores=0,2,4,6
/proc/12523/task/12533/stat : 12533 (java) S 12521 12523 6422 0 -1 4202560 270 0 0 0 25 14 0 0 20 0 20 0 336858457 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639441164840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12523/tid=12534] ppid=12521 vsize=3090984 CPUtime=5.87 cores=0,2,4,6
/proc/12523/task/12534/stat : 12534 (java) R 12521 12523 6422 0 -1 4202560 207 0 0 0 582 5 0 0 20 0 20 0 336858458 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639428754184 139639589496902 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12523/tid=12535] ppid=12521 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12535/stat : 12535 (java) S 12521 12523 6422 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 336858459 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639427700344 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12536] ppid=12521 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12536/stat : 12536 (java) S 12521 12523 6422 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 336858459 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639426647688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12537] ppid=12521 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12537/stat : 12537 (java) S 12521 12523 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336858461 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639425596432 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12538] ppid=12521 vsize=3090984 CPUtime=0.43 cores=0,2,4,6
/proc/12523/task/12538/stat : 12538 (java) S 12521 12523 6422 0 -1 4202560 3624 0 0 0 42 1 0 0 20 0 20 0 336858461 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639424542776 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12523/tid=12539] ppid=12521 vsize=3090984 CPUtime=0.49 cores=0,2,4,6
/proc/12523/task/12539/stat : 12539 (java) S 12521 12523 6422 0 -1 4202560 2833 0 0 0 48 1 0 0 20 0 20 0 336858461 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639423490232 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12523/tid=12540] ppid=12521 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12540/stat : 12540 (java) S 12521 12523 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336858461 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639422437880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12523/tid=12541] ppid=12521 vsize=3090984 CPUtime=0.32 cores=0,2,4,6
/proc/12523/task/12541/stat : 12541 (java) S 12521 12523 6422 0 -1 4202560 85 0 0 0 16 16 0 0 20 0 20 0 336858461 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639421385544 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12523/tid=12542] ppid=12521 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12542/stat : 12542 (java) S 12521 12523 6422 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 336858743 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639419254056 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1485.49
Current children cumulated vsize (KiB) 3090984
Solver just ended. Dumping a history of the last processes samples
[startup+1482.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/216 12744
/proc/meminfo: memFree=25792988/32873844 swapFree=7620/7620
[pid=12523] ppid=12521 vsize=3090984 CPUtime=1485.89 cores=0,2,4,6
/proc/12523/stat : 12523 (java) S 12521 12523 6422 0 -1 4202496 13182 0 1 0 148457 132 0 0 20 0 20 0 336858456 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 140735572040992 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12523/statm: 772746 419712 2301 9 0 763167 0
[pid=12523/tid=12525] ppid=12521 vsize=3090984 CPUtime=1471.81 cores=0,2,4,6
/proc/12523/task/12525/stat : 12525 (java) S 12521 12523 6422 0 -1 4202560 3354 0 1 0 147151 30 0 0 20 0 20 0 336858456 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639582643384 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12523/tid=12526] ppid=12521 vsize=3090984 CPUtime=0.24 cores=0,2,4,6
/proc/12523/task/12526/stat : 12526 (java) S 12521 12523 6422 0 -1 4202560 160 0 0 0 15 9 0 0 20 0 20 0 336858457 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639521372840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12527] ppid=12521 vsize=3090984 CPUtime=0.4 cores=0,2,4,6
/proc/12523/task/12527/stat : 12527 (java) S 12521 12523 6422 0 -1 4202560 268 0 0 0 24 16 0 0 20 0 20 0 336858457 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639447481128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12523/tid=12528] ppid=12521 vsize=3090984 CPUtime=0.27 cores=0,2,4,6
/proc/12523/task/12528/stat : 12528 (java) S 12521 12523 6422 0 -1 4202560 170 0 0 0 19 8 0 0 20 0 20 0 336858457 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639446428584 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12523/tid=12529] ppid=12521 vsize=3090984 CPUtime=0.46 cores=0,2,4,6
/proc/12523/task/12529/stat : 12529 (java) S 12521 12523 6422 0 -1 4202560 312 0 0 0 28 18 0 0 20 0 20 0 336858457 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639445376040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12523/tid=12530] ppid=12521 vsize=3090984 CPUtime=0.48 cores=0,2,4,6
/proc/12523/task/12530/stat : 12530 (java) S 12521 12523 6422 0 -1 4202560 338 0 0 0 32 16 0 0 20 0 20 0 336858457 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639444322472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12523/tid=12531] ppid=12521 vsize=3090984 CPUtime=0.3 cores=0,2,4,6
/proc/12523/task/12531/stat : 12531 (java) S 12521 12523 6422 0 -1 4202560 196 0 0 0 19 11 0 0 20 0 20 0 336858457 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639443269928 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12523/tid=12532] ppid=12521 vsize=3090984 CPUtime=0.26 cores=0,2,4,6
/proc/12523/task/12532/stat : 12532 (java) S 12521 12523 6422 0 -1 4202560 167 0 0 0 14 12 0 0 20 0 20 0 336858457 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639442217384 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12533] ppid=12521 vsize=3090984 CPUtime=0.39 cores=0,2,4,6
/proc/12523/task/12533/stat : 12533 (java) S 12521 12523 6422 0 -1 4202560 270 0 0 0 25 14 0 0 20 0 20 0 336858457 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639441164840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12523/tid=12534] ppid=12521 vsize=3090984 CPUtime=6.27 cores=0,2,4,6
/proc/12523/task/12534/stat : 12534 (java) R 12521 12523 6422 0 -1 4202560 207 0 0 0 622 5 0 0 20 0 20 0 336858458 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639428754184 139639589498112 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12523/tid=12535] ppid=12521 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12535/stat : 12535 (java) S 12521 12523 6422 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 336858459 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639427700344 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12536] ppid=12521 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12536/stat : 12536 (java) S 12521 12523 6422 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 336858459 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639426647688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12537] ppid=12521 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12537/stat : 12537 (java) S 12521 12523 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336858461 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639425596432 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12538] ppid=12521 vsize=3090984 CPUtime=0.43 cores=0,2,4,6
/proc/12523/task/12538/stat : 12538 (java) S 12521 12523 6422 0 -1 4202560 3624 0 0 0 42 1 0 0 20 0 20 0 336858461 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639424542776 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12523/tid=12539] ppid=12521 vsize=3090984 CPUtime=0.49 cores=0,2,4,6
/proc/12523/task/12539/stat : 12539 (java) S 12521 12523 6422 0 -1 4202560 2833 0 0 0 48 1 0 0 20 0 20 0 336858461 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639423490232 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12523/tid=12540] ppid=12521 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12540/stat : 12540 (java) S 12521 12523 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336858461 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639422437880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12523/tid=12541] ppid=12521 vsize=3090984 CPUtime=0.32 cores=0,2,4,6
/proc/12523/task/12541/stat : 12541 (java) S 12521 12523 6422 0 -1 4202560 85 0 0 0 16 16 0 0 20 0 20 0 336858461 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639421385544 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12523/tid=12542] ppid=12521 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12542/stat : 12542 (java) S 12521 12523 6422 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 336858743 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639419254056 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12523/tid=12744] ppid=12521 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12744/stat : 12744 (java) S 12521 12523 6422 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 337006620 3165167616 419712 33554432000 1073741824 1073778376 140735572049856 139639418199944 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1485.89
Current children cumulated vsize (KiB) 3090984
[startup+1483.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/216 12744
/proc/meminfo: memFree=25792988/32873844 swapFree=7620/7620
[pid=12523] ppid=12521 vsize=3090984 CPUtime=1486.29 cores=0,2,4,6
/proc/12523/stat : 12523 (java) S 12521 12523 6422 0 -1 4202496 13185 0 1 0 148497 132 0 0 20 0 20 0 336858456 3165167616 419714 33554432000 1073741824 1073778376 140735572049856 140735572040992 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12523/statm: 772746 419714 2301 9 0 763167 0
[pid=12523/tid=12525] ppid=12521 vsize=3090984 CPUtime=1471.81 cores=0,2,4,6
/proc/12523/task/12525/stat : 12525 (java) S 12521 12523 6422 0 -1 4202560 3354 0 1 0 147151 30 0 0 20 0 20 0 336858456 3165167616 419714 33554432000 1073741824 1073778376 140735572049856 139639582643384 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12523/tid=12526] ppid=12521 vsize=3090984 CPUtime=0.24 cores=0,2,4,6
/proc/12523/task/12526/stat : 12526 (java) S 12521 12523 6422 0 -1 4202560 160 0 0 0 15 9 0 0 20 0 20 0 336858457 3165167616 419714 33554432000 1073741824 1073778376 140735572049856 139639521372840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12527] ppid=12521 vsize=3090984 CPUtime=0.4 cores=0,2,4,6
/proc/12523/task/12527/stat : 12527 (java) S 12521 12523 6422 0 -1 4202560 268 0 0 0 24 16 0 0 20 0 20 0 336858457 3165167616 419714 33554432000 1073741824 1073778376 140735572049856 139639447481128 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12523/tid=12528] ppid=12521 vsize=3090984 CPUtime=0.27 cores=0,2,4,6
/proc/12523/task/12528/stat : 12528 (java) S 12521 12523 6422 0 -1 4202560 170 0 0 0 19 8 0 0 20 0 20 0 336858457 3165167616 419714 33554432000 1073741824 1073778376 140735572049856 139639446428584 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12523/tid=12529] ppid=12521 vsize=3090984 CPUtime=0.46 cores=0,2,4,6
/proc/12523/task/12529/stat : 12529 (java) S 12521 12523 6422 0 -1 4202560 312 0 0 0 28 18 0 0 20 0 20 0 336858457 3165167616 419714 33554432000 1073741824 1073778376 140735572049856 139639445376040 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12523/tid=12530] ppid=12521 vsize=3090984 CPUtime=0.48 cores=0,2,4,6
/proc/12523/task/12530/stat : 12530 (java) S 12521 12523 6422 0 -1 4202560 338 0 0 0 32 16 0 0 20 0 20 0 336858457 3165167616 419714 33554432000 1073741824 1073778376 140735572049856 139639444322472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12523/tid=12531] ppid=12521 vsize=3090984 CPUtime=0.3 cores=0,2,4,6
/proc/12523/task/12531/stat : 12531 (java) S 12521 12523 6422 0 -1 4202560 196 0 0 0 19 11 0 0 20 0 20 0 336858457 3165167616 419714 33554432000 1073741824 1073778376 140735572049856 139639443269928 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12523/tid=12532] ppid=12521 vsize=3090984 CPUtime=0.26 cores=0,2,4,6
/proc/12523/task/12532/stat : 12532 (java) S 12521 12523 6422 0 -1 4202560 167 0 0 0 14 12 0 0 20 0 20 0 336858457 3165167616 419714 33554432000 1073741824 1073778376 140735572049856 139639442217384 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12533] ppid=12521 vsize=3090984 CPUtime=0.39 cores=0,2,4,6
/proc/12523/task/12533/stat : 12533 (java) S 12521 12523 6422 0 -1 4202560 270 0 0 0 25 14 0 0 20 0 20 0 336858457 3165167616 419714 33554432000 1073741824 1073778376 140735572049856 139639441164840 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12523/tid=12534] ppid=12521 vsize=3090984 CPUtime=6.67 cores=0,2,4,6
/proc/12523/task/12534/stat : 12534 (java) R 12521 12523 6422 0 -1 4202560 209 0 0 0 662 5 0 0 20 0 20 0 336858458 3165167616 419714 33554432000 1073741824 1073778376 140735572049856 139639428754184 215124295964 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12523/tid=12535] ppid=12521 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12535/stat : 12535 (java) S 12521 12523 6422 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 336858459 3165167616 419714 33554432000 1073741824 1073778376 140735572049856 139639427700344 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12536] ppid=12521 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12536/stat : 12536 (java) S 12521 12523 6422 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 336858459 3165167616 419714 33554432000 1073741824 1073778376 140735572049856 139639426647688 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12537] ppid=12521 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12537/stat : 12537 (java) S 12521 12523 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336858461 3165167616 419714 33554432000 1073741824 1073778376 140735572049856 139639425596432 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12523/tid=12538] ppid=12521 vsize=3090984 CPUtime=0.43 cores=0,2,4,6
/proc/12523/task/12538/stat : 12538 (java) S 12521 12523 6422 0 -1 4202560 3624 0 0 0 42 1 0 0 20 0 20 0 336858461 3165167616 419714 33554432000 1073741824 1073778376 140735572049856 139639424542776 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12523/tid=12539] ppid=12521 vsize=3090984 CPUtime=0.49 cores=0,2,4,6
/proc/12523/task/12539/stat : 12539 (java) S 12521 12523 6422 0 -1 4202560 2833 0 0 0 48 1 0 0 20 0 20 0 336858461 3165167616 419714 33554432000 1073741824 1073778376 140735572049856 139639423490232 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12523/tid=12540] ppid=12521 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12540/stat : 12540 (java) S 12521 12523 6422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336858461 3165167616 419714 33554432000 1073741824 1073778376 140735572049856 139639422437880 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12523/tid=12541] ppid=12521 vsize=3090984 CPUtime=0.32 cores=0,2,4,6
/proc/12523/task/12541/stat : 12541 (java) S 12521 12523 6422 0 -1 4202560 85 0 0 0 16 16 0 0 20 0 20 0 336858461 3165167616 419714 33554432000 1073741824 1073778376 140735572049856 139639421385544 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12523/tid=12542] ppid=12521 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12542/stat : 12542 (java) S 12521 12523 6422 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 336858743 3165167616 419714 33554432000 1073741824 1073778376 140735572049856 139639419254056 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12523/tid=12744] ppid=12521 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/12523/task/12744/stat : 12744 (java) S 12521 12523 6422 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 337006620 3165167616 419714 33554432000 1073741824 1073778376 140735572049856 139639418199864 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1486.29
Current children cumulated vsize (KiB) 3090984
Child status: 1
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12523 and gives
# childrusage.ru_utime.tv_sec=1481
# childrusage.ru_utime.tv_usec=95839
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=701741
# CPU time returned by wait4() is 1482.8
# while last known CPU time is 1486.29
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1483.14
CPU time (s): 1486.29
CPU user time (s): 1484.97
CPU system time (s): 1.32
CPU usage (%): 100.213
Max. virtual memory (cumulated for all children) (KiB): 3090984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1481.1
system time used= 1.70174
maximum resident set size= 1678860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13190
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31680
involuntary context switches= 2838
runsolver used 6.85696 second user time and 15.9136 second system time
The end