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-4248583-1500748202/watcher-4248583-1500748202 -o /tmp/evaluation-result-4248583-1500748202/solver-4248583-1500748202 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500717875-23066 --watchdog 2560 bin/concrete HOME/instance-4248583-1500748202.xml
pid=31314
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.48 1.44 1.46 3/262 31317
/proc/meminfo: memFree=29359024/32770624 swapFree=5756/324428
[pid=31317] ppid=31314 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31317/stat : 31317 (bash) S 31314 31317 23034 0 -1 4202496 686 1531 0 0 0 0 0 0 20 0 1 0 10085587 9736192 350 33554432000 4194304 5098028 140735589429840 140735589427480 140235858861056 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 29523968 140735589434638 140735589434723 140735589434723 140735589437422 0
/proc/31317/statm: 2377 350 277 221 0 86 0
[startup+0.100083 s]
/proc/loadavg: 1.48 1.44 1.46 3/262 31317
/proc/meminfo: memFree=29359024/32770624 swapFree=5756/324428
[pid=31317] ppid=31314 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/31317/stat : 31317 (bash) S 31314 31317 23034 0 -1 4202496 884 6415 0 0 0 0 0 1 20 0 1 0 10085587 9871360 378 33554432000 4194304 5098028 140735589429840 140735589423848 140235858861056 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 29523968 140735589434638 140735589434723 140735589434723 140735589437422 0
/proc/31317/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200379 s]
/proc/loadavg: 1.48 1.44 1.46 3/262 31317
/proc/meminfo: memFree=29359024/32770624 swapFree=5756/324428
[pid=31317] ppid=31314 vsize=10435860 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/31317/stat : 31317 (java) S 31314 31317 23034 0 -1 1077944320 5010 12477 0 0 6 1 9 3 20 0 13 0 10085587 10686320640 5349 33554432000 4194304 4196468 140724865017824 140724865000368 140219744853751 0 0 0 16800971 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
/proc/31317/statm: 2608965 5349 2139 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860
[startup+0.300343 s]
/proc/loadavg: 1.48 1.44 1.46 3/262 31317
/proc/meminfo: memFree=29359024/32770624 swapFree=5756/324428
[pid=31317] ppid=31314 vsize=10902392 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/31317/stat : 31317 (java) S 31314 31317 23034 0 -1 1077944320 6981 12477 0 0 22 2 9 3 20 0 20 0 10085587 11164049408 8703 33554432000 4194304 4196468 140724865017824 140724865000368 140219744853751 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
/proc/31317/statm: 2725598 8703 2995 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902392
[startup+0.700204 s]
/proc/loadavg: 1.48 1.44 1.46 3/262 31317
/proc/meminfo: memFree=29359024/32770624 swapFree=5756/324428
[pid=31317] ppid=31314 vsize=10902720 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/31317/stat : 31317 (java) S 31314 31317 23034 0 -1 1077944320 11874 12477 0 0 73 5 9 3 20 0 20 0 10085587 11164385280 15256 33554432000 4194304 4196468 140724865017824 140724865000368 140219744853751 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
/proc/31317/statm: 2725680 15256 3179 1 0 2713890 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 10902720
[startup+1.50075 s]
/proc/loadavg: 1.48 1.44 1.46 3/282 31390
/proc/meminfo: memFree=29253556/32770624 swapFree=5756/324440
[pid=31317] ppid=31314 vsize=10913344 CPUtime=2.31 cores=1,3,5,7,9,11,13,15
/proc/31317/stat : 31317 (java) S 31314 31317 23034 0 -1 1077944320 24927 12477 0 0 204 15 9 3 20 0 20 0 10085587 11175264256 44240 33554432000 4194304 4196468 140724865017824 140724865000368 140219744853751 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
/proc/31317/statm: 2728336 44240 3409 1 0 2716450 0
[pid=31317/tid=31372] ppid=31314 vsize=10913344 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31372/stat : 31372 (java) R 31314 31317 23034 0 -1 4202560 18025 12477 0 0 125 6 9 3 20 0 20 0 10085600 11175264256 44240 33554432000 4194304 4196468 140724865017824 140219749080592 140219726721181 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31373] ppid=31314 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31373/stat : 31373 (java) S 31314 31317 23034 0 -1 1077944384 13 12477 0 0 1 0 9 3 20 0 20 0 10085601 11175264256 44240 33554432000 4194304 4196468 140724865017824 140219681544720 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31374] ppid=31314 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31374/stat : 31374 (java) S 31314 31317 23034 0 -1 1077944384 4 12477 0 0 0 0 9 3 20 0 20 0 10085601 11175264256 44240 33554432000 4194304 4196468 140724865017824 140219680492176 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31375] ppid=31314 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31375/stat : 31375 (java) S 31314 31317 23034 0 -1 1077944384 25 12477 0 0 0 0 9 3 20 0 20 0 10085601 11175264256 44240 33554432000 4194304 4196468 140724865017824 140219679439120 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31376] ppid=31314 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31376/stat : 31376 (java) S 31314 31317 23034 0 -1 1077944384 10 12477 0 0 0 0 9 3 20 0 20 0 10085601 11175264256 44240 33554432000 4194304 4196468 140724865017824 140219678386576 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31377] ppid=31314 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31377/stat : 31377 (java) S 31314 31317 23034 0 -1 1077944384 14 12477 0 0 1 0 9 3 20 0 20 0 10085601 11175264256 44240 33554432000 4194304 4196468 140724865017824 140219346971664 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31378] ppid=31314 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31378/stat : 31378 (java) S 31314 31317 23034 0 -1 1077944384 30 12477 0 0 1 0 9 3 20 0 20 0 10085601 11175264256 44240 33554432000 4194304 4196468 140724865017824 140219345919120 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31379] ppid=31314 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31379/stat : 31379 (java) S 31314 31317 23034 0 -1 1077944384 130 12477 0 0 1 0 9 3 20 0 20 0 10085601 11175264256 44240 33554432000 4194304 4196468 140724865017824 140219344866064 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31380] ppid=31314 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31380/stat : 31380 (java) S 31314 31317 23034 0 -1 1077944384 25 12477 0 0 1 0 9 3 20 0 20 0 10085601 11175264256 44240 33554432000 4194304 4196468 140724865017824 140219343813520 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31381] ppid=31314 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31381/stat : 31381 (java) S 31314 31317 23034 0 -1 1077944384 600 12477 0 0 1 0 9 3 20 0 20 0 10085604 11175264256 44240 33554432000 4194304 4196468 140724865017824 140219018098928 140219744864898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31382] ppid=31314 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31382/stat : 31382 (java) S 31314 31317 23034 0 -1 1077944384 33 12477 0 0 0 0 9 3 20 0 20 0 10085604 11175264256 44240 33554432000 4194304 4196468 140724865017824 140219017045216 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31383] ppid=31314 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31383/stat : 31383 (java) S 31314 31317 23034 0 -1 1077944384 23 12477 0 0 1 0 9 3 20 0 20 0 10085605 11175264256 44240 33554432000 4194304 4196468 140724865017824 140219015992064 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31384] ppid=31314 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31384/stat : 31384 (java) S 31314 31317 23034 0 -1 1077944384 1 12477 0 0 0 0 9 3 20 0 20 0 10085609 11175264256 44258 33554432000 4194304 4196468 140724865017824 140219014940624 140219744872347 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31385] ppid=31314 vsize=10913344 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31385/stat : 31385 (java) S 31314 31317 23034 0 -1 1077944384 769 12477 0 0 12 0 9 3 20 0 20 0 10085609 11175264256 44258 33554432000 4194304 4196468 140724865017824 140219013888752 140219744864898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31386] ppid=31314 vsize=10913344 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31386/stat : 31386 (java) R 31314 31317 23034 0 -1 4202560 629 12477 0 0 11 0 9 3 20 0 20 0 10085609 11175264256 44258 33554432000 4194304 4196468 140724865017824 140219012825360 140219729118030 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31387] ppid=31314 vsize=10913344 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31387/stat : 31387 (java) R 31314 31317 23034 0 -1 4202560 1255 12477 0 0 16 0 9 3 20 0 20 0 10085609 11175264256 44258 33554432000 4194304 4196468 140724865017824 140219011783448 140219729979978 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31388] ppid=31314 vsize=10913344 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31388/stat : 31388 (java) R 31314 31317 23034 0 -1 4202560 1238 12477 0 0 27 0 9 3 20 0 20 0 10085609 11175264256 44258 33554432000 4194304 4196468 140724865017824 140219010730608 140219744875098 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31389] ppid=31314 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31389/stat : 31389 (java) S 31314 31317 23034 0 -1 1077944384 3 12477 0 0 0 0 9 3 20 0 20 0 10085609 11175264256 44258 33554432000 4194304 4196468 140724865017824 140219009677792 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31390] ppid=31314 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31390/stat : 31390 (java) S 31314 31317 23034 0 -1 1077944384 1 12477 0 0 0 0 9 3 20 0 20 0 10085610 11175264256 44258 33554432000 4194304 4196468 140724865017824 140219008625328 140219744864898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 10913344
[startup+3.10113 s]
/proc/loadavg: 1.48 1.44 1.46 5/282 31390
/proc/meminfo: memFree=29186268/32770624 swapFree=5756/324440
[pid=31317] ppid=31314 vsize=10925820 CPUtime=6.96 cores=1,3,5,7,9,11,13,15
/proc/31317/stat : 31317 (java) S 31314 31317 23034 0 -1 1077944320 35801 12477 0 0 662 22 9 3 20 0 20 0 10085587 11188039680 56001 33554432000 4194304 4196468 140724865017824 140724865000368 140219744853751 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
/proc/31317/statm: 2731455 56001 3481 1 0 2719010 0
[pid=31317/tid=31372] ppid=31314 vsize=10925820 CPUtime=3.02 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31372/stat : 31372 (java) R 31314 31317 23034 0 -1 4202560 23685 12477 0 0 281 9 9 3 20 0 20 0 10085600 11188039680 56001 33554432000 4194304 4196468 140724865017824 140219749087808 140219728934238 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31373] ppid=31314 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31373/stat : 31373 (java) S 31314 31317 23034 0 -1 1077944384 13 12477 0 0 1 0 9 3 20 0 20 0 10085601 11188039680 56001 33554432000 4194304 4196468 140724865017824 140219681544720 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31374] ppid=31314 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31374/stat : 31374 (java) S 31314 31317 23034 0 -1 1077944384 4 12477 0 0 0 0 9 3 20 0 20 0 10085601 11188039680 56001 33554432000 4194304 4196468 140724865017824 140219680492176 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31375] ppid=31314 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31375/stat : 31375 (java) S 31314 31317 23034 0 -1 1077944384 25 12477 0 0 0 0 9 3 20 0 20 0 10085601 11188039680 56001 33554432000 4194304 4196468 140724865017824 140219679439120 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31376] ppid=31314 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31376/stat : 31376 (java) S 31314 31317 23034 0 -1 1077944384 10 12477 0 0 0 0 9 3 20 0 20 0 10085601 11188039680 56001 33554432000 4194304 4196468 140724865017824 140219678386576 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31377] ppid=31314 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31377/stat : 31377 (java) S 31314 31317 23034 0 -1 1077944384 14 12477 0 0 1 0 9 3 20 0 20 0 10085601 11188039680 56001 33554432000 4194304 4196468 140724865017824 140219346971664 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31378] ppid=31314 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31378/stat : 31378 (java) S 31314 31317 23034 0 -1 1077944384 30 12477 0 0 1 0 9 3 20 0 20 0 10085601 11188039680 56001 33554432000 4194304 4196468 140724865017824 140219345919120 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31379] ppid=31314 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31379/stat : 31379 (java) S 31314 31317 23034 0 -1 1077944384 130 12477 0 0 1 0 9 3 20 0 20 0 10085601 11188039680 56001 33554432000 4194304 4196468 140724865017824 140219344866064 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31380] ppid=31314 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31380/stat : 31380 (java) S 31314 31317 23034 0 -1 1077944384 25 12477 0 0 1 0 9 3 20 0 20 0 10085601 11188039680 56001 33554432000 4194304 4196468 140724865017824 140219343813520 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31381] ppid=31314 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31381/stat : 31381 (java) S 31314 31317 23034 0 -1 1077944384 668 12477 0 0 1 0 9 3 20 0 20 0 10085604 11188039680 56001 33554432000 4194304 4196468 140724865017824 140219018098928 140219744864898 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31382] ppid=31314 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31382/stat : 31382 (java) S 31314 31317 23034 0 -1 1077944384 33 12477 0 0 0 0 9 3 20 0 20 0 10085604 11188039680 56001 33554432000 4194304 4196468 140724865017824 140219017045216 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31383] ppid=31314 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31383/stat : 31383 (java) S 31314 31317 23034 0 -1 1077944384 23 12477 0 0 1 0 9 3 20 0 20 0 10085605 11188039680 56001 33554432000 4194304 4196468 140724865017824 140219015992064 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31384] ppid=31314 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31384/stat : 31384 (java) S 31314 31317 23034 0 -1 1077944384 1 12477 0 0 0 0 9 3 20 0 20 0 10085609 11188039680 56001 33554432000 4194304 4196468 140724865017824 140219014940624 140219744872347 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31385] ppid=31314 vsize=10925820 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31385/stat : 31385 (java) S 31314 31317 23034 0 -1 1077944384 1835 12477 0 0 89 1 9 3 20 0 20 0 10085609 11188039680 56001 33554432000 4194304 4196468 140724865017824 140219013888752 140219744864898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31386] ppid=31314 vsize=10925820 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31386/stat : 31386 (java) R 31314 31317 23034 0 -1 4202560 1525 12477 0 0 77 1 9 3 20 0 20 0 10085609 11188039680 56001 33554432000 4194304 4196468 140724865017824 140219012820080 140219729250992 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31387] ppid=31314 vsize=10925820 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31387/stat : 31387 (java) S 31314 31317 23034 0 -1 1077944384 2123 12477 0 0 81 1 9 3 20 0 20 0 10085609 11188039680 56001 33554432000 4194304 4196468 140724865017824 140219011783152 140219744864898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31388] ppid=31314 vsize=10925820 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31388/stat : 31388 (java) R 31314 31317 23034 0 -1 4202560 3517 12477 0 0 121 1 9 3 20 0 20 0 10085609 11188039680 56001 33554432000 4194304 4196468 140724865017824 140219010725360 140219723220055 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31389] ppid=31314 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31389/stat : 31389 (java) S 31314 31317 23034 0 -1 1077944384 3 12477 0 0 0 0 9 3 20 0 20 0 10085609 11188039680 56001 33554432000 4194304 4196468 140724865017824 140219009677792 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31390] ppid=31314 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31390/stat : 31390 (java) S 31314 31317 23034 0 -1 1077944384 4 12477 0 0 0 0 9 3 20 0 20 0 10085610 11188039680 56001 33554432000 4194304 4196468 140724865017824 140219008625328 140219744864898 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
Current children cumulated CPU time (s) 6.96
Current children cumulated vsize (KiB) 10925820
[startup+6.30075 s]
/proc/loadavg: 1.76 1.50 1.48 4/282 31390
/proc/meminfo: memFree=29016844/32770624 swapFree=5756/324444
[pid=31317] ppid=31314 vsize=10929916 CPUtime=16.29 cores=1,3,5,7,9,11,13,15
/proc/31317/stat : 31317 (java) S 31314 31317 23034 0 -1 1077944320 58797 12477 0 0 1570 47 9 3 20 0 20 0 10085587 11192233984 102471 33554432000 4194304 4196468 140724865017824 140724865000368 140219744853751 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
/proc/31317/statm: 2732479 102471 3487 1 0 2720034 0
[pid=31317/tid=31372] ppid=31314 vsize=10929916 CPUtime=6.07 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31372/stat : 31372 (java) R 31314 31317 23034 0 -1 4202560 31196 12477 0 0 583 12 9 3 20 0 20 0 10085600 11192233984 102471 33554432000 4194304 4196468 140724865017824 140219749082048 140219360730276 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31373] ppid=31314 vsize=10929916 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31373/stat : 31373 (java) S 31314 31317 23034 0 -1 1077944384 83 12477 0 0 6 2 9 3 20 0 20 0 10085601 11192233984 102471 33554432000 4194304 4196468 140724865017824 140219681544720 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31374] ppid=31314 vsize=10929916 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31374/stat : 31374 (java) S 31314 31317 23034 0 -1 1077944384 54 12477 0 0 5 2 9 3 20 0 20 0 10085601 11192233984 102471 33554432000 4194304 4196468 140724865017824 140219680492176 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31375] ppid=31314 vsize=10929916 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31375/stat : 31375 (java) S 31314 31317 23034 0 -1 1077944384 58 12477 0 0 5 3 9 3 20 0 20 0 10085601 11192233984 102471 33554432000 4194304 4196468 140724865017824 140219679439120 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31376] ppid=31314 vsize=10929916 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31376/stat : 31376 (java) S 31314 31317 23034 0 -1 1077944384 42 12477 0 0 4 2 9 3 20 0 20 0 10085601 11192233984 102471 33554432000 4194304 4196468 140724865017824 140219678386576 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31377] ppid=31314 vsize=10929916 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31377/stat : 31377 (java) S 31314 31317 23034 0 -1 1077944384 54 12477 0 0 6 3 9 3 20 0 20 0 10085601 11192233984 102471 33554432000 4194304 4196468 140724865017824 140219346971664 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31378] ppid=31314 vsize=10929916 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31378/stat : 31378 (java) S 31314 31317 23034 0 -1 1077944384 60 12477 0 0 6 2 9 3 20 0 20 0 10085601 11192233984 102471 33554432000 4194304 4196468 140724865017824 140219345919120 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31379] ppid=31314 vsize=10929916 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31379/stat : 31379 (java) S 31314 31317 23034 0 -1 1077944384 291 12477 0 0 6 3 9 3 20 0 20 0 10085601 11192233984 102471 33554432000 4194304 4196468 140724865017824 140219344866064 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31380] ppid=31314 vsize=10929916 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31380/stat : 31380 (java) S 31314 31317 23034 0 -1 1077944384 96 12477 0 0 6 2 9 3 20 0 20 0 10085601 11192233984 102471 33554432000 4194304 4196468 140724865017824 140219343813520 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31381] ppid=31314 vsize=10929916 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31381/stat : 31381 (java) S 31314 31317 23034 0 -1 1077944384 2095 12477 0 0 6 0 9 3 20 0 20 0 10085604 11192233984 102471 33554432000 4194304 4196468 140724865017824 140219018098928 140219744864898 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31382] ppid=31314 vsize=10929916 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31382/stat : 31382 (java) S 31314 31317 23034 0 -1 1077944384 37 12477 0 0 0 0 9 3 20 0 20 0 10085604 11192233984 102471 33554432000 4194304 4196468 140724865017824 140219017045216 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31383] ppid=31314 vsize=10929916 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31383/stat : 31383 (java) S 31314 31317 23034 0 -1 1077944384 45 12477 0 0 1 0 9 3 20 0 20 0 10085605 11192233984 102471 33554432000 4194304 4196468 140724865017824 140219015992064 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31384] ppid=31314 vsize=10929916 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31384/stat : 31384 (java) S 31314 31317 23034 0 -1 1077944384 1 12477 0 0 0 0 9 3 20 0 20 0 10085609 11192233984 102471 33554432000 4194304 4196468 140724865017824 140219014940624 140219744872347 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31385] ppid=31314 vsize=10929916 CPUtime=2.51 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31385/stat : 31385 (java) R 31314 31317 23034 0 -1 4202560 4900 12477 0 0 237 2 9 3 20 0 20 0 10085609 11192233984 102471 33554432000 4194304 4196468 140724865017824 140219013870704 140219744867624 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31386] ppid=31314 vsize=10929916 CPUtime=2.59 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31386/stat : 31386 (java) R 31314 31317 23034 0 -1 4202560 5829 12477 0 0 245 2 9 3 20 0 20 0 10085609 11192233984 102471 33554432000 4194304 4196468 140724865017824 140219012817616 140219728823447 0 4 0 16800975 0 0 0 -1 15 0 0 2 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31387] ppid=31314 vsize=10929916 CPUtime=2.68 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31387/stat : 31387 (java) R 31314 31317 23034 0 -1 4202560 5300 12477 0 0 255 1 9 3 20 0 20 0 10085609 11192233984 102471 33554432000 4194304 4196468 140724865017824 140219011767232 140219729240922 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31388] ppid=31314 vsize=10929916 CPUtime=2.06 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31388/stat : 31388 (java) R 31314 31317 23034 0 -1 4202560 6506 12477 0 0 192 2 9 3 20 0 20 0 10085609 11192233984 102471 33554432000 4194304 4196468 140724865017824 140219010730608 140219724286816 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31389] ppid=31314 vsize=10929916 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=31317/tid=31386] ppid=31314 vsize=10997500 CPUtime=4.34 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31386/stat : 31386 (java) S 31314 31317 23034 0 -1 1077944384 15286 12477 0 0 418 4 9 3 20 0 20 0 10085609 11261440000 332846 33554432000 4194304 4196468 140724865017824 140219012836208 140219744864898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31387] ppid=31314 vsize=10997500 CPUtime=4.6 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31387/stat : 31387 (java) S 31314 31317 23034 0 -1 1077944384 18696 12477 0 0 445 3 9 3 20 0 20 0 10085609 11261440000 332846 33554432000 4194304 4196468 140724865017824 140219011783152 140219744864898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31388] ppid=31314 vsize=10997500 CPUtime=2.67 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31388/stat : 31388 (java) S 31314 31317 23034 0 -1 1077944384 16161 12477 0 0 251 4 9 3 20 0 20 0 10085609 11261440000 332846 33554432000 4194304 4196468 140724865017824 140219010730608 140219744864898 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31389] ppid=31314 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31389/stat : 31389 (java) S 31314 31317 23034 0 -1 1077944384 3 12477 0 0 0 0 9 3 20 0 20 0 10085609 11261440000 332846 33554432000 4194304 4196468 140724865017824 140219009677792 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31390] ppid=31314 vsize=10997500 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31390/stat : 31390 (java) S 31314 31317 23034 0 -1 1077944384 3738 12477 0 0 64 66 9 3 20 0 20 0 10085610 11261440000 332846 33554432000 4194304 4196468 140724865017824 140219008625328 140219744864898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
Current children cumulated CPU time (s) 2393.09
Current children cumulated vsize (KiB) 10997500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2329.1 s]
/proc/loadavg: 0.74 0.70 0.86 2/255 31533
/proc/meminfo: memFree=30353632/32770624 swapFree=5756/325512
[pid=31317] ppid=31314 vsize=10997500 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15
/proc/31317/stat : 31317 (java) S 31314 31317 23034 0 -1 1077944320 263276 12477 0 0 239546 448 9 3 20 0 20 0 10085587 11261440000 332846 33554432000 4194304 4196468 140724865017824 140724865000368 140219744853751 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
/proc/31317/statm: 2749375 332846 3516 1 0 2736930 0
[pid=31317/tid=31372] ppid=31314 vsize=10997500 CPUtime=2310.72 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31372/stat : 31372 (java) R 31314 31317 23034 0 -1 4202560 85987 12477 0 0 231014 46 9 3 20 0 20 0 10085600 11261440000 332846 33554432000 4194304 4196468 140724865017824 140219749087712 140219376658563 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31373] ppid=31314 vsize=10997500 CPUtime=8.3 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31373/stat : 31373 (java) S 31314 31317 23034 0 -1 1077944384 9313 12477 0 0 779 39 9 3 20 0 20 0 10085601 11261440000 332846 33554432000 4194304 4196468 140724865017824 140219681544720 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31374] ppid=31314 vsize=10997500 CPUtime=8.5 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31374/stat : 31374 (java) S 31314 31317 23034 0 -1 1077944384 9845 12477 0 0 798 40 9 3 20 0 20 0 10085601 11261440000 332846 33554432000 4194304 4196468 140724865017824 140219680492176 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31375] ppid=31314 vsize=10997500 CPUtime=8.43 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31375/stat : 31375 (java) S 31314 31317 23034 0 -1 1077944384 13281 12477 0 0 788 43 9 3 20 0 20 0 10085601 11261440000 332846 33554432000 4194304 4196468 140724865017824 140219679439120 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31376] ppid=31314 vsize=10997500 CPUtime=8.42 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31376/stat : 31376 (java) S 31314 31317 23034 0 -1 1077944384 8648 12477 0 0 789 41 9 3 20 0 20 0 10085601 11261440000 332846 33554432000 4194304 4196468 140724865017824 140219678386576 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31377] ppid=31314 vsize=10997500 CPUtime=8.42 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31377/stat : 31377 (java) S 31314 31317 23034 0 -1 1077944384 10603 12477 0 0 791 39 9 3 20 0 20 0 10085601 11261440000 332846 33554432000 4194304 4196468 140724865017824 140219346971664 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31378] ppid=31314 vsize=10997500 CPUtime=8.51 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31378/stat : 31378 (java) S 31314 31317 23034 0 -1 1077944384 11835 12477 0 0 800 39 9 3 20 0 20 0 10085601 11261440000 332846 33554432000 4194304 4196468 140724865017824 140219345919120 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31379] ppid=31314 vsize=10997500 CPUtime=8.52 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31379/stat : 31379 (java) S 31314 31317 23034 0 -1 1077944384 12267 12477 0 0 800 40 9 3 20 0 20 0 10085601 11261440000 332846 33554432000 4194304 4196468 140724865017824 140219344866064 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31380] ppid=31314 vsize=10997500 CPUtime=8.44 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31380/stat : 31380 (java) S 31314 31317 23034 0 -1 1077944384 9803 12477 0 0 793 39 9 3 20 0 20 0 10085601 11261440000 332846 33554432000 4194304 4196468 140724865017824 140219343813520 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31381] ppid=31314 vsize=10997500 CPUtime=6.09 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31381/stat : 31381 (java) S 31314 31317 23034 0 -1 1077944384 19064 12477 0 0 559 38 9 3 20 0 20 0 10085604 11261440000 332846 33554432000 4194304 4196468 140724865017824 140219018098928 140219744864898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31382] ppid=31314 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31382/stat : 31382 (java) S 31314 31317 23034 0 -1 1077944384 37 12477 0 0 0 0 9 3 20 0 20 0 10085604 11261440000 332846 33554432000 4194304 4196468 140724865017824 140219017045216 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31383] ppid=31314 vsize=10997500 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31383/stat : 31383 (java) S 31314 31317 23034 0 -1 1077944384 45 12477 0 0 1 0 9 3 20 0 20 0 10085605 11261440000 332846 33554432000 4194304 4196468 140724865017824 140219015992064 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31384] ppid=31314 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31384/stat : 31384 (java) S 31314 31317 23034 0 -1 1077944384 1 12477 0 0 0 0 9 3 20 0 20 0 10085609 11261440000 332846 33554432000 4194304 4196468 140724865017824 140219014940624 140219744872347 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31385] ppid=31314 vsize=10997500 CPUtime=4.18 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31385/stat : 31385 (java) S 31314 31317 23034 0 -1 1077944384 16528 12477 0 0 402 4 9 3 20 0 20 0 10085609 11261440000 332846 33554432000 4194304 4196468 140724865017824 140219013888752 140219744864898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31386] ppid=31314 vsize=10997500 CPUtime=4.34 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31386/stat : 31386 (java) S 31314 31317 23034 0 -1 1077944384 15286 12477 0 0 418 4 9 3 20 0 20 0 10085609 11261440000 332846 33554432000 4194304 4196468 140724865017824 140219012836208 140219744864898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31387] ppid=31314 vsize=10997500 CPUtime=4.6 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31387/stat : 31387 (java) S 31314 31317 23034 0 -1 1077944384 18696 12477 0 0 445 3 9 3 20 0 20 0 10085609 11261440000 332846 33554432000 4194304 4196468 140724865017824 140219011783152 140219744864898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31388] ppid=31314 vsize=10997500 CPUtime=2.67 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31388/stat : 31388 (java) S 31314 31317 23034 0 -1 1077944384 16161 12477 0 0 251 4 9 3 20 0 20 0 10085609 11261440000 332846 33554432000 4194304 4196468 140724865017824 140219010730608 140219744864898 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31389] ppid=31314 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31389/stat : 31389 (java) S 31314 31317 23034 0 -1 1077944384 3 12477 0 0 0 0 9 3 20 0 20 0 10085609 11261440000 332846 33554432000 4194304 4196468 140724865017824 140219009677792 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31390] ppid=31314 vsize=10997500 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31390/stat : 31390 (java) S 31314 31317 23034 0 -1 1077944384 3740 12477 0 0 64 66 9 3 20 0 20 0 10085610 11261440000 332846 33554432000 4194304 4196468 140724865017824 140219008625328 140219744864898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
Current children cumulated CPU time (s) 2400.06
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 31317 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2329.21 s]
/proc/loadavg: 0.74 0.70 0.86 2/255 31533
/proc/meminfo: memFree=30353632/32770624 swapFree=5756/325512
[pid=31317] ppid=31314 vsize=11130628 CPUtime=2400.48 cores=1,3,5,7,9,11,13,15
/proc/31317/stat : 31317 (java) S 31314 31317 23034 0 -1 1077944320 268588 12477 0 0 239586 450 9 3 20 0 22 0 10085587 11397763072 334554 33554432000 4194304 4196468 140724865017824 140724865000368 140219744853751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
/proc/31317/statm: 2782657 334554 3516 1 0 2770212 0
[pid=31317/tid=31372] ppid=31314 vsize=11130628 CPUtime=2310.73 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31372/stat : 31372 (java) S 31314 31317 23034 0 -1 1077944384 86229 12477 0 0 231015 46 9 3 20 0 22 0 10085600 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219749091296 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31373] ppid=31314 vsize=11130628 CPUtime=8.36 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31373/stat : 31373 (java) R 31314 31317 23034 0 -1 4202560 9341 12477 0 0 784 40 9 3 20 0 22 0 10085601 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219681544840 140219737481959 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31374] ppid=31314 vsize=11130628 CPUtime=8.55 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31374/stat : 31374 (java) R 31314 31317 23034 0 -1 4202560 9869 12477 0 0 803 40 9 3 20 0 22 0 10085601 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219680491984 140219737481959 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31375] ppid=31314 vsize=11130628 CPUtime=8.49 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31375/stat : 31375 (java) R 31314 31317 23034 0 -1 4202560 13288 12477 0 0 793 44 9 3 20 0 22 0 10085601 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219679439320 140219729554374 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31376] ppid=31314 vsize=11130628 CPUtime=8.47 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31376/stat : 31376 (java) R 31314 31317 23034 0 -1 4202560 8652 12477 0 0 794 41 9 3 20 0 22 0 10085601 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219678386696 140219737481959 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31377] ppid=31314 vsize=11130628 CPUtime=8.46 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31377/stat : 31377 (java) R 31314 31317 23034 0 -1 4202560 10615 12477 0 0 795 39 9 3 20 0 22 0 10085601 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219346971784 140219737481959 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31378] ppid=31314 vsize=11130628 CPUtime=8.57 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31378/stat : 31378 (java) R 31314 31317 23034 0 -1 4202560 11839 12477 0 0 805 40 9 3 20 0 22 0 10085601 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219345919240 140219737481959 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31379] ppid=31314 vsize=11130628 CPUtime=8.55 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31379/stat : 31379 (java) R 31314 31317 23034 0 -1 4202560 12297 12477 0 0 803 40 9 3 20 0 22 0 10085601 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219344866184 140219737481959 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31380] ppid=31314 vsize=11130628 CPUtime=8.49 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31380/stat : 31380 (java) R 31314 31317 23034 0 -1 4202560 9811 12477 0 0 798 39 9 3 20 0 22 0 10085601 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219343813640 140219730612560 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31381] ppid=31314 vsize=11130628 CPUtime=6.14 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31381/stat : 31381 (java) S 31314 31317 23034 0 -1 1077944384 23583 12477 0 0 563 39 9 3 20 0 22 0 10085604 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219018097552 140219744863957 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31382] ppid=31314 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31382/stat : 31382 (java) S 31314 31317 23034 0 -1 1077944384 37 12477 0 0 0 0 9 3 20 0 22 0 10085604 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219017045216 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31383] ppid=31314 vsize=11130628 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31383/stat : 31383 (java) S 31314 31317 23034 0 -1 1077944384 45 12477 0 0 1 0 9 3 20 0 22 0 10085605 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219015992064 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31384] ppid=31314 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31384/stat : 31384 (java) S 31314 31317 23034 0 -1 1077944384 79 12477 0 0 0 0 9 3 20 0 22 0 10085609 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219014940624 140219744872347 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31385] ppid=31314 vsize=11130628 CPUtime=4.19 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31385/stat : 31385 (java) S 31314 31317 23034 0 -1 1077944384 16770 12477 0 0 403 4 9 3 20 0 22 0 10085609 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219013888752 140219744864898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31386] ppid=31314 vsize=11130628 CPUtime=4.34 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31386/stat : 31386 (java) S 31314 31317 23034 0 -1 1077944384 15286 12477 0 0 418 4 9 3 20 0 22 0 10085609 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219012836208 140219744864898 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 2 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31387] ppid=31314 vsize=11130628 CPUtime=4.6 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31387/stat : 31387 (java) S 31314 31317 23034 0 -1 1077944384 18706 12477 0 0 445 3 9 3 20 0 22 0 10085609 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219011770960 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31388] ppid=31314 vsize=11130628 CPUtime=2.67 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31388/stat : 31388 (java) S 31314 31317 23034 0 -1 1077944384 16161 12477 0 0 251 4 9 3 20 0 22 0 10085609 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219010730608 140219744864898 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31389] ppid=31314 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31389/stat : 31389 (java) S 31314 31317 23034 0 -1 1077944384 3 12477 0 0 0 0 9 3 20 0 22 0 10085609 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219009677792 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31390] ppid=31314 vsize=11130628 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31390/stat : 31390 (java) S 31314 31317 23034 0 -1 1077944384 3740 12477 0 0 64 66 9 3 20 0 22 0 10085610 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219008625328 140219744864898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
Current children cumulated CPU time (s) 2400.48
Current children cumulated vsize (KiB) 11130628
[startup+2329.4 s]
/proc/loadavg: 0.74 0.70 0.86 2/255 31533
/proc/meminfo: memFree=30353632/32770624 swapFree=5756/325512
[pid=31317] ppid=31314 vsize=11130628 CPUtime=2401.72 cores=1,3,5,7,9,11,13,15
/proc/31317/stat : 31317 (java) S 31314 31317 23034 0 -1 1077944320 268896 12477 0 0 239709 451 9 3 20 0 22 0 10085587 11397763072 334554 33554432000 4194304 4196468 140724865017824 140724865000368 140219744853751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
/proc/31317/statm: 2782657 334554 3516 1 0 2770212 0
[pid=31317/tid=31372] ppid=31314 vsize=11130628 CPUtime=2310.73 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31372/stat : 31372 (java) S 31314 31317 23034 0 -1 1077944384 86229 12477 0 0 231015 46 9 3 20 0 22 0 10085600 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219749091296 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31373] ppid=31314 vsize=11130628 CPUtime=8.51 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31373/stat : 31373 (java) S 31314 31317 23034 0 -1 1077944384 9344 12477 0 0 799 40 9 3 20 0 22 0 10085601 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219681544720 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31374] ppid=31314 vsize=11130628 CPUtime=8.7 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31374/stat : 31374 (java) S 31314 31317 23034 0 -1 1077944384 9869 12477 0 0 818 40 9 3 20 0 22 0 10085601 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219680492176 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31375] ppid=31314 vsize=11130628 CPUtime=8.64 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31375/stat : 31375 (java) S 31314 31317 23034 0 -1 1077944384 13289 12477 0 0 808 44 9 3 20 0 22 0 10085601 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219679439120 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31376] ppid=31314 vsize=11130628 CPUtime=8.62 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31376/stat : 31376 (java) S 31314 31317 23034 0 -1 1077944384 8652 12477 0 0 809 41 9 3 20 0 22 0 10085601 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219678386576 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31377] ppid=31314 vsize=11130628 CPUtime=8.62 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31377/stat : 31377 (java) S 31314 31317 23034 0 -1 1077944384 10616 12477 0 0 810 40 9 3 20 0 22 0 10085601 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219346971664 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31378] ppid=31314 vsize=11130628 CPUtime=8.71 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31378/stat : 31378 (java) S 31314 31317 23034 0 -1 1077944384 11842 12477 0 0 819 40 9 3 20 0 22 0 10085601 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219345919120 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31379] ppid=31314 vsize=11130628 CPUtime=8.7 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31379/stat : 31379 (java) S 31314 31317 23034 0 -1 1077944384 12297 12477 0 0 818 40 9 3 20 0 22 0 10085601 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219344866064 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31380] ppid=31314 vsize=11130628 CPUtime=8.63 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31380/stat : 31380 (java) S 31314 31317 23034 0 -1 1077944384 9811 12477 0 0 812 39 9 3 20 0 22 0 10085601 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219343813520 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31381] ppid=31314 vsize=11130628 CPUtime=6.18 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31381/stat : 31381 (java) R 31314 31317 23034 0 -1 4202560 23876 12477 0 0 567 39 9 3 20 0 22 0 10085604 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219018097328 140219729221385 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31382] ppid=31314 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31382/stat : 31382 (java) S 31314 31317 23034 0 -1 1077944384 42 12477 0 0 0 0 9 3 20 0 22 0 10085604 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219017044528 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31383] ppid=31314 vsize=11130628 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31383/stat : 31383 (java) S 31314 31317 23034 0 -1 1077944384 45 12477 0 0 1 0 9 3 20 0 22 0 10085605 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219015992064 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31384] ppid=31314 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31384/stat : 31384 (java) S 31314 31317 23034 0 -1 1077944384 79 12477 0 0 0 0 9 3 20 0 22 0 10085609 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219014940624 140219744872347 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31385] ppid=31314 vsize=11130628 CPUtime=4.19 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31385/stat : 31385 (java) S 31314 31317 23034 0 -1 1077944384 16770 12477 0 0 403 4 9 3 20 0 22 0 10085609 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219013888752 140219744864898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31386] ppid=31314 vsize=11130628 CPUtime=4.34 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31386/stat : 31386 (java) S 31314 31317 23034 0 -1 1077944384 15286 12477 0 0 418 4 9 3 20 0 22 0 10085609 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219012836208 140219744864898 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 2 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31387] ppid=31314 vsize=11130628 CPUtime=4.6 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31387/stat : 31387 (java) S 31314 31317 23034 0 -1 1077944384 18707 12477 0 0 445 3 9 3 20 0 22 0 10085609 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219011771232 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31388] ppid=31314 vsize=11130628 CPUtime=2.67 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31388/stat : 31388 (java) S 31314 31317 23034 0 -1 1077944384 16161 12477 0 0 251 4 9 3 20 0 22 0 10085609 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219010730608 140219744864898 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31389] ppid=31314 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31389/stat : 31389 (java) S 31314 31317 23034 0 -1 1077944384 3 12477 0 0 0 0 9 3 20 0 22 0 10085609 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219009677792 140219744863957 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
[pid=31317/tid=31390] ppid=31314 vsize=11130628 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/31317/task/31390/stat : 31390 (java) S 31314 31317 23034 0 -1 1077944384 3740 12477 0 0 64 66 9 3 20 0 22 0 10085610 11397763072 334554 33554432000 4194304 4196468 140724865017824 140219008625328 140219744864898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140724865022657 140724865025431 140724865025431 140724865028047 0
Current children cumulated CPU time (s) 2401.72
Current children cumulated vsize (KiB) 11130628
Child status: 143
Real time (s): 2329.49
CPU time (s): 2402.04
CPU user time (s): 2397.48
CPU system time (s): 4.56081
CPU usage (%): 103.115
Max. virtual memory (cumulated for all children) (KiB): 11130628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.48
system time used= 4.56081
maximum resident set size= 1516924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281505
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= 255246
involuntary context switches= 170794
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4031 second user time and 21.5695 second system time
The end