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-3455082-1307188821/watcher-3455082-1307188821 -o /tmp/evaluation-result-3455082-1307188821/solver-3455082-1307188821 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455082-1307188821.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: 4.00 3.72 3.45 3/421 12323
/proc/meminfo: memFree=28655456/32950904 swapFree=56615552/67111528
[pid=12323] ppid=12321 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/12323/stat : 12323 (java) S 12321 12323 8078 0 -1 4202496 2761 0 1 0 0 0 0 0 25 0 2 0 830481880 10681323520 2462 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/12323/statm: 2607745 2475 906 9 0 2598901 0
[pid=12323/tid=12324] ppid=12321 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/12323/task/12324/stat : 12324 (java) R 12321 12323 8078 0 -1 4202560 5112 0 1 0 0 0 0 0 25 0 2 0 830481881 10694979584 5929 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.0277121 s]
/proc/loadavg: 4.00 3.72 3.45 3/421 12323
/proc/meminfo: memFree=28655456/32950904 swapFree=56615552/67111528
[pid=12323] ppid=12321 vsize=10455012 CPUtime=0.01 cores=0,2,4,6
/proc/12323/stat : 12323 (java) S 12321 12323 8078 0 -1 4202496 10759 0 1 0 0 1 0 0 25 0 10 0 830481880 10705932288 10457 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/12323/statm: 2613753 10457 1515 9 0 2604501 0
[pid=12323/tid=12324] ppid=12321 vsize=10455012 CPUtime=0.01 cores=0,2,4,6
/proc/12323/task/12324/stat : 12324 (java) R 12321 12323 8078 0 -1 4202560 9636 0 1 0 0 1 0 0 25 0 10 0 830481881 10705932288 10458 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 47363468987491 0 4 0 16784584 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10455012
[startup+0.108696 s]
/proc/loadavg: 4.00 3.72 3.45 3/421 12323
/proc/meminfo: memFree=28655456/32950904 swapFree=56615552/67111528
[pid=12323] ppid=12321 vsize=10540248 CPUtime=0.11 cores=0,2,4,6
/proc/12323/stat : 12323 (java) S 12321 12323 8078 0 -1 4202496 13272 0 1 0 10 1 0 0 25 0 18 0 830481880 10793213952 12941 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12323/statm: 2635062 12942 2123 9 0 2625796 0
[pid=12323/tid=12324] ppid=12321 vsize=10540248 CPUtime=0.09 cores=0,2,4,6
/proc/12323/task/12324/stat : 12324 (java) R 12321 12323 8078 0 -1 4202560 11275 0 1 0 8 1 0 0 18 0 18 0 830481881 10793213952 12942 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 47363469327187 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540248
[startup+0.309612 s]
/proc/loadavg: 4.00 3.72 3.45 3/421 12323
/proc/meminfo: memFree=28655456/32950904 swapFree=56615552/67111528
[pid=12323] ppid=12321 vsize=10547508 CPUtime=0.59 cores=0,2,4,6
/proc/12323/stat : 12323 (java) S 12321 12323 8078 0 -1 4202496 16603 0 1 0 57 2 0 0 25 0 22 0 830481880 10800648192 15662 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12323/statm: 2636877 15662 2218 9 0 2627611 0
[pid=12323/tid=12324] ppid=12321 vsize=10547508 CPUtime=0.23 cores=0,2,4,6
/proc/12323/task/12324/stat : 12324 (java) S 12321 12323 8078 0 -1 4202560 12384 0 1 0 22 1 0 0 19 0 22 0 830481881 10800648192 15662 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290696192 0 4 0 16800975 18446604448840470656 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 10547508
[startup+0.700612 s]
/proc/loadavg: 4.00 3.72 3.45 3/421 12323
/proc/meminfo: memFree=28655456/32950904 swapFree=56615552/67111528
[pid=12323] ppid=12321 vsize=10547508 CPUtime=0.63 cores=0,2,4,6
/proc/12323/stat : 12323 (java) S 12321 12323 8078 0 -1 4202496 16640 0 1 0 61 2 0 0 25 0 19 0 830481880 10800648192 15699 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12323/statm: 2636877 15699 2220 9 0 2627611 0
[pid=12323/tid=12324] ppid=12321 vsize=10547508 CPUtime=0.23 cores=0,2,4,6
/proc/12323/task/12324/stat : 12324 (java) S 12321 12323 8078 0 -1 4202560 12384 0 1 0 22 1 0 0 19 0 19 0 830481881 10800648192 15699 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290696192 0 4 0 16800975 18446604448840470656 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 10547508
Solver just ended. Dumping a history of the last processes samples
[startup+1.11547 s]
/proc/loadavg: 4.00 3.72 3.45 3/440 12348
/proc/meminfo: memFree=28597604/32950904 swapFree=56615552/67111528
[pid=12323] ppid=12321 vsize=10550508 CPUtime=0.74 cores=0,2,4,6
/proc/12323/stat : 12323 (java) S 12321 12323 8078 0 -1 4202496 18345 0 1 0 72 2 0 0 25 0 19 0 830481880 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12323/statm: 2637627 16526 2224 9 0 2628361 0
[pid=12323/tid=12324] ppid=12321 vsize=10550508 CPUtime=0.24 cores=0,2,4,6
/proc/12323/task/12324/stat : 12324 (java) S 12321 12323 8078 0 -1 4202560 12446 0 1 0 23 1 0 0 17 0 19 0 830481881 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290696192 0 4 0 16800975 18446604448840470656 0 0 -1 6 0 0 0
[pid=12323/tid=12326] ppid=12321 vsize=10550508 CPUtime=0 cores=0,2,4,6
/proc/12323/task/12326/stat : 12326 (java) S 12321 12323 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830481883 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290695577 0 4 0 16800975 18446604448840470656 0 0 -1 4 0 0 0
[pid=12323/tid=12327] ppid=12321 vsize=10550508 CPUtime=0 cores=0,2,4,6
/proc/12323/task/12327/stat : 12327 (java) S 12321 12323 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830481883 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290695577 0 4 0 16800975 18446604448840470656 0 0 -1 4 0 0 0
[pid=12323/tid=12328] ppid=12321 vsize=10550508 CPUtime=0 cores=0,2,4,6
/proc/12323/task/12328/stat : 12328 (java) S 12321 12323 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830481883 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290695577 0 4 0 16800975 18446604448840470656 0 0 -1 4 0 0 0
[pid=12323/tid=12329] ppid=12321 vsize=10550508 CPUtime=0 cores=0,2,4,6
/proc/12323/task/12329/stat : 12329 (java) S 12321 12323 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830481883 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290695577 0 4 0 16800975 18446604448840470656 0 0 -1 4 0 0 0
[pid=12323/tid=12330] ppid=12321 vsize=10550508 CPUtime=0 cores=0,2,4,6
/proc/12323/task/12330/stat : 12330 (java) S 12321 12323 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830481883 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290695577 0 4 0 16800975 18446604448840470656 0 0 -1 4 0 0 0
[pid=12323/tid=12331] ppid=12321 vsize=10550508 CPUtime=0 cores=0,2,4,6
/proc/12323/task/12331/stat : 12331 (java) S 12321 12323 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830481883 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290695577 0 4 0 16800975 18446604448840470656 0 0 -1 4 0 0 0
[pid=12323/tid=12332] ppid=12321 vsize=10550508 CPUtime=0 cores=0,2,4,6
/proc/12323/task/12332/stat : 12332 (java) S 12321 12323 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830481883 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290695577 0 4 0 16800975 18446604448840470656 0 0 -1 4 0 0 0
[pid=12323/tid=12333] ppid=12321 vsize=10550508 CPUtime=0 cores=0,2,4,6
/proc/12323/task/12333/stat : 12333 (java) S 12321 12323 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830481883 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290695577 0 4 0 16800975 18446604448840470656 0 0 -1 4 0 0 0
[pid=12323/tid=12334] ppid=12321 vsize=10550508 CPUtime=0 cores=0,2,4,6
/proc/12323/task/12334/stat : 12334 (java) S 12321 12323 8078 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830481884 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290696192 0 0 0 16800975 18446604448840470656 0 0 -1 0 0 0 0
[pid=12323/tid=12335] ppid=12321 vsize=10550508 CPUtime=0 cores=0,2,4,6
/proc/12323/task/12335/stat : 12335 (java) S 12321 12323 8078 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830481884 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290695577 0 4 0 16800975 18446604448840470656 0 0 -1 0 0 0 0
[pid=12323/tid=12336] ppid=12321 vsize=10550508 CPUtime=0 cores=0,2,4,6
/proc/12323/task/12336/stat : 12336 (java) S 12321 12323 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830481884 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290695577 0 4 0 16800975 18446604448840470656 0 0 -1 0 0 0 0
[pid=12323/tid=12337] ppid=12321 vsize=10550508 CPUtime=0 cores=0,2,4,6
/proc/12323/task/12337/stat : 12337 (java) S 12321 12323 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830481886 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290703281 0 4 0 16800975 18446604448840470656 0 0 -1 6 0 0 0
[pid=12323/tid=12338] ppid=12321 vsize=10550508 CPUtime=0.18 cores=0,2,4,6
/proc/12323/task/12338/stat : 12338 (java) S 12321 12323 8078 0 -1 4202560 1340 0 0 0 18 0 0 0 15 0 19 0 830481886 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290695577 0 4 0 16800975 18446604448840470656 0 0 -1 0 0 0 0
[pid=12323/tid=12339] ppid=12321 vsize=10550508 CPUtime=0.18 cores=0,2,4,6
/proc/12323/task/12339/stat : 12339 (java) S 12321 12323 8078 0 -1 4202560 3041 0 0 0 18 0 0 0 16 0 19 0 830481886 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290695577 0 4 0 16800975 18446604448840470656 0 0 -1 2 0 0 0
[pid=12323/tid=12340] ppid=12321 vsize=10550508 CPUtime=0 cores=0,2,4,6
/proc/12323/task/12340/stat : 12340 (java) S 12321 12323 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830481886 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290695577 0 4 0 16800975 18446604448840470656 0 0 -1 6 0 0 0
[pid=12323/tid=12341] ppid=12321 vsize=10550508 CPUtime=0 cores=0,2,4,6
/proc/12323/task/12341/stat : 12341 (java) S 12321 12323 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830481886 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290696192 0 4 0 16800975 18446604448840470656 0 0 -1 6 0 0 0
[pid=12323/tid=12345] ppid=12321 vsize=10550508 CPUtime=0 cores=0,2,4,6
/proc/12323/task/12345/stat : 12345 (java) S 12321 12323 8078 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 830481907 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290696192 0 4 0 16800975 18446604448840470656 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 10550508
[startup+1.20145 s]
/proc/loadavg: 4.00 3.72 3.45 3/440 12348
/proc/meminfo: memFree=28597604/32950904 swapFree=56615552/67111528
[pid=12323] ppid=12321 vsize=10550508 CPUtime=0.74 cores=0,2,4,6
/proc/12323/stat : 12323 (java) S 12321 12323 8078 0 -1 4202496 18345 0 1 0 72 2 0 0 25 0 19 0 830481880 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12323/statm: 2637627 16526 2224 9 0 2628361 0
[pid=12323/tid=12324] ppid=12321 vsize=10550508 CPUtime=0.24 cores=0,2,4,6
/proc/12323/task/12324/stat : 12324 (java) S 12321 12323 8078 0 -1 4202560 12446 0 1 0 23 1 0 0 17 0 19 0 830481881 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290696192 0 4 0 16800975 18446604448840470656 0 0 -1 6 0 0 0
[pid=12323/tid=12326] ppid=12321 vsize=10550508 CPUtime=0 cores=0,2,4,6
/proc/12323/task/12326/stat : 12326 (java) S 12321 12323 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830481883 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290695577 0 4 0 16800975 18446604448840470656 0 0 -1 4 0 0 0
[pid=12323/tid=12327] ppid=12321 vsize=10550508 CPUtime=0 cores=0,2,4,6
/proc/12323/task/12327/stat : 12327 (java) S 12321 12323 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830481883 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290695577 0 4 0 16800975 18446604448840470656 0 0 -1 4 0 0 0
[pid=12323/tid=12328] ppid=12321 vsize=10550508 CPUtime=0 cores=0,2,4,6
/proc/12323/task/12328/stat : 12328 (java) S 12321 12323 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830481883 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290695577 0 4 0 16800975 18446604448840470656 0 0 -1 4 0 0 0
[pid=12323/tid=12329] ppid=12321 vsize=10550508 CPUtime=0 cores=0,2,4,6
/proc/12323/task/12329/stat : 12329 (java) S 12321 12323 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830481883 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290695577 0 4 0 16800975 18446604448840470656 0 0 -1 4 0 0 0
[pid=12323/tid=12330] ppid=12321 vsize=10550508 CPUtime=0 cores=0,2,4,6
/proc/12323/task/12330/stat : 12330 (java) S 12321 12323 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830481883 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290695577 0 4 0 16800975 18446604448840470656 0 0 -1 4 0 0 0
[pid=12323/tid=12331] ppid=12321 vsize=10550508 CPUtime=0 cores=0,2,4,6
/proc/12323/task/12331/stat : 12331 (java) S 12321 12323 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830481883 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290695577 0 4 0 16800975 18446604448840470656 0 0 -1 4 0 0 0
[pid=12323/tid=12332] ppid=12321 vsize=10550508 CPUtime=0 cores=0,2,4,6
/proc/12323/task/12332/stat : 12332 (java) S 12321 12323 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830481883 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290695577 0 4 0 16800975 18446604448840470656 0 0 -1 4 0 0 0
[pid=12323/tid=12333] ppid=12321 vsize=10550508 CPUtime=0 cores=0,2,4,6
/proc/12323/task/12333/stat : 12333 (java) S 12321 12323 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830481883 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290695577 0 4 0 16800975 18446604448840470656 0 0 -1 4 0 0 0
[pid=12323/tid=12334] ppid=12321 vsize=10550508 CPUtime=0 cores=0,2,4,6
/proc/12323/task/12334/stat : 12334 (java) S 12321 12323 8078 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830481884 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290696192 0 0 0 16800975 18446604448840470656 0 0 -1 0 0 0 0
[pid=12323/tid=12335] ppid=12321 vsize=10550508 CPUtime=0 cores=0,2,4,6
/proc/12323/task/12335/stat : 12335 (java) S 12321 12323 8078 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830481884 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290695577 0 4 0 16800975 18446604448840470656 0 0 -1 0 0 0 0
[pid=12323/tid=12336] ppid=12321 vsize=10550508 CPUtime=0 cores=0,2,4,6
/proc/12323/task/12336/stat : 12336 (java) S 12321 12323 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830481884 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290695577 0 4 0 16800975 18446604448840470656 0 0 -1 0 0 0 0
[pid=12323/tid=12337] ppid=12321 vsize=10550508 CPUtime=0 cores=0,2,4,6
/proc/12323/task/12337/stat : 12337 (java) S 12321 12323 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830481886 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290703281 0 4 0 16800975 18446604448840470656 0 0 -1 6 0 0 0
[pid=12323/tid=12338] ppid=12321 vsize=10550508 CPUtime=0.18 cores=0,2,4,6
/proc/12323/task/12338/stat : 12338 (java) S 12321 12323 8078 0 -1 4202560 1340 0 0 0 18 0 0 0 15 0 19 0 830481886 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290695577 0 4 0 16800975 18446604448840470656 0 0 -1 0 0 0 0
[pid=12323/tid=12339] ppid=12321 vsize=10550508 CPUtime=0.18 cores=0,2,4,6
/proc/12323/task/12339/stat : 12339 (java) S 12321 12323 8078 0 -1 4202560 3041 0 0 0 18 0 0 0 16 0 19 0 830481886 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290695577 0 4 0 16800975 18446604448840470656 0 0 -1 2 0 0 0
[pid=12323/tid=12340] ppid=12321 vsize=10550508 CPUtime=0 cores=0,2,4,6
/proc/12323/task/12340/stat : 12340 (java) S 12321 12323 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830481886 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290695577 0 4 0 16800975 18446604448840470656 0 0 -1 6 0 0 0
[pid=12323/tid=12341] ppid=12321 vsize=10550508 CPUtime=0 cores=0,2,4,6
/proc/12323/task/12341/stat : 12341 (java) S 12321 12323 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830481886 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290696192 0 4 0 16800975 18446604448840470656 0 0 -1 6 0 0 0
[pid=12323/tid=12345] ppid=12321 vsize=10550508 CPUtime=0 cores=0,2,4,6
/proc/12323/task/12345/stat : 12345 (java) S 12321 12323 8078 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 830481907 10803720192 16526 33554432000 1073741824 1073778376 140736410141792 18446744073709551615 237290696192 0 4 0 16800975 18446604448840470656 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 10550508
Child status: 30
Real time (s): 1.27535
CPU time (s): 0.760884
CPU user time (s): 0.728889
CPU system time (s): 0.031995
CPU usage (%): 59.6608
Max. virtual memory (cumulated for all children) (KiB): 10551088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.728889
system time used= 0.031995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18367
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= 207
involuntary context switches= 19
runsolver used 0.007998 second user time and 0.021996 second system time
The end