runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4245655-1500702540/watcher-4245655-1500702540 -o /tmp/evaluation-result-4245655-1500702540/solver-4245655-1500702540 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1500683185-8691 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1419128744 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4245655-1500702540.xml
pid=13539
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.68 1.63 1.76 3/261 13542
/proc/meminfo: memFree=31635540/32770624 swapFree=5896/110044
[pid=13542] ppid=13539 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13542/stat : 13542 (java) S 13539 13542 8659 0 -1 1077944320 1984 0 0 0 0 0 0 0 20 0 2 0 5522423 10889764864 2234 33554432000 4194304 4196468 140728702064656 140728702047200 140343181876983 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
/proc/13542/statm: 2658634 2234 1188 1 0 2647545 0
[pid=13542/tid=13543] ppid=13539 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13543/stat : 13543 (java) R 13539 13542 8659 0 -1 4202560 768 0 0 0 0 0 0 0 20 0 2 0 5522424 10889764864 2300 33554432000 4194304 4196468 140728702064656 140343186119072 140343174166432 0 4 0 16784584 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[startup+0.100101 s]
/proc/loadavg: 1.68 1.63 1.76 3/261 13542
/proc/meminfo: memFree=31635540/32770624 swapFree=5896/110044
[pid=13542] ppid=13539 vsize=13263912 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/13542/stat : 13542 (java) S 13539 13542 8659 0 -1 1077944320 5588 0 0 0 8 1 0 0 20 0 20 0 5522423 13582245888 6337 33554432000 4194304 4196468 140728702064656 140728702047200 140343181876983 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
/proc/13542/statm: 3315978 6337 2618 1 0 3303698 0
[pid=13542/tid=13543] ppid=13539 vsize=13263912 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13543/stat : 13543 (java) R 13539 13542 8659 0 -1 4202560 3671 0 0 0 7 1 0 0 20 0 20 0 5522424 13582245888 6337 33554432000 4194304 4196468 140728702064656 140343186117168 140343138511826 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13263912
[startup+0.20045 s]
/proc/loadavg: 1.68 1.63 1.76 3/261 13542
/proc/meminfo: memFree=31635540/32770624 swapFree=5896/110044
[pid=13542] ppid=13539 vsize=13263912 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/13542/stat : 13542 (java) S 13539 13542 8659 0 -1 1077944320 8662 0 0 0 23 2 0 0 20 0 20 0 5522423 13582245888 9210 33554432000 4194304 4196468 140728702064656 140728702047200 140343181876983 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
/proc/13542/statm: 3315978 9210 3575 1 0 3303698 0
[pid=13542/tid=13543] ppid=13539 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13543/stat : 13543 (java) D 13539 13542 8659 0 -1 1077944384 6388 0 0 0 16 2 0 0 20 0 20 0 5522424 13582245888 9210 33554432000 4194304 4196468 140728702064656 140343186085136 140343174556205 0 4 0 16800975 18446744072101658148 0 0 -1 7 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13263912
[startup+0.300443 s]
/proc/loadavg: 1.68 1.63 1.76 3/261 13542
/proc/meminfo: memFree=31635540/32770624 swapFree=5896/110044
[pid=13542] ppid=13539 vsize=13263912 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/13542/stat : 13542 (java) S 13539 13542 8659 0 -1 1077944320 9648 0 0 0 39 4 0 0 20 0 20 0 5522423 13582245888 11348 33554432000 4194304 4196468 140728702064656 140728702047200 140343181876983 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
/proc/13542/statm: 3315978 11348 3624 1 0 3303698 0
[pid=13542/tid=13543] ppid=13539 vsize=13263912 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13543/stat : 13543 (java) R 13539 13542 8659 0 -1 4202560 7108 0 0 0 25 3 0 0 20 0 20 0 5522424 13582245888 11348 33554432000 4194304 4196468 140728702064656 140343186094448 140343167245127 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 13263912
[startup+0.700356 s]
/proc/loadavg: 1.68 1.63 1.76 3/261 13542
/proc/meminfo: memFree=31635540/32770624 swapFree=5896/110044
[pid=13542] ppid=13539 vsize=13265980 CPUtime=1.54 cores=1,3,5,7,9,11,13,15
/proc/13542/stat : 13542 (java) S 13539 13542 8659 0 -1 1077944320 14319 0 0 0 146 8 0 0 20 0 20 0 5522423 13584363520 25780 33554432000 4194304 4196468 140728702064656 140728702047200 140343181876983 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
/proc/13542/statm: 3316495 25780 3764 1 0 3304210 0
[pid=13542/tid=13543] ppid=13539 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13543/stat : 13543 (java) R 13539 13542 8659 0 -1 4202560 7981 0 0 0 62 5 0 0 20 0 20 0 5522424 13584363520 25780 33554432000 4194304 4196468 140728702064656 140343186113056 140342773467655 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 13265980
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13542 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.80044 s]
/proc/loadavg: 1.68 1.63 1.76 3/261 13542
/proc/meminfo: memFree=31635540/32770624 swapFree=5896/110044
[pid=13542] ppid=13539 vsize=13265980 CPUtime=1.9 cores=1,3,5,7,9,11,13,15
/proc/13542/stat : 13542 (java) S 13539 13542 8659 0 -1 1077944320 14564 0 0 0 181 9 0 0 20 0 20 0 5522423 13584363520 43983 33554432000 4194304 4196468 140728702064656 140728702047200 140343181876983 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
/proc/13542/statm: 3316495 43983 3778 1 0 3304210 0
[pid=13542/tid=13543] ppid=13539 vsize=13265980 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13543/stat : 13543 (java) R 13539 13542 8659 0 -1 4202560 8016 0 0 0 71 6 0 0 20 0 20 0 5522424 13584363520 43983 33554432000 4194304 4196468 140728702064656 140343186114120 140342774028083 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 13265980
[startup+1.21272 s]
/proc/loadavg: 1.68 1.63 1.76 3/281 13562
/proc/meminfo: memFree=31419180/32770624 swapFree=5896/110044
[pid=13542] ppid=13539 vsize=13268028 CPUtime=2.88 cores=1,3,5,7,9,11,13,15
/proc/13542/stat : 13542 (java) S 13539 13542 8659 0 -1 1077944320 15851 0 0 0 255 33 0 0 20 0 20 0 5522423 13586460672 58233 33554432000 4194304 4196468 140728702064656 140728702047200 140343181876983 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
/proc/13542/statm: 3317007 58233 3797 1 0 3304722 0
[pid=13542/tid=13543] ppid=13539 vsize=13268028 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13543/stat : 13543 (java) R 13539 13542 8659 0 -1 4202560 8835 0 0 0 107 7 0 0 20 0 20 0 5522424 13586460672 58233 33554432000 4194304 4196468 140728702064656 140343186096352 140343165957470 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13545] ppid=13539 vsize=13268028 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13545/stat : 13545 (java) S 13539 13542 8659 0 -1 1077944384 20 0 0 0 1 2 0 0 20 0 20 0 5522425 13586460672 58233 33554432000 4194304 4196468 140728702064656 140343100357008 140343181887189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13546] ppid=13539 vsize=13268028 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13546/stat : 13546 (java) S 13539 13542 8659 0 -1 1077944384 28 0 0 0 1 3 0 0 20 0 20 0 5522425 13586460672 58233 33554432000 4194304 4196468 140728702064656 140343099304208 140343181887189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13547] ppid=13539 vsize=13268028 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13547/stat : 13547 (java) S 13539 13542 8659 0 -1 1077944384 22 0 0 0 1 3 0 0 20 0 20 0 5522425 13586460672 58233 33554432000 4194304 4196468 140728702064656 140343098251920 140343181887189 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13548] ppid=13539 vsize=13268028 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13548/stat : 13548 (java) S 13539 13542 8659 0 -1 1077944384 26 0 0 0 1 3 0 0 20 0 20 0 5522425 13586460672 58233 33554432000 4194304 4196468 140728702064656 140343097199120 140343181887189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13549] ppid=13539 vsize=13268028 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13549/stat : 13549 (java) S 13539 13542 8659 0 -1 1077944384 19 0 0 0 1 2 0 0 20 0 20 0 5522425 13586460672 58233 33554432000 4194304 4196468 140728702064656 140343096146832 140343181887189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13550] ppid=13539 vsize=13268028 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13550/stat : 13550 (java) S 13539 13542 8659 0 -1 1077944384 26 0 0 0 1 2 0 0 20 0 20 0 5522425 13586460672 58233 33554432000 4194304 4196468 140728702064656 140343095094032 140343181887189 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13551] ppid=13539 vsize=13268028 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13551/stat : 13551 (java) S 13539 13542 8659 0 -1 1077944384 15 0 0 0 1 2 0 0 20 0 20 0 5522425 13586460672 58233 33554432000 4194304 4196468 140728702064656 140343094041744 140343181887189 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13552] ppid=13539 vsize=13268028 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13552/stat : 13552 (java) S 13539 13542 8659 0 -1 1077944384 27 0 0 0 1 2 0 0 20 0 20 0 5522425 13586460672 58233 33554432000 4194304 4196468 140728702064656 140343092988944 140343181887189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13553] ppid=13539 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13553/stat : 13553 (java) S 13539 13542 8659 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 5522426 13586460672 58233 33554432000 4194304 4196468 140728702064656 140342376933488 140343181888130 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13554] ppid=13539 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13554/stat : 13554 (java) S 13539 13542 8659 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 5522427 13586460672 58233 33554432000 4194304 4196468 140728702064656 140342375879520 140343181887189 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13555] ppid=13539 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13555/stat : 13555 (java) S 13539 13542 8659 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 5522427 13586460672 58298 33554432000 4194304 4196468 140728702064656 140342374827136 140343181887189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13556] ppid=13539 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13556/stat : 13556 (java) S 13539 13542 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5522431 13586460672 58298 33554432000 4194304 4196468 140728702064656 140342373775440 140343181895579 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13557] ppid=13539 vsize=13268028 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13557/stat : 13557 (java) S 13539 13542 8659 0 -1 1077944384 1632 0 0 0 36 0 0 0 20 0 20 0 5522431 13586460672 58298 33554432000 4194304 4196468 140728702064656 140342372723312 140343181888130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13558] ppid=13539 vsize=13268028 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13558/stat : 13558 (java) S 13539 13542 8659 0 -1 1077944384 1005 0 0 0 30 0 0 0 20 0 20 0 5522431 13586460672 58298 33554432000 4194304 4196468 140728702064656 140342371670512 140343181888130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13559] ppid=13539 vsize=13268028 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13559/stat : 13559 (java) S 13539 13542 8659 0 -1 1077944384 1213 0 0 0 33 0 0 0 20 0 20 0 5522431 13586460672 58298 33554432000 4194304 4196468 140728702064656 140342370618224 140343181888130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13560] ppid=13539 vsize=13268028 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13560/stat : 13560 (java) S 13539 13542 8659 0 -1 1077944384 1521 0 0 0 36 1 0 0 20 0 20 0 5522431 13586460672 58298 33554432000 4194304 4196468 140728702064656 140342369565424 140343181888130 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13561] ppid=13539 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13561/stat : 13561 (java) S 13539 13542 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5522432 13586460672 58298 33554432000 4194304 4196468 140728702064656 140342368512352 140343181887189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13562] ppid=13539 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13562/stat : 13562 (java) S 13539 13542 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5522432 13586460672 58298 33554432000 4194304 4196468 140728702064656 140342367459632 140343181888130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 13268028
[startup+1.40111 s]
/proc/loadavg: 1.68 1.63 1.76 3/281 13562
/proc/meminfo: memFree=31419180/32770624 swapFree=5896/110044
[pid=13542] ppid=13539 vsize=13268028 CPUtime=3.44 cores=1,3,5,7,9,11,13,15
/proc/13542/stat : 13542 (java) S 13539 13542 8659 0 -1 1077944320 16182 0 0 0 310 34 0 0 20 0 20 0 5522423 13586460672 68822 33554432000 4194304 4196468 140728702064656 140728702047200 140343181876983 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
/proc/13542/statm: 3317007 68822 3800 1 0 3304722 0
[pid=13542/tid=13543] ppid=13539 vsize=13268028 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13543/stat : 13543 (java) R 13539 13542 8659 0 -1 4202560 8949 0 0 0 125 7 0 0 20 0 20 0 5522424 13586460672 68822 33554432000 4194304 4196468 140728702064656 140343186110744 140343181888918 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13545] ppid=13539 vsize=13268028 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13545/stat : 13545 (java) S 13539 13542 8659 0 -1 1077944384 20 0 0 0 1 2 0 0 20 0 20 0 5522425 13586460672 68822 33554432000 4194304 4196468 140728702064656 140343100357008 140343181887189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13546] ppid=13539 vsize=13268028 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13546/stat : 13546 (java) S 13539 13542 8659 0 -1 1077944384 28 0 0 0 1 3 0 0 20 0 20 0 5522425 13586460672 68822 33554432000 4194304 4196468 140728702064656 140343099304208 140343181887189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13547] ppid=13539 vsize=13268028 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13547/stat : 13547 (java) S 13539 13542 8659 0 -1 1077944384 22 0 0 0 1 3 0 0 20 0 20 0 5522425 13586460672 68822 33554432000 4194304 4196468 140728702064656 140343098251920 140343181887189 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13548] ppid=13539 vsize=13268028 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13548/stat : 13548 (java) S 13539 13542 8659 0 -1 1077944384 26 0 0 0 1 3 0 0 20 0 20 0 5522425 13586460672 68822 33554432000 4194304 4196468 140728702064656 140343097199120 140343181887189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13549] ppid=13539 vsize=13268028 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13549/stat : 13549 (java) S 13539 13542 8659 0 -1 1077944384 19 0 0 0 1 2 0 0 20 0 20 0 5522425 13586460672 68822 33554432000 4194304 4196468 140728702064656 140343096146832 140343181887189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13550] ppid=13539 vsize=13268028 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13550/stat : 13550 (java) S 13539 13542 8659 0 -1 1077944384 26 0 0 0 1 2 0 0 20 0 20 0 5522425 13586460672 68822 33554432000 4194304 4196468 140728702064656 140343095094032 140343181887189 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13551] ppid=13539 vsize=13268028 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13551/stat : 13551 (java) S 13539 13542 8659 0 -1 1077944384 15 0 0 0 1 2 0 0 20 0 20 0 5522425 13586460672 68822 33554432000 4194304 4196468 140728702064656 140343094041744 140343181887189 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13552] ppid=13539 vsize=13268028 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13552/stat : 13552 (java) S 13539 13542 8659 0 -1 1077944384 27 0 0 0 1 2 0 0 20 0 20 0 5522425 13586460672 68822 33554432000 4194304 4196468 140728702064656 140343092988944 140343181887189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13553] ppid=13539 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13553/stat : 13553 (java) S 13539 13542 8659 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 5522426 13586460672 68822 33554432000 4194304 4196468 140728702064656 140342376933488 140343181888130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13554] ppid=13539 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13554/stat : 13554 (java) S 13539 13542 8659 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 5522427 13586460672 68822 33554432000 4194304 4196468 140728702064656 140342375879520 140343181887189 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13555] ppid=13539 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13555/stat : 13555 (java) S 13539 13542 8659 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 5522427 13586460672 68822 33554432000 4194304 4196468 140728702064656 140342374827136 140343181887189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13556] ppid=13539 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13556/stat : 13556 (java) S 13539 13542 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5522431 13586460672 68822 33554432000 4194304 4196468 140728702064656 140342373775440 140343181895579 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13557] ppid=13539 vsize=13268028 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13557/stat : 13557 (java) R 13539 13542 8659 0 -1 4202560 1671 0 0 0 46 0 0 0 20 0 20 0 5522431 13586460672 68822 33554432000 4194304 4196468 140728702064656 140342372714528 140343159106288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13558] ppid=13539 vsize=13268028 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13558/stat : 13558 (java) S 13539 13542 8659 0 -1 1077944384 1021 0 0 0 40 0 0 0 20 0 20 0 5522431 13586460672 68822 33554432000 4194304 4196468 140728702064656 140342371670512 140343181888130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13559] ppid=13539 vsize=13268028 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13559/stat : 13559 (java) S 13539 13542 8659 0 -1 1077944384 1248 0 0 0 42 0 0 0 20 0 20 0 5522431 13586460672 68822 33554432000 4194304 4196468 140728702064656 140342370618224 140343181888130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13560] ppid=13539 vsize=13268028 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13560/stat : 13560 (java) R 13539 13542 8659 0 -1 4202560 1650 0 0 0 45 1 0 0 20 0 20 0 5522431 13586460672 68822 33554432000 4194304 4196468 140728702064656 140342369565424 140343174973819 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13561] ppid=13539 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13561/stat : 13561 (java) S 13539 13542 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5522432 13586460672 68822 33554432000 4194304 4196468 140728702064656 140342368512352 140343181887189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
[pid=13542/tid=13562] ppid=13539 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13542/task/13562/stat : 13562 (java) S 13539 13542 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5522432 13586460672 68822 33554432000 4194304 4196468 140728702064656 140342367459632 140343181888130 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16310272 140728702071945 140728702072132 140728702072132 140728702074831 0
Current children cumulated CPU time (s) 3.44
Current children cumulated vsize (KiB) 13268028
Child status: 0
Real time (s): 1.48293
CPU time (s): 3.60881
CPU user time (s): 3.25426
CPU system time (s): 0.354545
CPU usage (%): 243.356
Max. virtual memory (cumulated for all children) (KiB): 13268028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.25426
system time used= 0.354545
maximum resident set size= 298248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17095
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3147
involuntary context switches= 288
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.013356 second user time and 0.02315 second system time
The end