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-4245697-1500698396/watcher-4245697-1500698396 -o /tmp/evaluation-result-4245697-1500698396/solver-4245697-1500698396 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1500682730-15763 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1691605866 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4245697-1500698396.xml
pid=17872
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.98 1.66 1.64 3/265 17875
/proc/meminfo: memFree=26824088/32770624 swapFree=5664/255124
[pid=17875] ppid=17872 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/stat : 17875 (java) S 17872 17875 15731 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 5106782 369864704 1413 33554432000 4194304 4196468 140726054828528 140726054811072 140436939972343 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
/proc/17875/statm: 90299 1413 1072 1 0 79210 0
[pid=17875/tid=17876] ppid=17872 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17876/stat : 17876 (java) S 17872 17875 15731 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 5106782 369864704 1413 33554432000 4194304 4196468 140726054828528 140436944214432 140436939983490 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[startup+0.100099 s]
/proc/loadavg: 1.98 1.66 1.64 3/265 17875
/proc/meminfo: memFree=26824088/32770624 swapFree=5664/255124
[pid=17875] ppid=17872 vsize=13263912 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/17875/stat : 17875 (java) S 17872 17875 15731 0 -1 1077944320 5784 0 0 0 9 1 0 0 20 0 20 0 5106782 13582245888 6015 33554432000 4194304 4196468 140726054828528 140726054811072 140436939972343 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
/proc/17875/statm: 3315978 6015 2716 1 0 3303698 0
[pid=17875/tid=17876] ppid=17872 vsize=13263912 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17876/stat : 17876 (java) R 17872 17875 15731 0 -1 4202560 3847 0 0 0 8 0 0 0 20 0 20 0 5106782 13582245888 6015 33554432000 4194304 4196468 140726054828528 140436944210352 140436827560933 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13263912
[startup+0.200313 s]
/proc/loadavg: 1.98 1.66 1.64 3/265 17875
/proc/meminfo: memFree=26824088/32770624 swapFree=5664/255124
[pid=17875] ppid=17872 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/17875/stat : 17875 (java) S 17872 17875 15731 0 -1 1077944320 8866 0 0 0 25 2 0 0 20 0 20 0 5106782 13582245888 8840 33554432000 4194304 4196468 140726054828528 140726054811072 140436939972343 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
/proc/17875/statm: 3315978 8840 3564 1 0 3303698 0
[pid=17875/tid=17876] ppid=17872 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17876/stat : 17876 (java) R 17872 17875 15731 0 -1 4202560 6479 0 0 0 17 1 0 0 20 0 20 0 5106782 13582245888 8840 33554432000 4194304 4196468 140726054828528 140436944200208 140436939994269 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 13263912
[startup+0.300297 s]
/proc/loadavg: 1.98 1.66 1.64 3/265 17875
/proc/meminfo: memFree=26824088/32770624 swapFree=5664/255124
[pid=17875] ppid=17872 vsize=13263912 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/17875/stat : 17875 (java) S 17872 17875 15731 0 -1 1077944320 9967 0 0 0 40 2 0 0 20 0 20 0 5106782 13582245888 11282 33554432000 4194304 4196468 140726054828528 140726054811072 140436939972343 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
/proc/17875/statm: 3315978 11282 3666 1 0 3303698 0
[pid=17875/tid=17876] ppid=17872 vsize=13263912 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17876/stat : 17876 (java) R 17872 17875 15731 0 -1 4202560 7166 0 0 0 26 2 0 0 20 0 20 0 5106782 13582245888 11282 33554432000 4194304 4196468 140726054828528 140436944184768 140436939994269 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912
[startup+0.700308 s]
/proc/loadavg: 1.98 1.66 1.64 3/265 17875
/proc/meminfo: memFree=26824088/32770624 swapFree=5664/255124
[pid=17875] ppid=17872 vsize=13265980 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/17875/stat : 17875 (java) S 17872 17875 15731 0 -1 1077944320 14167 0 0 0 135 5 0 0 20 0 20 0 5106782 13584363520 19559 33554432000 4194304 4196468 140726054828528 140726054811072 140436939972343 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
/proc/17875/statm: 3316495 19559 3755 1 0 3304210 0
[pid=17875/tid=17876] ppid=17872 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17876/stat : 17876 (java) R 17872 17875 15731 0 -1 4202560 8497 0 0 0 64 3 0 0 20 0 20 0 5106782 13584363520 19559 33554432000 4194304 4196468 140726054828528 140436944195232 140436939994269 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 13265980
[startup+1.50116 s]
/proc/loadavg: 1.98 1.66 1.64 7/285 17895
/proc/meminfo: memFree=26702908/32770624 swapFree=5664/255128
[pid=17875] ppid=17872 vsize=13268028 CPUtime=4.3 cores=1,3,5,7,9,11,13,15
/proc/17875/stat : 17875 (java) S 17872 17875 15731 0 -1 1077944320 25893 0 0 0 423 7 0 0 20 0 20 0 5106782 13586460672 39789 33554432000 4194304 4196468 140726054828528 140726054811072 140436939972343 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
/proc/17875/statm: 3317007 39789 3780 1 0 3304722 0
[pid=17875/tid=17876] ppid=17872 vsize=13268028 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17876/stat : 17876 (java) R 17872 17875 15731 0 -1 4202560 10474 0 0 0 143 4 0 0 20 0 20 0 5106782 13586460672 39789 33554432000 4194304 4196468 140726054828528 140436944207832 140436581093183 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17878] ppid=17872 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17878/stat : 17878 (java) S 17872 17875 15731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5106783 13586460672 39789 33554432000 4194304 4196468 140726054828528 140436909685520 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17879] ppid=17872 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17879/stat : 17879 (java) S 17872 17875 15731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5106783 13586460672 39789 33554432000 4194304 4196468 140726054828528 140436537748368 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17880] ppid=17872 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17880/stat : 17880 (java) S 17872 17875 15731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5106783 13586460672 39789 33554432000 4194304 4196468 140726054828528 140436536695824 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17881] ppid=17872 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17881/stat : 17881 (java) S 17872 17875 15731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5106783 13586460672 39789 33554432000 4194304 4196468 140726054828528 140436535643280 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17882] ppid=17872 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17882/stat : 17882 (java) S 17872 17875 15731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5106783 13586460672 39789 33554432000 4194304 4196468 140726054828528 140436534589712 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17883] ppid=17872 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17883/stat : 17883 (java) S 17872 17875 15731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5106783 13586460672 39789 33554432000 4194304 4196468 140726054828528 140436533537168 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17884] ppid=17872 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17884/stat : 17884 (java) S 17872 17875 15731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5106783 13586460672 39789 33554432000 4194304 4196468 140726054828528 140436532484624 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17885] ppid=17872 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17885/stat : 17885 (java) S 17872 17875 15731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5106783 13586460672 39789 33554432000 4194304 4196468 140726054828528 140436531432080 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17886] ppid=17872 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17886/stat : 17886 (java) S 17872 17875 15731 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 5106785 13586460672 39789 33554432000 4194304 4196468 140726054828528 140436403280368 140436939983490 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17887] ppid=17872 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17887/stat : 17887 (java) S 17872 17875 15731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 5106786 13586460672 39789 33554432000 4194304 4196468 140726054828528 140436402226592 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17888] ppid=17872 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17888/stat : 17888 (java) S 17872 17875 15731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 5106786 13586460672 39789 33554432000 4194304 4196468 140726054828528 140436401174000 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17889] ppid=17872 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17889/stat : 17889 (java) S 17872 17875 15731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5106790 13586460672 39789 33554432000 4194304 4196468 140726054828528 140436400122576 140436939990939 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17890] ppid=17872 vsize=13268028 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17890/stat : 17890 (java) S 17872 17875 15731 0 -1 1077944384 4254 0 0 0 81 0 0 0 20 0 20 0 5106790 13586460672 39789 33554432000 4194304 4196468 140726054828528 140436399069168 140436939983490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17891] ppid=17872 vsize=13268028 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17891/stat : 17891 (java) S 17872 17875 15731 0 -1 1077944384 2837 0 0 0 77 0 0 0 20 0 20 0 5106790 13586460672 39789 33554432000 4194304 4196468 140726054828528 140436398016624 140436939983490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17892] ppid=17872 vsize=13268028 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17892/stat : 17892 (java) S 17872 17875 15731 0 -1 1077944384 4207 0 0 0 75 0 0 0 20 0 20 0 5106790 13586460672 39789 33554432000 4194304 4196468 140726054828528 140436396964080 140436939983490 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17893] ppid=17872 vsize=13268028 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17893/stat : 17893 (java) S 17872 17875 15731 0 -1 1077944384 2719 0 0 0 45 0 0 0 20 0 20 0 5106790 13586460672 39789 33554432000 4194304 4196468 140726054828528 140436395911536 140436939983490 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17894] ppid=17872 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17894/stat : 17894 (java) S 17872 17875 15731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5106790 13586460672 39789 33554432000 4194304 4196468 140726054828528 140436394859232 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17895] ppid=17872 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17895/stat : 17895 (java) S 17872 17875 15731 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 5106790 13586460672 39789 33554432000 4194304 4196468 140726054828528 140436393806768 140436939983490 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 13268028
[startup+3.10078 s]
/proc/loadavg: 1.98 1.66 1.64 3/285 17895
/proc/meminfo: memFree=26639356/32770624 swapFree=5664/254844
[pid=17875] ppid=17872 vsize=13268028 CPUtime=7.11 cores=1,3,5,7,9,11,13,15
/proc/17875/stat : 17875 (java) S 17872 17875 15731 0 -1 1077944320 29590 0 0 0 699 12 0 0 20 0 20 0 5106782 13586460672 56182 33554432000 4194304 4196468 140726054828528 140726054811072 140436939972343 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
/proc/17875/statm: 3317007 56182 3811 1 0 3304722 0
[pid=17875/tid=17876] ppid=17872 vsize=13268028 CPUtime=3.06 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17876/stat : 17876 (java) R 17872 17875 15731 0 -1 4202560 11190 0 0 0 301 5 0 0 20 0 20 0 5106782 13586460672 56182 33554432000 4194304 4196468 140726054828528 140436944208312 140436580998756 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17878] ppid=17872 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17878/stat : 17878 (java) S 17872 17875 15731 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 20 0 5106783 13586460672 56182 33554432000 4194304 4196468 140726054828528 140436909685520 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17879] ppid=17872 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17879/stat : 17879 (java) S 17872 17875 15731 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 5106783 13586460672 56182 33554432000 4194304 4196468 140726054828528 140436537748368 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17880] ppid=17872 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17880/stat : 17880 (java) S 17872 17875 15731 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 5106783 13586460672 56182 33554432000 4194304 4196468 140726054828528 140436536695824 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17881] ppid=17872 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17881/stat : 17881 (java) S 17872 17875 15731 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 5106783 13586460672 56182 33554432000 4194304 4196468 140726054828528 140436535643280 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17882] ppid=17872 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17882/stat : 17882 (java) S 17872 17875 15731 0 -1 1077944384 385 0 0 0 0 0 0 0 20 0 20 0 5106783 13586460672 56182 33554432000 4194304 4196468 140726054828528 140436534589712 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17883] ppid=17872 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17883/stat : 17883 (java) S 17872 17875 15731 0 -1 1077944384 487 0 0 0 0 0 0 0 20 0 20 0 5106783 13586460672 56182 33554432000 4194304 4196468 140726054828528 140436533537168 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17884] ppid=17872 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17884/stat : 17884 (java) S 17872 17875 15731 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 20 0 5106783 13586460672 56182 33554432000 4194304 4196468 140726054828528 140436532484624 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17885] ppid=17872 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17885/stat : 17885 (java) S 17872 17875 15731 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 20 0 5106783 13586460672 56182 33554432000 4194304 4196468 140726054828528 140436531432080 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17886] ppid=17872 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17886/stat : 17886 (java) S 17872 17875 15731 0 -1 1077944384 255 0 0 0 0 0 0 0 20 0 20 0 5106785 13586460672 56182 33554432000 4194304 4196468 140726054828528 140436403280368 140436939983490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17887] ppid=17872 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17887/stat : 17887 (java) S 17872 17875 15731 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 5106786 13586460672 56182 33554432000 4194304 4196468 140726054828528 140436402226656 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17888] ppid=17872 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17888/stat : 17888 (java) S 17872 17875 15731 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 5106786 13586460672 56182 33554432000 4194304 4196468 140726054828528 140436401174000 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17889] ppid=17872 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17889/stat : 17889 (java) S 17872 17875 15731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5106790 13586460672 56182 33554432000 4194304 4196468 140726054828528 140436400122576 140436939990939 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17890] ppid=17872 vsize=13268028 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17890/stat : 17890 (java) S 17872 17875 15731 0 -1 1077944384 4539 0 0 0 117 0 0 0 20 0 20 0 5106790 13586460672 56182 33554432000 4194304 4196468 140726054828528 140436399069168 140436939983490 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17891] ppid=17872 vsize=13268028 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17891/stat : 17891 (java) S 17872 17875 15731 0 -1 1077944384 2999 0 0 0 116 0 0 0 20 0 20 0 5106790 13586460672 56182 33554432000 4194304 4196468 140726054828528 140436398016624 140436939983490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17892] ppid=17872 vsize=13268028 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17892/stat : 17892 (java) S 17872 17875 15731 0 -1 1077944384 4430 0 0 0 109 0 0 0 20 0 20 0 5106790 13586460672 56182 33554432000 4194304 4196468 140726054828528 140436396964080 140436939983490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17893] ppid=17872 vsize=13268028 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17893/stat : 17893 (java) S 17872 17875 15731 0 -1 1077944384 3586 0 0 0 49 1 0 0 20 0 20 0 5106790 13586460672 56182 33554432000 4194304 4196468 140726054828528 140436395911536 140436939983490 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17894] ppid=17872 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17894/stat : 17894 (java) S 17872 17875 15731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5106790 13586460672 56182 33554432000 4194304 4196468 140726054828528 140436394859232 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17895] ppid=17872 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17895/stat : 17895 (java) S 17872 17875 15731 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 5106790 13586460672 56182 33554432000 4194304 4196468 140726054828528 140436393806768 140436939983490 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
Current children cumulated CPU time (s) 7.11
Current children cumulated vsize (KiB) 13268028
[startup+6.3008 s]
/proc/loadavg: 1.90 1.65 1.64 3/285 17902
/proc/meminfo: memFree=26597732/32770624 swapFree=5664/254860
[pid=17875] ppid=17872 vsize=13268028 CPUtime=10.57 cores=1,3,5,7,9,11,13,15
/proc/17875/stat : 17875 (java) S 17872 17875 15731 0 -1 1077944320 29745 0 0 0 1040 17 0 0 20 0 20 0 5106782 13586460672 58277 33554432000 4194304 4196468 140726054828528 140726054811072 140436939972343 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
/proc/17875/statm: 3317007 58277 3816 1 0 3304722 0
[pid=17875/tid=17876] ppid=17872 vsize=13268028 CPUtime=6.23 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17876/stat : 17876 (java) R 17872 17875 15731 0 -1 4202560 11199 0 0 0 618 5 0 0 20 0 20 0 5106782 13586460672 58277 33554432000 4194304 4196468 140726054828528 140436944210752 140436581093200 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17878] ppid=17872 vsize=13268028 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17878/stat : 17878 (java) S 17872 17875 15731 0 -1 1077944384 75 0 0 0 1 1 0 0 20 0 20 0 5106783 13586460672 58277 33554432000 4194304 4196468 140726054828528 140436909685520 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17879] ppid=17872 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17879/stat : 17879 (java) S 17872 17875 15731 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 20 0 5106783 13586460672 58277 33554432000 4194304 4196468 140726054828528 140436537748368 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17880] ppid=17872 vsize=13268028 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17880/stat : 17880 (java) S 17872 17875 15731 0 -1 1077944384 34 0 0 0 1 1 0 0 20 0 20 0 5106783 13586460672 58277 33554432000 4194304 4196468 140726054828528 140436536695824 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17881] ppid=17872 vsize=13268028 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17881/stat : 17881 (java) S 17872 17875 15731 0 -1 1077944384 64 0 0 0 1 1 0 0 20 0 20 0 5106783 13586460672 58277 33554432000 4194304 4196468 140726054828528 140436535643280 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17882] ppid=17872 vsize=13268028 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17882/stat : 17882 (java) S 17872 17875 15731 0 -1 1077944384 393 0 0 0 1 1 0 0 20 0 20 0 5106783 13586460672 58277 33554432000 4194304 4196468 140726054828528 140436534589712 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17883] ppid=17872 vsize=13268028 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17883/stat : 17883 (java) S 17872 17875 15731 0 -1 1077944384 497 0 0 0 1 1 0 0 20 0 20 0 5106783 13586460672 58277 33554432000 4194304 4196468 140726054828528 140436533537168 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17884] ppid=17872 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17884/stat : 17884 (java) S 17872 17875 15731 0 -1 1077944384 80 0 0 0 1 0 0 0 20 0 20 0 5106783 13586460672 58277 33554432000 4194304 4196468 140726054828528 140436532484624 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17885] ppid=17872 vsize=13268028 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17885/stat : 17885 (java) S 17872 17875 15731 0 -1 1077944384 44 0 0 0 1 1 0 0 20 0 20 0 5106783 13586460672 58277 33554432000 4194304 4196468 140726054828528 140436531432080 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17886] ppid=17872 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17886/stat : 17886 (java) S 17872 17875 15731 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 20 0 5106785 13586460672 58277 33554432000 4194304 4196468 140726054828528 140436403280368 140436939983490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17887] ppid=17872 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17887/stat : 17887 (java) S 17872 17875 15731 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 5106786 13586460672 58277 33554432000 4194304 4196468 140726054828528 140436402226656 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17888] ppid=17872 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17888/stat : 17888 (java) S 17872 17875 15731 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 5106786 13586460672 58277 33554432000 4194304 4196468 140726054828528 140436401174016 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17889] ppid=17872 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
/proc/17875/task/17891/stat : 17891 (java) S 17872 17875 15731 0 -1 1077944384 11855 0 0 0 214 2 0 0 20 0 20 0 5106790 13588557824 136615 33554432000 4194304 4196468 140726054828528 140436398016624 140436939983490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17892] ppid=17872 vsize=13270076 CPUtime=1.98 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17892/stat : 17892 (java) S 17872 17875 15731 0 -1 1077944384 13766 0 0 0 195 3 0 0 20 0 20 0 5106790 13588557824 136615 33554432000 4194304 4196468 140726054828528 140436396964080 140436939983490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17893] ppid=17872 vsize=13270076 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17893/stat : 17893 (java) S 17872 17875 15731 0 -1 1077944384 20152 0 0 0 91 4 0 0 20 0 20 0 5106790 13588557824 136615 33554432000 4194304 4196468 140726054828528 140436395911536 140436939983490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17894] ppid=17872 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17894/stat : 17894 (java) S 17872 17875 15731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5106790 13588557824 136615 33554432000 4194304 4196468 140726054828528 140436394859232 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17895] ppid=17872 vsize=13270076 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17895/stat : 17895 (java) S 17872 17875 15731 0 -1 1077944384 911 0 0 0 52 67 0 0 20 0 20 0 5106790 13588557824 136615 33554432000 4194304 4196468 140726054828528 140436393806768 140436939983490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
Current children cumulated CPU time (s) 2336.03
Current children cumulated vsize (KiB) 13270076
[startup+2322.3 s]
/proc/loadavg: 1.74 1.62 1.52 3/284 18077
/proc/meminfo: memFree=30514852/32770624 swapFree=5664/257232
[pid=17875] ppid=17872 vsize=13270076 CPUtime=2397.97 cores=1,3,5,7,9,11,13,15
/proc/17875/stat : 17875 (java) S 17872 17875 15731 0 -1 1077944320 223890 0 0 0 239120 677 0 0 20 0 20 0 5106782 13588557824 130385 33554432000 4194304 4196468 140726054828528 140726054811072 140436939972343 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
/proc/17875/statm: 3317519 130385 3845 1 0 3305234 0
[pid=17875/tid=17876] ppid=17872 vsize=13270076 CPUtime=2301.87 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17876/stat : 17876 (java) R 17872 17875 15731 0 -1 4202560 100420 0 0 0 230140 47 0 0 20 0 20 0 5106782 13588557824 130385 33554432000 4194304 4196468 140726054828528 140436944210784 140436580701699 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17878] ppid=17872 vsize=13270076 CPUtime=10.26 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17878/stat : 17878 (java) S 17872 17875 15731 0 -1 1077944384 6362 0 0 0 958 68 0 0 20 0 20 0 5106783 13588557824 130385 33554432000 4194304 4196468 140726054828528 140436909685520 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17879] ppid=17872 vsize=13270076 CPUtime=10.23 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17879/stat : 17879 (java) S 17872 17875 15731 0 -1 1077944384 6117 0 0 0 956 67 0 0 20 0 20 0 5106783 13588557824 130385 33554432000 4194304 4196468 140726054828528 140436537748368 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17880] ppid=17872 vsize=13270076 CPUtime=10.24 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17880/stat : 17880 (java) S 17872 17875 15731 0 -1 1077944384 5606 0 0 0 958 66 0 0 20 0 20 0 5106783 13588557824 130385 33554432000 4194304 4196468 140726054828528 140436536695824 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17881] ppid=17872 vsize=13270076 CPUtime=10.22 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17881/stat : 17881 (java) S 17872 17875 15731 0 -1 1077944384 7297 0 0 0 953 69 0 0 20 0 20 0 5106783 13588557824 130385 33554432000 4194304 4196468 140726054828528 140436535643280 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17882] ppid=17872 vsize=13270076 CPUtime=10.22 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17882/stat : 17882 (java) S 17872 17875 15731 0 -1 1077944384 5716 0 0 0 952 70 0 0 20 0 20 0 5106783 13588557824 130385 33554432000 4194304 4196468 140726054828528 140436534589712 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17883] ppid=17872 vsize=13270076 CPUtime=10.28 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17883/stat : 17883 (java) S 17872 17875 15731 0 -1 1077944384 5859 0 0 0 958 70 0 0 20 0 20 0 5106783 13588557824 130385 33554432000 4194304 4196468 140726054828528 140436533537168 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17884] ppid=17872 vsize=13270076 CPUtime=10.32 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17884/stat : 17884 (java) S 17872 17875 15731 0 -1 1077944384 6346 0 0 0 967 65 0 0 20 0 20 0 5106783 13588557824 130385 33554432000 4194304 4196468 140726054828528 140436532484624 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17885] ppid=17872 vsize=13270076 CPUtime=10.21 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17885/stat : 17885 (java) S 17872 17875 15731 0 -1 1077944384 6366 0 0 0 953 68 0 0 20 0 20 0 5106783 13588557824 130385 33554432000 4194304 4196468 140726054828528 140436531432080 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17886] ppid=17872 vsize=13270076 CPUtime=5.6 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17886/stat : 17886 (java) S 17872 17875 15731 0 -1 1077944384 8950 0 0 0 487 73 0 0 20 0 20 0 5106785 13588557824 130385 33554432000 4194304 4196468 140726054828528 140436403280368 140436939983490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17887] ppid=17872 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17887/stat : 17887 (java) S 17872 17875 15731 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 20 0 5106786 13588557824 130385 33554432000 4194304 4196468 140726054828528 140436402226656 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17888] ppid=17872 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17888/stat : 17888 (java) S 17872 17875 15731 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 5106786 13588557824 130385 33554432000 4194304 4196468 140726054828528 140436401174016 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17889] ppid=17872 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17889/stat : 17889 (java) S 17872 17875 15731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5106790 13588557824 130385 33554432000 4194304 4196468 140726054828528 140436400122576 140436939990939 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17890] ppid=17872 vsize=13270076 CPUtime=2.06 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17890/stat : 17890 (java) S 17872 17875 15731 0 -1 1077944384 16668 0 0 0 204 2 0 0 20 0 20 0 5106790 13588557824 130385 33554432000 4194304 4196468 140726054828528 140436399069168 140436939983490 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17891] ppid=17872 vsize=13270076 CPUtime=2.16 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17891/stat : 17891 (java) S 17872 17875 15731 0 -1 1077944384 11857 0 0 0 214 2 0 0 20 0 20 0 5106790 13588557824 130385 33554432000 4194304 4196468 140726054828528 140436398016624 140436939983490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17892] ppid=17872 vsize=13270076 CPUtime=1.98 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17892/stat : 17892 (java) S 17872 17875 15731 0 -1 1077944384 13768 0 0 0 195 3 0 0 20 0 20 0 5106790 13588557824 130385 33554432000 4194304 4196468 140726054828528 140436396964080 140436939983490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17893] ppid=17872 vsize=13270076 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17893/stat : 17893 (java) S 17872 17875 15731 0 -1 1077944384 20154 0 0 0 91 4 0 0 20 0 20 0 5106790 13588557824 130385 33554432000 4194304 4196468 140726054828528 140436395911536 140436939983490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17894] ppid=17872 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17894/stat : 17894 (java) S 17872 17875 15731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5106790 13588557824 130385 33554432000 4194304 4196468 140726054828528 140436394859232 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17895] ppid=17872 vsize=13270076 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17895/stat : 17895 (java) S 17872 17875 15731 0 -1 1077944384 927 0 0 0 53 68 0 0 20 0 20 0 5106790 13588557824 130385 33554432000 4194304 4196468 140726054828528 140436393806768 140436939983490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
Current children cumulated CPU time (s) 2397.97
Current children cumulated vsize (KiB) 13270076
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2324.3 s]
/proc/loadavg: 1.76 1.62 1.53 3/284 18077
/proc/meminfo: memFree=30517132/32770624 swapFree=5664/257232
[pid=17875] ppid=17872 vsize=13270076 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15
/proc/17875/stat : 17875 (java) S 17872 17875 15731 0 -1 1077944320 223903 0 0 0 239325 677 0 0 20 0 20 0 5106782 13588557824 130000 33554432000 4194304 4196468 140726054828528 140726054811072 140436939972343 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
/proc/17875/statm: 3317519 130000 3845 1 0 3305234 0
[pid=17875/tid=17876] ppid=17872 vsize=13270076 CPUtime=2303.87 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17876/stat : 17876 (java) R 17872 17875 15731 0 -1 4202560 100433 0 0 0 230340 47 0 0 20 0 20 0 5106782 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436944210576 140436581747915 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17878] ppid=17872 vsize=13270076 CPUtime=10.26 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17878/stat : 17878 (java) S 17872 17875 15731 0 -1 1077944384 6362 0 0 0 958 68 0 0 20 0 20 0 5106783 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436909685520 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17879] ppid=17872 vsize=13270076 CPUtime=10.23 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17879/stat : 17879 (java) S 17872 17875 15731 0 -1 1077944384 6117 0 0 0 956 67 0 0 20 0 20 0 5106783 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436537748368 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17880] ppid=17872 vsize=13270076 CPUtime=10.25 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17880/stat : 17880 (java) S 17872 17875 15731 0 -1 1077944384 5606 0 0 0 959 66 0 0 20 0 20 0 5106783 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436536695824 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17881] ppid=17872 vsize=13270076 CPUtime=10.22 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17881/stat : 17881 (java) S 17872 17875 15731 0 -1 1077944384 7297 0 0 0 953 69 0 0 20 0 20 0 5106783 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436535643280 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17882] ppid=17872 vsize=13270076 CPUtime=10.22 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17882/stat : 17882 (java) S 17872 17875 15731 0 -1 1077944384 5716 0 0 0 952 70 0 0 20 0 20 0 5106783 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436534589712 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17883] ppid=17872 vsize=13270076 CPUtime=10.29 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17883/stat : 17883 (java) S 17872 17875 15731 0 -1 1077944384 5859 0 0 0 959 70 0 0 20 0 20 0 5106783 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436533537168 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17884] ppid=17872 vsize=13270076 CPUtime=10.32 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17884/stat : 17884 (java) S 17872 17875 15731 0 -1 1077944384 6346 0 0 0 967 65 0 0 20 0 20 0 5106783 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436532484624 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17885] ppid=17872 vsize=13270076 CPUtime=10.22 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17885/stat : 17885 (java) S 17872 17875 15731 0 -1 1077944384 6366 0 0 0 954 68 0 0 20 0 20 0 5106783 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436531432080 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17886] ppid=17872 vsize=13270076 CPUtime=5.6 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17886/stat : 17886 (java) S 17872 17875 15731 0 -1 1077944384 8950 0 0 0 487 73 0 0 20 0 20 0 5106785 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436403280368 140436939983490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17887] ppid=17872 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17887/stat : 17887 (java) S 17872 17875 15731 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 20 0 5106786 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436402226656 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17888] ppid=17872 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17888/stat : 17888 (java) S 17872 17875 15731 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 5106786 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436401174016 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17889] ppid=17872 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17889/stat : 17889 (java) S 17872 17875 15731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5106790 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436400122576 140436939990939 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17890] ppid=17872 vsize=13270076 CPUtime=2.06 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17890/stat : 17890 (java) S 17872 17875 15731 0 -1 1077944384 16668 0 0 0 204 2 0 0 20 0 20 0 5106790 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436399069168 140436939983490 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17891] ppid=17872 vsize=13270076 CPUtime=2.16 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17891/stat : 17891 (java) S 17872 17875 15731 0 -1 1077944384 11857 0 0 0 214 2 0 0 20 0 20 0 5106790 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436398016624 140436939983490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17892] ppid=17872 vsize=13270076 CPUtime=1.98 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17892/stat : 17892 (java) S 17872 17875 15731 0 -1 1077944384 13768 0 0 0 195 3 0 0 20 0 20 0 5106790 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436396964080 140436939983490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17893] ppid=17872 vsize=13270076 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17893/stat : 17893 (java) S 17872 17875 15731 0 -1 1077944384 20154 0 0 0 91 4 0 0 20 0 20 0 5106790 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436395911536 140436939983490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17894] ppid=17872 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17894/stat : 17894 (java) S 17872 17875 15731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5106790 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436394859232 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17895] ppid=17872 vsize=13270076 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17895/stat : 17895 (java) S 17872 17875 15731 0 -1 1077944384 927 0 0 0 53 68 0 0 20 0 20 0 5106790 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436393806768 140436939983490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 13270076
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 17875 sig 9
??? kill -17875 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2324.3 s]
/proc/loadavg: 1.76 1.62 1.53 3/284 18077
/proc/meminfo: memFree=30517132/32770624 swapFree=5664/257232
[pid=17875] ppid=17872 vsize=13270076 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15
/proc/17875/stat : 17875 (java) S 17872 17875 15731 0 -1 1077944320 223903 0 0 0 239325 677 0 0 20 0 20 0 5106782 13588557824 130000 33554432000 4194304 4196468 140726054828528 140726054811072 140436939972343 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
/proc/17875/statm: 3317519 130000 3845 1 0 3305234 0
[pid=17875/tid=17876] ppid=17872 vsize=13270076 CPUtime=2303.87 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17876/stat : 17876 (java) R 17872 17875 15731 0 -1 4202560 100433 0 0 0 230340 47 0 0 20 0 20 0 5106782 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436944210576 140436581747915 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17878] ppid=17872 vsize=13270076 CPUtime=10.26 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17878/stat : 17878 (java) S 17872 17875 15731 0 -1 1077944384 6362 0 0 0 958 68 0 0 20 0 20 0 5106783 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436909685520 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17879] ppid=17872 vsize=13270076 CPUtime=10.23 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17879/stat : 17879 (java) S 17872 17875 15731 0 -1 1077944384 6117 0 0 0 956 67 0 0 20 0 20 0 5106783 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436537748368 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17880] ppid=17872 vsize=13270076 CPUtime=10.25 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17880/stat : 17880 (java) S 17872 17875 15731 0 -1 1077944384 5606 0 0 0 959 66 0 0 20 0 20 0 5106783 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436536695824 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17881] ppid=17872 vsize=13270076 CPUtime=10.22 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17881/stat : 17881 (java) S 17872 17875 15731 0 -1 1077944384 7297 0 0 0 953 69 0 0 20 0 20 0 5106783 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436535643280 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17882] ppid=17872 vsize=13270076 CPUtime=10.22 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17882/stat : 17882 (java) S 17872 17875 15731 0 -1 1077944384 5716 0 0 0 952 70 0 0 20 0 20 0 5106783 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436534589712 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17883] ppid=17872 vsize=13270076 CPUtime=10.29 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17883/stat : 17883 (java) S 17872 17875 15731 0 -1 1077944384 5859 0 0 0 959 70 0 0 20 0 20 0 5106783 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436533537168 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17884] ppid=17872 vsize=13270076 CPUtime=10.32 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17884/stat : 17884 (java) S 17872 17875 15731 0 -1 1077944384 6346 0 0 0 967 65 0 0 20 0 20 0 5106783 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436532484624 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17885] ppid=17872 vsize=13270076 CPUtime=10.22 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17885/stat : 17885 (java) S 17872 17875 15731 0 -1 1077944384 6366 0 0 0 954 68 0 0 20 0 20 0 5106783 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436531432080 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17886] ppid=17872 vsize=13270076 CPUtime=5.6 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17886/stat : 17886 (java) S 17872 17875 15731 0 -1 1077944384 8950 0 0 0 487 73 0 0 20 0 20 0 5106785 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436403280368 140436939983490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17887] ppid=17872 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17887/stat : 17887 (java) S 17872 17875 15731 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 20 0 5106786 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436402226656 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17888] ppid=17872 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17888/stat : 17888 (java) S 17872 17875 15731 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 5106786 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436401174016 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17889] ppid=17872 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17889/stat : 17889 (java) S 17872 17875 15731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5106790 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436400122576 140436939990939 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17890] ppid=17872 vsize=13270076 CPUtime=2.06 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17890/stat : 17890 (java) S 17872 17875 15731 0 -1 1077944384 16668 0 0 0 204 2 0 0 20 0 20 0 5106790 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436399069168 140436939983490 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17891] ppid=17872 vsize=13270076 CPUtime=2.16 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17891/stat : 17891 (java) S 17872 17875 15731 0 -1 1077944384 11857 0 0 0 214 2 0 0 20 0 20 0 5106790 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436398016624 140436939983490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17892] ppid=17872 vsize=13270076 CPUtime=1.98 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17892/stat : 17892 (java) S 17872 17875 15731 0 -1 1077944384 13768 0 0 0 195 3 0 0 20 0 20 0 5106790 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436396964080 140436939983490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17893] ppid=17872 vsize=13270076 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17893/stat : 17893 (java) S 17872 17875 15731 0 -1 1077944384 20154 0 0 0 91 4 0 0 20 0 20 0 5106790 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436395911536 140436939983490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17894] ppid=17872 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17894/stat : 17894 (java) S 17872 17875 15731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5106790 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436394859232 140436939982549 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
[pid=17875/tid=17895] ppid=17872 vsize=13270076 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/17875/task/17895/stat : 17895 (java) S 17872 17875 15731 0 -1 1077944384 927 0 0 0 53 68 0 0 20 0 20 0 5106790 13588557824 130000 33554432000 4194304 4196468 140726054828528 140436393806768 140436939983490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22401024 140726054831245 140726054831428 140726054831428 140726054834127 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 13270076
Child status: 143
Real time (s): 2324.33
CPU time (s): 2400.05
CPU user time (s): 2393.27
CPU system time (s): 6.78115
CPU usage (%): 103.258
Max. virtual memory (cumulated for all children) (KiB): 13270076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.27
system time used= 6.78115
maximum resident set size= 613064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 224276
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 295011
involuntary context switches= 175031
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2679 second user time and 19.5222 second system time
The end