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-4249612-1500735173/watcher-4249612-1500735173 -o /tmp/evaluation-result-4249612-1500735173/solver-4249612-1500735173 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1500714200-19267 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 840696058 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4249612-1500735173.xml
pid=22080
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.83 1.68 1.64 2/264 22083
/proc/meminfo: memFree=31490296/32770624 swapFree=5916/300740
[pid=22083] ppid=22080 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/stat : 22083 (java) S 22080 22083 19235 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 8784301 369864704 1925 33554432000 4194304 4196468 140734091831488 140734091814032 140629850926839 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
/proc/22083/statm: 90299 1925 1072 1 0 79210 0
[pid=22083/tid=22084] ppid=22080 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22084/stat : 22084 (java) S 22080 22083 19235 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 8784302 369864704 1925 33554432000 4194304 4196468 140734091831488 140629855168928 140629850937986 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[startup+0.100161 s]
/proc/loadavg: 1.83 1.68 1.64 2/264 22083
/proc/meminfo: memFree=31490296/32770624 swapFree=5916/300740
[pid=22083] ppid=22080 vsize=13263912 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/22083/stat : 22083 (java) S 22080 22083 19235 0 -1 1077944320 6687 0 0 0 9 1 0 0 20 0 20 0 8784301 13582245888 6927 33554432000 4194304 4196468 140734091831488 140734091814032 140629850926839 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
/proc/22083/statm: 3315978 6927 3373 1 0 3303698 0
[pid=22083/tid=22084] ppid=22080 vsize=13263912 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22084/stat : 22084 (java) R 22080 22083 19235 0 -1 4202560 4749 0 0 0 8 0 0 0 20 0 20 0 8784302 13582245888 6927 33554432000 4194304 4196468 140734091831488 140629855156216 140629836994958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13263912
[startup+0.200412 s]
/proc/loadavg: 1.83 1.68 1.64 2/264 22083
/proc/meminfo: memFree=31490296/32770624 swapFree=5916/300740
[pid=22083] ppid=22080 vsize=13263912 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/22083/stat : 22083 (java) S 22080 22083 19235 0 -1 1077944320 8991 0 0 0 24 2 0 0 20 0 20 0 8784301 13582245888 9394 33554432000 4194304 4196468 140734091831488 140734091814032 140629850926839 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
/proc/22083/statm: 3315978 9394 3524 1 0 3303698 0
[pid=22083/tid=22084] ppid=22080 vsize=13263912 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22084/stat : 22084 (java) R 22080 22083 19235 0 -1 4202560 6657 0 0 0 16 1 0 0 20 0 20 0 8784302 13582245888 9394 33554432000 4194304 4196468 140734091831488 140629855138528 140629831571834 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912
[startup+0.300399 s]
/proc/loadavg: 1.83 1.68 1.64 2/264 22083
/proc/meminfo: memFree=31490296/32770624 swapFree=5916/300740
[pid=22083] ppid=22080 vsize=13263932 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/22083/stat : 22083 (java) S 22080 22083 19235 0 -1 1077944320 10354 0 0 0 42 4 0 0 20 0 20 0 8784301 13582266368 11514 33554432000 4194304 4196468 140734091831488 140734091814032 140629850926839 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
/proc/22083/statm: 3315983 11514 3705 1 0 3303698 0
[pid=22083/tid=22084] ppid=22080 vsize=13263932 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22084/stat : 22084 (java) R 22080 22083 19235 0 -1 4202560 7400 0 0 0 25 2 0 0 20 0 20 0 8784302 13582266368 11514 33554432000 4194304 4196468 140734091831488 140629855153440 140629843606711 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13263932
[startup+0.700292 s]
/proc/loadavg: 1.83 1.68 1.64 2/264 22083
/proc/meminfo: memFree=31490296/32770624 swapFree=5916/300740
[pid=22083] ppid=22080 vsize=13268028 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/22083/stat : 22083 (java) S 22080 22083 19235 0 -1 1077944320 14332 0 0 0 128 6 0 0 20 0 20 0 8784301 13586460672 20710 33554432000 4194304 4196468 140734091831488 140734091814032 140629850926839 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
/proc/22083/statm: 3317007 20710 3760 1 0 3304722 0
[pid=22083/tid=22084] ppid=22080 vsize=13268028 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22084/stat : 22084 (java) R 22080 22083 19235 0 -1 4202560 9048 0 0 0 64 4 0 0 20 0 20 0 8784302 13586460672 20710 33554432000 4194304 4196468 140734091831488 140629855155840 140629835007326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 13268028
[startup+1.50113 s]
/proc/loadavg: 1.83 1.68 1.64 6/284 22103
/proc/meminfo: memFree=31393856/32770624 swapFree=5916/300744
[pid=22083] ppid=22080 vsize=13268028 CPUtime=4.03 cores=1,3,5,7,9,11,13,15
/proc/22083/stat : 22083 (java) S 22080 22083 19235 0 -1 1077944320 23604 0 0 0 394 9 0 0 20 0 20 0 8784301 13586460672 38838 33554432000 4194304 4196468 140734091831488 140734091814032 140629850926839 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
/proc/22083/statm: 3317007 38838 3771 1 0 3304722 0
[pid=22083/tid=22084] ppid=22080 vsize=13268028 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22084/stat : 22084 (java) R 22080 22083 19235 0 -1 4202560 10569 0 0 0 142 5 0 0 20 0 20 0 8784302 13586460672 38838 33554432000 4194304 4196468 140734091831488 140629855162392 140629464376705 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22086] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22086/stat : 22086 (java) S 22080 22083 19235 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 8784303 13586460672 38838 33554432000 4194304 4196468 140734091831488 140629783063312 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22087] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22087/stat : 22087 (java) S 22080 22083 19235 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8784303 13586460672 38838 33554432000 4194304 4196468 140734091831488 140629782010768 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22088] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22088/stat : 22088 (java) S 22080 22083 19235 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8784303 13586460672 38838 33554432000 4194304 4196468 140734091831488 140629780958224 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22089] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22089/stat : 22089 (java) S 22080 22083 19235 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 8784303 13586460672 38838 33554432000 4194304 4196468 140734091831488 140629779905680 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22090] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22090/stat : 22090 (java) S 22080 22083 19235 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8784303 13586460672 38838 33554432000 4194304 4196468 140734091831488 140629446199568 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22091] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22091/stat : 22091 (java) S 22080 22083 19235 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 8784303 13586460672 38838 33554432000 4194304 4196468 140734091831488 140629445147024 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22092] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22092/stat : 22092 (java) S 22080 22083 19235 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8784303 13586460672 38838 33554432000 4194304 4196468 140734091831488 140629444094480 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22093] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22093/stat : 22093 (java) S 22080 22083 19235 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 8784303 13586460672 38838 33554432000 4194304 4196468 140734091831488 140629443041936 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22094] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22094/stat : 22094 (java) S 22080 22083 19235 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 8784304 13586460672 38838 33554432000 4194304 4196468 140734091831488 140629381581296 140629850937986 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22095] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22095/stat : 22095 (java) S 22080 22083 19235 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 8784305 13586460672 38838 33554432000 4194304 4196468 140734091831488 140629380527520 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22096] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22096/stat : 22096 (java) S 22080 22083 19235 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 8784305 13586460672 38838 33554432000 4194304 4196468 140734091831488 140629379474928 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22097] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22097/stat : 22097 (java) S 22080 22083 19235 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8784308 13586460672 38838 33554432000 4194304 4196468 140734091831488 140629378423504 140629850945435 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22098] ppid=22080 vsize=13268028 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22098/stat : 22098 (java) R 22080 22083 19235 0 -1 4202560 3545 0 0 0 77 0 0 0 20 0 20 0 8784308 13586460672 38838 33554432000 4194304 4196468 140734091831488 140629377356120 140629850948186 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22099] ppid=22080 vsize=13268028 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22099/stat : 22099 (java) R 22080 22083 19235 0 -1 4202560 3033 0 0 0 69 0 0 0 20 0 20 0 8784308 13586460672 38838 33554432000 4194304 4196468 140734091831488 140629308846552 140629829343636 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22100] ppid=22080 vsize=13268028 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22100/stat : 22100 (java) R 22080 22083 19235 0 -1 4202560 2844 0 0 0 63 0 0 0 20 0 20 0 8784308 13586460672 38838 33554432000 4194304 4196468 140734091831488 140629307794008 140629836092414 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22101] ppid=22080 vsize=13268028 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22101/stat : 22101 (java) S 22080 22083 19235 0 -1 1077944384 2216 0 0 0 41 0 0 0 20 0 20 0 8784308 13586460672 38838 33554432000 4194304 4196468 140734091831488 140629306755440 140629850937986 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22102] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22102/stat : 22102 (java) S 22080 22083 19235 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8784308 13586460672 38838 33554432000 4194304 4196468 140734091831488 140629305703136 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22103] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22103/stat : 22103 (java) S 22080 22083 19235 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8784309 13586460672 38838 33554432000 4194304 4196468 140734091831488 140629304650672 140629850937986 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 13268028
[startup+3.10079 s]
/proc/loadavg: 1.83 1.68 1.64 3/284 22103
/proc/meminfo: memFree=31289076/32770624 swapFree=5916/300744
[pid=22083] ppid=22080 vsize=13268028 CPUtime=6.14 cores=1,3,5,7,9,11,13,15
/proc/22083/stat : 22083 (java) S 22080 22083 19235 0 -1 1077944320 27051 0 0 0 598 16 0 0 20 0 20 0 8784301 13586460672 54479 33554432000 4194304 4196468 140734091831488 140734091814032 140629850926839 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
/proc/22083/statm: 3317007 54479 3797 1 0 3304722 0
[pid=22083/tid=22084] ppid=22080 vsize=13268028 CPUtime=3.06 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22084/stat : 22084 (java) R 22080 22083 19235 0 -1 4202560 10935 0 0 0 297 9 0 0 20 0 20 0 8784302 13586460672 54479 33554432000 4194304 4196468 140734091831488 140629855164632 140629464376568 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22086] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22086/stat : 22086 (java) S 22080 22083 19235 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 20 0 8784303 13586460672 54479 33554432000 4194304 4196468 140734091831488 140629783063312 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22087] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22087/stat : 22087 (java) S 22080 22083 19235 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 8784303 13586460672 54479 33554432000 4194304 4196468 140734091831488 140629782010768 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22088] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22088/stat : 22088 (java) S 22080 22083 19235 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 8784303 13586460672 54479 33554432000 4194304 4196468 140734091831488 140629780958224 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22089] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22089/stat : 22089 (java) S 22080 22083 19235 0 -1 1077944384 476 0 0 0 0 0 0 0 20 0 20 0 8784303 13586460672 54479 33554432000 4194304 4196468 140734091831488 140629779905680 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22090] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22090/stat : 22090 (java) S 22080 22083 19235 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 8784303 13586460672 54479 33554432000 4194304 4196468 140734091831488 140629446199568 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22091] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22091/stat : 22091 (java) S 22080 22083 19235 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 8784303 13586460672 54479 33554432000 4194304 4196468 140734091831488 140629445147024 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22092] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22092/stat : 22092 (java) S 22080 22083 19235 0 -1 1077944384 405 0 0 0 0 0 0 0 20 0 20 0 8784303 13586460672 54479 33554432000 4194304 4196468 140734091831488 140629444094480 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22093] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22093/stat : 22093 (java) S 22080 22083 19235 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 20 0 8784303 13586460672 54479 33554432000 4194304 4196468 140734091831488 140629443041936 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22094] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22094/stat : 22094 (java) S 22080 22083 19235 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 20 0 8784304 13586460672 54479 33554432000 4194304 4196468 140734091831488 140629381581296 140629850937986 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22095] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22095/stat : 22095 (java) S 22080 22083 19235 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 8784305 13586460672 54479 33554432000 4194304 4196468 140734091831488 140629380527584 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22096] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22096/stat : 22096 (java) S 22080 22083 19235 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 8784305 13586460672 54479 33554432000 4194304 4196468 140734091831488 140629379474944 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22097] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22097/stat : 22097 (java) S 22080 22083 19235 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8784308 13586460672 54479 33554432000 4194304 4196468 140734091831488 140629378423504 140629850945435 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22098] ppid=22080 vsize=13268028 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22098/stat : 22098 (java) S 22080 22083 19235 0 -1 1077944384 3678 0 0 0 92 0 0 0 20 0 20 0 8784308 13586460672 54479 33554432000 4194304 4196468 140734091831488 140629377370096 140629850937986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22099] ppid=22080 vsize=13268028 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22099/stat : 22099 (java) S 22080 22083 19235 0 -1 1077944384 3150 0 0 0 85 0 0 0 20 0 20 0 8784308 13586460672 54479 33554432000 4194304 4196468 140734091831488 140629308860528 140629850937986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22100] ppid=22080 vsize=13268028 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22100/stat : 22100 (java) S 22080 22083 19235 0 -1 1077944384 3149 0 0 0 74 0 0 0 20 0 20 0 8784308 13586460672 54479 33554432000 4194304 4196468 140734091831488 140629307807984 140629850937986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22101] ppid=22080 vsize=13268028 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22101/stat : 22101 (java) S 22080 22083 19235 0 -1 1077944384 3298 0 0 0 43 0 0 0 20 0 20 0 8784308 13586460672 54479 33554432000 4194304 4196468 140734091831488 140629306755440 140629850937986 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22102] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22102/stat : 22102 (java) S 22080 22083 19235 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8784308 13586460672 54479 33554432000 4194304 4196468 140734091831488 140629305703136 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22103] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22103/stat : 22103 (java) S 22080 22083 19235 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 8784309 13586460672 54479 33554432000 4194304 4196468 140734091831488 140629304650672 140629850937986 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 27 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 13268028
[startup+6.30079 s]
/proc/loadavg: 1.85 1.68 1.64 3/284 22103
/proc/meminfo: memFree=31283616/32770624 swapFree=5916/300756
[pid=22083] ppid=22080 vsize=13268028 CPUtime=9.51 cores=1,3,5,7,9,11,13,15
/proc/22083/stat : 22083 (java) S 22080 22083 19235 0 -1 1077944320 27234 0 0 0 932 19 0 0 20 0 20 0 8784301 13586460672 56560 33554432000 4194304 4196468 140734091831488 140734091814032 140629850926839 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
/proc/22083/statm: 3317007 56560 3797 1 0 3304722 0
[pid=22083/tid=22084] ppid=22080 vsize=13268028 CPUtime=6.24 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22084/stat : 22084 (java) R 22080 22083 19235 0 -1 4202560 10970 0 0 0 615 9 0 0 20 0 20 0 8784302 13586460672 56560 33554432000 4194304 4196468 140734091831488 140629855164576 140629464327584 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22086] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22086/stat : 22086 (java) S 22080 22083 19235 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 20 0 8784303 13586460672 56560 33554432000 4194304 4196468 140734091831488 140629783063312 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22087] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22087/stat : 22087 (java) S 22080 22083 19235 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 8784303 13586460672 56560 33554432000 4194304 4196468 140734091831488 140629782010768 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22088] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22088/stat : 22088 (java) S 22080 22083 19235 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 8784303 13586460672 56560 33554432000 4194304 4196468 140734091831488 140629780958224 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22089] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22089/stat : 22089 (java) S 22080 22083 19235 0 -1 1077944384 477 0 0 0 0 0 0 0 20 0 20 0 8784303 13586460672 56560 33554432000 4194304 4196468 140734091831488 140629779905680 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22090] ppid=22080 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22090/stat : 22090 (java) S 22080 22083 19235 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 20 0 8784303 13586460672 56560 33554432000 4194304 4196468 140734091831488 140629446199568 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22091] ppid=22080 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22091/stat : 22091 (java) S 22080 22083 19235 0 -1 1077944384 24 0 0 0 0 1 0 0 20 0 20 0 8784303 13586460672 56560 33554432000 4194304 4196468 140734091831488 140629445147024 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22092] ppid=22080 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22092/stat : 22092 (java) S 22080 22083 19235 0 -1 1077944384 410 0 0 0 1 0 0 0 20 0 20 0 8784303 13586460672 56560 33554432000 4194304 4196468 140734091831488 140629444094480 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22093] ppid=22080 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22093/stat : 22093 (java) S 22080 22083 19235 0 -1 1077944384 79 0 0 0 0 1 0 0 20 0 20 0 8784303 13586460672 56560 33554432000 4194304 4196468 140734091831488 140629443041936 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22094] ppid=22080 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22094/stat : 22094 (java) S 22080 22083 19235 0 -1 1077944384 251 0 0 0 1 0 0 0 20 0 20 0 8784304 13586460672 56560 33554432000 4194304 4196468 140734091831488 140629381581296 140629850937986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22095] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22095/stat : 22095 (java) S 22080 22083 19235 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 8784305 13586460672 56560 33554432000 4194304 4196468 140734091831488 140629380527584 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22096] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22096/stat : 22096 (java) S 22080 22083 19235 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 8784305 13586460672 56560 33554432000 4194304 4196468 140734091831488 140629379474944 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22097] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=22083/tid=22099] ppid=22080 vsize=13268028 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22099/stat : 22099 (java) S 22080 22083 19235 0 -1 1077944384 6048 0 0 0 99 1 0 0 20 0 20 0 8784308 13586460672 54567 33554432000 4194304 4196468 140734091831488 140629308860528 140629850937986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22100] ppid=22080 vsize=13268028 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22100/stat : 22100 (java) S 22080 22083 19235 0 -1 1077944384 4071 0 0 0 87 1 0 0 20 0 20 0 8784308 13586460672 54567 33554432000 4194304 4196468 140734091831488 140629307807984 140629850937986 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22101] ppid=22080 vsize=13268028 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22101/stat : 22101 (java) S 22080 22083 19235 0 -1 1077944384 3870 0 0 0 45 1 0 0 20 0 20 0 8784308 13586460672 54567 33554432000 4194304 4196468 140734091831488 140629306755440 140629850937986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22102] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22102/stat : 22102 (java) S 22080 22083 19235 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8784308 13586460672 54567 33554432000 4194304 4196468 140734091831488 140629305703136 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22103] ppid=22080 vsize=13268028 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22103/stat : 22103 (java) S 22080 22083 19235 0 -1 1077944384 774 0 0 0 20 30 0 0 20 0 20 0 8784309 13586460672 54567 33554432000 4194304 4196468 140734091831488 140629304650672 140629850937986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
Current children cumulated CPU time (s) 2281.69
Current children cumulated vsize (KiB) 13268028
[startup+2322.3 s]
/proc/loadavg: 1.64 1.60 1.51 3/277 22231
/proc/meminfo: memFree=31427552/32770624 swapFree=5904/302864
[pid=22083] ppid=22080 vsize=13268028 CPUtime=2342.23 cores=1,3,5,7,9,11,13,15
/proc/22083/stat : 22083 (java) S 22080 22083 19235 0 -1 1077944320 71277 0 0 0 234076 147 0 0 20 0 20 0 8784301 13586460672 55079 33554432000 4194304 4196468 140734091831488 140734091814032 140629850926839 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
/proc/22083/statm: 3317007 55079 3803 1 0 3304722 0
[pid=22083/tid=22084] ppid=22080 vsize=13268028 CPUtime=2316.81 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22084/stat : 22084 (java) R 22080 22083 19235 0 -1 4202560 25725 0 0 0 231668 13 0 0 20 0 20 0 8784302 13586460672 55079 33554432000 4194304 4196468 140734091831488 140629855165248 140629465269507 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22086] ppid=22080 vsize=13268028 CPUtime=2.48 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22086/stat : 22086 (java) S 22080 22083 19235 0 -1 1077944384 967 0 0 0 235 13 0 0 20 0 20 0 8784303 13586460672 55079 33554432000 4194304 4196468 140734091831488 140629783063312 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22087] ppid=22080 vsize=13268028 CPUtime=2.48 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22087/stat : 22087 (java) S 22080 22083 19235 0 -1 1077944384 1520 0 0 0 235 13 0 0 20 0 20 0 8784303 13586460672 55079 33554432000 4194304 4196468 140734091831488 140629782010768 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22088] ppid=22080 vsize=13268028 CPUtime=2.46 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22088/stat : 22088 (java) S 22080 22083 19235 0 -1 1077944384 1994 0 0 0 232 14 0 0 20 0 20 0 8784303 13586460672 55079 33554432000 4194304 4196468 140734091831488 140629780958224 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22089] ppid=22080 vsize=13268028 CPUtime=2.48 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22089/stat : 22089 (java) S 22080 22083 19235 0 -1 1077944384 3531 0 0 0 236 12 0 0 20 0 20 0 8784303 13586460672 55079 33554432000 4194304 4196468 140734091831488 140629779905680 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22090] ppid=22080 vsize=13268028 CPUtime=2.39 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22090/stat : 22090 (java) S 22080 22083 19235 0 -1 1077944384 2153 0 0 0 227 12 0 0 20 0 20 0 8784303 13586460672 55079 33554432000 4194304 4196468 140734091831488 140629446199568 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22091] ppid=22080 vsize=13268028 CPUtime=2.45 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22091/stat : 22091 (java) S 22080 22083 19235 0 -1 1077944384 2745 0 0 0 233 12 0 0 20 0 20 0 8784303 13586460672 55079 33554432000 4194304 4196468 140734091831488 140629445147024 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22092] ppid=22080 vsize=13268028 CPUtime=2.43 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22092/stat : 22092 (java) S 22080 22083 19235 0 -1 1077944384 2495 0 0 0 231 12 0 0 20 0 20 0 8784303 13586460672 55079 33554432000 4194304 4196468 140734091831488 140629444094480 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22093] ppid=22080 vsize=13268028 CPUtime=2.4 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22093/stat : 22093 (java) S 22080 22083 19235 0 -1 1077944384 1130 0 0 0 229 11 0 0 20 0 20 0 8784303 13586460672 55079 33554432000 4194304 4196468 140734091831488 140629443041936 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22094] ppid=22080 vsize=13268028 CPUtime=1.71 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22094/stat : 22094 (java) S 22080 22083 19235 0 -1 1077944384 5670 0 0 0 157 14 0 0 20 0 20 0 8784304 13586460672 55079 33554432000 4194304 4196468 140734091831488 140629381581296 140629850937986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22095] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22095/stat : 22095 (java) S 22080 22083 19235 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 8784305 13586460672 55079 33554432000 4194304 4196468 140734091831488 140629380527584 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22096] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22096/stat : 22096 (java) S 22080 22083 19235 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 8784305 13586460672 55079 33554432000 4194304 4196468 140734091831488 140629379474944 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22097] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22097/stat : 22097 (java) S 22080 22083 19235 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8784308 13586460672 55079 33554432000 4194304 4196468 140734091831488 140629378423504 140629850945435 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22098] ppid=22080 vsize=13268028 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22098/stat : 22098 (java) S 22080 22083 19235 0 -1 1077944384 7122 0 0 0 112 1 0 0 20 0 20 0 8784308 13586460672 55079 33554432000 4194304 4196468 140734091831488 140629377370096 140629850937986 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22099] ppid=22080 vsize=13268028 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22099/stat : 22099 (java) S 22080 22083 19235 0 -1 1077944384 6050 0 0 0 99 1 0 0 20 0 20 0 8784308 13586460672 55079 33554432000 4194304 4196468 140734091831488 140629308860528 140629850937986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22100] ppid=22080 vsize=13268028 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22100/stat : 22100 (java) S 22080 22083 19235 0 -1 1077944384 4073 0 0 0 87 1 0 0 20 0 20 0 8784308 13586460672 55079 33554432000 4194304 4196468 140734091831488 140629307807984 140629850937986 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22101] ppid=22080 vsize=13268028 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22101/stat : 22101 (java) S 22080 22083 19235 0 -1 1077944384 3872 0 0 0 45 1 0 0 20 0 20 0 8784308 13586460672 55079 33554432000 4194304 4196468 140734091831488 140629306755440 140629850937986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22102] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22102/stat : 22102 (java) S 22080 22083 19235 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8784308 13586460672 55079 33554432000 4194304 4196468 140734091831488 140629305703136 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22103] ppid=22080 vsize=13268028 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22103/stat : 22103 (java) S 22080 22083 19235 0 -1 1077944384 789 0 0 0 21 30 0 0 20 0 20 0 8784309 13586460672 55079 33554432000 4194304 4196468 140734091831488 140629304650672 140629850937986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
Current children cumulated CPU time (s) 2342.23
Current children cumulated vsize (KiB) 13268028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2379.7 s]
/proc/loadavg: 1.70 1.62 1.52 3/285 22289
/proc/meminfo: memFree=31175884/32770624 swapFree=5904/302972
[pid=22083] ppid=22080 vsize=13268028 CPUtime=2400.04 cores=1,3,5,7,9,11,13,15
/proc/22083/stat : 22083 (java) S 22080 22083 19235 0 -1 1077944320 71473 0 0 0 239854 150 0 0 20 0 20 0 8784301 13586460672 55591 33554432000 4194304 4196468 140734091831488 140734091814032 140629850926839 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
/proc/22083/statm: 3317007 55591 3803 1 0 3304722 0
[pid=22083/tid=22084] ppid=22080 vsize=13268028 CPUtime=2374.07 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22084/stat : 22084 (java) R 22080 22083 19235 0 -1 4202560 25793 0 0 0 237394 13 0 0 20 0 20 0 8784302 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629855165232 140629464376972 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22086] ppid=22080 vsize=13268028 CPUtime=2.55 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22086/stat : 22086 (java) S 22080 22083 19235 0 -1 1077944384 980 0 0 0 241 14 0 0 20 0 20 0 8784303 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629783063312 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22087] ppid=22080 vsize=13268028 CPUtime=2.53 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22087/stat : 22087 (java) S 22080 22083 19235 0 -1 1077944384 1534 0 0 0 240 13 0 0 20 0 20 0 8784303 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629782010768 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22088] ppid=22080 vsize=13268028 CPUtime=2.53 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22088/stat : 22088 (java) S 22080 22083 19235 0 -1 1077944384 2004 0 0 0 239 14 0 0 20 0 20 0 8784303 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629780958224 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22089] ppid=22080 vsize=13268028 CPUtime=2.55 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22089/stat : 22089 (java) S 22080 22083 19235 0 -1 1077944384 3549 0 0 0 242 13 0 0 20 0 20 0 8784303 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629779905680 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22090] ppid=22080 vsize=13268028 CPUtime=2.47 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22090/stat : 22090 (java) S 22080 22083 19235 0 -1 1077944384 2161 0 0 0 234 13 0 0 20 0 20 0 8784303 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629446199568 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22091] ppid=22080 vsize=13268028 CPUtime=2.51 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22091/stat : 22091 (java) S 22080 22083 19235 0 -1 1077944384 2757 0 0 0 238 13 0 0 20 0 20 0 8784303 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629445147024 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22092] ppid=22080 vsize=13268028 CPUtime=2.5 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22092/stat : 22092 (java) S 22080 22083 19235 0 -1 1077944384 2532 0 0 0 238 12 0 0 20 0 20 0 8784303 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629444094480 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22093] ppid=22080 vsize=13268028 CPUtime=2.46 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22093/stat : 22093 (java) S 22080 22083 19235 0 -1 1077944384 1142 0 0 0 234 12 0 0 20 0 20 0 8784303 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629443041936 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22094] ppid=22080 vsize=13268028 CPUtime=1.76 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22094/stat : 22094 (java) S 22080 22083 19235 0 -1 1077944384 5672 0 0 0 162 14 0 0 20 0 20 0 8784304 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629381581296 140629850937986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22095] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22095/stat : 22095 (java) S 22080 22083 19235 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 8784305 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629380527584 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22096] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22096/stat : 22096 (java) S 22080 22083 19235 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 8784305 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629379474944 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22097] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22097/stat : 22097 (java) S 22080 22083 19235 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8784308 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629378423504 140629850945435 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22098] ppid=22080 vsize=13268028 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22098/stat : 22098 (java) S 22080 22083 19235 0 -1 1077944384 7122 0 0 0 112 1 0 0 20 0 20 0 8784308 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629377370096 140629850937986 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22099] ppid=22080 vsize=13268028 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22099/stat : 22099 (java) S 22080 22083 19235 0 -1 1077944384 6050 0 0 0 99 1 0 0 20 0 20 0 8784308 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629308860528 140629850937986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22100] ppid=22080 vsize=13268028 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22100/stat : 22100 (java) S 22080 22083 19235 0 -1 1077944384 4073 0 0 0 87 1 0 0 20 0 20 0 8784308 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629307807984 140629850937986 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22101] ppid=22080 vsize=13268028 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22101/stat : 22101 (java) S 22080 22083 19235 0 -1 1077944384 3872 0 0 0 45 1 0 0 20 0 20 0 8784308 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629306755440 140629850937986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22102] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22102/stat : 22102 (java) S 22080 22083 19235 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8784308 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629305703136 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22103] ppid=22080 vsize=13268028 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22103/stat : 22103 (java) S 22080 22083 19235 0 -1 1077944384 791 0 0 0 21 31 0 0 20 0 20 0 8784309 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629304650672 140629850937986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 13268028
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 22083 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2379.7 s]
/proc/loadavg: 1.70 1.62 1.52 3/285 22289
/proc/meminfo: memFree=31175884/32770624 swapFree=5904/302972
[pid=22083] ppid=22080 vsize=13268028 CPUtime=2400.04 cores=1,3,5,7,9,11,13,15
/proc/22083/stat : 22083 (java) S 22080 22083 19235 0 -1 1077944320 71473 0 0 0 239854 150 0 0 20 0 20 0 8784301 13586460672 55591 33554432000 4194304 4196468 140734091831488 140734091814032 140629850926839 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
/proc/22083/statm: 3317007 55591 3803 1 0 3304722 0
[pid=22083/tid=22084] ppid=22080 vsize=13268028 CPUtime=2374.07 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22084/stat : 22084 (java) R 22080 22083 19235 0 -1 4202560 25793 0 0 0 237394 13 0 0 20 0 20 0 8784302 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629855165232 140629464376972 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22086] ppid=22080 vsize=13268028 CPUtime=2.55 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22086/stat : 22086 (java) S 22080 22083 19235 0 -1 1077944384 980 0 0 0 241 14 0 0 20 0 20 0 8784303 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629783063312 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22087] ppid=22080 vsize=13268028 CPUtime=2.53 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22087/stat : 22087 (java) S 22080 22083 19235 0 -1 1077944384 1534 0 0 0 240 13 0 0 20 0 20 0 8784303 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629782010768 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22088] ppid=22080 vsize=13268028 CPUtime=2.53 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22088/stat : 22088 (java) S 22080 22083 19235 0 -1 1077944384 2004 0 0 0 239 14 0 0 20 0 20 0 8784303 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629780958224 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22089] ppid=22080 vsize=13268028 CPUtime=2.55 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22089/stat : 22089 (java) S 22080 22083 19235 0 -1 1077944384 3549 0 0 0 242 13 0 0 20 0 20 0 8784303 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629779905680 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22090] ppid=22080 vsize=13268028 CPUtime=2.47 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22090/stat : 22090 (java) S 22080 22083 19235 0 -1 1077944384 2161 0 0 0 234 13 0 0 20 0 20 0 8784303 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629446199568 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22091] ppid=22080 vsize=13268028 CPUtime=2.51 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22091/stat : 22091 (java) S 22080 22083 19235 0 -1 1077944384 2757 0 0 0 238 13 0 0 20 0 20 0 8784303 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629445147024 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22092] ppid=22080 vsize=13268028 CPUtime=2.5 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22092/stat : 22092 (java) S 22080 22083 19235 0 -1 1077944384 2532 0 0 0 238 12 0 0 20 0 20 0 8784303 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629444094480 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22093] ppid=22080 vsize=13268028 CPUtime=2.46 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22093/stat : 22093 (java) S 22080 22083 19235 0 -1 1077944384 1142 0 0 0 234 12 0 0 20 0 20 0 8784303 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629443041936 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22094] ppid=22080 vsize=13268028 CPUtime=1.76 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22094/stat : 22094 (java) S 22080 22083 19235 0 -1 1077944384 5672 0 0 0 162 14 0 0 20 0 20 0 8784304 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629381581296 140629850937986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22095] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22095/stat : 22095 (java) S 22080 22083 19235 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 8784305 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629380527584 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22096] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22096/stat : 22096 (java) S 22080 22083 19235 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 8784305 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629379474944 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22097] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22097/stat : 22097 (java) S 22080 22083 19235 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8784308 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629378423504 140629850945435 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22098] ppid=22080 vsize=13268028 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22098/stat : 22098 (java) S 22080 22083 19235 0 -1 1077944384 7122 0 0 0 112 1 0 0 20 0 20 0 8784308 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629377370096 140629850937986 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22099] ppid=22080 vsize=13268028 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22099/stat : 22099 (java) S 22080 22083 19235 0 -1 1077944384 6050 0 0 0 99 1 0 0 20 0 20 0 8784308 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629308860528 140629850937986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22100] ppid=22080 vsize=13268028 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22100/stat : 22100 (java) S 22080 22083 19235 0 -1 1077944384 4073 0 0 0 87 1 0 0 20 0 20 0 8784308 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629307807984 140629850937986 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22101] ppid=22080 vsize=13268028 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22101/stat : 22101 (java) S 22080 22083 19235 0 -1 1077944384 3872 0 0 0 45 1 0 0 20 0 20 0 8784308 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629306755440 140629850937986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22102] ppid=22080 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22102/stat : 22102 (java) S 22080 22083 19235 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8784308 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629305703136 140629850937045 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
[pid=22083/tid=22103] ppid=22080 vsize=13268028 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/22083/task/22103/stat : 22103 (java) S 22080 22083 19235 0 -1 1077944384 791 0 0 0 21 31 0 0 20 0 20 0 8784309 13586460672 55591 33554432000 4194304 4196468 140734091831488 140629304650672 140629850937986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 11063296 140734091838606 140734091838788 140734091838788 140734091841487 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 13268028
Child status: 143
Real time (s): 2379.71
CPU time (s): 2400.06
CPU user time (s): 2398.55
CPU system time (s): 1.50818
CPU usage (%): 100.855
Max. virtual memory (cumulated for all children) (KiB): 13268028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.55
system time used= 1.50818
maximum resident set size= 226640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71690
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 132153
involuntary context switches= 136292
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1029 second user time and 18.7892 second system time
The end