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-4261863-1502472008/watcher-4261863-1502472008 -o /tmp/evaluation-result-4261863-1502472008/solver-4261863-1502472008 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502411403-1395 --watchdog 2580 bin/concrete HOME/instance-4261863-1502472008.xml
pid=16010
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.45 1.51 1.51 2/194 16013
/proc/meminfo: memFree=30717344/32770624 swapFree=0/510796
[pid=16013] ppid=16010 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/16013/stat : 16013 (runsolver) D 16010 16013 1330 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 49421574 24240128 107 18446744073709551615 4194304 4338465 140721718440608 140721718438248 140479301014231 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 31621120 140721718444241 140721718444617 140721718444617 140721718448074 0
/proc/16013/statm: 5918 107 54 36 0 2156 0
[startup+0.100157 s]
/proc/loadavg: 1.45 1.51 1.51 2/194 16013
/proc/meminfo: memFree=30717344/32770624 swapFree=0/510796
[pid=16013] ppid=16010 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/16013/stat : 16013 (runsolver) D 16010 16013 1330 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 49421574 24240128 107 18446744073709551615 4194304 4338465 140721718440608 140721718438248 140479301014231 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 31621120 140721718444241 140721718444617 140721718444617 140721718448074 0
/proc/16013/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200321 s]
/proc/loadavg: 1.45 1.51 1.51 2/194 16013
/proc/meminfo: memFree=30717344/32770624 swapFree=0/510796
[pid=16013] ppid=16010 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/16013/stat : 16013 (bash) S 16010 16013 1330 0 -1 4202496 891 6489 0 0 0 0 0 1 20 0 1 0 49421574 9867264 377 18446744073709551615 4194304 5098028 140729047121632 140729047115640 139856687520768 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 10 0 0 7196144 7232144 39329792 140729047126548 140729047126633 140729047126633 140729047130090 0
/proc/16013/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300276 s]
/proc/loadavg: 1.45 1.51 1.51 2/194 16013
/proc/meminfo: memFree=30717344/32770624 swapFree=0/510796
[pid=16013] ppid=16010 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/16013/stat : 16013 (java) S 16010 16013 1330 0 -1 1077944320 5714 12494 0 0 5 1 5 2 20 0 14 0 49421574 14241083392 5408 18446744073709551615 4194304 4196468 140735658280800 140735658263344 140014604381943 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
/proc/16013/statm: 3476827 5408 2666 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308
[startup+0.700297 s]
/proc/loadavg: 1.45 1.51 1.51 2/194 16013
/proc/meminfo: memFree=30717344/32770624 swapFree=0/510796
[pid=16013] ppid=16010 vsize=13974784 CPUtime=0.69 cores=1,3,5,7
/proc/16013/stat : 16013 (java) S 16010 16013 1330 0 -1 1077944320 14001 12494 0 0 58 4 5 2 20 0 15 0 49421574 14310178816 14914 18446744073709551615 4194304 4196468 140735658280800 140735658263344 140014604381943 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
/proc/16013/statm: 3493696 14914 3114 1 0 3482965 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13974784
[startup+1.50093 s]
/proc/loadavg: 1.45 1.51 1.51 4/209 16076
/proc/meminfo: memFree=30622620/32770624 swapFree=0/510808
[pid=16013] ppid=16010 vsize=13985408 CPUtime=1.94 cores=1,3,5,7
/proc/16013/stat : 16013 (java) S 16010 16013 1330 0 -1 1077944320 32041 12494 0 0 178 9 5 2 20 0 15 0 49421574 14321057792 42728 18446744073709551615 4194304 4196468 140735658280800 140735658263344 140014604381943 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
/proc/16013/statm: 3496352 42728 3375 1 0 3485525 0
[pid=16013/tid=16063] ppid=16010 vsize=13985408 CPUtime=1.28 cores=1,3,5,7
/proc/16013/task/16063/stat : 16063 (java) S 16010 16013 1330 0 -1 1077944384 24471 12494 0 0 115 6 5 2 20 0 15 0 49421595 14321057792 42728 18446744073709551615 4194304 4196468 140735658280800 140014608600304 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16064] ppid=16010 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16064/stat : 16064 (java) R 16010 16013 1330 0 -1 4202560 208 12494 0 0 0 0 5 2 20 0 15 0 49421596 14321057792 42728 18446744073709551615 4194304 4196468 140735658280800 140014538816016 140014597010151 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16065] ppid=16010 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/16013/task/16065/stat : 16065 (java) R 16010 16013 1330 0 -1 4202560 44 12494 0 0 1 0 5 2 20 0 15 0 49421596 14321057792 42728 18446744073709551615 4194304 4196468 140735658280800 140014537763472 140014597010151 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16066] ppid=16010 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/16013/task/16066/stat : 16066 (java) R 16010 16013 1330 0 -1 4202560 46 12494 0 0 1 0 5 2 20 0 15 0 49421596 14321057792 42728 18446744073709551615 4194304 4196468 140735658280800 140014536710536 140014597010151 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16067] ppid=16010 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/16013/task/16067/stat : 16067 (java) R 16010 16013 1330 0 -1 4202560 74 12494 0 0 1 0 5 2 20 0 15 0 49421596 14321057792 42728 18446744073709551615 4194304 4196468 140735658280800 140014535657872 140014597481629 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16068] ppid=16010 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/16013/task/16068/stat : 16068 (java) S 16010 16013 1330 0 -1 1077944384 1652 12494 0 0 1 0 5 2 20 0 15 0 49421597 14321057792 42728 18446744073709551615 4194304 4196468 140735658280800 140014082700576 140014604392149 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16069] ppid=16010 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16069/stat : 16069 (java) S 16010 16013 1330 0 -1 1077944384 33 12494 0 0 0 0 5 2 20 0 15 0 49421598 14321057792 42728 18446744073709551615 4194304 4196468 140735658280800 140014081648288 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16070] ppid=16010 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16070/stat : 16070 (java) S 16010 16013 1330 0 -1 1077944384 21 12494 0 0 0 0 5 2 20 0 15 0 49421598 14321057792 42728 18446744073709551615 4194304 4196468 140735658280800 140014080595184 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16071] ppid=16010 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16071/stat : 16071 (java) S 16010 16013 1330 0 -1 1077944384 3 12494 0 0 0 0 5 2 20 0 15 0 49421600 14321057792 42728 18446744073709551615 4194304 4196468 140735658280800 140014079543760 140014604400539 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16072] ppid=16010 vsize=13985408 CPUtime=0.22 cores=1,3,5,7
/proc/16013/task/16072/stat : 16072 (java) S 16010 16013 1330 0 -1 1077944384 1089 12494 0 0 15 0 5 2 20 0 15 0 49421600 14321057792 42728 18446744073709551615 4194304 4196468 140735658280800 140014078490864 140014604393090 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16073] ppid=16010 vsize=13985408 CPUtime=0.25 cores=1,3,5,7
/proc/16013/task/16073/stat : 16073 (java) S 16010 16013 1330 0 -1 1077944384 854 12494 0 0 17 1 5 2 20 0 15 0 49421600 14321057792 42728 18446744073709551615 4194304 4196468 140735658280800 140014077438320 140014604393090 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16074] ppid=16010 vsize=13985408 CPUtime=0.29 cores=1,3,5,7
/proc/16013/task/16074/stat : 16074 (java) S 16010 16013 1330 0 -1 1077944384 1381 12494 0 0 22 0 5 2 20 0 15 0 49421600 14321057792 42728 18446744073709551615 4194304 4196468 140735658280800 140014076380640 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16075] ppid=16010 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16075/stat : 16075 (java) S 16010 16013 1330 0 -1 1077944384 3 12494 0 0 0 0 5 2 20 0 15 0 49421601 14321057792 42728 18446744073709551615 4194304 4196468 140735658280800 140014075332960 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16076] ppid=16010 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16076/stat : 16076 (java) S 16010 16013 1330 0 -1 1077944384 11 12494 0 0 0 0 5 2 20 0 15 0 49421604 14321057792 42728 18446744073709551615 4194304 4196468 140735658280800 140014074281008 140014604393090 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 13985408
[startup+3.10064 s]
/proc/loadavg: 1.45 1.51 1.51 4/209 16076
/proc/meminfo: memFree=30546596/32770624 swapFree=0/510808
[pid=16013] ppid=16010 vsize=13997884 CPUtime=5.89 cores=1,3,5,7
/proc/16013/stat : 16013 (java) S 16010 16013 1330 0 -1 1077944320 49024 12494 0 0 568 14 5 2 20 0 15 0 49421574 14333833216 61972 18446744073709551615 4194304 4196468 140735658280800 140735658263344 140014604381943 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
/proc/16013/statm: 3499471 61972 3449 1 0 3488085 0
[pid=16013/tid=16063] ppid=16010 vsize=13997884 CPUtime=2.87 cores=1,3,5,7
/proc/16013/task/16063/stat : 16063 (java) R 16010 16013 1330 0 -1 4202560 35625 12494 0 0 272 8 5 2 20 0 15 0 49421595 14333833216 61972 18446744073709551615 4194304 4196468 140735658280800 140014608603024 140014590120499 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16064] ppid=16010 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16064/stat : 16064 (java) S 16010 16013 1330 0 -1 1077944384 208 12494 0 0 0 0 5 2 20 0 15 0 49421596 14333833216 61972 18446744073709551615 4194304 4196468 140735658280800 140014538816016 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16065] ppid=16010 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/16013/task/16065/stat : 16065 (java) S 16010 16013 1330 0 -1 1077944384 44 12494 0 0 1 0 5 2 20 0 15 0 49421596 14333833216 61972 18446744073709551615 4194304 4196468 140735658280800 140014537763472 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16066] ppid=16010 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/16013/task/16066/stat : 16066 (java) S 16010 16013 1330 0 -1 1077944384 46 12494 0 0 1 0 5 2 20 0 15 0 49421596 14333833216 61972 18446744073709551615 4194304 4196468 140735658280800 140014536710416 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16067] ppid=16010 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/16013/task/16067/stat : 16067 (java) S 16010 16013 1330 0 -1 1077944384 74 12494 0 0 1 0 5 2 20 0 15 0 49421596 14333833216 61972 18446744073709551615 4194304 4196468 140735658280800 140014535657872 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16068] ppid=16010 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/16013/task/16068/stat : 16068 (java) S 16010 16013 1330 0 -1 1077944384 1773 12494 0 0 1 0 5 2 20 0 15 0 49421597 14333833216 61972 18446744073709551615 4194304 4196468 140735658280800 140014082702064 140014604393090 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16069] ppid=16010 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16069/stat : 16069 (java) S 16010 16013 1330 0 -1 1077944384 55 12494 0 0 0 0 5 2 20 0 15 0 49421598 14333833216 61972 18446744073709551615 4194304 4196468 140735658280800 140014081648288 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16070] ppid=16010 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16070/stat : 16070 (java) S 16010 16013 1330 0 -1 1077944384 45 12494 0 0 0 0 5 2 20 0 15 0 49421598 14333833216 61972 18446744073709551615 4194304 4196468 140735658280800 140014080595200 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16071] ppid=16010 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16071/stat : 16071 (java) S 16010 16013 1330 0 -1 1077944384 3 12494 0 0 0 0 5 2 20 0 15 0 49421600 14333833216 61972 18446744073709551615 4194304 4196468 140735658280800 140014079543760 140014604400539 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16072] ppid=16010 vsize=13997884 CPUtime=1.11 cores=1,3,5,7
/proc/16013/task/16072/stat : 16072 (java) S 16010 16013 1330 0 -1 1077944384 3557 12494 0 0 104 0 5 2 20 0 15 0 49421600 14333833216 61972 18446744073709551615 4194304 4196468 140735658280800 140014078490864 140014604393090 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16073] ppid=16010 vsize=13997884 CPUtime=1.06 cores=1,3,5,7
/proc/16013/task/16073/stat : 16073 (java) R 16010 16013 1330 0 -1 4202560 2347 12494 0 0 98 1 5 2 20 0 15 0 49421600 14333833216 61972 18446744073709551615 4194304 4196468 140735658280800 140014077438320 140014589505535 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16074] ppid=16010 vsize=13997884 CPUtime=0.93 cores=1,3,5,7
/proc/16013/task/16074/stat : 16074 (java) S 16010 16013 1330 0 -1 1077944384 3079 12494 0 0 85 1 5 2 20 0 15 0 49421600 14333833216 61972 18446744073709551615 4194304 4196468 140735658280800 140014076385264 140014604393090 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16075] ppid=16010 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16075/stat : 16075 (java) S 16010 16013 1330 0 -1 1077944384 3 12494 0 0 0 0 5 2 20 0 15 0 49421601 14333833216 61972 18446744073709551615 4194304 4196468 140735658280800 140014075332960 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16076] ppid=16010 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16076/stat : 16076 (java) S 16010 16013 1330 0 -1 1077944384 14 12494 0 0 0 0 5 2 20 0 15 0 49421604 14333833216 61972 18446744073709551615 4194304 4196468 140735658280800 140014074281008 140014604393090 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 13997884
[startup+6.30071 s]
/proc/loadavg: 1.58 1.53 1.52 3/209 16076
/proc/meminfo: memFree=30297184/32770624 swapFree=0/510808
[pid=16013] ppid=16010 vsize=13999932 CPUtime=13.23 cores=1,3,5,7
/proc/16013/stat : 16013 (java) S 16010 16013 1330 0 -1 1077944320 60114 12494 0 0 1292 24 5 2 20 0 15 0 49421574 14335930368 147042 18446744073709551615 4194304 4196468 140735658280800 140735658263344 140014604381943 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
/proc/16013/statm: 3499983 147042 3466 1 0 3488597 0
[pid=16013/tid=16063] ppid=16010 vsize=13999932 CPUtime=5.99 cores=1,3,5,7
/proc/16013/task/16063/stat : 16063 (java) R 16010 16013 1330 0 -1 4202560 38555 12494 0 0 580 12 5 2 20 0 15 0 49421595 14335930368 147042 18446744073709551615 4194304 4196468 140735658280800 140014608612704 140014206134040 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16064] ppid=16010 vsize=13999932 CPUtime=0.11 cores=1,3,5,7
/proc/16013/task/16064/stat : 16064 (java) S 16010 16013 1330 0 -1 1077944384 311 12494 0 0 3 1 5 2 20 0 15 0 49421596 14335930368 147042 18446744073709551615 4194304 4196468 140735658280800 140014538816016 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16065] ppid=16010 vsize=13999932 CPUtime=0.13 cores=1,3,5,7
/proc/16013/task/16065/stat : 16065 (java) S 16010 16013 1330 0 -1 1077944384 188 12494 0 0 5 1 5 2 20 0 15 0 49421596 14335930368 147042 18446744073709551615 4194304 4196468 140735658280800 140014537763472 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16066] ppid=16010 vsize=13999932 CPUtime=0.12 cores=1,3,5,7
/proc/16013/task/16066/stat : 16066 (java) S 16010 16013 1330 0 -1 1077944384 181 12494 0 0 4 1 5 2 20 0 15 0 49421596 14335930368 147042 18446744073709551615 4194304 4196468 140735658280800 140014536710416 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16067] ppid=16010 vsize=13999932 CPUtime=0.12 cores=1,3,5,7
/proc/16013/task/16067/stat : 16067 (java) S 16010 16013 1330 0 -1 1077944384 1098 12494 0 0 4 1 5 2 20 0 15 0 49421596 14335930368 147042 18446744073709551615 4194304 4196468 140735658280800 140014535657872 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16068] ppid=16010 vsize=13999932 CPUtime=0.1 cores=1,3,5,7
/proc/16013/task/16068/stat : 16068 (java) S 16010 16013 1330 0 -1 1077944384 2244 12494 0 0 3 0 5 2 20 0 15 0 49421597 14335930368 147042 18446744073709551615 4194304 4196468 140735658280800 140014082702064 140014604393090 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16069] ppid=16010 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16069/stat : 16069 (java) S 16010 16013 1330 0 -1 1077944384 55 12494 0 0 0 0 5 2 20 0 15 0 49421598 14335930368 147042 18446744073709551615 4194304 4196468 140735658280800 140014081648352 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16070] ppid=16010 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16070/stat : 16070 (java) S 16010 16013 1330 0 -1 1077944384 45 12494 0 0 0 0 5 2 20 0 15 0 49421598 14335930368 147042 18446744073709551615 4194304 4196468 140735658280800 140014080595200 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16071] ppid=16010 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16071/stat : 16071 (java) S 16010 16013 1330 0 -1 1077944384 3 12494 0 0 0 0 5 2 20 0 15 0 49421600 14335930368 147042 18446744073709551615 4194304 4196468 140735658280800 140014079543760 140014604400539 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16072] ppid=16010 vsize=13999932 CPUtime=2.98 cores=1,3,5,7
/proc/16013/task/16072/stat : 16072 (java) S 16010 16013 1330 0 -1 1077944384 6107 12494 0 0 290 1 5 2 20 0 15 0 49421600 14335930368 147042 18446744073709551615 4194304 4196468 140735658280800 140014078490864 140014604393090 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16073] ppid=16010 vsize=13999932 CPUtime=2.9 cores=1,3,5,7
/proc/16013/task/16073/stat : 16073 (java) S 16010 16013 1330 0 -1 1077944384 5202 12494 0 0 282 1 5 2 20 0 15 0 49421600 14335930368 147042 18446744073709551615 4194304 4196468 140735658280800 140014077438320 140014604393090 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16074] ppid=16010 vsize=13999932 CPUtime=1.23 cores=1,3,5,7
/proc/16013/task/16074/stat : 16074 (java) S 16010 16013 1330 0 -1 1077944384 3925 12494 0 0 115 1 5 2 20 0 15 0 49421600 14335930368 147042 18446744073709551615 4194304 4196468 140735658280800 140014076385264 140014604393090 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16075] ppid=16010 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16075/stat : 16075 (java) S 16010 16013 1330 0 -1 1077944384 3 12494 0 0 0 0 5 2 20 0 15 0 49421601 14335930368 147042 18446744073709551615 4194304 4196468 140735658280800 140014075332960 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16076] ppid=16010 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16076/stat : 16076 (java) S 16010 16013 1330 0 -1 1077944384 46 12494 0 0 0 0 5 2 20 0 15 0 49421604 14335930368 147042 18446744073709551615 4194304 4196468 140735658280800 140014074281008 140014604393090 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
Current children cumulated CPU time (s) 13.23
Current children cumulated vsize (KiB) 13999932
[startup+12.7007 s]
/proc/loadavg: 1.69 1.56 1.52 5/209 16076
/proc/meminfo: memFree=29808520/32770624 swapFree=0/510804
[pid=16013] ppid=16010 vsize=14069564 CPUtime=27.46 cores=1,3,5,7
/proc/16013/stat : 16013 (java) S 16010 16013 1330 0 -1 1077944320 97249 12494 0 0 2700 39 5 2 20 0 15 0 49421574 14407233536 251007 18446744073709551615 4194304 4196468 140735658280800 140735658263344 140014604381943 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
/proc/16013/statm: 3517391 251007 3477 1 0 3506005 0
[pid=16013/tid=16063] ppid=16010 vsize=14069564 CPUtime=12.27 cores=1,3,5,7
/proc/16013/task/16063/stat : 16063 (java) R 16010 16013 1330 0 -1 4202560 57282 12494 0 0 1200 20 5 2 20 0 15 0 49421595 14407233536 251007 18446744073709551615 4194304 4196468 140735658280800 140014608613304 140014211020316 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16064] ppid=16010 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/16013/task/16064/stat : 16064 (java) S 16010 16013 1330 0 -1 1077944384 467 12494 0 0 11 2 5 2 20 0 15 0 49421596 14407233536 251007 18446744073709551615 4194304 4196468 140735658280800 140014538816016 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16065] ppid=16010 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/16013/task/16065/stat : 16065 (java) S 16010 16013 1330 0 -1 1077944384 317 12494 0 0 12 2 5 2 20 0 15 0 49421596 14407233536 251007 18446744073709551615 4194304 4196468 140735658280800 140014537763472 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16066] ppid=16010 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/16013/task/16066/stat : 16066 (java) S 16010 16013 1330 0 -1 1077944384 334 12494 0 0 12 2 5 2 20 0 15 0 49421596 14407233536 251007 18446744073709551615 4194304 4196468 140735658280800 140014536710416 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16067] ppid=16010 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/16013/task/16067/stat : 16067 (java) S 16010 16013 1330 0 -1 1077944384 1193 12494 0 0 9 2 5 2 20 0 15 0 49421596 14407233536 251007 18446744073709551615 4194304 4196468 140735658280800 140014535657872 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16068] ppid=16010 vsize=14069564 CPUtime=0.12 cores=1,3,5,7
/proc/16013/task/16068/stat : 16068 (java) S 16010 16013 1330 0 -1 1077944384 6365 12494 0 0 5 0 5 2 20 0 15 0 49421597 14407233536 251007 18446744073709551615 4194304 4196468 140735658280800 140014082702064 140014604393090 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16069] ppid=16010 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16069/stat : 16069 (java) S 16010 16013 1330 0 -1 1077944384 60 12494 0 0 0 0 5 2 20 0 15 0 49421598 14407233536 251007 18446744073709551615 4194304 4196468 140735658280800 140014081648352 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16070] ppid=16010 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16070/stat : 16070 (java) S 16010 16013 1330 0 -1 1077944384 50 12494 0 0 0 0 5 2 20 0 15 0 49421598 14407233536 251007 18446744073709551615 4194304 4196468 140735658280800 140014080595200 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16071] ppid=16010 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16071/stat : 16071 (java) S 16010 16013 1330 0 -1 1077944384 3 12494 0 0 0 0 5 2 20 0 15 0 49421600 14407233536 251007 18446744073709551615 4194304 4196468 140735658280800 140014079543760 140014604400539 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
################
# More data... #
################
[pid=16013] ppid=16010 vsize=14069564 CPUtime=2484.64 cores=1,3,5,7
/proc/16013/stat : 16013 (java) S 16010 16013 1330 0 -1 1077944320 497419 12494 0 0 248028 429 5 2 20 0 15 0 49421574 14407233536 636630 18446744073709551615 4194304 4196468 140735658280800 140735658263344 140014604381943 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
/proc/16013/statm: 3517391 636630 3481 1 0 3506005 0
[pid=16013/tid=16063] ppid=16010 vsize=14069564 CPUtime=2433 cores=1,3,5,7
/proc/16013/task/16063/stat : 16063 (java) R 16010 16013 1330 0 -1 4202560 266948 12494 0 0 243175 118 5 2 20 0 15 0 49421595 14407233536 636630 18446744073709551615 4194304 4196468 140735658280800 140014608616256 140014211020027 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16064] ppid=16010 vsize=14069564 CPUtime=8.01 cores=1,3,5,7
/proc/16013/task/16064/stat : 16064 (java) S 16010 16013 1330 0 -1 1077944384 21199 12494 0 0 738 56 5 2 20 0 15 0 49421596 14407233536 636630 18446744073709551615 4194304 4196468 140735658280800 140014538816016 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16065] ppid=16010 vsize=14069564 CPUtime=8.05 cores=1,3,5,7
/proc/16013/task/16065/stat : 16065 (java) S 16010 16013 1330 0 -1 1077944384 30861 12494 0 0 744 54 5 2 20 0 15 0 49421596 14407233536 636630 18446744073709551615 4194304 4196468 140735658280800 140014537763472 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16066] ppid=16010 vsize=14069564 CPUtime=8.03 cores=1,3,5,7
/proc/16013/task/16066/stat : 16066 (java) S 16010 16013 1330 0 -1 1077944384 34101 12494 0 0 743 53 5 2 20 0 15 0 49421596 14407233536 636630 18446744073709551615 4194304 4196468 140735658280800 140014536710416 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16067] ppid=16010 vsize=14069564 CPUtime=7.99 cores=1,3,5,7
/proc/16013/task/16067/stat : 16067 (java) S 16010 16013 1330 0 -1 1077944384 29715 12494 0 0 740 52 5 2 20 0 15 0 49421596 14407233536 636630 18446744073709551615 4194304 4196468 140735658280800 140014535657872 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16068] ppid=16010 vsize=14069564 CPUtime=0.99 cores=1,3,5,7
/proc/16013/task/16068/stat : 16068 (java) S 16010 16013 1330 0 -1 1077944384 49540 12494 0 0 70 22 5 2 20 0 15 0 49421597 14407233536 636630 18446744073709551615 4194304 4196468 140735658280800 140014082702064 140014604393090 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16069] ppid=16010 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16069/stat : 16069 (java) S 16010 16013 1330 0 -1 1077944384 65 12494 0 0 0 0 5 2 20 0 15 0 49421598 14407233536 636630 18446744073709551615 4194304 4196468 140735658280800 140014081648352 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16070] ppid=16010 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16070/stat : 16070 (java) S 16010 16013 1330 0 -1 1077944384 50 12494 0 0 0 0 5 2 20 0 15 0 49421598 14407233536 636630 18446744073709551615 4194304 4196468 140735658280800 140014080595200 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16071] ppid=16010 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16071/stat : 16071 (java) S 16010 16013 1330 0 -1 1077944384 3 12494 0 0 0 0 5 2 20 0 15 0 49421600 14407233536 636630 18446744073709551615 4194304 4196468 140735658280800 140014079543760 140014604400539 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16072] ppid=16010 vsize=14069564 CPUtime=7.81 cores=1,3,5,7
/proc/16013/task/16072/stat : 16072 (java) S 16010 16013 1330 0 -1 1077944384 19762 12494 0 0 771 3 5 2 20 0 15 0 49421600 14407233536 636630 18446744073709551615 4194304 4196468 140735658280800 140014078490864 140014604393090 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16073] ppid=16010 vsize=14069564 CPUtime=7.69 cores=1,3,5,7
/proc/16013/task/16073/stat : 16073 (java) S 16010 16013 1330 0 -1 1077944384 22181 12494 0 0 758 4 5 2 20 0 15 0 49421600 14407233536 636630 18446744073709551615 4194304 4196468 140735658280800 140014077438320 140014604393090 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16074] ppid=16010 vsize=14069564 CPUtime=2.09 cores=1,3,5,7
/proc/16013/task/16074/stat : 16074 (java) S 16010 16013 1330 0 -1 1077944384 19216 12494 0 0 197 5 5 2 20 0 15 0 49421600 14407233536 636630 18446744073709551615 4194304 4196468 140735658280800 140014076385264 140014604393090 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16075] ppid=16010 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16075/stat : 16075 (java) S 16010 16013 1330 0 -1 1077944384 3 12494 0 0 0 0 5 2 20 0 15 0 49421601 14407233536 636630 18446744073709551615 4194304 4196468 140735658280800 140014075332960 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16076] ppid=16010 vsize=14069564 CPUtime=1.52 cores=1,3,5,7
/proc/16013/task/16076/stat : 16076 (java) S 16010 16013 1330 0 -1 1077944384 1624 12494 0 0 66 79 5 2 20 0 15 0 49421604 14407233536 636630 18446744073709551615 4194304 4196468 140735658280800 140014074281008 140014604393090 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
Current children cumulated CPU time (s) 2484.64
Current children cumulated vsize (KiB) 14069564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2477.4 s]
/proc/loadavg: 1.23 1.38 1.41 3/209 16369
/proc/meminfo: memFree=28030812/32770624 swapFree=0/511156
[pid=16013] ppid=16010 vsize=14069564 CPUtime=2520.04 cores=1,3,5,7
/proc/16013/stat : 16013 (java) S 16010 16013 1330 0 -1 1077944320 498315 12494 0 0 251566 431 5 2 20 0 15 0 49421574 14407233536 606747 18446744073709551615 4194304 4196468 140735658280800 140735658263344 140014604381943 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
/proc/16013/statm: 3517391 606747 3481 1 0 3506005 0
[pid=16013/tid=16063] ppid=16010 vsize=14069564 CPUtime=2467.97 cores=1,3,5,7
/proc/16013/task/16063/stat : 16063 (java) R 16010 16013 1330 0 -1 4202560 267531 12494 0 0 246672 118 5 2 20 0 15 0 49421595 14407233536 606747 18446744073709551615 4194304 4196468 140735658280800 140014608616256 140014207163328 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16064] ppid=16010 vsize=14069564 CPUtime=8.1 cores=1,3,5,7
/proc/16013/task/16064/stat : 16064 (java) S 16010 16013 1330 0 -1 1077944384 21287 12494 0 0 747 56 5 2 20 0 15 0 49421596 14407233536 606747 18446744073709551615 4194304 4196468 140735658280800 140014538816016 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16065] ppid=16010 vsize=14069564 CPUtime=8.14 cores=1,3,5,7
/proc/16013/task/16065/stat : 16065 (java) S 16010 16013 1330 0 -1 1077944384 30921 12494 0 0 753 54 5 2 20 0 15 0 49421596 14407233536 606747 18446744073709551615 4194304 4196468 140735658280800 140014537763472 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16066] ppid=16010 vsize=14069564 CPUtime=8.14 cores=1,3,5,7
/proc/16013/task/16066/stat : 16066 (java) S 16010 16013 1330 0 -1 1077944384 34196 12494 0 0 753 54 5 2 20 0 15 0 49421596 14407233536 606747 18446744073709551615 4194304 4196468 140735658280800 140014536710416 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16067] ppid=16010 vsize=14069564 CPUtime=8.1 cores=1,3,5,7
/proc/16013/task/16067/stat : 16067 (java) S 16010 16013 1330 0 -1 1077944384 29773 12494 0 0 750 53 5 2 20 0 15 0 49421596 14407233536 606747 18446744073709551615 4194304 4196468 140735658280800 140014535657872 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16068] ppid=16010 vsize=14069564 CPUtime=1.01 cores=1,3,5,7
/proc/16013/task/16068/stat : 16068 (java) S 16010 16013 1330 0 -1 1077944384 49550 12494 0 0 72 22 5 2 20 0 15 0 49421597 14407233536 606747 18446744073709551615 4194304 4196468 140735658280800 140014082702064 140014604393090 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16069] ppid=16010 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16069/stat : 16069 (java) S 16010 16013 1330 0 -1 1077944384 65 12494 0 0 0 0 5 2 20 0 15 0 49421598 14407233536 606747 18446744073709551615 4194304 4196468 140735658280800 140014081648352 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16070] ppid=16010 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16070/stat : 16070 (java) S 16010 16013 1330 0 -1 1077944384 50 12494 0 0 0 0 5 2 20 0 15 0 49421598 14407233536 606747 18446744073709551615 4194304 4196468 140735658280800 140014080595200 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16071] ppid=16010 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16071/stat : 16071 (java) S 16010 16013 1330 0 -1 1077944384 3 12494 0 0 0 0 5 2 20 0 15 0 49421600 14407233536 606747 18446744073709551615 4194304 4196468 140735658280800 140014079543760 140014604400539 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16072] ppid=16010 vsize=14069564 CPUtime=7.81 cores=1,3,5,7
/proc/16013/task/16072/stat : 16072 (java) S 16010 16013 1330 0 -1 1077944384 19762 12494 0 0 771 3 5 2 20 0 15 0 49421600 14407233536 606747 18446744073709551615 4194304 4196468 140735658280800 140014078490864 140014604393090 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16073] ppid=16010 vsize=14069564 CPUtime=7.69 cores=1,3,5,7
/proc/16013/task/16073/stat : 16073 (java) S 16010 16013 1330 0 -1 1077944384 22181 12494 0 0 758 4 5 2 20 0 15 0 49421600 14407233536 606747 18446744073709551615 4194304 4196468 140735658280800 140014077438320 140014604393090 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16074] ppid=16010 vsize=14069564 CPUtime=2.09 cores=1,3,5,7
/proc/16013/task/16074/stat : 16074 (java) S 16010 16013 1330 0 -1 1077944384 19216 12494 0 0 197 5 5 2 20 0 15 0 49421600 14407233536 606747 18446744073709551615 4194304 4196468 140735658280800 140014076385264 140014604393090 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16075] ppid=16010 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16075/stat : 16075 (java) S 16010 16013 1330 0 -1 1077944384 3 12494 0 0 0 0 5 2 20 0 15 0 49421601 14407233536 606747 18446744073709551615 4194304 4196468 140735658280800 140014075332960 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16076] ppid=16010 vsize=14069564 CPUtime=1.54 cores=1,3,5,7
/proc/16013/task/16076/stat : 16076 (java) S 16010 16013 1330 0 -1 1077944384 1626 12494 0 0 67 80 5 2 20 0 15 0 49421604 14407233536 606747 18446744073709551615 4194304 4196468 140735658280800 140014074281008 140014604393090 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
Current children cumulated CPU time (s) 2520.04
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 16013 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2477.61 s]
/proc/loadavg: 1.23 1.38 1.41 3/209 16369
/proc/meminfo: memFree=28030812/32770624 swapFree=0/511156
[pid=16013] ppid=16010 vsize=14202692 CPUtime=2520.76 cores=1,3,5,7
/proc/16013/stat : 16013 (java) S 16010 16013 1330 0 -1 1077944320 511539 12494 0 0 251637 432 5 2 20 0 17 0 49421574 14543556608 603645 18446744073709551615 4194304 4196468 140735658280800 140735658263344 140014604381943 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
/proc/16013/statm: 3550673 603645 3481 1 0 3539287 0
[pid=16013/tid=16063] ppid=16010 vsize=14202692 CPUtime=2467.99 cores=1,3,5,7
/proc/16013/task/16063/stat : 16063 (java) S 16010 16013 1330 0 -1 1077944384 268712 12494 0 0 246673 119 5 2 20 0 17 0 49421595 14543556608 603645 18446744073709551615 4194304 4196468 140735658280800 140014608619648 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16064] ppid=16010 vsize=14202692 CPUtime=8.27 cores=1,3,5,7
/proc/16013/task/16064/stat : 16064 (java) R 16010 16013 1330 0 -1 4202560 21352 12494 0 0 764 56 5 2 20 0 17 0 49421596 14543556608 603645 18446744073709551615 4194304 4196468 140735658280800 140014538816016 140014589367239 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16065] ppid=16010 vsize=14202692 CPUtime=8.31 cores=1,3,5,7
/proc/16013/task/16065/stat : 16065 (java) R 16010 16013 1330 0 -1 4202560 30963 12494 0 0 770 54 5 2 20 0 17 0 49421596 14543556608 603645 18446744073709551615 4194304 4196468 140735658280800 140014537763360 140014589079695 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16066] ppid=16010 vsize=14202692 CPUtime=8.3 cores=1,3,5,7
/proc/16013/task/16066/stat : 16066 (java) R 16010 16013 1330 0 -1 4202560 34307 12494 0 0 769 54 5 2 20 0 17 0 49421596 14543556608 603645 18446744073709551615 4194304 4196468 140735658280800 140014536710416 140014585978366 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16067] ppid=16010 vsize=14202692 CPUtime=8.27 cores=1,3,5,7
/proc/16013/task/16067/stat : 16067 (java) R 16010 16013 1330 0 -1 4202560 29834 12494 0 0 767 53 5 2 20 0 17 0 49421596 14543556608 603645 18446744073709551615 4194304 4196468 140735658280800 140014535658072 140014589367239 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16068] ppid=16010 vsize=14202692 CPUtime=1.04 cores=1,3,5,7
/proc/16013/task/16068/stat : 16068 (java) S 16010 16013 1330 0 -1 1077944384 60715 12494 0 0 74 23 5 2 20 0 17 0 49421597 14543556608 603645 18446744073709551615 4194304 4196468 140735658280800 140014082700464 140014604392149 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16069] ppid=16010 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16069/stat : 16069 (java) S 16010 16013 1330 0 -1 1077944384 67 12494 0 0 0 0 5 2 20 0 17 0 49421598 14543556608 603645 18446744073709551615 4194304 4196468 140735658280800 140014081647952 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16070] ppid=16010 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16070/stat : 16070 (java) S 16010 16013 1330 0 -1 1077944384 50 12494 0 0 0 0 5 2 20 0 17 0 49421598 14543556608 603645 18446744073709551615 4194304 4196468 140735658280800 140014080595200 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16071] ppid=16010 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16071/stat : 16071 (java) S 16010 16013 1330 0 -1 1077944384 234 12494 0 0 0 0 5 2 20 0 17 0 49421600 14543556608 603645 18446744073709551615 4194304 4196468 140735658280800 140014079543760 140014604400539 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16072] ppid=16010 vsize=14202692 CPUtime=7.81 cores=1,3,5,7
/proc/16013/task/16072/stat : 16072 (java) S 16010 16013 1330 0 -1 1077944384 19762 12494 0 0 771 3 5 2 20 0 17 0 49421600 14543556608 603645 18446744073709551615 4194304 4196468 140735658280800 140014078490864 140014604393090 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16073] ppid=16010 vsize=14202692 CPUtime=7.69 cores=1,3,5,7
/proc/16013/task/16073/stat : 16073 (java) S 16010 16013 1330 0 -1 1077944384 22181 12494 0 0 758 4 5 2 20 0 17 0 49421600 14543556608 603645 18446744073709551615 4194304 4196468 140735658280800 140014077438320 140014604393090 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16074] ppid=16010 vsize=14202692 CPUtime=2.09 cores=1,3,5,7
/proc/16013/task/16074/stat : 16074 (java) S 16010 16013 1330 0 -1 1077944384 19216 12494 0 0 197 5 5 2 20 0 17 0 49421600 14543556608 603645 18446744073709551615 4194304 4196468 140735658280800 140014076385264 140014604393090 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16075] ppid=16010 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16075/stat : 16075 (java) S 16010 16013 1330 0 -1 1077944384 3 12494 0 0 0 0 5 2 20 0 17 0 49421601 14543556608 603645 18446744073709551615 4194304 4196468 140735658280800 140014075332960 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16076] ppid=16010 vsize=14202692 CPUtime=1.54 cores=1,3,5,7
/proc/16013/task/16076/stat : 16076 (java) S 16010 16013 1330 0 -1 1077944384 1626 12494 0 0 67 80 5 2 20 0 17 0 49421604 14543556608 603645 18446744073709551615 4194304 4196468 140735658280800 140014074281008 140014604393090 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
Current children cumulated CPU time (s) 2520.76
Current children cumulated vsize (KiB) 14202692
[startup+2477.8 s]
/proc/loadavg: 1.23 1.38 1.41 3/209 16369
/proc/meminfo: memFree=28030812/32770624 swapFree=0/511156
[pid=16013] ppid=16010 vsize=14202692 CPUtime=2521.38 cores=1,3,5,7
/proc/16013/stat : 16013 (java) S 16010 16013 1330 0 -1 1077944320 511557 12494 0 0 251698 433 5 2 20 0 17 0 49421574 14543556608 601246 18446744073709551615 4194304 4196468 140735658280800 140735658263344 140014604381943 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
/proc/16013/statm: 3550673 601246 3486 1 0 3539287 0
[pid=16013/tid=16063] ppid=16010 vsize=14202692 CPUtime=2467.99 cores=1,3,5,7
/proc/16013/task/16063/stat : 16063 (java) S 16010 16013 1330 0 -1 1077944384 268712 12494 0 0 246673 119 5 2 20 0 17 0 49421595 14543556608 601246 18446744073709551615 4194304 4196468 140735658280800 140014608619648 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16064] ppid=16010 vsize=14202692 CPUtime=8.41 cores=1,3,5,7
/proc/16013/task/16064/stat : 16064 (java) R 16010 16013 1330 0 -1 4202560 21352 12494 0 0 778 56 5 2 20 0 17 0 49421596 14543556608 601246 18446744073709551615 4194304 4196468 140735658280800 140014538816016 140014585991731 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16065] ppid=16010 vsize=14202692 CPUtime=8.45 cores=1,3,5,7
/proc/16013/task/16065/stat : 16065 (java) R 16010 16013 1330 0 -1 4202560 30967 12494 0 0 784 54 5 2 20 0 17 0 49421596 14543556608 601246 18446744073709551615 4194304 4196468 140735658280800 140014537763472 140014589378547 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16066] ppid=16010 vsize=14202692 CPUtime=8.44 cores=1,3,5,7
/proc/16013/task/16066/stat : 16066 (java) R 16010 16013 1330 0 -1 4202560 34311 12494 0 0 783 54 5 2 20 0 17 0 49421596 14543556608 601246 18446744073709551615 4194304 4196468 140735658280800 140014536710616 140014589378605 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16067] ppid=16010 vsize=14202692 CPUtime=8.41 cores=1,3,5,7
/proc/16013/task/16067/stat : 16067 (java) R 16010 16013 1330 0 -1 4202560 29835 12494 0 0 781 53 5 2 20 0 17 0 49421596 14543556608 601246 18446744073709551615 4194304 4196468 140735658280800 140014535657872 140014589080911 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16068] ppid=16010 vsize=14202692 CPUtime=1.08 cores=1,3,5,7
/proc/16013/task/16068/stat : 16068 (java) S 16010 16013 1330 0 -1 1077944384 60721 12494 0 0 78 23 5 2 20 0 17 0 49421597 14543556608 601246 18446744073709551615 4194304 4196468 140735658280800 140014082700688 140014604392149 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16069] ppid=16010 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16069/stat : 16069 (java) S 16010 16013 1330 0 -1 1077944384 69 12494 0 0 0 0 5 2 20 0 17 0 49421598 14543556608 601246 18446744073709551615 4194304 4196468 140735658280800 140014081647888 140014604393090 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16070] ppid=16010 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16070/stat : 16070 (java) S 16010 16013 1330 0 -1 1077944384 50 12494 0 0 0 0 5 2 20 0 17 0 49421598 14543556608 601246 18446744073709551615 4194304 4196468 140735658280800 140014080595200 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16071] ppid=16010 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16071/stat : 16071 (java) S 16010 16013 1330 0 -1 1077944384 234 12494 0 0 0 0 5 2 20 0 17 0 49421600 14543556608 601246 18446744073709551615 4194304 4196468 140735658280800 140014079543760 140014604400539 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16072] ppid=16010 vsize=14202692 CPUtime=7.81 cores=1,3,5,7
/proc/16013/task/16072/stat : 16072 (java) S 16010 16013 1330 0 -1 1077944384 19762 12494 0 0 771 3 5 2 20 0 17 0 49421600 14543556608 601246 18446744073709551615 4194304 4196468 140735658280800 140014078490864 140014604393090 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16073] ppid=16010 vsize=14202692 CPUtime=7.69 cores=1,3,5,7
/proc/16013/task/16073/stat : 16073 (java) S 16010 16013 1330 0 -1 1077944384 22181 12494 0 0 758 4 5 2 20 0 17 0 49421600 14543556608 601246 18446744073709551615 4194304 4196468 140735658280800 140014077438320 140014604393090 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16074] ppid=16010 vsize=14202692 CPUtime=2.09 cores=1,3,5,7
/proc/16013/task/16074/stat : 16074 (java) S 16010 16013 1330 0 -1 1077944384 19216 12494 0 0 197 5 5 2 20 0 17 0 49421600 14543556608 601246 18446744073709551615 4194304 4196468 140735658280800 140014076385264 140014604393090 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16075] ppid=16010 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/16013/task/16075/stat : 16075 (java) S 16010 16013 1330 0 -1 1077944384 3 12494 0 0 0 0 5 2 20 0 17 0 49421601 14543556608 601246 18446744073709551615 4194304 4196468 140735658280800 140014075332960 140014604392149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
[pid=16013/tid=16076] ppid=16010 vsize=14202692 CPUtime=1.54 cores=1,3,5,7
/proc/16013/task/16076/stat : 16076 (java) S 16010 16013 1330 0 -1 1077944384 1626 12494 0 0 67 80 5 2 20 0 17 0 49421604 14543556608 601246 18446744073709551615 4194304 4196468 140735658280800 140014074281008 140014604393090 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20885504 140735658289104 140735658291889 140735658291889 140735658295247 0
Current children cumulated CPU time (s) 2521.38
Current children cumulated vsize (KiB) 14202692
[startup+2477.9 s]
/proc/loadavg: 1.23 1.38 1.41 3/209 16369
/proc/meminfo: memFree=28030812/32770624 swapFree=0/511156
[pid=16013] ppid=16010 vsize=0 CPUtime=2521.67 cores=1,3,5,7
/proc/16013/stat : 16013 (java) Z 16010 16013 1330 0 -1 4228108 511756 12494 0 0 251727 433 5 2 20 0 2 0 49421574 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 0 0 0 0 0 0 0 0
/proc/16013/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2521.67
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 2477.91
CPU time (s): 2521.7
CPU user time (s): 2517.33
CPU system time (s): 4.37477
CPU usage (%): 101.767
Max. virtual memory (cumulated for all children) (KiB): 14202692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.33
system time used= 4.37477
maximum resident set size= 4314784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 524250
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75325
involuntary context switches= 2898
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.2771 second user time and 15.2964 second system time
The end