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-4249958-1500775993/watcher-4249958-1500775993 -o /tmp/evaluation-result-4249958-1500775993/solver-4249958-1500775993 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node112-1500775993-23326 --watchdog 2560 bin/concrete HOME/instance-4249958-1500775993.xml
pid=23392
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: 0.76 0.97 1.33 3/254 23395
/proc/meminfo: memFree=31546112/32770624 swapFree=5828/347660
[pid=23395] ppid=23392 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23395/stat : 23395 (bash) S 23392 23395 19450 0 -1 4202496 686 1531 0 0 0 0 0 0 20 0 1 0 12868446 9736192 350 33554432000 4194304 5098028 140727189488640 140727189486280 140591743163392 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 25432064 140727189493006 140727189493091 140727189493091 140727189495790 0
/proc/23395/statm: 2377 350 277 221 0 86 0
[startup+0.100144 s]
/proc/loadavg: 0.76 0.97 1.33 3/254 23395
/proc/meminfo: memFree=31546112/32770624 swapFree=5828/347660
[pid=23395] ppid=23392 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/23395/stat : 23395 (bash) S 23392 23395 19450 0 -1 4202496 884 6415 0 0 0 0 0 1 20 0 1 0 12868446 9871360 378 33554432000 4194304 5098028 140727189488640 140727189482648 140591743163392 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 25432064 140727189493006 140727189493091 140727189493091 140727189495790 0
/proc/23395/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200389 s]
/proc/loadavg: 0.76 0.97 1.33 3/254 23395
/proc/meminfo: memFree=31546112/32770624 swapFree=5828/347660
[pid=23395] ppid=23392 vsize=10435860 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/23395/stat : 23395 (java) S 23392 23395 19450 0 -1 1077944320 4873 12281 0 0 6 1 8 4 20 0 13 0 12868446 10686320640 5202 33554432000 4194304 4196468 140721876854352 140721876836896 140672633556727 0 0 0 16800971 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
/proc/23395/statm: 2608965 5202 2138 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860
[startup+0.300333 s]
/proc/loadavg: 0.76 0.97 1.33 3/254 23395
/proc/meminfo: memFree=31546112/32770624 swapFree=5828/347660
[pid=23395] ppid=23392 vsize=10902392 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/23395/stat : 23395 (java) S 23392 23395 19450 0 -1 1077944320 7695 12281 0 0 22 1 8 4 20 0 20 0 12868446 11164049408 9413 33554432000 4194304 4196468 140721876854352 140721876836896 140672633556727 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
/proc/23395/statm: 2725598 9413 2935 1 0 2713890 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10902392
[startup+0.700187 s]
/proc/loadavg: 0.76 0.97 1.33 3/254 23395
/proc/meminfo: memFree=31546112/32770624 swapFree=5828/347660
[pid=23395] ppid=23392 vsize=10902720 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/23395/stat : 23395 (java) S 23392 23395 19450 0 -1 1077944320 12856 12281 0 0 79 4 8 4 20 0 20 0 12868446 11164385280 16199 33554432000 4194304 4196468 140721876854352 140721876836896 140672633556727 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
/proc/23395/statm: 2725680 16199 3218 1 0 2713890 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 10902720
[startup+1.50086 s]
/proc/loadavg: 0.76 0.97 1.33 3/281 23500
/proc/meminfo: memFree=31345644/32770624 swapFree=5828/347736
[pid=23395] ppid=23392 vsize=10913344 CPUtime=2.27 cores=1,3,5,7,9,11,13,15
/proc/23395/stat : 23395 (java) S 23392 23395 19450 0 -1 1077944320 27303 12281 0 0 203 12 8 4 20 0 20 0 12868446 11175264256 44111 33554432000 4194304 4196468 140721876854352 140721876836896 140672633556727 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
/proc/23395/statm: 2728336 44111 3415 1 0 2716450 0
[pid=23395/tid=23475] ppid=23392 vsize=10913344 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23475/stat : 23475 (java) R 23392 23395 19450 0 -1 4202560 19340 12281 0 0 125 6 8 4 20 0 20 0 12868460 11175264256 44111 33554432000 4194304 4196468 140721876854352 140672637787208 140672633568662 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23476] ppid=23392 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23476/stat : 23476 (java) S 23392 23395 19450 0 -1 1077944384 22 12281 0 0 0 0 8 4 20 0 20 0 12868461 11175264256 44111 33554432000 4194304 4196468 140721876854352 140672240425744 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23477] ppid=23392 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23477/stat : 23477 (java) S 23392 23395 19450 0 -1 1077944384 23 12281 0 0 0 0 8 4 20 0 20 0 12868461 11175264256 44111 33554432000 4194304 4196468 140721876854352 140672239373200 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23478] ppid=23392 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23478/stat : 23478 (java) S 23392 23395 19450 0 -1 1077944384 27 12281 0 0 0 0 8 4 20 0 20 0 12868461 11175264256 44111 33554432000 4194304 4196468 140721876854352 140672238320656 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23479] ppid=23392 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23479/stat : 23479 (java) S 23392 23395 19450 0 -1 1077944384 53 12281 0 0 1 0 8 4 20 0 20 0 12868461 11175264256 44111 33554432000 4194304 4196468 140721876854352 140672237268112 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23480] ppid=23392 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23480/stat : 23480 (java) S 23392 23395 19450 0 -1 1077944384 14 12281 0 0 1 0 8 4 20 0 20 0 12868461 11175264256 44111 33554432000 4194304 4196468 140721876854352 140672236214544 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23481] ppid=23392 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23481/stat : 23481 (java) S 23392 23395 19450 0 -1 1077944384 15 12281 0 0 1 0 8 4 20 0 20 0 12868461 11175264256 44111 33554432000 4194304 4196468 140721876854352 140672235162000 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23482] ppid=23392 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23482/stat : 23482 (java) S 23392 23395 19450 0 -1 1077944384 26 12281 0 0 1 0 8 4 20 0 20 0 12868461 11175264256 44111 33554432000 4194304 4196468 140721876854352 140672234109456 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23483] ppid=23392 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23483/stat : 23483 (java) S 23392 23395 19450 0 -1 1077944384 133 12281 0 0 0 0 8 4 20 0 20 0 12868461 11175264256 44111 33554432000 4194304 4196468 140721876854352 140672233056912 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23491] ppid=23392 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23491/stat : 23491 (java) S 23392 23395 19450 0 -1 1077944384 1392 12281 0 0 1 0 8 4 20 0 20 0 12868463 11175264256 44111 33554432000 4194304 4196468 140721876854352 140672108120560 140672633567874 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23492] ppid=23392 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23492/stat : 23492 (java) S 23392 23395 19450 0 -1 1077944384 56 12281 0 0 0 0 8 4 20 0 20 0 12868464 11175264256 44111 33554432000 4194304 4196468 140721876854352 140672107066848 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23493] ppid=23392 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23493/stat : 23493 (java) S 23392 23395 19450 0 -1 1077944384 44 12281 0 0 0 0 8 4 20 0 20 0 12868464 11175264256 44111 33554432000 4194304 4196468 140721876854352 140672106014208 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23494] ppid=23392 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23494/stat : 23494 (java) S 23392 23395 19450 0 -1 1077944384 1 12281 0 0 0 0 8 4 20 0 20 0 12868468 11175264256 44111 33554432000 4194304 4196468 140721876854352 140672104962768 140672633575323 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23495] ppid=23392 vsize=10913344 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23495/stat : 23495 (java) S 23392 23395 19450 0 -1 1077944384 972 12281 0 0 14 0 8 4 20 0 20 0 12868468 11175264256 44111 33554432000 4194304 4196468 140721876854352 140672103909360 140672633567874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23496] ppid=23392 vsize=10913344 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23496/stat : 23496 (java) S 23392 23395 19450 0 -1 1077944384 546 12281 0 0 11 0 8 4 20 0 20 0 12868468 11175264256 44111 33554432000 4194304 4196468 140721876854352 140672102856816 140672633567874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23497] ppid=23392 vsize=10913344 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23497/stat : 23497 (java) S 23392 23395 19450 0 -1 1077944384 1182 12281 0 0 14 0 8 4 20 0 20 0 12868468 11175264256 44111 33554432000 4194304 4196468 140721876854352 140672101804272 140672633567874 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23498] ppid=23392 vsize=10913344 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23498/stat : 23498 (java) S 23392 23395 19450 0 -1 1077944384 1318 12281 0 0 27 0 8 4 20 0 20 0 12868468 11175264256 44111 33554432000 4194304 4196468 140721876854352 140672100751728 140672633567874 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23499] ppid=23392 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23499/stat : 23499 (java) S 23392 23395 19450 0 -1 1077944384 3 12281 0 0 0 0 8 4 20 0 20 0 12868468 11175264256 44111 33554432000 4194304 4196468 140721876854352 140672099699424 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23500] ppid=23392 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23500/stat : 23500 (java) S 23392 23395 19450 0 -1 1077944384 3 12281 0 0 0 0 8 4 20 0 20 0 12868468 11175264256 44111 33554432000 4194304 4196468 140721876854352 140672098646960 140672633567874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 10913344
[startup+3.10116 s]
/proc/loadavg: 0.70 0.95 1.32 7/281 23500
/proc/meminfo: memFree=31201212/32770624 swapFree=5828/347736
[pid=23395] ppid=23392 vsize=10925820 CPUtime=6.71 cores=1,3,5,7,9,11,13,15
/proc/23395/stat : 23395 (java) S 23392 23395 19450 0 -1 1077944320 48275 12281 0 0 641 18 8 4 20 0 20 0 12868446 11188039680 69167 33554432000 4194304 4196468 140721876854352 140721876836896 140672633556727 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
/proc/23395/statm: 2731455 69167 3481 1 0 2719010 0
[pid=23395/tid=23475] ppid=23392 vsize=10925820 CPUtime=3.02 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23475/stat : 23475 (java) R 23392 23395 19450 0 -1 4202560 31867 12281 0 0 281 9 8 4 20 0 20 0 12868460 11188039680 69167 33554432000 4194304 4196468 140721876854352 140672637784184 140672633568662 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23476] ppid=23392 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23476/stat : 23476 (java) S 23392 23395 19450 0 -1 1077944384 22 12281 0 0 0 0 8 4 20 0 20 0 12868461 11188039680 69167 33554432000 4194304 4196468 140721876854352 140672240425744 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23477] ppid=23392 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23477/stat : 23477 (java) S 23392 23395 19450 0 -1 1077944384 23 12281 0 0 0 0 8 4 20 0 20 0 12868461 11188039680 69167 33554432000 4194304 4196468 140721876854352 140672239373200 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23478] ppid=23392 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23478/stat : 23478 (java) S 23392 23395 19450 0 -1 1077944384 27 12281 0 0 0 0 8 4 20 0 20 0 12868461 11188039680 69167 33554432000 4194304 4196468 140721876854352 140672238320656 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23479] ppid=23392 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23479/stat : 23479 (java) S 23392 23395 19450 0 -1 1077944384 53 12281 0 0 1 0 8 4 20 0 20 0 12868461 11188039680 69167 33554432000 4194304 4196468 140721876854352 140672237268112 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23480] ppid=23392 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23480/stat : 23480 (java) S 23392 23395 19450 0 -1 1077944384 14 12281 0 0 1 0 8 4 20 0 20 0 12868461 11188039680 69167 33554432000 4194304 4196468 140721876854352 140672236214544 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23481] ppid=23392 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23481/stat : 23481 (java) S 23392 23395 19450 0 -1 1077944384 15 12281 0 0 1 0 8 4 20 0 20 0 12868461 11188039680 69167 33554432000 4194304 4196468 140721876854352 140672235162000 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23482] ppid=23392 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23482/stat : 23482 (java) S 23392 23395 19450 0 -1 1077944384 26 12281 0 0 1 0 8 4 20 0 20 0 12868461 11188039680 69167 33554432000 4194304 4196468 140721876854352 140672234109456 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23483] ppid=23392 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23483/stat : 23483 (java) S 23392 23395 19450 0 -1 1077944384 133 12281 0 0 0 0 8 4 20 0 20 0 12868461 11188039680 69167 33554432000 4194304 4196468 140721876854352 140672233056912 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23491] ppid=23392 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23491/stat : 23491 (java) S 23392 23395 19450 0 -1 1077944384 1419 12281 0 0 1 0 8 4 20 0 20 0 12868463 11188039680 69167 33554432000 4194304 4196468 140721876854352 140672108120560 140672633567874 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23492] ppid=23392 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23492/stat : 23492 (java) S 23392 23395 19450 0 -1 1077944384 56 12281 0 0 0 0 8 4 20 0 20 0 12868464 11188039680 69167 33554432000 4194304 4196468 140721876854352 140672107066848 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23493] ppid=23392 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23493/stat : 23493 (java) S 23392 23395 19450 0 -1 1077944384 44 12281 0 0 0 0 8 4 20 0 20 0 12868464 11188039680 69167 33554432000 4194304 4196468 140721876854352 140672106014208 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23494] ppid=23392 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23494/stat : 23494 (java) S 23392 23395 19450 0 -1 1077944384 1 12281 0 0 0 0 8 4 20 0 20 0 12868468 11188039680 69167 33554432000 4194304 4196468 140721876854352 140672104962768 140672633575323 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23495] ppid=23392 vsize=10925820 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23495/stat : 23495 (java) R 23392 23395 19450 0 -1 4202560 4581 12281 0 0 100 1 8 4 20 0 20 0 12868468 11188039680 69167 33554432000 4194304 4196468 140721876854352 140672103895904 140672613028734 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23496] ppid=23392 vsize=10925820 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23496/stat : 23496 (java) R 23392 23395 19450 0 -1 4202560 1901 12281 0 0 72 1 8 4 20 0 20 0 12868468 11188039680 69167 33554432000 4194304 4196468 140721876854352 140672102837712 140672612808559 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23497] ppid=23392 vsize=10925820 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23497/stat : 23497 (java) R 23392 23395 19450 0 -1 4202560 2196 12281 0 0 79 0 8 4 20 0 20 0 12868468 11188039680 69167 33554432000 4194304 4196468 140721876854352 140672101788784 140672615079900 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23498] ppid=23392 vsize=10925820 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23498/stat : 23498 (java) S 23392 23395 19450 0 -1 1077944384 3756 12281 0 0 96 1 8 4 20 0 20 0 12868468 11188039680 69167 33554432000 4194304 4196468 140721876854352 140672100751728 140672633567874 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23499] ppid=23392 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23499/stat : 23499 (java) S 23392 23395 19450 0 -1 1077944384 3 12281 0 0 0 0 8 4 20 0 20 0 12868468 11188039680 69167 33554432000 4194304 4196468 140721876854352 140672099699424 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23500] ppid=23392 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23500/stat : 23500 (java) S 23392 23395 19450 0 -1 1077944384 5 12281 0 0 0 0 8 4 20 0 20 0 12868468 11188039680 69167 33554432000 4194304 4196468 140721876854352 140672098646960 140672633567874 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
Current children cumulated CPU time (s) 6.71
Current children cumulated vsize (KiB) 10925820
[startup+6.30074 s]
/proc/loadavg: 0.70 0.95 1.32 3/281 23500
/proc/meminfo: memFree=30263244/32770624 swapFree=5828/347744
[pid=23395] ppid=23392 vsize=10925820 CPUtime=12.82 cores=1,3,5,7,9,11,13,15
/proc/23395/stat : 23395 (java) S 23392 23395 19450 0 -1 1077944320 52408 12281 0 0 1162 108 8 4 20 0 20 0 12868446 11188039680 211739 33554432000 4194304 4196468 140721876854352 140721876836896 140672633556727 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
/proc/23395/statm: 2731455 211739 3504 1 0 2719010 0
[pid=23395/tid=23475] ppid=23392 vsize=10925820 CPUtime=5.98 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23475/stat : 23475 (java) R 23392 23395 19450 0 -1 4202560 32332 12281 0 0 571 15 8 4 20 0 20 0 12868460 11188039680 211739 33554432000 4194304 4196468 140721876854352 140672637787848 140672280918143 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23476] ppid=23392 vsize=10925820 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23476/stat : 23476 (java) S 23392 23395 19450 0 -1 1077944384 150 12281 0 0 10 9 8 4 20 0 20 0 12868461 11188039680 211739 33554432000 4194304 4196468 140721876854352 140672240425744 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23477] ppid=23392 vsize=10925820 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23477/stat : 23477 (java) S 23392 23395 19450 0 -1 1077944384 214 12281 0 0 9 11 8 4 20 0 20 0 12868461 11188039680 211739 33554432000 4194304 4196468 140721876854352 140672239373200 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23478] ppid=23392 vsize=10925820 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23478/stat : 23478 (java) S 23392 23395 19450 0 -1 1077944384 179 12281 0 0 10 11 8 4 20 0 20 0 12868461 11188039680 211739 33554432000 4194304 4196468 140721876854352 140672238320656 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23479] ppid=23392 vsize=10925820 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23479/stat : 23479 (java) S 23392 23395 19450 0 -1 1077944384 171 12281 0 0 9 9 8 4 20 0 20 0 12868461 11188039680 211739 33554432000 4194304 4196468 140721876854352 140672237268112 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23480] ppid=23392 vsize=10925820 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23480/stat : 23480 (java) S 23392 23395 19450 0 -1 1077944384 152 12281 0 0 11 10 8 4 20 0 20 0 12868461 11188039680 211739 33554432000 4194304 4196468 140721876854352 140672236214544 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23481] ppid=23392 vsize=10925820 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23481/stat : 23481 (java) S 23392 23395 19450 0 -1 1077944384 170 12281 0 0 10 10 8 4 20 0 20 0 12868461 11188039680 211739 33554432000 4194304 4196468 140721876854352 140672235162000 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23482] ppid=23392 vsize=10925820 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23482/stat : 23482 (java) S 23392 23395 19450 0 -1 1077944384 273 12281 0 0 11 10 8 4 20 0 20 0 12868461 11188039680 211739 33554432000 4194304 4196468 140721876854352 140672234109456 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23483] ppid=23392 vsize=10925820 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23483/stat : 23483 (java) S 23392 23395 19450 0 -1 1077944384 288 12281 0 0 10 11 8 4 20 0 20 0 12868461 11188039680 211739 33554432000 4194304 4196468 140721876854352 140672233056912 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23491] ppid=23392 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23491/stat : 23491 (java) S 23392 23395 19450 0 -1 1077944384 1831 12281 0 0 2 0 8 4 20 0 20 0 12868463 11188039680 211739 33554432000 4194304 4196468 140721876854352 140672108120560 140672633567874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23492] ppid=23392 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23492/stat : 23492 (java) S 23392 23395 19450 0 -1 1077944384 58 12281 0 0 0 0 8 4 20 0 20 0 12868464 11188039680 211739 33554432000 4194304 4196468 140721876854352 140672107066848 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23493] ppid=23392 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23493/stat : 23493 (java) S 23392 23395 19450 0 -1 1077944384 47 12281 0 0 0 0 8 4 20 0 20 0 12868464 11188039680 211739 33554432000 4194304 4196468 140721876854352 140672106014208 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23494] ppid=23392 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23494/stat : 23494 (java) S 23392 23395 19450 0 -1 1077944384 1 12281 0 0 0 0 8 4 20 0 20 0 12868468 11188039680 211739 33554432000 4194304 4196468 140721876854352 140672104962768 140672633575323 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23495] ppid=23392 vsize=10925820 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23495/stat : 23495 (java) S 23392 23395 19450 0 -1 1077944384 4739 12281 0 0 131 1 8 4 20 0 20 0 12868468 11188039680 211739 33554432000 4194304 4196468 140721876854352 140672103909360 140672633567874 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23496] ppid=23392 vsize=10925820 CPUtime=1.53 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23496/stat : 23496 (java) S 23392 23395 19450 0 -1 1077944384 3053 12281 0 0 140 1 8 4 20 0 20 0 12868468 11188039680 211739 33554432000 4194304 4196468 140721876854352 140672102856816 140672633567874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23497] ppid=23392 vsize=10925820 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23497/stat : 23497 (java) S 23392 23395 19450 0 -1 1077944384 2418 12281 0 0 118 0 8 4 20 0 20 0 12868468 11188039680 211739 33554432000 4194304 4196468 140721876854352 140672101804272 140672633567874 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23498] ppid=23392 vsize=10925820 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23498/stat : 23498 (java) S 23392 23395 19450 0 -1 1077944384 4186 12281 0 0 111 2 8 4 20 0 20 0 12868468 11188039680 211739 33554432000 4194304 4196468 140721876854352 140672100751728 140672633567874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23499] ppid=23392 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=23395/tid=23498] ppid=23392 vsize=10997500 CPUtime=2.59 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23498/stat : 23498 (java) S 23392 23395 19450 0 -1 1077944384 18007 12281 0 0 241 6 8 4 20 0 20 0 12868468 11261440000 726274 33554432000 4194304 4196468 140721876854352 140672100751728 140672633567874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23499] ppid=23392 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23499/stat : 23499 (java) S 23392 23395 19450 0 -1 1077944384 3 12281 0 0 0 0 8 4 20 0 20 0 12868468 11261440000 726274 33554432000 4194304 4196468 140721876854352 140672099699424 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23500] ppid=23392 vsize=10997500 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23500/stat : 23500 (java) S 23392 23395 19450 0 -1 1077944384 1965 12281 0 0 55 67 8 4 20 0 20 0 12868468 11261440000 726274 33554432000 4194304 4196468 140721876854352 140672098646960 140672633567874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
Current children cumulated CPU time (s) 2392.74
Current children cumulated vsize (KiB) 10997500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2329.4 s]
/proc/loadavg: 1.44 1.65 1.61 2/255 23759
/proc/meminfo: memFree=28675156/32770624 swapFree=5828/348988
[pid=23395] ppid=23392 vsize=10997500 CPUtime=2400 cores=1,3,5,7,9,11,13,15
/proc/23395/stat : 23395 (java) S 23392 23395 19450 0 -1 1077944320 368225 12281 0 0 239375 613 8 4 20 0 20 0 12868446 11261440000 726274 33554432000 4194304 4196468 140721876854352 140721876836896 140672633556727 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
/proc/23395/statm: 2749375 726274 3521 1 0 2736930 0
[pid=23395/tid=23475] ppid=23392 vsize=10997500 CPUtime=2310.8 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23475/stat : 23475 (java) R 23392 23395 19450 0 -1 4202560 131060 12281 0 0 231005 63 8 4 20 0 20 0 12868460 11261440000 726274 33554432000 4194304 4196468 140721876854352 140672637790832 140672290085056 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23476] ppid=23392 vsize=10997500 CPUtime=8.68 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23476/stat : 23476 (java) S 23392 23395 19450 0 -1 1077944384 15739 12281 0 0 797 59 8 4 20 0 20 0 12868461 11261440000 726274 33554432000 4194304 4196468 140721876854352 140672240425744 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23477] ppid=23392 vsize=10997500 CPUtime=8.5 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23477/stat : 23477 (java) S 23392 23395 19450 0 -1 1077944384 13630 12281 0 0 776 62 8 4 20 0 20 0 12868461 11261440000 726274 33554432000 4194304 4196468 140721876854352 140672239373200 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23478] ppid=23392 vsize=10997500 CPUtime=8.52 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23478/stat : 23478 (java) S 23392 23395 19450 0 -1 1077944384 19496 12281 0 0 779 61 8 4 20 0 20 0 12868461 11261440000 726274 33554432000 4194304 4196468 140721876854352 140672238320656 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23479] ppid=23392 vsize=10997500 CPUtime=8.43 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23479/stat : 23479 (java) S 23392 23395 19450 0 -1 1077944384 20264 12281 0 0 775 56 8 4 20 0 20 0 12868461 11261440000 726274 33554432000 4194304 4196468 140721876854352 140672237268112 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23480] ppid=23392 vsize=10997500 CPUtime=8.56 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23480/stat : 23480 (java) S 23392 23395 19450 0 -1 1077944384 18082 12281 0 0 783 61 8 4 20 0 20 0 12868461 11261440000 726274 33554432000 4194304 4196468 140721876854352 140672236214544 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23481] ppid=23392 vsize=10997500 CPUtime=8.49 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23481/stat : 23481 (java) S 23392 23395 19450 0 -1 1077944384 20656 12281 0 0 777 60 8 4 20 0 20 0 12868461 11261440000 726274 33554432000 4194304 4196468 140721876854352 140672235162000 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23482] ppid=23392 vsize=10997500 CPUtime=8.47 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23482/stat : 23482 (java) S 23392 23395 19450 0 -1 1077944384 23351 12281 0 0 776 59 8 4 20 0 20 0 12868461 11261440000 726274 33554432000 4194304 4196468 140721876854352 140672234109456 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23483] ppid=23392 vsize=10997500 CPUtime=8.55 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23483/stat : 23483 (java) S 23392 23395 19450 0 -1 1077944384 20819 12281 0 0 778 65 8 4 20 0 20 0 12868461 11261440000 726274 33554432000 4194304 4196468 140721876854352 140672233056912 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23491] ppid=23392 vsize=10997500 CPUtime=6.23 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23491/stat : 23491 (java) S 23392 23395 19450 0 -1 1077944384 32011 12281 0 0 578 33 8 4 20 0 20 0 12868463 11261440000 726274 33554432000 4194304 4196468 140721876854352 140672108120560 140672633567874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23492] ppid=23392 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23492/stat : 23492 (java) S 23392 23395 19450 0 -1 1077944384 63 12281 0 0 0 0 8 4 20 0 20 0 12868464 11261440000 726274 33554432000 4194304 4196468 140721876854352 140672107066912 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23493] ppid=23392 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23493/stat : 23493 (java) S 23392 23395 19450 0 -1 1077944384 50 12281 0 0 0 0 8 4 20 0 20 0 12868464 11261440000 726274 33554432000 4194304 4196468 140721876854352 140672106014208 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23494] ppid=23392 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23494/stat : 23494 (java) S 23392 23395 19450 0 -1 1077944384 1 12281 0 0 0 0 8 4 20 0 20 0 12868468 11261440000 726274 33554432000 4194304 4196468 140721876854352 140672104962768 140672633575323 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23495] ppid=23392 vsize=10997500 CPUtime=4.08 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23495/stat : 23495 (java) S 23392 23395 19450 0 -1 1077944384 9645 12281 0 0 393 3 8 4 20 0 20 0 12868468 11261440000 726274 33554432000 4194304 4196468 140721876854352 140672103909360 140672633567874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23496] ppid=23392 vsize=10997500 CPUtime=4.23 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23496/stat : 23496 (java) S 23392 23395 19450 0 -1 1077944384 10214 12281 0 0 408 3 8 4 20 0 20 0 12868468 11261440000 726274 33554432000 4194304 4196468 140721876854352 140672102856816 140672633567874 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23497] ppid=23392 vsize=10997500 CPUtime=4.07 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23497/stat : 23497 (java) S 23392 23395 19450 0 -1 1077944384 11036 12281 0 0 392 3 8 4 20 0 20 0 12868468 11261440000 726274 33554432000 4194304 4196468 140721876854352 140672101804272 140672633567874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23498] ppid=23392 vsize=10997500 CPUtime=2.59 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23498/stat : 23498 (java) S 23392 23395 19450 0 -1 1077944384 18007 12281 0 0 241 6 8 4 20 0 20 0 12868468 11261440000 726274 33554432000 4194304 4196468 140721876854352 140672100751728 140672633567874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23499] ppid=23392 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23499/stat : 23499 (java) S 23392 23395 19450 0 -1 1077944384 3 12281 0 0 0 0 8 4 20 0 20 0 12868468 11261440000 726274 33554432000 4194304 4196468 140721876854352 140672099699424 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23500] ppid=23392 vsize=10997500 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23500/stat : 23500 (java) S 23392 23395 19450 0 -1 1077944384 1965 12281 0 0 55 67 8 4 20 0 20 0 12868468 11261440000 726274 33554432000 4194304 4196468 140721876854352 140672098646960 140672633567874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 10997500
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 23395 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2329.6 s]
/proc/loadavg: 1.44 1.65 1.61 2/255 23759
/proc/meminfo: memFree=28675156/32770624 swapFree=5828/348988
[pid=23395] ppid=23392 vsize=11130628 CPUtime=2401.17 cores=1,3,5,7,9,11,13,15
/proc/23395/stat : 23395 (java) S 23392 23395 19450 0 -1 1077944320 375195 12281 0 0 239490 615 8 4 20 0 22 0 12868446 11397763072 727470 33554432000 4194304 4196468 140721876854352 140721876836896 140672633556727 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
/proc/23395/statm: 2782657 727470 3521 1 0 2770212 0
[pid=23395/tid=23475] ppid=23392 vsize=11130628 CPUtime=2310.81 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23475/stat : 23475 (java) S 23392 23395 19450 0 -1 1077944384 131438 12281 0 0 231006 63 8 4 20 0 22 0 12868460 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672637794448 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23476] ppid=23392 vsize=11130628 CPUtime=8.82 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23476/stat : 23476 (java) R 23392 23395 19450 0 -1 4202560 15788 12281 0 0 811 59 8 4 20 0 22 0 12868461 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672240425864 140672626184935 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23477] ppid=23392 vsize=11130628 CPUtime=8.64 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23477/stat : 23477 (java) R 23392 23395 19450 0 -1 4202560 13652 12281 0 0 790 62 8 4 20 0 22 0 12868461 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672239373320 140672626184935 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23478] ppid=23392 vsize=11130628 CPUtime=8.66 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23478/stat : 23478 (java) R 23392 23395 19450 0 -1 4202560 19526 12281 0 0 793 61 8 4 20 0 22 0 12868461 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672238320464 140672626184935 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23479] ppid=23392 vsize=11130628 CPUtime=8.57 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23479/stat : 23479 (java) R 23392 23395 19450 0 -1 4202560 20285 12281 0 0 789 56 8 4 20 0 22 0 12868461 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672237267920 140672626184935 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23480] ppid=23392 vsize=11130628 CPUtime=8.7 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23480/stat : 23480 (java) R 23392 23395 19450 0 -1 4202560 18105 12281 0 0 797 61 8 4 20 0 22 0 12868461 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672236214664 140672626184935 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23481] ppid=23392 vsize=11130628 CPUtime=8.64 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23481/stat : 23481 (java) R 23392 23395 19450 0 -1 4202560 20677 12281 0 0 792 60 8 4 20 0 22 0 12868461 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672235162200 140672618257120 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23482] ppid=23392 vsize=11130628 CPUtime=8.61 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23482/stat : 23482 (java) R 23392 23395 19450 0 -1 4202560 23442 12281 0 0 790 59 8 4 20 0 22 0 12868461 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672234109576 140672619315544 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23483] ppid=23392 vsize=11130628 CPUtime=8.67 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23483/stat : 23483 (java) R 23392 23395 19450 0 -1 4202560 20824 12281 0 0 790 65 8 4 20 0 22 0 12868461 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672233057032 140672626184935 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23491] ppid=23392 vsize=11130628 CPUtime=6.28 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23491/stat : 23491 (java) S 23392 23395 19450 0 -1 1077944384 38107 12281 0 0 582 34 8 4 20 0 22 0 12868463 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672108119184 140672633566933 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23492] ppid=23392 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23492/stat : 23492 (java) S 23392 23395 19450 0 -1 1077944384 63 12281 0 0 0 0 8 4 20 0 22 0 12868464 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672107066912 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23493] ppid=23392 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23493/stat : 23493 (java) S 23392 23395 19450 0 -1 1077944384 50 12281 0 0 0 0 8 4 20 0 22 0 12868464 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672106014208 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23494] ppid=23392 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23494/stat : 23494 (java) S 23392 23395 19450 0 -1 1077944384 118 12281 0 0 0 0 8 4 20 0 22 0 12868468 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672104962768 140672633575323 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23495] ppid=23392 vsize=11130628 CPUtime=4.08 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23495/stat : 23495 (java) S 23392 23395 19450 0 -1 1077944384 9645 12281 0 0 393 3 8 4 20 0 22 0 12868468 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672103909360 140672633567874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23496] ppid=23392 vsize=11130628 CPUtime=4.23 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23496/stat : 23496 (java) S 23392 23395 19450 0 -1 1077944384 10214 12281 0 0 408 3 8 4 20 0 22 0 12868468 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672102856816 140672633567874 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23497] ppid=23392 vsize=11130628 CPUtime=4.07 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23497/stat : 23497 (java) S 23392 23395 19450 0 -1 1077944384 11036 12281 0 0 392 3 8 4 20 0 22 0 12868468 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672101804272 140672633567874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23498] ppid=23392 vsize=11130628 CPUtime=2.59 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23498/stat : 23498 (java) S 23392 23395 19450 0 -1 1077944384 18007 12281 0 0 241 6 8 4 20 0 22 0 12868468 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672100751728 140672633567874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23499] ppid=23392 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23499/stat : 23499 (java) S 23392 23395 19450 0 -1 1077944384 3 12281 0 0 0 0 8 4 20 0 22 0 12868468 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672099699424 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23500] ppid=23392 vsize=11130628 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23500/stat : 23500 (java) S 23392 23395 19450 0 -1 1077944384 1965 12281 0 0 55 67 8 4 20 0 22 0 12868468 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672098646960 140672633567874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
Current children cumulated CPU time (s) 2401.17
Current children cumulated vsize (KiB) 11130628
[startup+2330 s]
/proc/loadavg: 1.44 1.65 1.61 9/257 23761
/proc/meminfo: memFree=28671028/32770624 swapFree=5828/348988
[pid=23395] ppid=23392 vsize=11130628 CPUtime=2403.79 cores=1,3,5,7,9,11,13,15
/proc/23395/stat : 23395 (java) S 23392 23395 19450 0 -1 1077944320 375376 12281 0 0 239751 616 8 4 20 0 22 0 12868446 11397763072 727470 33554432000 4194304 4196468 140721876854352 140721876836896 140672633556727 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
/proc/23395/statm: 2782657 727470 3521 1 0 2770212 0
[pid=23395/tid=23475] ppid=23392 vsize=11130628 CPUtime=2310.81 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23475/stat : 23475 (java) S 23392 23395 19450 0 -1 1077944384 131438 12281 0 0 231006 63 8 4 20 0 22 0 12868460 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672637794448 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23476] ppid=23392 vsize=11130628 CPUtime=9.14 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23476/stat : 23476 (java) R 23392 23395 19450 0 -1 4202560 15793 12281 0 0 843 59 8 4 20 0 22 0 12868461 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672240425944 140672618014325 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23477] ppid=23392 vsize=11130628 CPUtime=8.96 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23477/stat : 23477 (java) R 23392 23395 19450 0 -1 4202560 13653 12281 0 0 822 62 8 4 20 0 22 0 12868461 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672239373400 140672618553073 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23478] ppid=23392 vsize=11130628 CPUtime=8.99 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23478/stat : 23478 (java) R 23392 23395 19450 0 -1 4202560 19529 12281 0 0 826 61 8 4 20 0 22 0 12868461 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672238320856 140672618014304 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23479] ppid=23392 vsize=11130628 CPUtime=8.89 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23479/stat : 23479 (java) R 23392 23395 19450 0 -1 4202560 20286 12281 0 0 821 56 8 4 20 0 22 0 12868461 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672237268312 140672618014297 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23480] ppid=23392 vsize=11130628 CPUtime=9.02 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23480/stat : 23480 (java) R 23392 23395 19450 0 -1 4202560 18105 12281 0 0 829 61 8 4 20 0 22 0 12868461 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672236214744 140672618553131 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23481] ppid=23392 vsize=11130628 CPUtime=8.95 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23481/stat : 23481 (java) R 23392 23395 19450 0 -1 4202560 20677 12281 0 0 823 60 8 4 20 0 22 0 12868461 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672235162200 140672618014360 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23482] ppid=23392 vsize=11130628 CPUtime=8.93 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23482/stat : 23482 (java) R 23392 23395 19450 0 -1 4202560 23443 12281 0 0 822 59 8 4 20 0 22 0 12868461 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672234109656 140672615166475 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23483] ppid=23392 vsize=11130628 CPUtime=9 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23483/stat : 23483 (java) R 23392 23395 19450 0 -1 4202560 20825 12281 0 0 823 65 8 4 20 0 22 0 12868461 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672233056800 140672618014113 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23491] ppid=23392 vsize=11130628 CPUtime=6.35 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23491/stat : 23491 (java) S 23392 23395 19450 0 -1 1077944384 38270 12281 0 0 589 34 8 4 20 0 22 0 12868463 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672108119184 140672633566933 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23492] ppid=23392 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23492/stat : 23492 (java) S 23392 23395 19450 0 -1 1077944384 66 12281 0 0 0 0 8 4 20 0 22 0 12868464 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672107066992 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23493] ppid=23392 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23493/stat : 23493 (java) S 23392 23395 19450 0 -1 1077944384 50 12281 0 0 0 0 8 4 20 0 22 0 12868464 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672106014208 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23494] ppid=23392 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23494/stat : 23494 (java) S 23392 23395 19450 0 -1 1077944384 118 12281 0 0 0 0 8 4 20 0 22 0 12868468 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672104962768 140672633575323 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23495] ppid=23392 vsize=11130628 CPUtime=4.08 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23495/stat : 23495 (java) S 23392 23395 19450 0 -1 1077944384 9645 12281 0 0 393 3 8 4 20 0 22 0 12868468 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672103909360 140672633567874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23496] ppid=23392 vsize=11130628 CPUtime=4.23 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23496/stat : 23496 (java) S 23392 23395 19450 0 -1 1077944384 10214 12281 0 0 408 3 8 4 20 0 22 0 12868468 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672102856816 140672633567874 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23497] ppid=23392 vsize=11130628 CPUtime=4.07 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23497/stat : 23497 (java) S 23392 23395 19450 0 -1 1077944384 11036 12281 0 0 392 3 8 4 20 0 22 0 12868468 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672101804272 140672633567874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23498] ppid=23392 vsize=11130628 CPUtime=2.59 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23498/stat : 23498 (java) S 23392 23395 19450 0 -1 1077944384 18007 12281 0 0 241 6 8 4 20 0 22 0 12868468 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672100751728 140672633567874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23499] ppid=23392 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23499/stat : 23499 (java) S 23392 23395 19450 0 -1 1077944384 3 12281 0 0 0 0 8 4 20 0 22 0 12868468 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672099699424 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23500] ppid=23392 vsize=11130628 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23500/stat : 23500 (java) S 23392 23395 19450 0 -1 1077944384 1965 12281 0 0 55 67 8 4 20 0 22 0 12868468 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672098646960 140672633567874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23760] ppid=23392 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23760/stat : 23760 (java) S 23392 23395 19450 0 -1 1077944384 90 12281 0 0 0 0 8 4 20 0 22 0 13101387 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672067048176 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
[pid=23395/tid=23761] ppid=23392 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/23395/task/23761/stat : 23761 (java) S 23392 23395 19450 0 -1 1077944384 28 12281 0 0 0 0 8 4 20 0 22 0 13101387 11397763072 727470 33554432000 4194304 4196468 140721876854352 140672065996352 140672633566933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24276992 140721876855489 140721876858263 140721876858263 140721876860879 0
Current children cumulated CPU time (s) 2403.79
Current children cumulated vsize (KiB) 11130628
Child status: 143
Real time (s): 2330.04
CPU time (s): 2403.92
CPU user time (s): 2397.69
CPU system time (s): 6.22492
CPU usage (%): 103.171
Max. virtual memory (cumulated for all children) (KiB): 11130628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.69
system time used= 6.22492
maximum resident set size= 3075608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 387799
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 264854
involuntary context switches= 171433
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5131 second user time and 21.2761 second system time
The end