runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3456696-1307217681/watcher-3456696-1307217681 -o /tmp/evaluation-result-3456696-1307217681/solver-3456696-1307217681 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456696-1307217681.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.69 1.95 1.70 2/499 20370
/proc/meminfo: memFree=25707288/32951124 swapFree=38422276/67111528
[pid=20370] ppid=20368 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/20370/stat : 20370 (java) S 20368 20370 20069 0 -1 4202496 4044 0 1 0 0 0 0 0 21 0 2 0 833370494 10694979584 3745 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447819749 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/20370/statm: 2611079 3757 917 9 0 2602235 0
[pid=20370/tid=20371] ppid=20368 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20371/stat : 20371 (java) R 20368 20370 20069 0 -1 4202560 6701 0 1 0 0 0 0 0 23 0 2 0 833370495 10694979584 7517 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212435711035 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0615841 s]
/proc/loadavg: 1.69 1.95 1.70 2/499 20370
/proc/meminfo: memFree=25707288/32951124 swapFree=38422276/67111528
[pid=20370] ppid=20368 vsize=10538460 CPUtime=0.05 cores=1,3,5,7
/proc/20370/stat : 20370 (java) S 20368 20370 20069 0 -1 4202496 11691 0 1 0 4 1 0 0 21 0 18 0 833370494 10791383040 11387 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20370/statm: 2634615 11387 1733 9 0 2625356 0
[pid=20370/tid=20371] ppid=20368 vsize=10538460 CPUtime=0.04 cores=1,3,5,7
/proc/20370/task/20371/stat : 20371 (java) R 20368 20370 20069 0 -1 4202560 10515 0 1 0 4 0 0 0 25 0 18 0 833370495 10791383040 11387 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447843787 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10538460
[startup+0.100574 s]
/proc/loadavg: 1.69 1.95 1.70 2/499 20370
/proc/meminfo: memFree=25707288/32951124 swapFree=38422276/67111528
[pid=20370] ppid=20368 vsize=10540112 CPUtime=0.1 cores=1,3,5,7
/proc/20370/stat : 20370 (java) S 20368 20370 20069 0 -1 4202496 13085 0 1 0 9 1 0 0 21 0 18 0 833370494 10793074688 12781 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20370/statm: 2635028 12781 2093 9 0 2625762 0
[pid=20370/tid=20371] ppid=20368 vsize=10540112 CPUtime=0.09 cores=1,3,5,7
/proc/20370/task/20371/stat : 20371 (java) R 20368 20370 20069 0 -1 4202560 11193 0 1 0 8 1 0 0 25 0 18 0 833370495 10793074688 12781 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 47104889474568 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540112
[startup+0.300537 s]
/proc/loadavg: 1.69 1.95 1.70 2/499 20370
/proc/meminfo: memFree=25707288/32951124 swapFree=38422276/67111528
[pid=20370] ppid=20368 vsize=10546528 CPUtime=0.58 cores=1,3,5,7
/proc/20370/stat : 20370 (java) S 20368 20370 20069 0 -1 4202496 20339 0 1 0 56 2 0 0 21 0 19 0 833370494 10799644672 18329 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20370/statm: 2636632 18331 2209 9 0 2627366 0
[pid=20370/tid=20371] ppid=20368 vsize=10546528 CPUtime=0.28 cores=1,3,5,7
/proc/20370/task/20371/stat : 20371 (java) R 20368 20370 20069 0 -1 4202560 12587 0 1 0 27 1 0 0 18 0 19 0 833370495 10799644672 18331 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 46912505581781 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 10546528
[startup+0.700458 s]
/proc/loadavg: 1.69 1.95 1.70 2/499 20370
/proc/meminfo: memFree=25707288/32951124 swapFree=38422276/67111528
[pid=20370] ppid=20368 vsize=10551240 CPUtime=1.56 cores=1,3,5,7
/proc/20370/stat : 20370 (java) S 20368 20370 20069 0 -1 4202496 41090 0 1 0 152 4 0 0 21 0 19 0 833370494 10804469760 37377 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20370/statm: 2637810 37379 2222 9 0 2628544 0
[pid=20370/tid=20371] ppid=20368 vsize=10551240 CPUtime=0.68 cores=1,3,5,7
/proc/20370/task/20371/stat : 20371 (java) R 20368 20370 20069 0 -1 4202560 30236 0 1 0 65 3 0 0 18 0 19 0 833370495 10804469760 37380 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 46912505607814 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 10551240
[startup+1.50131 s]
/proc/loadavg: 1.88 1.99 1.71 3/518 20389
/proc/meminfo: memFree=25063516/32951124 swapFree=38422276/67111528
[pid=20370] ppid=20368 vsize=10551240 CPUtime=2.57 cores=1,3,5,7
/proc/20370/stat : 20370 (java) S 20368 20370 20069 0 -1 4202496 94409 0 1 0 246 11 0 0 21 0 19 0 833370494 10804469760 90696 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20370/statm: 2637810 90697 2225 9 0 2628544 0
[pid=20370/tid=20371] ppid=20368 vsize=10551240 CPUtime=1.48 cores=1,3,5,7
/proc/20370/task/20371/stat : 20371 (java) R 20368 20370 20069 0 -1 4202560 83524 0 1 0 138 10 0 0 18 0 19 0 833370495 10804469760 90698 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 46912505575954 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20370/tid=20373] ppid=20368 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20373/stat : 20373 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 833370496 10804469760 90698 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20374] ppid=20368 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20374/stat : 20374 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833370496 10804469760 90699 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20375] ppid=20368 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20375/stat : 20375 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833370496 10804469760 90699 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20376] ppid=20368 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20376/stat : 20376 (java) S 20368 20370 20069 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 833370496 10804469760 90700 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 5 0 0 0
[pid=20370/tid=20377] ppid=20368 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20377/stat : 20377 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833370496 10804469760 90701 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20378] ppid=20368 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20378/stat : 20378 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833370496 10804469760 90702 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20379] ppid=20368 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20379/stat : 20379 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833370496 10804469760 90702 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 7 0 0 0
[pid=20370/tid=20380] ppid=20368 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20380/stat : 20380 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833370496 10804469760 90703 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 7 0 0 0
[pid=20370/tid=20381] ppid=20368 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20381/stat : 20381 (java) S 20368 20370 20069 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 833370497 10804469760 90704 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447833600 0 0 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20382] ppid=20368 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20382/stat : 20382 (java) S 20368 20370 20069 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 833370498 10804469760 90705 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20383] ppid=20368 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20383/stat : 20383 (java) S 20368 20370 20069 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 833370498 10804469760 90706 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20384] ppid=20368 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20384/stat : 20384 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833370500 10804469760 90707 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447840689 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20385] ppid=20368 vsize=10551240 CPUtime=0.56 cores=1,3,5,7
/proc/20370/task/20385/stat : 20385 (java) S 20368 20370 20069 0 -1 4202560 6559 0 0 0 56 0 0 0 15 0 19 0 833370500 10804469760 90708 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20386] ppid=20368 vsize=10551240 CPUtime=0.5 cores=1,3,5,7
/proc/20370/task/20386/stat : 20386 (java) S 20368 20370 20069 0 -1 4202560 3168 0 0 0 50 0 0 0 15 0 19 0 833370500 10804469760 90708 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 5 0 0 0
[pid=20370/tid=20387] ppid=20368 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20387/stat : 20387 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833370500 10804469760 90709 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20388] ppid=20368 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20388/stat : 20388 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833370500 10804469760 90710 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447833600 0 4 0 16800975 18446604464907798464 0 0 -1 7 0 0 0
[pid=20370/tid=20389] ppid=20368 vsize=10551240 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20389/stat : 20389 (java) S 20368 20370 20069 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833370517 10804469760 90711 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447833600 0 4 0 16800975 18446604464907798464 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 10551240
[startup+3.10101 s]
/proc/loadavg: 1.88 1.99 1.71 3/518 20389
/proc/meminfo: memFree=24279496/32951124 swapFree=38422276/67111528
[pid=20370] ppid=20368 vsize=10550820 CPUtime=4.5 cores=1,3,5,7
/proc/20370/stat : 20370 (java) S 20368 20370 20069 0 -1 4202496 251704 0 1 0 421 29 0 0 21 0 19 0 833370494 10804039680 246850 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20370/statm: 2637705 246854 2231 9 0 2628439 0
[pid=20370/tid=20371] ppid=20368 vsize=10550820 CPUtime=3.08 cores=1,3,5,7
/proc/20370/task/20371/stat : 20371 (java) R 20368 20370 20069 0 -1 4202560 239755 0 1 0 281 27 0 0 19 0 19 0 833370495 10804039680 246855 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 46912505575954 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20370/tid=20373] ppid=20368 vsize=10550820 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20373/stat : 20373 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 833370496 10804039680 246857 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20374] ppid=20368 vsize=10550820 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20374/stat : 20374 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833370496 10804039680 246860 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20375] ppid=20368 vsize=10550820 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20375/stat : 20375 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833370496 10804039680 246863 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20376] ppid=20368 vsize=10550820 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20376/stat : 20376 (java) S 20368 20370 20069 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 833370496 10804039680 246865 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 5 0 0 0
[pid=20370/tid=20377] ppid=20368 vsize=10550820 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20377/stat : 20377 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833370496 10804039680 246868 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20378] ppid=20368 vsize=10550820 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20378/stat : 20378 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833370496 10804039680 246870 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20379] ppid=20368 vsize=10550820 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20379/stat : 20379 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833370496 10804039680 246872 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 7 0 0 0
[pid=20370/tid=20380] ppid=20368 vsize=10550820 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20380/stat : 20380 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833370496 10804039680 246874 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 7 0 0 0
[pid=20370/tid=20381] ppid=20368 vsize=10550820 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20381/stat : 20381 (java) S 20368 20370 20069 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 833370497 10804039680 246877 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447833600 0 0 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20382] ppid=20368 vsize=10550820 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20382/stat : 20382 (java) S 20368 20370 20069 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 833370498 10804039680 246879 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20383] ppid=20368 vsize=10550820 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20383/stat : 20383 (java) S 20368 20370 20069 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 833370498 10804039680 246882 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20384] ppid=20368 vsize=10550820 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20384/stat : 20384 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833370500 10804039680 246884 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447840689 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20385] ppid=20368 vsize=10550820 CPUtime=0.62 cores=1,3,5,7
/proc/20370/task/20385/stat : 20385 (java) S 20368 20370 20069 0 -1 4202560 6564 0 0 0 62 0 0 0 15 0 19 0 833370500 10804039680 246887 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20386] ppid=20368 vsize=10550820 CPUtime=0.77 cores=1,3,5,7
/proc/20370/task/20386/stat : 20386 (java) S 20368 20370 20069 0 -1 4202560 4229 0 0 0 77 0 0 0 15 0 19 0 833370500 10804039680 246890 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 5 0 0 0
[pid=20370/tid=20387] ppid=20368 vsize=10550820 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20387/stat : 20387 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833370500 10804039680 246892 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20388] ppid=20368 vsize=10550820 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20388/stat : 20388 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833370500 10804039680 246895 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447833600 0 4 0 16800975 18446604464907798464 0 0 -1 7 0 0 0
[pid=20370/tid=20389] ppid=20368 vsize=10550820 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20389/stat : 20389 (java) S 20368 20370 20069 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833370517 10804039680 246898 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447833600 0 4 0 16800975 18446604464907798464 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 10550820
[startup+6.3014 s]
/proc/loadavg: 1.88 1.99 1.71 3/518 20389
/proc/meminfo: memFree=22492156/32951124 swapFree=38422276/67111528
[pid=20370] ppid=20368 vsize=10550820 CPUtime=7.73 cores=1,3,5,7
/proc/20370/stat : 20370 (java) S 20368 20370 20069 0 -1 4202496 560810 0 1 0 711 62 0 0 21 0 19 0 833370494 10804039680 555896 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20370/statm: 2637705 555900 2232 9 0 2628439 0
[pid=20370/tid=20371] ppid=20368 vsize=10550820 CPUtime=6.28 cores=1,3,5,7
/proc/20370/task/20371/stat : 20371 (java) R 20368 20370 20069 0 -1 4202560 548858 0 1 0 567 61 0 0 19 0 19 0 833370495 10804039680 555902 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 46912505607810 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20370/tid=20373] ppid=20368 vsize=10550820 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20373/stat : 20373 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 833370496 10804039680 555904 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20374] ppid=20368 vsize=10550820 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20374/stat : 20374 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833370496 10804039680 555906 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20375] ppid=20368 vsize=10550820 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20375/stat : 20375 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833370496 10804039680 555908 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20376] ppid=20368 vsize=10550820 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20376/stat : 20376 (java) S 20368 20370 20069 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 833370496 10804039680 555910 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 5 0 0 0
[pid=20370/tid=20377] ppid=20368 vsize=10550820 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20377/stat : 20377 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833370496 10804039680 555913 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20378] ppid=20368 vsize=10550820 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20378/stat : 20378 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833370496 10804039680 555915 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20379] ppid=20368 vsize=10550820 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20379/stat : 20379 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833370496 10804039680 555917 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 7 0 0 0
[pid=20370/tid=20380] ppid=20368 vsize=10550820 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20380/stat : 20380 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833370496 10804039680 555919 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 7 0 0 0
[pid=20370/tid=20381] ppid=20368 vsize=10550820 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20381/stat : 20381 (java) S 20368 20370 20069 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 833370497 10804039680 555921 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447833600 0 0 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20382] ppid=20368 vsize=10550820 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20382/stat : 20382 (java) S 20368 20370 20069 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 833370498 10804039680 555924 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20383] ppid=20368 vsize=10550820 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20383/stat : 20383 (java) S 20368 20370 20069 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 833370498 10804039680 555926 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20384] ppid=20368 vsize=10550820 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20384/stat : 20384 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833370500 10804039680 555928 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447840689 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20385] ppid=20368 vsize=10550820 CPUtime=0.62 cores=1,3,5,7
/proc/20370/task/20385/stat : 20385 (java) S 20368 20370 20069 0 -1 4202560 6564 0 0 0 62 0 0 0 15 0 19 0 833370500 10804039680 555930 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20386] ppid=20368 vsize=10550820 CPUtime=0.81 cores=1,3,5,7
/proc/20370/task/20386/stat : 20386 (java) S 20368 20370 20069 0 -1 4202560 4232 0 0 0 81 0 0 0 15 0 19 0 833370500 10804039680 555932 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/20370/task/20382/stat : 20382 (java) S 20368 20370 20069 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 833370498 10804355072 940083 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20383] ppid=20368 vsize=10551128 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20383/stat : 20383 (java) S 20368 20370 20069 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833370498 10804355072 940083 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20384] ppid=20368 vsize=10551128 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20384/stat : 20384 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833370500 10804355072 940083 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447840689 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20385] ppid=20368 vsize=10551128 CPUtime=0.77 cores=1,3,5,7
/proc/20370/task/20385/stat : 20385 (java) S 20368 20370 20069 0 -1 4202560 6588 0 0 0 77 0 0 0 15 0 19 0 833370500 10804355072 940083 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20386] ppid=20368 vsize=10551128 CPUtime=1.19 cores=1,3,5,7
/proc/20370/task/20386/stat : 20386 (java) S 20368 20370 20069 0 -1 4202560 4355 0 0 0 119 0 0 0 15 0 19 0 833370500 10804355072 940083 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 5 0 0 0
[pid=20370/tid=20387] ppid=20368 vsize=10551128 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20387/stat : 20387 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833370500 10804355072 940083 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20388] ppid=20368 vsize=10551128 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20388/stat : 20388 (java) S 20368 20370 20069 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 833370500 10804355072 940083 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447833600 0 4 0 16800975 18446604464907798464 0 0 -1 5 0 0 0
[pid=20370/tid=20389] ppid=20368 vsize=10551128 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20389/stat : 20389 (java) S 20368 20370 20069 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833370517 10804355072 940083 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447833600 0 4 0 16800975 18446604464907798464 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1668.75
Current children cumulated vsize (KiB) 10551128
[startup+1722.3 s]
/proc/loadavg: 2.07 2.04 1.96 3/518 20486
/proc/meminfo: memFree=18955776/32951124 swapFree=38422276/67111528
[pid=20370] ppid=20368 vsize=10551128 CPUtime=1728.92 cores=1,3,5,7
/proc/20370/stat : 20370 (java) S 20368 20370 20069 0 -1 4202496 946762 0 1 0 172783 109 0 0 21 0 19 0 833370494 10804355072 940473 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20370/statm: 2637782 940473 2258 9 0 2628516 0
[pid=20370/tid=20371] ppid=20368 vsize=10551128 CPUtime=1718.29 cores=1,3,5,7
/proc/20370/task/20371/stat : 20371 (java) R 20368 20370 20069 0 -1 4202560 822529 0 1 0 171739 90 0 0 25 0 19 0 833370495 10804355072 940473 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 46912505581597 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20370/tid=20373] ppid=20368 vsize=10551128 CPUtime=0.94 cores=1,3,5,7
/proc/20370/task/20373/stat : 20373 (java) S 20368 20370 20069 0 -1 4202560 11351 0 0 0 93 1 0 0 16 0 19 0 833370496 10804355072 940473 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 7 0 0 0
[pid=20370/tid=20374] ppid=20368 vsize=10551128 CPUtime=0.69 cores=1,3,5,7
/proc/20370/task/20374/stat : 20374 (java) S 20368 20370 20069 0 -1 4202560 14192 0 0 0 68 1 0 0 15 0 19 0 833370496 10804355072 940473 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20375] ppid=20368 vsize=10551128 CPUtime=0.89 cores=1,3,5,7
/proc/20370/task/20375/stat : 20375 (java) S 20368 20370 20069 0 -1 4202560 10467 0 0 0 88 1 0 0 15 0 19 0 833370496 10804355072 940473 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20376] ppid=20368 vsize=10551128 CPUtime=0.81 cores=1,3,5,7
/proc/20370/task/20376/stat : 20376 (java) S 20368 20370 20069 0 -1 4202560 11127 0 0 0 81 0 0 0 15 0 19 0 833370496 10804355072 940473 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20377] ppid=20368 vsize=10551128 CPUtime=0.73 cores=1,3,5,7
/proc/20370/task/20377/stat : 20377 (java) S 20368 20370 20069 0 -1 4202560 8863 0 0 0 73 0 0 0 16 0 19 0 833370496 10804355072 940473 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20378] ppid=20368 vsize=10551128 CPUtime=0.91 cores=1,3,5,7
/proc/20370/task/20378/stat : 20378 (java) S 20368 20370 20069 0 -1 4202560 11980 0 0 0 90 1 0 0 16 0 19 0 833370496 10804355072 940473 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20379] ppid=20368 vsize=10551128 CPUtime=0.96 cores=1,3,5,7
/proc/20370/task/20379/stat : 20379 (java) S 20368 20370 20069 0 -1 4202560 15747 0 0 0 94 2 0 0 15 0 19 0 833370496 10804355072 940473 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20380] ppid=20368 vsize=10551128 CPUtime=1.07 cores=1,3,5,7
/proc/20370/task/20380/stat : 20380 (java) S 20368 20370 20069 0 -1 4202560 16995 0 0 0 105 2 0 0 16 0 19 0 833370496 10804355072 940473 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 5 0 0 0
[pid=20370/tid=20381] ppid=20368 vsize=10551128 CPUtime=1.52 cores=1,3,5,7
/proc/20370/task/20381/stat : 20381 (java) S 20368 20370 20069 0 -1 4202560 11314 0 0 0 150 2 0 0 15 0 19 0 833370497 10804355072 940473 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447833600 0 0 0 16800975 18446604464907798464 0 0 -1 5 0 0 0
[pid=20370/tid=20382] ppid=20368 vsize=10551128 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20382/stat : 20382 (java) S 20368 20370 20069 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 833370498 10804355072 940473 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20383] ppid=20368 vsize=10551128 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20383/stat : 20383 (java) S 20368 20370 20069 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833370498 10804355072 940473 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20384] ppid=20368 vsize=10551128 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20384/stat : 20384 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833370500 10804355072 940473 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447840689 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20385] ppid=20368 vsize=10551128 CPUtime=0.77 cores=1,3,5,7
/proc/20370/task/20385/stat : 20385 (java) S 20368 20370 20069 0 -1 4202560 6588 0 0 0 77 0 0 0 15 0 19 0 833370500 10804355072 940473 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20386] ppid=20368 vsize=10551128 CPUtime=1.19 cores=1,3,5,7
/proc/20370/task/20386/stat : 20386 (java) S 20368 20370 20069 0 -1 4202560 4355 0 0 0 119 0 0 0 15 0 19 0 833370500 10804355072 940473 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 5 0 0 0
[pid=20370/tid=20387] ppid=20368 vsize=10551128 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20387/stat : 20387 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833370500 10804355072 940473 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20388] ppid=20368 vsize=10551128 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20388/stat : 20388 (java) S 20368 20370 20069 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833370500 10804355072 940473 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447833600 0 4 0 16800975 18446604464907798464 0 0 -1 5 0 0 0
[pid=20370/tid=20389] ppid=20368 vsize=10551128 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20389/stat : 20389 (java) S 20368 20370 20069 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833370517 10804355072 940473 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447833600 0 4 0 16800975 18446604464907798464 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1728.92
Current children cumulated vsize (KiB) 10551128
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 1.96 3/518 20488
/proc/meminfo: memFree=18913332/32951124 swapFree=38422276/67111528
[pid=20370] ppid=20368 vsize=10551128 CPUtime=1789.08 cores=1,3,5,7
/proc/20370/stat : 20370 (java) S 20368 20370 20069 0 -1 4202496 947458 0 1 0 178799 109 0 0 21 0 19 0 833370494 10804355072 941156 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20370/statm: 2637782 941156 2258 9 0 2628516 0
[pid=20370/tid=20371] ppid=20368 vsize=10551128 CPUtime=1778.19 cores=1,3,5,7
/proc/20370/task/20371/stat : 20371 (java) R 20368 20370 20069 0 -1 4202560 822533 0 1 0 177729 90 0 0 25 0 19 0 833370495 10804355072 941156 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 46912505606579 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20370/tid=20373] ppid=20368 vsize=10551128 CPUtime=0.97 cores=1,3,5,7
/proc/20370/task/20373/stat : 20373 (java) S 20368 20370 20069 0 -1 4202560 11382 0 0 0 96 1 0 0 15 0 19 0 833370496 10804355072 941156 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20374] ppid=20368 vsize=10551128 CPUtime=0.7 cores=1,3,5,7
/proc/20370/task/20374/stat : 20374 (java) S 20368 20370 20069 0 -1 4202560 14222 0 0 0 69 1 0 0 15 0 19 0 833370496 10804355072 941156 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20375] ppid=20368 vsize=10551128 CPUtime=0.96 cores=1,3,5,7
/proc/20370/task/20375/stat : 20375 (java) S 20368 20370 20069 0 -1 4202560 10585 0 0 0 95 1 0 0 16 0 19 0 833370496 10804355072 941156 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20376] ppid=20368 vsize=10551128 CPUtime=0.83 cores=1,3,5,7
/proc/20370/task/20376/stat : 20376 (java) S 20368 20370 20069 0 -1 4202560 11131 0 0 0 83 0 0 0 15 0 19 0 833370496 10804355072 941156 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20377] ppid=20368 vsize=10551128 CPUtime=0.73 cores=1,3,5,7
/proc/20370/task/20377/stat : 20377 (java) S 20368 20370 20069 0 -1 4202560 8863 0 0 0 73 0 0 0 15 0 19 0 833370496 10804355072 941156 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20378] ppid=20368 vsize=10551128 CPUtime=0.93 cores=1,3,5,7
/proc/20370/task/20378/stat : 20378 (java) S 20368 20370 20069 0 -1 4202560 12060 0 0 0 92 1 0 0 16 0 19 0 833370496 10804355072 941156 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20379] ppid=20368 vsize=10551128 CPUtime=1.02 cores=1,3,5,7
/proc/20370/task/20379/stat : 20379 (java) S 20368 20370 20069 0 -1 4202560 16002 0 0 0 100 2 0 0 16 0 19 0 833370496 10804355072 941156 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 7 0 0 0
[pid=20370/tid=20380] ppid=20368 vsize=10551128 CPUtime=1.12 cores=1,3,5,7
/proc/20370/task/20380/stat : 20380 (java) S 20368 20370 20069 0 -1 4202560 17163 0 0 0 110 2 0 0 15 0 19 0 833370496 10804355072 941156 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 7 0 0 0
[pid=20370/tid=20381] ppid=20368 vsize=10551128 CPUtime=1.52 cores=1,3,5,7
/proc/20370/task/20381/stat : 20381 (java) S 20368 20370 20069 0 -1 4202560 11318 0 0 0 150 2 0 0 15 0 19 0 833370497 10804355072 941156 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447833600 0 0 0 16800975 18446604464907798464 0 0 -1 5 0 0 0
[pid=20370/tid=20382] ppid=20368 vsize=10551128 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20382/stat : 20382 (java) S 20368 20370 20069 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 833370498 10804355072 941156 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20383] ppid=20368 vsize=10551128 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20383/stat : 20383 (java) S 20368 20370 20069 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833370498 10804355072 941156 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20384] ppid=20368 vsize=10551128 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20384/stat : 20384 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833370500 10804355072 941156 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447840689 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20385] ppid=20368 vsize=10551128 CPUtime=0.77 cores=1,3,5,7
/proc/20370/task/20385/stat : 20385 (java) S 20368 20370 20069 0 -1 4202560 6588 0 0 0 77 0 0 0 15 0 19 0 833370500 10804355072 941156 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20386] ppid=20368 vsize=10551128 CPUtime=1.19 cores=1,3,5,7
/proc/20370/task/20386/stat : 20386 (java) S 20368 20370 20069 0 -1 4202560 4355 0 0 0 119 0 0 0 15 0 19 0 833370500 10804355072 941156 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 5 0 0 0
[pid=20370/tid=20387] ppid=20368 vsize=10551128 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20387/stat : 20387 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833370500 10804355072 941156 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20388] ppid=20368 vsize=10551128 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20388/stat : 20388 (java) S 20368 20370 20069 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 833370500 10804355072 941156 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447833600 0 4 0 16800975 18446604464907798464 0 0 -1 5 0 0 0
[pid=20370/tid=20389] ppid=20368 vsize=10551128 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20389/stat : 20389 (java) S 20368 20370 20069 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833370517 10804355072 941156 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447833600 0 4 0 16800975 18446604464907798464 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1789.08
Current children cumulated vsize (KiB) 10551128
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.2 s]
/proc/loadavg: 2.18 2.06 1.97 3/518 20488
/proc/meminfo: memFree=18912588/32951124 swapFree=38422276/67111528
[pid=20370] ppid=20368 vsize=10551128 CPUtime=1800.03 cores=1,3,5,7
/proc/20370/stat : 20370 (java) S 20368 20370 20069 0 -1 4202496 947656 0 1 0 179894 109 0 0 21 0 19 0 833370494 10804355072 941342 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20370/statm: 2637782 941342 2258 9 0 2628516 0
[pid=20370/tid=20371] ppid=20368 vsize=10551128 CPUtime=1789.08 cores=1,3,5,7
/proc/20370/task/20371/stat : 20371 (java) R 20368 20370 20069 0 -1 4202560 822534 0 1 0 178818 90 0 0 25 0 19 0 833370495 10804355072 941342 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 46912505506014 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20370/tid=20373] ppid=20368 vsize=10551128 CPUtime=0.99 cores=1,3,5,7
/proc/20370/task/20373/stat : 20373 (java) S 20368 20370 20069 0 -1 4202560 11412 0 0 0 98 1 0 0 16 0 19 0 833370496 10804355072 941342 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 7 0 0 0
[pid=20370/tid=20374] ppid=20368 vsize=10551128 CPUtime=0.73 cores=1,3,5,7
/proc/20370/task/20374/stat : 20374 (java) S 20368 20370 20069 0 -1 4202560 14290 0 0 0 72 1 0 0 16 0 19 0 833370496 10804355072 941342 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20375] ppid=20368 vsize=10551128 CPUtime=0.96 cores=1,3,5,7
/proc/20370/task/20375/stat : 20375 (java) S 20368 20370 20069 0 -1 4202560 10585 0 0 0 95 1 0 0 15 0 19 0 833370496 10804355072 941342 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20376] ppid=20368 vsize=10551128 CPUtime=0.85 cores=1,3,5,7
/proc/20370/task/20376/stat : 20376 (java) S 20368 20370 20069 0 -1 4202560 11228 0 0 0 85 0 0 0 16 0 19 0 833370496 10804355072 941342 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20377] ppid=20368 vsize=10551128 CPUtime=0.73 cores=1,3,5,7
/proc/20370/task/20377/stat : 20377 (java) S 20368 20370 20069 0 -1 4202560 8863 0 0 0 73 0 0 0 15 0 19 0 833370496 10804355072 941342 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20378] ppid=20368 vsize=10551128 CPUtime=0.93 cores=1,3,5,7
/proc/20370/task/20378/stat : 20378 (java) S 20368 20370 20069 0 -1 4202560 12060 0 0 0 92 1 0 0 16 0 19 0 833370496 10804355072 941342 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20379] ppid=20368 vsize=10551128 CPUtime=1.02 cores=1,3,5,7
/proc/20370/task/20379/stat : 20379 (java) S 20368 20370 20069 0 -1 4202560 16002 0 0 0 100 2 0 0 15 0 19 0 833370496 10804355072 941342 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 7 0 0 0
[pid=20370/tid=20380] ppid=20368 vsize=10551128 CPUtime=1.12 cores=1,3,5,7
/proc/20370/task/20380/stat : 20380 (java) S 20368 20370 20069 0 -1 4202560 17163 0 0 0 110 2 0 0 15 0 19 0 833370496 10804355072 941342 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 7 0 0 0
[pid=20370/tid=20381] ppid=20368 vsize=10551128 CPUtime=1.52 cores=1,3,5,7
/proc/20370/task/20381/stat : 20381 (java) S 20368 20370 20069 0 -1 4202560 11318 0 0 0 150 2 0 0 15 0 19 0 833370497 10804355072 941342 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447833600 0 0 0 16800975 18446604464907798464 0 0 -1 5 0 0 0
[pid=20370/tid=20382] ppid=20368 vsize=10551128 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20382/stat : 20382 (java) S 20368 20370 20069 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 833370498 10804355072 941342 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20383] ppid=20368 vsize=10551128 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20383/stat : 20383 (java) S 20368 20370 20069 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833370498 10804355072 941342 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20384] ppid=20368 vsize=10551128 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20384/stat : 20384 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833370500 10804355072 941342 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447840689 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20385] ppid=20368 vsize=10551128 CPUtime=0.77 cores=1,3,5,7
/proc/20370/task/20385/stat : 20385 (java) S 20368 20370 20069 0 -1 4202560 6588 0 0 0 77 0 0 0 15 0 19 0 833370500 10804355072 941342 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 1 0 0 0
[pid=20370/tid=20386] ppid=20368 vsize=10551128 CPUtime=1.19 cores=1,3,5,7
/proc/20370/task/20386/stat : 20386 (java) S 20368 20370 20069 0 -1 4202560 4355 0 0 0 119 0 0 0 15 0 19 0 833370500 10804355072 941342 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 5 0 0 0
[pid=20370/tid=20387] ppid=20368 vsize=10551128 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20387/stat : 20387 (java) S 20368 20370 20069 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833370500 10804355072 941342 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447832985 0 4 0 16800975 18446604464907798464 0 0 -1 3 0 0 0
[pid=20370/tid=20388] ppid=20368 vsize=10551128 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20388/stat : 20388 (java) S 20368 20370 20069 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 833370500 10804355072 941342 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447833600 0 4 0 16800975 18446604464907798464 0 0 -1 5 0 0 0
[pid=20370/tid=20389] ppid=20368 vsize=10551128 CPUtime=0 cores=1,3,5,7
/proc/20370/task/20389/stat : 20389 (java) S 20368 20370 20069 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833370517 10804355072 941342 33554432000 1073741824 1073778376 140736497065040 18446744073709551615 212447833600 0 4 0 16800975 18446604464907798464 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10551128
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.4 s]
/proc/loadavg: 2.18 2.06 1.97 3/518 20488
/proc/meminfo: memFree=18912588/32951124 swapFree=38422276/67111528
[pid=20370] ppid=20368 vsize=0 CPUtime=1800.24 cores=1,3,5,7
/proc/20370/stat : 20370 (java) Z 20368 20370 20069 0 -1 4203548 947697 0 1 0 179902 122 0 0 17 0 1 0 833370494 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20370/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.4
CPU time (s): 1800.26
CPU user time (s): 1799.03
CPU system time (s): 1.22981
CPU usage (%): 100.382
Max. virtual memory (cumulated for all children) (KiB): 10551240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 1.22981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 947697
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40065
involuntary context switches= 27535
runsolver used 8.5187 second user time and 20.8748 second system time
The end