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-4261948-1502442583/watcher-4261948-1502442583 -o /tmp/evaluation-result-4261948-1502442583/solver-4261948-1502442583 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502411403-4960 --watchdog 2580 bin/concrete HOME/instance-4261948-1502442583.xml
pid=15103
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.48 1.49 1.49 3/199 15106
/proc/meminfo: memFree=30000636/32770624 swapFree=0/449792
[pid=15106] ppid=15103 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/15106/stat : 15106 (runsolver) D 15103 15106 4896 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 143911233 24240128 106 18446744073709551615 4194304 4338465 140733204514656 140733204512296 140344693928663 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 24027136 140733204521169 140733204521545 140733204521545 140733204525002 0
/proc/15106/statm: 5918 106 53 36 0 2156 0
[startup+0.100143 s]
/proc/loadavg: 1.48 1.49 1.49 3/199 15106
/proc/meminfo: memFree=30000636/32770624 swapFree=0/449792
[pid=15106] ppid=15103 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/15106/stat : 15106 (bash) S 15103 15106 4896 0 -1 4202496 897 6480 0 0 0 0 0 1 20 0 1 0 143911233 9867264 372 18446744073709551615 4194304 5098028 140732315576576 140732315570584 140404854516736 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 7 0 0 7196144 7232144 31191040 140732315582996 140732315583081 140732315583081 140732315586538 0
/proc/15106/statm: 2409 372 292 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.200322 s]
/proc/loadavg: 1.48 1.49 1.49 3/199 15106
/proc/meminfo: memFree=30000636/32770624 swapFree=0/449792
[pid=15106] ppid=15103 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/15106/stat : 15106 (bash) S 15103 15106 4896 0 -1 4202496 897 6480 0 0 0 0 0 1 20 0 1 0 143911233 9867264 372 18446744073709551615 4194304 5098028 140732315576576 140732315570584 140404854516736 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 7 0 0 7196144 7232144 31191040 140732315582996 140732315583081 140732315583081 140732315586538 0
/proc/15106/statm: 2409 372 292 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300346 s]
/proc/loadavg: 1.48 1.49 1.49 3/199 15106
/proc/meminfo: memFree=30000636/32770624 swapFree=0/449792
[pid=15106] ppid=15103 vsize=13907308 CPUtime=0.14 cores=1,3,5,7
/proc/15106/stat : 15106 (java) S 15103 15106 4896 0 -1 1077944320 5483 12756 0 0 5 1 5 3 20 0 14 0 143911233 14241083392 5170 18446744073709551615 4194304 4196468 140723228015008 140723227997552 140307138109175 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
/proc/15106/statm: 3476827 5170 2573 1 0 3466324 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308
[startup+0.700208 s]
/proc/loadavg: 1.48 1.49 1.49 3/199 15106
/proc/meminfo: memFree=30000636/32770624 swapFree=0/449792
[pid=15106] ppid=15103 vsize=13974784 CPUtime=0.7 cores=1,3,5,7
/proc/15106/stat : 15106 (java) S 15103 15106 4896 0 -1 1077944320 13591 12756 0 0 58 4 5 3 20 0 15 0 143911233 14310178816 15043 18446744073709551615 4194304 4196468 140723228015008 140723227997552 140307138109175 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
/proc/15106/statm: 3493696 15043 3124 1 0 3482965 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 13974784
[startup+1.50138 s]
/proc/loadavg: 1.60 1.52 1.50 4/214 15169
/proc/meminfo: memFree=29904260/32770624 swapFree=0/449872
[pid=15106] ppid=15103 vsize=13985408 CPUtime=1.91 cores=1,3,5,7
/proc/15106/stat : 15106 (java) S 15103 15106 4896 0 -1 1077944320 26010 12756 0 0 173 10 5 3 20 0 15 0 143911233 14321057792 43719 18446744073709551615 4194304 4196468 140723228015008 140723227997552 140307138109175 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
/proc/15106/statm: 3496352 43719 3366 1 0 3485525 0
[pid=15106/tid=15156] ppid=15103 vsize=13985408 CPUtime=1.28 cores=1,3,5,7
/proc/15106/task/15156/stat : 15156 (java) S 15103 15106 4896 0 -1 1077944384 19931 12756 0 0 114 6 5 3 20 0 15 0 143911254 14321057792 43719 18446744073709551615 4194304 4196468 140723228015008 140307142326480 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15157] ppid=15103 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15157/stat : 15157 (java) R 15103 15106 4896 0 -1 4202560 46 12756 0 0 0 0 5 3 20 0 15 0 143911255 14321057792 43719 18446744073709551615 4194304 4196468 140723228015008 140307057523720 140307130737383 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15158] ppid=15103 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15158/stat : 15158 (java) S 15103 15106 4896 0 -1 1077944384 11 12756 0 0 0 0 5 3 20 0 15 0 143911255 14321057792 43719 18446744073709551615 4194304 4196468 140723228015008 140307056470800 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15159] ppid=15103 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/15106/task/15159/stat : 15159 (java) S 15103 15106 4896 0 -1 1077944384 212 12756 0 0 1 0 5 3 20 0 15 0 143911255 14321057792 43719 18446744073709551615 4194304 4196468 140723228015008 140307055418528 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15160] ppid=15103 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15160/stat : 15160 (java) S 15103 15106 4896 0 -1 1077944384 38 12756 0 0 0 0 5 3 20 0 15 0 143911255 14321057792 43719 18446744073709551615 4194304 4196468 140723228015008 140307054365712 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15161] ppid=15103 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/15106/task/15161/stat : 15161 (java) S 15103 15106 4896 0 -1 1077944384 638 12756 0 0 1 0 5 3 20 0 15 0 143911256 14321057792 43719 18446744073709551615 4194304 4196468 140723228015008 140306054611616 140307138119381 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15162] ppid=15103 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15162/stat : 15162 (java) S 15103 15106 4896 0 -1 1077944384 33 12756 0 0 0 0 5 3 20 0 15 0 143911257 14321057792 43719 18446744073709551615 4194304 4196468 140723228015008 140306053559072 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15163] ppid=15103 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15163/stat : 15163 (java) S 15103 15106 4896 0 -1 1077944384 21 12756 0 0 0 0 5 3 20 0 15 0 143911257 14321057792 43719 18446744073709551615 4194304 4196468 140723228015008 140306052506736 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15164] ppid=15103 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15164/stat : 15164 (java) S 15103 15106 4896 0 -1 1077944384 3 12756 0 0 0 0 5 3 20 0 15 0 143911259 14321057792 43719 18446744073709551615 4194304 4196468 140723228015008 140306051455056 140307138127771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15165] ppid=15103 vsize=13985408 CPUtime=0.22 cores=1,3,5,7
/proc/15106/task/15165/stat : 15165 (java) S 15103 15106 4896 0 -1 1077944384 1046 12756 0 0 14 0 5 3 20 0 15 0 143911260 14321057792 43719 18446744073709551615 4194304 4196468 140723228015008 140306050402928 140307138120322 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15166] ppid=15103 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/15106/task/15166/stat : 15166 (java) S 15103 15106 4896 0 -1 1077944384 595 12756 0 0 15 0 5 3 20 0 15 0 143911260 14321057792 43719 18446744073709551615 4194304 4196468 140723228015008 140306049350128 140307138120322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15167] ppid=15103 vsize=13985408 CPUtime=0.32 cores=1,3,5,7
/proc/15106/task/15167/stat : 15167 (java) S 15103 15106 4896 0 -1 1077944384 1276 12756 0 0 23 1 5 3 20 0 15 0 143911260 14321057792 43719 18446744073709551615 4194304 4196468 140723228015008 140306048293712 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15168] ppid=15103 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15168/stat : 15168 (java) S 15103 15106 4896 0 -1 1077944384 3 12756 0 0 0 0 5 3 20 0 15 0 143911260 14321057792 43719 18446744073709551615 4194304 4196468 140723228015008 140306047245280 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15169] ppid=15103 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15169/stat : 15169 (java) S 15103 15106 4896 0 -1 1077944384 3 12756 0 0 0 0 5 3 20 0 15 0 143911263 14321057792 43719 18446744073709551615 4194304 4196468 140723228015008 140305575700912 140307138120322 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 13985408
[startup+3.10071 s]
/proc/loadavg: 1.60 1.52 1.50 3/214 15169
/proc/meminfo: memFree=29828292/32770624 swapFree=0/449872
[pid=15106] ppid=15103 vsize=13995836 CPUtime=6.03 cores=1,3,5,7
/proc/15106/stat : 15106 (java) S 15103 15106 4896 0 -1 1077944320 32283 12756 0 0 576 19 5 3 20 0 15 0 143911233 14331736064 76313 18446744073709551615 4194304 4196468 140723228015008 140723227997552 140307138109175 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
/proc/15106/statm: 3498959 76313 3464 1 0 3487573 0
[pid=15106/tid=15156] ppid=15103 vsize=13995836 CPUtime=2.84 cores=1,3,5,7
/proc/15106/task/15156/stat : 15156 (java) R 15103 15106 4896 0 -1 4202560 22836 12756 0 0 267 9 5 3 20 0 15 0 143911254 14331736064 76313 18446744073709551615 4194304 4196468 140723228015008 140307142329296 140307122189662 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15157] ppid=15103 vsize=13995836 CPUtime=0.12 cores=1,3,5,7
/proc/15106/task/15157/stat : 15157 (java) S 15103 15106 4896 0 -1 1077944384 106 12756 0 0 3 1 5 3 20 0 15 0 143911255 14331736064 76313 18446744073709551615 4194304 4196468 140723228015008 140307057523600 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15158] ppid=15103 vsize=13995836 CPUtime=0.11 cores=1,3,5,7
/proc/15106/task/15158/stat : 15158 (java) S 15103 15106 4896 0 -1 1077944384 95 12756 0 0 2 1 5 3 20 0 15 0 143911255 14331736064 76313 18446744073709551615 4194304 4196468 140723228015008 140307056470800 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15159] ppid=15103 vsize=13995836 CPUtime=0.12 cores=1,3,5,7
/proc/15106/task/15159/stat : 15159 (java) S 15103 15106 4896 0 -1 1077944384 284 12756 0 0 3 1 5 3 20 0 15 0 143911255 14331736064 76313 18446744073709551615 4194304 4196468 140723228015008 140307055418512 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15160] ppid=15103 vsize=13995836 CPUtime=0.11 cores=1,3,5,7
/proc/15106/task/15160/stat : 15160 (java) S 15103 15106 4896 0 -1 1077944384 90 12756 0 0 2 1 5 3 20 0 15 0 143911255 14331736064 76313 18446744073709551615 4194304 4196468 140723228015008 140307054365712 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15161] ppid=15103 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/15106/task/15161/stat : 15161 (java) S 15103 15106 4896 0 -1 1077944384 692 12756 0 0 1 0 5 3 20 0 15 0 143911256 14331736064 76313 18446744073709551615 4194304 4196468 140723228015008 140306054613104 140307138120322 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15162] ppid=15103 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15162/stat : 15162 (java) S 15103 15106 4896 0 -1 1077944384 54 12756 0 0 0 0 5 3 20 0 15 0 143911257 14331736064 76313 18446744073709551615 4194304 4196468 140723228015008 140306053559136 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15163] ppid=15103 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15163/stat : 15163 (java) S 15103 15106 4896 0 -1 1077944384 44 12756 0 0 0 0 5 3 20 0 15 0 143911257 14331736064 76313 18446744073709551615 4194304 4196468 140723228015008 140306052506752 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15164] ppid=15103 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15164/stat : 15164 (java) S 15103 15106 4896 0 -1 1077944384 3 12756 0 0 0 0 5 3 20 0 15 0 143911259 14331736064 76313 18446744073709551615 4194304 4196468 140723228015008 140306051455056 140307138127771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15165] ppid=15103 vsize=13995836 CPUtime=1.12 cores=1,3,5,7
/proc/15106/task/15165/stat : 15165 (java) R 15103 15106 4896 0 -1 4202560 1654 12756 0 0 104 0 5 3 20 0 15 0 143911260 14331736064 76313 18446744073709551615 4194304 4196468 140723228015008 140306050395952 140307122088848 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15166] ppid=15103 vsize=13995836 CPUtime=1.14 cores=1,3,5,7
/proc/15106/task/15166/stat : 15166 (java) R 15103 15106 4896 0 -1 4202560 1517 12756 0 0 105 1 5 3 20 0 15 0 143911260 14331736064 76313 18446744073709551615 4194304 4196468 140723228015008 140306049350256 140307115856656 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15167] ppid=15103 vsize=13995836 CPUtime=0.92 cores=1,3,5,7
/proc/15106/task/15167/stat : 15167 (java) S 15103 15106 4896 0 -1 1077944384 2749 12756 0 0 83 1 5 3 20 0 15 0 143911260 14331736064 76313 18446744073709551615 4194304 4196468 140723228015008 140306048297840 140307138120322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15168] ppid=15103 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15168/stat : 15168 (java) S 15103 15106 4896 0 -1 1077944384 3 12756 0 0 0 0 5 3 20 0 15 0 143911260 14331736064 76313 18446744073709551615 4194304 4196468 140723228015008 140306047245280 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15169] ppid=15103 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15169/stat : 15169 (java) S 15103 15106 4896 0 -1 1077944384 3 12756 0 0 0 0 5 3 20 0 15 0 143911263 14331736064 76313 18446744073709551615 4194304 4196468 140723228015008 140305575700912 140307138120322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 13995836
[startup+6.30066 s]
/proc/loadavg: 1.87 1.57 1.52 5/214 15169
/proc/meminfo: memFree=29362632/32770624 swapFree=0/449872
[pid=15106] ppid=15103 vsize=13997884 CPUtime=14.24 cores=1,3,5,7
/proc/15106/stat : 15106 (java) S 15103 15106 4896 0 -1 1077944320 50651 12756 0 0 1374 42 5 3 20 0 15 0 143911233 14333833216 174602 18446744073709551615 4194304 4196468 140723228015008 140723227997552 140307138109175 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
/proc/15106/statm: 3499471 174602 3478 1 0 3488085 0
[pid=15106/tid=15156] ppid=15103 vsize=13997884 CPUtime=5.81 cores=1,3,5,7
/proc/15106/task/15156/stat : 15156 (java) R 15103 15106 4896 0 -1 4202560 26700 12756 0 0 560 13 5 3 20 0 15 0 143911254 14333833216 174602 18446744073709551615 4194304 4196468 140723228015008 140307142342576 140306743950195 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15157] ppid=15103 vsize=13997884 CPUtime=0.3 cores=1,3,5,7
/proc/15106/task/15157/stat : 15157 (java) S 15103 15106 4896 0 -1 1077944384 349 12756 0 0 17 5 5 3 20 0 15 0 143911255 14333833216 174602 18446744073709551615 4194304 4196468 140723228015008 140307057523600 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15158] ppid=15103 vsize=13997884 CPUtime=0.3 cores=1,3,5,7
/proc/15106/task/15158/stat : 15158 (java) S 15103 15106 4896 0 -1 1077944384 306 12756 0 0 17 5 5 3 20 0 15 0 143911255 14333833216 174602 18446744073709551615 4194304 4196468 140723228015008 140307056470800 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15159] ppid=15103 vsize=13997884 CPUtime=0.32 cores=1,3,5,7
/proc/15106/task/15159/stat : 15159 (java) S 15103 15106 4896 0 -1 1077944384 897 12756 0 0 19 5 5 3 20 0 15 0 143911255 14333833216 174602 18446744073709551615 4194304 4196468 140723228015008 140307055418512 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15160] ppid=15103 vsize=13997884 CPUtime=0.3 cores=1,3,5,7
/proc/15106/task/15160/stat : 15160 (java) S 15103 15106 4896 0 -1 1077944384 290 12756 0 0 17 5 5 3 20 0 15 0 143911255 14333833216 174602 18446744073709551615 4194304 4196468 140723228015008 140307054365712 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15161] ppid=15103 vsize=13997884 CPUtime=0.1 cores=1,3,5,7
/proc/15106/task/15161/stat : 15161 (java) S 15103 15106 4896 0 -1 1077944384 1045 12756 0 0 2 0 5 3 20 0 15 0 143911256 14333833216 174602 18446744073709551615 4194304 4196468 140723228015008 140306054613104 140307138120322 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15162] ppid=15103 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15162/stat : 15162 (java) S 15103 15106 4896 0 -1 1077944384 56 12756 0 0 0 0 5 3 20 0 15 0 143911257 14333833216 174602 18446744073709551615 4194304 4196468 140723228015008 140306053559136 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15163] ppid=15103 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15163/stat : 15163 (java) S 15103 15106 4896 0 -1 1077944384 48 12756 0 0 0 0 5 3 20 0 15 0 143911257 14333833216 174602 18446744073709551615 4194304 4196468 140723228015008 140306052506752 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15164] ppid=15103 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15164/stat : 15164 (java) S 15103 15106 4896 0 -1 1077944384 3 12756 0 0 0 0 5 3 20 0 15 0 143911259 14333833216 174602 18446744073709551615 4194304 4196468 140723228015008 140306051455056 140307138127771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15165] ppid=15103 vsize=13997884 CPUtime=2.98 cores=1,3,5,7
/proc/15106/task/15165/stat : 15165 (java) S 15103 15106 4896 0 -1 1077944384 5987 12756 0 0 289 1 5 3 20 0 15 0 143911260 14333833216 174602 18446744073709551615 4194304 4196468 140723228015008 140306050402928 140307138120322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15166] ppid=15103 vsize=13997884 CPUtime=3.26 cores=1,3,5,7
/proc/15106/task/15166/stat : 15166 (java) S 15103 15106 4896 0 -1 1077944384 5823 12756 0 0 317 1 5 3 20 0 15 0 143911260 14333833216 174602 18446744073709551615 4194304 4196468 140723228015008 140306049350128 140307138120322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15167] ppid=15103 vsize=13997884 CPUtime=1.4 cores=1,3,5,7
/proc/15106/task/15167/stat : 15167 (java) S 15103 15106 4896 0 -1 1077944384 6940 12756 0 0 130 2 5 3 20 0 15 0 143911260 14333833216 174602 18446744073709551615 4194304 4196468 140723228015008 140306048297840 140307138120322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15168] ppid=15103 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15168/stat : 15168 (java) S 15103 15106 4896 0 -1 1077944384 3 12756 0 0 0 0 5 3 20 0 15 0 143911260 14333833216 174602 18446744073709551615 4194304 4196468 140723228015008 140306047245280 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15169] ppid=15103 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15169/stat : 15169 (java) S 15103 15106 4896 0 -1 1077944384 50 12756 0 0 0 0 5 3 20 0 15 0 143911263 14333833216 174602 18446744073709551615 4194304 4196468 140723228015008 140305575700912 140307138120322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
Current children cumulated CPU time (s) 14.24
Current children cumulated vsize (KiB) 13997884
[startup+12.7005 s]
/proc/loadavg: 1.80 1.56 1.51 4/214 15169
/proc/meminfo: memFree=27301420/32770624 swapFree=0/449872
[pid=15106] ppid=15103 vsize=13997884 CPUtime=23.55 cores=1,3,5,7
/proc/15106/stat : 15106 (java) S 15103 15106 4896 0 -1 1077944320 64744 12756 0 0 2259 88 5 3 20 0 15 0 143911233 14333833216 676395 18446744073709551615 4194304 4196468 140723228015008 140723227997552 140307138109175 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
/proc/15106/statm: 3499471 676395 3480 1 0 3488085 0
[pid=15106/tid=15156] ppid=15103 vsize=13997884 CPUtime=11.94 cores=1,3,5,7
/proc/15106/task/15156/stat : 15156 (java) R 15103 15106 4896 0 -1 4202560 29402 12756 0 0 1148 38 5 3 20 0 15 0 143911254 14333833216 676395 18446744073709551615 4194304 4196468 140723228015008 140307142338680 140306744223692 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15157] ppid=15103 vsize=13997884 CPUtime=0.55 cores=1,3,5,7
/proc/15106/task/15157/stat : 15157 (java) S 15103 15106 4896 0 -1 1077944384 560 12756 0 0 37 10 5 3 20 0 15 0 143911255 14333833216 676395 18446744073709551615 4194304 4196468 140723228015008 140307057523600 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15158] ppid=15103 vsize=13997884 CPUtime=0.55 cores=1,3,5,7
/proc/15106/task/15158/stat : 15158 (java) S 15103 15106 4896 0 -1 1077944384 461 12756 0 0 37 10 5 3 20 0 15 0 143911255 14333833216 676395 18446744073709551615 4194304 4196468 140723228015008 140307056470800 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15159] ppid=15103 vsize=13997884 CPUtime=0.57 cores=1,3,5,7
/proc/15106/task/15159/stat : 15159 (java) S 15103 15106 4896 0 -1 1077944384 1051 12756 0 0 39 10 5 3 20 0 15 0 143911255 14333833216 676395 18446744073709551615 4194304 4196468 140723228015008 140307055418512 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15160] ppid=15103 vsize=13997884 CPUtime=0.55 cores=1,3,5,7
/proc/15106/task/15160/stat : 15160 (java) S 15103 15106 4896 0 -1 1077944384 469 12756 0 0 38 9 5 3 20 0 15 0 143911255 14333833216 676395 18446744073709551615 4194304 4196468 140723228015008 140307054365712 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15161] ppid=15103 vsize=13997884 CPUtime=0.11 cores=1,3,5,7
/proc/15106/task/15161/stat : 15161 (java) S 15103 15106 4896 0 -1 1077944384 2359 12756 0 0 3 0 5 3 20 0 15 0 143911256 14333833216 676395 18446744073709551615 4194304 4196468 140723228015008 140306054613104 140307138120322 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15162] ppid=15103 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15162/stat : 15162 (java) S 15103 15106 4896 0 -1 1077944384 56 12756 0 0 0 0 5 3 20 0 15 0 143911257 14333833216 676395 18446744073709551615 4194304 4196468 140723228015008 140306053559136 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15163] ppid=15103 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15163/stat : 15163 (java) S 15103 15106 4896 0 -1 1077944384 48 12756 0 0 0 0 5 3 20 0 15 0 143911257 14333833216 676395 18446744073709551615 4194304 4196468 140723228015008 140306052506752 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15164] ppid=15103 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15164/stat : 15164 (java) S 15103 15106 4896 0 -1 1077944384 3 12756 0 0 0 0 5 3 20 0 15 0 143911259 14333833216 676395 18446744073709551615 4194304 4196468 140723228015008 140306051455056 140307138127771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
################
# More data... #
################
/proc/15106/task/15168/stat : 15168 (java) S 15103 15106 4896 0 -1 1077944384 3 12756 0 0 0 0 5 3 20 0 15 0 143911260 14407233536 791488 18446744073709551615 4194304 4196468 140723228015008 140306047245280 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15169] ppid=15103 vsize=14069564 CPUtime=1.34 cores=1,3,5,7
/proc/15106/task/15169/stat : 15169 (java) S 15103 15106 4896 0 -1 1077944384 2376 12756 0 0 60 66 5 3 20 0 15 0 143911263 14407233536 791488 18446744073709551615 4194304 4196468 140723228015008 140305575700912 140307138120322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
Current children cumulated CPU time (s) 2364
Current children cumulated vsize (KiB) 14069564
[startup+2382.3 s]
/proc/loadavg: 1.48 1.58 1.65 3/214 15467
/proc/meminfo: memFree=24293600/32770624 swapFree=0/450048
[pid=15106] ppid=15103 vsize=14069564 CPUtime=2424.65 cores=1,3,5,7
/proc/15106/stat : 15106 (java) S 15103 15106 4896 0 -1 1077944320 591090 12756 0 0 242183 274 5 3 20 0 15 0 143911233 14407233536 778663 18446744073709551615 4194304 4196468 140723228015008 140723227997552 140307138109175 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
/proc/15106/statm: 3517391 778663 3500 1 0 3506005 0
[pid=15106/tid=15156] ppid=15103 vsize=14069564 CPUtime=2374.88 cores=1,3,5,7
/proc/15106/task/15156/stat : 15156 (java) R 15103 15106 4896 0 -1 4202560 252620 12756 0 0 237388 92 5 3 20 0 15 0 143911254 14407233536 778663 18446744073709551615 4194304 4196468 140723228015008 140307142343312 140306750383986 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15157] ppid=15103 vsize=14069564 CPUtime=5.27 cores=1,3,5,7
/proc/15106/task/15157/stat : 15157 (java) S 15103 15106 4896 0 -1 1077944384 38222 12756 0 0 496 23 5 3 20 0 15 0 143911255 14407233536 778663 18446744073709551615 4194304 4196468 140723228015008 140307057523600 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15158] ppid=15103 vsize=14069564 CPUtime=5.29 cores=1,3,5,7
/proc/15106/task/15158/stat : 15158 (java) S 15103 15106 4896 0 -1 1077944384 29765 12756 0 0 499 22 5 3 20 0 15 0 143911255 14407233536 778663 18446744073709551615 4194304 4196468 140723228015008 140307056470800 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15159] ppid=15103 vsize=14069564 CPUtime=5.3 cores=1,3,5,7
/proc/15106/task/15159/stat : 15159 (java) S 15103 15106 4896 0 -1 1077944384 29923 12756 0 0 500 22 5 3 20 0 15 0 143911255 14407233536 778663 18446744073709551615 4194304 4196468 140723228015008 140307055418512 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15160] ppid=15103 vsize=14069564 CPUtime=5.28 cores=1,3,5,7
/proc/15106/task/15160/stat : 15160 (java) S 15103 15106 4896 0 -1 1077944384 43477 12756 0 0 500 20 5 3 20 0 15 0 143911255 14407233536 778663 18446744073709551615 4194304 4196468 140723228015008 140307054365712 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15161] ppid=15103 vsize=14069564 CPUtime=1.53 cores=1,3,5,7
/proc/15106/task/15161/stat : 15161 (java) S 15103 15106 4896 0 -1 1077944384 40763 12756 0 0 126 19 5 3 20 0 15 0 143911256 14407233536 778663 18446744073709551615 4194304 4196468 140723228015008 140306054613104 140307138120322 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15162] ppid=15103 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15162/stat : 15162 (java) S 15103 15106 4896 0 -1 1077944384 142 12756 0 0 0 0 5 3 20 0 15 0 143911257 14407233536 778663 18446744073709551615 4194304 4196468 140723228015008 140306053559200 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15163] ppid=15103 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15163/stat : 15163 (java) S 15103 15106 4896 0 -1 1077944384 78 12756 0 0 0 0 5 3 20 0 15 0 143911257 14407233536 778663 18446744073709551615 4194304 4196468 140723228015008 140306052506752 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15164] ppid=15103 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15164/stat : 15164 (java) S 15103 15106 4896 0 -1 1077944384 3 12756 0 0 0 0 5 3 20 0 15 0 143911259 14407233536 778663 18446744073709551615 4194304 4196468 140723228015008 140306051455056 140307138127771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15165] ppid=15103 vsize=14069564 CPUtime=11.44 cores=1,3,5,7
/proc/15106/task/15165/stat : 15165 (java) S 15103 15106 4896 0 -1 1077944384 45459 12756 0 0 1129 7 5 3 20 0 15 0 143911260 14407233536 778663 18446744073709551615 4194304 4196468 140723228015008 140306050402928 140307138120322 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15166] ppid=15103 vsize=14069564 CPUtime=11.68 cores=1,3,5,7
/proc/15106/task/15166/stat : 15166 (java) S 15103 15106 4896 0 -1 1077944384 46919 12756 0 0 1154 6 5 3 20 0 15 0 143911260 14407233536 778663 18446744073709551615 4194304 4196468 140723228015008 140306049350128 140307138120322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15167] ppid=15103 vsize=14069564 CPUtime=3.21 cores=1,3,5,7
/proc/15106/task/15167/stat : 15167 (java) S 15103 15106 4896 0 -1 1077944384 59110 12756 0 0 304 9 5 3 20 0 15 0 143911260 14407233536 778663 18446744073709551615 4194304 4196468 140723228015008 140306048297840 140307138120322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15168] ppid=15103 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15168/stat : 15168 (java) S 15103 15106 4896 0 -1 1077944384 3 12756 0 0 0 0 5 3 20 0 15 0 143911260 14407233536 778663 18446744073709551615 4194304 4196468 140723228015008 140306047245280 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15169] ppid=15103 vsize=14069564 CPUtime=1.38 cores=1,3,5,7
/proc/15106/task/15169/stat : 15169 (java) S 15103 15106 4896 0 -1 1077944384 2452 12756 0 0 62 68 5 3 20 0 15 0 143911263 14407233536 778663 18446744073709551615 4194304 4196468 140723228015008 140305575700912 140307138120322 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
Current children cumulated CPU time (s) 2424.65
Current children cumulated vsize (KiB) 14069564
[startup+2442.3 s]
/proc/loadavg: 1.40 1.54 1.63 3/214 15469
/proc/meminfo: memFree=24367628/32770624 swapFree=0/450052
[pid=15106] ppid=15103 vsize=14069564 CPUtime=2485.24 cores=1,3,5,7
/proc/15106/stat : 15106 (java) S 15103 15106 4896 0 -1 1077944320 598012 12756 0 0 248236 280 5 3 20 0 15 0 143911233 14407233536 768659 18446744073709551615 4194304 4196468 140723228015008 140723227997552 140307138109175 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
/proc/15106/statm: 3517391 768659 3500 1 0 3506005 0
[pid=15106/tid=15156] ppid=15103 vsize=14069564 CPUtime=2434.6 cores=1,3,5,7
/proc/15106/task/15156/stat : 15156 (java) R 15103 15106 4896 0 -1 4202560 254612 12756 0 0 243359 93 5 3 20 0 15 0 143911254 14407233536 768659 18446744073709551615 4194304 4196468 140723228015008 140307142343312 140306752959597 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15157] ppid=15103 vsize=14069564 CPUtime=5.46 cores=1,3,5,7
/proc/15106/task/15157/stat : 15157 (java) S 15103 15106 4896 0 -1 1077944384 38588 12756 0 0 515 23 5 3 20 0 15 0 143911255 14407233536 768659 18446744073709551615 4194304 4196468 140723228015008 140307057523600 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15158] ppid=15103 vsize=14069564 CPUtime=5.48 cores=1,3,5,7
/proc/15106/task/15158/stat : 15158 (java) S 15103 15106 4896 0 -1 1077944384 31591 12756 0 0 517 23 5 3 20 0 15 0 143911255 14407233536 768659 18446744073709551615 4194304 4196468 140723228015008 140307056470800 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15159] ppid=15103 vsize=14069564 CPUtime=5.49 cores=1,3,5,7
/proc/15106/task/15159/stat : 15159 (java) S 15103 15106 4896 0 -1 1077944384 30116 12756 0 0 519 22 5 3 20 0 15 0 143911255 14407233536 768659 18446744073709551615 4194304 4196468 140723228015008 140307055418512 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15160] ppid=15103 vsize=14069564 CPUtime=5.47 cores=1,3,5,7
/proc/15106/task/15160/stat : 15160 (java) S 15103 15106 4896 0 -1 1077944384 45232 12756 0 0 519 20 5 3 20 0 15 0 143911255 14407233536 768659 18446744073709551615 4194304 4196468 140723228015008 140307054365712 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15161] ppid=15103 vsize=14069564 CPUtime=1.6 cores=1,3,5,7
/proc/15106/task/15161/stat : 15161 (java) S 15103 15106 4896 0 -1 1077944384 41491 12756 0 0 132 20 5 3 20 0 15 0 143911256 14407233536 768659 18446744073709551615 4194304 4196468 140723228015008 140306054613104 140307138120322 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15162] ppid=15103 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15162/stat : 15162 (java) S 15103 15106 4896 0 -1 1077944384 142 12756 0 0 0 0 5 3 20 0 15 0 143911257 14407233536 768659 18446744073709551615 4194304 4196468 140723228015008 140306053559200 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15163] ppid=15103 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15163/stat : 15163 (java) S 15103 15106 4896 0 -1 1077944384 78 12756 0 0 0 0 5 3 20 0 15 0 143911257 14407233536 768659 18446744073709551615 4194304 4196468 140723228015008 140306052506752 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15164] ppid=15103 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15164/stat : 15164 (java) S 15103 15106 4896 0 -1 1077944384 3 12756 0 0 0 0 5 3 20 0 15 0 143911259 14407233536 768659 18446744073709551615 4194304 4196468 140723228015008 140306051455056 140307138127771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15165] ppid=15103 vsize=14069564 CPUtime=11.44 cores=1,3,5,7
/proc/15106/task/15165/stat : 15165 (java) S 15103 15106 4896 0 -1 1077944384 45465 12756 0 0 1129 7 5 3 20 0 15 0 143911260 14407233536 768659 18446744073709551615 4194304 4196468 140723228015008 140306050402928 140307138120322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15166] ppid=15103 vsize=14069564 CPUtime=11.68 cores=1,3,5,7
/proc/15106/task/15166/stat : 15166 (java) S 15103 15106 4896 0 -1 1077944384 46923 12756 0 0 1154 6 5 3 20 0 15 0 143911260 14407233536 768659 18446744073709551615 4194304 4196468 140723228015008 140306049350128 140307138120322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15167] ppid=15103 vsize=14069564 CPUtime=3.21 cores=1,3,5,7
/proc/15106/task/15167/stat : 15167 (java) S 15103 15106 4896 0 -1 1077944384 59114 12756 0 0 304 9 5 3 20 0 15 0 143911260 14407233536 768659 18446744073709551615 4194304 4196468 140723228015008 140306048297840 140307138120322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15168] ppid=15103 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15168/stat : 15168 (java) S 15103 15106 4896 0 -1 1077944384 3 12756 0 0 0 0 5 3 20 0 15 0 143911260 14407233536 768659 18446744073709551615 4194304 4196468 140723228015008 140306047245280 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15169] ppid=15103 vsize=14069564 CPUtime=1.41 cores=1,3,5,7
/proc/15106/task/15169/stat : 15169 (java) S 15103 15106 4896 0 -1 1077944384 2500 12756 0 0 63 70 5 3 20 0 15 0 143911263 14407233536 768659 18446744073709551615 4194304 4196468 140723228015008 140305575700912 140307138120322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
Current children cumulated CPU time (s) 2485.24
Current children cumulated vsize (KiB) 14069564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2476.7 s]
/proc/loadavg: 1.08 1.44 1.59 3/213 15471
/proc/meminfo: memFree=24413388/32770624 swapFree=0/450064
[pid=15106] ppid=15103 vsize=14069564 CPUtime=2520.01 cores=1,3,5,7
/proc/15106/stat : 15106 (java) S 15103 15106 4896 0 -1 1077944320 604753 12756 0 0 251710 283 5 3 20 0 15 0 143911233 14407233536 762888 18446744073709551615 4194304 4196468 140723228015008 140723227997552 140307138109175 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
/proc/15106/statm: 3517391 762888 3500 1 0 3506005 0
[pid=15106/tid=15156] ppid=15103 vsize=14069564 CPUtime=2468.81 cores=1,3,5,7
/proc/15106/task/15156/stat : 15156 (java) R 15103 15106 4896 0 -1 4202560 256443 12756 0 0 246780 93 5 3 20 0 15 0 143911254 14407233536 762888 18446744073709551615 4194304 4196468 140723228015008 140307142343472 140306750384735 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15157] ppid=15103 vsize=14069564 CPUtime=5.58 cores=1,3,5,7
/proc/15106/task/15157/stat : 15157 (java) S 15103 15106 4896 0 -1 1077944384 39719 12756 0 0 527 23 5 3 20 0 15 0 143911255 14407233536 762888 18446744073709551615 4194304 4196468 140723228015008 140307057523600 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15158] ppid=15103 vsize=14069564 CPUtime=5.59 cores=1,3,5,7
/proc/15106/task/15158/stat : 15158 (java) S 15103 15106 4896 0 -1 1077944384 31800 12756 0 0 528 23 5 3 20 0 15 0 143911255 14407233536 762888 18446744073709551615 4194304 4196468 140723228015008 140307056470800 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15159] ppid=15103 vsize=14069564 CPUtime=5.62 cores=1,3,5,7
/proc/15106/task/15159/stat : 15159 (java) S 15103 15106 4896 0 -1 1077944384 30795 12756 0 0 531 23 5 3 20 0 15 0 143911255 14407233536 762888 18446744073709551615 4194304 4196468 140723228015008 140307055418512 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15160] ppid=15103 vsize=14069564 CPUtime=5.6 cores=1,3,5,7
/proc/15106/task/15160/stat : 15160 (java) S 15103 15106 4896 0 -1 1077944384 46413 12756 0 0 531 21 5 3 20 0 15 0 143911255 14407233536 762888 18446744073709551615 4194304 4196468 140723228015008 140307054365712 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15161] ppid=15103 vsize=14069564 CPUtime=1.64 cores=1,3,5,7
/proc/15106/task/15161/stat : 15161 (java) S 15103 15106 4896 0 -1 1077944384 41916 12756 0 0 135 21 5 3 20 0 15 0 143911256 14407233536 762888 18446744073709551615 4194304 4196468 140723228015008 140306054613104 140307138120322 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15162] ppid=15103 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15162/stat : 15162 (java) S 15103 15106 4896 0 -1 1077944384 144 12756 0 0 0 0 5 3 20 0 15 0 143911257 14407233536 762888 18446744073709551615 4194304 4196468 140723228015008 140306053559200 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15163] ppid=15103 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15163/stat : 15163 (java) S 15103 15106 4896 0 -1 1077944384 78 12756 0 0 0 0 5 3 20 0 15 0 143911257 14407233536 762888 18446744073709551615 4194304 4196468 140723228015008 140306052506752 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15164] ppid=15103 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15164/stat : 15164 (java) S 15103 15106 4896 0 -1 1077944384 3 12756 0 0 0 0 5 3 20 0 15 0 143911259 14407233536 762888 18446744073709551615 4194304 4196468 140723228015008 140306051455056 140307138127771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15165] ppid=15103 vsize=14069564 CPUtime=11.44 cores=1,3,5,7
/proc/15106/task/15165/stat : 15165 (java) S 15103 15106 4896 0 -1 1077944384 46713 12756 0 0 1129 7 5 3 20 0 15 0 143911260 14407233536 762888 18446744073709551615 4194304 4196468 140723228015008 140306050402928 140307138120322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15166] ppid=15103 vsize=14069564 CPUtime=11.68 cores=1,3,5,7
/proc/15106/task/15166/stat : 15166 (java) S 15103 15106 4896 0 -1 1077944384 46927 12756 0 0 1154 6 5 3 20 0 15 0 143911260 14407233536 762888 18446744073709551615 4194304 4196468 140723228015008 140306049350128 140307138120322 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15167] ppid=15103 vsize=14069564 CPUtime=3.21 cores=1,3,5,7
/proc/15106/task/15167/stat : 15167 (java) S 15103 15106 4896 0 -1 1077944384 59118 12756 0 0 304 9 5 3 20 0 15 0 143911260 14407233536 762888 18446744073709551615 4194304 4196468 140723228015008 140306048297840 140307138120322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15168] ppid=15103 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15168/stat : 15168 (java) S 15103 15106 4896 0 -1 1077944384 3 12756 0 0 0 0 5 3 20 0 15 0 143911260 14407233536 762888 18446744073709551615 4194304 4196468 140723228015008 140306047245280 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15169] ppid=15103 vsize=14069564 CPUtime=1.44 cores=1,3,5,7
/proc/15106/task/15169/stat : 15169 (java) S 15103 15106 4896 0 -1 1077944384 2527 12756 0 0 64 72 5 3 20 0 15 0 143911263 14407233536 762888 18446744073709551615 4194304 4196468 140723228015008 140305575700912 140307138120322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
Current children cumulated CPU time (s) 2520.01
Current children cumulated vsize (KiB) 14069564
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 15106 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2476.7 s]
/proc/loadavg: 1.08 1.44 1.59 3/213 15471
/proc/meminfo: memFree=24413388/32770624 swapFree=0/450064
[pid=15106] ppid=15103 vsize=14069564 CPUtime=2520.01 cores=1,3,5,7
/proc/15106/stat : 15106 (java) S 15103 15106 4896 0 -1 1077944320 604753 12756 0 0 251710 283 5 3 20 0 15 0 143911233 14407233536 762888 18446744073709551615 4194304 4196468 140723228015008 140723227997552 140307138109175 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
/proc/15106/statm: 3517391 762888 3500 1 0 3506005 0
[pid=15106/tid=15156] ppid=15103 vsize=14069564 CPUtime=2468.81 cores=1,3,5,7
/proc/15106/task/15156/stat : 15156 (java) R 15103 15106 4896 0 -1 4202560 256443 12756 0 0 246780 93 5 3 20 0 15 0 143911254 14407233536 762888 18446744073709551615 4194304 4196468 140723228015008 140307142343472 140306750384735 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15157] ppid=15103 vsize=14069564 CPUtime=5.58 cores=1,3,5,7
/proc/15106/task/15157/stat : 15157 (java) S 15103 15106 4896 0 -1 1077944384 39719 12756 0 0 527 23 5 3 20 0 15 0 143911255 14407233536 762888 18446744073709551615 4194304 4196468 140723228015008 140307057523600 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15158] ppid=15103 vsize=14069564 CPUtime=5.59 cores=1,3,5,7
/proc/15106/task/15158/stat : 15158 (java) S 15103 15106 4896 0 -1 1077944384 31800 12756 0 0 528 23 5 3 20 0 15 0 143911255 14407233536 762888 18446744073709551615 4194304 4196468 140723228015008 140307056470800 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15159] ppid=15103 vsize=14069564 CPUtime=5.62 cores=1,3,5,7
/proc/15106/task/15159/stat : 15159 (java) S 15103 15106 4896 0 -1 1077944384 30795 12756 0 0 531 23 5 3 20 0 15 0 143911255 14407233536 762888 18446744073709551615 4194304 4196468 140723228015008 140307055418512 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15160] ppid=15103 vsize=14069564 CPUtime=5.6 cores=1,3,5,7
/proc/15106/task/15160/stat : 15160 (java) S 15103 15106 4896 0 -1 1077944384 46413 12756 0 0 531 21 5 3 20 0 15 0 143911255 14407233536 762888 18446744073709551615 4194304 4196468 140723228015008 140307054365712 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15161] ppid=15103 vsize=14069564 CPUtime=1.64 cores=1,3,5,7
/proc/15106/task/15161/stat : 15161 (java) S 15103 15106 4896 0 -1 1077944384 41916 12756 0 0 135 21 5 3 20 0 15 0 143911256 14407233536 762888 18446744073709551615 4194304 4196468 140723228015008 140306054613104 140307138120322 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15162] ppid=15103 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15162/stat : 15162 (java) S 15103 15106 4896 0 -1 1077944384 144 12756 0 0 0 0 5 3 20 0 15 0 143911257 14407233536 762888 18446744073709551615 4194304 4196468 140723228015008 140306053559200 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15163] ppid=15103 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15163/stat : 15163 (java) S 15103 15106 4896 0 -1 1077944384 78 12756 0 0 0 0 5 3 20 0 15 0 143911257 14407233536 762888 18446744073709551615 4194304 4196468 140723228015008 140306052506752 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15164] ppid=15103 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15164/stat : 15164 (java) S 15103 15106 4896 0 -1 1077944384 3 12756 0 0 0 0 5 3 20 0 15 0 143911259 14407233536 762888 18446744073709551615 4194304 4196468 140723228015008 140306051455056 140307138127771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15165] ppid=15103 vsize=14069564 CPUtime=11.44 cores=1,3,5,7
/proc/15106/task/15165/stat : 15165 (java) S 15103 15106 4896 0 -1 1077944384 46713 12756 0 0 1129 7 5 3 20 0 15 0 143911260 14407233536 762888 18446744073709551615 4194304 4196468 140723228015008 140306050402928 140307138120322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15166] ppid=15103 vsize=14069564 CPUtime=11.68 cores=1,3,5,7
/proc/15106/task/15166/stat : 15166 (java) S 15103 15106 4896 0 -1 1077944384 46927 12756 0 0 1154 6 5 3 20 0 15 0 143911260 14407233536 762888 18446744073709551615 4194304 4196468 140723228015008 140306049350128 140307138120322 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15167] ppid=15103 vsize=14069564 CPUtime=3.21 cores=1,3,5,7
/proc/15106/task/15167/stat : 15167 (java) S 15103 15106 4896 0 -1 1077944384 59118 12756 0 0 304 9 5 3 20 0 15 0 143911260 14407233536 762888 18446744073709551615 4194304 4196468 140723228015008 140306048297840 140307138120322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15168] ppid=15103 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/15106/task/15168/stat : 15168 (java) S 15103 15106 4896 0 -1 1077944384 3 12756 0 0 0 0 5 3 20 0 15 0 143911260 14407233536 762888 18446744073709551615 4194304 4196468 140723228015008 140306047245280 140307138119381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
[pid=15106/tid=15169] ppid=15103 vsize=14069564 CPUtime=1.44 cores=1,3,5,7
/proc/15106/task/15169/stat : 15169 (java) S 15103 15106 4896 0 -1 1077944384 2527 12756 0 0 64 72 5 3 20 0 15 0 143911263 14407233536 762888 18446744073709551615 4194304 4196468 140723228015008 140305575700912 140307138120322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7888896 140723228022736 140723228025521 140723228025521 140723228028879 0
Current children cumulated CPU time (s) 2520.01
Current children cumulated vsize (KiB) 14069564
Child status: 143
Real time (s): 2476.74
CPU time (s): 2520.07
CPU user time (s): 2517.17
CPU system time (s): 2.89391
CPU usage (%): 101.749
Max. virtual memory (cumulated for all children) (KiB): 14069564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.17
system time used= 2.89391
maximum resident set size= 4198896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 619976
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 87751
involuntary context switches= 2663
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2206 second user time and 12.5981 second system time
The end