runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3459323-1307136235/watcher-3459323-1307136235 -o /tmp/evaluation-result-3459323-1307136235/solver-3459323-1307136235 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459323-1307136235.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.27 2.07 2.09 2/418 4580
/proc/meminfo: memFree=30024180/32950904 swapFree=56615552/67111528
[pid=4580] ppid=4578 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/4580/stat : 4580 (java) S 4578 4580 31595 0 -1 4202496 2596 0 1 0 0 0 0 0 25 0 2 0 825223234 13833195520 2298 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/4580/statm: 3377245 2310 906 9 0 3368401 0
[pid=4580/tid=4581] ppid=4578 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/4580/task/4581/stat : 4581 (java) R 4578 4580 31595 0 -1 4202560 5226 0 1 0 0 0 0 0 25 0 2 0 825223235 13850947584 6043 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.073469 s]
/proc/loadavg: 2.27 2.07 2.09 2/418 4580
/proc/meminfo: memFree=30024180/32950904 swapFree=56615552/67111528
[pid=4580] ppid=4578 vsize=13555088 CPUtime=0.07 cores=0,2,4,6
/proc/4580/stat : 4580 (java) S 4578 4580 31595 0 -1 4202496 14384 0 1 0 6 1 0 0 25 0 18 0 825223234 13880410112 14081 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4580/statm: 3388772 14081 1754 9 0 3379506 0
[pid=4580/tid=4581] ppid=4578 vsize=13555088 CPUtime=0.05 cores=0,2,4,6
/proc/4580/task/4581/stat : 4581 (java) R 4578 4580 31595 0 -1 4202560 13210 0 1 0 5 0 0 0 25 0 18 0 825223235 13880410112 14082 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290708347 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13555088
[startup+0.100461 s]
/proc/loadavg: 2.27 2.07 2.09 2/418 4580
/proc/meminfo: memFree=30024180/32950904 swapFree=56615552/67111528
[pid=4580] ppid=4578 vsize=13622284 CPUtime=0.1 cores=0,2,4,6
/proc/4580/stat : 4580 (java) S 4578 4580 31595 0 -1 4202496 15585 0 1 0 9 1 0 0 25 0 18 0 825223234 13949218816 15282 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4580/statm: 3405571 15282 2093 9 0 3396305 0
[pid=4580/tid=4581] ppid=4578 vsize=13622284 CPUtime=0.09 cores=0,2,4,6
/proc/4580/task/4581/stat : 4581 (java) R 4578 4580 31595 0 -1 4202560 13661 0 1 0 8 1 0 0 25 0 18 0 825223235 13949218816 15283 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290706379 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622284
[startup+0.300426 s]
/proc/loadavg: 2.27 2.07 2.09 2/418 4580
/proc/meminfo: memFree=30024180/32950904 swapFree=56615552/67111528
[pid=4580] ppid=4578 vsize=13627448 CPUtime=0.53 cores=0,2,4,6
/proc/4580/stat : 4580 (java) S 4578 4580 31595 0 -1 4202496 18260 0 1 0 52 1 0 0 25 0 19 0 825223234 13954506752 17377 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4580/statm: 3406862 17378 2216 9 0 3397596 0
[pid=4580/tid=4581] ppid=4578 vsize=13627448 CPUtime=0.29 cores=0,2,4,6
/proc/4580/task/4581/stat : 4581 (java) R 4578 4580 31595 0 -1 4202560 14325 0 1 0 28 1 0 0 25 0 19 0 825223235 13954506752 17378 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 46912505580759 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 13627448
[startup+0.700401 s]
/proc/loadavg: 2.27 2.07 2.09 2/418 4580
/proc/meminfo: memFree=30024180/32950904 swapFree=56615552/67111528
[pid=4580] ppid=4578 vsize=13627448 CPUtime=1 cores=0,2,4,6
/proc/4580/stat : 4580 (java) S 4578 4580 31595 0 -1 4202496 19474 0 1 0 99 1 0 0 25 0 19 0 825223234 13954506752 18587 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4580/statm: 3406862 18587 2248 9 0 3397596 0
[pid=4580/tid=4581] ppid=4578 vsize=13627448 CPUtime=0.67 cores=0,2,4,6
/proc/4580/task/4581/stat : 4581 (java) R 4578 4580 31595 0 -1 4202560 14817 0 1 0 66 1 0 0 25 0 19 0 825223235 13954506752 18587 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 46912505615276 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 13627448
[startup+1.50134 s]
/proc/loadavg: 2.27 2.07 2.09 5/437 4599
/proc/meminfo: memFree=29957872/32950904 swapFree=56615552/67111528
[pid=4580] ppid=4578 vsize=13627448 CPUtime=1.85 cores=0,2,4,6
/proc/4580/stat : 4580 (java) S 4578 4580 31595 0 -1 4202496 20340 0 1 0 183 2 0 0 25 0 19 0 825223234 13954506752 19452 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4580/statm: 3406862 19452 2248 9 0 3397596 0
[pid=4580/tid=4581] ppid=4578 vsize=13627448 CPUtime=1.46 cores=0,2,4,6
/proc/4580/task/4581/stat : 4581 (java) R 4578 4580 31595 0 -1 4202560 14818 0 1 0 145 1 0 0 25 0 19 0 825223235 13954506752 19452 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 46912505655840 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4580/tid=4583] ppid=4578 vsize=13627448 CPUtime=0 cores=0,2,4,6
/proc/4580/task/4583/stat : 4583 (java) S 4578 4580 31595 0 -1 4202560 364 0 0 0 0 0 0 0 16 0 19 0 825223237 13954506752 19452 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290695577 0 4 0 16800975 18446604445658874944 0 0 -1 2 0 0 0
[pid=4580/tid=4584] ppid=4578 vsize=13627448 CPUtime=0 cores=0,2,4,6
/proc/4580/task/4584/stat : 4584 (java) S 4578 4580 31595 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 825223237 13954506752 19452 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290695577 0 4 0 16800975 18446604445658874944 0 0 -1 2 0 0 0
[pid=4580/tid=4585] ppid=4578 vsize=13627448 CPUtime=0 cores=0,2,4,6
/proc/4580/task/4585/stat : 4585 (java) S 4578 4580 31595 0 -1 4202560 241 0 0 0 0 0 0 0 16 0 19 0 825223237 13954506752 19452 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290695577 0 4 0 16800975 18446604445658874944 0 0 -1 0 0 0 0
[pid=4580/tid=4586] ppid=4578 vsize=13627448 CPUtime=0 cores=0,2,4,6
/proc/4580/task/4586/stat : 4586 (java) S 4578 4580 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825223237 13954506752 19452 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290695577 0 4 0 16800975 18446604445658874944 0 0 -1 2 0 0 0
[pid=4580/tid=4587] ppid=4578 vsize=13627448 CPUtime=0 cores=0,2,4,6
/proc/4580/task/4587/stat : 4587 (java) S 4578 4580 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825223237 13954506752 19452 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290695577 0 4 0 16800975 18446604445658874944 0 0 -1 2 0 0 0
[pid=4580/tid=4588] ppid=4578 vsize=13627448 CPUtime=0 cores=0,2,4,6
/proc/4580/task/4588/stat : 4588 (java) S 4578 4580 31595 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 825223237 13954506752 19452 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290695577 0 4 0 16800975 18446604445658874944 0 0 -1 0 0 0 0
[pid=4580/tid=4589] ppid=4578 vsize=13627448 CPUtime=0 cores=0,2,4,6
/proc/4580/task/4589/stat : 4589 (java) S 4578 4580 31595 0 -1 4202560 165 0 0 0 0 0 0 0 15 0 19 0 825223237 13954506752 19452 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290695577 0 4 0 16800975 18446604445658874944 0 0 -1 0 0 0 0
[pid=4580/tid=4590] ppid=4578 vsize=13627448 CPUtime=0 cores=0,2,4,6
/proc/4580/task/4590/stat : 4590 (java) S 4578 4580 31595 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 825223237 13954506752 19452 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290695577 0 4 0 16800975 18446604445658874944 0 0 -1 2 0 0 0
[pid=4580/tid=4591] ppid=4578 vsize=13627448 CPUtime=0.02 cores=0,2,4,6
/proc/4580/task/4591/stat : 4591 (java) S 4578 4580 31595 0 -1 4202560 608 0 0 0 2 0 0 0 15 0 19 0 825223238 13954506752 19452 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290696192 0 0 0 16800975 18446604445658874944 0 0 -1 6 0 0 0
[pid=4580/tid=4592] ppid=4578 vsize=13627448 CPUtime=0 cores=0,2,4,6
/proc/4580/task/4592/stat : 4592 (java) S 4578 4580 31595 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 825223238 13954506752 19452 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290695577 0 4 0 16800975 18446604445658874944 0 0 -1 6 0 0 0
[pid=4580/tid=4593] ppid=4578 vsize=13627448 CPUtime=0 cores=0,2,4,6
/proc/4580/task/4593/stat : 4593 (java) S 4578 4580 31595 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 825223238 13954506752 19452 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290695577 0 4 0 16800975 18446604445658874944 0 0 -1 6 0 0 0
[pid=4580/tid=4594] ppid=4578 vsize=13627448 CPUtime=0 cores=0,2,4,6
/proc/4580/task/4594/stat : 4594 (java) S 4578 4580 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825223240 13954506752 19452 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290703281 0 4 0 16800975 18446604445658874944 0 0 -1 6 0 0 0
[pid=4580/tid=4595] ppid=4578 vsize=13627448 CPUtime=0.2 cores=0,2,4,6
/proc/4580/task/4595/stat : 4595 (java) S 4578 4580 31595 0 -1 4202560 1698 0 0 0 20 0 0 0 18 0 19 0 825223240 13954506752 19452 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290695577 0 4 0 16800975 18446604445658874944 0 0 -1 2 0 0 0
[pid=4580/tid=4596] ppid=4578 vsize=13627448 CPUtime=0.14 cores=0,2,4,6
/proc/4580/task/4596/stat : 4596 (java) S 4578 4580 31595 0 -1 4202560 1110 0 0 0 14 0 0 0 19 0 19 0 825223240 13954506752 19452 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290695577 0 4 0 16800975 18446604445658874944 0 0 -1 6 0 0 0
[pid=4580/tid=4597] ppid=4578 vsize=13627448 CPUtime=0 cores=0,2,4,6
/proc/4580/task/4597/stat : 4597 (java) S 4578 4580 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825223240 13954506752 19452 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290695577 0 4 0 16800975 18446604445658874944 0 0 -1 6 0 0 0
[pid=4580/tid=4598] ppid=4578 vsize=13627448 CPUtime=0 cores=0,2,4,6
/proc/4580/task/4598/stat : 4598 (java) S 4578 4580 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825223240 13954506752 19452 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290696192 0 4 0 16800975 18446604445658874944 0 0 -1 2 0 0 0
[pid=4580/tid=4599] ppid=4578 vsize=13627448 CPUtime=0 cores=0,2,4,6
/proc/4580/task/4599/stat : 4599 (java) S 4578 4580 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825223253 13954506752 19452 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290696192 0 4 0 16800975 18446604445658874944 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 13627448
Solver just ended. Dumping a history of the last processes samples
[startup+1.90122 s]
/proc/loadavg: 2.27 2.07 2.09 5/437 4599
/proc/meminfo: memFree=29957872/32950904 swapFree=56615552/67111528
[pid=4580] ppid=4578 vsize=13627448 CPUtime=2.25 cores=0,2,4,6
/proc/4580/stat : 4580 (java) S 4578 4580 31595 0 -1 4202496 20761 0 1 0 223 2 0 0 25 0 19 0 825223234 13954506752 19872 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4580/statm: 3406862 19872 2248 9 0 3397596 0
[pid=4580/tid=4581] ppid=4578 vsize=13627448 CPUtime=1.84 cores=0,2,4,6
/proc/4580/task/4581/stat : 4581 (java) R 4578 4580 31595 0 -1 4202560 14818 0 1 0 183 1 0 0 25 0 19 0 825223235 13954506752 19872 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 46912505655840 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4580/tid=4583] ppid=4578 vsize=13627448 CPUtime=0 cores=0,2,4,6
/proc/4580/task/4583/stat : 4583 (java) S 4578 4580 31595 0 -1 4202560 497 0 0 0 0 0 0 0 15 0 19 0 825223237 13954506752 19872 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290695577 0 4 0 16800975 18446604445658874944 0 0 -1 2 0 0 0
[pid=4580/tid=4584] ppid=4578 vsize=13627448 CPUtime=0 cores=0,2,4,6
/proc/4580/task/4584/stat : 4584 (java) S 4578 4580 31595 0 -1 4202560 130 0 0 0 0 0 0 0 15 0 19 0 825223237 13954506752 19872 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290695577 0 4 0 16800975 18446604445658874944 0 0 -1 2 0 0 0
[pid=4580/tid=4585] ppid=4578 vsize=13627448 CPUtime=0 cores=0,2,4,6
/proc/4580/task/4585/stat : 4585 (java) S 4578 4580 31595 0 -1 4202560 241 0 0 0 0 0 0 0 15 0 19 0 825223237 13954506752 19872 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290695577 0 4 0 16800975 18446604445658874944 0 0 -1 2 0 0 0
[pid=4580/tid=4586] ppid=4578 vsize=13627448 CPUtime=0 cores=0,2,4,6
/proc/4580/task/4586/stat : 4586 (java) S 4578 4580 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825223237 13954506752 19872 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290695577 0 4 0 16800975 18446604445658874944 0 0 -1 2 0 0 0
[pid=4580/tid=4587] ppid=4578 vsize=13627448 CPUtime=0 cores=0,2,4,6
/proc/4580/task/4587/stat : 4587 (java) S 4578 4580 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825223237 13954506752 19872 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290695577 0 4 0 16800975 18446604445658874944 0 0 -1 2 0 0 0
[pid=4580/tid=4588] ppid=4578 vsize=13627448 CPUtime=0 cores=0,2,4,6
/proc/4580/task/4588/stat : 4588 (java) S 4578 4580 31595 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 825223237 13954506752 19872 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290695577 0 4 0 16800975 18446604445658874944 0 0 -1 0 0 0 0
[pid=4580/tid=4589] ppid=4578 vsize=13627448 CPUtime=0 cores=0,2,4,6
/proc/4580/task/4589/stat : 4589 (java) S 4578 4580 31595 0 -1 4202560 165 0 0 0 0 0 0 0 15 0 19 0 825223237 13954506752 19872 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290695577 0 4 0 16800975 18446604445658874944 0 0 -1 0 0 0 0
[pid=4580/tid=4590] ppid=4578 vsize=13627448 CPUtime=0 cores=0,2,4,6
/proc/4580/task/4590/stat : 4590 (java) S 4578 4580 31595 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 825223237 13954506752 19872 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290695577 0 4 0 16800975 18446604445658874944 0 0 -1 2 0 0 0
[pid=4580/tid=4591] ppid=4578 vsize=13627448 CPUtime=0.03 cores=0,2,4,6
/proc/4580/task/4591/stat : 4591 (java) S 4578 4580 31595 0 -1 4202560 764 0 0 0 3 0 0 0 15 0 19 0 825223238 13954506752 19872 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290696192 0 0 0 16800975 18446604445658874944 0 0 -1 0 0 0 0
[pid=4580/tid=4592] ppid=4578 vsize=13627448 CPUtime=0 cores=0,2,4,6
/proc/4580/task/4592/stat : 4592 (java) S 4578 4580 31595 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 825223238 13954506752 19872 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290695577 0 4 0 16800975 18446604445658874944 0 0 -1 6 0 0 0
[pid=4580/tid=4593] ppid=4578 vsize=13627448 CPUtime=0 cores=0,2,4,6
/proc/4580/task/4593/stat : 4593 (java) S 4578 4580 31595 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 825223238 13954506752 19872 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290695577 0 4 0 16800975 18446604445658874944 0 0 -1 6 0 0 0
[pid=4580/tid=4594] ppid=4578 vsize=13627448 CPUtime=0 cores=0,2,4,6
/proc/4580/task/4594/stat : 4594 (java) S 4578 4580 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825223240 13954506752 19872 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290703281 0 4 0 16800975 18446604445658874944 0 0 -1 6 0 0 0
[pid=4580/tid=4595] ppid=4578 vsize=13627448 CPUtime=0.2 cores=0,2,4,6
/proc/4580/task/4595/stat : 4595 (java) S 4578 4580 31595 0 -1 4202560 1698 0 0 0 20 0 0 0 15 0 19 0 825223240 13954506752 19872 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290695577 0 4 0 16800975 18446604445658874944 0 0 -1 2 0 0 0
[pid=4580/tid=4596] ppid=4578 vsize=13627448 CPUtime=0.15 cores=0,2,4,6
/proc/4580/task/4596/stat : 4596 (java) S 4578 4580 31595 0 -1 4202560 1113 0 0 0 15 0 0 0 15 0 19 0 825223240 13954506752 19872 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290695577 0 4 0 16800975 18446604445658874944 0 0 -1 6 0 0 0
[pid=4580/tid=4597] ppid=4578 vsize=13627448 CPUtime=0 cores=0,2,4,6
/proc/4580/task/4597/stat : 4597 (java) S 4578 4580 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825223240 13954506752 19872 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290695577 0 4 0 16800975 18446604445658874944 0 0 -1 6 0 0 0
[pid=4580/tid=4598] ppid=4578 vsize=13627448 CPUtime=0 cores=0,2,4,6
/proc/4580/task/4598/stat : 4598 (java) S 4578 4580 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825223240 13954506752 19872 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290696192 0 4 0 16800975 18446604445658874944 0 0 -1 2 0 0 0
[pid=4580/tid=4599] ppid=4578 vsize=13627448 CPUtime=0 cores=0,2,4,6
/proc/4580/task/4599/stat : 4599 (java) S 4578 4580 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825223253 13954506752 19872 33554432000 1073741824 1073778376 140736591666512 18446744073709551615 237290696192 0 4 0 16800975 18446604445658874944 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 13627448
Child status: 10
Real time (s): 1.94429
CPU time (s): 2.30965
CPU user time (s): 2.28165
CPU system time (s): 0.027995
CPU usage (%): 118.792
Max. virtual memory (cumulated for all children) (KiB): 13627448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.28165
system time used= 0.027995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20796
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= 275
involuntary context switches= 48
runsolver used 0.005999 second user time and 0.024996 second system time
The end