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-4099728-1466206140/watcher-4099728-1466206140 -o /tmp/evaluation-result-4099728-1466206140/solver-4099728-1466206140 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466206067-15565 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4099728-1466206140.opb
pid=16779
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.73 0.66 0.34 4/194 16782
/proc/meminfo: memFree=30304148/32872528 swapFree=1370848/1518016
[pid=16782] ppid=16779 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/16782/stat : 16782 (java) S 16779 16782 15548 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 22660773 98570240 977 33554432000 1073741824 1073778376 140735722999600 140735722990736 229359255613 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16782/statm: 24065 977 743 9 0 16771 0
[pid=16782/tid=16783] ppid=16779 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16783/stat : 16783 (java) R 16779 16782 15548 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 22660774 98570240 977 33554432000 1073741824 1073778376 140735722999600 140322798206504 229355898240 0 0 4096 0 0 0 0 -1 5 0 0 0 0 0
[startup+0.102487 s]
/proc/loadavg: 1.73 0.66 0.34 4/194 16782
/proc/meminfo: memFree=30304148/32872528 swapFree=1370848/1518016
[pid=16782] ppid=16779 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/16782/stat : 16782 (java) S 16779 16782 15548 0 -1 4202496 4373 0 1 0 7 1 0 0 20 0 18 0 22660773 9787879424 5492 33554432000 1073741824 1073778376 140735722999600 140735722990736 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16782/statm: 2389619 5492 2116 9 0 2380296 0
[pid=16782/tid=16783] ppid=16779 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/16782/task/16783/stat : 16783 (java) R 16779 16782 15548 0 -1 4202560 2366 0 1 0 6 0 0 0 20 0 18 0 22660774 9787879424 5492 33554432000 1073741824 1073778376 140735722999600 140322798209952 229355896501 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.20025 s]
/proc/loadavg: 1.73 0.66 0.34 4/194 16782
/proc/meminfo: memFree=30304148/32872528 swapFree=1370848/1518016
[pid=16782] ppid=16779 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/16782/stat : 16782 (java) S 16779 16782 15548 0 -1 4202496 4999 0 1 0 24 1 0 0 20 0 18 0 22660773 9787879424 15169 33554432000 1073741824 1073778376 140735722999600 140735722990736 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16782/statm: 2389619 15169 2213 9 0 2380296 0
[pid=16782/tid=16783] ppid=16779 vsize=9558476 CPUtime=0.15 cores=1,3,5,7
/proc/16782/task/16783/stat : 16783 (java) R 16779 16782 15548 0 -1 4202560 2415 0 1 0 14 1 0 0 20 0 18 0 22660774 9787879424 15169 33554432000 1073741824 1073778376 140735722999600 140322798210920 140322801496935 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476
[startup+0.300388 s]
/proc/loadavg: 1.73 0.66 0.34 4/194 16782
/proc/meminfo: memFree=30304148/32872528 swapFree=1370848/1518016
[pid=16782] ppid=16779 vsize=9558476 CPUtime=0.44 cores=1,3,5,7
/proc/16782/stat : 16782 (java) S 16779 16782 15548 0 -1 4202496 5437 0 1 0 42 2 0 0 20 0 18 0 22660773 9787879424 19397 33554432000 1073741824 1073778376 140735722999600 140735722990736 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16782/statm: 2389619 19397 2231 9 0 2380296 0
[pid=16782/tid=16783] ppid=16779 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/16782/task/16783/stat : 16783 (java) R 16779 16782 15548 0 -1 4202560 2423 0 1 0 23 2 0 0 20 0 18 0 22660774 9787879424 19397 33554432000 1073741824 1073778376 140735722999600 140322798210920 140322638615414 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558476
[startup+0.700229 s]
/proc/loadavg: 1.73 0.66 0.34 4/194 16782
/proc/meminfo: memFree=30304148/32872528 swapFree=1370848/1518016
[pid=16782] ppid=16779 vsize=9558476 CPUtime=0.91 cores=1,3,5,7
/proc/16782/stat : 16782 (java) S 16779 16782 15548 0 -1 4202496 5600 0 1 0 86 5 0 0 20 0 18 0 22660773 9787879424 50208 33554432000 1073741824 1073778376 140735722999600 140735722990736 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16782/statm: 2389619 50208 2247 9 0 2380296 0
[pid=16782/tid=16783] ppid=16779 vsize=9558476 CPUtime=0.62 cores=1,3,5,7
/proc/16782/task/16783/stat : 16783 (java) R 16779 16782 15548 0 -1 4202560 2464 0 1 0 58 4 0 0 20 0 18 0 22660774 9787879424 50208 33554432000 1073741824 1073778376 140735722999600 140322798210296 229359281421 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 9558476
[startup+1.50075 s]
/proc/loadavg: 1.73 0.66 0.34 4/212 16800
/proc/meminfo: memFree=30069092/32872528 swapFree=1370848/1518016
[pid=16782] ppid=16779 vsize=9558476 CPUtime=2.22 cores=1,3,5,7
/proc/16782/stat : 16782 (java) S 16779 16782 15548 0 -1 4202496 11096 0 1 0 212 10 0 0 20 0 18 0 22660773 9787879424 76334 33554432000 1073741824 1073778376 140735722999600 140735722990736 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16782/statm: 2389619 76334 2262 9 0 2380296 0
[pid=16782/tid=16783] ppid=16779 vsize=9558476 CPUtime=1.36 cores=1,3,5,7
/proc/16782/task/16783/stat : 16783 (java) R 16779 16782 15548 0 -1 4202560 2494 0 1 0 132 4 0 0 20 0 18 0 22660774 9787879424 76846 33554432000 1073741824 1073778376 140735722999600 140322798202640 140322638663713 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16782/tid=16785] ppid=16779 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/16782/task/16785/stat : 16785 (java) S 16779 16782 15548 0 -1 4202560 105 0 0 0 2 0 0 0 20 0 18 0 22660776 9787879424 76846 33554432000 1073741824 1073778376 140735722999600 140322759702824 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16786] ppid=16779 vsize=9558476 CPUtime=0.01 cores=1,3,5,7
/proc/16782/task/16786/stat : 16786 (java) S 16779 16782 15548 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 22660776 9787879424 76846 33554432000 1073741824 1073778376 140735722999600 140322758650024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16782/tid=16787] ppid=16779 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/16782/task/16787/stat : 16787 (java) S 16779 16782 15548 0 -1 4202560 113 0 0 0 4 1 0 0 20 0 18 0 22660776 9787879424 76846 33554432000 1073741824 1073778376 140735722999600 140322757597736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16782/tid=16788] ppid=16779 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/16782/task/16788/stat : 16788 (java) S 16779 16782 15548 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 18 0 22660776 9787879424 76846 33554432000 1073741824 1073778376 140735722999600 140322638129576 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16782/tid=16789] ppid=16779 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/16782/task/16789/stat : 16789 (java) S 16779 16782 15548 0 -1 4202560 115 0 0 0 5 0 0 0 20 0 18 0 22660776 9787879424 76846 33554432000 1073741824 1073778376 140735722999600 140322637077288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16782/tid=16790] ppid=16779 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/16782/task/16790/stat : 16790 (java) S 16779 16782 15548 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 18 0 22660776 9787879424 76846 33554432000 1073741824 1073778376 140735722999600 140322636024488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16782/tid=16791] ppid=16779 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/16782/task/16791/stat : 16791 (java) S 16779 16782 15548 0 -1 4202560 98 0 0 0 2 0 0 0 20 0 18 0 22660776 9787879424 76846 33554432000 1073741824 1073778376 140735722999600 140322634972200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16782/tid=16792] ppid=16779 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/16782/task/16792/stat : 16792 (java) S 16779 16782 15548 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 18 0 22660776 9787879424 76846 33554432000 1073741824 1073778376 140735722999600 140322633919400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16793] ppid=16779 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16793/stat : 16793 (java) S 16779 16782 15548 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 22660777 9787879424 76846 33554432000 1073741824 1073778376 140735722999600 140322151590120 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16794] ppid=16779 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16794/stat : 16794 (java) S 16779 16782 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 22660778 9787879424 76846 33554432000 1073741824 1073778376 140735722999600 140322150536184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16795] ppid=16779 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16795/stat : 16795 (java) S 16779 16782 15548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 22660778 9787879424 76846 33554432000 1073741824 1073778376 140735722999600 140322149483784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16796] ppid=16779 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16796/stat : 16796 (java) S 16779 16782 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22660780 9787879424 76846 33554432000 1073741824 1073778376 140735722999600 140322148432272 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16797] ppid=16779 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/16782/task/16797/stat : 16797 (java) R 16779 16782 15548 0 -1 4202560 2803 0 0 0 27 0 0 0 20 0 18 0 22660780 9787879424 76846 33554432000 1073741824 1073778376 140735722999600 140322147367464 140322800296272 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16798] ppid=16779 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/16782/task/16798/stat : 16798 (java) S 16779 16782 15548 0 -1 4202560 3993 0 0 0 23 0 0 0 20 0 18 0 22660780 9787879424 76846 33554432000 1073741824 1073778376 140735722999600 140322146327096 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16782/tid=16799] ppid=16779 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16799/stat : 16799 (java) S 16779 16782 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22660780 9787879424 76846 33554432000 1073741824 1073778376 140735722999600 140322145275000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16782/tid=16800] ppid=16779 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16800/stat : 16800 (java) S 16779 16782 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22660780 9787879424 76846 33554432000 1073741824 1073778376 140735722999600 140322144222408 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 9558476
[startup+3.10091 s]
/proc/loadavg: 1.73 0.66 0.34 3/211 16800
/proc/meminfo: memFree=29873000/32872528 swapFree=1370848/1518016
[pid=16782] ppid=16779 vsize=9558476 CPUtime=4.52 cores=1,3,5,7
/proc/16782/stat : 16782 (java) S 16779 16782 15548 0 -1 4202496 12783 0 1 0 425 27 0 0 20 0 18 0 22660773 9787879424 148232 33554432000 1073741824 1073778376 140735722999600 140735722990736 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16782/statm: 2389619 148232 2262 9 0 2380296 0
[pid=16782/tid=16783] ppid=16779 vsize=9558476 CPUtime=2.71 cores=1,3,5,7
/proc/16782/task/16783/stat : 16783 (java) R 16779 16782 15548 0 -1 4202560 2735 0 1 0 264 7 0 0 20 0 18 0 22660774 9787879424 148232 33554432000 1073741824 1073778376 140735722999600 140322798202800 140322638587488 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16782/tid=16785] ppid=16779 vsize=9558476 CPUtime=0.16 cores=1,3,5,7
/proc/16782/task/16785/stat : 16785 (java) S 16779 16782 15548 0 -1 4202560 235 0 0 0 13 3 0 0 20 0 18 0 22660776 9787879424 148232 33554432000 1073741824 1073778376 140735722999600 140322759702824 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16782/tid=16786] ppid=16779 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/16782/task/16786/stat : 16786 (java) S 16779 16782 15548 0 -1 4202560 53 0 0 0 9 1 0 0 20 0 18 0 22660776 9787879424 148232 33554432000 1073741824 1073778376 140735722999600 140322758650024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16787] ppid=16779 vsize=9558476 CPUtime=0.19 cores=1,3,5,7
/proc/16782/task/16787/stat : 16787 (java) S 16779 16782 15548 0 -1 4202560 172 0 0 0 16 3 0 0 20 0 18 0 22660776 9787879424 148232 33554432000 1073741824 1073778376 140735722999600 140322757597736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16782/tid=16788] ppid=16779 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/16782/task/16788/stat : 16788 (java) S 16779 16782 15548 0 -1 4202560 354 0 0 0 7 0 0 0 20 0 18 0 22660776 9787879424 148232 33554432000 1073741824 1073778376 140735722999600 140322638129576 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16789] ppid=16779 vsize=9558476 CPUtime=0.22 cores=1,3,5,7
/proc/16782/task/16789/stat : 16789 (java) S 16779 16782 15548 0 -1 4202560 351 0 0 0 18 4 0 0 20 0 18 0 22660776 9787879424 148232 33554432000 1073741824 1073778376 140735722999600 140322637077288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16790] ppid=16779 vsize=9558476 CPUtime=0.12 cores=1,3,5,7
/proc/16782/task/16790/stat : 16790 (java) S 16779 16782 15548 0 -1 4202560 76 0 0 0 9 3 0 0 20 0 18 0 22660776 9787879424 148232 33554432000 1073741824 1073778376 140735722999600 140322636024488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16782/tid=16791] ppid=16779 vsize=9558476 CPUtime=0.12 cores=1,3,5,7
/proc/16782/task/16791/stat : 16791 (java) S 16779 16782 15548 0 -1 4202560 156 0 0 0 10 2 0 0 20 0 18 0 22660776 9787879424 148232 33554432000 1073741824 1073778376 140735722999600 140322634972200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16782/tid=16792] ppid=16779 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/16782/task/16792/stat : 16792 (java) S 16779 16782 15548 0 -1 4202560 400 0 0 0 9 2 0 0 20 0 18 0 22660776 9787879424 148232 33554432000 1073741824 1073778376 140735722999600 140322633919400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16782/tid=16793] ppid=16779 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16793/stat : 16793 (java) S 16779 16782 15548 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 22660777 9787879424 148232 33554432000 1073741824 1073778376 140735722999600 140322151590120 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16782/tid=16794] ppid=16779 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16794/stat : 16794 (java) S 16779 16782 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 22660778 9787879424 148232 33554432000 1073741824 1073778376 140735722999600 140322150536184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16795] ppid=16779 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16795/stat : 16795 (java) S 16779 16782 15548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 22660778 9787879424 148232 33554432000 1073741824 1073778376 140735722999600 140322149483784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16796] ppid=16779 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16796/stat : 16796 (java) S 16779 16782 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22660780 9787879424 148232 33554432000 1073741824 1073778376 140735722999600 140322148432272 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16797] ppid=16779 vsize=9558476 CPUtime=0.33 cores=1,3,5,7
/proc/16782/task/16797/stat : 16797 (java) S 16779 16782 15548 0 -1 4202560 2809 0 0 0 33 0 0 0 20 0 18 0 22660780 9787879424 148232 33554432000 1073741824 1073778376 140735722999600 140322147379896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16798] ppid=16779 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/16782/task/16798/stat : 16798 (java) S 16779 16782 15548 0 -1 4202560 3993 0 0 0 23 0 0 0 20 0 18 0 22660780 9787879424 148232 33554432000 1073741824 1073778376 140735722999600 140322146327096 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16782/tid=16799] ppid=16779 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16799/stat : 16799 (java) S 16779 16782 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22660780 9787879424 148232 33554432000 1073741824 1073778376 140735722999600 140322145275000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16782/tid=16800] ppid=16779 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16800/stat : 16800 (java) S 16779 16782 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22660780 9787879424 148232 33554432000 1073741824 1073778376 140735722999600 140322144222408 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.52
Current children cumulated vsize (KiB) 9558476
[startup+6.30079 s]
/proc/loadavg: 1.75 0.69 0.35 3/211 16800
/proc/meminfo: memFree=28984460/32872528 swapFree=1370848/1518016
[pid=16782] ppid=16779 vsize=9558476 CPUtime=9.19 cores=1,3,5,7
/proc/16782/stat : 16782 (java) S 16779 16782 15548 0 -1 4202496 16253 0 1 0 862 57 0 0 20 0 18 0 22660773 9787879424 363723 33554432000 1073741824 1073778376 140735722999600 140735722990736 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16782/statm: 2389619 363723 2278 9 0 2380296 0
[pid=16782/tid=16783] ppid=16779 vsize=9558476 CPUtime=5.42 cores=1,3,5,7
/proc/16782/task/16783/stat : 16783 (java) S 16779 16782 15548 0 -1 4202560 3501 0 1 0 525 17 0 0 20 0 18 0 22660774 9787879424 363723 33554432000 1073741824 1073778376 140735722999600 140322798210376 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16782/tid=16785] ppid=16779 vsize=9558476 CPUtime=0.4 cores=1,3,5,7
/proc/16782/task/16785/stat : 16785 (java) R 16779 16782 15548 0 -1 4202560 384 0 0 0 34 6 0 0 20 0 18 0 22660776 9787879424 363723 33554432000 1073741824 1073778376 140735722999600 140322759703000 140322805107148 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16782/tid=16786] ppid=16779 vsize=9558476 CPUtime=0.33 cores=1,3,5,7
/proc/16782/task/16786/stat : 16786 (java) R 16779 16782 15548 0 -1 4202560 434 0 0 0 29 4 0 0 20 0 18 0 22660776 9787879424 363723 33554432000 1073741824 1073778376 140735722999600 140322758649784 140322800682689 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16782/tid=16787] ppid=16779 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/16782/task/16787/stat : 16787 (java) R 16779 16782 15548 0 -1 4202560 515 0 0 0 41 6 0 0 20 0 18 0 22660776 9787879424 363723 33554432000 1073741824 1073778376 140735722999600 140322757597912 140322802373263 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16782/tid=16788] ppid=16779 vsize=9558476 CPUtime=0.31 cores=1,3,5,7
/proc/16782/task/16788/stat : 16788 (java) R 16779 16782 15548 0 -1 4202560 537 0 0 0 28 3 0 0 20 0 18 0 22660776 9787879424 363723 33554432000 1073741824 1073778376 140735722999600 140322638129456 140322802373254 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16782/tid=16789] ppid=16779 vsize=9558476 CPUtime=0.4 cores=1,3,5,7
/proc/16782/task/16789/stat : 16789 (java) D 16779 16782 15548 0 -1 4202560 858 0 0 0 35 5 0 0 20 0 18 0 22660776 9787879424 363723 33554432000 1073741824 1073778376 140735722999600 140322637077048 229355938791 0 4 0 16800975 18446744071581355491 0 0 -1 5 0 0 0 0 0
[pid=16782/tid=16790] ppid=16779 vsize=9558476 CPUtime=0.36 cores=1,3,5,7
/proc/16782/task/16790/stat : 16790 (java) R 16779 16782 15548 0 -1 4202560 254 0 0 0 30 6 0 0 20 0 18 0 22660776 9787879424 363723 33554432000 1073741824 1073778376 140735722999600 140322636024664 140322800682697 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16782/tid=16791] ppid=16779 vsize=9558476 CPUtime=0.36 cores=1,3,5,7
/proc/16782/task/16791/stat : 16791 (java) R 16779 16782 15548 0 -1 4202560 498 0 0 0 31 5 0 0 20 0 18 0 22660776 9787879424 363723 33554432000 1073741824 1073778376 140735722999600 140322634972376 140322800682673 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16782/tid=16792] ppid=16779 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/16782/task/16792/stat : 16792 (java) D 16779 16782 15548 0 -1 4202560 599 0 0 0 23 4 0 0 20 0 18 0 22660776 9787879424 363723 33554432000 1073741824 1073778376 140735722999600 140322633919160 229355938791 0 4 0 16800975 18446744071581355491 0 0 -1 5 0 0 0 0 0
[pid=16782/tid=16793] ppid=16779 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16793/stat : 16793 (java) S 16779 16782 15548 0 -1 4202560 560 0 0 0 0 0 0 0 20 0 18 0 22660777 9787879424 363723 33554432000 1073741824 1073778376 140735722999600 140322151589000 229359268924 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16782/tid=16794] ppid=16779 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16794/stat : 16794 (java) S 16779 16782 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 22660778 9787879424 363723 33554432000 1073741824 1073778376 140735722999600 140322150536184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16795] ppid=16779 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16795/stat : 16795 (java) S 16779 16782 15548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 22660778 9787879424 363723 33554432000 1073741824 1073778376 140735722999600 140322149483784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16796] ppid=16779 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16796/stat : 16796 (java) S 16779 16782 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22660780 9787879424 363723 33554432000 1073741824 1073778376 140735722999600 140322148432272 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16797] ppid=16779 vsize=9558476 CPUtime=0.39 cores=1,3,5,7
/proc/16782/task/16797/stat : 16797 (java) S 16779 16782 15548 0 -1 4202560 2821 0 0 0 39 0 0 0 20 0 18 0 22660780 9787879424 363723 33554432000 1073741824 1073778376 140735722999600 140322147379896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16798] ppid=16779 vsize=9558476 CPUtime=0.33 cores=1,3,5,7
/proc/16782/task/16798/stat : 16798 (java) S 16779 16782 15548 0 -1 4202560 4039 0 0 0 33 0 0 0 20 0 18 0 22660780 9787879424 363723 33554432000 1073741824 1073778376 140735722999600 140322146327096 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16782/tid=16799] ppid=16779 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16799/stat : 16799 (java) S 16779 16782 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 22660780 9787879424 363723 33554432000 1073741824 1073778376 140735722999600 140322145275000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16782/tid=16800] ppid=16779 vsize=9558476 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=16782/tid=16794] ppid=16779 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16794/stat : 16794 (java) S 16779 16782 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22660778 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322150536184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16795] ppid=16779 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16795/stat : 16795 (java) S 16779 16782 15548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22660778 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322149483784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16796] ppid=16779 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16796/stat : 16796 (java) S 16779 16782 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22660780 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322148432272 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16797] ppid=16779 vsize=9625040 CPUtime=1.8 cores=1,3,5,7
/proc/16782/task/16797/stat : 16797 (java) S 16779 16782 15548 0 -1 4202560 14119 0 0 0 177 3 0 0 20 0 19 0 22660780 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322147379896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16782/tid=16798] ppid=16779 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/16782/task/16798/stat : 16798 (java) S 16779 16782 15548 0 -1 4202560 4412 0 0 0 74 0 0 0 20 0 19 0 22660780 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322146327096 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16782/tid=16799] ppid=16779 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16799/stat : 16799 (java) S 16779 16782 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22660780 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322145275000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16782/tid=16800] ppid=16779 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/16782/task/16800/stat : 16800 (java) S 16779 16782 15548 0 -1 4202560 95 0 0 0 24 29 0 0 20 0 19 0 22660780 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322144222408 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16782/tid=16802] ppid=16779 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16802/stat : 16802 (java) S 16779 16782 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22661952 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322143167400 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1676.89
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.40 2.28 1.93 3/213 16909
/proc/meminfo: memFree=25970556/32872528 swapFree=1370848/1518016
[pid=16782] ppid=16779 vsize=9625040 CPUtime=1736.92 cores=1,3,5,7
/proc/16782/stat : 16782 (java) S 16779 16782 15548 0 -1 4202496 52416 0 1 0 173495 197 0 0 20 0 19 0 22660773 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140735722990736 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16782/statm: 2406260 846947 2295 9 0 2396937 0
[pid=16782/tid=16783] ppid=16779 vsize=9625040 CPUtime=1714.4 cores=1,3,5,7
/proc/16782/task/16783/stat : 16783 (java) R 16779 16782 15548 0 -1 4202560 3853 0 1 0 171385 55 0 0 20 0 19 0 22660774 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322798202560 140322638668821 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16782/tid=16785] ppid=16779 vsize=9625040 CPUtime=2.23 cores=1,3,5,7
/proc/16782/task/16785/stat : 16785 (java) S 16779 16782 15548 0 -1 4202560 2399 0 0 0 204 19 0 0 20 0 19 0 22660776 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322759702824 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16782/tid=16786] ppid=16779 vsize=9625040 CPUtime=2.16 cores=1,3,5,7
/proc/16782/task/16786/stat : 16786 (java) S 16779 16782 15548 0 -1 4202560 2584 0 0 0 201 15 0 0 20 0 19 0 22660776 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322758650024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16782/tid=16787] ppid=16779 vsize=9625040 CPUtime=2.02 cores=1,3,5,7
/proc/16782/task/16787/stat : 16787 (java) S 16779 16782 15548 0 -1 4202560 2779 0 0 0 186 16 0 0 20 0 19 0 22660776 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322757597736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16782/tid=16788] ppid=16779 vsize=9625040 CPUtime=2.02 cores=1,3,5,7
/proc/16782/task/16788/stat : 16788 (java) S 16779 16782 15548 0 -1 4202560 1980 0 0 0 186 16 0 0 20 0 19 0 22660776 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322638129576 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16782/tid=16789] ppid=16779 vsize=9625040 CPUtime=1.99 cores=1,3,5,7
/proc/16782/task/16789/stat : 16789 (java) S 16779 16782 15548 0 -1 4202560 6353 0 0 0 182 17 0 0 20 0 19 0 22660776 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322637077288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16782/tid=16790] ppid=16779 vsize=9625040 CPUtime=1.74 cores=1,3,5,7
/proc/16782/task/16790/stat : 16790 (java) S 16779 16782 15548 0 -1 4202560 3184 0 0 0 158 16 0 0 20 0 19 0 22660776 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322636024488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16782/tid=16791] ppid=16779 vsize=9625040 CPUtime=2.04 cores=1,3,5,7
/proc/16782/task/16791/stat : 16791 (java) S 16779 16782 15548 0 -1 4202560 3109 0 0 0 188 16 0 0 20 0 19 0 22660776 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322634972200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16782/tid=16792] ppid=16779 vsize=9625040 CPUtime=1.89 cores=1,3,5,7
/proc/16782/task/16792/stat : 16792 (java) S 16779 16782 15548 0 -1 4202560 4010 0 0 0 173 16 0 0 20 0 19 0 22660776 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322633919400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16793] ppid=16779 vsize=9625040 CPUtime=3.56 cores=1,3,5,7
/proc/16782/task/16793/stat : 16793 (java) S 16779 16782 15548 0 -1 4202560 2276 0 0 0 349 7 0 0 20 0 19 0 22660777 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322151590120 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16782/tid=16794] ppid=16779 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16794/stat : 16794 (java) S 16779 16782 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22660778 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322150536184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16795] ppid=16779 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16795/stat : 16795 (java) S 16779 16782 15548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22660778 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322149483784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16796] ppid=16779 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16796/stat : 16796 (java) S 16779 16782 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22660780 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322148432272 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16797] ppid=16779 vsize=9625040 CPUtime=1.8 cores=1,3,5,7
/proc/16782/task/16797/stat : 16797 (java) S 16779 16782 15548 0 -1 4202560 14119 0 0 0 177 3 0 0 20 0 19 0 22660780 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322147379896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16782/tid=16798] ppid=16779 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/16782/task/16798/stat : 16798 (java) S 16779 16782 15548 0 -1 4202560 4412 0 0 0 74 0 0 0 20 0 19 0 22660780 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322146327096 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16782/tid=16799] ppid=16779 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16799/stat : 16799 (java) S 16779 16782 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22660780 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322145275000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16782/tid=16800] ppid=16779 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/16782/task/16800/stat : 16800 (java) S 16779 16782 15548 0 -1 4202560 99 0 0 0 25 30 0 0 20 0 19 0 22660780 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322144222408 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16782/tid=16802] ppid=16779 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16802/stat : 16802 (java) S 16779 16782 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22661952 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322143167400 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1736.92
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.27 2.26 1.94 3/213 16910
/proc/meminfo: memFree=25970180/32872528 swapFree=1370848/1518016
[pid=16782] ppid=16779 vsize=9625040 CPUtime=1796.93 cores=1,3,5,7
/proc/16782/stat : 16782 (java) S 16779 16782 15548 0 -1 4202496 52420 0 1 0 179495 198 0 0 20 0 19 0 22660773 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140735722990736 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16782/statm: 2406260 846947 2295 9 0 2396937 0
[pid=16782/tid=16783] ppid=16779 vsize=9625040 CPUtime=1774.4 cores=1,3,5,7
/proc/16782/task/16783/stat : 16783 (java) R 16779 16782 15548 0 -1 4202560 3853 0 1 0 177385 55 0 0 20 0 19 0 22660774 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322798202560 140322639007661 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16782/tid=16785] ppid=16779 vsize=9625040 CPUtime=2.23 cores=1,3,5,7
/proc/16782/task/16785/stat : 16785 (java) S 16779 16782 15548 0 -1 4202560 2399 0 0 0 204 19 0 0 20 0 19 0 22660776 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322759702824 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16782/tid=16786] ppid=16779 vsize=9625040 CPUtime=2.16 cores=1,3,5,7
/proc/16782/task/16786/stat : 16786 (java) S 16779 16782 15548 0 -1 4202560 2584 0 0 0 201 15 0 0 20 0 19 0 22660776 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322758650024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16782/tid=16787] ppid=16779 vsize=9625040 CPUtime=2.02 cores=1,3,5,7
/proc/16782/task/16787/stat : 16787 (java) S 16779 16782 15548 0 -1 4202560 2779 0 0 0 186 16 0 0 20 0 19 0 22660776 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322757597736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16782/tid=16788] ppid=16779 vsize=9625040 CPUtime=2.02 cores=1,3,5,7
/proc/16782/task/16788/stat : 16788 (java) S 16779 16782 15548 0 -1 4202560 1980 0 0 0 186 16 0 0 20 0 19 0 22660776 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322638129576 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16782/tid=16789] ppid=16779 vsize=9625040 CPUtime=1.99 cores=1,3,5,7
/proc/16782/task/16789/stat : 16789 (java) S 16779 16782 15548 0 -1 4202560 6353 0 0 0 182 17 0 0 20 0 19 0 22660776 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322637077288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16782/tid=16790] ppid=16779 vsize=9625040 CPUtime=1.74 cores=1,3,5,7
/proc/16782/task/16790/stat : 16790 (java) S 16779 16782 15548 0 -1 4202560 3184 0 0 0 158 16 0 0 20 0 19 0 22660776 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322636024488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16782/tid=16791] ppid=16779 vsize=9625040 CPUtime=2.04 cores=1,3,5,7
/proc/16782/task/16791/stat : 16791 (java) S 16779 16782 15548 0 -1 4202560 3109 0 0 0 188 16 0 0 20 0 19 0 22660776 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322634972200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16782/tid=16792] ppid=16779 vsize=9625040 CPUtime=1.89 cores=1,3,5,7
/proc/16782/task/16792/stat : 16792 (java) S 16779 16782 15548 0 -1 4202560 4010 0 0 0 173 16 0 0 20 0 19 0 22660776 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322633919400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16793] ppid=16779 vsize=9625040 CPUtime=3.56 cores=1,3,5,7
/proc/16782/task/16793/stat : 16793 (java) S 16779 16782 15548 0 -1 4202560 2276 0 0 0 349 7 0 0 20 0 19 0 22660777 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322151590120 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16782/tid=16794] ppid=16779 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16794/stat : 16794 (java) S 16779 16782 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22660778 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322150536184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16795] ppid=16779 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16795/stat : 16795 (java) S 16779 16782 15548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22660778 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322149483784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16796] ppid=16779 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16796/stat : 16796 (java) S 16779 16782 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22660780 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322148432272 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16797] ppid=16779 vsize=9625040 CPUtime=1.8 cores=1,3,5,7
/proc/16782/task/16797/stat : 16797 (java) S 16779 16782 15548 0 -1 4202560 14119 0 0 0 177 3 0 0 20 0 19 0 22660780 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322147379896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16782/tid=16798] ppid=16779 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/16782/task/16798/stat : 16798 (java) S 16779 16782 15548 0 -1 4202560 4412 0 0 0 74 0 0 0 20 0 19 0 22660780 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322146327096 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16782/tid=16799] ppid=16779 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16799/stat : 16799 (java) S 16779 16782 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22660780 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322145275000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16782/tid=16800] ppid=16779 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/16782/task/16800/stat : 16800 (java) S 16779 16782 15548 0 -1 4202560 103 0 0 0 26 32 0 0 20 0 19 0 22660780 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322144222408 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16782/tid=16802] ppid=16779 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16802/stat : 16802 (java) S 16779 16782 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22661952 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322143167400 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1796.93
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1785.4 s]
/proc/loadavg: 2.25 2.25 1.94 3/213 16910
/proc/meminfo: memFree=25970180/32872528 swapFree=1370848/1518016
[pid=16782] ppid=16779 vsize=9625040 CPUtime=1800.02 cores=1,3,5,7
/proc/16782/stat : 16782 (java) S 16779 16782 15548 0 -1 4202496 52420 0 1 0 179804 198 0 0 20 0 19 0 22660773 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140735722990736 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16782/statm: 2406260 846947 2295 9 0 2396937 0
[pid=16782/tid=16783] ppid=16779 vsize=9625040 CPUtime=1777.5 cores=1,3,5,7
/proc/16782/task/16783/stat : 16783 (java) R 16779 16782 15548 0 -1 4202560 3853 0 1 0 177694 56 0 0 20 0 19 0 22660774 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322798202560 140322639007661 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16782/tid=16785] ppid=16779 vsize=9625040 CPUtime=2.23 cores=1,3,5,7
/proc/16782/task/16785/stat : 16785 (java) S 16779 16782 15548 0 -1 4202560 2399 0 0 0 204 19 0 0 20 0 19 0 22660776 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322759702824 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16782/tid=16786] ppid=16779 vsize=9625040 CPUtime=2.16 cores=1,3,5,7
/proc/16782/task/16786/stat : 16786 (java) S 16779 16782 15548 0 -1 4202560 2584 0 0 0 201 15 0 0 20 0 19 0 22660776 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322758650024 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16782/tid=16787] ppid=16779 vsize=9625040 CPUtime=2.02 cores=1,3,5,7
/proc/16782/task/16787/stat : 16787 (java) S 16779 16782 15548 0 -1 4202560 2779 0 0 0 186 16 0 0 20 0 19 0 22660776 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322757597736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16782/tid=16788] ppid=16779 vsize=9625040 CPUtime=2.02 cores=1,3,5,7
/proc/16782/task/16788/stat : 16788 (java) S 16779 16782 15548 0 -1 4202560 1980 0 0 0 186 16 0 0 20 0 19 0 22660776 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322638129576 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16782/tid=16789] ppid=16779 vsize=9625040 CPUtime=1.99 cores=1,3,5,7
/proc/16782/task/16789/stat : 16789 (java) S 16779 16782 15548 0 -1 4202560 6353 0 0 0 182 17 0 0 20 0 19 0 22660776 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322637077288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16782/tid=16790] ppid=16779 vsize=9625040 CPUtime=1.74 cores=1,3,5,7
/proc/16782/task/16790/stat : 16790 (java) S 16779 16782 15548 0 -1 4202560 3184 0 0 0 158 16 0 0 20 0 19 0 22660776 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322636024488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16782/tid=16791] ppid=16779 vsize=9625040 CPUtime=2.04 cores=1,3,5,7
/proc/16782/task/16791/stat : 16791 (java) S 16779 16782 15548 0 -1 4202560 3109 0 0 0 188 16 0 0 20 0 19 0 22660776 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322634972200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16782/tid=16792] ppid=16779 vsize=9625040 CPUtime=1.89 cores=1,3,5,7
/proc/16782/task/16792/stat : 16792 (java) S 16779 16782 15548 0 -1 4202560 4010 0 0 0 173 16 0 0 20 0 19 0 22660776 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322633919400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16793] ppid=16779 vsize=9625040 CPUtime=3.56 cores=1,3,5,7
/proc/16782/task/16793/stat : 16793 (java) S 16779 16782 15548 0 -1 4202560 2276 0 0 0 349 7 0 0 20 0 19 0 22660777 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322151590120 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16782/tid=16794] ppid=16779 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16794/stat : 16794 (java) S 16779 16782 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22660778 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322150536184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16795] ppid=16779 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16795/stat : 16795 (java) S 16779 16782 15548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22660778 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322149483784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16796] ppid=16779 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16796/stat : 16796 (java) S 16779 16782 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22660780 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322148432272 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16782/tid=16797] ppid=16779 vsize=9625040 CPUtime=1.8 cores=1,3,5,7
/proc/16782/task/16797/stat : 16797 (java) S 16779 16782 15548 0 -1 4202560 14119 0 0 0 177 3 0 0 20 0 19 0 22660780 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322147379896 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16782/tid=16798] ppid=16779 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/16782/task/16798/stat : 16798 (java) S 16779 16782 15548 0 -1 4202560 4412 0 0 0 74 0 0 0 20 0 19 0 22660780 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322146327096 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16782/tid=16799] ppid=16779 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16799/stat : 16799 (java) S 16779 16782 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22660780 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322145275000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16782/tid=16800] ppid=16779 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/16782/task/16800/stat : 16800 (java) S 16779 16782 15548 0 -1 4202560 103 0 0 0 26 32 0 0 20 0 19 0 22660780 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322144222408 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16782/tid=16802] ppid=16779 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16782/task/16802/stat : 16802 (java) S 16779 16782 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22661952 9856040960 846947 33554432000 1073741824 1073778376 140735722999600 140322143167400 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040
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 16782 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1785.45
CPU time (s): 1800.63
CPU user time (s): 1798.19
CPU system time (s): 2.44163
CPU usage (%): 100.85
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.19
system time used= 2.44163
maximum resident set size= 3387928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52460
page faults= 1
swaps= 0
block input operations= 8
block output operations= 1152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41580
involuntary context switches= 19684
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.6322 second user time and 12.3031 second system time
The end