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-4249146-1500752352/watcher-4249146-1500752352 -o /tmp/evaluation-result-4249146-1500752352/solver-4249146-1500752352 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1500747599-20057 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1976094738 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4249146-1500752352.xml
pid=21049
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.45 1.45 1.48 2/261 21052
/proc/meminfo: memFree=31405032/32770624 swapFree=5892/160048
[pid=21052] ppid=21049 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/stat : 21052 (java) S 21049 21052 16320 0 -1 1077944320 2025 0 0 0 0 0 0 0 20 0 2 0 10503647 10889764864 1724 33554432000 4194304 4196468 140722045866192 140722045848736 139700491030263 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
/proc/21052/statm: 2658634 1790 1188 1 0 2647545 0
[pid=21052/tid=21053] ppid=21049 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21053/stat : 21053 (java) R 21049 21052 16320 0 -1 4202560 808 0 0 0 0 0 0 0 20 0 2 0 10503648 10889764864 1856 33554432000 4194304 4196468 140722045866192 139700495272352 139700483319712 0 4 0 16784584 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[startup+0.100075 s]
/proc/loadavg: 1.45 1.45 1.48 2/261 21052
/proc/meminfo: memFree=31405032/32770624 swapFree=5892/160048
[pid=21052] ppid=21049 vsize=13264380 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/21052/stat : 21052 (java) S 21049 21052 16320 0 -1 1077944320 5856 0 0 0 8 1 0 0 20 0 20 0 10503647 13582725120 6443 33554432000 4194304 4196468 140722045866192 140722045848736 139700491030263 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
/proc/21052/statm: 3316095 6443 3306 1 0 3303815 0
[pid=21052/tid=21053] ppid=21049 vsize=13264380 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21053/stat : 21053 (java) R 21049 21052 16320 0 -1 4202560 3941 0 0 0 7 1 0 0 20 0 20 0 10503648 13582725120 6443 33554432000 4194304 4196468 140722045866192 139700495272544 139700491052189 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380
[startup+0.20051 s]
/proc/loadavg: 1.45 1.45 1.48 2/261 21052
/proc/meminfo: memFree=31405032/32770624 swapFree=5892/160048
[pid=21052] ppid=21049 vsize=13263912 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/21052/stat : 21052 (java) S 21049 21052 16320 0 -1 1077944320 8949 0 0 0 23 2 0 0 20 0 20 0 10503647 13582245888 8943 33554432000 4194304 4196468 140722045866192 140722045848736 139700491030263 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
/proc/21052/statm: 3315978 8943 3540 1 0 3303698 0
[pid=21052/tid=21053] ppid=21049 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21053/stat : 21053 (java) R 21049 21052 16320 0 -1 4202560 6695 0 0 0 16 2 0 0 20 0 20 0 10503648 13582245888 8943 33554432000 4194304 4196468 140722045866192 139700495258640 139700491052189 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13263912
[startup+0.300392 s]
/proc/loadavg: 1.45 1.45 1.48 2/261 21052
/proc/meminfo: memFree=31405032/32770624 swapFree=5892/160048
[pid=21052] ppid=21049 vsize=13263912 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/21052/stat : 21052 (java) S 21049 21052 16320 0 -1 1077944320 9928 0 0 0 38 3 0 0 20 0 20 0 10503647 13582245888 10607 33554432000 4194304 4196468 140722045866192 140722045848736 139700491030263 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
/proc/21052/statm: 3315978 10607 3634 1 0 3303698 0
[pid=21052/tid=21053] ppid=21049 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21053/stat : 21053 (java) R 21049 21052 16320 0 -1 4202560 7390 0 0 0 25 2 0 0 20 0 20 0 10503648 13582245888 10607 33554432000 4194304 4196468 140722045866192 139700495258560 139700491052189 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 13263912
[startup+0.700319 s]
/proc/loadavg: 1.45 1.45 1.48 2/261 21052
/proc/meminfo: memFree=31405032/32770624 swapFree=5892/160048
[pid=21052] ppid=21049 vsize=13265980 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/21052/stat : 21052 (java) S 21049 21052 16320 0 -1 1077944320 14990 0 0 0 141 5 0 0 20 0 20 0 10503647 13584363520 23897 33554432000 4194304 4196468 140722045866192 140722045848736 139700491030263 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
/proc/21052/statm: 3316495 23897 3760 1 0 3304210 0
[pid=21052/tid=21053] ppid=21049 vsize=13265980 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21053/stat : 21053 (java) R 21049 21052 16320 0 -1 4202560 8528 0 0 0 63 3 0 0 20 0 20 0 10503648 13584363520 23897 33554432000 4194304 4196468 140722045866192 139700495265712 139700476710453 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 13265980
[startup+1.50123 s]
/proc/loadavg: 1.45 1.45 1.48 6/281 21072
/proc/meminfo: memFree=31260364/32770624 swapFree=5892/160424
[pid=21052] ppid=21049 vsize=13268028 CPUtime=4.25 cores=1,3,5,7,9,11,13,15
/proc/21052/stat : 21052 (java) S 21049 21052 16320 0 -1 1077944320 27159 0 0 0 416 9 0 0 20 0 20 0 10503647 13586460672 47700 33554432000 4194304 4196468 140722045866192 140722045848736 139700491030263 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
/proc/21052/statm: 3317007 47700 3790 1 0 3304722 0
[pid=21052/tid=21053] ppid=21049 vsize=13268028 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21053/stat : 21053 (java) R 21049 21052 16320 0 -1 4202560 10629 0 0 0 142 5 0 0 20 0 20 0 10503648 13586460672 47700 33554432000 4194304 4196468 140722045866192 139700495266536 139700132659933 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21055] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21055/stat : 21055 (java) S 21049 21052 16320 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 47700 33554432000 4194304 4196468 140722045866192 139700456311440 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21056] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21056/stat : 21056 (java) S 21049 21052 16320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 47700 33554432000 4194304 4196468 140722045866192 139700089506320 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21057] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21057/stat : 21057 (java) S 21049 21052 16320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 47700 33554432000 4194304 4196468 140722045866192 139700088453520 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21058] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21058/stat : 21058 (java) S 21049 21052 16320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 47700 33554432000 4194304 4196468 140722045866192 139700087400720 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21059] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21059/stat : 21059 (java) S 21049 21052 16320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 47700 33554432000 4194304 4196468 140722045866192 139700086348944 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21060] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21060/stat : 21060 (java) S 21049 21052 16320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 47700 33554432000 4194304 4196468 140722045866192 139700085296144 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21061] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21061/stat : 21061 (java) S 21049 21052 16320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 47700 33554432000 4194304 4196468 140722045866192 139700084243344 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21062] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21062/stat : 21062 (java) S 21049 21052 16320 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 47700 33554432000 4194304 4196468 140722045866192 139700083190544 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21063] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21063/stat : 21063 (java) S 21049 21052 16320 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 10503651 13586460672 47700 33554432000 4194304 4196468 140722045866192 139699156846960 139700491041410 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21064] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21064/stat : 21064 (java) S 21049 21052 16320 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 10503651 13586460672 47700 33554432000 4194304 4196468 140722045866192 139699155792928 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21065] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21065/stat : 21065 (java) S 21049 21052 16320 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 10503652 13586460672 47700 33554432000 4194304 4196468 140722045866192 139699154740080 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21066] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21066/stat : 21066 (java) S 21049 21052 16320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 10503656 13586460672 47700 33554432000 4194304 4196468 140722045866192 139699153688400 139700491048859 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21067] ppid=21049 vsize=13268028 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21067/stat : 21067 (java) S 21049 21052 16320 0 -1 1077944384 4705 0 0 0 77 0 0 0 20 0 20 0 10503656 13586460672 47700 33554432000 4194304 4196468 140722045866192 139699152636784 139700491041410 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21068] ppid=21049 vsize=13268028 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21068/stat : 21068 (java) S 21049 21052 16320 0 -1 1077944384 3686 0 0 0 74 1 0 0 20 0 20 0 10503656 13586460672 47700 33554432000 4194304 4196468 140722045866192 139699151583984 139700491041410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21069] ppid=21049 vsize=13268028 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21069/stat : 21069 (java) S 21049 21052 16320 0 -1 1077944384 4538 0 0 0 72 0 0 0 20 0 20 0 10503656 13586460672 47700 33554432000 4194304 4196468 140722045866192 139699150531184 139700491041410 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21070] ppid=21049 vsize=13268028 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21070/stat : 21070 (java) S 21049 21052 16320 0 -1 1077944384 2208 0 0 0 48 1 0 0 20 0 20 0 10503656 13586460672 47700 33554432000 4194304 4196468 140722045866192 139699149478384 139700491041410 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21071] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21071/stat : 21071 (java) S 21049 21052 16320 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 10503656 13586460672 47700 33554432000 4194304 4196468 140722045866192 139699148425824 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21072] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21072/stat : 21072 (java) S 21049 21052 16320 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 10503656 13586460672 47700 33554432000 4194304 4196468 140722045866192 139699147373104 139700491041410 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 13268028
[startup+3.10072 s]
/proc/loadavg: 1.45 1.45 1.48 3/281 21072
/proc/meminfo: memFree=31192656/32770624 swapFree=5892/160420
[pid=21052] ppid=21049 vsize=13268028 CPUtime=6.04 cores=1,3,5,7,9,11,13,15
/proc/21052/stat : 21052 (java) S 21049 21052 16320 0 -1 1077944320 29054 0 0 0 592 12 0 0 20 0 20 0 10503647 13586460672 57026 33554432000 4194304 4196468 140722045866192 140722045848736 139700491030263 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
/proc/21052/statm: 3317007 57026 3804 1 0 3304722 0
[pid=21052/tid=21053] ppid=21049 vsize=13268028 CPUtime=3.06 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21053/stat : 21053 (java) R 21049 21052 16320 0 -1 4202560 10943 0 0 0 300 6 0 0 20 0 20 0 10503648 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700495265776 139700132511055 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21055] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21055/stat : 21055 (java) S 21049 21052 16320 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700456311440 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21056] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21056/stat : 21056 (java) S 21049 21052 16320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700089506320 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21057] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21057/stat : 21057 (java) S 21049 21052 16320 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700088453520 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21058] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21058/stat : 21058 (java) S 21049 21052 16320 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700087400720 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21059] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21059/stat : 21059 (java) S 21049 21052 16320 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700086348944 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21060] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21060/stat : 21060 (java) S 21049 21052 16320 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700085296144 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21061] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21061/stat : 21061 (java) S 21049 21052 16320 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700084243344 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21062] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21062/stat : 21062 (java) S 21049 21052 16320 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700083190544 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21063] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21063/stat : 21063 (java) S 21049 21052 16320 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 20 0 10503651 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699156846960 139700491041410 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21064] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21064/stat : 21064 (java) S 21049 21052 16320 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 10503651 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699155792992 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21065] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21065/stat : 21065 (java) S 21049 21052 16320 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 10503652 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699154740096 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21066] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21066/stat : 21066 (java) S 21049 21052 16320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 10503656 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699153688400 139700491048859 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21067] ppid=21049 vsize=13268028 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21067/stat : 21067 (java) S 21049 21052 16320 0 -1 1077944384 4930 0 0 0 82 0 0 0 20 0 20 0 10503656 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699152636784 139700491041410 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21068] ppid=21049 vsize=13268028 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21068/stat : 21068 (java) S 21049 21052 16320 0 -1 1077944384 3781 0 0 0 77 1 0 0 20 0 20 0 10503656 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699151583984 139700491041410 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21069] ppid=21049 vsize=13268028 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21069/stat : 21069 (java) S 21049 21052 16320 0 -1 1077944384 4794 0 0 0 77 0 0 0 20 0 20 0 10503656 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699150531184 139700491041410 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21070] ppid=21049 vsize=13268028 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21070/stat : 21070 (java) S 21049 21052 16320 0 -1 1077944384 2509 0 0 0 49 1 0 0 20 0 20 0 10503656 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699149478384 139700491041410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21071] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21071/stat : 21071 (java) S 21049 21052 16320 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 10503656 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699148425824 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21072] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21072/stat : 21072 (java) S 21049 21052 16320 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 10503656 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699147373104 139700491041410 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 13268028
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 21052 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20094 s]
/proc/loadavg: 1.45 1.45 1.48 3/281 21072
/proc/meminfo: memFree=31192656/32770624 swapFree=5892/160420
[pid=21052] ppid=21049 vsize=13268028 CPUtime=6.14 cores=1,3,5,7,9,11,13,15
/proc/21052/stat : 21052 (java) S 21049 21052 16320 0 -1 1077944320 29056 0 0 0 602 12 0 0 20 0 20 0 10503647 13586460672 57026 33554432000 4194304 4196468 140722045866192 140722045848736 139700491030263 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
/proc/21052/statm: 3317007 57026 3804 1 0 3304722 0
[pid=21052/tid=21053] ppid=21049 vsize=13268028 CPUtime=3.16 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21053/stat : 21053 (java) R 21049 21052 16320 0 -1 4202560 10945 0 0 0 310 6 0 0 20 0 20 0 10503648 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700495265776 139700132656795 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21055] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21055/stat : 21055 (java) S 21049 21052 16320 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700456311440 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21056] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21056/stat : 21056 (java) S 21049 21052 16320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700089506320 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21057] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21057/stat : 21057 (java) S 21049 21052 16320 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700088453520 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21058] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21058/stat : 21058 (java) S 21049 21052 16320 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700087400720 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21059] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21059/stat : 21059 (java) S 21049 21052 16320 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700086348944 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21060] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21060/stat : 21060 (java) S 21049 21052 16320 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700085296144 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21061] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21061/stat : 21061 (java) S 21049 21052 16320 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700084243344 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21062] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21062/stat : 21062 (java) S 21049 21052 16320 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700083190544 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21063] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21063/stat : 21063 (java) S 21049 21052 16320 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 20 0 10503651 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699156846960 139700491041410 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21064] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21064/stat : 21064 (java) S 21049 21052 16320 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 10503651 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699155792992 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21065] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21065/stat : 21065 (java) S 21049 21052 16320 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 10503652 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699154740096 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21066] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21066/stat : 21066 (java) S 21049 21052 16320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 10503656 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699153688400 139700491048859 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21067] ppid=21049 vsize=13268028 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21067/stat : 21067 (java) S 21049 21052 16320 0 -1 1077944384 4930 0 0 0 82 0 0 0 20 0 20 0 10503656 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699152636784 139700491041410 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21068] ppid=21049 vsize=13268028 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21068/stat : 21068 (java) S 21049 21052 16320 0 -1 1077944384 3781 0 0 0 77 1 0 0 20 0 20 0 10503656 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699151583984 139700491041410 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21069] ppid=21049 vsize=13268028 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21069/stat : 21069 (java) S 21049 21052 16320 0 -1 1077944384 4794 0 0 0 77 0 0 0 20 0 20 0 10503656 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699150531184 139700491041410 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21070] ppid=21049 vsize=13268028 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21070/stat : 21070 (java) S 21049 21052 16320 0 -1 1077944384 2509 0 0 0 49 1 0 0 20 0 20 0 10503656 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699149478384 139700491041410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21071] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21071/stat : 21071 (java) S 21049 21052 16320 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 10503656 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699148425824 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21072] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21072/stat : 21072 (java) S 21049 21052 16320 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 10503656 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699147373104 139700491041410 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 13268028
[startup+3.60074 s]
/proc/loadavg: 1.45 1.45 1.48 3/281 21072
/proc/meminfo: memFree=31192408/32770624 swapFree=5892/160420
[pid=21052] ppid=21049 vsize=13268028 CPUtime=6.54 cores=1,3,5,7,9,11,13,15
/proc/21052/stat : 21052 (java) S 21049 21052 16320 0 -1 1077944320 29067 0 0 0 642 12 0 0 20 0 20 0 10503647 13586460672 57026 33554432000 4194304 4196468 140722045866192 140722045848736 139700491030263 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
/proc/21052/statm: 3317007 57026 3804 1 0 3304722 0
[pid=21052/tid=21053] ppid=21049 vsize=13268028 CPUtime=3.56 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21053/stat : 21053 (java) R 21049 21052 16320 0 -1 4202560 10954 0 0 0 350 6 0 0 20 0 20 0 10503648 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700495265776 139700132514700 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21055] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21055/stat : 21055 (java) S 21049 21052 16320 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700456311440 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21056] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21056/stat : 21056 (java) S 21049 21052 16320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700089506320 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21057] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21057/stat : 21057 (java) S 21049 21052 16320 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700088453520 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21058] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21058/stat : 21058 (java) S 21049 21052 16320 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700087400720 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21059] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21059/stat : 21059 (java) S 21049 21052 16320 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700086348944 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21060] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21060/stat : 21060 (java) S 21049 21052 16320 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700085296144 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21061] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21061/stat : 21061 (java) S 21049 21052 16320 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700084243344 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21062] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21062/stat : 21062 (java) S 21049 21052 16320 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700083190544 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21063] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21063/stat : 21063 (java) S 21049 21052 16320 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 20 0 10503651 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699156846960 139700491041410 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21064] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21064/stat : 21064 (java) S 21049 21052 16320 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 10503651 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699155792992 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21065] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21065/stat : 21065 (java) S 21049 21052 16320 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 10503652 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699154740096 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21066] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21066/stat : 21066 (java) S 21049 21052 16320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 10503656 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699153688400 139700491048859 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21067] ppid=21049 vsize=13268028 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21067/stat : 21067 (java) S 21049 21052 16320 0 -1 1077944384 4930 0 0 0 82 0 0 0 20 0 20 0 10503656 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699152636784 139700491041410 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21068] ppid=21049 vsize=13268028 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21068/stat : 21068 (java) S 21049 21052 16320 0 -1 1077944384 3781 0 0 0 77 1 0 0 20 0 20 0 10503656 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699151583984 139700491041410 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21069] ppid=21049 vsize=13268028 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21069/stat : 21069 (java) S 21049 21052 16320 0 -1 1077944384 4794 0 0 0 77 0 0 0 20 0 20 0 10503656 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699150531184 139700491041410 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21070] ppid=21049 vsize=13268028 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21070/stat : 21070 (java) S 21049 21052 16320 0 -1 1077944384 2509 0 0 0 49 1 0 0 20 0 20 0 10503656 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699149478384 139700491041410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21071] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21071/stat : 21071 (java) S 21049 21052 16320 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 10503656 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699148425824 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21072] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21072/stat : 21072 (java) S 21049 21052 16320 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 10503656 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699147373104 139700491041410 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
Current children cumulated CPU time (s) 6.54
Current children cumulated vsize (KiB) 13268028
[startup+4.00116 s]
/proc/loadavg: 1.45 1.45 1.48 3/281 21072
/proc/meminfo: memFree=31192408/32770624 swapFree=5892/160420
[pid=21052] ppid=21049 vsize=13268028 CPUtime=7 cores=1,3,5,7,9,11,13,15
/proc/21052/stat : 21052 (java) S 21049 21052 16320 0 -1 1077944320 29299 0 0 0 688 12 0 0 20 0 20 0 10503647 13586460672 57026 33554432000 4194304 4196468 140722045866192 140722045848736 139700491030263 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
/proc/21052/statm: 3317007 57026 3804 1 0 3304722 0
[pid=21052/tid=21053] ppid=21049 vsize=13268028 CPUtime=3.96 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21053/stat : 21053 (java) R 21049 21052 16320 0 -1 4202560 11023 0 0 0 390 6 0 0 20 0 20 0 10503648 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700495266360 139700132659076 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21055] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21055/stat : 21055 (java) S 21049 21052 16320 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700456311440 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21056] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21056/stat : 21056 (java) S 21049 21052 16320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700089506320 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21057] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21057/stat : 21057 (java) S 21049 21052 16320 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700088453520 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21058] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21058/stat : 21058 (java) S 21049 21052 16320 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700087400720 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21059] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21059/stat : 21059 (java) S 21049 21052 16320 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700086348944 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21060] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21060/stat : 21060 (java) S 21049 21052 16320 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700085296144 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21061] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21061/stat : 21061 (java) S 21049 21052 16320 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700084243344 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21062] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21062/stat : 21062 (java) S 21049 21052 16320 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 10503649 13586460672 57026 33554432000 4194304 4196468 140722045866192 139700083190544 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21063] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21063/stat : 21063 (java) S 21049 21052 16320 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 20 0 10503651 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699156846960 139700491041410 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21064] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21064/stat : 21064 (java) S 21049 21052 16320 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 10503651 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699155792992 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21065] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21065/stat : 21065 (java) S 21049 21052 16320 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 10503652 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699154740096 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21066] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21066/stat : 21066 (java) S 21049 21052 16320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 10503656 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699153688400 139700491048859 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21067] ppid=21049 vsize=13268028 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21067/stat : 21067 (java) S 21049 21052 16320 0 -1 1077944384 4930 0 0 0 82 0 0 0 20 0 20 0 10503656 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699152636784 139700491041410 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21068] ppid=21049 vsize=13268028 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21068/stat : 21068 (java) S 21049 21052 16320 0 -1 1077944384 3899 0 0 0 82 1 0 0 20 0 20 0 10503656 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699151583984 139700491041410 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21069] ppid=21049 vsize=13268028 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21069/stat : 21069 (java) S 21049 21052 16320 0 -1 1077944384 4806 0 0 0 77 0 0 0 20 0 20 0 10503656 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699150531184 139700491041410 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21070] ppid=21049 vsize=13268028 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21070/stat : 21070 (java) S 21049 21052 16320 0 -1 1077944384 2542 0 0 0 49 1 0 0 20 0 20 0 10503656 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699149478384 139700491041410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21071] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21071/stat : 21071 (java) S 21049 21052 16320 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 10503656 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699148425824 139700491040469 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
[pid=21052/tid=21072] ppid=21049 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21052/task/21072/stat : 21072 (java) S 21049 21052 16320 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 10503656 13586460672 57026 33554432000 4194304 4196468 140722045866192 139699147373104 139700491041410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140722045875337 140722045875524 140722045875524 140722045878223 0
Current children cumulated CPU time (s) 7
Current children cumulated vsize (KiB) 13268028
Child status: 0
Real time (s): 4.0668
CPU time (s): 7.07701
CPU user time (s): 6.946
CPU system time (s): 0.131018
CPU usage (%): 174.019
Max. virtual memory (cumulated for all children) (KiB): 13268028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.94599
system time used= 0.131018
maximum resident set size= 228720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30231
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2888
involuntary context switches= 474
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.03176 second user time and 0.053245 second system time
The end