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-4096695-1466112731/watcher-4096695-1466112731 -o /tmp/evaluation-result-4096695-1466112731/solver-4096695-1466112731 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466112677-30850 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4096695-1466112731.opb
pid=32430
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: 3.29 2.42 2.18 6/197 32433
/proc/meminfo: memFree=29684292/32872528 swapFree=496356/529060
[pid=32433] ppid=32430 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/32433/stat : 32433 (java) R 32430 32433 28709 0 -1 4202496 839 0 0 0 0 0 0 0 20 0 1 0 13318583 23793664 489 33554432000 1073741824 1073778376 140733442129664 140733442118728 211449592385 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32433/statm: 5809 500 379 9 0 128 0
[startup+0.100061 s]
/proc/loadavg: 3.29 2.42 2.18 6/197 32433
/proc/meminfo: memFree=29684292/32872528 swapFree=496356/529060
[pid=32433] ppid=32430 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/32433/stat : 32433 (java) S 32430 32433 28709 0 -1 4202496 4492 0 1 0 8 1 0 0 20 0 18 0 13318583 9787879424 5602 33554432000 1073741824 1073778376 140733442129664 140733442120800 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32433/statm: 2389619 5602 2141 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200223 s]
/proc/loadavg: 3.29 2.42 2.18 6/197 32433
/proc/meminfo: memFree=29684292/32872528 swapFree=496356/529060
[pid=32433] ppid=32430 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/32433/stat : 32433 (java) S 32430 32433 28709 0 -1 4202496 5012 0 1 0 25 1 0 0 20 0 18 0 13318583 9787879424 6538 33554432000 1073741824 1073778376 140733442129664 140733442120800 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32433/statm: 2389619 6538 2213 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.300212 s]
/proc/loadavg: 3.29 2.42 2.18 6/197 32433
/proc/meminfo: memFree=29684292/32872528 swapFree=496356/529060
[pid=32433] ppid=32430 vsize=9558476 CPUtime=0.51 cores=0,2,4,6
/proc/32433/stat : 32433 (java) S 32430 32433 28709 0 -1 4202496 5637 0 1 0 49 2 0 0 20 0 18 0 13318583 9787879424 8991 33554432000 1073741824 1073778376 140733442129664 140733442120800 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32433/statm: 2389619 8991 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558476
[startup+0.700183 s]
/proc/loadavg: 3.29 2.42 2.18 6/197 32433
/proc/meminfo: memFree=29684292/32872528 swapFree=496356/529060
[pid=32433] ppid=32430 vsize=9824732 CPUtime=1.69 cores=0,2,4,6
/proc/32433/stat : 32433 (java) S 32430 32433 28709 0 -1 4202496 15497 0 1 0 166 3 0 0 20 0 22 0 13318583 10060525568 18390 33554432000 1073741824 1073778376 140733442129664 140733442120800 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32433/statm: 2456183 18390 2263 9 0 2446860 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 9824732
[startup+1.50084 s]
/proc/loadavg: 3.59 2.49 2.20 8/219 32455
/proc/meminfo: memFree=29578216/32872528 swapFree=496356/529060
[pid=32433] ppid=32430 vsize=9826292 CPUtime=4.32 cores=0,2,4,6
/proc/32433/stat : 32433 (java) S 32430 32433 28709 0 -1 4202496 26251 0 1 0 424 8 0 0 20 0 22 0 13318583 10062123008 47292 33554432000 1073741824 1073778376 140733442129664 140733442120800 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32433/statm: 2456573 47292 2288 9 0 2447250 0
[pid=32433/tid=32435] ppid=32430 vsize=9826292 CPUtime=0.38 cores=0,2,4,6
/proc/32433/task/32435/stat : 32435 (java) S 32430 32433 28709 0 -1 4202560 2482 0 1 0 36 2 0 0 20 0 22 0 13318584 10062123008 47292 33554432000 1073741824 1073778376 140733442129664 139811994891128 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32433/tid=32436] ppid=32430 vsize=9826292 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32436/stat : 32436 (java) S 32430 32433 28709 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 13318585 10062123008 47292 33554432000 1073741824 1073778376 140733442129664 139811838786472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32437] ppid=32430 vsize=9826292 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32437/stat : 32437 (java) S 32430 32433 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13318585 10062123008 47292 33554432000 1073741824 1073778376 140733442129664 139811837733928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32433/tid=32438] ppid=32430 vsize=9826292 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32438/stat : 32438 (java) S 32430 32433 28709 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 13318585 10062123008 47292 33554432000 1073741824 1073778376 140733442129664 139811836680872 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32433/tid=32439] ppid=32430 vsize=9826292 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32439/stat : 32439 (java) S 32430 32433 28709 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 13318585 10062123008 47292 33554432000 1073741824 1073778376 140733442129664 139811835628328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32433/tid=32440] ppid=32430 vsize=9826292 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32440/stat : 32440 (java) S 32430 32433 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13318585 10062123008 47292 33554432000 1073741824 1073778376 140733442129664 139811834575272 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32433/tid=32441] ppid=32430 vsize=9826292 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32441/stat : 32441 (java) S 32430 32433 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13318585 10062123008 47292 33554432000 1073741824 1073778376 140733442129664 139811833522728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32442] ppid=32430 vsize=9826292 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32442/stat : 32442 (java) S 32430 32433 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13318585 10062123008 47292 33554432000 1073741824 1073778376 140733442129664 139811832469672 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32433/tid=32443] ppid=32430 vsize=9826292 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32443/stat : 32443 (java) S 32430 32433 28709 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 13318585 10062123008 47292 33554432000 1073741824 1073778376 140733442129664 139811831417128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32444] ppid=32430 vsize=9826292 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32444/stat : 32444 (java) S 32430 32433 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 13318586 10062123008 47292 33554432000 1073741824 1073778376 140733442129664 139811819219816 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32445] ppid=32430 vsize=9826292 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32445/stat : 32445 (java) S 32430 32433 28709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13318586 10062123008 47292 33554432000 1073741824 1073778376 140733442129664 139811818166136 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32446] ppid=32430 vsize=9826292 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32446/stat : 32446 (java) S 32430 32433 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 13318586 10062123008 47292 33554432000 1073741824 1073778376 140733442129664 139811817112968 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32447] ppid=32430 vsize=9826292 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32447/stat : 32447 (java) S 32430 32433 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13318588 10062123008 47292 33554432000 1073741824 1073778376 140733442129664 139811816061712 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32448] ppid=32430 vsize=9826292 CPUtime=1.11 cores=0,2,4,6
/proc/32433/task/32448/stat : 32448 (java) R 32430 32433 28709 0 -1 4202560 9408 0 0 0 110 1 0 0 20 0 22 0 13318588 10062123008 47292 33554432000 1073741824 1073778376 140733442129664 139811814995976 139812000805145 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=32433/tid=32449] ppid=32430 vsize=9826292 CPUtime=0.94 cores=0,2,4,6
/proc/32433/task/32449/stat : 32449 (java) R 32430 32433 28709 0 -1 4202560 12957 0 0 0 93 1 0 0 20 0 22 0 13318588 10062123008 47292 33554432000 1073741824 1073778376 140733442129664 139811813933176 211458470590 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=32433/tid=32450] ppid=32430 vsize=9826292 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32450/stat : 32450 (java) S 32430 32433 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13318588 10062123008 47292 33554432000 1073741824 1073778376 140733442129664 139811812903160 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32433/tid=32451] ppid=32430 vsize=9826292 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32451/stat : 32451 (java) S 32430 32433 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13318588 10062123008 47310 33554432000 1073741824 1073778376 140733442129664 139811811850824 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32433/tid=32452] ppid=32430 vsize=9826292 CPUtime=0.87 cores=0,2,4,6
/proc/32433/task/32452/stat : 32452 (java) R 32430 32433 28709 0 -1 4202560 15 0 0 0 87 0 0 0 20 0 22 0 13318624 10062123008 47329 33554432000 1073741824 1073778376 140733442129664 139811810329616 139811867977265 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32453] ppid=32430 vsize=9826292 CPUtime=0.92 cores=0,2,4,6
/proc/32433/task/32453/stat : 32453 (java) R 32430 32433 28709 0 -1 4202560 82 0 0 0 89 3 0 0 20 0 22 0 13318624 10062123008 47348 33554432000 1073741824 1073778376 140733442129664 139811809276856 139811867889360 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=32433/tid=32454] ppid=32430 vsize=9826292 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32454/stat : 32454 (java) S 32430 32433 28709 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 13318624 10062123008 47366 33554432000 1073741824 1073778376 140733442129664 139811808224552 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32433/tid=32455] ppid=32430 vsize=9826292 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32455/stat : 32455 (java) S 32430 32433 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13318625 10062123008 47386 33554432000 1073741824 1073778376 140733442129664 139811807172008 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 9826292
[startup+3.10092 s]
/proc/loadavg: 3.59 2.49 2.20 5/219 32455
/proc/meminfo: memFree=29483272/32872528 swapFree=496356/529060
[pid=32433] ppid=32430 vsize=9824732 CPUtime=8.11 cores=0,2,4,6
/proc/32433/stat : 32433 (java) S 32430 32433 28709 0 -1 4202496 32036 0 1 0 799 12 0 0 20 0 22 0 13318583 10060525568 83306 33554432000 1073741824 1073778376 140733442129664 140733442120800 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32433/statm: 2456183 83306 2292 9 0 2446860 0
[pid=32433/tid=32435] ppid=32430 vsize=9824732 CPUtime=0.38 cores=0,2,4,6
/proc/32433/task/32435/stat : 32435 (java) S 32430 32433 28709 0 -1 4202560 2482 0 1 0 36 2 0 0 20 0 22 0 13318584 10060525568 83306 33554432000 1073741824 1073778376 140733442129664 139811994891128 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32433/tid=32436] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32436/stat : 32436 (java) S 32430 32433 28709 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 13318585 10060525568 83306 33554432000 1073741824 1073778376 140733442129664 139811838786472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32433/tid=32437] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32437/stat : 32437 (java) S 32430 32433 28709 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 13318585 10060525568 83306 33554432000 1073741824 1073778376 140733442129664 139811837733928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32433/tid=32438] ppid=32430 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/32433/task/32438/stat : 32438 (java) S 32430 32433 28709 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 13318585 10060525568 83306 33554432000 1073741824 1073778376 140733442129664 139811836680872 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32433/tid=32439] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32439/stat : 32439 (java) S 32430 32433 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13318585 10060525568 83306 33554432000 1073741824 1073778376 140733442129664 139811835628328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32433/tid=32440] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32440/stat : 32440 (java) S 32430 32433 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 13318585 10060525568 83306 33554432000 1073741824 1073778376 140733442129664 139811834575272 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32433/tid=32441] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32441/stat : 32441 (java) S 32430 32433 28709 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 13318585 10060525568 83306 33554432000 1073741824 1073778376 140733442129664 139811833522728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32442] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32442/stat : 32442 (java) S 32430 32433 28709 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 13318585 10060525568 83306 33554432000 1073741824 1073778376 140733442129664 139811832469672 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32433/tid=32443] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32443/stat : 32443 (java) S 32430 32433 28709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 13318585 10060525568 83306 33554432000 1073741824 1073778376 140733442129664 139811831417128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32433/tid=32444] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32444/stat : 32444 (java) S 32430 32433 28709 0 -1 4202560 184 0 0 0 0 0 0 0 20 0 22 0 13318586 10060525568 83306 33554432000 1073741824 1073778376 140733442129664 139811819219816 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32445] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32445/stat : 32445 (java) S 32430 32433 28709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13318586 10060525568 83306 33554432000 1073741824 1073778376 140733442129664 139811818166136 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32446] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32446/stat : 32446 (java) S 32430 32433 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 13318586 10060525568 83306 33554432000 1073741824 1073778376 140733442129664 139811817112968 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32447] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32447/stat : 32447 (java) S 32430 32433 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13318588 10060525568 83306 33554432000 1073741824 1073778376 140733442129664 139811816061712 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32448] ppid=32430 vsize=9824732 CPUtime=1.45 cores=0,2,4,6
/proc/32433/task/32448/stat : 32448 (java) S 32430 32433 28709 0 -1 4202560 13009 0 0 0 143 2 0 0 20 0 22 0 13318588 10060525568 83306 33554432000 1073741824 1073778376 140733442129664 139811815008568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32433/tid=32449] ppid=32430 vsize=9824732 CPUtime=1.19 cores=0,2,4,6
/proc/32433/task/32449/stat : 32449 (java) S 32430 32433 28709 0 -1 4202560 14867 0 0 0 116 3 0 0 20 0 22 0 13318588 10060525568 83306 33554432000 1073741824 1073778376 140733442129664 139811813956024 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32433/tid=32450] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32450/stat : 32450 (java) S 32430 32433 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13318588 10060525568 83306 33554432000 1073741824 1073778376 140733442129664 139811812903160 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32433/tid=32451] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32451/stat : 32451 (java) S 32430 32433 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13318588 10060525568 83306 33554432000 1073741824 1073778376 140733442129664 139811811850824 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32433/tid=32452] ppid=32430 vsize=9824732 CPUtime=2.44 cores=0,2,4,6
/proc/32433/task/32452/stat : 32452 (java) R 32430 32433 28709 0 -1 4202560 16 0 0 0 244 0 0 0 20 0 22 0 13318624 10060525568 83306 33554432000 1073741824 1073778376 140733442129664 139811810320768 139811868073193 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=32433/tid=32453] ppid=32430 vsize=9824732 CPUtime=2.48 cores=0,2,4,6
/proc/32433/task/32453/stat : 32453 (java) R 32430 32433 28709 0 -1 4202560 141 0 0 0 244 4 0 0 20 0 22 0 13318624 10060525568 83306 33554432000 1073741824 1073778376 140733442129664 139811809276416 139811867967666 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32454] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32454/stat : 32454 (java) S 32430 32433 28709 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 13318624 10060525568 83306 33554432000 1073741824 1073778376 140733442129664 139811808224552 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32433/tid=32455] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32455/stat : 32455 (java) S 32430 32433 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13318625 10060525568 83306 33554432000 1073741824 1073778376 140733442129664 139811807172008 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 8.11
Current children cumulated vsize (KiB) 9824732
[startup+6.30097 s]
/proc/loadavg: 3.59 2.49 2.20 5/219 32455
/proc/meminfo: memFree=29083480/32872528 swapFree=496356/529060
[pid=32433] ppid=32430 vsize=9824732 CPUtime=14.63 cores=0,2,4,6
/proc/32433/stat : 32433 (java) S 32430 32433 28709 0 -1 4202496 32763 0 1 0 1444 19 0 0 20 0 22 0 13318583 10060525568 150622 33554432000 1073741824 1073778376 140733442129664 140733442120800 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32433/statm: 2456183 150622 2292 9 0 2446860 0
[pid=32433/tid=32435] ppid=32430 vsize=9824732 CPUtime=0.38 cores=0,2,4,6
/proc/32433/task/32435/stat : 32435 (java) S 32430 32433 28709 0 -1 4202560 2482 0 1 0 36 2 0 0 20 0 22 0 13318584 10060525568 150622 33554432000 1073741824 1073778376 140733442129664 139811994891128 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32433/tid=32436] ppid=32430 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/32433/task/32436/stat : 32436 (java) S 32430 32433 28709 0 -1 4202560 95 0 0 0 2 0 0 0 20 0 22 0 13318585 10060525568 150622 33554432000 1073741824 1073778376 140733442129664 139811838786472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32433/tid=32437] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32437/stat : 32437 (java) S 32430 32433 28709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 13318585 10060525568 150622 33554432000 1073741824 1073778376 140733442129664 139811837733928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32433/tid=32438] ppid=32430 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/32433/task/32438/stat : 32438 (java) S 32430 32433 28709 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 13318585 10060525568 150622 33554432000 1073741824 1073778376 140733442129664 139811836680872 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32433/tid=32439] ppid=32430 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/32433/task/32439/stat : 32439 (java) S 32430 32433 28709 0 -1 4202560 96 0 0 0 2 0 0 0 20 0 22 0 13318585 10060525568 150622 33554432000 1073741824 1073778376 140733442129664 139811835628328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32440] ppid=32430 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/32433/task/32440/stat : 32440 (java) S 32430 32433 28709 0 -1 4202560 85 0 0 0 2 0 0 0 20 0 22 0 13318585 10060525568 150622 33554432000 1073741824 1073778376 140733442129664 139811834575272 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32433/tid=32441] ppid=32430 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/32433/task/32441/stat : 32441 (java) S 32430 32433 28709 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 13318585 10060525568 150622 33554432000 1073741824 1073778376 140733442129664 139811833522728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32442] ppid=32430 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/32433/task/32442/stat : 32442 (java) S 32430 32433 28709 0 -1 4202560 83 0 0 0 1 0 0 0 20 0 22 0 13318585 10060525568 150622 33554432000 1073741824 1073778376 140733442129664 139811832469672 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32433/tid=32443] ppid=32430 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/32433/task/32443/stat : 32443 (java) S 32430 32433 28709 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 13318585 10060525568 150622 33554432000 1073741824 1073778376 140733442129664 139811831417128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32433/tid=32444] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32444/stat : 32444 (java) S 32430 32433 28709 0 -1 4202560 437 0 0 0 0 0 0 0 20 0 22 0 13318586 10060525568 150622 33554432000 1073741824 1073778376 140733442129664 139811819219816 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32445] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32445/stat : 32445 (java) S 32430 32433 28709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13318586 10060525568 150622 33554432000 1073741824 1073778376 140733442129664 139811818166136 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32446] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32446/stat : 32446 (java) S 32430 32433 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 13318586 10060525568 150622 33554432000 1073741824 1073778376 140733442129664 139811817112968 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32447] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32447/stat : 32447 (java) S 32430 32433 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13318588 10060525568 150622 33554432000 1073741824 1073778376 140733442129664 139811816061712 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32448] ppid=32430 vsize=9824732 CPUtime=1.46 cores=0,2,4,6
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.06 4.00 3.31 6/219 32474
/proc/meminfo: memFree=27815992/32872528 swapFree=496356/529060
[pid=32433] ppid=32430 vsize=9824732 CPUtime=1655.04 cores=0,2,4,6
/proc/32433/stat : 32433 (java) S 32430 32433 28709 0 -1 4202496 41181 0 1 0 165377 127 0 0 20 0 22 0 13318583 10060525568 390626 33554432000 1073741824 1073778376 140733442129664 140733442120800 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32433/statm: 2456183 390626 2293 9 0 2446860 0
[pid=32433/tid=32435] ppid=32430 vsize=9824732 CPUtime=0.42 cores=0,2,4,6
/proc/32433/task/32435/stat : 32435 (java) S 32430 32433 28709 0 -1 4202560 2492 0 1 0 38 4 0 0 20 0 22 0 13318584 10060525568 390626 33554432000 1073741824 1073778376 140733442129664 139811994891128 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32433/tid=32436] ppid=32430 vsize=9824732 CPUtime=2.87 cores=0,2,4,6
/proc/32433/task/32436/stat : 32436 (java) S 32430 32433 28709 0 -1 4202560 395 0 0 0 283 4 0 0 20 0 22 0 13318585 10060525568 390626 33554432000 1073741824 1073778376 140733442129664 139811838786472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32433/tid=32437] ppid=32430 vsize=9824732 CPUtime=2.74 cores=0,2,4,6
/proc/32433/task/32437/stat : 32437 (java) S 32430 32433 28709 0 -1 4202560 304 0 0 0 270 4 0 0 20 0 22 0 13318585 10060525568 390626 33554432000 1073741824 1073778376 140733442129664 139811837733928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32433/tid=32438] ppid=32430 vsize=9824732 CPUtime=2.72 cores=0,2,4,6
/proc/32433/task/32438/stat : 32438 (java) S 32430 32433 28709 0 -1 4202560 316 0 0 0 268 4 0 0 20 0 22 0 13318585 10060525568 390626 33554432000 1073741824 1073778376 140733442129664 139811836680872 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32433/tid=32439] ppid=32430 vsize=9824732 CPUtime=2.93 cores=0,2,4,6
/proc/32433/task/32439/stat : 32439 (java) S 32430 32433 28709 0 -1 4202560 391 0 0 0 288 5 0 0 20 0 22 0 13318585 10060525568 390626 33554432000 1073741824 1073778376 140733442129664 139811835628328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32433/tid=32440] ppid=32430 vsize=9824732 CPUtime=2.69 cores=0,2,4,6
/proc/32433/task/32440/stat : 32440 (java) S 32430 32433 28709 0 -1 4202560 392 0 0 0 263 6 0 0 20 0 22 0 13318585 10060525568 390626 33554432000 1073741824 1073778376 140733442129664 139811834575272 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32433/tid=32441] ppid=32430 vsize=9824732 CPUtime=2.86 cores=0,2,4,6
/proc/32433/task/32441/stat : 32441 (java) S 32430 32433 28709 0 -1 4202560 321 0 0 0 281 5 0 0 20 0 22 0 13318585 10060525568 390626 33554432000 1073741824 1073778376 140733442129664 139811833522728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32433/tid=32442] ppid=32430 vsize=9824732 CPUtime=2.93 cores=0,2,4,6
/proc/32433/task/32442/stat : 32442 (java) S 32430 32433 28709 0 -1 4202560 396 0 0 0 287 6 0 0 20 0 22 0 13318585 10060525568 390626 33554432000 1073741824 1073778376 140733442129664 139811832469672 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32433/tid=32443] ppid=32430 vsize=9824732 CPUtime=2.99 cores=0,2,4,6
/proc/32433/task/32443/stat : 32443 (java) S 32430 32433 28709 0 -1 4202560 321 0 0 0 293 6 0 0 20 0 22 0 13318585 10060525568 390626 33554432000 1073741824 1073778376 140733442129664 139811831417128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32433/tid=32444] ppid=32430 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/32433/task/32444/stat : 32444 (java) S 32430 32433 28709 0 -1 4202560 784 0 0 0 11 40 0 0 20 0 22 0 13318586 10060525568 390626 33554432000 1073741824 1073778376 140733442129664 139811819219816 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32433/tid=32445] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32445/stat : 32445 (java) S 32430 32433 28709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13318586 10060525568 390626 33554432000 1073741824 1073778376 140733442129664 139811818166136 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32446] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32446/stat : 32446 (java) S 32430 32433 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 13318586 10060525568 390626 33554432000 1073741824 1073778376 140733442129664 139811817112968 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32447] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32447/stat : 32447 (java) S 32430 32433 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13318588 10060525568 390626 33554432000 1073741824 1073778376 140733442129664 139811816061712 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32448] ppid=32430 vsize=9824732 CPUtime=2.01 cores=0,2,4,6
/proc/32433/task/32448/stat : 32448 (java) S 32430 32433 28709 0 -1 4202560 17273 0 0 0 198 3 0 0 20 0 22 0 13318588 10060525568 390626 33554432000 1073741824 1073778376 140733442129664 139811815008568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32449] ppid=32430 vsize=9824732 CPUtime=1.32 cores=0,2,4,6
/proc/32433/task/32449/stat : 32449 (java) S 32430 32433 28709 0 -1 4202560 14885 0 0 0 129 3 0 0 20 0 22 0 13318588 10060525568 390626 33554432000 1073741824 1073778376 140733442129664 139811813956024 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32433/tid=32450] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32450/stat : 32450 (java) S 32430 32433 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13318588 10060525568 390626 33554432000 1073741824 1073778376 140733442129664 139811812903160 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32433/tid=32451] ppid=32430 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/32433/task/32451/stat : 32451 (java) S 32430 32433 28709 0 -1 4202560 47 0 0 0 15 15 0 0 20 0 22 0 13318588 10060525568 390626 33554432000 1073741824 1073778376 140733442129664 139811811850824 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32452] ppid=32430 vsize=9824732 CPUtime=814.13 cores=0,2,4,6
/proc/32433/task/32452/stat : 32452 (java) R 32430 32433 28709 0 -1 4202560 231 0 0 0 81399 14 0 0 20 0 22 0 13318624 10060525568 390626 33554432000 1073741824 1073778376 140733442129664 139811810328432 139811868072438 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=32433/tid=32453] ppid=32430 vsize=9824732 CPUtime=814.22 cores=0,2,4,6
/proc/32433/task/32453/stat : 32453 (java) R 32430 32433 28709 0 -1 4202560 1364 0 0 0 81384 38 0 0 20 0 22 0 13318624 10060525568 390626 33554432000 1073741824 1073778376 140733442129664 139811809275136 139811867967413 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32454] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32454/stat : 32454 (java) S 32430 32433 28709 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 13318624 10060525568 390626 33554432000 1073741824 1073778376 140733442129664 139811808224552 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32433/tid=32455] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32455/stat : 32455 (java) S 32430 32433 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13318625 10060525568 390626 33554432000 1073741824 1073778376 140733442129664 139811807172008 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1655.04
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.42 4.10 3.39 5/219 486
/proc/meminfo: memFree=28792336/32872528 swapFree=496356/529060
[pid=32433] ppid=32430 vsize=9824732 CPUtime=1775.76 cores=0,2,4,6
/proc/32433/stat : 32433 (java) S 32430 32433 28709 0 -1 4202496 41233 0 1 0 177446 130 0 0 20 0 22 0 13318583 10060525568 388374 33554432000 1073741824 1073778376 140733442129664 140733442120800 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32433/statm: 2456183 388374 2293 9 0 2446860 0
[pid=32433/tid=32435] ppid=32430 vsize=9824732 CPUtime=0.42 cores=0,2,4,6
/proc/32433/task/32435/stat : 32435 (java) S 32430 32433 28709 0 -1 4202560 2492 0 1 0 38 4 0 0 20 0 22 0 13318584 10060525568 388374 33554432000 1073741824 1073778376 140733442129664 139811994891128 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32433/tid=32436] ppid=32430 vsize=9824732 CPUtime=3.12 cores=0,2,4,6
/proc/32433/task/32436/stat : 32436 (java) S 32430 32433 28709 0 -1 4202560 396 0 0 0 308 4 0 0 20 0 22 0 13318585 10060525568 388374 33554432000 1073741824 1073778376 140733442129664 139811838786472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32433/tid=32437] ppid=32430 vsize=9824732 CPUtime=2.93 cores=0,2,4,6
/proc/32433/task/32437/stat : 32437 (java) S 32430 32433 28709 0 -1 4202560 306 0 0 0 288 5 0 0 20 0 22 0 13318585 10060525568 388374 33554432000 1073741824 1073778376 140733442129664 139811837733928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32433/tid=32438] ppid=32430 vsize=9824732 CPUtime=2.97 cores=0,2,4,6
/proc/32433/task/32438/stat : 32438 (java) S 32430 32433 28709 0 -1 4202560 318 0 0 0 292 5 0 0 20 0 22 0 13318585 10060525568 388374 33554432000 1073741824 1073778376 140733442129664 139811836680872 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32439] ppid=32430 vsize=9824732 CPUtime=3.14 cores=0,2,4,6
/proc/32433/task/32439/stat : 32439 (java) S 32430 32433 28709 0 -1 4202560 392 0 0 0 309 5 0 0 20 0 22 0 13318585 10060525568 388374 33554432000 1073741824 1073778376 140733442129664 139811835628328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32433/tid=32440] ppid=32430 vsize=9824732 CPUtime=2.95 cores=0,2,4,6
/proc/32433/task/32440/stat : 32440 (java) S 32430 32433 28709 0 -1 4202560 394 0 0 0 289 6 0 0 20 0 22 0 13318585 10060525568 388374 33554432000 1073741824 1073778376 140733442129664 139811834575272 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32433/tid=32441] ppid=32430 vsize=9824732 CPUtime=3.05 cores=0,2,4,6
/proc/32433/task/32441/stat : 32441 (java) S 32430 32433 28709 0 -1 4202560 325 0 0 0 299 6 0 0 20 0 22 0 13318585 10060525568 388374 33554432000 1073741824 1073778376 140733442129664 139811833522728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32433/tid=32442] ppid=32430 vsize=9824732 CPUtime=3.14 cores=0,2,4,6
/proc/32433/task/32442/stat : 32442 (java) S 32430 32433 28709 0 -1 4202560 397 0 0 0 308 6 0 0 20 0 22 0 13318585 10060525568 388374 33554432000 1073741824 1073778376 140733442129664 139811832469672 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32433/tid=32443] ppid=32430 vsize=9824732 CPUtime=3.24 cores=0,2,4,6
/proc/32433/task/32443/stat : 32443 (java) S 32430 32433 28709 0 -1 4202560 323 0 0 0 318 6 0 0 20 0 22 0 13318585 10060525568 388374 33554432000 1073741824 1073778376 140733442129664 139811831417128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32433/tid=32444] ppid=32430 vsize=9824732 CPUtime=0.52 cores=0,2,4,6
/proc/32433/task/32444/stat : 32444 (java) S 32430 32433 28709 0 -1 4202560 788 0 0 0 12 40 0 0 20 0 22 0 13318586 10060525568 388374 33554432000 1073741824 1073778376 140733442129664 139811819219816 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32433/tid=32445] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32445/stat : 32445 (java) S 32430 32433 28709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13318586 10060525568 388374 33554432000 1073741824 1073778376 140733442129664 139811818166136 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32446] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32446/stat : 32446 (java) S 32430 32433 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 13318586 10060525568 388374 33554432000 1073741824 1073778376 140733442129664 139811817112968 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32447] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32447/stat : 32447 (java) S 32430 32433 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13318588 10060525568 388374 33554432000 1073741824 1073778376 140733442129664 139811816061712 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32448] ppid=32430 vsize=9824732 CPUtime=2.01 cores=0,2,4,6
/proc/32433/task/32448/stat : 32448 (java) S 32430 32433 28709 0 -1 4202560 17273 0 0 0 198 3 0 0 20 0 22 0 13318588 10060525568 388374 33554432000 1073741824 1073778376 140733442129664 139811815008568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32449] ppid=32430 vsize=9824732 CPUtime=1.32 cores=0,2,4,6
/proc/32433/task/32449/stat : 32449 (java) S 32430 32433 28709 0 -1 4202560 14885 0 0 0 129 3 0 0 20 0 22 0 13318588 10060525568 388374 33554432000 1073741824 1073778376 140733442129664 139811813956024 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32433/tid=32450] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32450/stat : 32450 (java) S 32430 32433 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13318588 10060525568 388374 33554432000 1073741824 1073778376 140733442129664 139811812903160 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32433/tid=32451] ppid=32430 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/32433/task/32451/stat : 32451 (java) S 32430 32433 28709 0 -1 4202560 51 0 0 0 16 17 0 0 20 0 22 0 13318588 10060525568 388374 33554432000 1073741824 1073778376 140733442129664 139811811850824 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32433/tid=32452] ppid=32430 vsize=9824732 CPUtime=873.57 cores=0,2,4,6
/proc/32433/task/32452/stat : 32452 (java) R 32430 32433 28709 0 -1 4202560 243 0 0 0 87342 15 0 0 20 0 22 0 13318624 10060525568 388374 33554432000 1073741824 1073778376 140733442129664 139811810327680 139811867899892 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=32433/tid=32453] ppid=32430 vsize=9824732 CPUtime=873.66 cores=0,2,4,6
/proc/32433/task/32453/stat : 32453 (java) R 32430 32433 28709 0 -1 4202560 1381 0 0 0 87327 39 0 0 20 0 22 0 13318624 10060525568 388374 33554432000 1073741824 1073778376 140733442129664 139811809275920 139811868110528 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32454] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32454/stat : 32454 (java) S 32430 32433 28709 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 13318624 10060525568 388374 33554432000 1073741824 1073778376 140733442129664 139811808224552 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32433/tid=32455] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32455/stat : 32455 (java) S 32430 32433 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13318625 10060525568 388374 33554432000 1073741824 1073778376 140733442129664 139811807172008 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1775.76
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+894.408 s]
/proc/loadavg: 4.36 4.10 3.39 5/219 486
/proc/meminfo: memFree=28168852/32872528 swapFree=496356/529060
[pid=32433] ppid=32430 vsize=9824732 CPUtime=1800.1 cores=0,2,4,6
/proc/32433/stat : 32433 (java) S 32430 32433 28709 0 -1 4202496 41243 0 1 0 179880 130 0 0 20 0 22 0 13318583 10060525568 387764 33554432000 1073741824 1073778376 140733442129664 140733442120800 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32433/statm: 2456183 387764 2293 9 0 2446860 0
[pid=32433/tid=32435] ppid=32430 vsize=9824732 CPUtime=0.42 cores=0,2,4,6
/proc/32433/task/32435/stat : 32435 (java) S 32430 32433 28709 0 -1 4202560 2492 0 1 0 38 4 0 0 20 0 22 0 13318584 10060525568 387764 33554432000 1073741824 1073778376 140733442129664 139811994891128 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32433/tid=32436] ppid=32430 vsize=9824732 CPUtime=3.15 cores=0,2,4,6
/proc/32433/task/32436/stat : 32436 (java) S 32430 32433 28709 0 -1 4202560 396 0 0 0 311 4 0 0 20 0 22 0 13318585 10060525568 387764 33554432000 1073741824 1073778376 140733442129664 139811838786472 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32433/tid=32437] ppid=32430 vsize=9824732 CPUtime=3 cores=0,2,4,6
/proc/32433/task/32437/stat : 32437 (java) S 32430 32433 28709 0 -1 4202560 307 0 0 0 295 5 0 0 20 0 22 0 13318585 10060525568 387764 33554432000 1073741824 1073778376 140733442129664 139811837733928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32433/tid=32438] ppid=32430 vsize=9824732 CPUtime=3.02 cores=0,2,4,6
/proc/32433/task/32438/stat : 32438 (java) S 32430 32433 28709 0 -1 4202560 318 0 0 0 297 5 0 0 20 0 22 0 13318585 10060525568 387764 33554432000 1073741824 1073778376 140733442129664 139811836680872 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32433/tid=32439] ppid=32430 vsize=9824732 CPUtime=3.17 cores=0,2,4,6
/proc/32433/task/32439/stat : 32439 (java) S 32430 32433 28709 0 -1 4202560 392 0 0 0 312 5 0 0 20 0 22 0 13318585 10060525568 387764 33554432000 1073741824 1073778376 140733442129664 139811835628328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32440] ppid=32430 vsize=9824732 CPUtime=3.03 cores=0,2,4,6
/proc/32433/task/32440/stat : 32440 (java) S 32430 32433 28709 0 -1 4202560 395 0 0 0 297 6 0 0 20 0 22 0 13318585 10060525568 387764 33554432000 1073741824 1073778376 140733442129664 139811834575272 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32433/tid=32441] ppid=32430 vsize=9824732 CPUtime=3.11 cores=0,2,4,6
/proc/32433/task/32441/stat : 32441 (java) S 32430 32433 28709 0 -1 4202560 326 0 0 0 305 6 0 0 20 0 22 0 13318585 10060525568 387764 33554432000 1073741824 1073778376 140733442129664 139811833522728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32433/tid=32442] ppid=32430 vsize=9824732 CPUtime=3.2 cores=0,2,4,6
/proc/32433/task/32442/stat : 32442 (java) S 32430 32433 28709 0 -1 4202560 398 0 0 0 314 6 0 0 20 0 22 0 13318585 10060525568 387764 33554432000 1073741824 1073778376 140733442129664 139811832469672 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32443] ppid=32430 vsize=9824732 CPUtime=3.3 cores=0,2,4,6
/proc/32433/task/32443/stat : 32443 (java) S 32430 32433 28709 0 -1 4202560 323 0 0 0 324 6 0 0 20 0 22 0 13318585 10060525568 387764 33554432000 1073741824 1073778376 140733442129664 139811831417128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32433/tid=32444] ppid=32430 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/32433/task/32444/stat : 32444 (java) S 32430 32433 28709 0 -1 4202560 788 0 0 0 13 40 0 0 20 0 22 0 13318586 10060525568 387764 33554432000 1073741824 1073778376 140733442129664 139811819219816 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32445] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32445/stat : 32445 (java) S 32430 32433 28709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13318586 10060525568 387764 33554432000 1073741824 1073778376 140733442129664 139811818166136 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32446] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32446/stat : 32446 (java) S 32430 32433 28709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 13318586 10060525568 387764 33554432000 1073741824 1073778376 140733442129664 139811817112968 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32447] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32447/stat : 32447 (java) S 32430 32433 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13318588 10060525568 387764 33554432000 1073741824 1073778376 140733442129664 139811816061712 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32448] ppid=32430 vsize=9824732 CPUtime=2.01 cores=0,2,4,6
/proc/32433/task/32448/stat : 32448 (java) S 32430 32433 28709 0 -1 4202560 17273 0 0 0 198 3 0 0 20 0 22 0 13318588 10060525568 387764 33554432000 1073741824 1073778376 140733442129664 139811815008568 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32449] ppid=32430 vsize=9824732 CPUtime=1.32 cores=0,2,4,6
/proc/32433/task/32449/stat : 32449 (java) S 32430 32433 28709 0 -1 4202560 14885 0 0 0 129 3 0 0 20 0 22 0 13318588 10060525568 387764 33554432000 1073741824 1073778376 140733442129664 139811813956024 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32433/tid=32450] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32450/stat : 32450 (java) S 32430 32433 28709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13318588 10060525568 387764 33554432000 1073741824 1073778376 140733442129664 139811812903160 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32433/tid=32451] ppid=32430 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/32433/task/32451/stat : 32451 (java) S 32430 32433 28709 0 -1 4202560 51 0 0 0 17 17 0 0 20 0 22 0 13318588 10060525568 387764 33554432000 1073741824 1073778376 140733442129664 139811811850824 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32433/tid=32452] ppid=32430 vsize=9824732 CPUtime=885.54 cores=0,2,4,6
/proc/32433/task/32452/stat : 32452 (java) R 32430 32433 28709 0 -1 4202560 246 0 0 0 88538 16 0 0 20 0 22 0 13318624 10060525568 387764 33554432000 1073741824 1073778376 140733442129664 139811810327680 139811867701194 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=32433/tid=32453] ppid=32430 vsize=9824732 CPUtime=885.63 cores=0,2,4,6
/proc/32433/task/32453/stat : 32453 (java) R 32430 32433 28709 0 -1 4202560 1384 0 0 0 88524 39 0 0 20 0 22 0 13318624 10060525568 387764 33554432000 1073741824 1073778376 140733442129664 139811809275792 139811868048312 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=32433/tid=32454] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32454/stat : 32454 (java) S 32430 32433 28709 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 13318624 10060525568 387764 33554432000 1073741824 1073778376 140733442129664 139811808224552 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32433/tid=32455] ppid=32430 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/32433/task/32455/stat : 32455 (java) S 32430 32433 28709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13318625 10060525568 387764 33554432000 1073741824 1073778376 140733442129664 139811807172008 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
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 32433 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 894.469
CPU time (s): 1801.19
CPU user time (s): 1799.37
CPU system time (s): 1.82172
CPU usage (%): 201.37
Max. virtual memory (cumulated for all children) (KiB): 9826292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 1.82172
maximum resident set size= 1744468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41278
page faults= 1
swaps= 0
block input operations= 0
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38281
involuntary context switches= 49460
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.08223 second user time and 7.9048 second system time
The end