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-4259566-1501647101/watcher-4259566-1501647101 -o /tmp/evaluation-result-4259566-1501647101/solver-4259566-1501647101 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27967 --watchdog 300 bin/concrete HOME/instance-4259566-1501647101.xml
pid=4150
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.86 1.72 1.72 3/199 4153
/proc/meminfo: memFree=27543088/32770624 swapFree=0/243488
[pid=4153] ppid=4150 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/4153/stat : 4153 (runsolver) D 4150 4153 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 6620714 24240128 107 18446744073709551615 4194304 4338465 140724972278784 140724972276424 140307728921303 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 29454336 140724972282065 140724972282439 140724972282439 140724972285898 0
/proc/4153/statm: 5918 107 54 36 0 2156 0
[startup+0.100063 s]
/proc/loadavg: 1.86 1.72 1.72 3/199 4153
/proc/meminfo: memFree=27543088/32770624 swapFree=0/243488
[pid=4153] ppid=4150 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/4153/stat : 4153 (bash) S 4150 4153 3187 0 -1 4202496 897 6480 0 0 0 0 0 1 20 0 1 0 6620714 9867264 377 18446744073709551615 4194304 5098028 140736532842688 140736532836696 140205062155264 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 5 0 0 7196144 7232144 24256512 140736532845074 140736532845159 140736532845159 140736532848618 0
/proc/4153/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.200311 s]
/proc/loadavg: 1.86 1.72 1.72 3/199 4153
/proc/meminfo: memFree=27543088/32770624 swapFree=0/243488
[pid=4153] ppid=4150 vsize=13441360 CPUtime=0.09 cores=1,3,5,7
/proc/4153/stat : 4153 (java) S 4150 4153 3187 0 -1 1077944320 4687 12427 0 0 2 0 5 2 20 0 7 0 6620714 13763952640 3983 18446744073709551615 4194304 4196468 140736253204704 140736253187248 139780961890039 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
/proc/4153/statm: 3360340 3983 2016 1 0 3349845 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13441360
[startup+0.309611 s]
/proc/loadavg: 1.86 1.72 1.72 3/199 4153
/proc/meminfo: memFree=27543088/32770624 swapFree=0/243488
[pid=4153] ppid=4150 vsize=13974356 CPUtime=0.2 cores=1,3,5,7
/proc/4153/stat : 4153 (java) S 4150 4153 3187 0 -1 1077944320 6863 12427 0 0 12 1 5 2 20 0 15 0 6620714 14309740544 7521 18446744073709551615 4194304 4196468 140736253204704 140736253187248 139780961890039 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
/proc/4153/statm: 3493589 7521 2897 1 0 3482973 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 13974356
[startup+0.700208 s]
/proc/loadavg: 1.86 1.72 1.72 3/199 4153
/proc/meminfo: memFree=27543088/32770624 swapFree=0/243488
[pid=4153] ppid=4150 vsize=13974784 CPUtime=0.71 cores=1,3,5,7
/proc/4153/stat : 4153 (java) S 4150 4153 3187 0 -1 1077944320 13978 12427 0 0 61 3 5 2 20 0 15 0 6620714 14310178816 14931 18446744073709551615 4194304 4196468 140736253204704 140736253187248 139780961890039 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
/proc/4153/statm: 3493696 14931 3102 1 0 3482973 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 13974784
[startup+1.50661 s]
/proc/loadavg: 2.11 1.78 1.74 3/214 4216
/proc/meminfo: memFree=27429980/32770624 swapFree=0/243560
[pid=4153] ppid=4150 vsize=13985408 CPUtime=1.98 cores=1,3,5,7
/proc/4153/stat : 4153 (java) S 4150 4153 3187 0 -1 1077944320 30002 12427 0 0 182 9 5 2 20 0 15 0 6620714 14321057792 42732 18446744073709551615 4194304 4196468 140736253204704 140736253187248 139780961890039 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
/proc/4153/statm: 3496352 42732 3362 1 0 3485533 0
[pid=4153/tid=4203] ppid=4150 vsize=13985408 CPUtime=1.31 cores=1,3,5,7
/proc/4153/task/4203/stat : 4203 (java) R 4150 4153 3187 0 -1 4202560 22353 12427 0 0 118 6 5 2 20 0 15 0 6620732 14321057792 42732 18446744073709551615 4194304 4196468 140736253204704 139780966111928 139780599965396 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4204] ppid=4150 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/4153/task/4204/stat : 4204 (java) S 4150 4153 3187 0 -1 1077944384 59 12427 0 0 1 0 5 2 20 0 15 0 6620733 14321057792 42732 18446744073709551615 4194304 4196468 140736253204704 139780562283536 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4205] ppid=4150 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/4153/task/4205/stat : 4205 (java) S 4150 4153 3187 0 -1 1077944384 56 12427 0 0 1 0 5 2 20 0 15 0 6620733 14321057792 42732 18446744073709551615 4194304 4196468 140736253204704 139780561230992 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4206] ppid=4150 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/4153/task/4206/stat : 4206 (java) S 4150 4153 3187 0 -1 1077944384 185 12427 0 0 1 0 5 2 20 0 15 0 6620733 14321057792 42732 18446744073709551615 4194304 4196468 140736253204704 139780560177936 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4207] ppid=4150 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/4153/task/4207/stat : 4207 (java) S 4150 4153 3187 0 -1 1077944384 63 12427 0 0 1 0 5 2 20 0 15 0 6620733 14321057792 42732 18446744073709551615 4194304 4196468 140736253204704 139780559125392 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4208] ppid=4150 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/4153/task/4208/stat : 4208 (java) S 4150 4153 3187 0 -1 1077944384 1664 12427 0 0 1 0 5 2 20 0 15 0 6620734 14321057792 42732 18446744073709551615 4194304 4196468 140736253204704 139780440418544 139780961901186 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4209] ppid=4150 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4209/stat : 4209 (java) S 4150 4153 3187 0 -1 1077944384 55 12427 0 0 0 0 5 2 20 0 15 0 6620734 14321057792 42732 18446744073709551615 4194304 4196468 140736253204704 139780439364768 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4210] ppid=4150 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4210/stat : 4210 (java) S 4150 4153 3187 0 -1 1077944384 45 12427 0 0 0 0 5 2 20 0 15 0 6620735 14321057792 42732 18446744073709551615 4194304 4196468 140736253204704 139780438311664 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4211] ppid=4150 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4211/stat : 4211 (java) S 4150 4153 3187 0 -1 1077944384 3 12427 0 0 0 0 5 2 20 0 15 0 6620737 14321057792 42732 18446744073709551615 4194304 4196468 140736253204704 139780437260240 139780961908635 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4212] ppid=4150 vsize=13985408 CPUtime=0.21 cores=1,3,5,7
/proc/4153/task/4212/stat : 4212 (java) R 4150 4153 3187 0 -1 4202560 961 12427 0 0 14 0 5 2 20 0 15 0 6620737 14321057792 42732 18446744073709551615 4194304 4196468 140736253204704 139780436194912 139780946999874 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4213] ppid=4150 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/4153/task/4213/stat : 4213 (java) S 4150 4153 3187 0 -1 1077944384 973 12427 0 0 17 0 5 2 20 0 15 0 6620737 14321057792 42732 18446744073709551615 4194304 4196468 140736253204704 139780435155824 139780961901186 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4214] ppid=4150 vsize=13985408 CPUtime=0.31 cores=1,3,5,7
/proc/4153/task/4214/stat : 4214 (java) S 4150 4153 3187 0 -1 1077944384 1418 12427 0 0 24 0 5 2 20 0 15 0 6620737 14321057792 42732 18446744073709551615 4194304 4196468 140736253204704 139780434102768 139780961901186 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4215] ppid=4150 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4215/stat : 4215 (java) S 4150 4153 3187 0 -1 1077944384 3 12427 0 0 0 0 5 2 20 0 15 0 6620738 14321057792 42732 18446744073709551615 4194304 4196468 140736253204704 139780433050464 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4216] ppid=4150 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4216/stat : 4216 (java) S 4150 4153 3187 0 -1 1077944384 10 12427 0 0 0 0 5 2 20 0 15 0 6620742 14321057792 42732 18446744073709551615 4194304 4196468 140736253204704 139780431997488 139780961901186 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 13985408
[startup+3.10062 s]
/proc/loadavg: 2.11 1.78 1.74 4/214 4216
/proc/meminfo: memFree=27369304/32770624 swapFree=0/243560
[pid=4153] ppid=4150 vsize=13997884 CPUtime=6.25 cores=1,3,5,7
/proc/4153/stat : 4153 (java) S 4150 4153 3187 0 -1 1077944320 43437 12427 0 0 602 16 5 2 20 0 15 0 6620714 14333833216 65912 18446744073709551615 4194304 4196468 140736253204704 140736253187248 139780961890039 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
/proc/4153/statm: 3499471 65912 3433 1 0 3488093 0
[pid=4153/tid=4203] ppid=4150 vsize=13997884 CPUtime=2.9 cores=1,3,5,7
/proc/4153/task/4203/stat : 4203 (java) R 4150 4153 3187 0 -1 4202560 29409 12427 0 0 273 10 5 2 20 0 15 0 6620732 14333833216 65912 18446744073709551615 4194304 4196468 140736253204704 139780966121072 139780961901974 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4204] ppid=4150 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/4153/task/4204/stat : 4204 (java) S 4150 4153 3187 0 -1 1077944384 59 12427 0 0 1 0 5 2 20 0 15 0 6620733 14333833216 65912 18446744073709551615 4194304 4196468 140736253204704 139780562283536 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4205] ppid=4150 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/4153/task/4205/stat : 4205 (java) S 4150 4153 3187 0 -1 1077944384 56 12427 0 0 1 0 5 2 20 0 15 0 6620733 14333833216 65912 18446744073709551615 4194304 4196468 140736253204704 139780561230992 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4206] ppid=4150 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/4153/task/4206/stat : 4206 (java) S 4150 4153 3187 0 -1 1077944384 185 12427 0 0 1 0 5 2 20 0 15 0 6620733 14333833216 65912 18446744073709551615 4194304 4196468 140736253204704 139780560177936 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4207] ppid=4150 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/4153/task/4207/stat : 4207 (java) S 4150 4153 3187 0 -1 1077944384 63 12427 0 0 1 0 5 2 20 0 15 0 6620733 14333833216 65912 18446744073709551615 4194304 4196468 140736253204704 139780559125392 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4208] ppid=4150 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/4153/task/4208/stat : 4208 (java) S 4150 4153 3187 0 -1 1077944384 1678 12427 0 0 1 0 5 2 20 0 15 0 6620734 14333833216 65912 18446744073709551615 4194304 4196468 140736253204704 139780440418544 139780961901186 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4209] ppid=4150 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4209/stat : 4209 (java) S 4150 4153 3187 0 -1 1077944384 55 12427 0 0 0 0 5 2 20 0 15 0 6620734 14333833216 65912 18446744073709551615 4194304 4196468 140736253204704 139780439364768 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4210] ppid=4150 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4210/stat : 4210 (java) S 4150 4153 3187 0 -1 1077944384 45 12427 0 0 0 0 5 2 20 0 15 0 6620735 14333833216 65912 18446744073709551615 4194304 4196468 140736253204704 139780438311664 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4211] ppid=4150 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4211/stat : 4211 (java) S 4150 4153 3187 0 -1 1077944384 3 12427 0 0 0 0 5 2 20 0 15 0 6620737 14333833216 65912 18446744073709551615 4194304 4196468 140736253204704 139780437260240 139780961908635 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4212] ppid=4150 vsize=13997884 CPUtime=1.06 cores=1,3,5,7
/proc/4153/task/4212/stat : 4212 (java) R 4150 4153 3187 0 -1 4202560 1864 12427 0 0 98 1 5 2 20 0 15 0 6620737 14333833216 65912 18446744073709551615 4194304 4196468 140736253204704 139780436197104 139780946280166 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4213] ppid=4150 vsize=13997884 CPUtime=1.38 cores=1,3,5,7
/proc/4153/task/4213/stat : 4213 (java) R 4150 4153 3187 0 -1 4202560 4461 12427 0 0 130 1 5 2 20 0 15 0 6620737 14333833216 65912 18446744073709551615 4194304 4196468 140736253204704 139780435145424 139780954986875 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4214] ppid=4150 vsize=13997884 CPUtime=1 cores=1,3,5,7
/proc/4153/task/4214/stat : 4214 (java) R 4150 4153 3187 0 -1 1077944384 3392 12427 0 0 92 1 5 2 20 0 15 0 6620737 14333833216 65912 18446744073709551615 4194304 4196468 140736253204704 139780434102768 139780961901186 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4215] ppid=4150 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4215/stat : 4215 (java) S 4150 4153 3187 0 -1 1077944384 3 12427 0 0 0 0 5 2 20 0 15 0 6620738 14333833216 65912 18446744073709551615 4194304 4196468 140736253204704 139780433050464 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4216] ppid=4150 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4216/stat : 4216 (java) S 4150 4153 3187 0 -1 1077944384 11 12427 0 0 0 0 5 2 20 0 15 0 6620742 14333833216 65912 18446744073709551615 4194304 4196468 140736253204704 139780431997488 139780961901186 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 13997884
[startup+6.30065 s]
/proc/loadavg: 2.11 1.78 1.74 3/214 4216
/proc/meminfo: memFree=27147072/32770624 swapFree=0/243568
[pid=4153] ppid=4150 vsize=13999932 CPUtime=13.06 cores=1,3,5,7
/proc/4153/stat : 4153 (java) S 4150 4153 3187 0 -1 1077944320 52659 12427 0 0 1271 28 5 2 20 0 15 0 6620714 14335930368 103590 18446744073709551615 4194304 4196468 140736253204704 140736253187248 139780961890039 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
/proc/4153/statm: 3499983 103590 3452 1 0 3488605 0
[pid=4153/tid=4203] ppid=4150 vsize=13999932 CPUtime=5.98 cores=1,3,5,7
/proc/4153/task/4203/stat : 4203 (java) R 4150 4153 3187 0 -1 4202560 30569 12427 0 0 579 12 5 2 20 0 15 0 6620732 14335930368 103590 18446744073709551615 4194304 4196468 140736253204704 139780966119128 139780608659772 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4204] ppid=4150 vsize=13999932 CPUtime=0.16 cores=1,3,5,7
/proc/4153/task/4204/stat : 4204 (java) S 4150 4153 3187 0 -1 1077944384 124 12427 0 0 7 2 5 2 20 0 15 0 6620733 14335930368 103590 18446744073709551615 4194304 4196468 140736253204704 139780562283536 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4205] ppid=4150 vsize=13999932 CPUtime=0.16 cores=1,3,5,7
/proc/4153/task/4205/stat : 4205 (java) S 4150 4153 3187 0 -1 1077944384 97 12427 0 0 7 2 5 2 20 0 15 0 6620733 14335930368 103590 18446744073709551615 4194304 4196468 140736253204704 139780561230992 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4206] ppid=4150 vsize=13999932 CPUtime=0.16 cores=1,3,5,7
/proc/4153/task/4206/stat : 4206 (java) S 4150 4153 3187 0 -1 1077944384 296 12427 0 0 7 2 5 2 20 0 15 0 6620733 14335930368 103590 18446744073709551615 4194304 4196468 140736253204704 139780560177936 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4207] ppid=4150 vsize=13999932 CPUtime=0.15 cores=1,3,5,7
/proc/4153/task/4207/stat : 4207 (java) S 4150 4153 3187 0 -1 1077944384 213 12427 0 0 6 2 5 2 20 0 15 0 6620733 14335930368 103590 18446744073709551615 4194304 4196468 140736253204704 139780559125392 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4208] ppid=4150 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/4153/task/4208/stat : 4208 (java) S 4150 4153 3187 0 -1 1077944384 2377 12427 0 0 2 0 5 2 20 0 15 0 6620734 14335930368 103590 18446744073709551615 4194304 4196468 140736253204704 139780440418544 139780961901186 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4209] ppid=4150 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4209/stat : 4209 (java) S 4150 4153 3187 0 -1 1077944384 55 12427 0 0 0 0 5 2 20 0 15 0 6620734 14335930368 103590 18446744073709551615 4194304 4196468 140736253204704 139780439364832 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4210] ppid=4150 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4210/stat : 4210 (java) S 4150 4153 3187 0 -1 1077944384 45 12427 0 0 0 0 5 2 20 0 15 0 6620735 14335930368 103590 18446744073709551615 4194304 4196468 140736253204704 139780438311680 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4211] ppid=4150 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4211/stat : 4211 (java) S 4150 4153 3187 0 -1 1077944384 3 12427 0 0 0 0 5 2 20 0 15 0 6620737 14335930368 103590 18446744073709551615 4194304 4196468 140736253204704 139780437260240 139780961908635 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4212] ppid=4150 vsize=13999932 CPUtime=2.5 cores=1,3,5,7
/proc/4153/task/4212/stat : 4212 (java) S 4150 4153 3187 0 -1 1077944384 4665 12427 0 0 242 1 5 2 20 0 15 0 6620737 14335930368 103590 18446744073709551615 4194304 4196468 140736253204704 139780436208368 139780961901186 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4213] ppid=4150 vsize=13999932 CPUtime=2.81 cores=1,3,5,7
/proc/4153/task/4213/stat : 4213 (java) S 4150 4153 3187 0 -1 1077944384 6432 12427 0 0 273 1 5 2 20 0 15 0 6620737 14335930368 103590 18446744073709551615 4194304 4196468 140736253204704 139780435155824 139780961901186 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4214] ppid=4150 vsize=13999932 CPUtime=1.5 cores=1,3,5,7
/proc/4153/task/4214/stat : 4214 (java) S 4150 4153 3187 0 -1 1077944384 5474 12427 0 0 141 2 5 2 20 0 15 0 6620737 14335930368 103590 18446744073709551615 4194304 4196468 140736253204704 139780434102768 139780961901186 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4215] ppid=4150 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4215/stat : 4215 (java) S 4150 4153 3187 0 -1 1077944384 3 12427 0 0 0 0 5 2 20 0 15 0 6620738 14335930368 103590 18446744073709551615 4194304 4196468 140736253204704 139780433050464 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4216] ppid=4150 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4216/stat : 4216 (java) S 4150 4153 3187 0 -1 1077944384 152 12427 0 0 0 0 5 2 20 0 15 0 6620742 14335930368 103590 18446744073709551615 4194304 4196468 140736253204704 139780431997488 139780961901186 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
Current children cumulated CPU time (s) 13.06
Current children cumulated vsize (KiB) 13999932
[startup+12.7007 s]
/proc/loadavg: 2.17 1.80 1.75 3/214 4216
/proc/meminfo: memFree=26835728/32770624 swapFree=0/243572
[pid=4153] ppid=4150 vsize=13999932 CPUtime=20.86 cores=1,3,5,7
/proc/4153/stat : 4153 (java) S 4150 4153 3187 0 -1 1077944320 63126 12427 0 0 2041 38 5 2 20 0 15 0 6620714 14335930368 181463 18446744073709551615 4194304 4196468 140736253204704 140736253187248 139780961890039 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
/proc/4153/statm: 3499983 181463 3453 1 0 3488605 0
[pid=4153/tid=4203] ppid=4150 vsize=13999932 CPUtime=12.32 cores=1,3,5,7
/proc/4153/task/4203/stat : 4203 (java) R 4150 4153 3187 0 -1 4202560 32186 12427 0 0 1209 16 5 2 20 0 15 0 6620732 14335930368 181463 18446744073709551615 4194304 4196468 140736253204704 139780966121320 139780613619776 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4204] ppid=4150 vsize=13999932 CPUtime=0.21 cores=1,3,5,7
/proc/4153/task/4204/stat : 4204 (java) S 4150 4153 3187 0 -1 1077944384 169 12427 0 0 11 3 5 2 20 0 15 0 6620733 14335930368 181463 18446744073709551615 4194304 4196468 140736253204704 139780562283536 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4205] ppid=4150 vsize=13999932 CPUtime=0.2 cores=1,3,5,7
/proc/4153/task/4205/stat : 4205 (java) S 4150 4153 3187 0 -1 1077944384 291 12427 0 0 10 3 5 2 20 0 15 0 6620733 14335930368 181463 18446744073709551615 4194304 4196468 140736253204704 139780561230992 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4206] ppid=4150 vsize=13999932 CPUtime=0.21 cores=1,3,5,7
/proc/4153/task/4206/stat : 4206 (java) S 4150 4153 3187 0 -1 1077944384 787 12427 0 0 11 3 5 2 20 0 15 0 6620733 14335930368 181463 18446744073709551615 4194304 4196468 140736253204704 139780560177936 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4207] ppid=4150 vsize=13999932 CPUtime=0.2 cores=1,3,5,7
/proc/4153/task/4207/stat : 4207 (java) S 4150 4153 3187 0 -1 1077944384 261 12427 0 0 10 3 5 2 20 0 15 0 6620733 14335930368 181463 18446744073709551615 4194304 4196468 140736253204704 139780559125392 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4208] ppid=4150 vsize=13999932 CPUtime=0.1 cores=1,3,5,7
/proc/4153/task/4208/stat : 4208 (java) S 4150 4153 3187 0 -1 1077944384 2852 12427 0 0 3 0 5 2 20 0 15 0 6620734 14335930368 181463 18446744073709551615 4194304 4196468 140736253204704 139780440418544 139780961901186 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4209] ppid=4150 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4209/stat : 4209 (java) S 4150 4153 3187 0 -1 1077944384 55 12427 0 0 0 0 5 2 20 0 15 0 6620734 14335930368 181463 18446744073709551615 4194304 4196468 140736253204704 139780439364832 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4210] ppid=4150 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4210/stat : 4210 (java) S 4150 4153 3187 0 -1 1077944384 45 12427 0 0 0 0 5 2 20 0 15 0 6620735 14335930368 181463 18446744073709551615 4194304 4196468 140736253204704 139780438311680 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4211] ppid=4150 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4211/stat : 4211 (java) S 4150 4153 3187 0 -1 1077944384 3 12427 0 0 0 0 5 2 20 0 15 0 6620737 14335930368 181463 18446744073709551615 4194304 4196468 140736253204704 139780437260240 139780961908635 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
################
# More data... #
################
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.89 1.84 1.78 3/217 4391
/proc/meminfo: memFree=24102080/32770624 swapFree=0/243828
[pid=4153] ppid=4150 vsize=14069564 CPUtime=262.38 cores=1,3,5,7
/proc/4153/stat : 4153 (java) S 4150 4153 3187 0 -1 1077944320 158111 12427 0 0 26104 127 5 2 20 0 15 0 6620714 14407233536 867762 18446744073709551615 4194304 4196468 140736253204704 140736253187248 139780961890039 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
/proc/4153/statm: 3517391 867762 3469 1 0 3506013 0
[pid=4153/tid=4203] ppid=4150 vsize=14069564 CPUtime=238.87 cores=1,3,5,7
/proc/4153/task/4203/stat : 4203 (java) R 4150 4153 3187 0 -1 4202560 68072 12427 0 0 23823 57 5 2 20 0 15 0 6620732 14407233536 867762 18446744073709551615 4194304 4196468 140736253204704 139780966123656 139780609933263 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4204] ppid=4150 vsize=14069564 CPUtime=0.81 cores=1,3,5,7
/proc/4153/task/4204/stat : 4204 (java) S 4150 4153 3187 0 -1 1077944384 2245 12427 0 0 63 11 5 2 20 0 15 0 6620733 14407233536 867762 18446744073709551615 4194304 4196468 140736253204704 139780562283536 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4205] ppid=4150 vsize=14069564 CPUtime=0.81 cores=1,3,5,7
/proc/4153/task/4205/stat : 4205 (java) S 4150 4153 3187 0 -1 1077944384 1223 12427 0 0 63 11 5 2 20 0 15 0 6620733 14407233536 867762 18446744073709551615 4194304 4196468 140736253204704 139780561230992 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4206] ppid=4150 vsize=14069564 CPUtime=0.82 cores=1,3,5,7
/proc/4153/task/4206/stat : 4206 (java) S 4150 4153 3187 0 -1 1077944384 3680 12427 0 0 63 12 5 2 20 0 15 0 6620733 14407233536 867762 18446744073709551615 4194304 4196468 140736253204704 139780560177936 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4207] ppid=4150 vsize=14069564 CPUtime=0.81 cores=1,3,5,7
/proc/4153/task/4207/stat : 4207 (java) S 4150 4153 3187 0 -1 1077944384 2257 12427 0 0 62 12 5 2 20 0 15 0 6620733 14407233536 867762 18446744073709551615 4194304 4196468 140736253204704 139780559125392 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4208] ppid=4150 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/4153/task/4208/stat : 4208 (java) S 4150 4153 3187 0 -1 1077944384 10773 12427 0 0 13 2 5 2 20 0 15 0 6620734 14407233536 867762 18446744073709551615 4194304 4196468 140736253204704 139780440418544 139780961901186 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4209] ppid=4150 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4209/stat : 4209 (java) S 4150 4153 3187 0 -1 1077944384 61 12427 0 0 0 0 5 2 20 0 15 0 6620734 14407233536 867762 18446744073709551615 4194304 4196468 140736253204704 139780439364832 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4210] ppid=4150 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4210/stat : 4210 (java) S 4150 4153 3187 0 -1 1077944384 55 12427 0 0 0 0 5 2 20 0 15 0 6620735 14407233536 867762 18446744073709551615 4194304 4196468 140736253204704 139780438311680 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4211] ppid=4150 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4211/stat : 4211 (java) S 4150 4153 3187 0 -1 1077944384 3 12427 0 0 0 0 5 2 20 0 15 0 6620737 14407233536 867762 18446744073709551615 4194304 4196468 140736253204704 139780437260240 139780961908635 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4212] ppid=4150 vsize=14069564 CPUtime=8.44 cores=1,3,5,7
/proc/4153/task/4212/stat : 4212 (java) S 4150 4153 3187 0 -1 1077944384 22841 12427 0 0 832 5 5 2 20 0 15 0 6620737 14407233536 867762 18446744073709551615 4194304 4196468 140736253204704 139780436208368 139780961901186 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4213] ppid=4150 vsize=14069564 CPUtime=9.03 cores=1,3,5,7
/proc/4153/task/4213/stat : 4213 (java) S 4150 4153 3187 0 -1 1077944384 26636 12427 0 0 892 4 5 2 20 0 15 0 6620737 14407233536 867762 18446744073709551615 4194304 4196468 140736253204704 139780435155824 139780961901186 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4214] ppid=4150 vsize=14069564 CPUtime=2.91 cores=1,3,5,7
/proc/4153/task/4214/stat : 4214 (java) S 4150 4153 3187 0 -1 1077944384 17602 12427 0 0 278 6 5 2 20 0 15 0 6620737 14407233536 867762 18446744073709551615 4194304 4196468 140736253204704 139780434102768 139780961901186 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4215] ppid=4150 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4215/stat : 4215 (java) S 4150 4153 3187 0 -1 1077944384 3 12427 0 0 0 0 5 2 20 0 15 0 6620738 14407233536 867762 18446744073709551615 4194304 4196468 140736253204704 139780433050464 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4216] ppid=4150 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/4153/task/4216/stat : 4216 (java) S 4150 4153 3187 0 -1 1077944384 506 12427 0 0 6 6 5 2 20 0 15 0 6620742 14407233536 867762 18446744073709551615 4194304 4196468 140736253204704 139780431997488 139780961901186 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
Current children cumulated CPU time (s) 262.38
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 4153 sig 9
??? kill -4153 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+240.41 s]
/proc/loadavg: 1.89 1.84 1.78 3/217 4391
/proc/meminfo: memFree=24102080/32770624 swapFree=0/243828
[pid=4153] ppid=4150 vsize=14202692 CPUtime=263.88 cores=1,3,5,7
/proc/4153/stat : 4153 (java) S 4150 4153 3187 0 -1 1077944320 165943 12427 0 0 26252 129 5 2 20 0 17 0 6620714 14543556608 869879 18446744073709551615 4194304 4196468 140736253204704 140736253187248 139780961890039 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
/proc/4153/statm: 3550673 869879 3470 1 0 3539295 0
[pid=4153/tid=4203] ppid=4150 vsize=14202692 CPUtime=238.88 cores=1,3,5,7
/proc/4153/task/4203/stat : 4203 (java) S 4150 4153 3187 0 -1 1077944384 68337 12427 0 0 23824 57 5 2 20 0 17 0 6620732 14543556608 869879 18446744073709551615 4194304 4196468 140736253204704 139780966127760 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4204] ppid=4150 vsize=14202692 CPUtime=1.17 cores=1,3,5,7
/proc/4153/task/4204/stat : 4204 (java) R 4150 4153 3187 0 -1 4202560 2426 12427 0 0 99 11 5 2 20 0 17 0 6620733 14543556608 869879 18446744073709551615 4194304 4196468 140736253204704 139780562283344 139780954993681 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4205] ppid=4150 vsize=14202692 CPUtime=1.18 cores=1,3,5,7
/proc/4153/task/4205/stat : 4205 (java) R 4150 4153 3187 0 -1 4202560 1276 12427 0 0 99 12 5 2 20 0 17 0 6620733 14543556608 869879 18446744073709551615 4194304 4196468 140736253204704 139780561230800 139780946590739 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4206] ppid=4150 vsize=14202692 CPUtime=1.18 cores=1,3,5,7
/proc/4153/task/4206/stat : 4206 (java) R 4150 4153 3187 0 -1 4202560 3847 12427 0 0 99 12 5 2 20 0 17 0 6620733 14543556608 869879 18446744073709551615 4194304 4196468 140736253204704 139780560177744 139780946886525 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4207] ppid=4150 vsize=14202692 CPUtime=1.18 cores=1,3,5,7
/proc/4153/task/4207/stat : 4207 (java) R 4150 4153 3187 0 -1 4202560 2494 12427 0 0 99 12 5 2 20 0 17 0 6620733 14543556608 869879 18446744073709551615 4194304 4196468 140736253204704 139780559125512 139780946590689 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4208] ppid=4150 vsize=14202692 CPUtime=0.24 cores=1,3,5,7
/proc/4153/task/4208/stat : 4208 (java) S 4150 4153 3187 0 -1 1077944384 17259 12427 0 0 15 2 5 2 20 0 17 0 6620734 14543556608 869879 18446744073709551615 4194304 4196468 140736253204704 139780440417168 139780961900245 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4209] ppid=4150 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4209/stat : 4209 (java) S 4150 4153 3187 0 -1 1077944384 61 12427 0 0 0 0 5 2 20 0 17 0 6620734 14543556608 869879 18446744073709551615 4194304 4196468 140736253204704 139780439364832 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4210] ppid=4150 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4210/stat : 4210 (java) S 4150 4153 3187 0 -1 1077944384 55 12427 0 0 0 0 5 2 20 0 17 0 6620735 14543556608 869879 18446744073709551615 4194304 4196468 140736253204704 139780438311680 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4211] ppid=4150 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4211/stat : 4211 (java) S 4150 4153 3187 0 -1 1077944384 163 12427 0 0 0 0 5 2 20 0 17 0 6620737 14543556608 869879 18446744073709551615 4194304 4196468 140736253204704 139780437260240 139780961908635 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4212] ppid=4150 vsize=14202692 CPUtime=8.44 cores=1,3,5,7
/proc/4153/task/4212/stat : 4212 (java) S 4150 4153 3187 0 -1 1077944384 22841 12427 0 0 832 5 5 2 20 0 17 0 6620737 14543556608 869879 18446744073709551615 4194304 4196468 140736253204704 139780436208368 139780961901186 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4213] ppid=4150 vsize=14202692 CPUtime=9.03 cores=1,3,5,7
/proc/4153/task/4213/stat : 4213 (java) S 4150 4153 3187 0 -1 1077944384 26636 12427 0 0 892 4 5 2 20 0 17 0 6620737 14543556608 869879 18446744073709551615 4194304 4196468 140736253204704 139780435155824 139780961901186 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4214] ppid=4150 vsize=14202692 CPUtime=2.91 cores=1,3,5,7
/proc/4153/task/4214/stat : 4214 (java) S 4150 4153 3187 0 -1 1077944384 17602 12427 0 0 278 6 5 2 20 0 17 0 6620737 14543556608 869879 18446744073709551615 4194304 4196468 140736253204704 139780434102768 139780961901186 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4215] ppid=4150 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4215/stat : 4215 (java) S 4150 4153 3187 0 -1 1077944384 3 12427 0 0 0 0 5 2 20 0 17 0 6620738 14543556608 869879 18446744073709551615 4194304 4196468 140736253204704 139780433050464 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4216] ppid=4150 vsize=14202692 CPUtime=0.19 cores=1,3,5,7
/proc/4153/task/4216/stat : 4216 (java) S 4150 4153 3187 0 -1 1077944384 506 12427 0 0 6 6 5 2 20 0 17 0 6620742 14543556608 869879 18446744073709551615 4194304 4196468 140736253204704 139780431997488 139780961901186 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
Current children cumulated CPU time (s) 263.88
Current children cumulated vsize (KiB) 14202692
[startup+240.801 s]
/proc/loadavg: 1.89 1.84 1.78 3/217 4391
/proc/meminfo: memFree=24102080/32770624 swapFree=0/243828
[pid=4153] ppid=4150 vsize=14202692 CPUtime=265.26 cores=1,3,5,7
/proc/4153/stat : 4153 (java) S 4150 4153 3187 0 -1 1077944320 166160 12427 0 0 26390 129 5 2 20 0 17 0 6620714 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 140736253187248 139780961890039 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
/proc/4153/statm: 3550673 868470 3470 1 0 3539295 0
[pid=4153/tid=4203] ppid=4150 vsize=14202692 CPUtime=238.88 cores=1,3,5,7
/proc/4153/task/4203/stat : 4203 (java) S 4150 4153 3187 0 -1 1077944384 68337 12427 0 0 23824 57 5 2 20 0 17 0 6620732 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 139780966127760 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4204] ppid=4150 vsize=14202692 CPUtime=1.51 cores=1,3,5,7
/proc/4153/task/4204/stat : 4204 (java) R 4150 4153 3187 0 -1 4202560 2432 12427 0 0 133 11 5 2 20 0 17 0 6620733 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 139780562283736 139780946840644 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4205] ppid=4150 vsize=14202692 CPUtime=1.51 cores=1,3,5,7
/proc/4153/task/4205/stat : 4205 (java) R 4150 4153 3187 0 -1 4202560 1282 12427 0 0 132 12 5 2 20 0 17 0 6620733 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 139780561230992 139780943487050 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4206] ppid=4150 vsize=14202692 CPUtime=1.51 cores=1,3,5,7
/proc/4153/task/4206/stat : 4206 (java) R 4150 4153 3187 0 -1 4202560 3851 12427 0 0 132 12 5 2 20 0 17 0 6620733 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 139780560177936 139780946344682 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4207] ppid=4150 vsize=14202692 CPUtime=1.51 cores=1,3,5,7
/proc/4153/task/4207/stat : 4207 (java) R 4150 4153 3187 0 -1 4202560 2507 12427 0 0 132 12 5 2 20 0 17 0 6620733 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 139780559125392 139780946875335 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4208] ppid=4150 vsize=14202692 CPUtime=0.3 cores=1,3,5,7
/proc/4153/task/4208/stat : 4208 (java) S 4150 4153 3187 0 -1 1077944384 17442 12427 0 0 21 2 5 2 20 0 17 0 6620734 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 139780440416944 139780961900245 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4209] ppid=4150 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4209/stat : 4209 (java) S 4150 4153 3187 0 -1 1077944384 64 12427 0 0 0 0 5 2 20 0 17 0 6620734 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 139780439364464 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4210] ppid=4150 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4210/stat : 4210 (java) S 4150 4153 3187 0 -1 1077944384 55 12427 0 0 0 0 5 2 20 0 17 0 6620735 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 139780438311680 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4211] ppid=4150 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4211/stat : 4211 (java) S 4150 4153 3187 0 -1 1077944384 163 12427 0 0 0 0 5 2 20 0 17 0 6620737 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 139780437260240 139780961908635 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4212] ppid=4150 vsize=14202692 CPUtime=8.44 cores=1,3,5,7
/proc/4153/task/4212/stat : 4212 (java) S 4150 4153 3187 0 -1 1077944384 22841 12427 0 0 832 5 5 2 20 0 17 0 6620737 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 139780436208368 139780961901186 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4213] ppid=4150 vsize=14202692 CPUtime=9.03 cores=1,3,5,7
/proc/4153/task/4213/stat : 4213 (java) S 4150 4153 3187 0 -1 1077944384 26636 12427 0 0 892 4 5 2 20 0 17 0 6620737 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 139780435155824 139780961901186 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4214] ppid=4150 vsize=14202692 CPUtime=2.91 cores=1,3,5,7
/proc/4153/task/4214/stat : 4214 (java) S 4150 4153 3187 0 -1 1077944384 17602 12427 0 0 278 6 5 2 20 0 17 0 6620737 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 139780434102768 139780961901186 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4215] ppid=4150 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4215/stat : 4215 (java) S 4150 4153 3187 0 -1 1077944384 3 12427 0 0 0 0 5 2 20 0 17 0 6620738 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 139780433050464 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4216] ppid=4150 vsize=14202692 CPUtime=0.19 cores=1,3,5,7
/proc/4153/task/4216/stat : 4216 (java) S 4150 4153 3187 0 -1 1077944384 506 12427 0 0 6 6 5 2 20 0 17 0 6620742 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 139780431997488 139780961901186 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
Current children cumulated CPU time (s) 265.26
Current children cumulated vsize (KiB) 14202692
[startup+240.901 s]
/proc/loadavg: 1.89 1.84 1.78 6/219 4394
/proc/meminfo: memFree=24098384/32770624 swapFree=0/243832
[pid=4153] ppid=4150 vsize=14202692 CPUtime=265.63 cores=1,3,5,7
/proc/4153/stat : 4153 (java) S 4150 4153 3187 0 -1 1077944320 166167 12427 0 0 26427 129 5 2 20 0 17 0 6620714 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 140736253187248 139780961890039 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
/proc/4153/statm: 3550673 868470 3470 1 0 3539295 0
[pid=4153/tid=4203] ppid=4150 vsize=14202692 CPUtime=238.88 cores=1,3,5,7
/proc/4153/task/4203/stat : 4203 (java) S 4150 4153 3187 0 -1 1077944384 68337 12427 0 0 23824 57 5 2 20 0 17 0 6620732 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 139780966127760 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4204] ppid=4150 vsize=14202692 CPUtime=1.59 cores=1,3,5,7
/proc/4153/task/4204/stat : 4204 (java) R 4150 4153 3187 0 -1 4202560 2432 12427 0 0 141 11 5 2 20 0 17 0 6620733 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 139780562283424 139780946886443 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4205] ppid=4150 vsize=14202692 CPUtime=1.6 cores=1,3,5,7
/proc/4153/task/4205/stat : 4205 (java) R 4150 4153 3187 0 -1 4202560 1282 12427 0 0 141 12 5 2 20 0 17 0 6620733 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 139780561230992 139780954518247 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4206] ppid=4150 vsize=14202692 CPUtime=1.6 cores=1,3,5,7
/proc/4153/task/4206/stat : 4206 (java) R 4150 4153 3187 0 -1 4202560 3857 12427 0 0 141 12 5 2 20 0 17 0 6620733 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 139780560177936 139780954518247 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4207] ppid=4150 vsize=14202692 CPUtime=1.6 cores=1,3,5,7
/proc/4153/task/4207/stat : 4207 (java) R 4150 4153 3187 0 -1 4202560 2507 12427 0 0 141 12 5 2 20 0 17 0 6620733 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 139780559125392 139780954518247 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4208] ppid=4150 vsize=14202692 CPUtime=0.31 cores=1,3,5,7
/proc/4153/task/4208/stat : 4208 (java) S 4150 4153 3187 0 -1 1077944384 17442 12427 0 0 22 2 5 2 20 0 17 0 6620734 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 139780440417168 139780961900245 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4209] ppid=4150 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4209/stat : 4209 (java) S 4150 4153 3187 0 -1 1077944384 64 12427 0 0 0 0 5 2 20 0 17 0 6620734 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 139780439364464 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4210] ppid=4150 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4210/stat : 4210 (java) S 4150 4153 3187 0 -1 1077944384 55 12427 0 0 0 0 5 2 20 0 17 0 6620735 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 139780438311680 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4211] ppid=4150 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4211/stat : 4211 (java) S 4150 4153 3187 0 -1 1077944384 163 12427 0 0 0 0 5 2 20 0 17 0 6620737 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 139780437260240 139780961908635 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4212] ppid=4150 vsize=14202692 CPUtime=8.44 cores=1,3,5,7
/proc/4153/task/4212/stat : 4212 (java) S 4150 4153 3187 0 -1 1077944384 22841 12427 0 0 832 5 5 2 20 0 17 0 6620737 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 139780436208368 139780961901186 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4213] ppid=4150 vsize=14202692 CPUtime=9.03 cores=1,3,5,7
/proc/4153/task/4213/stat : 4213 (java) S 4150 4153 3187 0 -1 1077944384 26636 12427 0 0 892 4 5 2 20 0 17 0 6620737 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 139780435155824 139780961901186 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4214] ppid=4150 vsize=14202692 CPUtime=2.91 cores=1,3,5,7
/proc/4153/task/4214/stat : 4214 (java) S 4150 4153 3187 0 -1 1077944384 17602 12427 0 0 278 6 5 2 20 0 17 0 6620737 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 139780434102768 139780961901186 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4215] ppid=4150 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4215/stat : 4215 (java) S 4150 4153 3187 0 -1 1077944384 3 12427 0 0 0 0 5 2 20 0 17 0 6620738 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 139780433050464 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4216] ppid=4150 vsize=14202692 CPUtime=0.19 cores=1,3,5,7
/proc/4153/task/4216/stat : 4216 (java) S 4150 4153 3187 0 -1 1077944384 506 12427 0 0 6 6 5 2 20 0 17 0 6620742 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 139780431997488 139780961901186 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4393] ppid=4150 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4393/stat : 4393 (java) S 4150 4153 3187 0 -1 1077944384 254 12427 0 0 0 0 5 2 20 0 17 0 6644715 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 139780402393456 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
[pid=4153/tid=4394] ppid=4150 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/4153/task/4394/stat : 4394 (java) S 4150 4153 3187 0 -1 1077944384 31 12427 0 0 0 0 5 2 20 0 17 0 6644715 14543556608 868470 18446744073709551615 4194304 4196468 140736253204704 139780401341120 139780961900245 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140736253212622 140736253215407 140736253215407 140736253218767 0
Current children cumulated CPU time (s) 265.63
Current children cumulated vsize (KiB) 14202692
Child status: 143
Real time (s): 240.943
CPU time (s): 265.696
CPU user time (s): 264.346
CPU system time (s): 1.34974
CPU usage (%): 110.274
Max. virtual memory (cumulated for all children) (KiB): 14202692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 264.346
system time used= 1.34974
maximum resident set size= 3479524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178739
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= 18240
involuntary context switches= 427
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.08729 second user time and 1.5262 second system time
The end