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-4110397-1466347208/watcher-4110397-1466347208 -o /tmp/evaluation-result-4110397-1466347208/solver-4110397-1466347208 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466347208-3362 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110397-1466347208.wbo
pid=3405
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.05 2.18 2.17 3/194 3408
/proc/meminfo: memFree=30183856/32872528 swapFree=1402776/1580604
[pid=3408] ppid=3405 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/3408/stat : 3408 (java) S 3405 3408 2912 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 36766513 98570240 978 33554432000 1073741824 1073778376 140734501130576 140734501121712 248793563197 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3408/statm: 24065 978 744 9 0 16771 0
[pid=3408/tid=3409] ppid=3405 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3409/stat : 3409 (java) R 3405 3408 2912 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 36766514 98570240 978 33554432000 1073741824 1073778376 140734501130576 140342382976552 248790205824 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.100114 s]
/proc/loadavg: 2.05 2.18 2.17 3/194 3408
/proc/meminfo: memFree=30183856/32872528 swapFree=1402776/1580604
[pid=3408] ppid=3405 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/3408/stat : 3408 (java) S 3405 3408 2912 0 -1 4202496 4467 0 1 0 10 1 0 0 20 0 18 0 36766513 9787879424 6098 33554432000 1073741824 1073778376 140734501130576 140734501121712 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3408/statm: 2389619 6098 2156 9 0 2380296 0
[pid=3408/tid=3409] ppid=3405 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/3408/task/3409/stat : 3409 (java) R 3405 3408 2912 0 -1 4202560 2391 0 1 0 6 1 0 0 20 0 18 0 36766514 9787879424 6098 33554432000 1073741824 1073778376 140734501130576 140342382980000 140342389991067 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200294 s]
/proc/loadavg: 2.05 2.18 2.17 3/194 3408
/proc/meminfo: memFree=30183856/32872528 swapFree=1402776/1580604
[pid=3408] ppid=3405 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/3408/stat : 3408 (java) S 3405 3408 2912 0 -1 4202496 4760 0 1 0 24 1 0 0 20 0 18 0 36766513 9787879424 6855 33554432000 1073741824 1073778376 140734501130576 140734501121712 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3408/statm: 2389619 6855 2209 9 0 2380296 0
[pid=3408/tid=3409] ppid=3405 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/3408/task/3409/stat : 3409 (java) R 3405 3408 2912 0 -1 4202560 2409 0 1 0 16 1 0 0 20 0 18 0 36766514 9787879424 6855 33554432000 1073741824 1073778376 140734501130576 140342382980000 140342234047492 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476
[startup+0.300274 s]
/proc/loadavg: 2.05 2.18 2.17 3/194 3408
/proc/meminfo: memFree=30183856/32872528 swapFree=1402776/1580604
[pid=3408] ppid=3405 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/3408/stat : 3408 (java) S 3405 3408 2912 0 -1 4202496 5774 0 1 0 47 1 0 0 20 0 18 0 36766513 9787879424 8930 33554432000 1073741824 1073778376 140734501130576 140734501121712 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3408/statm: 2389619 8930 2232 9 0 2380296 0
[pid=3408/tid=3409] ppid=3405 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/3408/task/3409/stat : 3409 (java) R 3405 3408 2912 0 -1 4202560 2412 0 1 0 26 1 0 0 20 0 18 0 36766514 9787879424 8930 33554432000 1073741824 1073778376 140734501130576 140342382980000 140342387113463 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476
[startup+0.700337 s]
/proc/loadavg: 2.05 2.18 2.17 3/194 3408
/proc/meminfo: memFree=30183856/32872528 swapFree=1402776/1580604
[pid=3408] ppid=3405 vsize=9824732 CPUtime=1.38 cores=1,3,5,7
/proc/3408/stat : 3408 (java) S 3405 3408 2912 0 -1 4202496 9706 0 1 0 134 4 0 0 20 0 19 0 36766513 10060525568 13582 33554432000 1073741824 1073778376 140734501130576 140734501121712 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3408/statm: 2456183 13582 2266 9 0 2446860 0
[pid=3408/tid=3409] ppid=3405 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/3408/task/3409/stat : 3409 (java) S 3405 3408 2912 0 -1 4202560 2458 0 1 0 30 1 0 0 20 0 19 0 36766514 10060525568 13582 33554432000 1073741824 1073778376 140734501130576 140342382982008 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 9824732
[startup+1.5008 s]
/proc/loadavg: 2.05 2.18 2.17 1/214 3440
/proc/meminfo: memFree=30089908/32872528 swapFree=1402776/1580604
[pid=3408] ppid=3405 vsize=9824732 CPUtime=1.89 cores=1,3,5,7
/proc/3408/stat : 3408 (java) S 3405 3408 2912 0 -1 4202496 14845 0 1 0 181 8 0 0 20 0 19 0 36766513 10060525568 17869 33554432000 1073741824 1073778376 140734501130576 140734501121712 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3408/statm: 2456183 17869 2271 9 0 2446860 0
[pid=3408/tid=3409] ppid=3405 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/3408/task/3409/stat : 3409 (java) S 3405 3408 2912 0 -1 4202560 2461 0 1 0 34 1 0 0 20 0 19 0 36766514 10060525568 17869 33554432000 1073741824 1073778376 140734501130576 140342382982008 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3408/tid=3411] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3411/stat : 3411 (java) S 3405 3408 2912 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36766514 10060525568 17869 33554432000 1073741824 1073778376 140734501130576 140342355434536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3412] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3412/stat : 3412 (java) S 3405 3408 2912 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36766514 10060525568 17869 33554432000 1073741824 1073778376 140734501130576 140342354381736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3408/tid=3413] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3413/stat : 3413 (java) S 3405 3408 2912 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36766514 10060525568 17869 33554432000 1073741824 1073778376 140734501130576 140342353328936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3408/tid=3414] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3414/stat : 3414 (java) S 3405 3408 2912 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36766514 10060525568 17869 33554432000 1073741824 1073778376 140734501130576 140342222957224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3408/tid=3415] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3415/stat : 3415 (java) S 3405 3408 2912 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36766514 10060525568 17869 33554432000 1073741824 1073778376 140734501130576 140342221904424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3416] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3416/stat : 3416 (java) S 3405 3408 2912 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36766514 10060525568 17869 33554432000 1073741824 1073778376 140734501130576 140342220851624 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3408/tid=3417] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3417/stat : 3417 (java) S 3405 3408 2912 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36766514 10060525568 17869 33554432000 1073741824 1073778376 140734501130576 140342219798824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3418] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3418/stat : 3418 (java) S 3405 3408 2912 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36766514 10060525568 17869 33554432000 1073741824 1073778376 140734501130576 140342218746024 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3419] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3419/stat : 3419 (java) S 3405 3408 2912 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36766515 10060525568 17869 33554432000 1073741824 1073778376 140734501130576 140341736233960 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3408/tid=3420] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3420/stat : 3420 (java) S 3405 3408 2912 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36766516 10060525568 17869 33554432000 1073741824 1073778376 140734501130576 140341735180024 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3421] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3421/stat : 3421 (java) S 3405 3408 2912 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36766516 10060525568 17869 33554432000 1073741824 1073778376 140734501130576 140341734127112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3422] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3422/stat : 3422 (java) S 3405 3408 2912 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36766518 10060525568 17869 33554432000 1073741824 1073778376 140734501130576 140341733075600 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3423] ppid=3405 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/3408/task/3423/stat : 3423 (java) S 3405 3408 2912 0 -1 4202560 4613 0 0 0 56 0 0 0 20 0 19 0 36766518 10060525568 17869 33554432000 1073741824 1073778376 140734501130576 140341732022712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3424] ppid=3405 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/3408/task/3424/stat : 3424 (java) S 3405 3408 2912 0 -1 4202560 6428 0 0 0 51 2 0 0 20 0 19 0 36766518 10060525568 17869 33554432000 1073741824 1073778376 140734501130576 140341730969912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3408/tid=3425] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3425/stat : 3425 (java) S 3405 3408 2912 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36766518 10060525568 17869 33554432000 1073741824 1073778376 140734501130576 140341729917304 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3408/tid=3426] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3426/stat : 3426 (java) S 3405 3408 2912 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36766518 10060525568 17869 33554432000 1073741824 1073778376 140734501130576 140341728864712 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3408/tid=3434] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3434/stat : 3434 (java) S 3405 3408 2912 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36766549 10060525568 17869 33554432000 1073741824 1073778376 140734501130576 140341724652840 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 9824732
[startup+3.10089 s]
/proc/loadavg: 2.05 2.18 2.17 1/214 3452
/proc/meminfo: memFree=30060120/32872528 swapFree=1402776/1580604
[pid=3408] ppid=3405 vsize=9824732 CPUtime=2.36 cores=1,3,5,7
/proc/3408/stat : 3408 (java) S 3405 3408 2912 0 -1 4202496 16876 0 1 0 226 10 0 0 20 0 19 0 36766513 10060525568 24023 33554432000 1073741824 1073778376 140734501130576 140734501121712 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3408/statm: 2456183 24023 2275 9 0 2446860 0
[pid=3408/tid=3409] ppid=3405 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/3408/task/3409/stat : 3409 (java) S 3405 3408 2912 0 -1 4202560 2465 0 1 0 36 2 0 0 20 0 19 0 36766514 10060525568 24023 33554432000 1073741824 1073778376 140734501130576 140342382982008 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3408/tid=3411] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3411/stat : 3411 (java) S 3405 3408 2912 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36766514 10060525568 24023 33554432000 1073741824 1073778376 140734501130576 140342355434536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3412] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3412/stat : 3412 (java) S 3405 3408 2912 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36766514 10060525568 24023 33554432000 1073741824 1073778376 140734501130576 140342354381736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3408/tid=3413] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3413/stat : 3413 (java) S 3405 3408 2912 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36766514 10060525568 24023 33554432000 1073741824 1073778376 140734501130576 140342353328936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3408/tid=3414] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3414/stat : 3414 (java) S 3405 3408 2912 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36766514 10060525568 24023 33554432000 1073741824 1073778376 140734501130576 140342222957224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3408/tid=3415] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3415/stat : 3415 (java) S 3405 3408 2912 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36766514 10060525568 24023 33554432000 1073741824 1073778376 140734501130576 140342221904424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3416] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3416/stat : 3416 (java) S 3405 3408 2912 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36766514 10060525568 24023 33554432000 1073741824 1073778376 140734501130576 140342220851624 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3408/tid=3417] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3417/stat : 3417 (java) S 3405 3408 2912 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36766514 10060525568 24023 33554432000 1073741824 1073778376 140734501130576 140342219798824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3418] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3418/stat : 3418 (java) S 3405 3408 2912 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36766514 10060525568 24023 33554432000 1073741824 1073778376 140734501130576 140342218746024 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3419] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3419/stat : 3419 (java) S 3405 3408 2912 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36766515 10060525568 24023 33554432000 1073741824 1073778376 140734501130576 140341736233960 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3408/tid=3420] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3420/stat : 3420 (java) S 3405 3408 2912 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36766516 10060525568 24023 33554432000 1073741824 1073778376 140734501130576 140341735180024 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3421] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3421/stat : 3421 (java) S 3405 3408 2912 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36766516 10060525568 24023 33554432000 1073741824 1073778376 140734501130576 140341734127112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3422] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3422/stat : 3422 (java) S 3405 3408 2912 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36766518 10060525568 24023 33554432000 1073741824 1073778376 140734501130576 140341733075600 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3423] ppid=3405 vsize=9824732 CPUtime=0.75 cores=1,3,5,7
/proc/3408/task/3423/stat : 3423 (java) S 3405 3408 2912 0 -1 4202560 6602 0 0 0 75 0 0 0 20 0 19 0 36766518 10060525568 24023 33554432000 1073741824 1073778376 140734501130576 140341732022712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3424] ppid=3405 vsize=9824732 CPUtime=0.67 cores=1,3,5,7
/proc/3408/task/3424/stat : 3424 (java) S 3405 3408 2912 0 -1 4202560 6437 0 0 0 65 2 0 0 20 0 19 0 36766518 10060525568 24023 33554432000 1073741824 1073778376 140734501130576 140341730969912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3408/tid=3425] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3425/stat : 3425 (java) S 3405 3408 2912 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36766518 10060525568 24023 33554432000 1073741824 1073778376 140734501130576 140341729917304 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3408/tid=3426] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3426/stat : 3426 (java) S 3405 3408 2912 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36766518 10060525568 24023 33554432000 1073741824 1073778376 140734501130576 140341728864712 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3408/tid=3434] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3434/stat : 3434 (java) S 3405 3408 2912 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36766549 10060525568 24023 33554432000 1073741824 1073778376 140734501130576 140341724652840 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 9824732
heavy processes:
%CPU=29 pid=1810 uid=0 cmd=
[startup+6.30083 s]
/proc/loadavg: 2.05 2.17 2.17 1/214 3494
/proc/meminfo: memFree=29892980/32872528 swapFree=1402776/1580604
[pid=3408] ppid=3405 vsize=9824732 CPUtime=3.38 cores=1,3,5,7
/proc/3408/stat : 3408 (java) S 3405 3408 2912 0 -1 4202496 18304 0 1 0 316 22 0 0 20 0 19 0 36766513 10060525568 43922 33554432000 1073741824 1073778376 140734501130576 140734501121712 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3408/statm: 2456183 43922 2290 9 0 2446860 0
[pid=3408/tid=3409] ppid=3405 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/3408/task/3409/stat : 3409 (java) S 3405 3408 2912 0 -1 4202560 2471 0 1 0 38 2 0 0 20 0 19 0 36766514 10060525568 43922 33554432000 1073741824 1073778376 140734501130576 140342382982008 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3408/tid=3411] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3411/stat : 3411 (java) S 3405 3408 2912 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 36766514 10060525568 43922 33554432000 1073741824 1073778376 140734501130576 140342355434536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3412] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3412/stat : 3412 (java) S 3405 3408 2912 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36766514 10060525568 43922 33554432000 1073741824 1073778376 140734501130576 140342354381736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3408/tid=3413] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3413/stat : 3413 (java) S 3405 3408 2912 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36766514 10060525568 43922 33554432000 1073741824 1073778376 140734501130576 140342353328936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3408/tid=3414] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3414/stat : 3414 (java) S 3405 3408 2912 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 36766514 10060525568 43922 33554432000 1073741824 1073778376 140734501130576 140342222957224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3408/tid=3415] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3415/stat : 3415 (java) S 3405 3408 2912 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36766514 10060525568 43922 33554432000 1073741824 1073778376 140734501130576 140342221904424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3416] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3416/stat : 3416 (java) S 3405 3408 2912 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36766514 10060525568 43922 33554432000 1073741824 1073778376 140734501130576 140342220851624 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3408/tid=3417] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3417/stat : 3417 (java) S 3405 3408 2912 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36766514 10060525568 43922 33554432000 1073741824 1073778376 140734501130576 140342219798824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3418] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3418/stat : 3418 (java) S 3405 3408 2912 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36766514 10060525568 43922 33554432000 1073741824 1073778376 140734501130576 140342218746024 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3419] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3419/stat : 3419 (java) S 3405 3408 2912 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36766515 10060525568 43922 33554432000 1073741824 1073778376 140734501130576 140341736233960 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3408/tid=3420] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3420/stat : 3420 (java) S 3405 3408 2912 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36766516 10060525568 43922 33554432000 1073741824 1073778376 140734501130576 140341735180024 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3421] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3421/stat : 3421 (java) S 3405 3408 2912 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 36766516 10060525568 43922 33554432000 1073741824 1073778376 140734501130576 140341734127112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3422] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3422/stat : 3422 (java) S 3405 3408 2912 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36766518 10060525568 43922 33554432000 1073741824 1073778376 140734501130576 140341733075600 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3423] ppid=3405 vsize=9824732 CPUtime=0.89 cores=1,3,5,7
################
# More data... #
################
[pid=3408/tid=3665] ppid=3405 vsize=9824732 CPUtime=1553.36 cores=1,3,5,7
/proc/3408/task/3665/stat : 3665 (java) R 3405 3408 2912 0 -1 4202560 3267 0 0 0 155280 56 0 0 20 0 21 0 36769610 10060525568 1043651 33554432000 1073741824 1073778376 140734501130576 140341727808928 140342234538648 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3666] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3666/stat : 3666 (java) S 3405 3408 2912 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36769615 10060525568 1043651 33554432000 1073741824 1073778376 140734501130576 140341726757800 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1624.49
Current children cumulated vsize (KiB) 9824732
[startup+1662.3 s]
/proc/loadavg: 2.34 2.32 2.27 3/217 3727
/proc/meminfo: memFree=21703084/32872528 swapFree=1402776/1580604
[pid=3408] ppid=3405 vsize=9824732 CPUtime=1685.43 cores=1,3,5,7
/proc/3408/stat : 3408 (java) S 3405 3408 2912 0 -1 4202496 36250 0 1 0 168168 375 0 0 20 0 21 0 36766513 10060525568 1047798 33554432000 1073741824 1073778376 140734501130576 140734501121712 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3408/statm: 2456183 1047798 2302 9 0 2446860 0
[pid=3408/tid=3409] ppid=3405 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/3408/task/3409/stat : 3409 (java) S 3405 3408 2912 0 -1 4202560 2565 0 1 0 129 33 0 0 20 0 21 0 36766514 10060525568 1047798 33554432000 1073741824 1073778376 140734501130576 140342382982136 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3408/tid=3411] ppid=3405 vsize=9824732 CPUtime=4.87 cores=1,3,5,7
/proc/3408/task/3411/stat : 3411 (java) S 3405 3408 2912 0 -1 4202560 839 0 0 0 463 24 0 0 20 0 21 0 36766514 10060525568 1047798 33554432000 1073741824 1073778376 140734501130576 140342355434536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3408/tid=3412] ppid=3405 vsize=9824732 CPUtime=4.83 cores=1,3,5,7
/proc/3408/task/3412/stat : 3412 (java) S 3405 3408 2912 0 -1 4202560 548 0 0 0 464 19 0 0 20 0 21 0 36766514 10060525568 1047798 33554432000 1073741824 1073778376 140734501130576 140342354381736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3408/tid=3413] ppid=3405 vsize=9824732 CPUtime=4.77 cores=1,3,5,7
/proc/3408/task/3413/stat : 3413 (java) S 3405 3408 2912 0 -1 4202560 753 0 0 0 452 25 0 0 20 0 21 0 36766514 10060525568 1047798 33554432000 1073741824 1073778376 140734501130576 140342353328936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3408/tid=3414] ppid=3405 vsize=9824732 CPUtime=4.5 cores=1,3,5,7
/proc/3408/task/3414/stat : 3414 (java) S 3405 3408 2912 0 -1 4202560 855 0 0 0 425 25 0 0 20 0 21 0 36766514 10060525568 1047798 33554432000 1073741824 1073778376 140734501130576 140342222957224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3408/tid=3415] ppid=3405 vsize=9824732 CPUtime=4.8 cores=1,3,5,7
/proc/3408/task/3415/stat : 3415 (java) S 3405 3408 2912 0 -1 4202560 686 0 0 0 459 21 0 0 20 0 21 0 36766514 10060525568 1047798 33554432000 1073741824 1073778376 140734501130576 140342221904424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3408/tid=3416] ppid=3405 vsize=9824732 CPUtime=4.41 cores=1,3,5,7
/proc/3408/task/3416/stat : 3416 (java) S 3405 3408 2912 0 -1 4202560 826 0 0 0 420 21 0 0 20 0 21 0 36766514 10060525568 1047798 33554432000 1073741824 1073778376 140734501130576 140342220851624 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3408/tid=3417] ppid=3405 vsize=9824732 CPUtime=5.08 cores=1,3,5,7
/proc/3408/task/3417/stat : 3417 (java) S 3405 3408 2912 0 -1 4202560 753 0 0 0 484 24 0 0 20 0 21 0 36766514 10060525568 1047798 33554432000 1073741824 1073778376 140734501130576 140342219798824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3418] ppid=3405 vsize=9824732 CPUtime=4.66 cores=1,3,5,7
/proc/3408/task/3418/stat : 3418 (java) S 3405 3408 2912 0 -1 4202560 867 0 0 0 440 26 0 0 20 0 21 0 36766514 10060525568 1047798 33554432000 1073741824 1073778376 140734501130576 140342218746024 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3419] ppid=3405 vsize=9824732 CPUtime=8.37 cores=1,3,5,7
/proc/3408/task/3419/stat : 3419 (java) S 3405 3408 2912 0 -1 4202560 3451 0 0 0 829 8 0 0 20 0 21 0 36766515 10060525568 1047798 33554432000 1073741824 1073778376 140734501130576 140341736233960 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3408/tid=3420] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3420/stat : 3420 (java) S 3405 3408 2912 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36766516 10060525568 1047798 33554432000 1073741824 1073778376 140734501130576 140341735180024 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3408/tid=3421] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3421/stat : 3421 (java) S 3405 3408 2912 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 21 0 36766516 10060525568 1047798 33554432000 1073741824 1073778376 140734501130576 140341734127112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3408/tid=3422] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3422/stat : 3422 (java) S 3405 3408 2912 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36766518 10060525568 1047798 33554432000 1073741824 1073778376 140734501130576 140341733075600 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3423] ppid=3405 vsize=9824732 CPUtime=1.6 cores=1,3,5,7
/proc/3408/task/3423/stat : 3423 (java) S 3405 3408 2912 0 -1 4202560 12360 0 0 0 158 2 0 0 20 0 21 0 36766518 10060525568 1047798 33554432000 1073741824 1073778376 140734501130576 140341732022712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3408/tid=3424] ppid=3405 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/3408/task/3424/stat : 3424 (java) S 3405 3408 2912 0 -1 4202560 6455 0 0 0 88 2 0 0 20 0 21 0 36766518 10060525568 1047798 33554432000 1073741824 1073778376 140734501130576 140341730969912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3408/tid=3425] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3425/stat : 3425 (java) S 3405 3408 2912 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36766518 10060525568 1047798 33554432000 1073741824 1073778376 140734501130576 140341729917304 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3408/tid=3426] ppid=3405 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/3408/task/3426/stat : 3426 (java) S 3405 3408 2912 0 -1 4202560 96 0 0 0 28 32 0 0 20 0 21 0 36766518 10060525568 1047798 33554432000 1073741824 1073778376 140734501130576 140341728864712 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3408/tid=3434] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3434/stat : 3434 (java) S 3405 3408 2912 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36766549 10060525568 1047798 33554432000 1073741824 1073778376 140734501130576 140341724652840 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3408/tid=3665] ppid=3405 vsize=9824732 CPUtime=1612.95 cores=1,3,5,7
/proc/3408/task/3665/stat : 3665 (java) R 3405 3408 2912 0 -1 4202560 3270 0 0 0 161238 57 0 0 20 0 21 0 36769610 10060525568 1047798 33554432000 1073741824 1073778376 140734501130576 140341727809056 140342234752512 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3408/tid=3666] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3666/stat : 3666 (java) S 3405 3408 2912 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36769615 10060525568 1047798 33554432000 1073741824 1073778376 140734501130576 140341726757800 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1685.43
Current children cumulated vsize (KiB) 9824732
[startup+1722.3 s]
/proc/loadavg: 2.30 2.30 2.27 3/217 3728
/proc/meminfo: memFree=21635252/32872528 swapFree=1402776/1580604
[pid=3408] ppid=3405 vsize=9824732 CPUtime=1746.49 cores=1,3,5,7
/proc/3408/stat : 3408 (java) S 3405 3408 2912 0 -1 4202496 36342 0 1 0 174270 379 0 0 20 0 21 0 36766513 10060525568 1056540 33554432000 1073741824 1073778376 140734501130576 140734501121712 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3408/statm: 2456183 1056540 2302 9 0 2446860 0
[pid=3408/tid=3409] ppid=3405 vsize=9824732 CPUtime=1.65 cores=1,3,5,7
/proc/3408/task/3409/stat : 3409 (java) S 3405 3408 2912 0 -1 4202560 2567 0 1 0 131 34 0 0 20 0 21 0 36766514 10060525568 1056540 33554432000 1073741824 1073778376 140734501130576 140342382982136 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3408/tid=3411] ppid=3405 vsize=9824732 CPUtime=5.04 cores=1,3,5,7
/proc/3408/task/3411/stat : 3411 (java) S 3405 3408 2912 0 -1 4202560 842 0 0 0 479 25 0 0 20 0 21 0 36766514 10060525568 1056540 33554432000 1073741824 1073778376 140734501130576 140342355434536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3412] ppid=3405 vsize=9824732 CPUtime=5.01 cores=1,3,5,7
/proc/3408/task/3412/stat : 3412 (java) S 3405 3408 2912 0 -1 4202560 557 0 0 0 481 20 0 0 20 0 21 0 36766514 10060525568 1056540 33554432000 1073741824 1073778376 140734501130576 140342354381736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3408/tid=3413] ppid=3405 vsize=9824732 CPUtime=4.94 cores=1,3,5,7
/proc/3408/task/3413/stat : 3413 (java) S 3405 3408 2912 0 -1 4202560 765 0 0 0 469 25 0 0 20 0 21 0 36766514 10060525568 1056540 33554432000 1073741824 1073778376 140734501130576 140342353328936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3408/tid=3414] ppid=3405 vsize=9824732 CPUtime=4.77 cores=1,3,5,7
/proc/3408/task/3414/stat : 3414 (java) S 3405 3408 2912 0 -1 4202560 866 0 0 0 451 26 0 0 20 0 21 0 36766514 10060525568 1056540 33554432000 1073741824 1073778376 140734501130576 140342222957224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3408/tid=3415] ppid=3405 vsize=9824732 CPUtime=4.99 cores=1,3,5,7
/proc/3408/task/3415/stat : 3415 (java) S 3405 3408 2912 0 -1 4202560 697 0 0 0 477 22 0 0 20 0 21 0 36766514 10060525568 1056540 33554432000 1073741824 1073778376 140734501130576 140342221904424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3408/tid=3416] ppid=3405 vsize=9824732 CPUtime=4.58 cores=1,3,5,7
/proc/3408/task/3416/stat : 3416 (java) S 3405 3408 2912 0 -1 4202560 833 0 0 0 436 22 0 0 20 0 21 0 36766514 10060525568 1056540 33554432000 1073741824 1073778376 140734501130576 140342220851624 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3408/tid=3417] ppid=3405 vsize=9824732 CPUtime=5.22 cores=1,3,5,7
/proc/3408/task/3417/stat : 3417 (java) S 3405 3408 2912 0 -1 4202560 764 0 0 0 498 24 0 0 20 0 21 0 36766514 10060525568 1056540 33554432000 1073741824 1073778376 140734501130576 140342219798824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3408/tid=3418] ppid=3405 vsize=9824732 CPUtime=4.79 cores=1,3,5,7
/proc/3408/task/3418/stat : 3418 (java) S 3405 3408 2912 0 -1 4202560 874 0 0 0 453 26 0 0 20 0 21 0 36766514 10060525568 1056540 33554432000 1073741824 1073778376 140734501130576 140342218746024 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3419] ppid=3405 vsize=9824732 CPUtime=8.37 cores=1,3,5,7
/proc/3408/task/3419/stat : 3419 (java) S 3405 3408 2912 0 -1 4202560 3464 0 0 0 829 8 0 0 20 0 21 0 36766515 10060525568 1056540 33554432000 1073741824 1073778376 140734501130576 140341736233960 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3408/tid=3420] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3420/stat : 3420 (java) S 3405 3408 2912 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36766516 10060525568 1056540 33554432000 1073741824 1073778376 140734501130576 140341735180024 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3408/tid=3421] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3421/stat : 3421 (java) S 3405 3408 2912 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 21 0 36766516 10060525568 1056540 33554432000 1073741824 1073778376 140734501130576 140341734127112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3408/tid=3422] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3422/stat : 3422 (java) S 3405 3408 2912 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36766518 10060525568 1056540 33554432000 1073741824 1073778376 140734501130576 140341733075600 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3423] ppid=3405 vsize=9824732 CPUtime=1.6 cores=1,3,5,7
/proc/3408/task/3423/stat : 3423 (java) S 3405 3408 2912 0 -1 4202560 12360 0 0 0 158 2 0 0 20 0 21 0 36766518 10060525568 1056540 33554432000 1073741824 1073778376 140734501130576 140341732022712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3408/tid=3424] ppid=3405 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/3408/task/3424/stat : 3424 (java) S 3405 3408 2912 0 -1 4202560 6455 0 0 0 88 2 0 0 20 0 21 0 36766518 10060525568 1056540 33554432000 1073741824 1073778376 140734501130576 140341730969912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3408/tid=3425] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3425/stat : 3425 (java) S 3405 3408 2912 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36766518 10060525568 1056540 33554432000 1073741824 1073778376 140734501130576 140341729917304 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3408/tid=3426] ppid=3405 vsize=9824732 CPUtime=0.61 cores=1,3,5,7
/proc/3408/task/3426/stat : 3426 (java) S 3405 3408 2912 0 -1 4202560 100 0 0 0 29 32 0 0 20 0 21 0 36766518 10060525568 1056540 33554432000 1073741824 1073778376 140734501130576 140341728864712 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3408/tid=3434] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3434/stat : 3434 (java) S 3405 3408 2912 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36766549 10060525568 1056540 33554432000 1073741824 1073778376 140734501130576 140341724652840 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3408/tid=3665] ppid=3405 vsize=9824732 CPUtime=1672.56 cores=1,3,5,7
/proc/3408/task/3665/stat : 3665 (java) R 3405 3408 2912 0 -1 4202560 3272 0 0 0 167197 59 0 0 20 0 21 0 36769610 10060525568 1056540 33554432000 1073741824 1073778376 140734501130576 140341727808848 140342234666353 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3408/tid=3666] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3666/stat : 3666 (java) S 3405 3408 2912 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36769615 10060525568 1056540 33554432000 1073741824 1073778376 140734501130576 140341726757800 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1746.49
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1774.8 s]
/proc/loadavg: 2.49 2.37 2.29 2/190 3762
/proc/meminfo: memFree=25943820/32872528 swapFree=1402776/1580604
[pid=3408] ppid=3405 vsize=9824732 CPUtime=1800.14 cores=1,3,5,7
/proc/3408/stat : 3408 (java) S 3405 3408 2912 0 -1 4202496 36427 0 1 0 179632 382 0 0 20 0 21 0 36766513 10060525568 1065278 33554432000 1073741824 1073778376 140734501130576 140734501121712 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3408/statm: 2456183 1065278 2302 9 0 2446860 0
[pid=3408/tid=3409] ppid=3405 vsize=9824732 CPUtime=1.67 cores=1,3,5,7
/proc/3408/task/3409/stat : 3409 (java) S 3405 3408 2912 0 -1 4202560 2570 0 1 0 132 35 0 0 20 0 21 0 36766514 10060525568 1065278 33554432000 1073741824 1073778376 140734501130576 140342382982136 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3408/tid=3411] ppid=3405 vsize=9824732 CPUtime=5.27 cores=1,3,5,7
/proc/3408/task/3411/stat : 3411 (java) S 3405 3408 2912 0 -1 4202560 848 0 0 0 502 25 0 0 20 0 21 0 36766514 10060525568 1065278 33554432000 1073741824 1073778376 140734501130576 140342355434536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3408/tid=3412] ppid=3405 vsize=9824732 CPUtime=5.26 cores=1,3,5,7
/proc/3408/task/3412/stat : 3412 (java) S 3405 3408 2912 0 -1 4202560 573 0 0 0 506 20 0 0 20 0 21 0 36766514 10060525568 1065278 33554432000 1073741824 1073778376 140734501130576 140342354381736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3408/tid=3413] ppid=3405 vsize=9824732 CPUtime=5.06 cores=1,3,5,7
/proc/3408/task/3413/stat : 3413 (java) S 3405 3408 2912 0 -1 4202560 773 0 0 0 481 25 0 0 20 0 21 0 36766514 10060525568 1065278 33554432000 1073741824 1073778376 140734501130576 140342353328936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3408/tid=3414] ppid=3405 vsize=9824732 CPUtime=4.94 cores=1,3,5,7
/proc/3408/task/3414/stat : 3414 (java) S 3405 3408 2912 0 -1 4202560 873 0 0 0 468 26 0 0 20 0 21 0 36766514 10060525568 1065278 33554432000 1073741824 1073778376 140734501130576 140342222957224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3408/tid=3415] ppid=3405 vsize=9824732 CPUtime=5.11 cores=1,3,5,7
/proc/3408/task/3415/stat : 3415 (java) S 3405 3408 2912 0 -1 4202560 708 0 0 0 489 22 0 0 20 0 21 0 36766514 10060525568 1065278 33554432000 1073741824 1073778376 140734501130576 140342221904424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3408/tid=3416] ppid=3405 vsize=9824732 CPUtime=4.75 cores=1,3,5,7
/proc/3408/task/3416/stat : 3416 (java) S 3405 3408 2912 0 -1 4202560 837 0 0 0 453 22 0 0 20 0 21 0 36766514 10060525568 1065278 33554432000 1073741824 1073778376 140734501130576 140342220851624 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3408/tid=3417] ppid=3405 vsize=9824732 CPUtime=5.42 cores=1,3,5,7
/proc/3408/task/3417/stat : 3417 (java) S 3405 3408 2912 0 -1 4202560 776 0 0 0 518 24 0 0 20 0 21 0 36766514 10060525568 1065278 33554432000 1073741824 1073778376 140734501130576 140342219798824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3408/tid=3418] ppid=3405 vsize=9824732 CPUtime=5.04 cores=1,3,5,7
/proc/3408/task/3418/stat : 3418 (java) S 3405 3408 2912 0 -1 4202560 884 0 0 0 478 26 0 0 20 0 21 0 36766514 10060525568 1065278 33554432000 1073741824 1073778376 140734501130576 140342218746024 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3419] ppid=3405 vsize=9824732 CPUtime=8.37 cores=1,3,5,7
/proc/3408/task/3419/stat : 3419 (java) S 3405 3408 2912 0 -1 4202560 3468 0 0 0 829 8 0 0 20 0 21 0 36766515 10060525568 1065278 33554432000 1073741824 1073778376 140734501130576 140341736233960 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3408/tid=3420] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3420/stat : 3420 (java) S 3405 3408 2912 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36766516 10060525568 1065278 33554432000 1073741824 1073778376 140734501130576 140341735180024 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3408/tid=3421] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3421/stat : 3421 (java) S 3405 3408 2912 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 21 0 36766516 10060525568 1065278 33554432000 1073741824 1073778376 140734501130576 140341734127112 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3408/tid=3422] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3422/stat : 3422 (java) S 3405 3408 2912 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36766518 10060525568 1065278 33554432000 1073741824 1073778376 140734501130576 140341733075600 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3408/tid=3423] ppid=3405 vsize=9824732 CPUtime=1.6 cores=1,3,5,7
/proc/3408/task/3423/stat : 3423 (java) S 3405 3408 2912 0 -1 4202560 12360 0 0 0 158 2 0 0 20 0 21 0 36766518 10060525568 1065278 33554432000 1073741824 1073778376 140734501130576 140341732022712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3408/tid=3424] ppid=3405 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/3408/task/3424/stat : 3424 (java) S 3405 3408 2912 0 -1 4202560 6455 0 0 0 88 2 0 0 20 0 21 0 36766518 10060525568 1065278 33554432000 1073741824 1073778376 140734501130576 140341730969912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3408/tid=3425] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3425/stat : 3425 (java) S 3405 3408 2912 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36766518 10060525568 1065278 33554432000 1073741824 1073778376 140734501130576 140341729917304 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3408/tid=3426] ppid=3405 vsize=9824732 CPUtime=0.64 cores=1,3,5,7
/proc/3408/task/3426/stat : 3426 (java) S 3405 3408 2912 0 -1 4202560 104 0 0 0 31 33 0 0 20 0 21 0 36766518 10060525568 1065278 33554432000 1073741824 1073778376 140734501130576 140341728864712 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3408/tid=3434] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3434/stat : 3434 (java) S 3405 3408 2912 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36766549 10060525568 1065278 33554432000 1073741824 1073778376 140734501130576 140341724652840 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3408/tid=3665] ppid=3405 vsize=9824732 CPUtime=1724.68 cores=1,3,5,7
/proc/3408/task/3665/stat : 3665 (java) R 3405 3408 2912 0 -1 4202560 3272 0 0 0 172408 60 0 0 20 0 21 0 36769610 10060525568 1065278 33554432000 1073741824 1073778376 140734501130576 140341727808928 140342234874029 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3408/tid=3666] ppid=3405 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3408/task/3666/stat : 3666 (java) S 3405 3408 2912 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36769615 10060525568 1065278 33554432000 1073741824 1073778376 140734501130576 140341726757800 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
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 3408 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1774.85
CPU time (s): 1800.8
CPU user time (s): 1796.46
CPU system time (s): 4.34234
CPU usage (%): 101.462
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.46
system time used= 4.34234
maximum resident set size= 4261188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36453
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77799
involuntary context switches= 48110
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9233 second user time and 14.7018 second system time
The end