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-4103554-1466243142/watcher-4103554-1466243142 -o /tmp/evaluation-result-4103554-1466243142/solver-4103554-1466243142 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466241279-6374 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4103554-1466243142.opb
pid=7452
running on 4 cores: 0,2,4,6
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: 4.43 4.22 3.72 4/197 7455
/proc/meminfo: memFree=28554960/32872528 swapFree=681964/737152
[pid=7455] ppid=7452 vsize=96324 CPUtime=0 cores=0,2,4,6
/proc/7455/stat : 7455 (java) S 7452 7455 6358 0 -1 4202496 1328 0 0 0 0 0 0 0 20 0 2 0 26363459 98635776 959 33554432000 1073741824 1073778376 140736318356608 140736318347744 213869690941 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7455/statm: 24081 961 729 9 0 16771 0
[pid=7455/tid=7456] ppid=7452 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7456/stat : 7456 (java) R 7452 7455 6358 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 26363460 98570240 977 33554432000 1073741824 1073778376 140736318356608 140360412741160 213866333568 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0
[startup+0.100062 s]
/proc/loadavg: 4.43 4.22 3.72 4/197 7455
/proc/meminfo: memFree=28554960/32872528 swapFree=681964/737152
[pid=7455] ppid=7452 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/7455/stat : 7455 (java) S 7452 7455 6358 0 -1 4202496 4478 0 1 0 9 1 0 0 20 0 18 0 26363459 9787879424 5595 33554432000 1073741824 1073778376 140736318356608 140736318347744 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7455/statm: 2389619 5595 2126 9 0 2380296 0
[pid=7455/tid=7456] ppid=7452 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/7455/task/7456/stat : 7456 (java) R 7452 7455 6358 0 -1 4202560 2441 0 1 0 6 1 0 0 20 0 18 0 26363460 9787879424 5595 33554432000 1073741824 1073778376 140736318356608 140360412744608 140360285201104 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200325 s]
/proc/loadavg: 4.43 4.22 3.72 4/197 7455
/proc/meminfo: memFree=28554960/32872528 swapFree=681964/737152
[pid=7455] ppid=7452 vsize=9558476 CPUtime=0.31 cores=0,2,4,6
/proc/7455/stat : 7455 (java) S 7452 7455 6358 0 -1 4202496 5147 0 1 0 29 2 0 0 20 0 18 0 26363459 9787879424 6963 33554432000 1073741824 1073778376 140736318356608 140736318347744 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7455/statm: 2389619 6963 2221 9 0 2380296 0
[pid=7455/tid=7456] ppid=7452 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/7455/task/7456/stat : 7456 (java) R 7452 7455 6358 0 -1 4202560 2457 0 1 0 16 1 0 0 20 0 18 0 26363460 9787879424 6963 33554432000 1073741824 1073778376 140736318356608 140360412737264 140360285190623 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9558476
[startup+0.300338 s]
/proc/loadavg: 4.43 4.22 3.72 4/197 7455
/proc/meminfo: memFree=28554960/32872528 swapFree=681964/737152
[pid=7455] ppid=7452 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/7455/stat : 7455 (java) S 7452 7455 6358 0 -1 4202496 5869 0 1 0 46 2 0 0 20 0 18 0 26363459 9787879424 11371 33554432000 1073741824 1073778376 140736318356608 140736318347744 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7455/statm: 2389619 11371 2232 9 0 2380296 0
[pid=7455/tid=7456] ppid=7452 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/7455/task/7456/stat : 7456 (java) R 7452 7455 6358 0 -1 4202560 2465 0 1 0 26 1 0 0 20 0 18 0 26363460 9787879424 11371 33554432000 1073741824 1073778376 140736318356608 140360412737264 140360285154640 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476
[startup+0.700309 s]
/proc/loadavg: 4.43 4.22 3.72 4/197 7455
/proc/meminfo: memFree=28554960/32872528 swapFree=681964/737152
[pid=7455] ppid=7452 vsize=9558476 CPUtime=1.53 cores=0,2,4,6
/proc/7455/stat : 7455 (java) S 7452 7455 6358 0 -1 4202496 18659 0 1 0 147 6 0 0 20 0 18 0 26363459 9787879424 41562 33554432000 1073741824 1073778376 140736318356608 140736318347744 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7455/statm: 2389619 41562 2249 9 0 2380296 0
[pid=7455/tid=7456] ppid=7452 vsize=9558476 CPUtime=0.67 cores=0,2,4,6
/proc/7455/task/7456/stat : 7456 (java) R 7452 7455 6358 0 -1 4202560 2518 0 1 0 64 3 0 0 20 0 18 0 26363460 9787879424 41562 33554432000 1073741824 1073778376 140736318356608 140360412737264 140360416031635 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 9558476
[startup+1.5008 s]
/proc/loadavg: 4.43 4.22 3.72 11/217 7475
/proc/meminfo: memFree=28305084/32872528 swapFree=681964/737152
[pid=7455] ppid=7452 vsize=9824732 CPUtime=3.79 cores=0,2,4,6
/proc/7455/stat : 7455 (java) S 7452 7455 6358 0 -1 4202496 19918 0 1 0 364 15 0 0 20 0 22 0 26363459 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140736318347744 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7455/statm: 2456183 64349 2284 9 0 2446860 0
[pid=7455/tid=7456] ppid=7452 vsize=9824732 CPUtime=0.95 cores=0,2,4,6
/proc/7455/task/7456/stat : 7456 (java) S 7452 7455 6358 0 -1 4202560 2537 0 1 0 92 3 0 0 20 0 22 0 26363460 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360412746616 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7458] ppid=7452 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/7455/task/7458/stat : 7458 (java) S 7452 7455 6358 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 22 0 26363461 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360256714920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7459] ppid=7452 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/7455/task/7459/stat : 7459 (java) S 7452 7455 6358 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 26363461 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360255662376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7460] ppid=7452 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/7455/task/7460/stat : 7460 (java) S 7452 7455 6358 0 -1 4202560 141 0 0 0 5 2 0 0 20 0 22 0 26363461 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360254609832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7461] ppid=7452 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/7455/task/7461/stat : 7461 (java) S 7452 7455 6358 0 -1 4202560 121 0 0 0 6 2 0 0 20 0 22 0 26363461 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360253557288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7462] ppid=7452 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/7455/task/7462/stat : 7462 (java) S 7452 7455 6358 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 26363461 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360252504744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7463] ppid=7452 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/7455/task/7463/stat : 7463 (java) S 7452 7455 6358 0 -1 4202560 121 0 0 0 5 3 0 0 20 0 22 0 26363461 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360251452200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7464] ppid=7452 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/7455/task/7464/stat : 7464 (java) S 7452 7455 6358 0 -1 4202560 85 0 0 0 2 0 0 0 20 0 22 0 26363461 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360250399656 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7465] ppid=7452 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/7455/task/7465/stat : 7465 (java) S 7452 7455 6358 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 22 0 26363461 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360249347112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7466] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7466/stat : 7466 (java) S 7452 7455 6358 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 26363462 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360236935272 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7467] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7467/stat : 7467 (java) S 7452 7455 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26363462 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360235881592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7468] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7468/stat : 7468 (java) S 7452 7455 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26363462 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360234828936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7469] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7469/stat : 7469 (java) S 7452 7455 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26363465 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360233777680 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7470] ppid=7452 vsize=9824732 CPUtime=0.7 cores=0,2,4,6
/proc/7455/task/7470/stat : 7470 (java) R 7452 7455 6358 0 -1 4202560 6484 0 0 0 69 1 0 0 20 0 22 0 26363465 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360232725048 140360418589399 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7471] ppid=7452 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/7455/task/7471/stat : 7471 (java) R 7452 7455 6358 0 -1 4202560 8968 0 0 0 84 1 0 0 20 0 22 0 26363465 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360231672504 140360419542128 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7472] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7472/stat : 7472 (java) S 7452 7455 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26363465 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360230620152 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7473] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7473/stat : 7473 (java) S 7452 7455 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26363465 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360229567816 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7474] ppid=7452 vsize=9824732 CPUtime=0.38 cores=0,2,4,6
/proc/7455/task/7474/stat : 7474 (java) R 7452 7455 6358 0 -1 4202560 18 0 0 0 38 0 0 0 20 0 22 0 26363563 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360228510912 140360285928248 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7475] ppid=7452 vsize=9824732 CPUtime=0.38 cores=0,2,4,6
/proc/7455/task/7475/stat : 7475 (java) R 7452 7455 6358 0 -1 4202560 24 0 0 0 38 0 0 0 20 0 22 0 26363563 10060525568 64349 33554432000 1073741824 1073778376 140736318356608 140360227459064 140360285971552 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 9824732
[startup+3.10087 s]
/proc/loadavg: 4.43 4.22 3.72 5/219 7477
/proc/meminfo: memFree=28106128/32872528 swapFree=681964/737152
[pid=7455] ppid=7452 vsize=9824732 CPUtime=7.89 cores=0,2,4,6
/proc/7455/stat : 7455 (java) S 7452 7455 6358 0 -1 4202496 24574 0 1 0 765 24 0 0 20 0 22 0 26363459 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140736318347744 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7455/statm: 2456183 107720 2290 9 0 2446860 0
[pid=7455/tid=7456] ppid=7452 vsize=9824732 CPUtime=0.95 cores=0,2,4,6
/proc/7455/task/7456/stat : 7456 (java) S 7452 7455 6358 0 -1 4202560 2537 0 1 0 92 3 0 0 20 0 22 0 26363460 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360412746616 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7458] ppid=7452 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/7455/task/7458/stat : 7458 (java) S 7452 7455 6358 0 -1 4202560 31 0 0 0 4 1 0 0 20 0 22 0 26363461 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360256714920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7459] ppid=7452 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/7455/task/7459/stat : 7459 (java) S 7452 7455 6358 0 -1 4202560 58 0 0 0 6 2 0 0 20 0 22 0 26363461 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360255662376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7460] ppid=7452 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/7455/task/7460/stat : 7460 (java) S 7452 7455 6358 0 -1 4202560 176 0 0 0 11 3 0 0 20 0 22 0 26363461 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360254609832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7461] ppid=7452 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/7455/task/7461/stat : 7461 (java) S 7452 7455 6358 0 -1 4202560 140 0 0 0 9 2 0 0 20 0 22 0 26363461 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360253557288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7462] ppid=7452 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/7455/task/7462/stat : 7462 (java) S 7452 7455 6358 0 -1 4202560 43 0 0 0 4 2 0 0 20 0 22 0 26363461 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360252504744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7463] ppid=7452 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/7455/task/7463/stat : 7463 (java) S 7452 7455 6358 0 -1 4202560 136 0 0 0 9 3 0 0 20 0 22 0 26363461 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360251452200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7464] ppid=7452 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/7455/task/7464/stat : 7464 (java) S 7452 7455 6358 0 -1 4202560 96 0 0 0 4 1 0 0 20 0 22 0 26363461 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360250399656 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7465] ppid=7452 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/7455/task/7465/stat : 7465 (java) S 7452 7455 6358 0 -1 4202560 36 0 0 0 3 1 0 0 20 0 22 0 26363461 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360249347112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7466] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7466/stat : 7466 (java) S 7452 7455 6358 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 26363462 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360236935272 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7467] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7467/stat : 7467 (java) S 7452 7455 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26363462 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360235881592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7468] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7468/stat : 7468 (java) S 7452 7455 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26363462 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360234828936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7469] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7469/stat : 7469 (java) S 7452 7455 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26363465 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360233777680 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7470] ppid=7452 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/7455/task/7470/stat : 7470 (java) S 7452 7455 6358 0 -1 4202560 6517 0 0 0 92 1 0 0 20 0 22 0 26363465 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360232725048 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7471] ppid=7452 vsize=9824732 CPUtime=1.42 cores=0,2,4,6
/proc/7455/task/7471/stat : 7471 (java) S 7452 7455 6358 0 -1 4202560 13238 0 0 0 140 2 0 0 20 0 22 0 26363465 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360231672504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7472] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7472/stat : 7472 (java) S 7452 7455 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26363465 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360230620152 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7473] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7473/stat : 7473 (java) S 7452 7455 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26363465 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360229567816 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7474] ppid=7452 vsize=9824732 CPUtime=1.87 cores=0,2,4,6
/proc/7455/task/7474/stat : 7474 (java) R 7452 7455 6358 0 -1 4202560 24 0 0 0 187 0 0 0 20 0 22 0 26363563 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360228510032 140360286011443 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7475] ppid=7452 vsize=9824732 CPUtime=1.87 cores=0,2,4,6
/proc/7455/task/7475/stat : 7475 (java) R 7452 7455 6358 0 -1 4202560 74 0 0 0 185 2 0 0 20 0 22 0 26363563 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360227459152 140360285606896 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7476] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7476/stat : 7476 (java) S 7452 7455 6358 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 26363575 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360226407464 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7477] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7477/stat : 7477 (java) S 7452 7455 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26363575 10060525568 107720 33554432000 1073741824 1073778376 140736318356608 140360225354920 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 9824732
[startup+6.30099 s]
/proc/loadavg: 4.40 4.22 3.73 5/219 7477
/proc/meminfo: memFree=27804016/32872528 swapFree=681964/737152
[pid=7455] ppid=7452 vsize=9824732 CPUtime=14.85 cores=0,2,4,6
/proc/7455/stat : 7455 (java) S 7452 7455 6358 0 -1 4202496 26571 0 1 0 1450 35 0 0 20 0 22 0 26363459 10060525568 173345 33554432000 1073741824 1073778376 140736318356608 140736318347744 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7455/statm: 2456183 173345 2290 9 0 2446860 0
[pid=7455/tid=7456] ppid=7452 vsize=9824732 CPUtime=0.95 cores=0,2,4,6
/proc/7455/task/7456/stat : 7456 (java) S 7452 7455 6358 0 -1 4202560 2537 0 1 0 92 3 0 0 20 0 22 0 26363460 10060525568 173345 33554432000 1073741824 1073778376 140736318356608 140360412746616 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7458] ppid=7452 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/7455/task/7458/stat : 7458 (java) S 7452 7455 6358 0 -1 4202560 64 0 0 0 7 3 0 0 20 0 22 0 26363461 10060525568 173345 33554432000 1073741824 1073778376 140736318356608 140360256714920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7459] ppid=7452 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/7455/task/7459/stat : 7459 (java) S 7452 7455 6358 0 -1 4202560 61 0 0 0 7 3 0 0 20 0 22 0 26363461 10060525568 173345 33554432000 1073741824 1073778376 140736318356608 140360255662376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7460] ppid=7452 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/7455/task/7460/stat : 7460 (java) S 7452 7455 6358 0 -1 4202560 181 0 0 0 12 3 0 0 20 0 22 0 26363461 10060525568 173345 33554432000 1073741824 1073778376 140736318356608 140360254609832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7461] ppid=7452 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/7455/task/7461/stat : 7461 (java) S 7452 7455 6358 0 -1 4202560 155 0 0 0 10 4 0 0 20 0 22 0 26363461 10060525568 173345 33554432000 1073741824 1073778376 140736318356608 140360253557288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7462] ppid=7452 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/7455/task/7462/stat : 7462 (java) S 7452 7455 6358 0 -1 4202560 66 0 0 0 8 4 0 0 20 0 22 0 26363461 10060525568 173345 33554432000 1073741824 1073778376 140736318356608 140360252504744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7463] ppid=7452 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/7455/task/7463/stat : 7463 (java) S 7452 7455 6358 0 -1 4202560 144 0 0 0 11 4 0 0 20 0 22 0 26363461 10060525568 173345 33554432000 1073741824 1073778376 140736318356608 140360251452200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7464] ppid=7452 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/7455/task/7464/stat : 7464 (java) S 7452 7455 6358 0 -1 4202560 104 0 0 0 5 1 0 0 20 0 22 0 26363461 10060525568 173345 33554432000 1073741824 1073778376 140736318356608 140360250399656 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7465] ppid=7452 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/7455/task/7465/stat : 7465 (java) S 7452 7455 6358 0 -1 4202560 41 0 0 0 4 1 0 0 20 0 22 0 26363461 10060525568 173345 33554432000 1073741824 1073778376 140736318356608 140360249347112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7466] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7466/stat : 7466 (java) S 7452 7455 6358 0 -1 4202560 484 0 0 0 0 0 0 0 20 0 22 0 26363462 10060525568 173345 33554432000 1073741824 1073778376 140736318356608 140360236935272 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7467] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/7455/task/7460/stat : 7460 (java) S 7452 7455 6358 0 -1 4202560 840 0 0 0 333 21 0 0 20 0 22 0 26363461 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360254609832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7461] ppid=7452 vsize=9824732 CPUtime=3.23 cores=0,2,4,6
/proc/7455/task/7461/stat : 7461 (java) S 7452 7455 6358 0 -1 4202560 608 0 0 0 306 17 0 0 20 0 22 0 26363461 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360253557288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7462] ppid=7452 vsize=9824732 CPUtime=3.38 cores=0,2,4,6
/proc/7455/task/7462/stat : 7462 (java) S 7452 7455 6358 0 -1 4202560 546 0 0 0 321 17 0 0 20 0 22 0 26363461 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360252504744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7463] ppid=7452 vsize=9824732 CPUtime=3.43 cores=0,2,4,6
/proc/7455/task/7463/stat : 7463 (java) S 7452 7455 6358 0 -1 4202560 796 0 0 0 321 22 0 0 20 0 22 0 26363461 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360251452200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7464] ppid=7452 vsize=9824732 CPUtime=3.05 cores=0,2,4,6
/proc/7455/task/7464/stat : 7464 (java) S 7452 7455 6358 0 -1 4202560 557 0 0 0 291 14 0 0 20 0 22 0 26363461 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360250399656 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7465] ppid=7452 vsize=9824732 CPUtime=3.13 cores=0,2,4,6
/proc/7455/task/7465/stat : 7465 (java) S 7452 7455 6358 0 -1 4202560 592 0 0 0 297 16 0 0 20 0 22 0 26363461 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360249347112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7466] ppid=7452 vsize=9824732 CPUtime=3.01 cores=0,2,4,6
/proc/7455/task/7466/stat : 7466 (java) S 7452 7455 6358 0 -1 4202560 2007 0 0 0 292 9 0 0 20 0 22 0 26363462 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360236935272 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7467] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7467/stat : 7467 (java) S 7452 7455 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26363462 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360235881592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7468] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7468/stat : 7468 (java) S 7452 7455 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26363462 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360234828936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7469] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7469/stat : 7469 (java) S 7452 7455 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26363465 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360233777680 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7470] ppid=7452 vsize=9824732 CPUtime=1.28 cores=0,2,4,6
/proc/7455/task/7470/stat : 7470 (java) S 7452 7455 6358 0 -1 4202560 9323 0 0 0 126 2 0 0 20 0 22 0 26363465 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360232725048 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7471] ppid=7452 vsize=9824732 CPUtime=2.16 cores=0,2,4,6
/proc/7455/task/7471/stat : 7471 (java) S 7452 7455 6358 0 -1 4202560 14665 0 0 0 213 3 0 0 20 0 22 0 26363465 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360231672504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7472] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7472/stat : 7472 (java) S 7452 7455 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26363465 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360230620152 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7473] ppid=7452 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/7455/task/7473/stat : 7473 (java) S 7452 7455 6358 0 -1 4202560 47 0 0 0 18 15 0 0 20 0 22 0 26363465 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360229567816 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7474] ppid=7452 vsize=9824732 CPUtime=808.87 cores=0,2,4,6
/proc/7455/task/7474/stat : 7474 (java) R 7452 7455 6358 0 -1 4202560 163 0 0 0 80871 16 0 0 20 0 22 0 26363563 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360228510112 140360285993856 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7475] ppid=7452 vsize=9824732 CPUtime=808.86 cores=0,2,4,6
/proc/7455/task/7475/stat : 7475 (java) R 7452 7455 6358 0 -1 4202560 1629 0 0 0 80847 39 0 0 20 0 22 0 26363563 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360227458336 140360285617812 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7476] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7476/stat : 7476 (java) S 7452 7455 6358 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 26363575 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360226407464 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7477] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7477/stat : 7477 (java) S 7452 7455 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26363575 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360225354920 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1656.21
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.21 4.21 4.02 5/220 7651
/proc/meminfo: memFree=25273020/32872528 swapFree=681964/737152
[pid=7455] ppid=7452 vsize=9824732 CPUtime=1777.01 cores=0,2,4,6
/proc/7455/stat : 7455 (java) S 7452 7455 6358 0 -1 4202496 36766 0 1 0 177494 207 0 0 20 0 22 0 26363459 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140736318347744 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7455/statm: 2456183 886839 2299 9 0 2446860 0
[pid=7455/tid=7456] ppid=7452 vsize=9824732 CPUtime=1 cores=0,2,4,6
/proc/7455/task/7456/stat : 7456 (java) S 7452 7455 6358 0 -1 4202560 2551 0 1 0 95 5 0 0 20 0 22 0 26363460 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360412746616 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7458] ppid=7452 vsize=9824732 CPUtime=3.84 cores=0,2,4,6
/proc/7455/task/7458/stat : 7458 (java) S 7452 7455 6358 0 -1 4202560 610 0 0 0 363 21 0 0 20 0 22 0 26363461 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360256714920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7459] ppid=7452 vsize=9824732 CPUtime=3.57 cores=0,2,4,6
/proc/7455/task/7459/stat : 7459 (java) S 7452 7455 6358 0 -1 4202560 528 0 0 0 341 16 0 0 20 0 22 0 26363461 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360255662376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7460] ppid=7452 vsize=9824732 CPUtime=3.72 cores=0,2,4,6
/proc/7455/task/7460/stat : 7460 (java) S 7452 7455 6358 0 -1 4202560 840 0 0 0 350 22 0 0 20 0 22 0 26363461 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360254609832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7461] ppid=7452 vsize=9824732 CPUtime=3.46 cores=0,2,4,6
/proc/7455/task/7461/stat : 7461 (java) S 7452 7455 6358 0 -1 4202560 608 0 0 0 329 17 0 0 20 0 22 0 26363461 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360253557288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7462] ppid=7452 vsize=9824732 CPUtime=3.64 cores=0,2,4,6
/proc/7455/task/7462/stat : 7462 (java) S 7452 7455 6358 0 -1 4202560 546 0 0 0 347 17 0 0 20 0 22 0 26363461 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360252504744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7463] ppid=7452 vsize=9824732 CPUtime=3.67 cores=0,2,4,6
/proc/7455/task/7463/stat : 7463 (java) S 7452 7455 6358 0 -1 4202560 796 0 0 0 345 22 0 0 20 0 22 0 26363461 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360251452200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7464] ppid=7452 vsize=9824732 CPUtime=3.2 cores=0,2,4,6
/proc/7455/task/7464/stat : 7464 (java) S 7452 7455 6358 0 -1 4202560 557 0 0 0 306 14 0 0 20 0 22 0 26363461 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360250399656 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7465] ppid=7452 vsize=9824732 CPUtime=3.36 cores=0,2,4,6
/proc/7455/task/7465/stat : 7465 (java) S 7452 7455 6358 0 -1 4202560 592 0 0 0 320 16 0 0 20 0 22 0 26363461 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360249347112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7466] ppid=7452 vsize=9824732 CPUtime=3.02 cores=0,2,4,6
/proc/7455/task/7466/stat : 7466 (java) S 7452 7455 6358 0 -1 4202560 2027 0 0 0 292 10 0 0 20 0 22 0 26363462 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360236935272 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7467] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7467/stat : 7467 (java) S 7452 7455 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26363462 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360235881592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7468] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7468/stat : 7468 (java) S 7452 7455 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26363462 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360234828936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7469] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7469/stat : 7469 (java) S 7452 7455 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26363465 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360233777680 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7470] ppid=7452 vsize=9824732 CPUtime=1.28 cores=0,2,4,6
/proc/7455/task/7470/stat : 7470 (java) S 7452 7455 6358 0 -1 4202560 9323 0 0 0 126 2 0 0 20 0 22 0 26363465 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360232725048 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7471] ppid=7452 vsize=9824732 CPUtime=2.16 cores=0,2,4,6
/proc/7455/task/7471/stat : 7471 (java) S 7452 7455 6358 0 -1 4202560 14665 0 0 0 213 3 0 0 20 0 22 0 26363465 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360231672504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7472] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7472/stat : 7472 (java) S 7452 7455 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26363465 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360230620152 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7473] ppid=7452 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/7455/task/7473/stat : 7473 (java) S 7452 7455 6358 0 -1 4202560 51 0 0 0 20 15 0 0 20 0 22 0 26363465 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360229567816 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7474] ppid=7452 vsize=9824732 CPUtime=868.24 cores=0,2,4,6
/proc/7455/task/7474/stat : 7474 (java) R 7452 7455 6358 0 -1 4202560 168 0 0 0 86806 18 0 0 20 0 22 0 26363563 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360228510800 140360286138727 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7475] ppid=7452 vsize=9824732 CPUtime=868.22 cores=0,2,4,6
/proc/7455/task/7475/stat : 7475 (java) R 7452 7455 6358 0 -1 4202560 1634 0 0 0 86782 40 0 0 20 0 22 0 26363563 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360227457568 140360285937576 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7476] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7476/stat : 7476 (java) S 7452 7455 6358 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 26363575 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360226407464 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7477] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7477/stat : 7477 (java) S 7452 7455 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26363575 10060525568 886839 33554432000 1073741824 1073778376 140736318356608 140360225354920 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1777.01
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+893.801 s]
/proc/loadavg: 4.25 4.22 4.03 6/220 7654
/proc/meminfo: memFree=25272772/32872528 swapFree=681964/737152
[pid=7455] ppid=7452 vsize=9824732 CPUtime=1800.08 cores=0,2,4,6
/proc/7455/stat : 7455 (java) S 7452 7455 6358 0 -1 4202496 36776 0 1 0 179801 207 0 0 20 0 22 0 26363459 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140736318347744 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7455/statm: 2456183 886847 2299 9 0 2446860 0
[pid=7455/tid=7456] ppid=7452 vsize=9824732 CPUtime=1 cores=0,2,4,6
/proc/7455/task/7456/stat : 7456 (java) S 7452 7455 6358 0 -1 4202560 2551 0 1 0 95 5 0 0 20 0 22 0 26363460 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360412746616 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7458] ppid=7452 vsize=9824732 CPUtime=3.89 cores=0,2,4,6
/proc/7455/task/7458/stat : 7458 (java) S 7452 7455 6358 0 -1 4202560 610 0 0 0 368 21 0 0 20 0 22 0 26363461 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360256714920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7459] ppid=7452 vsize=9824732 CPUtime=3.6 cores=0,2,4,6
/proc/7455/task/7459/stat : 7459 (java) S 7452 7455 6358 0 -1 4202560 528 0 0 0 344 16 0 0 20 0 22 0 26363461 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360255662376 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7460] ppid=7452 vsize=9824732 CPUtime=3.74 cores=0,2,4,6
/proc/7455/task/7460/stat : 7460 (java) S 7452 7455 6358 0 -1 4202560 840 0 0 0 352 22 0 0 20 0 22 0 26363461 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360254609832 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7461] ppid=7452 vsize=9824732 CPUtime=3.52 cores=0,2,4,6
/proc/7455/task/7461/stat : 7461 (java) S 7452 7455 6358 0 -1 4202560 608 0 0 0 335 17 0 0 20 0 22 0 26363461 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360253557288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7462] ppid=7452 vsize=9824732 CPUtime=3.68 cores=0,2,4,6
/proc/7455/task/7462/stat : 7462 (java) S 7452 7455 6358 0 -1 4202560 546 0 0 0 351 17 0 0 20 0 22 0 26363461 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360252504744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7463] ppid=7452 vsize=9824732 CPUtime=3.7 cores=0,2,4,6
/proc/7455/task/7463/stat : 7463 (java) S 7452 7455 6358 0 -1 4202560 796 0 0 0 348 22 0 0 20 0 22 0 26363461 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360251452200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7464] ppid=7452 vsize=9824732 CPUtime=3.23 cores=0,2,4,6
/proc/7455/task/7464/stat : 7464 (java) S 7452 7455 6358 0 -1 4202560 557 0 0 0 309 14 0 0 20 0 22 0 26363461 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360250399656 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7465] ppid=7452 vsize=9824732 CPUtime=3.39 cores=0,2,4,6
/proc/7455/task/7465/stat : 7465 (java) S 7452 7455 6358 0 -1 4202560 592 0 0 0 323 16 0 0 20 0 22 0 26363461 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360249347112 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7466] ppid=7452 vsize=9824732 CPUtime=3.02 cores=0,2,4,6
/proc/7455/task/7466/stat : 7466 (java) S 7452 7455 6358 0 -1 4202560 2035 0 0 0 292 10 0 0 20 0 22 0 26363462 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360236935272 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7467] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7467/stat : 7467 (java) S 7452 7455 6358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26363462 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360235881592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7468] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7468/stat : 7468 (java) S 7452 7455 6358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26363462 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360234828936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7469] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7469/stat : 7469 (java) S 7452 7455 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26363465 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360233777680 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7470] ppid=7452 vsize=9824732 CPUtime=1.28 cores=0,2,4,6
/proc/7455/task/7470/stat : 7470 (java) S 7452 7455 6358 0 -1 4202560 9323 0 0 0 126 2 0 0 20 0 22 0 26363465 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360232725048 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7471] ppid=7452 vsize=9824732 CPUtime=2.16 cores=0,2,4,6
/proc/7455/task/7471/stat : 7471 (java) S 7452 7455 6358 0 -1 4202560 14665 0 0 0 213 3 0 0 20 0 22 0 26363465 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360231672504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7455/tid=7472] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7472/stat : 7472 (java) S 7452 7455 6358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26363465 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360230620152 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7473] ppid=7452 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/7455/task/7473/stat : 7473 (java) S 7452 7455 6358 0 -1 4202560 51 0 0 0 20 15 0 0 20 0 22 0 26363465 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360229567816 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7474] ppid=7452 vsize=9824732 CPUtime=879.61 cores=0,2,4,6
/proc/7455/task/7474/stat : 7474 (java) R 7452 7455 6358 0 -1 4202560 170 0 0 0 87943 18 0 0 20 0 22 0 26363563 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360228510920 140360286077443 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7455/tid=7475] ppid=7452 vsize=9824732 CPUtime=879.58 cores=0,2,4,6
/proc/7455/task/7475/stat : 7475 (java) R 7452 7455 6358 0 -1 4202560 1634 0 0 0 87918 40 0 0 20 0 22 0 26363563 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360227457688 140360285934513 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7455/tid=7476] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7476/stat : 7476 (java) S 7452 7455 6358 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 26363575 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360226407464 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7455/tid=7477] ppid=7452 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7455/task/7477/stat : 7477 (java) S 7452 7455 6358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26363575 10060525568 886847 33554432000 1073741824 1073778376 140736318356608 140360225354920 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 7455 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7455 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=669320
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=557611
# CPU time returned by wait4() is 1796.23
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 893.89
CPU time (s): 1800.08
CPU user time (s): 1798.01
CPU system time (s): 2.07
CPU usage (%): 201.376
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.67
system time used= 2.55761
maximum resident set size= 3563448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36811
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25788
involuntary context switches= 31595
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.67314 second user time and 7.52286 second system time
The end