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-4080547-1465277942/watcher-4080547-1465277942 -o /tmp/evaluation-result-4080547-1465277942/solver-4080547-1465277942 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465277942-23732 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080547-1465277942.opb
pid=23759
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.06 1.45 1.83 2/177 23762
/proc/meminfo: memFree=30381024/32872528 swapFree=15784/1434320
[pid=23762] ppid=23759 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/23762/stat : 23762 (java) S 23759 23762 23715 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 109727428 98570240 978 33554432000 1073741824 1073778376 140733356532960 140733356524096 214373007421 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23762/statm: 24065 978 744 9 0 16771 0
[pid=23762/tid=23771] ppid=23759 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23771/stat : 23771 (java) R 23759 23762 23715 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 109727429 98570240 978 33554432000 1073741824 1073778376 140733356532960 140613095484968 214369650048 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100171 s]
/proc/loadavg: 1.06 1.45 1.83 2/177 23762
/proc/meminfo: memFree=30381024/32872528 swapFree=15784/1434320
[pid=23762] ppid=23759 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/23762/stat : 23762 (java) S 23759 23762 23715 0 -1 4202496 4400 0 1 0 10 1 0 0 20 0 18 0 109727428 9787879424 6039 33554432000 1073741824 1073778376 140733356532960 140733356524096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23762/statm: 2389619 6039 2126 9 0 2380296 0
[pid=23762/tid=23771] ppid=23759 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/23762/task/23771/stat : 23771 (java) R 23759 23762 23715 0 -1 4202560 2387 0 1 0 7 0 0 0 20 0 18 0 109727429 9787879424 6039 33554432000 1073741824 1073778376 140733356532960 140613095487768 214373033229 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200325 s]
/proc/loadavg: 1.06 1.45 1.83 2/177 23762
/proc/meminfo: memFree=30381024/32872528 swapFree=15784/1434320
[pid=23762] ppid=23759 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/23762/stat : 23762 (java) S 23759 23762 23715 0 -1 4202496 6370 0 1 0 28 1 0 0 20 0 18 0 109727428 9787879424 8001 33554432000 1073741824 1073778376 140733356532960 140733356524096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23762/statm: 2389619 8002 2209 9 0 2380296 0
[pid=23762/tid=23771] ppid=23759 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/23762/task/23771/stat : 23771 (java) R 23759 23762 23715 0 -1 4202560 2399 0 1 0 18 0 0 0 20 0 18 0 109727429 9787879424 8002 33554432000 1073741824 1073778376 140733356532960 140613095487768 140612951166474 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476
[startup+0.300352 s]
/proc/loadavg: 1.06 1.45 1.83 2/177 23762
/proc/meminfo: memFree=30381024/32872528 swapFree=15784/1434320
[pid=23762] ppid=23759 vsize=9558476 CPUtime=0.55 cores=1,3,5,7
/proc/23762/stat : 23762 (java) S 23759 23762 23715 0 -1 4202496 7072 0 1 0 54 1 0 0 20 0 18 0 109727428 9787879424 10453 33554432000 1073741824 1073778376 140733356532960 140733356524096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23762/statm: 2389619 10453 2234 9 0 2380296 0
[pid=23762/tid=23771] ppid=23759 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/23762/task/23771/stat : 23771 (java) R 23759 23762 23715 0 -1 4202560 2403 0 1 0 28 0 0 0 20 0 18 0 109727429 9787879424 10453 33554432000 1073741824 1073778376 140733356532960 140613095487768 140612951542526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558476
[startup+0.700247 s]
/proc/loadavg: 1.06 1.45 1.83 2/177 23762
/proc/meminfo: memFree=30381024/32872528 swapFree=15784/1434320
[pid=23762] ppid=23759 vsize=9824732 CPUtime=1.85 cores=1,3,5,7
/proc/23762/stat : 23762 (java) S 23759 23762 23715 0 -1 4202496 20778 0 1 0 180 5 0 0 20 0 22 0 109727428 10060525568 30901 33554432000 1073741824 1073778376 140733356532960 140733356524096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23762/statm: 2456183 30901 2256 9 0 2446860 0
[pid=23762/tid=23771] ppid=23759 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/23762/task/23771/stat : 23771 (java) S 23759 23762 23715 0 -1 4202560 2436 0 1 0 46 2 0 0 20 0 22 0 109727429 10060525568 30901 33554432000 1073741824 1073778376 140733356532960 140613095490424 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 9824732
[startup+1.50086 s]
/proc/loadavg: 1.14 1.46 1.83 9/219 23804
/proc/meminfo: memFree=30139972/32872528 swapFree=15784/1434320
[pid=23762] ppid=23759 vsize=9824732 CPUtime=4.78 cores=1,3,5,7
/proc/23762/stat : 23762 (java) S 23759 23762 23715 0 -1 4202496 23626 0 1 0 472 6 0 0 20 0 22 0 109727428 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140733356524096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23762/statm: 2456183 40297 2275 9 0 2446860 0
[pid=23762/tid=23771] ppid=23759 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/23762/task/23771/stat : 23771 (java) S 23759 23762 23715 0 -1 4202560 2436 0 1 0 46 2 0 0 20 0 22 0 109727429 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140613095490424 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23773] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23773/stat : 23773 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727429 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140613073591080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23774] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23774/stat : 23774 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727429 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140613072538280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23775] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23775/stat : 23775 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727429 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140613071485992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23776] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23776/stat : 23776 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727429 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140613070433192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23777] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23777/stat : 23777 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727429 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612732971304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23778] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23778/stat : 23778 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727429 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612731918504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23779] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23779/stat : 23779 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727429 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612730866216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23780] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23780/stat : 23780 (java) S 23759 23762 23715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 109727429 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612729813416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23784] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23784/stat : 23784 (java) S 23759 23762 23715 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 109727430 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612717615848 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23785] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23785/stat : 23785 (java) S 23759 23762 23715 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 109727431 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612716561912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23786] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23786/stat : 23786 (java) S 23759 23762 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109727431 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612715509512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23792] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23792/stat : 23792 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727433 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612714458000 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23793] ppid=23759 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/23762/task/23793/stat : 23793 (java) S 23759 23762 23715 0 -1 4202560 12775 0 0 0 111 3 0 0 20 0 22 0 109727433 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612713404600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23794] ppid=23759 vsize=9824732 CPUtime=1.22 cores=1,3,5,7
/proc/23762/task/23794/stat : 23794 (java) S 23759 23762 23715 0 -1 4202560 7055 0 0 0 120 2 0 0 20 0 22 0 109727433 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612712351800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23795] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23795/stat : 23795 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727433 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612711299704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23796] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23796/stat : 23796 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727433 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612710247112 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23801] ppid=23759 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/23762/task/23801/stat : 23801 (java) R 23759 23762 23715 0 -1 4202560 20 0 0 0 96 0 0 0 20 0 22 0 109727478 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612709192536 140612951953920 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23802] ppid=23759 vsize=9824732 CPUtime=0.92 cores=1,3,5,7
/proc/23762/task/23802/stat : 23802 (java) R 23759 23762 23715 0 -1 4202560 60 0 0 0 92 0 0 0 20 0 22 0 109727478 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612708139512 140612952087557 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23803] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23803/stat : 23803 (java) S 23759 23762 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109727480 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612707088040 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23804] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23804/stat : 23804 (java) S 23759 23762 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109727480 10060525568 40297 33554432000 1073741824 1073778376 140733356532960 140612706035240 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.78
Current children cumulated vsize (KiB) 9824732
[startup+3.10088 s]
/proc/loadavg: 1.14 1.46 1.83 8/219 23804
/proc/meminfo: memFree=29985048/32872528 swapFree=15784/1434320
[pid=23762] ppid=23759 vsize=9824732 CPUtime=8.34 cores=1,3,5,7
/proc/23762/stat : 23762 (java) S 23759 23762 23715 0 -1 4202496 23783 0 1 0 823 11 0 0 20 0 22 0 109727428 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140733356524096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23762/statm: 2456183 55233 2292 9 0 2446860 0
[pid=23762/tid=23771] ppid=23759 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/23762/task/23771/stat : 23771 (java) S 23759 23762 23715 0 -1 4202560 2436 0 1 0 46 2 0 0 20 0 22 0 109727429 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140613095490424 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23773] ppid=23759 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/23762/task/23773/stat : 23773 (java) S 23759 23762 23715 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 22 0 109727429 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140613073591080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23774] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23774/stat : 23774 (java) S 23759 23762 23715 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 109727429 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140613072538280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23775] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23775/stat : 23775 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727429 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140613071485992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23776] ppid=23759 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/23762/task/23776/stat : 23776 (java) S 23759 23762 23715 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 109727429 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140613070433192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23777] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23777/stat : 23777 (java) S 23759 23762 23715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 109727429 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612732971304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23778] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23778/stat : 23778 (java) S 23759 23762 23715 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 109727429 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612731918504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23779] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23779/stat : 23779 (java) S 23759 23762 23715 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 109727429 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612730866216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23780] ppid=23759 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/23762/task/23780/stat : 23780 (java) S 23759 23762 23715 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 109727429 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612729813416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23784] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23784/stat : 23784 (java) S 23759 23762 23715 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 109727430 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612717615848 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23785] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23785/stat : 23785 (java) S 23759 23762 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109727431 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612716561912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23786] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23786/stat : 23786 (java) S 23759 23762 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109727431 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612715509512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23792] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23792/stat : 23792 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727433 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612714458000 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23793] ppid=23759 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/23762/task/23793/stat : 23793 (java) S 23759 23762 23715 0 -1 4202560 12777 0 0 0 131 3 0 0 20 0 22 0 109727433 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612713404600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23794] ppid=23759 vsize=9824732 CPUtime=1.37 cores=1,3,5,7
/proc/23762/task/23794/stat : 23794 (java) S 23759 23762 23715 0 -1 4202560 7059 0 0 0 135 2 0 0 20 0 22 0 109727433 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612712351800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23795] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23795/stat : 23795 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727433 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612711299704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23796] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23796/stat : 23796 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727433 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612710247112 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23801] ppid=23759 vsize=9824732 CPUtime=2.52 cores=1,3,5,7
/proc/23762/task/23801/stat : 23801 (java) R 23759 23762 23715 0 -1 4202560 21 0 0 0 252 0 0 0 20 0 22 0 109727478 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612709190544 140612951852944 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23802] ppid=23759 vsize=9824732 CPUtime=2.44 cores=1,3,5,7
/proc/23762/task/23802/stat : 23802 (java) R 23759 23762 23715 0 -1 4202560 78 0 0 0 242 2 0 0 20 0 22 0 109727478 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612708139320 140612951901006 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23803] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23803/stat : 23803 (java) S 23759 23762 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109727480 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612707088040 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23804] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23804/stat : 23804 (java) S 23759 23762 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109727480 10060525568 55233 33554432000 1073741824 1073778376 140733356532960 140612706035240 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.34
Current children cumulated vsize (KiB) 9824732
[startup+6.30096 s]
/proc/loadavg: 1.37 1.50 1.84 5/219 23804
/proc/meminfo: memFree=29498760/32872528 swapFree=15784/1434320
[pid=23762] ppid=23759 vsize=9824732 CPUtime=14.93 cores=1,3,5,7
/proc/23762/stat : 23762 (java) S 23759 23762 23715 0 -1 4202496 24143 0 1 0 1475 18 0 0 20 0 22 0 109727428 10060525568 97747 33554432000 1073741824 1073778376 140733356532960 140733356524096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23762/statm: 2456183 97747 2292 9 0 2446860 0
[pid=23762/tid=23771] ppid=23759 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/23762/task/23771/stat : 23771 (java) S 23759 23762 23715 0 -1 4202560 2436 0 1 0 46 2 0 0 20 0 22 0 109727429 10060525568 97747 33554432000 1073741824 1073778376 140733356532960 140613095490424 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23773] ppid=23759 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/23762/task/23773/stat : 23773 (java) S 23759 23762 23715 0 -1 4202560 47 0 0 0 3 2 0 0 20 0 22 0 109727429 10060525568 97747 33554432000 1073741824 1073778376 140733356532960 140613073591080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23774] ppid=23759 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/23762/task/23774/stat : 23774 (java) S 23759 23762 23715 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 22 0 109727429 10060525568 97747 33554432000 1073741824 1073778376 140733356532960 140613072538280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23775] ppid=23759 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/23762/task/23775/stat : 23775 (java) S 23759 23762 23715 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 109727429 10060525568 97747 33554432000 1073741824 1073778376 140733356532960 140613071485992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23776] ppid=23759 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/23762/task/23776/stat : 23776 (java) S 23759 23762 23715 0 -1 4202560 63 0 0 0 3 3 0 0 20 0 22 0 109727429 10060525568 97747 33554432000 1073741824 1073778376 140733356532960 140613070433192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23777] ppid=23759 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/23762/task/23777/stat : 23777 (java) S 23759 23762 23715 0 -1 4202560 26 0 0 0 3 0 0 0 20 0 22 0 109727429 10060525568 97747 33554432000 1073741824 1073778376 140733356532960 140612732971304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23778] ppid=23759 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/23762/task/23778/stat : 23778 (java) S 23759 23762 23715 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 22 0 109727429 10060525568 97747 33554432000 1073741824 1073778376 140733356532960 140612731918504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23779] ppid=23759 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/23762/task/23779/stat : 23779 (java) S 23759 23762 23715 0 -1 4202560 30 0 0 0 3 1 0 0 20 0 22 0 109727429 10060525568 97747 33554432000 1073741824 1073778376 140733356532960 140612730866216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23780] ppid=23759 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.22 4.05 3.23 6/219 23826
/proc/meminfo: memFree=22793584/32872528 swapFree=15784/1434320
[pid=23762] ppid=23759 vsize=9824732 CPUtime=1654.39 cores=1,3,5,7
/proc/23762/stat : 23762 (java) S 23759 23762 23715 0 -1 4202496 34983 0 1 0 165233 206 0 0 20 0 22 0 109727428 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140733356524096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23762/statm: 2456183 942945 2301 9 0 2446860 0
[pid=23762/tid=23771] ppid=23759 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/23762/task/23771/stat : 23771 (java) S 23759 23762 23715 0 -1 4202560 2448 0 1 0 49 3 0 0 20 0 22 0 109727429 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140613095490424 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23773] ppid=23759 vsize=9824732 CPUtime=3.35 cores=1,3,5,7
/proc/23762/task/23773/stat : 23773 (java) S 23759 23762 23715 0 -1 4202560 819 0 0 0 315 20 0 0 20 0 22 0 109727429 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140613073591080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23774] ppid=23759 vsize=9824732 CPUtime=3.25 cores=1,3,5,7
/proc/23762/task/23774/stat : 23774 (java) S 23759 23762 23715 0 -1 4202560 619 0 0 0 309 16 0 0 20 0 22 0 109727429 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140613072538280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23775] ppid=23759 vsize=9824732 CPUtime=3.75 cores=1,3,5,7
/proc/23762/task/23775/stat : 23775 (java) S 23759 23762 23715 0 -1 4202560 689 0 0 0 355 20 0 0 20 0 22 0 109727429 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140613071485992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23776] ppid=23759 vsize=9824732 CPUtime=3.5 cores=1,3,5,7
/proc/23762/task/23776/stat : 23776 (java) S 23759 23762 23715 0 -1 4202560 817 0 0 0 333 17 0 0 20 0 22 0 109727429 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140613070433192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23777] ppid=23759 vsize=9824732 CPUtime=3.6 cores=1,3,5,7
/proc/23762/task/23777/stat : 23777 (java) S 23759 23762 23715 0 -1 4202560 760 0 0 0 340 20 0 0 20 0 22 0 109727429 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612732971304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23778] ppid=23759 vsize=9824732 CPUtime=3.54 cores=1,3,5,7
/proc/23762/task/23778/stat : 23778 (java) S 23759 23762 23715 0 -1 4202560 757 0 0 0 333 21 0 0 20 0 22 0 109727429 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612731918504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23779] ppid=23759 vsize=9824732 CPUtime=3.19 cores=1,3,5,7
/proc/23762/task/23779/stat : 23779 (java) S 23759 23762 23715 0 -1 4202560 722 0 0 0 303 16 0 0 20 0 22 0 109727429 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612730866216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23780] ppid=23759 vsize=9824732 CPUtime=3.23 cores=1,3,5,7
/proc/23762/task/23780/stat : 23780 (java) S 23759 23762 23715 0 -1 4202560 569 0 0 0 307 16 0 0 20 0 22 0 109727429 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612729813416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23784] ppid=23759 vsize=9824732 CPUtime=5.65 cores=1,3,5,7
/proc/23762/task/23784/stat : 23784 (java) S 23759 23762 23715 0 -1 4202560 2404 0 0 0 556 9 0 0 20 0 22 0 109727430 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612717615848 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23785] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23785/stat : 23785 (java) S 23759 23762 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109727431 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612716561912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23786] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23786/stat : 23786 (java) S 23759 23762 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109727431 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612715509512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23792] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23792/stat : 23792 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727433 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612714458000 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23793] ppid=23759 vsize=9824732 CPUtime=1.45 cores=1,3,5,7
/proc/23762/task/23793/stat : 23793 (java) S 23759 23762 23715 0 -1 4202560 12783 0 0 0 142 3 0 0 20 0 22 0 109727433 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612713404600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23794] ppid=23759 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/23762/task/23794/stat : 23794 (java) S 23759 23762 23715 0 -1 4202560 8314 0 0 0 177 2 0 0 20 0 22 0 109727433 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612712351800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23795] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23795/stat : 23795 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727433 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612711299704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23796] ppid=23759 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/23762/task/23796/stat : 23796 (java) S 23759 23762 23715 0 -1 4202560 47 0 0 0 17 18 0 0 20 0 22 0 109727433 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612710247112 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23801] ppid=23759 vsize=9824732 CPUtime=808.78 cores=1,3,5,7
/proc/23762/task/23801/stat : 23801 (java) R 23759 23762 23715 0 -1 4202560 72 0 0 0 80863 15 0 0 20 0 22 0 109727478 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612709190688 140612951871899 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23802] ppid=23759 vsize=9824732 CPUtime=808.67 cores=1,3,5,7
/proc/23762/task/23802/stat : 23802 (java) R 23759 23762 23715 0 -1 4202560 1897 0 0 0 80822 45 0 0 20 0 22 0 109727478 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612708139368 140612952332908 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23803] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23803/stat : 23803 (java) S 23759 23762 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109727480 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612707088040 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23804] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23804/stat : 23804 (java) S 23759 23762 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109727480 10060525568 942945 33554432000 1073741824 1073778376 140733356532960 140612706035240 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1654.39
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.30 4.10 3.30 5/219 23827
/proc/meminfo: memFree=22785520/32872528 swapFree=15784/1434320
[pid=23762] ppid=23759 vsize=9824732 CPUtime=1776.21 cores=1,3,5,7
/proc/23762/stat : 23762 (java) S 23759 23762 23715 0 -1 4202496 35014 0 1 0 177412 209 0 0 20 0 22 0 109727428 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140733356524096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23762/statm: 2456183 944993 2301 9 0 2446860 0
[pid=23762/tid=23771] ppid=23759 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/23762/task/23771/stat : 23771 (java) S 23759 23762 23715 0 -1 4202560 2451 0 1 0 49 3 0 0 20 0 22 0 109727429 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140613095490424 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23773] ppid=23759 vsize=9824732 CPUtime=3.81 cores=1,3,5,7
/proc/23762/task/23773/stat : 23773 (java) S 23759 23762 23715 0 -1 4202560 823 0 0 0 360 21 0 0 20 0 22 0 109727429 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140613073591080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23774] ppid=23759 vsize=9824732 CPUtime=3.76 cores=1,3,5,7
/proc/23762/task/23774/stat : 23774 (java) S 23759 23762 23715 0 -1 4202560 620 0 0 0 360 16 0 0 20 0 22 0 109727429 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140613072538280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23775] ppid=23759 vsize=9824732 CPUtime=4.15 cores=1,3,5,7
/proc/23762/task/23775/stat : 23775 (java) S 23759 23762 23715 0 -1 4202560 689 0 0 0 395 20 0 0 20 0 22 0 109727429 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140613071485992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23776] ppid=23759 vsize=9824732 CPUtime=3.86 cores=1,3,5,7
/proc/23762/task/23776/stat : 23776 (java) S 23759 23762 23715 0 -1 4202560 817 0 0 0 369 17 0 0 20 0 22 0 109727429 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140613070433192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23777] ppid=23759 vsize=9824732 CPUtime=4.16 cores=1,3,5,7
/proc/23762/task/23777/stat : 23777 (java) S 23759 23762 23715 0 -1 4202560 761 0 0 0 396 20 0 0 20 0 22 0 109727429 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612732971304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23778] ppid=23759 vsize=9824732 CPUtime=4.02 cores=1,3,5,7
/proc/23762/task/23778/stat : 23778 (java) S 23759 23762 23715 0 -1 4202560 761 0 0 0 381 21 0 0 20 0 22 0 109727429 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612731918504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23779] ppid=23759 vsize=9824732 CPUtime=3.52 cores=1,3,5,7
/proc/23762/task/23779/stat : 23779 (java) S 23759 23762 23715 0 -1 4202560 723 0 0 0 336 16 0 0 20 0 22 0 109727429 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612730866216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23780] ppid=23759 vsize=9824732 CPUtime=3.8 cores=1,3,5,7
/proc/23762/task/23780/stat : 23780 (java) S 23759 23762 23715 0 -1 4202560 572 0 0 0 364 16 0 0 20 0 22 0 109727429 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612729813416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23784] ppid=23759 vsize=9824732 CPUtime=5.65 cores=1,3,5,7
/proc/23762/task/23784/stat : 23784 (java) S 23759 23762 23715 0 -1 4202560 2408 0 0 0 556 9 0 0 20 0 22 0 109727430 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612717615848 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23785] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23785/stat : 23785 (java) S 23759 23762 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109727431 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612716561912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23786] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23786/stat : 23786 (java) S 23759 23762 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109727431 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612715509512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23792] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23792/stat : 23792 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727433 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612714458000 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23793] ppid=23759 vsize=9824732 CPUtime=1.45 cores=1,3,5,7
/proc/23762/task/23793/stat : 23793 (java) S 23759 23762 23715 0 -1 4202560 12783 0 0 0 142 3 0 0 20 0 22 0 109727433 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612713404600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23794] ppid=23759 vsize=9824732 CPUtime=1.8 cores=1,3,5,7
/proc/23762/task/23794/stat : 23794 (java) S 23759 23762 23715 0 -1 4202560 8315 0 0 0 178 2 0 0 20 0 22 0 109727433 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612712351800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23795] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23795/stat : 23795 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727433 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612711299704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23796] ppid=23759 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/23762/task/23796/stat : 23796 (java) S 23759 23762 23715 0 -1 4202560 51 0 0 0 18 20 0 0 20 0 22 0 109727433 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612710247112 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23801] ppid=23759 vsize=9824732 CPUtime=867.84 cores=1,3,5,7
/proc/23762/task/23801/stat : 23801 (java) R 23759 23762 23715 0 -1 4202560 74 0 0 0 86768 16 0 0 20 0 22 0 109727478 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612709190512 140612951857166 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23802] ppid=23759 vsize=9824732 CPUtime=867.72 cores=1,3,5,7
/proc/23762/task/23802/stat : 23802 (java) R 23759 23762 23715 0 -1 4202560 1900 0 0 0 86726 46 0 0 20 0 22 0 109727478 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612708138592 140612952457572 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23803] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23803/stat : 23803 (java) S 23759 23762 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109727480 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612707088040 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23804] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23804/stat : 23804 (java) S 23759 23762 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109727480 10060525568 944993 33554432000 1073741824 1073778376 140733356532960 140612706035240 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1776.21
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+894.001 s]
/proc/loadavg: 4.25 4.10 3.30 11/219 23827
/proc/meminfo: memFree=22786516/32872528 swapFree=15784/1434320
[pid=23762] ppid=23759 vsize=9824732 CPUtime=1800 cores=1,3,5,7
/proc/23762/stat : 23762 (java) S 23759 23762 23715 0 -1 4202496 35050 0 1 0 179790 210 0 0 20 0 22 0 109727428 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140733356524096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23762/statm: 2456183 944625 2301 9 0 2446860 0
[pid=23762/tid=23771] ppid=23759 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/23762/task/23771/stat : 23771 (java) S 23759 23762 23715 0 -1 4202560 2451 0 1 0 49 3 0 0 20 0 22 0 109727429 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140613095490424 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23773] ppid=23759 vsize=9824732 CPUtime=3.9 cores=1,3,5,7
/proc/23762/task/23773/stat : 23773 (java) S 23759 23762 23715 0 -1 4202560 824 0 0 0 369 21 0 0 20 0 22 0 109727429 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140613073591080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23774] ppid=23759 vsize=9824732 CPUtime=3.84 cores=1,3,5,7
/proc/23762/task/23774/stat : 23774 (java) S 23759 23762 23715 0 -1 4202560 621 0 0 0 368 16 0 0 20 0 22 0 109727429 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140613072538280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23775] ppid=23759 vsize=9824732 CPUtime=4.25 cores=1,3,5,7
/proc/23762/task/23775/stat : 23775 (java) S 23759 23762 23715 0 -1 4202560 693 0 0 0 405 20 0 0 20 0 22 0 109727429 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140613071485992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23776] ppid=23759 vsize=9824732 CPUtime=4.02 cores=1,3,5,7
/proc/23762/task/23776/stat : 23776 (java) S 23759 23762 23715 0 -1 4202560 822 0 0 0 384 18 0 0 20 0 22 0 109727429 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140613070433192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23777] ppid=23759 vsize=9824732 CPUtime=4.24 cores=1,3,5,7
/proc/23762/task/23777/stat : 23777 (java) S 23759 23762 23715 0 -1 4202560 763 0 0 0 404 20 0 0 20 0 22 0 109727429 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612732971304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23778] ppid=23759 vsize=9824732 CPUtime=4.19 cores=1,3,5,7
/proc/23762/task/23778/stat : 23778 (java) S 23759 23762 23715 0 -1 4202560 767 0 0 0 398 21 0 0 20 0 22 0 109727429 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612731918504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23762/tid=23779] ppid=23759 vsize=9824732 CPUtime=3.62 cores=1,3,5,7
/proc/23762/task/23779/stat : 23779 (java) S 23759 23762 23715 0 -1 4202560 725 0 0 0 346 16 0 0 20 0 22 0 109727429 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612730866216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23780] ppid=23759 vsize=9824732 CPUtime=3.88 cores=1,3,5,7
/proc/23762/task/23780/stat : 23780 (java) S 23759 23762 23715 0 -1 4202560 574 0 0 0 372 16 0 0 20 0 22 0 109727429 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612729813416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23784] ppid=23759 vsize=9824732 CPUtime=5.66 cores=1,3,5,7
/proc/23762/task/23784/stat : 23784 (java) S 23759 23762 23715 0 -1 4202560 2418 0 0 0 556 10 0 0 20 0 22 0 109727430 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612717615848 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23785] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23785/stat : 23785 (java) S 23759 23762 23715 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 109727431 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612716561912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23786] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23786/stat : 23786 (java) S 23759 23762 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109727431 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612715509512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23792] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23792/stat : 23792 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727433 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612714458000 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23793] ppid=23759 vsize=9824732 CPUtime=1.45 cores=1,3,5,7
/proc/23762/task/23793/stat : 23793 (java) S 23759 23762 23715 0 -1 4202560 12783 0 0 0 142 3 0 0 20 0 22 0 109727433 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612713404600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23794] ppid=23759 vsize=9824732 CPUtime=1.8 cores=1,3,5,7
/proc/23762/task/23794/stat : 23794 (java) S 23759 23762 23715 0 -1 4202560 8315 0 0 0 178 2 0 0 20 0 22 0 109727433 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612712351800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23795] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23795/stat : 23795 (java) S 23759 23762 23715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 109727433 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612711299704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23796] ppid=23759 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/23762/task/23796/stat : 23796 (java) S 23759 23762 23715 0 -1 4202560 51 0 0 0 18 20 0 0 20 0 22 0 109727433 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612710247112 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23801] ppid=23759 vsize=9824732 CPUtime=879.31 cores=1,3,5,7
/proc/23762/task/23801/stat : 23801 (java) R 23759 23762 23715 0 -1 4202560 75 0 0 0 87915 16 0 0 20 0 22 0 109727478 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612709191456 140612952105704 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23762/tid=23802] ppid=23759 vsize=9824732 CPUtime=879.19 cores=1,3,5,7
/proc/23762/task/23802/stat : 23802 (java) R 23759 23762 23715 0 -1 4202560 1902 0 0 0 87873 46 0 0 20 0 22 0 109727478 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612708137408 140612952110053 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23762/tid=23803] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23803/stat : 23803 (java) S 23759 23762 23715 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 109727480 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612707088040 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23762/tid=23804] ppid=23759 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23762/task/23804/stat : 23804 (java) S 23759 23762 23715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 109727480 10060525568 944625 33554432000 1073741824 1073778376 140733356532960 140612706035240 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9824732
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 23762 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 894.085
CPU time (s): 1800.71
CPU user time (s): 1798.05
CPU system time (s): 2.66059
CPU usage (%): 201.402
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.05
system time used= 2.66059
maximum resident set size= 3779972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35083
page faults= 1
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24004
involuntary context switches= 31177
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.03208 second user time and 7.2459 second system time
The end