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-4259367-1501659135/watcher-4259367-1501659135 -o /tmp/evaluation-result-4259367-1501659135/solver-4259367-1501659135 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501653519-11656 --watchdog 300 bin/concrete HOME/instance-4259367-1501659135.xml
pid=18350
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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.70 1.85 1.75 3/199 18353
/proc/meminfo: memFree=28251292/32770624 swapFree=0/242668
[pid=18353] ppid=18350 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/18353/stat : 18353 (runsolver) D 18350 18353 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 13728834 24240128 108 18446744073709551615 4194304 4338465 140735326003504 140735326001144 140531687928535 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 34000896 140735326007504 140735326007878 140735326007878 140735326011338 0
/proc/18353/statm: 5918 108 54 36 0 2156 0
[startup+0.100153 s]
/proc/loadavg: 1.70 1.85 1.75 3/199 18353
/proc/meminfo: memFree=28251292/32770624 swapFree=0/242668
[pid=18353] ppid=18350 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/18353/stat : 18353 (runsolver) D 18350 18353 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 13728834 24240128 108 18446744073709551615 4194304 4338465 140735326003504 140735326001144 140531687928535 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 34000896 140735326007504 140735326007878 140735326007878 140735326011338 0
/proc/18353/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200323 s]
/proc/loadavg: 1.70 1.85 1.75 3/199 18353
/proc/meminfo: memFree=28251292/32770624 swapFree=0/242668
[pid=18353] ppid=18350 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/18353/stat : 18353 (bash) S 18350 18353 5228 0 -1 4202496 893 6493 0 0 0 0 0 1 20 0 1 0 13728834 9867264 377 18446744073709551615 4194304 5098028 140737402173968 140737402167976 140378128538624 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 11 0 0 7196144 7232144 25600000 140737402176017 140737402176102 140737402176102 140737402179562 0
/proc/18353/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300357 s]
/proc/loadavg: 1.70 1.85 1.75 3/199 18353
/proc/meminfo: memFree=28251292/32770624 swapFree=0/242668
[pid=18353] ppid=18350 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/18353/stat : 18353 (java) S 18350 18353 5228 0 -1 1077944320 5802 12485 0 0 4 2 5 2 20 0 14 0 13728834 14241083392 5480 18446744073709551615 4194304 4196468 140729519644960 140729519627504 140117069278967 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 11 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
/proc/18353/statm: 3476827 5480 2534 1 0 3466332 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308
[startup+0.700337 s]
/proc/loadavg: 1.70 1.85 1.75 3/199 18353
/proc/meminfo: memFree=28251292/32770624 swapFree=0/242668
[pid=18353] ppid=18350 vsize=13974784 CPUtime=0.59 cores=1,3,5,7
/proc/18353/stat : 18353 (java) S 18350 18353 5228 0 -1 1077944320 13660 12485 0 0 47 5 5 2 20 0 15 0 13728834 14310178816 14098 18446744073709551615 4194304 4196468 140729519644960 140729519627504 140117069278967 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 11 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
/proc/18353/statm: 3493696 14098 3066 1 0 3482973 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 13974784
[startup+1.50062 s]
/proc/loadavg: 1.70 1.85 1.75 3/214 18416
/proc/meminfo: memFree=28170156/32770624 swapFree=0/242648
[pid=18353] ppid=18350 vsize=13985408 CPUtime=1.78 cores=1,3,5,7
/proc/18353/stat : 18353 (java) S 18350 18353 5228 0 -1 1077944320 26221 12485 0 0 164 7 5 2 20 0 15 0 13728834 14321057792 33787 18446744073709551615 4194304 4196468 140729519644960 140729519627504 140117069278967 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 11 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
/proc/18353/statm: 3496352 33787 3331 1 0 3485533 0
[pid=18353/tid=18403] ppid=18350 vsize=13985408 CPUtime=1.26 cores=1,3,5,7
/proc/18353/task/18403/stat : 18403 (java) R 18350 18353 5228 0 -1 4202560 21050 12485 0 0 113 6 5 2 20 0 15 0 13728857 14321057792 33787 18446744073709551615 4194304 4196468 140729519644960 140117073502976 140117053359454 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18404] ppid=18350 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18404/stat : 18404 (java) S 18350 18353 5228 0 -1 1077944384 1 12485 0 0 0 0 5 2 20 0 15 0 13728858 14321057792 33787 18446744073709551615 4194304 4196468 140729519644960 140117003713552 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18405] ppid=18350 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18405/stat : 18405 (java) S 18350 18353 5228 0 -1 1077944384 1 12485 0 0 0 0 5 2 20 0 15 0 13728858 14321057792 33787 18446744073709551615 4194304 4196468 140729519644960 140117002661008 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18406] ppid=18350 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18406/stat : 18406 (java) S 18350 18353 5228 0 -1 1077944384 1 12485 0 0 0 0 5 2 20 0 15 0 13728858 14321057792 33787 18446744073709551615 4194304 4196468 140729519644960 140117001607952 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18407] ppid=18350 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18407/stat : 18407 (java) S 18350 18353 5228 0 -1 1077944384 2 12485 0 0 0 0 5 2 20 0 15 0 13728858 14321057792 33787 18446744073709551615 4194304 4196468 140729519644960 140116666006416 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18408] ppid=18350 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18408/stat : 18408 (java) S 18350 18353 5228 0 -1 1077944384 5 12485 0 0 0 0 5 2 20 0 15 0 13728859 14321057792 33787 18446744073709551615 4194304 4196468 140729519644960 140115985791216 140117069290114 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18409] ppid=18350 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18409/stat : 18409 (java) S 18350 18353 5228 0 -1 1077944384 33 12485 0 0 0 0 5 2 20 0 15 0 13728860 14321057792 33787 18446744073709551615 4194304 4196468 140729519644960 140115984737440 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18410] ppid=18350 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18410/stat : 18410 (java) S 18350 18353 5228 0 -1 1077944384 21 12485 0 0 0 0 5 2 20 0 15 0 13728860 14321057792 33787 18446744073709551615 4194304 4196468 140729519644960 140115983684336 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18411] ppid=18350 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18411/stat : 18411 (java) S 18350 18353 5228 0 -1 1077944384 3 12485 0 0 0 0 5 2 20 0 15 0 13728863 14321057792 33787 18446744073709551615 4194304 4196468 140729519644960 140115982632912 140117069297563 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18412] ppid=18350 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/18353/task/18412/stat : 18412 (java) S 18350 18353 5228 0 -1 1077944384 818 12485 0 0 16 0 5 2 20 0 15 0 13728863 14321057792 33787 18446744073709551615 4194304 4196468 140729519644960 140115981581040 140117069290114 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18413] ppid=18350 vsize=13985408 CPUtime=0.19 cores=1,3,5,7
/proc/18353/task/18413/stat : 18413 (java) S 18350 18353 5228 0 -1 1077944384 841 12485 0 0 12 0 5 2 20 0 15 0 13728863 14321057792 33787 18446744073709551615 4194304 4196468 140729519644960 140115980528496 140117069290114 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18414] ppid=18350 vsize=13985408 CPUtime=0.28 cores=1,3,5,7
/proc/18353/task/18414/stat : 18414 (java) S 18350 18353 5228 0 -1 1077944384 1287 12485 0 0 21 0 5 2 20 0 15 0 13728863 14321057792 33787 18446744073709551615 4194304 4196468 140729519644960 140115979475440 140117069290114 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18415] ppid=18350 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18415/stat : 18415 (java) S 18350 18353 5228 0 -1 1077944384 3 12485 0 0 0 0 5 2 20 0 15 0 13728863 14321057792 33787 18446744073709551615 4194304 4196468 140729519644960 140115978423136 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18416] ppid=18350 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18416/stat : 18416 (java) S 18350 18353 5228 0 -1 1077944384 3 12485 0 0 0 0 5 2 20 0 15 0 13728869 14321057792 33787 18446744073709551615 4194304 4196468 140729519644960 140115977370160 140117069290114 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 13985408
[startup+3.10423 s]
/proc/loadavg: 1.70 1.85 1.75 4/214 18416
/proc/meminfo: memFree=28100732/32770624 swapFree=0/242648
[pid=18353] ppid=18350 vsize=13997884 CPUtime=5.48 cores=1,3,5,7
/proc/18353/stat : 18353 (java) S 18350 18353 5228 0 -1 1077944320 39060 12485 0 0 524 17 5 2 20 0 15 0 13728834 14333833216 74457 18446744073709551615 4194304 4196468 140729519644960 140729519627504 140117069278967 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 11 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
/proc/18353/statm: 3499471 74457 3441 1 0 3488093 0
[pid=18353/tid=18403] ppid=18350 vsize=13997884 CPUtime=2.81 cores=1,3,5,7
/proc/18353/task/18403/stat : 18403 (java) R 18350 18353 5228 0 -1 4202560 29166 12485 0 0 265 9 5 2 20 0 15 0 13728857 14333833216 74457 18446744073709551615 4194304 4196468 140729519644960 140117073506320 140117051742090 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18404] ppid=18350 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/18353/task/18404/stat : 18404 (java) S 18350 18353 5228 0 -1 1077944384 42 12485 0 0 1 0 5 2 20 0 15 0 13728858 14333833216 74457 18446744073709551615 4194304 4196468 140729519644960 140117003713552 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18405] ppid=18350 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/18353/task/18405/stat : 18405 (java) S 18350 18353 5228 0 -1 1077944384 50 12485 0 0 1 0 5 2 20 0 15 0 13728858 14333833216 74457 18446744073709551615 4194304 4196468 140729519644960 140117002661008 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18406] ppid=18350 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/18353/task/18406/stat : 18406 (java) S 18350 18353 5228 0 -1 1077944384 66 12485 0 0 1 0 5 2 20 0 15 0 13728858 14333833216 74457 18446744073709551615 4194304 4196468 140729519644960 140117001607952 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18407] ppid=18350 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/18353/task/18407/stat : 18407 (java) S 18350 18353 5228 0 -1 1077944384 193 12485 0 0 1 0 5 2 20 0 15 0 13728858 14333833216 74457 18446744073709551615 4194304 4196468 140729519644960 140116666006416 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18408] ppid=18350 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/18353/task/18408/stat : 18408 (java) S 18350 18353 5228 0 -1 1077944384 1278 12485 0 0 1 0 5 2 20 0 15 0 13728859 14333833216 74457 18446744073709551615 4194304 4196468 140729519644960 140115985791216 140117069290114 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18409] ppid=18350 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18409/stat : 18409 (java) S 18350 18353 5228 0 -1 1077944384 55 12485 0 0 0 0 5 2 20 0 15 0 13728860 14333833216 74457 18446744073709551615 4194304 4196468 140729519644960 140115984737504 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18410] ppid=18350 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18410/stat : 18410 (java) S 18350 18353 5228 0 -1 1077944384 43 12485 0 0 0 0 5 2 20 0 15 0 13728860 14333833216 74457 18446744073709551615 4194304 4196468 140729519644960 140115983684352 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18411] ppid=18350 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18411/stat : 18411 (java) S 18350 18353 5228 0 -1 1077944384 3 12485 0 0 0 0 5 2 20 0 15 0 13728863 14333833216 74457 18446744073709551615 4194304 4196468 140729519644960 140115982632912 140117069297563 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18412] ppid=18350 vsize=13997884 CPUtime=0.89 cores=1,3,5,7
/proc/18353/task/18412/stat : 18412 (java) R 18350 18353 5228 0 -1 4202560 1439 12485 0 0 81 1 5 2 20 0 15 0 13728863 14333833216 74457 18446744073709551615 4194304 4196468 140729519644960 140115981567584 140117054208481 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18413] ppid=18350 vsize=13997884 CPUtime=0.9 cores=1,3,5,7
/proc/18353/task/18413/stat : 18413 (java) R 18350 18353 5228 0 -1 4202560 1641 12485 0 0 82 1 5 2 20 0 15 0 13728863 14333833216 74457 18446744073709551615 4194304 4196468 140729519644960 140115980528496 140117048996103 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18414] ppid=18350 vsize=13997884 CPUtime=0.93 cores=1,3,5,7
/proc/18353/task/18414/stat : 18414 (java) S 18350 18353 5228 0 -1 1077944384 2927 12485 0 0 85 1 5 2 20 0 15 0 13728863 14333833216 74457 18446744073709551615 4194304 4196468 140729519644960 140115979475440 140117069290114 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18415] ppid=18350 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18415/stat : 18415 (java) S 18350 18353 5228 0 -1 1077944384 3 12485 0 0 0 0 5 2 20 0 15 0 13728863 14333833216 74457 18446744073709551615 4194304 4196468 140729519644960 140115978423136 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18416] ppid=18350 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18416/stat : 18416 (java) S 18350 18353 5228 0 -1 1077944384 3 12485 0 0 0 0 5 2 20 0 15 0 13728869 14333833216 74457 18446744073709551615 4194304 4196468 140729519644960 140115977370160 140117069290114 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
Current children cumulated CPU time (s) 5.48
Current children cumulated vsize (KiB) 13997884
[startup+6.3007 s]
/proc/loadavg: 1.81 1.87 1.76 5/214 18416
/proc/meminfo: memFree=27809164/32770624 swapFree=0/242656
[pid=18353] ppid=18350 vsize=14069564 CPUtime=14.8 cores=1,3,5,7
/proc/18353/stat : 18353 (java) S 18350 18353 5228 0 -1 1077944320 79568 12485 0 0 1440 33 5 2 20 0 15 0 13728834 14407233536 142706 18446744073709551615 4194304 4196468 140729519644960 140729519627504 140117069278967 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 11 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
/proc/18353/statm: 3517391 142706 3467 1 0 3506013 0
[pid=18353/tid=18403] ppid=18350 vsize=14069564 CPUtime=5.9 cores=1,3,5,7
/proc/18353/task/18403/stat : 18403 (java) R 18350 18353 5228 0 -1 4202560 47358 12485 0 0 570 13 5 2 20 0 15 0 13728857 14407233536 142706 18446744073709551615 4194304 4196468 140729519644960 140117073510096 140116696327254 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18404] ppid=18350 vsize=14069564 CPUtime=0.15 cores=1,3,5,7
/proc/18353/task/18404/stat : 18404 (java) S 18350 18353 5228 0 -1 1077944384 906 12485 0 0 6 2 5 2 20 0 15 0 13728858 14407233536 142706 18446744073709551615 4194304 4196468 140729519644960 140117003713552 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18405] ppid=18350 vsize=14069564 CPUtime=0.15 cores=1,3,5,7
/proc/18353/task/18405/stat : 18405 (java) S 18350 18353 5228 0 -1 1077944384 123 12485 0 0 7 1 5 2 20 0 15 0 13728858 14407233536 142706 18446744073709551615 4194304 4196468 140729519644960 140117002661008 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18406] ppid=18350 vsize=14069564 CPUtime=0.15 cores=1,3,5,7
/proc/18353/task/18406/stat : 18406 (java) S 18350 18353 5228 0 -1 1077944384 211 12485 0 0 6 2 5 2 20 0 15 0 13728858 14407233536 142706 18446744073709551615 4194304 4196468 140729519644960 140117001607952 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18407] ppid=18350 vsize=14069564 CPUtime=0.16 cores=1,3,5,7
/proc/18353/task/18407/stat : 18407 (java) S 18350 18353 5228 0 -1 1077944384 594 12485 0 0 7 2 5 2 20 0 15 0 13728858 14407233536 142706 18446744073709551615 4194304 4196468 140729519644960 140116666006416 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18408] ppid=18350 vsize=14069564 CPUtime=0.11 cores=1,3,5,7
/proc/18353/task/18408/stat : 18408 (java) S 18350 18353 5228 0 -1 1077944384 2582 12485 0 0 4 0 5 2 20 0 15 0 13728859 14407233536 142706 18446744073709551615 4194304 4196468 140729519644960 140115985791216 140117069290114 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18409] ppid=18350 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18409/stat : 18409 (java) S 18350 18353 5228 0 -1 1077944384 65 12485 0 0 0 0 5 2 20 0 15 0 13728860 14407233536 142706 18446744073709551615 4194304 4196468 140729519644960 140115984737504 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18410] ppid=18350 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18410/stat : 18410 (java) S 18350 18353 5228 0 -1 1077944384 49 12485 0 0 0 0 5 2 20 0 15 0 13728860 14407233536 142706 18446744073709551615 4194304 4196468 140729519644960 140115983684352 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18411] ppid=18350 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18411/stat : 18411 (java) S 18350 18353 5228 0 -1 1077944384 3 12485 0 0 0 0 5 2 20 0 15 0 13728863 14407233536 142706 18446744073709551615 4194304 4196468 140729519644960 140115982632912 140117069297563 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18412] ppid=18350 vsize=14069564 CPUtime=3.43 cores=1,3,5,7
/proc/18353/task/18412/stat : 18412 (java) R 18350 18353 5228 0 -1 4202560 8839 12485 0 0 334 2 5 2 20 0 15 0 13728863 14407233536 142706 18446744073709551615 4194304 4196468 140729519644960 140115981566352 140117049122479 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18413] ppid=18350 vsize=14069564 CPUtime=3.46 cores=1,3,5,7
/proc/18353/task/18413/stat : 18413 (java) R 18350 18353 5228 0 -1 4202560 8087 12485 0 0 337 2 5 2 20 0 15 0 13728863 14407233536 142706 18446744073709551615 4194304 4196468 140729519644960 140115980512816 140117050842527 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18414] ppid=18350 vsize=14069564 CPUtime=1.72 cores=1,3,5,7
/proc/18353/task/18414/stat : 18414 (java) S 18350 18353 5228 0 -1 1077944384 7937 12485 0 0 162 3 5 2 20 0 15 0 13728863 14407233536 142706 18446744073709551615 4194304 4196468 140729519644960 140115979475440 140117069290114 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18415] ppid=18350 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18415/stat : 18415 (java) S 18350 18353 5228 0 -1 1077944384 3 12485 0 0 0 0 5 2 20 0 15 0 13728863 14407233536 142706 18446744073709551615 4194304 4196468 140729519644960 140115978423136 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18416] ppid=18350 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18416/stat : 18416 (java) S 18350 18353 5228 0 -1 1077944384 659 12485 0 0 0 0 5 2 20 0 15 0 13728869 14407233536 142706 18446744073709551615 4194304 4196468 140729519644960 140115977370160 140117069290114 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
Current children cumulated CPU time (s) 14.8
Current children cumulated vsize (KiB) 14069564
[startup+12.7007 s]
/proc/loadavg: 1.82 1.87 1.76 3/214 18416
/proc/meminfo: memFree=27173708/32770624 swapFree=0/242656
[pid=18353] ppid=18350 vsize=14069564 CPUtime=23.71 cores=1,3,5,7
/proc/18353/stat : 18353 (java) S 18350 18353 5228 0 -1 1077944320 88987 12485 0 0 2312 52 5 2 20 0 15 0 13728834 14407233536 293585 18446744073709551615 4194304 4196468 140729519644960 140729519627504 140117069278967 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 11 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
/proc/18353/statm: 3517391 293585 3475 1 0 3506013 0
[pid=18353/tid=18403] ppid=18350 vsize=14069564 CPUtime=12.21 cores=1,3,5,7
/proc/18353/task/18403/stat : 18403 (java) R 18350 18353 5228 0 -1 4202560 49014 12485 0 0 1193 21 5 2 20 0 15 0 13728857 14407233536 293585 18446744073709551615 4194304 4196468 140729519644960 140117073512840 140116684693355 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18404] ppid=18350 vsize=14069564 CPUtime=0.24 cores=1,3,5,7
/proc/18353/task/18404/stat : 18404 (java) S 18350 18353 5228 0 -1 1077944384 1000 12485 0 0 12 5 5 2 20 0 15 0 13728858 14407233536 293585 18446744073709551615 4194304 4196468 140729519644960 140117003713552 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18405] ppid=18350 vsize=14069564 CPUtime=0.23 cores=1,3,5,7
/proc/18353/task/18405/stat : 18405 (java) S 18350 18353 5228 0 -1 1077944384 852 12485 0 0 12 4 5 2 20 0 15 0 13728858 14407233536 293585 18446744073709551615 4194304 4196468 140729519644960 140117002661008 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18406] ppid=18350 vsize=14069564 CPUtime=0.24 cores=1,3,5,7
/proc/18353/task/18406/stat : 18406 (java) S 18350 18353 5228 0 -1 1077944384 301 12485 0 0 12 5 5 2 20 0 15 0 13728858 14407233536 293585 18446744073709551615 4194304 4196468 140729519644960 140117001607952 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18407] ppid=18350 vsize=14069564 CPUtime=0.23 cores=1,3,5,7
/proc/18353/task/18407/stat : 18407 (java) S 18350 18353 5228 0 -1 1077944384 655 12485 0 0 12 4 5 2 20 0 15 0 13728858 14407233536 293585 18446744073709551615 4194304 4196468 140729519644960 140116666006416 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18408] ppid=18350 vsize=14069564 CPUtime=0.12 cores=1,3,5,7
/proc/18353/task/18408/stat : 18408 (java) S 18350 18353 5228 0 -1 1077944384 3128 12485 0 0 5 0 5 2 20 0 15 0 13728859 14407233536 293585 18446744073709551615 4194304 4196468 140729519644960 140115985791216 140117069290114 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18409] ppid=18350 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18409/stat : 18409 (java) S 18350 18353 5228 0 -1 1077944384 65 12485 0 0 0 0 5 2 20 0 15 0 13728860 14407233536 293585 18446744073709551615 4194304 4196468 140729519644960 140115984737504 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18410] ppid=18350 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18410/stat : 18410 (java) S 18350 18353 5228 0 -1 1077944384 49 12485 0 0 0 0 5 2 20 0 15 0 13728860 14407233536 293585 18446744073709551615 4194304 4196468 140729519644960 140115983684352 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18411] ppid=18350 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18411/stat : 18411 (java) S 18350 18353 5228 0 -1 1077944384 3 12485 0 0 0 0 5 2 20 0 15 0 13728863 14407233536 293585 18446744073709551615 4194304 4196468 140729519644960 140115982632912 140117069297563 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
################
# More data... #
################
/proc/18353/task/18415/stat : 18415 (java) S 18350 18353 5228 0 -1 1077944384 3 12485 0 0 0 0 5 2 20 0 15 0 13728863 14407233536 760153 18446744073709551615 4194304 4196468 140729519644960 140115978423136 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18416] ppid=18350 vsize=14069564 CPUtime=0.12 cores=1,3,5,7
/proc/18353/task/18416/stat : 18416 (java) S 18350 18353 5228 0 -1 1077944384 2669 12485 0 0 0 5 5 2 20 0 15 0 13728869 14407233536 760153 18446744073709551615 4194304 4196468 140729519644960 140115977370160 140117069290114 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
Current children cumulated CPU time (s) 115.41
Current children cumulated vsize (KiB) 14069564
[startup+162.301 s]
/proc/loadavg: 1.51 1.75 1.74 3/214 18559
/proc/meminfo: memFree=24950880/32770624 swapFree=0/242736
[pid=18353] ppid=18350 vsize=14069564 CPUtime=176.7 cores=1,3,5,7
/proc/18353/stat : 18353 (java) S 18350 18353 5228 0 -1 1077944320 129219 12485 0 0 17537 126 5 2 20 0 15 0 13728834 14407233536 723963 18446744073709551615 4194304 4196468 140729519644960 140729519627504 140117069278967 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 11 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
/proc/18353/statm: 3517391 723963 3476 1 0 3506013 0
[pid=18353/tid=18403] ppid=18350 vsize=14069564 CPUtime=161.01 cores=1,3,5,7
/proc/18353/task/18403/stat : 18403 (java) R 18350 18353 5228 0 -1 4202560 63390 12485 0 0 16048 46 5 2 20 0 15 0 13728857 14407233536 723963 18446744073709551615 4194304 4196468 140729519644960 140117073513248 140116697119013 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18404] ppid=18350 vsize=14069564 CPUtime=0.94 cores=1,3,5,7
/proc/18353/task/18404/stat : 18404 (java) S 18350 18353 5228 0 -1 1077944384 2507 12485 0 0 71 16 5 2 20 0 15 0 13728858 14407233536 723963 18446744073709551615 4194304 4196468 140729519644960 140117003713552 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18405] ppid=18350 vsize=14069564 CPUtime=0.93 cores=1,3,5,7
/proc/18353/task/18405/stat : 18405 (java) S 18350 18353 5228 0 -1 1077944384 1408 12485 0 0 72 14 5 2 20 0 15 0 13728858 14407233536 723963 18446744073709551615 4194304 4196468 140729519644960 140117002661008 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18406] ppid=18350 vsize=14069564 CPUtime=0.93 cores=1,3,5,7
/proc/18353/task/18406/stat : 18406 (java) S 18350 18353 5228 0 -1 1077944384 2680 12485 0 0 71 15 5 2 20 0 15 0 13728858 14407233536 723963 18446744073709551615 4194304 4196468 140729519644960 140117001607952 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18407] ppid=18350 vsize=14069564 CPUtime=0.93 cores=1,3,5,7
/proc/18353/task/18407/stat : 18407 (java) S 18350 18353 5228 0 -1 1077944384 2080 12485 0 0 71 15 5 2 20 0 15 0 13728858 14407233536 723963 18446744073709551615 4194304 4196468 140729519644960 140116666006416 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18408] ppid=18350 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/18353/task/18408/stat : 18408 (java) S 18350 18353 5228 0 -1 1077944384 4622 12485 0 0 10 2 5 2 20 0 15 0 13728859 14407233536 723963 18446744073709551615 4194304 4196468 140729519644960 140115985791216 140117069290114 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18409] ppid=18350 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18409/stat : 18409 (java) S 18350 18353 5228 0 -1 1077944384 65 12485 0 0 0 0 5 2 20 0 15 0 13728860 14407233536 723963 18446744073709551615 4194304 4196468 140729519644960 140115984737504 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18410] ppid=18350 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18410/stat : 18410 (java) S 18350 18353 5228 0 -1 1077944384 49 12485 0 0 0 0 5 2 20 0 15 0 13728860 14407233536 723963 18446744073709551615 4194304 4196468 140729519644960 140115983684352 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18411] ppid=18350 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18411/stat : 18411 (java) S 18350 18353 5228 0 -1 1077944384 3 12485 0 0 0 0 5 2 20 0 15 0 13728863 14407233536 723963 18446744073709551615 4194304 4196468 140729519644960 140115982632912 140117069297563 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18412] ppid=18350 vsize=14069564 CPUtime=5.24 cores=1,3,5,7
/proc/18353/task/18412/stat : 18412 (java) S 18350 18353 5228 0 -1 1077944384 18035 12485 0 0 515 2 5 2 20 0 15 0 13728863 14407233536 723963 18446744073709551615 4194304 4196468 140729519644960 140115981581040 140117069290114 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18413] ppid=18350 vsize=14069564 CPUtime=5.01 cores=1,3,5,7
/proc/18353/task/18413/stat : 18413 (java) S 18350 18353 5228 0 -1 1077944384 15981 12485 0 0 491 3 5 2 20 0 15 0 13728863 14407233536 723963 18446744073709551615 4194304 4196468 140729519644960 140115980528496 140117069290114 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18414] ppid=18350 vsize=14069564 CPUtime=1.88 cores=1,3,5,7
/proc/18353/task/18414/stat : 18414 (java) S 18350 18353 5228 0 -1 1077944384 13543 12485 0 0 177 4 5 2 20 0 15 0 13728863 14407233536 723963 18446744073709551615 4194304 4196468 140729519644960 140115979475440 140117069290114 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18415] ppid=18350 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18415/stat : 18415 (java) S 18350 18353 5228 0 -1 1077944384 3 12485 0 0 0 0 5 2 20 0 15 0 13728863 14407233536 723963 18446744073709551615 4194304 4196468 140729519644960 140115978423136 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18416] ppid=18350 vsize=14069564 CPUtime=0.16 cores=1,3,5,7
/proc/18353/task/18416/stat : 18416 (java) S 18350 18353 5228 0 -1 1077944384 2701 12485 0 0 2 7 5 2 20 0 15 0 13728869 14407233536 723963 18446744073709551615 4194304 4196468 140729519644960 140115977370160 140117069290114 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
Current children cumulated CPU time (s) 176.7
Current children cumulated vsize (KiB) 14069564
[startup+222.307 s]
/proc/loadavg: 1.57 1.73 1.73 3/214 18561
/proc/meminfo: memFree=25847712/32770624 swapFree=0/242764
[pid=18353] ppid=18350 vsize=14069564 CPUtime=238.04 cores=1,3,5,7
/proc/18353/stat : 18353 (java) S 18350 18353 5228 0 -1 1077944320 138152 12485 0 0 23660 137 5 2 20 0 15 0 13728834 14407233536 622243 18446744073709551615 4194304 4196468 140729519644960 140729519627504 140117069278967 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 11 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
/proc/18353/statm: 3517391 622243 3476 1 0 3506013 0
[pid=18353/tid=18403] ppid=18350 vsize=14069564 CPUtime=220.55 cores=1,3,5,7
/proc/18353/task/18403/stat : 18403 (java) R 18350 18353 5228 0 -1 4202560 67155 12485 0 0 22001 47 5 2 20 0 15 0 13728857 14407233536 622243 18446744073709551615 4194304 4196468 140729519644960 140117073508464 140116684907968 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18404] ppid=18350 vsize=14069564 CPUtime=1.37 cores=1,3,5,7
/proc/18353/task/18404/stat : 18404 (java) S 18350 18353 5228 0 -1 1077944384 2701 12485 0 0 112 18 5 2 20 0 15 0 13728858 14407233536 622243 18446744073709551615 4194304 4196468 140729519644960 140117003713552 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18405] ppid=18350 vsize=14069564 CPUtime=1.36 cores=1,3,5,7
/proc/18353/task/18405/stat : 18405 (java) S 18350 18353 5228 0 -1 1077944384 1600 12485 0 0 113 16 5 2 20 0 15 0 13728858 14407233536 622243 18446744073709551615 4194304 4196468 140729519644960 140117002661008 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18406] ppid=18350 vsize=14069564 CPUtime=1.37 cores=1,3,5,7
/proc/18353/task/18406/stat : 18406 (java) S 18350 18353 5228 0 -1 1077944384 3446 12485 0 0 112 18 5 2 20 0 15 0 13728858 14407233536 622243 18446744073709551615 4194304 4196468 140729519644960 140117001607952 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18407] ppid=18350 vsize=14069564 CPUtime=1.36 cores=1,3,5,7
/proc/18353/task/18407/stat : 18407 (java) S 18350 18353 5228 0 -1 1077944384 2268 12485 0 0 112 17 5 2 20 0 15 0 13728858 14407233536 622243 18446744073709551615 4194304 4196468 140729519644960 140116666006416 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18408] ppid=18350 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/18353/task/18408/stat : 18408 (java) S 18350 18353 5228 0 -1 1077944384 4927 12485 0 0 12 3 5 2 20 0 15 0 13728859 14407233536 622243 18446744073709551615 4194304 4196468 140729519644960 140115985791216 140117069290114 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18409] ppid=18350 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18409/stat : 18409 (java) S 18350 18353 5228 0 -1 1077944384 65 12485 0 0 0 0 5 2 20 0 15 0 13728860 14407233536 622243 18446744073709551615 4194304 4196468 140729519644960 140115984737504 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18410] ppid=18350 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18410/stat : 18410 (java) S 18350 18353 5228 0 -1 1077944384 49 12485 0 0 0 0 5 2 20 0 15 0 13728860 14407233536 622243 18446744073709551615 4194304 4196468 140729519644960 140115983684352 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18411] ppid=18350 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18411/stat : 18411 (java) S 18350 18353 5228 0 -1 1077944384 3 12485 0 0 0 0 5 2 20 0 15 0 13728863 14407233536 622243 18446744073709551615 4194304 4196468 140729519644960 140115982632912 140117069297563 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18412] ppid=18350 vsize=14069564 CPUtime=5.24 cores=1,3,5,7
/proc/18353/task/18412/stat : 18412 (java) S 18350 18353 5228 0 -1 1077944384 18754 12485 0 0 515 2 5 2 20 0 15 0 13728863 14407233536 622243 18446744073709551615 4194304 4196468 140729519644960 140115981581040 140117069290114 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18413] ppid=18350 vsize=14069564 CPUtime=5.02 cores=1,3,5,7
/proc/18353/task/18413/stat : 18413 (java) S 18350 18353 5228 0 -1 1077944384 16591 12485 0 0 492 3 5 2 20 0 15 0 13728863 14407233536 622243 18446744073709551615 4194304 4196468 140729519644960 140115980528496 140117069290114 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18414] ppid=18350 vsize=14069564 CPUtime=1.88 cores=1,3,5,7
/proc/18353/task/18414/stat : 18414 (java) S 18350 18353 5228 0 -1 1077944384 15705 12485 0 0 177 4 5 2 20 0 15 0 13728863 14407233536 622243 18446744073709551615 4194304 4196468 140729519644960 140115979475440 140117069290114 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18415] ppid=18350 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18415/stat : 18415 (java) S 18350 18353 5228 0 -1 1077944384 3 12485 0 0 0 0 5 2 20 0 15 0 13728863 14407233536 622243 18446744073709551615 4194304 4196468 140729519644960 140115978423136 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18416] ppid=18350 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/18353/task/18416/stat : 18416 (java) S 18350 18353 5228 0 -1 1077944384 2733 12485 0 0 4 9 5 2 20 0 15 0 13728869 14407233536 622243 18446744073709551615 4194304 4196468 140729519644960 140115977370160 140117069290114 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
Current children cumulated CPU time (s) 238.04
Current children cumulated vsize (KiB) 14069564
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.007 s]
/proc/loadavg: 1.55 1.71 1.73 3/214 18563
/proc/meminfo: memFree=26171932/32770624 swapFree=0/242796
[pid=18353] ppid=18350 vsize=14069564 CPUtime=256.06 cores=1,3,5,7
/proc/18353/stat : 18353 (java) S 18350 18353 5228 0 -1 1077944320 142314 12485 0 0 25458 141 5 2 20 0 15 0 13728834 14407233536 566322 18446744073709551615 4194304 4196468 140729519644960 140729519627504 140117069278967 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 11 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
/proc/18353/statm: 3517391 566322 3476 1 0 3506013 0
[pid=18353/tid=18403] ppid=18350 vsize=14069564 CPUtime=238.13 cores=1,3,5,7
/proc/18353/task/18403/stat : 18403 (java) S 18350 18353 5228 0 -1 1077944384 68609 12485 0 0 23759 47 5 2 20 0 15 0 13728857 14407233536 566322 18446744073709551615 4194304 4196468 140729519644960 140117073513456 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18404] ppid=18350 vsize=14069564 CPUtime=1.47 cores=1,3,5,7
/proc/18353/task/18404/stat : 18404 (java) S 18350 18353 5228 0 -1 1077944384 3399 12485 0 0 121 19 5 2 20 0 15 0 13728858 14407233536 566322 18446744073709551615 4194304 4196468 140729519644960 140117003713552 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18405] ppid=18350 vsize=14069564 CPUtime=1.46 cores=1,3,5,7
/proc/18353/task/18405/stat : 18405 (java) S 18350 18353 5228 0 -1 1077944384 2886 12485 0 0 122 17 5 2 20 0 15 0 13728858 14407233536 566322 18446744073709551615 4194304 4196468 140729519644960 140117002661008 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18406] ppid=18350 vsize=14069564 CPUtime=1.47 cores=1,3,5,7
/proc/18353/task/18406/stat : 18406 (java) S 18350 18353 5228 0 -1 1077944384 3679 12485 0 0 122 18 5 2 20 0 15 0 13728858 14407233536 566322 18446744073709551615 4194304 4196468 140729519644960 140117001607952 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18407] ppid=18350 vsize=14069564 CPUtime=1.46 cores=1,3,5,7
/proc/18353/task/18407/stat : 18407 (java) S 18350 18353 5228 0 -1 1077944384 2403 12485 0 0 122 17 5 2 20 0 15 0 13728858 14407233536 566322 18446744073709551615 4194304 4196468 140729519644960 140116666006416 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18408] ppid=18350 vsize=14069564 CPUtime=0.23 cores=1,3,5,7
/proc/18353/task/18408/stat : 18408 (java) R 18350 18353 5228 0 -1 4202560 5241 12485 0 0 13 3 5 2 20 0 15 0 13728859 14407233536 566322 18446744073709551615 4194304 4196468 140729519644960 140115985789728 140117054970153 0 0 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18409] ppid=18350 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18409/stat : 18409 (java) S 18350 18353 5228 0 -1 1077944384 65 12485 0 0 0 0 5 2 20 0 15 0 13728860 14407233536 566322 18446744073709551615 4194304 4196468 140729519644960 140115984737504 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18410] ppid=18350 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18410/stat : 18410 (java) S 18350 18353 5228 0 -1 1077944384 49 12485 0 0 0 0 5 2 20 0 15 0 13728860 14407233536 566322 18446744073709551615 4194304 4196468 140729519644960 140115983684352 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18411] ppid=18350 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18411/stat : 18411 (java) S 18350 18353 5228 0 -1 1077944384 3 12485 0 0 0 0 5 2 20 0 15 0 13728863 14407233536 566322 18446744073709551615 4194304 4196468 140729519644960 140115982632912 140117069297563 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18412] ppid=18350 vsize=14069564 CPUtime=5.24 cores=1,3,5,7
/proc/18353/task/18412/stat : 18412 (java) S 18350 18353 5228 0 -1 1077944384 18757 12485 0 0 515 2 5 2 20 0 15 0 13728863 14407233536 566322 18446744073709551615 4194304 4196468 140729519644960 140115981581040 140117069290114 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18413] ppid=18350 vsize=14069564 CPUtime=5.02 cores=1,3,5,7
/proc/18353/task/18413/stat : 18413 (java) S 18350 18353 5228 0 -1 1077944384 16593 12485 0 0 492 3 5 2 20 0 15 0 13728863 14407233536 566322 18446744073709551615 4194304 4196468 140729519644960 140115980528496 140117069290114 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18414] ppid=18350 vsize=14069564 CPUtime=1.88 cores=1,3,5,7
/proc/18353/task/18414/stat : 18414 (java) S 18350 18353 5228 0 -1 1077944384 15707 12485 0 0 177 4 5 2 20 0 15 0 13728863 14407233536 566322 18446744073709551615 4194304 4196468 140729519644960 140115979475440 140117069290114 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18415] ppid=18350 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18415/stat : 18415 (java) S 18350 18353 5228 0 -1 1077944384 3 12485 0 0 0 0 5 2 20 0 15 0 13728863 14407233536 566322 18446744073709551615 4194304 4196468 140729519644960 140115978423136 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18416] ppid=18350 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/18353/task/18416/stat : 18416 (java) S 18350 18353 5228 0 -1 1077944384 2768 12485 0 0 4 10 5 2 20 0 15 0 13728869 14407233536 566322 18446744073709551615 4194304 4196468 140729519644960 140115977370160 140117069290114 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
Current children cumulated CPU time (s) 256.06
Current children cumulated vsize (KiB) 14069564
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18353 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+240.401 s]
/proc/loadavg: 1.55 1.71 1.73 3/214 18563
/proc/meminfo: memFree=26171932/32770624 swapFree=0/242796
[pid=18353] ppid=18350 vsize=14202692 CPUtime=257.35 cores=1,3,5,7
/proc/18353/stat : 18353 (java) S 18350 18353 5228 0 -1 1077944320 154425 12485 0 0 25586 142 5 2 20 0 17 0 13728834 14543556608 545264 18446744073709551615 4194304 4196468 140729519644960 140729519627504 140117069278967 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 11 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
/proc/18353/statm: 3550673 545264 3476 1 0 3539295 0
[pid=18353/tid=18403] ppid=18350 vsize=14202692 CPUtime=238.14 cores=1,3,5,7
/proc/18353/task/18403/stat : 18403 (java) S 18350 18353 5228 0 -1 1077944384 69422 12485 0 0 23760 47 5 2 20 0 17 0 13728857 14543556608 545264 18446744073709551615 4194304 4196468 140729519644960 140117073516752 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18404] ppid=18350 vsize=14202692 CPUtime=1.77 cores=1,3,5,7
/proc/18353/task/18404/stat : 18404 (java) S 18350 18353 5228 0 -1 1077944384 3438 12485 0 0 151 19 5 2 20 0 17 0 13728858 14543556608 545264 18446744073709551615 4194304 4196468 140729519644960 140117003713552 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18405] ppid=18350 vsize=14202692 CPUtime=1.77 cores=1,3,5,7
/proc/18353/task/18405/stat : 18405 (java) S 18350 18353 5228 0 -1 1077944384 2919 12485 0 0 153 17 5 2 20 0 17 0 13728858 14543556608 545264 18446744073709551615 4194304 4196468 140729519644960 140117002661008 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18406] ppid=18350 vsize=14202692 CPUtime=1.77 cores=1,3,5,7
/proc/18353/task/18406/stat : 18406 (java) S 18350 18353 5228 0 -1 1077944384 3710 12485 0 0 152 18 5 2 20 0 17 0 13728858 14543556608 545264 18446744073709551615 4194304 4196468 140729519644960 140117001607952 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18407] ppid=18350 vsize=14202692 CPUtime=1.76 cores=1,3,5,7
/proc/18353/task/18407/stat : 18407 (java) S 18350 18353 5228 0 -1 1077944384 2442 12485 0 0 151 18 5 2 20 0 17 0 13728858 14543556608 545264 18446744073709551615 4194304 4196468 140729519644960 140116666006416 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18408] ppid=18350 vsize=14202692 CPUtime=0.32 cores=1,3,5,7
/proc/18353/task/18408/stat : 18408 (java) R 18350 18353 5228 0 -1 4202560 15804 12485 0 0 21 4 5 2 20 0 17 0 13728859 14543556608 545264 18446744073709551615 4194304 4196468 140729519644960 140115985789616 140117053441141 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18409] ppid=18350 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18409/stat : 18409 (java) S 18350 18353 5228 0 -1 1077944384 66 12485 0 0 0 0 5 2 20 0 17 0 13728860 14543556608 545264 18446744073709551615 4194304 4196468 140729519644960 140115984737408 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18410] ppid=18350 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18410/stat : 18410 (java) S 18350 18353 5228 0 -1 1077944384 49 12485 0 0 0 0 5 2 20 0 17 0 13728860 14543556608 545264 18446744073709551615 4194304 4196468 140729519644960 140115983684352 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18411] ppid=18350 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18411/stat : 18411 (java) S 18350 18353 5228 0 -1 1077944384 232 12485 0 0 0 0 5 2 20 0 17 0 13728863 14543556608 545264 18446744073709551615 4194304 4196468 140729519644960 140115982632912 140117069297563 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18412] ppid=18350 vsize=14202692 CPUtime=5.24 cores=1,3,5,7
/proc/18353/task/18412/stat : 18412 (java) S 18350 18353 5228 0 -1 1077944384 18757 12485 0 0 515 2 5 2 20 0 17 0 13728863 14543556608 545264 18446744073709551615 4194304 4196468 140729519644960 140115981581040 140117069290114 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18413] ppid=18350 vsize=14202692 CPUtime=5.02 cores=1,3,5,7
/proc/18353/task/18413/stat : 18413 (java) S 18350 18353 5228 0 -1 1077944384 16593 12485 0 0 492 3 5 2 20 0 17 0 13728863 14543556608 545264 18446744073709551615 4194304 4196468 140729519644960 140115980528496 140117069290114 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18414] ppid=18350 vsize=14202692 CPUtime=1.88 cores=1,3,5,7
/proc/18353/task/18414/stat : 18414 (java) S 18350 18353 5228 0 -1 1077944384 15707 12485 0 0 177 4 5 2 20 0 17 0 13728863 14543556608 545264 18446744073709551615 4194304 4196468 140729519644960 140115979475440 140117069290114 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18415] ppid=18350 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/18353/task/18415/stat : 18415 (java) S 18350 18353 5228 0 -1 1077944384 3 12485 0 0 0 0 5 2 20 0 17 0 13728863 14543556608 545264 18446744073709551615 4194304 4196468 140729519644960 140115978423136 140117069289173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
[pid=18353/tid=18416] ppid=18350 vsize=14202692 CPUtime=0.21 cores=1,3,5,7
/proc/18353/task/18416/stat : 18416 (java) S 18350 18353 5228 0 -1 1077944384 2768 12485 0 0 4 10 5 2 20 0 17 0 13728869 14543556608 545264 18446744073709551615 4194304 4196468 140729519644960 140115977370160 140117069290114 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25694208 140729519650765 140729519653550 140729519653550 140729519656911 0
Current children cumulated CPU time (s) 257.35
Current children cumulated vsize (KiB) 14202692
Child status: 143
Real time (s): 240.46
CPU time (s): 257.486
CPU user time (s): 256.01
CPU system time (s): 1.47576
CPU usage (%): 107.081
Max. virtual memory (cumulated for all children) (KiB): 14202692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 256.01
system time used= 1.47576
maximum resident set size= 3173876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167225
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15536
involuntary context switches= 500
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.12536 second user time and 1.42579 second system time
The end