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-4249260-1500761594/watcher-4249260-1500761594 -o /tmp/evaluation-result-4249260-1500761594/solver-4249260-1500761594 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500752272-21524 --watchdog 2560 bin/concrete HOME/instance-4249260-1500761594.xml
pid=24967
running on 8 cores: 4-7,12-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.66 1.78 1.77 3/262 24970
/proc/meminfo: memFree=28527024/32770624 swapFree=5816/244176
[pid=24970] ppid=24967 vsize=9508 CPUtime=0 cores=4-7,12-15
/proc/24970/stat : 24970 (bash) S 24967 24970 21492 0 -1 4202496 687 1531 0 0 0 0 0 0 20 0 1 0 11424751 9736192 351 33554432000 4194304 5098028 140727757898944 140727757896584 140385584503808 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 33333248 140727757903118 140727757903203 140727757903203 140727757905902 0
/proc/24970/statm: 2377 351 278 221 0 86 0
[startup+0.100061 s]
/proc/loadavg: 1.66 1.78 1.77 3/262 24970
/proc/meminfo: memFree=28527024/32770624 swapFree=5816/244176
[pid=24970] ppid=24967 vsize=9640 CPUtime=0.01 cores=4-7,12-15
/proc/24970/stat : 24970 (bash) S 24967 24970 21492 0 -1 4202496 885 6414 0 0 0 0 0 1 20 0 1 0 11424751 9871360 378 33554432000 4194304 5098028 140727757898944 140727757892952 140385584503808 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 33333248 140727757903118 140727757903203 140727757903203 140727757905902 0
/proc/24970/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200285 s]
/proc/loadavg: 1.66 1.78 1.77 3/262 24970
/proc/meminfo: memFree=28527024/32770624 swapFree=5816/244176
[pid=24970] ppid=24967 vsize=10901872 CPUtime=0.2 cores=4-7,12-15
/proc/24970/stat : 24970 (java) S 24967 24970 21492 0 -1 1077944320 5942 12372 0 0 9 1 7 3 20 0 20 0 11424751 11163516928 6693 33554432000 4194304 4196468 140733053021408 140733053003952 140457708412663 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
/proc/24970/statm: 2725468 6693 2719 1 0 2713890 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 10901872
[startup+0.300314 s]
/proc/loadavg: 1.66 1.78 1.77 3/262 24970
/proc/meminfo: memFree=28527024/32770624 swapFree=5816/244176
[pid=24970] ppid=24967 vsize=10902292 CPUtime=0.36 cores=4-7,12-15
/proc/24970/stat : 24970 (java) S 24967 24970 21492 0 -1 1077944320 9539 12372 0 0 23 3 7 3 20 0 20 0 11424751 11163947008 10676 33554432000 4194304 4196468 140733053021408 140733053003952 140457708412663 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
/proc/24970/statm: 2725573 10676 2985 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902292
[startup+0.70023 s]
/proc/loadavg: 1.66 1.78 1.77 3/262 24970
/proc/meminfo: memFree=28527024/32770624 swapFree=5816/244176
[pid=24970] ppid=24967 vsize=10902720 CPUtime=1.03 cores=4-7,12-15
/proc/24970/stat : 24970 (java) S 24967 24970 21492 0 -1 1077944320 13080 12372 0 0 88 5 7 3 20 0 20 0 11424751 11164385280 16318 33554432000 4194304 4196468 140733053021408 140733053003952 140457708412663 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
/proc/24970/statm: 2725680 16318 3229 1 0 2713890 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 10902720
[startup+1.50078 s]
/proc/loadavg: 1.76 1.80 1.78 3/282 25043
/proc/meminfo: memFree=28424740/32770624 swapFree=5816/244260
[pid=24970] ppid=24967 vsize=10913344 CPUtime=2.33 cores=4-7,12-15
/proc/24970/stat : 24970 (java) S 24967 24970 21492 0 -1 1077944320 26955 12372 0 0 207 16 7 3 20 0 20 0 11424751 11175264256 43949 33554432000 4194304 4196468 140733053021408 140733053003952 140457708412663 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
/proc/24970/statm: 2728336 43949 3408 1 0 2716450 0
[pid=24970/tid=25025] ppid=24967 vsize=10913344 CPUtime=1.42 cores=4-7,12-15
/proc/24970/task/25025/stat : 25025 (java) R 24967 24970 21492 0 -1 4202560 19166 12372 0 0 126 6 7 3 20 0 20 0 11424763 11175264256 43949 33554432000 4194304 4196468 140733053021408 140457712634880 140457708424598 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25026] ppid=24967 vsize=10913344 CPUtime=0.1 cores=4-7,12-15
/proc/24970/task/25026/stat : 25026 (java) S 24967 24970 21492 0 -1 1077944384 133 12372 0 0 0 0 7 3 20 0 20 0 11424764 11175264256 43949 33554432000 4194304 4196468 140733053021408 140457315003280 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25027] ppid=24967 vsize=10913344 CPUtime=0.1 cores=4-7,12-15
/proc/24970/task/25027/stat : 25027 (java) S 24967 24970 21492 0 -1 1077944384 36 12372 0 0 0 0 7 3 20 0 20 0 11424764 11175264256 43949 33554432000 4194304 4196468 140733053021408 140457313950480 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25028] ppid=24967 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/24970/task/25028/stat : 25028 (java) S 24967 24970 21492 0 -1 1077944384 17 12372 0 0 1 0 7 3 20 0 20 0 11424764 11175264256 43949 33554432000 4194304 4196468 140733053021408 140457312898192 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25029] ppid=24967 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/24970/task/25029/stat : 25029 (java) S 24967 24970 21492 0 -1 1077944384 30 12372 0 0 1 0 7 3 20 0 20 0 11424764 11175264256 43949 33554432000 4194304 4196468 140733053021408 140457311845392 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25030] ppid=24967 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/24970/task/25030/stat : 25030 (java) S 24967 24970 21492 0 -1 1077944384 16 12372 0 0 1 0 7 3 20 0 20 0 11424764 11175264256 43949 33554432000 4194304 4196468 140733053021408 140457310792080 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25031] ppid=24967 vsize=10913344 CPUtime=0.1 cores=4-7,12-15
/proc/24970/task/25031/stat : 25031 (java) S 24967 24970 21492 0 -1 1077944384 19 12372 0 0 0 0 7 3 20 0 20 0 11424764 11175264256 43949 33554432000 4194304 4196468 140733053021408 140457309739280 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25032] ppid=24967 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/24970/task/25032/stat : 25032 (java) S 24967 24970 21492 0 -1 1077944384 25 12372 0 0 1 0 7 3 20 0 20 0 11424764 11175264256 43949 33554432000 4194304 4196468 140733053021408 140457308686992 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25033] ppid=24967 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/24970/task/25033/stat : 25033 (java) S 24967 24970 21492 0 -1 1077944384 45 12372 0 0 1 0 7 3 20 0 20 0 11424764 11175264256 43949 33554432000 4194304 4196468 140733053021408 140457307634192 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25034] ppid=24967 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/24970/task/25034/stat : 25034 (java) S 24967 24970 21492 0 -1 1077944384 1362 12372 0 0 1 0 7 3 20 0 20 0 11424765 11175264256 43949 33554432000 4194304 4196468 140733053021408 140457250208368 140457708423810 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25035] ppid=24967 vsize=10913344 CPUtime=0.1 cores=4-7,12-15
/proc/24970/task/25035/stat : 25035 (java) S 24967 24970 21492 0 -1 1077944384 54 12372 0 0 0 0 7 3 20 0 20 0 11424766 11175264256 43949 33554432000 4194304 4196468 140733053021408 140457249154400 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25036] ppid=24967 vsize=10913344 CPUtime=0.1 cores=4-7,12-15
/proc/24970/task/25036/stat : 25036 (java) S 24967 24970 21492 0 -1 1077944384 44 12372 0 0 0 0 7 3 20 0 20 0 11424766 11175264256 43949 33554432000 4194304 4196468 140733053021408 140457248102016 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25037] ppid=24967 vsize=10913344 CPUtime=0.1 cores=4-7,12-15
/proc/24970/task/25037/stat : 25037 (java) S 24967 24970 21492 0 -1 1077944384 1 12372 0 0 0 0 7 3 20 0 20 0 11424769 11175264256 43949 33554432000 4194304 4196468 140733053021408 140457247050320 140457708431259 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25038] ppid=24967 vsize=10913344 CPUtime=0.25 cores=4-7,12-15
/proc/24970/task/25038/stat : 25038 (java) R 24967 24970 21492 0 -1 4202560 1055 12372 0 0 15 0 7 3 20 0 20 0 11424770 11175264256 43949 33554432000 4194304 4196468 140733053021408 140457245997464 140457693534820 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25039] ppid=24967 vsize=10913344 CPUtime=0.22 cores=4-7,12-15
/proc/24970/task/25039/stat : 25039 (java) R 24967 24970 21492 0 -1 4202560 525 12372 0 0 11 1 7 3 20 0 20 0 11424770 11175264256 43949 33554432000 4194304 4196468 140733053021408 140457244943440 140457687656411 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25040] ppid=24967 vsize=10913344 CPUtime=0.25 cores=4-7,12-15
/proc/24970/task/25040/stat : 25040 (java) S 24967 24970 21492 0 -1 1077944384 1033 12372 0 0 15 0 7 3 20 0 20 0 11424770 11175264256 43949 33554432000 4194304 4196468 140733053021408 140457243892080 140457708423810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25041] ppid=24967 vsize=10913344 CPUtime=0.36 cores=4-7,12-15
/proc/24970/task/25041/stat : 25041 (java) R 24967 24970 21492 0 -1 4202560 1255 12372 0 0 26 0 7 3 20 0 20 0 11424770 11175264256 43949 33554432000 4194304 4196468 140733053021408 140457242839280 140457708434010 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25042] ppid=24967 vsize=10913344 CPUtime=0.1 cores=4-7,12-15
/proc/24970/task/25042/stat : 25042 (java) S 24967 24970 21492 0 -1 1077944384 3 12372 0 0 0 0 7 3 20 0 20 0 11424770 11175264256 43949 33554432000 4194304 4196468 140733053021408 140457040407392 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25043] ppid=24967 vsize=10913344 CPUtime=0.1 cores=4-7,12-15
/proc/24970/task/25043/stat : 25043 (java) S 24967 24970 21492 0 -1 1077944384 3 12372 0 0 0 0 7 3 20 0 20 0 11424770 11175264256 43949 33554432000 4194304 4196468 140733053021408 140457039354672 140457708423810 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 10913344
[startup+3.10074 s]
/proc/loadavg: 1.76 1.80 1.78 6/282 25043
/proc/meminfo: memFree=28350592/32770624 swapFree=5816/244260
[pid=24970] ppid=24967 vsize=10925820 CPUtime=6.48 cores=4-7,12-15
/proc/24970/stat : 24970 (java) S 24967 24970 21492 0 -1 1077944320 47265 12372 0 0 617 21 7 3 20 0 20 0 11424751 11188039680 57010 33554432000 4194304 4196468 140733053021408 140733053003952 140457708412663 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
/proc/24970/statm: 2731455 57034 3476 1 0 2719010 0
[pid=24970/tid=25025] ppid=24967 vsize=10925820 CPUtime=3.01 cores=4-7,12-15
/proc/24970/task/25025/stat : 25025 (java) R 24967 24970 21492 0 -1 4202560 31302 12372 0 0 283 8 7 3 20 0 20 0 11424763 11188039680 57034 33554432000 4194304 4196468 140733053021408 140457712636176 140457708424598 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25026] ppid=24967 vsize=10925820 CPUtime=0.1 cores=4-7,12-15
/proc/24970/task/25026/stat : 25026 (java) S 24967 24970 21492 0 -1 1077944384 133 12372 0 0 0 0 7 3 20 0 20 0 11424764 11188039680 57034 33554432000 4194304 4196468 140733053021408 140457315003280 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25027] ppid=24967 vsize=10925820 CPUtime=0.1 cores=4-7,12-15
/proc/24970/task/25027/stat : 25027 (java) S 24967 24970 21492 0 -1 1077944384 36 12372 0 0 0 0 7 3 20 0 20 0 11424764 11188039680 57034 33554432000 4194304 4196468 140733053021408 140457313950480 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25028] ppid=24967 vsize=10925820 CPUtime=0.11 cores=4-7,12-15
/proc/24970/task/25028/stat : 25028 (java) S 24967 24970 21492 0 -1 1077944384 17 12372 0 0 1 0 7 3 20 0 20 0 11424764 11188039680 57034 33554432000 4194304 4196468 140733053021408 140457312898192 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25029] ppid=24967 vsize=10925820 CPUtime=0.11 cores=4-7,12-15
/proc/24970/task/25029/stat : 25029 (java) S 24967 24970 21492 0 -1 1077944384 30 12372 0 0 1 0 7 3 20 0 20 0 11424764 11188039680 57034 33554432000 4194304 4196468 140733053021408 140457311845392 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25030] ppid=24967 vsize=10925820 CPUtime=0.11 cores=4-7,12-15
/proc/24970/task/25030/stat : 25030 (java) S 24967 24970 21492 0 -1 1077944384 16 12372 0 0 1 0 7 3 20 0 20 0 11424764 11188039680 57034 33554432000 4194304 4196468 140733053021408 140457310792080 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25031] ppid=24967 vsize=10925820 CPUtime=0.1 cores=4-7,12-15
/proc/24970/task/25031/stat : 25031 (java) S 24967 24970 21492 0 -1 1077944384 19 12372 0 0 0 0 7 3 20 0 20 0 11424764 11188039680 57034 33554432000 4194304 4196468 140733053021408 140457309739280 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25032] ppid=24967 vsize=10925820 CPUtime=0.11 cores=4-7,12-15
/proc/24970/task/25032/stat : 25032 (java) S 24967 24970 21492 0 -1 1077944384 25 12372 0 0 1 0 7 3 20 0 20 0 11424764 11188039680 57034 33554432000 4194304 4196468 140733053021408 140457308686992 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25033] ppid=24967 vsize=10925820 CPUtime=0.11 cores=4-7,12-15
/proc/24970/task/25033/stat : 25033 (java) S 24967 24970 21492 0 -1 1077944384 45 12372 0 0 1 0 7 3 20 0 20 0 11424764 11188039680 57034 33554432000 4194304 4196468 140733053021408 140457307634192 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25034] ppid=24967 vsize=10925820 CPUtime=0.11 cores=4-7,12-15
/proc/24970/task/25034/stat : 25034 (java) S 24967 24970 21492 0 -1 1077944384 1398 12372 0 0 1 0 7 3 20 0 20 0 11424765 11188039680 57034 33554432000 4194304 4196468 140733053021408 140457250208368 140457708423810 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25035] ppid=24967 vsize=10925820 CPUtime=0.1 cores=4-7,12-15
/proc/24970/task/25035/stat : 25035 (java) S 24967 24970 21492 0 -1 1077944384 54 12372 0 0 0 0 7 3 20 0 20 0 11424766 11188039680 57034 33554432000 4194304 4196468 140733053021408 140457249154400 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25036] ppid=24967 vsize=10925820 CPUtime=0.1 cores=4-7,12-15
/proc/24970/task/25036/stat : 25036 (java) S 24967 24970 21492 0 -1 1077944384 44 12372 0 0 0 0 7 3 20 0 20 0 11424766 11188039680 57034 33554432000 4194304 4196468 140733053021408 140457248102016 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25037] ppid=24967 vsize=10925820 CPUtime=0.1 cores=4-7,12-15
/proc/24970/task/25037/stat : 25037 (java) S 24967 24970 21492 0 -1 1077944384 1 12372 0 0 0 0 7 3 20 0 20 0 11424769 11188039680 57034 33554432000 4194304 4196468 140733053021408 140457247050320 140457708431259 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25038] ppid=24967 vsize=10925820 CPUtime=0.81 cores=4-7,12-15
/proc/24970/task/25038/stat : 25038 (java) S 24967 24970 21492 0 -1 1077944384 2286 12372 0 0 70 1 7 3 20 0 20 0 11424770 11188039680 57034 33554432000 4194304 4196468 140733053021408 140457245997168 140457708423810 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25039] ppid=24967 vsize=10925820 CPUtime=1.02 cores=4-7,12-15
/proc/24970/task/25039/stat : 25039 (java) R 24967 24970 21492 0 -1 4202560 4254 12372 0 0 90 2 7 3 20 0 20 0 11424770 11188039680 57034 33554432000 4194304 4196468 140733053021408 140457244930480 140457693297110 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25040] ppid=24967 vsize=10925820 CPUtime=0.75 cores=4-7,12-15
/proc/24970/task/25040/stat : 25040 (java) S 24967 24970 21492 0 -1 1077944384 1761 12372 0 0 65 0 7 3 20 0 20 0 11424770 11188039680 57034 33554432000 4194304 4196468 140733053021408 140457243892080 140457708423810 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25041] ppid=24967 vsize=10925820 CPUtime=1.07 cores=4-7,12-15
/proc/24970/task/25041/stat : 25041 (java) R 24967 24970 21492 0 -1 4202560 3702 12372 0 0 96 1 7 3 20 0 20 0 11424770 11188039680 57034 33554432000 4194304 4196468 140733053021408 140457242839280 140457701509420 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25042] ppid=24967 vsize=10925820 CPUtime=0.1 cores=4-7,12-15
/proc/24970/task/25042/stat : 25042 (java) S 24967 24970 21492 0 -1 1077944384 3 12372 0 0 0 0 7 3 20 0 20 0 11424770 11188039680 57034 33554432000 4194304 4196468 140733053021408 140457040407392 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25043] ppid=24967 vsize=10925820 CPUtime=0.1 cores=4-7,12-15
/proc/24970/task/25043/stat : 25043 (java) S 24967 24970 21492 0 -1 1077944384 6 12372 0 0 0 0 7 3 20 0 20 0 11424770 11188039680 57034 33554432000 4194304 4196468 140733053021408 140457039354672 140457708423810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
Current children cumulated CPU time (s) 6.48
Current children cumulated vsize (KiB) 10925820
[startup+6.30115 s]
/proc/loadavg: 1.78 1.80 1.78 3/282 25043
/proc/meminfo: memFree=27895596/32770624 swapFree=5816/244268
[pid=24970] ppid=24967 vsize=10929916 CPUtime=13.97 cores=4-7,12-15
/proc/24970/stat : 24970 (java) S 24967 24970 21492 0 -1 1077944320 53934 12372 0 0 1332 55 7 3 20 0 20 0 11424751 11192233984 167390 33554432000 4194304 4196468 140733053021408 140733053003952 140457708412663 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
/proc/24970/statm: 2732479 167390 3497 1 0 2720034 0
[pid=24970/tid=25025] ppid=24967 vsize=10929916 CPUtime=6.03 cores=4-7,12-15
/proc/24970/task/25025/stat : 25025 (java) R 24967 24970 21492 0 -1 4202560 32882 12372 0 0 578 15 7 3 20 0 20 0 11424763 11192233984 167390 33554432000 4194304 4196468 140733053021408 140457712640384 140457694120424 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25026] ppid=24967 vsize=10929916 CPUtime=0.22 cores=4-7,12-15
/proc/24970/task/25026/stat : 25026 (java) S 24967 24970 21492 0 -1 1077944384 167 12372 0 0 9 3 7 3 20 0 20 0 11424764 11192233984 167390 33554432000 4194304 4196468 140733053021408 140457315003280 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25027] ppid=24967 vsize=10929916 CPUtime=0.22 cores=4-7,12-15
/proc/24970/task/25027/stat : 25027 (java) S 24967 24970 21492 0 -1 1077944384 101 12372 0 0 9 3 7 3 20 0 20 0 11424764 11192233984 167390 33554432000 4194304 4196468 140733053021408 140457313950480 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25028] ppid=24967 vsize=10929916 CPUtime=0.23 cores=4-7,12-15
/proc/24970/task/25028/stat : 25028 (java) S 24967 24970 21492 0 -1 1077944384 56 12372 0 0 10 3 7 3 20 0 20 0 11424764 11192233984 167390 33554432000 4194304 4196468 140733053021408 140457312898192 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25029] ppid=24967 vsize=10929916 CPUtime=0.22 cores=4-7,12-15
/proc/24970/task/25029/stat : 25029 (java) S 24967 24970 21492 0 -1 1077944384 89 12372 0 0 9 3 7 3 20 0 20 0 11424764 11192233984 167390 33554432000 4194304 4196468 140733053021408 140457311845392 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25030] ppid=24967 vsize=10929916 CPUtime=0.22 cores=4-7,12-15
/proc/24970/task/25030/stat : 25030 (java) S 24967 24970 21492 0 -1 1077944384 63 12372 0 0 9 3 7 3 20 0 20 0 11424764 11192233984 167390 33554432000 4194304 4196468 140733053021408 140457310792080 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25031] ppid=24967 vsize=10929916 CPUtime=0.23 cores=4-7,12-15
/proc/24970/task/25031/stat : 25031 (java) S 24967 24970 21492 0 -1 1077944384 83 12372 0 0 9 4 7 3 20 0 20 0 11424764 11192233984 167390 33554432000 4194304 4196468 140733053021408 140457309739280 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25032] ppid=24967 vsize=10929916 CPUtime=0.24 cores=4-7,12-15
/proc/24970/task/25032/stat : 25032 (java) S 24967 24970 21492 0 -1 1077944384 95 12372 0 0 10 4 7 3 20 0 20 0 11424764 11192233984 167390 33554432000 4194304 4196468 140733053021408 140457308686992 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25033] ppid=24967 vsize=10929916 CPUtime=0.23 cores=4-7,12-15
/proc/24970/task/25033/stat : 25033 (java) S 24967 24970 21492 0 -1 1077944384 131 12372 0 0 10 3 7 3 20 0 20 0 11424764 11192233984 167390 33554432000 4194304 4196468 140733053021408 140457307634192 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25034] ppid=24967 vsize=10929916 CPUtime=0.16 cores=4-7,12-15
/proc/24970/task/25034/stat : 25034 (java) S 24967 24970 21492 0 -1 1077944384 2328 12372 0 0 6 0 7 3 20 0 20 0 11424765 11192233984 167390 33554432000 4194304 4196468 140733053021408 140457250208368 140457708423810 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25035] ppid=24967 vsize=10929916 CPUtime=0.1 cores=4-7,12-15
/proc/24970/task/25035/stat : 25035 (java) S 24967 24970 21492 0 -1 1077944384 55 12372 0 0 0 0 7 3 20 0 20 0 11424766 11192233984 167390 33554432000 4194304 4196468 140733053021408 140457249154400 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25036] ppid=24967 vsize=10929916 CPUtime=0.1 cores=4-7,12-15
/proc/24970/task/25036/stat : 25036 (java) S 24967 24970 21492 0 -1 1077944384 44 12372 0 0 0 0 7 3 20 0 20 0 11424766 11192233984 167390 33554432000 4194304 4196468 140733053021408 140457248102016 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25037] ppid=24967 vsize=10929916 CPUtime=0.1 cores=4-7,12-15
/proc/24970/task/25037/stat : 25037 (java) S 24967 24970 21492 0 -1 1077944384 1 12372 0 0 0 0 7 3 20 0 20 0 11424769 11192233984 167390 33554432000 4194304 4196468 140733053021408 140457247050320 140457708431259 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25038] ppid=24967 vsize=10929916 CPUtime=1.81 cores=4-7,12-15
/proc/24970/task/25038/stat : 25038 (java) R 24967 24970 21492 0 -1 4202560 3303 12372 0 0 170 1 7 3 20 0 20 0 11424770 11192233984 167390 33554432000 4194304 4196468 140733053021408 140457245983192 140457693334445 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25039] ppid=24967 vsize=10929916 CPUtime=2.06 cores=4-7,12-15
/proc/24970/task/25039/stat : 25039 (java) R 24967 24970 21492 0 -1 4202560 5103 12372 0 0 194 2 7 3 20 0 20 0 11424770 11192233984 167390 33554432000 4194304 4196468 140733053021408 140457244930336 140457693538063 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25040] ppid=24967 vsize=10929916 CPUtime=1.66 cores=4-7,12-15
/proc/24970/task/25040/stat : 25040 (java) R 24967 24970 21492 0 -1 4202560 2707 12372 0 0 155 1 7 3 20 0 20 0 11424770 11192233984 167390 33554432000 4194304 4196468 140733053021408 140457243877960 140457689934007 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25041] ppid=24967 vsize=10929916 CPUtime=1.58 cores=4-7,12-15
/proc/24970/task/25041/stat : 25041 (java) S 24967 24970 21492 0 -1 1077944384 4579 12372 0 0 146 2 7 3 20 0 20 0 11424770 11192233984 167390 33554432000 4194304 4196468 140733053021408 140457242839280 140457708423810 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25042] ppid=24967 vsize=10929916 CPUtime=0.1 cores=4-7,12-15
################
# More data... #
################
[pid=24970/tid=25039] ppid=24967 vsize=10997500 CPUtime=4.18 cores=4-7,12-15
/proc/24970/task/25039/stat : 25039 (java) S 24967 24970 21492 0 -1 1077944384 21331 12372 0 0 404 4 7 3 20 0 20 0 11424770 11261440000 2028313 33554432000 4194304 4196468 140733053021408 140457244944368 140457708423810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25040] ppid=24967 vsize=10997500 CPUtime=4.01 cores=4-7,12-15
/proc/24970/task/25040/stat : 25040 (java) S 24967 24970 21492 0 -1 1077944384 19315 12372 0 0 388 3 7 3 20 0 20 0 11424770 11261440000 2028313 33554432000 4194304 4196468 140733053021408 140457243892080 140457708423810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25041] ppid=24967 vsize=10997500 CPUtime=2.46 cores=4-7,12-15
/proc/24970/task/25041/stat : 25041 (java) S 24967 24970 21492 0 -1 1077944384 19705 12372 0 0 231 5 7 3 20 0 20 0 11424770 11261440000 2028313 33554432000 4194304 4196468 140733053021408 140457242839280 140457708423810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25042] ppid=24967 vsize=10997500 CPUtime=0.1 cores=4-7,12-15
/proc/24970/task/25042/stat : 25042 (java) S 24967 24970 21492 0 -1 1077944384 3 12372 0 0 0 0 7 3 20 0 20 0 11424770 11261440000 2028313 33554432000 4194304 4196468 140733053021408 140457040407392 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25043] ppid=24967 vsize=10997500 CPUtime=0.64 cores=4-7,12-15
/proc/24970/task/25043/stat : 25043 (java) S 24967 24970 21492 0 -1 1077944384 1281 12372 0 0 27 27 7 3 20 0 20 0 11424770 11261440000 2028313 33554432000 4194304 4196468 140733053021408 140457039354672 140457708423810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
Current children cumulated CPU time (s) 2247.45
Current children cumulated vsize (KiB) 10997500
[startup+1002.3 s]
/proc/loadavg: 1.98 2.24 2.18 3/281 25507
/proc/meminfo: memFree=22499764/32770624 swapFree=5816/244956
[pid=24970] ppid=24967 vsize=10997500 CPUtime=2361.84 cores=4-7,12-15
/proc/24970/stat : 24970 (java) S 24967 24970 21492 0 -1 1077944320 610409 12372 0 0 232243 3931 7 3 20 0 20 0 11424751 11261440000 2030725 33554432000 4194304 4196468 140733053021408 140733053003952 140457708412663 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
/proc/24970/statm: 2749375 2030725 3524 1 0 2736930 0
[pid=24970/tid=25025] ppid=24967 vsize=10997500 CPUtime=805.18 cores=4-7,12-15
/proc/24970/task/25025/stat : 25025 (java) R 24967 24970 21492 0 -1 4202560 88862 12372 0 0 80480 28 7 3 20 0 20 0 11424763 11261440000 2030725 33554432000 4194304 4196468 140733053021408 140457712641456 140457326744751 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25026] ppid=24967 vsize=10997500 CPUtime=192.46 cores=4-7,12-15
/proc/24970/task/25026/stat : 25026 (java) S 24967 24970 21492 0 -1 1077944384 28227 12372 0 0 18735 501 7 3 20 0 20 0 11424764 11261440000 2030725 33554432000 4194304 4196468 140733053021408 140457315003280 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25027] ppid=24967 vsize=10997500 CPUtime=192.02 cores=4-7,12-15
/proc/24970/task/25027/stat : 25027 (java) S 24967 24970 21492 0 -1 1077944384 30920 12372 0 0 18714 478 7 3 20 0 20 0 11424764 11261440000 2030725 33554432000 4194304 4196468 140733053021408 140457313950480 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25028] ppid=24967 vsize=10997500 CPUtime=192.55 cores=4-7,12-15
/proc/24970/task/25028/stat : 25028 (java) S 24967 24970 21492 0 -1 1077944384 27658 12372 0 0 18782 463 7 3 20 0 20 0 11424764 11261440000 2030725 33554432000 4194304 4196468 140733053021408 140457312898192 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25029] ppid=24967 vsize=10997500 CPUtime=192.82 cores=4-7,12-15
/proc/24970/task/25029/stat : 25029 (java) S 24967 24970 21492 0 -1 1077944384 28940 12372 0 0 18820 452 7 3 20 0 20 0 11424764 11261440000 2030725 33554432000 4194304 4196468 140733053021408 140457311845392 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25030] ppid=24967 vsize=10997500 CPUtime=192.93 cores=4-7,12-15
/proc/24970/task/25030/stat : 25030 (java) S 24967 24970 21492 0 -1 1077944384 34309 12372 0 0 18784 499 7 3 20 0 20 0 11424764 11261440000 2030725 33554432000 4194304 4196468 140733053021408 140457310792080 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25031] ppid=24967 vsize=10997500 CPUtime=192.56 cores=4-7,12-15
/proc/24970/task/25031/stat : 25031 (java) S 24967 24970 21492 0 -1 1077944384 32406 12372 0 0 18786 460 7 3 20 0 20 0 11424764 11261440000 2030725 33554432000 4194304 4196468 140733053021408 140457309739280 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25032] ppid=24967 vsize=10997500 CPUtime=192.3 cores=4-7,12-15
/proc/24970/task/25032/stat : 25032 (java) S 24967 24970 21492 0 -1 1077944384 31863 12372 0 0 18732 488 7 3 20 0 20 0 11424764 11261440000 2030725 33554432000 4194304 4196468 140733053021408 140457308686992 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25033] ppid=24967 vsize=10997500 CPUtime=192.46 cores=4-7,12-15
/proc/24970/task/25033/stat : 25033 (java) S 24967 24970 21492 0 -1 1077944384 29431 12372 0 0 18738 498 7 3 20 0 20 0 11424764 11261440000 2030725 33554432000 4194304 4196468 140733053021408 140457307634192 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25034] ppid=24967 vsize=10997500 CPUtime=2.22 cores=4-7,12-15
/proc/24970/task/25034/stat : 25034 (java) S 24967 24970 21492 0 -1 1077944384 188264 12372 0 0 198 14 7 3 20 0 20 0 11424765 11261440000 2030725 33554432000 4194304 4196468 140733053021408 140457250208368 140457708423810 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25035] ppid=24967 vsize=10997500 CPUtime=0.13 cores=4-7,12-15
/proc/24970/task/25035/stat : 25035 (java) S 24967 24970 21492 0 -1 1077944384 437 12372 0 0 2 1 7 3 20 0 20 0 11424766 11261440000 2030725 33554432000 4194304 4196468 140733053021408 140457249154528 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25036] ppid=24967 vsize=10997500 CPUtime=0.1 cores=4-7,12-15
/proc/24970/task/25036/stat : 25036 (java) S 24967 24970 21492 0 -1 1077944384 58 12372 0 0 0 0 7 3 20 0 20 0 11424766 11261440000 2030725 33554432000 4194304 4196468 140733053021408 140457248102016 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25037] ppid=24967 vsize=10997500 CPUtime=0.1 cores=4-7,12-15
/proc/24970/task/25037/stat : 25037 (java) S 24967 24970 21492 0 -1 1077944384 1 12372 0 0 0 0 7 3 20 0 20 0 11424769 11261440000 2030725 33554432000 4194304 4196468 140733053021408 140457247050320 140457708431259 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25038] ppid=24967 vsize=10997500 CPUtime=4.16 cores=4-7,12-15
/proc/24970/task/25038/stat : 25038 (java) S 24967 24970 21492 0 -1 1077944384 22594 12372 0 0 402 4 7 3 20 0 20 0 11424770 11261440000 2030725 33554432000 4194304 4196468 140733053021408 140457245997168 140457708423810 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25039] ppid=24967 vsize=10997500 CPUtime=4.2 cores=4-7,12-15
/proc/24970/task/25039/stat : 25039 (java) S 24967 24970 21492 0 -1 1077944384 22095 12372 0 0 406 4 7 3 20 0 20 0 11424770 11261440000 2030725 33554432000 4194304 4196468 140733053021408 140457244944368 140457708423810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25040] ppid=24967 vsize=10997500 CPUtime=4.03 cores=4-7,12-15
/proc/24970/task/25040/stat : 25040 (java) S 24967 24970 21492 0 -1 1077944384 19964 12372 0 0 390 3 7 3 20 0 20 0 11424770 11261440000 2030725 33554432000 4194304 4196468 140733053021408 140457243892080 140457708423810 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25041] ppid=24967 vsize=10997500 CPUtime=2.47 cores=4-7,12-15
/proc/24970/task/25041/stat : 25041 (java) S 24967 24970 21492 0 -1 1077944384 20919 12372 0 0 232 5 7 3 20 0 20 0 11424770 11261440000 2030725 33554432000 4194304 4196468 140733053021408 140457242839280 140457708423810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25042] ppid=24967 vsize=10997500 CPUtime=0.1 cores=4-7,12-15
/proc/24970/task/25042/stat : 25042 (java) S 24967 24970 21492 0 -1 1077944384 3 12372 0 0 0 0 7 3 20 0 20 0 11424770 11261440000 2030725 33554432000 4194304 4196468 140733053021408 140457040407392 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25043] ppid=24967 vsize=10997500 CPUtime=0.68 cores=4-7,12-15
/proc/24970/task/25043/stat : 25043 (java) S 24967 24970 21492 0 -1 1077944384 1323 12372 0 0 28 30 7 3 20 0 20 0 11424770 11261440000 2030725 33554432000 4194304 4196468 140733053021408 140457039354672 140457708423810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
Current children cumulated CPU time (s) 2361.84
Current children cumulated vsize (KiB) 10997500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1021.4 s]
/proc/loadavg: 1.63 2.14 2.15 3/282 25515
/proc/meminfo: memFree=22499716/32770624 swapFree=5816/244984
[pid=24970] ppid=24967 vsize=10997500 CPUtime=2400.14 cores=4-7,12-15
/proc/24970/stat : 24970 (java) S 24967 24970 21492 0 -1 1077944320 618222 12372 0 0 236070 3934 7 3 20 0 20 0 11424751 11261440000 2030760 33554432000 4194304 4196468 140733053021408 140733053003952 140457708412663 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
/proc/24970/statm: 2749375 2030760 3524 1 0 2736930 0
[pid=24970/tid=25025] ppid=24967 vsize=10997500 CPUtime=821.49 cores=4-7,12-15
/proc/24970/task/25025/stat : 25025 (java) S 24967 24970 21492 0 -1 1077944384 88881 12372 0 0 82111 28 7 3 20 0 20 0 11424763 11261440000 2030760 33554432000 4194304 4196468 140733053021408 140457712598112 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25026] ppid=24967 vsize=10997500 CPUtime=195.18 cores=4-7,12-15
/proc/24970/task/25026/stat : 25026 (java) R 24967 24970 21492 0 -1 4202560 29012 12372 0 0 19007 501 7 3 20 0 20 0 11424764 11261440000 2030760 33554432000 4194304 4196468 140733053021408 140457315003480 140457690038608 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25027] ppid=24967 vsize=10997500 CPUtime=194.74 cores=4-7,12-15
/proc/24970/task/25027/stat : 25027 (java) R 24967 24970 21492 0 -1 4202560 31656 12372 0 0 18986 478 7 3 20 0 20 0 11424764 11261440000 2030760 33554432000 4194304 4196468 140733053021408 140457313950680 140457690038608 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25028] ppid=24967 vsize=10997500 CPUtime=195.29 cores=4-7,12-15
/proc/24970/task/25028/stat : 25028 (java) R 24967 24970 21492 0 -1 4202560 28404 12372 0 0 19056 463 7 3 20 0 20 0 11424764 11261440000 2030760 33554432000 4194304 4196468 140733053021408 140457312898392 140457693439480 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25029] ppid=24967 vsize=10997500 CPUtime=195.59 cores=4-7,12-15
/proc/24970/task/25029/stat : 25029 (java) R 24967 24970 21492 0 -1 4202560 30019 12372 0 0 19096 453 7 3 20 0 20 0 11424764 11261440000 2030760 33554432000 4194304 4196468 140733053021408 140457311845592 140457690038608 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25030] ppid=24967 vsize=10997500 CPUtime=195.67 cores=4-7,12-15
/proc/24970/task/25030/stat : 25030 (java) R 24967 24970 21492 0 -1 4202560 35215 12372 0 0 19058 499 7 3 20 0 20 0 11424764 11261440000 2030760 33554432000 4194304 4196468 140733053021408 140457310792280 140457693440082 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25031] ppid=24967 vsize=10997500 CPUtime=195.31 cores=4-7,12-15
/proc/24970/task/25031/stat : 25031 (java) R 24967 24970 21492 0 -1 4202560 33166 12372 0 0 19060 461 7 3 20 0 20 0 11424764 11261440000 2030760 33554432000 4194304 4196468 140733053021408 140457309739480 140457693440840 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25032] ppid=24967 vsize=10997500 CPUtime=195.05 cores=4-7,12-15
/proc/24970/task/25032/stat : 25032 (java) R 24967 24970 21492 0 -1 4202560 32818 12372 0 0 19007 488 7 3 20 0 20 0 11424764 11261440000 2030760 33554432000 4194304 4196468 140733053021408 140457308687192 140457690038608 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25033] ppid=24967 vsize=10997500 CPUtime=195.23 cores=4-7,12-15
/proc/24970/task/25033/stat : 25033 (java) R 24967 24970 21492 0 -1 4202560 30148 12372 0 0 19015 498 7 3 20 0 20 0 11424764 11261440000 2030760 33554432000 4194304 4196468 140733053021408 140457307634080 140457690038608 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25034] ppid=24967 vsize=10997500 CPUtime=2.23 cores=4-7,12-15
/proc/24970/task/25034/stat : 25034 (java) S 24967 24970 21492 0 -1 1077944384 188294 12372 0 0 199 14 7 3 20 0 20 0 11424765 11261440000 2030760 33554432000 4194304 4196468 140733053021408 140457250206880 140457708422869 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25035] ppid=24967 vsize=10997500 CPUtime=0.13 cores=4-7,12-15
/proc/24970/task/25035/stat : 25035 (java) S 24967 24970 21492 0 -1 1077944384 437 12372 0 0 2 1 7 3 20 0 20 0 11424766 11261440000 2030760 33554432000 4194304 4196468 140733053021408 140457249154528 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25036] ppid=24967 vsize=10997500 CPUtime=0.1 cores=4-7,12-15
/proc/24970/task/25036/stat : 25036 (java) S 24967 24970 21492 0 -1 1077944384 58 12372 0 0 0 0 7 3 20 0 20 0 11424766 11261440000 2030760 33554432000 4194304 4196468 140733053021408 140457248102016 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25037] ppid=24967 vsize=10997500 CPUtime=0.1 cores=4-7,12-15
/proc/24970/task/25037/stat : 25037 (java) S 24967 24970 21492 0 -1 1077944384 1 12372 0 0 0 0 7 3 20 0 20 0 11424769 11261440000 2030760 33554432000 4194304 4196468 140733053021408 140457247050320 140457708431259 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25038] ppid=24967 vsize=10997500 CPUtime=4.17 cores=4-7,12-15
/proc/24970/task/25038/stat : 25038 (java) S 24967 24970 21492 0 -1 1077944384 22802 12372 0 0 403 4 7 3 20 0 20 0 11424770 11261440000 2030760 33554432000 4194304 4196468 140733053021408 140457245997168 140457708423810 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25039] ppid=24967 vsize=10997500 CPUtime=4.2 cores=4-7,12-15
/proc/24970/task/25039/stat : 25039 (java) S 24967 24970 21492 0 -1 1077944384 22096 12372 0 0 406 4 7 3 20 0 20 0 11424770 11261440000 2030760 33554432000 4194304 4196468 140733053021408 140457244944368 140457708423810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25040] ppid=24967 vsize=10997500 CPUtime=4.04 cores=4-7,12-15
/proc/24970/task/25040/stat : 25040 (java) S 24967 24970 21492 0 -1 1077944384 20412 12372 0 0 391 3 7 3 20 0 20 0 11424770 11261440000 2030760 33554432000 4194304 4196468 140733053021408 140457243892080 140457708423810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25041] ppid=24967 vsize=10997500 CPUtime=2.48 cores=4-7,12-15
/proc/24970/task/25041/stat : 25041 (java) S 24967 24970 21492 0 -1 1077944384 21341 12372 0 0 233 5 7 3 20 0 20 0 11424770 11261440000 2030760 33554432000 4194304 4196468 140733053021408 140457242839280 140457708423810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25042] ppid=24967 vsize=10997500 CPUtime=0.1 cores=4-7,12-15
/proc/24970/task/25042/stat : 25042 (java) S 24967 24970 21492 0 -1 1077944384 3 12372 0 0 0 0 7 3 20 0 20 0 11424770 11261440000 2030760 33554432000 4194304 4196468 140733053021408 140457040407392 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25043] ppid=24967 vsize=10997500 CPUtime=0.69 cores=4-7,12-15
/proc/24970/task/25043/stat : 25043 (java) S 24967 24970 21492 0 -1 1077944384 1324 12372 0 0 29 30 7 3 20 0 20 0 11424770 11261440000 2030760 33554432000 4194304 4196468 140733053021408 140457039354672 140457708423810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
Current children cumulated CPU time (s) 2400.14
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 24970 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1021.51 s]
/proc/loadavg: 1.63 2.14 2.15 3/282 25515
/proc/meminfo: memFree=22499716/32770624 swapFree=5816/244984
[pid=24970] ppid=24967 vsize=11130628 CPUtime=2400.79 cores=4-7,12-15
/proc/24970/stat : 24970 (java) S 24967 24970 21492 0 -1 1077944320 618714 12372 0 0 236135 3934 7 3 20 0 22 0 11424751 11397763072 2030800 33554432000 4194304 4196468 140733053021408 140733053003952 140457708412663 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
/proc/24970/statm: 2782657 2030800 3524 1 0 2770212 0
[pid=24970/tid=25025] ppid=24967 vsize=11130628 CPUtime=821.52 cores=4-7,12-15
/proc/24970/task/25025/stat : 25025 (java) R 24967 24970 21492 0 -1 4202560 88881 12372 0 0 82114 28 7 3 20 0 22 0 11424763 11397763072 2030800 33554432000 4194304 4196468 140733053021408 140457712598120 140457341675751 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25026] ppid=24967 vsize=11130628 CPUtime=195.27 cores=4-7,12-15
/proc/24970/task/25026/stat : 25026 (java) S 24967 24970 21492 0 -1 1077944384 29023 12372 0 0 19015 502 7 3 20 0 22 0 11424764 11397763072 2030800 33554432000 4194304 4196468 140733053021408 140457315003280 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25027] ppid=24967 vsize=11130628 CPUtime=194.81 cores=4-7,12-15
/proc/24970/task/25027/stat : 25027 (java) S 24967 24970 21492 0 -1 1077944384 31656 12372 0 0 18993 478 7 3 20 0 22 0 11424764 11397763072 2030800 33554432000 4194304 4196468 140733053021408 140457313950480 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25028] ppid=24967 vsize=11130628 CPUtime=195.37 cores=4-7,12-15
/proc/24970/task/25028/stat : 25028 (java) S 24967 24970 21492 0 -1 1077944384 28409 12372 0 0 19064 463 7 3 20 0 22 0 11424764 11397763072 2030800 33554432000 4194304 4196468 140733053021408 140457312898192 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25029] ppid=24967 vsize=11130628 CPUtime=195.66 cores=4-7,12-15
/proc/24970/task/25029/stat : 25029 (java) S 24967 24970 21492 0 -1 1077944384 30023 12372 0 0 19103 453 7 3 20 0 22 0 11424764 11397763072 2030800 33554432000 4194304 4196468 140733053021408 140457311845392 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25030] ppid=24967 vsize=11130628 CPUtime=195.75 cores=4-7,12-15
/proc/24970/task/25030/stat : 25030 (java) S 24967 24970 21492 0 -1 1077944384 35223 12372 0 0 19066 499 7 3 20 0 22 0 11424764 11397763072 2030800 33554432000 4194304 4196468 140733053021408 140457310792080 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25031] ppid=24967 vsize=11130628 CPUtime=195.38 cores=4-7,12-15
/proc/24970/task/25031/stat : 25031 (java) S 24967 24970 21492 0 -1 1077944384 33168 12372 0 0 19067 461 7 3 20 0 22 0 11424764 11397763072 2030800 33554432000 4194304 4196468 140733053021408 140457309739280 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25032] ppid=24967 vsize=11130628 CPUtime=195.13 cores=4-7,12-15
/proc/24970/task/25032/stat : 25032 (java) S 24967 24970 21492 0 -1 1077944384 32818 12372 0 0 19015 488 7 3 20 0 22 0 11424764 11397763072 2030800 33554432000 4194304 4196468 140733053021408 140457308686992 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25033] ppid=24967 vsize=11130628 CPUtime=195.3 cores=4-7,12-15
/proc/24970/task/25033/stat : 25033 (java) S 24967 24970 21492 0 -1 1077944384 30153 12372 0 0 19022 498 7 3 20 0 22 0 11424764 11397763072 2030800 33554432000 4194304 4196468 140733053021408 140457307634192 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25034] ppid=24967 vsize=11130628 CPUtime=2.23 cores=4-7,12-15
/proc/24970/task/25034/stat : 25034 (java) S 24967 24970 21492 0 -1 1077944384 188294 12372 0 0 199 14 7 3 20 0 22 0 11424765 11397763072 2030800 33554432000 4194304 4196468 140733053021408 140457250208368 140457708423810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25035] ppid=24967 vsize=11130628 CPUtime=0.13 cores=4-7,12-15
/proc/24970/task/25035/stat : 25035 (java) S 24967 24970 21492 0 -1 1077944384 437 12372 0 0 2 1 7 3 20 0 22 0 11424766 11397763072 2030800 33554432000 4194304 4196468 140733053021408 140457249154528 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25036] ppid=24967 vsize=11130628 CPUtime=0.1 cores=4-7,12-15
/proc/24970/task/25036/stat : 25036 (java) S 24967 24970 21492 0 -1 1077944384 58 12372 0 0 0 0 7 3 20 0 22 0 11424766 11397763072 2030800 33554432000 4194304 4196468 140733053021408 140457248102016 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25037] ppid=24967 vsize=11130628 CPUtime=0.1 cores=4-7,12-15
/proc/24970/task/25037/stat : 25037 (java) S 24967 24970 21492 0 -1 1077944384 168 12372 0 0 0 0 7 3 20 0 22 0 11424769 11397763072 2030800 33554432000 4194304 4196468 140733053021408 140457247050320 140457708431259 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25038] ppid=24967 vsize=11130628 CPUtime=4.17 cores=4-7,12-15
/proc/24970/task/25038/stat : 25038 (java) S 24967 24970 21492 0 -1 1077944384 22802 12372 0 0 403 4 7 3 20 0 22 0 11424770 11397763072 2030800 33554432000 4194304 4196468 140733053021408 140457245997168 140457708423810 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25039] ppid=24967 vsize=11130628 CPUtime=4.2 cores=4-7,12-15
/proc/24970/task/25039/stat : 25039 (java) S 24967 24970 21492 0 -1 1077944384 22096 12372 0 0 406 4 7 3 20 0 22 0 11424770 11397763072 2030800 33554432000 4194304 4196468 140733053021408 140457244944368 140457708423810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25040] ppid=24967 vsize=11130628 CPUtime=4.04 cores=4-7,12-15
/proc/24970/task/25040/stat : 25040 (java) S 24967 24970 21492 0 -1 1077944384 20412 12372 0 0 391 3 7 3 20 0 22 0 11424770 11397763072 2030800 33554432000 4194304 4196468 140733053021408 140457243892080 140457708423810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25041] ppid=24967 vsize=11130628 CPUtime=2.48 cores=4-7,12-15
/proc/24970/task/25041/stat : 25041 (java) S 24967 24970 21492 0 -1 1077944384 21341 12372 0 0 233 5 7 3 20 0 22 0 11424770 11397763072 2030800 33554432000 4194304 4196468 140733053021408 140457242839280 140457708423810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25042] ppid=24967 vsize=11130628 CPUtime=0.1 cores=4-7,12-15
/proc/24970/task/25042/stat : 25042 (java) S 24967 24970 21492 0 -1 1077944384 3 12372 0 0 0 0 7 3 20 0 22 0 11424770 11397763072 2030800 33554432000 4194304 4196468 140733053021408 140457040407392 140457708422869 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
[pid=24970/tid=25043] ppid=24967 vsize=11130628 CPUtime=0.69 cores=4-7,12-15
/proc/24970/task/25043/stat : 25043 (java) S 24967 24970 21492 0 -1 1077944384 1324 12372 0 0 29 30 7 3 20 0 22 0 11424770 11397763072 2030800 33554432000 4194304 4196468 140733053021408 140457039354672 140457708423810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37519360 140733053029057 140733053031831 140733053031831 140733053034447 0
Current children cumulated CPU time (s) 2400.79
Current children cumulated vsize (KiB) 11130628
Child status: 143
Real time (s): 1021.57
CPU time (s): 2400.86
CPU user time (s): 2361.43
CPU system time (s): 39.4265
CPU usage (%): 235.017
Max. virtual memory (cumulated for all children) (KiB): 11130628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2361.43
system time used= 39.4265
maximum resident set size= 8185216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 632105
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55848
involuntary context switches= 145712
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.24142 second user time and 9.64481 second system time
The end