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-3457553-1307228462/watcher-3457553-1307228462 -o /tmp/evaluation-result-3457553-1307228462/solver-3457553-1307228462 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457553-1307228462.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.92 2.01 1.99 2/487 20407
/proc/meminfo: memFree=23823840/32951124 swapFree=56297244/67111528
[pid=20407] ppid=20405 vsize=36924 CPUtime=0 cores=1,3,5,7
/proc/20407/stat : 20407 (java) S 20405 20407 19203 0 -1 4202496 1370 0 1 0 0 0 0 0 24 0 2 0 913076733 37810176 1073 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469868517 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/20407/statm: 9231 1073 833 9 0 387 0
[pid=20407/tid=20408] ppid=20405 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (java) R 20405 20407 19203 0 -1 4202560 7357 0 1 0 0 0 0 0 25 0 2 0 913076734 10694979584 8173 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252457759803 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0336671 s]
/proc/loadavg: 1.92 2.01 1.99 2/487 20407
/proc/meminfo: memFree=23823840/32951124 swapFree=56297244/67111528
[pid=20407] ppid=20405 vsize=10465424 CPUtime=0.03 cores=1,3,5,7
/proc/20407/stat : 20407 (java) S 20405 20407 19203 0 -1 4202496 10994 0 1 0 2 1 0 0 24 0 11 0 913076733 10716594176 10693 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469868517 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/20407/statm: 2616356 10693 1608 9 0 2607104 0
[pid=20407/tid=20408] ppid=20405 vsize=10465424 CPUtime=0.01 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (java) R 20405 20407 19203 0 -1 4202560 9871 0 1 0 1 0 0 0 25 0 11 0 913076734 10716594176 10694 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 47754027155488 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10465424
[startup+0.100628 s]
/proc/loadavg: 1.92 2.01 1.99 2/487 20407
/proc/meminfo: memFree=23823840/32951124 swapFree=56297244/67111528
[pid=20407] ppid=20405 vsize=10540416 CPUtime=0.1 cores=1,3,5,7
/proc/20407/stat : 20407 (java) S 20405 20407 19203 0 -1 4202496 13116 0 1 0 9 1 0 0 24 0 18 0 913076733 10793385984 12813 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20407/statm: 2635104 12813 2093 9 0 2625838 0
[pid=20407/tid=20408] ppid=20405 vsize=10540416 CPUtime=0.09 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (java) R 20405 20407 19203 0 -1 4202560 11193 0 1 0 8 1 0 0 18 0 18 0 913076734 10793385984 12814 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 47754026405893 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) 10540416
[startup+0.300596 s]
/proc/loadavg: 1.92 2.01 1.99 2/487 20407
/proc/meminfo: memFree=23823840/32951124 swapFree=56297244/67111528
[pid=20407] ppid=20405 vsize=10542168 CPUtime=0.46 cores=1,3,5,7
/proc/20407/stat : 20407 (java) S 20405 20407 19203 0 -1 4202496 23078 0 1 0 44 2 0 0 24 0 18 0 913076733 10795180032 22531 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20407/statm: 2635542 22535 2201 9 0 2626276 0
[pid=20407/tid=20408] ppid=20405 vsize=10542168 CPUtime=0.29 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (java) R 20405 20407 19203 0 -1 4202560 20365 0 1 0 27 2 0 0 18 0 18 0 913076734 10795180032 22537 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10542168
[startup+0.700526 s]
/proc/loadavg: 1.92 2.01 1.99 2/487 20407
/proc/meminfo: memFree=23823840/32951124 swapFree=56297244/67111528
[pid=20407] ppid=20405 vsize=10542168 CPUtime=0.85 cores=1,3,5,7
/proc/20407/stat : 20407 (java) S 20405 20407 19203 0 -1 4202496 54587 0 1 0 80 5 0 0 24 0 18 0 913076733 10795180032 54040 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20407/statm: 2635542 54043 2201 9 0 2626276 0
[pid=20407/tid=20408] ppid=20405 vsize=10542168 CPUtime=0.68 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (java) R 20405 20407 19203 0 -1 4202560 51873 0 1 0 63 5 0 0 18 0 18 0 913076734 10795180032 54045 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 46912505552606 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 10542168
[startup+1.50137 s]
/proc/loadavg: 1.92 2.01 1.99 3/505 20425
/proc/meminfo: memFree=23186964/32951124 swapFree=56297244/67111528
[pid=20407] ppid=20405 vsize=10546056 CPUtime=2.02 cores=1,3,5,7
/proc/20407/stat : 20407 (java) S 20405 20407 19203 0 -1 4202496 126768 0 1 0 188 14 0 0 24 0 18 0 913076733 10799161344 122512 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20407/statm: 2636514 122517 2206 9 0 2627248 0
[pid=20407/tid=20408] ppid=20405 vsize=10546056 CPUtime=1.49 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (java) R 20405 20407 19203 0 -1 4202560 115973 0 1 0 137 12 0 0 19 0 18 0 913076734 10799161344 122519 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 46912505574456 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20407/tid=20410] ppid=20405 vsize=10546056 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20410/stat : 20410 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 913076735 10799161344 122521 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20411] ppid=20405 vsize=10546056 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20411/stat : 20411 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 913076735 10799161344 122524 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20412] ppid=20405 vsize=10546056 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20412/stat : 20412 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 913076735 10799161344 122526 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20413] ppid=20405 vsize=10546056 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20413/stat : 20413 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 913076735 10799161344 122528 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20414] ppid=20405 vsize=10546056 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20414/stat : 20414 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 913076735 10799161344 122531 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20415] ppid=20405 vsize=10546056 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20415/stat : 20415 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 913076735 10799161344 122533 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20416] ppid=20405 vsize=10546056 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20416/stat : 20416 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 913076735 10799161344 122536 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20417] ppid=20405 vsize=10546056 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20417/stat : 20417 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 913076735 10799161344 122538 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20418] ppid=20405 vsize=10546056 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20418/stat : 20418 (java) S 20405 20407 19203 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 913076736 10799161344 122540 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469882368 0 0 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20419] ppid=20405 vsize=10546056 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20419/stat : 20419 (java) S 20405 20407 19203 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 913076737 10799161344 122543 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20420] ppid=20405 vsize=10546056 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20420/stat : 20420 (java) S 20405 20407 19203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 913076737 10799161344 122545 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20421] ppid=20405 vsize=10546056 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20421/stat : 20421 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 913076739 10799161344 122547 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469889457 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20422] ppid=20405 vsize=10546056 CPUtime=0.35 cores=1,3,5,7
/proc/20407/task/20422/stat : 20422 (java) S 20405 20407 19203 0 -1 4202560 7691 0 0 0 35 0 0 0 16 0 18 0 913076739 10799161344 122550 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 3 0 0 0
[pid=20407/tid=20423] ppid=20405 vsize=10546056 CPUtime=0.16 cores=1,3,5,7
/proc/20407/task/20423/stat : 20423 (java) S 20405 20407 19203 0 -1 4202560 1961 0 0 0 16 0 0 0 18 0 18 0 913076739 10799161344 122552 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20424] ppid=20405 vsize=10546056 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20424/stat : 20424 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 913076739 10799161344 122554 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20425] ppid=20405 vsize=10546056 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20425/stat : 20425 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 913076739 10799161344 122557 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469882368 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 10546056
[startup+3.10108 s]
/proc/loadavg: 1.93 2.01 1.99 3/505 20425
/proc/meminfo: memFree=22368332/32951124 swapFree=56297244/67111528
[pid=20407] ppid=20405 vsize=10546056 CPUtime=3.62 cores=1,3,5,7
/proc/20407/stat : 20407 (java) S 20405 20407 19203 0 -1 4202496 292958 0 1 0 330 32 0 0 24 0 18 0 913076733 10799161344 288702 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20407/statm: 2636514 288706 2206 9 0 2627248 0
[pid=20407/tid=20408] ppid=20405 vsize=10546056 CPUtime=3.08 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (java) R 20405 20407 19203 0 -1 4202560 282160 0 1 0 278 30 0 0 25 0 18 0 913076734 10799161344 288706 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 46912505555583 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20407/tid=20410] ppid=20405 vsize=10546056 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20410/stat : 20410 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 913076735 10799161344 288709 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20411] ppid=20405 vsize=10546056 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20411/stat : 20411 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 913076735 10799161344 288711 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20412] ppid=20405 vsize=10546056 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20412/stat : 20412 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 913076735 10799161344 288713 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20413] ppid=20405 vsize=10546056 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20413/stat : 20413 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 913076735 10799161344 288716 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20414] ppid=20405 vsize=10546056 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20414/stat : 20414 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 913076735 10799161344 288718 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20415] ppid=20405 vsize=10546056 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20415/stat : 20415 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 913076735 10799161344 288720 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20416] ppid=20405 vsize=10546056 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20416/stat : 20416 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 913076735 10799161344 288722 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20417] ppid=20405 vsize=10546056 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20417/stat : 20417 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 913076735 10799161344 288725 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20418] ppid=20405 vsize=10546056 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20418/stat : 20418 (java) S 20405 20407 19203 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 913076736 10799161344 288727 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469882368 0 0 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20419] ppid=20405 vsize=10546056 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20419/stat : 20419 (java) S 20405 20407 19203 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 913076737 10799161344 288733 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20420] ppid=20405 vsize=10546056 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20420/stat : 20420 (java) S 20405 20407 19203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 913076737 10799161344 288734 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20421] ppid=20405 vsize=10546056 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20421/stat : 20421 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 913076739 10799161344 288737 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469889457 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20422] ppid=20405 vsize=10546056 CPUtime=0.35 cores=1,3,5,7
/proc/20407/task/20422/stat : 20422 (java) S 20405 20407 19203 0 -1 4202560 7691 0 0 0 35 0 0 0 15 0 18 0 913076739 10799161344 288738 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 3 0 0 0
[pid=20407/tid=20423] ppid=20405 vsize=10546056 CPUtime=0.16 cores=1,3,5,7
/proc/20407/task/20423/stat : 20423 (java) S 20405 20407 19203 0 -1 4202560 1961 0 0 0 16 0 0 0 18 0 18 0 913076739 10799161344 288740 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20424] ppid=20405 vsize=10546056 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20424/stat : 20424 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 913076739 10799161344 288742 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20425] ppid=20405 vsize=10546056 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20425/stat : 20425 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 913076739 10799161344 288744 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469882368 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 10546056
[startup+6.3015 s]
/proc/loadavg: 1.93 2.01 1.99 3/506 20426
/proc/meminfo: memFree=20205684/32951124 swapFree=56297244/67111528
[pid=20407] ppid=20405 vsize=10548716 CPUtime=7.53 cores=1,3,5,7
/proc/20407/stat : 20407 (java) S 20405 20407 19203 0 -1 4202496 473190 0 1 0 698 55 0 0 24 0 19 0 913076733 10801885184 468066 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20407/statm: 2637179 468068 2237 9 0 2627913 0
[pid=20407/tid=20408] ppid=20405 vsize=10548716 CPUtime=6.29 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (java) R 20405 20407 19203 0 -1 4202560 460982 0 1 0 576 53 0 0 25 0 19 0 913076734 10801885184 468068 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 46912506112472 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20407/tid=20410] ppid=20405 vsize=10548716 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20410/stat : 20410 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076735 10801885184 468069 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20411] ppid=20405 vsize=10548716 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20411/stat : 20411 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076735 10801885184 468070 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20412] ppid=20405 vsize=10548716 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20412/stat : 20412 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076735 10801885184 468071 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20413] ppid=20405 vsize=10548716 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20413/stat : 20413 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076735 10801885184 468071 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20414] ppid=20405 vsize=10548716 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20414/stat : 20414 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076735 10801885184 468072 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20415] ppid=20405 vsize=10548716 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20415/stat : 20415 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076735 10801885184 468073 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20416] ppid=20405 vsize=10548716 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20416/stat : 20416 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076735 10801885184 468074 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20417] ppid=20405 vsize=10548716 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20417/stat : 20417 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076735 10801885184 468075 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20418] ppid=20405 vsize=10548716 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20418/stat : 20418 (java) S 20405 20407 19203 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 913076736 10801885184 468076 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469882368 0 0 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20419] ppid=20405 vsize=10548716 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20419/stat : 20419 (java) S 20405 20407 19203 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 913076737 10801885184 468076 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20420] ppid=20405 vsize=10548716 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20420/stat : 20420 (java) S 20405 20407 19203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 913076737 10801885184 468077 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20421] ppid=20405 vsize=10548716 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20421/stat : 20421 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076739 10801885184 468078 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469889457 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20422] ppid=20405 vsize=10548716 CPUtime=0.74 cores=1,3,5,7
/proc/20407/task/20422/stat : 20422 (java) S 20405 20407 19203 0 -1 4202560 7770 0 0 0 73 1 0 0 15 0 19 0 913076739 10801885184 468079 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 3 0 0 0
[pid=20407/tid=20423] ppid=20405 vsize=10548716 CPUtime=0.49 cores=1,3,5,7
/proc/20407/task/20423/stat : 20423 (java) S 20405 20407 19203 0 -1 4202560 3280 0 0 0 49 0 0 0 15 0 19 0 913076739 10801885184 468080 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20424] ppid=20405 vsize=10548716 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20424/stat : 20424 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076739 10801885184 468081 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20425] ppid=20405 vsize=10548716 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20425/stat : 20425 (java) S 20405 20407 19203 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 913076739 10801885184 468082 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469882368 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/20407/task/20419/stat : 20419 (java) S 20405 20407 19203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 913076737 10801336320 1038624 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20420] ppid=20405 vsize=10548180 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20420/stat : 20420 (java) S 20405 20407 19203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 913076737 10801336320 1038624 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20421] ppid=20405 vsize=10548180 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20421/stat : 20421 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076739 10801336320 1038624 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469889457 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20422] ppid=20405 vsize=10548180 CPUtime=1.42 cores=1,3,5,7
/proc/20407/task/20422/stat : 20422 (java) S 20405 20407 19203 0 -1 4202560 10996 0 0 0 141 1 0 0 15 0 19 0 913076739 10801336320 1038624 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 3 0 0 0
[pid=20407/tid=20423] ppid=20405 vsize=10548180 CPUtime=0.96 cores=1,3,5,7
/proc/20407/task/20423/stat : 20423 (java) S 20405 20407 19203 0 -1 4202560 3449 0 0 0 96 0 0 0 15 0 19 0 913076739 10801336320 1038624 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20424] ppid=20405 vsize=10548180 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20424/stat : 20424 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076739 10801336320 1038624 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20425] ppid=20405 vsize=10548180 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20425/stat : 20425 (java) S 20405 20407 19203 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 913076739 10801336320 1038624 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469882368 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20426] ppid=20405 vsize=10548180 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20426/stat : 20426 (java) S 20405 20407 19203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 913077153 10801336320 1038624 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469882368 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1621.39
Current children cumulated vsize (KiB) 10548180
[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.02 3/506 20470
/proc/meminfo: memFree=15700684/32951124 swapFree=56297244/67111528
[pid=20407] ppid=20405 vsize=10548180 CPUtime=1681.9 cores=1,3,5,7
/proc/20407/stat : 20407 (java) S 20405 20407 19203 0 -1 4202496 1085213 0 1 0 168053 137 0 0 24 0 19 0 913076733 10801336320 1038657 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20407/statm: 2637045 1038657 2266 9 0 2627779 0
[pid=20407/tid=20408] ppid=20405 vsize=10548180 CPUtime=1650.67 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (java) R 20405 20407 19203 0 -1 4202560 678940 0 1 0 164990 77 0 0 25 0 19 0 913076734 10801336320 1038657 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 46912506112975 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20407/tid=20410] ppid=20405 vsize=10548180 CPUtime=3.32 cores=1,3,5,7
/proc/20407/task/20410/stat : 20410 (java) S 20405 20407 19203 0 -1 4202560 47358 0 0 0 325 7 0 0 15 0 19 0 913076735 10801336320 1038657 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20411] ppid=20405 vsize=10548180 CPUtime=2.49 cores=1,3,5,7
/proc/20407/task/20411/stat : 20411 (java) S 20405 20407 19203 0 -1 4202560 30978 0 0 0 245 4 0 0 15 0 19 0 913076735 10801336320 1038657 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 5 0 0 0
[pid=20407/tid=20412] ppid=20405 vsize=10548180 CPUtime=2.9 cores=1,3,5,7
/proc/20407/task/20412/stat : 20412 (java) S 20405 20407 19203 0 -1 4202560 38402 0 0 0 285 5 0 0 15 0 19 0 913076735 10801336320 1038657 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 5 0 0 0
[pid=20407/tid=20413] ppid=20405 vsize=10548180 CPUtime=2.97 cores=1,3,5,7
/proc/20407/task/20413/stat : 20413 (java) S 20405 20407 19203 0 -1 4202560 43987 0 0 0 292 5 0 0 15 0 19 0 913076735 10801336320 1038657 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20414] ppid=20405 vsize=10548180 CPUtime=2.59 cores=1,3,5,7
/proc/20407/task/20414/stat : 20414 (java) S 20405 20407 19203 0 -1 4202560 29571 0 0 0 255 4 0 0 16 0 19 0 913076735 10801336320 1038657 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 5 0 0 0
[pid=20407/tid=20415] ppid=20405 vsize=10548180 CPUtime=3.23 cores=1,3,5,7
/proc/20407/task/20415/stat : 20415 (java) S 20405 20407 19203 0 -1 4202560 63537 0 0 0 315 8 0 0 16 0 19 0 913076735 10801336320 1038657 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 3 0 0 0
[pid=20407/tid=20416] ppid=20405 vsize=10548180 CPUtime=3.36 cores=1,3,5,7
/proc/20407/task/20416/stat : 20416 (java) S 20405 20407 19203 0 -1 4202560 33139 0 0 0 333 3 0 0 16 0 19 0 913076735 10801336320 1038657 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20417] ppid=20405 vsize=10548180 CPUtime=3.59 cores=1,3,5,7
/proc/20407/task/20417/stat : 20417 (java) S 20405 20407 19203 0 -1 4202560 66622 0 0 0 350 9 0 0 15 0 19 0 913076735 10801336320 1038657 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20418] ppid=20405 vsize=10548180 CPUtime=4.28 cores=1,3,5,7
/proc/20407/task/20418/stat : 20418 (java) S 20405 20407 19203 0 -1 4202560 36987 0 0 0 422 6 0 0 15 0 19 0 913076736 10801336320 1038657 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469882368 0 0 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20419] ppid=20405 vsize=10548180 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20419/stat : 20419 (java) S 20405 20407 19203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 913076737 10801336320 1038657 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20420] ppid=20405 vsize=10548180 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20420/stat : 20420 (java) S 20405 20407 19203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 913076737 10801336320 1038657 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20421] ppid=20405 vsize=10548180 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20421/stat : 20421 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076739 10801336320 1038657 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469889457 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20422] ppid=20405 vsize=10548180 CPUtime=1.42 cores=1,3,5,7
/proc/20407/task/20422/stat : 20422 (java) S 20405 20407 19203 0 -1 4202560 10996 0 0 0 141 1 0 0 15 0 19 0 913076739 10801336320 1038657 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 3 0 0 0
[pid=20407/tid=20423] ppid=20405 vsize=10548180 CPUtime=0.96 cores=1,3,5,7
/proc/20407/task/20423/stat : 20423 (java) S 20405 20407 19203 0 -1 4202560 3449 0 0 0 96 0 0 0 15 0 19 0 913076739 10801336320 1038657 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20424] ppid=20405 vsize=10548180 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20424/stat : 20424 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076739 10801336320 1038657 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20425] ppid=20405 vsize=10548180 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20425/stat : 20425 (java) S 20405 20407 19203 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 913076739 10801336320 1038657 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469882368 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20426] ppid=20405 vsize=10548180 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20426/stat : 20426 (java) S 20405 20407 19203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 913077153 10801336320 1038657 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469882368 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1681.9
Current children cumulated vsize (KiB) 10548180
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/506 20471
/proc/meminfo: memFree=15689492/32951124 swapFree=56297244/67111528
[pid=20407] ppid=20405 vsize=10548180 CPUtime=1742.47 cores=1,3,5,7
/proc/20407/stat : 20407 (java) S 20405 20407 19203 0 -1 4202496 1085269 0 1 0 174110 137 0 0 24 0 19 0 913076733 10801336320 1038698 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20407/statm: 2637045 1038698 2266 9 0 2627779 0
[pid=20407/tid=20408] ppid=20405 vsize=10548180 CPUtime=1710.43 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (java) R 20405 20407 19203 0 -1 4202560 678947 0 1 0 170966 77 0 0 25 0 19 0 913076734 10801336320 1038698 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 46912505615390 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20407/tid=20410] ppid=20405 vsize=10548180 CPUtime=3.43 cores=1,3,5,7
/proc/20407/task/20410/stat : 20410 (java) S 20405 20407 19203 0 -1 4202560 47358 0 0 0 336 7 0 0 16 0 19 0 913076735 10801336320 1038698 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20411] ppid=20405 vsize=10548180 CPUtime=2.57 cores=1,3,5,7
/proc/20407/task/20411/stat : 20411 (java) S 20405 20407 19203 0 -1 4202560 30988 0 0 0 253 4 0 0 16 0 19 0 913076735 10801336320 1038698 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 5 0 0 0
[pid=20407/tid=20412] ppid=20405 vsize=10548180 CPUtime=2.95 cores=1,3,5,7
/proc/20407/task/20412/stat : 20412 (java) S 20405 20407 19203 0 -1 4202560 38403 0 0 0 290 5 0 0 16 0 19 0 913076735 10801336320 1038698 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 5 0 0 0
[pid=20407/tid=20413] ppid=20405 vsize=10548180 CPUtime=3.09 cores=1,3,5,7
/proc/20407/task/20413/stat : 20413 (java) S 20405 20407 19203 0 -1 4202560 44002 0 0 0 304 5 0 0 16 0 19 0 913076735 10801336320 1038698 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 3 0 0 0
[pid=20407/tid=20414] ppid=20405 vsize=10548180 CPUtime=2.65 cores=1,3,5,7
/proc/20407/task/20414/stat : 20414 (java) S 20405 20407 19203 0 -1 4202560 29572 0 0 0 261 4 0 0 15 0 19 0 913076735 10801336320 1038698 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 5 0 0 0
[pid=20407/tid=20415] ppid=20405 vsize=10548180 CPUtime=3.34 cores=1,3,5,7
/proc/20407/task/20415/stat : 20415 (java) S 20405 20407 19203 0 -1 4202560 63543 0 0 0 326 8 0 0 16 0 19 0 913076735 10801336320 1038698 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20416] ppid=20405 vsize=10548180 CPUtime=3.5 cores=1,3,5,7
/proc/20407/task/20416/stat : 20416 (java) S 20405 20407 19203 0 -1 4202560 33141 0 0 0 347 3 0 0 16 0 19 0 913076735 10801336320 1038698 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20417] ppid=20405 vsize=10548180 CPUtime=3.7 cores=1,3,5,7
/proc/20407/task/20417/stat : 20417 (java) S 20405 20407 19203 0 -1 4202560 66628 0 0 0 361 9 0 0 16 0 19 0 913076735 10801336320 1038698 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 3 0 0 0
[pid=20407/tid=20418] ppid=20405 vsize=10548180 CPUtime=4.28 cores=1,3,5,7
/proc/20407/task/20418/stat : 20418 (java) S 20405 20407 19203 0 -1 4202560 36991 0 0 0 422 6 0 0 15 0 19 0 913076736 10801336320 1038698 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469882368 0 0 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20419] ppid=20405 vsize=10548180 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20419/stat : 20419 (java) S 20405 20407 19203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 913076737 10801336320 1038698 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20420] ppid=20405 vsize=10548180 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20420/stat : 20420 (java) S 20405 20407 19203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 913076737 10801336320 1038698 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20421] ppid=20405 vsize=10548180 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20421/stat : 20421 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076739 10801336320 1038698 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469889457 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20422] ppid=20405 vsize=10548180 CPUtime=1.42 cores=1,3,5,7
/proc/20407/task/20422/stat : 20422 (java) S 20405 20407 19203 0 -1 4202560 10996 0 0 0 141 1 0 0 15 0 19 0 913076739 10801336320 1038698 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 3 0 0 0
[pid=20407/tid=20423] ppid=20405 vsize=10548180 CPUtime=0.96 cores=1,3,5,7
/proc/20407/task/20423/stat : 20423 (java) S 20405 20407 19203 0 -1 4202560 3449 0 0 0 96 0 0 0 15 0 19 0 913076739 10801336320 1038698 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20424] ppid=20405 vsize=10548180 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20424/stat : 20424 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076739 10801336320 1038698 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20425] ppid=20405 vsize=10548180 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20425/stat : 20425 (java) S 20405 20407 19203 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 913076739 10801336320 1038698 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469882368 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20426] ppid=20405 vsize=10548180 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20426/stat : 20426 (java) S 20405 20407 19203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 913077153 10801336320 1038698 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469882368 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1742.47
Current children cumulated vsize (KiB) 10548180
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1779.4 s]
/proc/loadavg: 2.00 2.02 2.01 3/506 20473
/proc/meminfo: memFree=15671244/32951124 swapFree=56297244/67111528
[pid=20407] ppid=20405 vsize=10548180 CPUtime=1800.1 cores=1,3,5,7
/proc/20407/stat : 20407 (java) S 20405 20407 19203 0 -1 4202496 1085341 0 1 0 179873 137 0 0 24 0 19 0 913076733 10801336320 1038759 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20407/statm: 2637045 1038759 2266 9 0 2627779 0
[pid=20407/tid=20408] ppid=20405 vsize=10548180 CPUtime=1767.31 cores=1,3,5,7
/proc/20407/task/20408/stat : 20408 (java) R 20405 20407 19203 0 -1 4202560 678954 0 1 0 176654 77 0 0 25 0 19 0 913076734 10801336320 1038759 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 46912506119721 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20407/tid=20410] ppid=20405 vsize=10548180 CPUtime=3.51 cores=1,3,5,7
/proc/20407/task/20410/stat : 20410 (java) S 20405 20407 19203 0 -1 4202560 47358 0 0 0 344 7 0 0 15 0 19 0 913076735 10801336320 1038759 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20411] ppid=20405 vsize=10548180 CPUtime=2.61 cores=1,3,5,7
/proc/20407/task/20411/stat : 20411 (java) S 20405 20407 19203 0 -1 4202560 30992 0 0 0 257 4 0 0 15 0 19 0 913076735 10801336320 1038759 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20412] ppid=20405 vsize=10548180 CPUtime=3.08 cores=1,3,5,7
/proc/20407/task/20412/stat : 20412 (java) S 20405 20407 19203 0 -1 4202560 38428 0 0 0 303 5 0 0 15 0 19 0 913076735 10801336320 1038759 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 3 0 0 0
[pid=20407/tid=20413] ppid=20405 vsize=10548180 CPUtime=3.23 cores=1,3,5,7
/proc/20407/task/20413/stat : 20413 (java) S 20405 20407 19203 0 -1 4202560 44015 0 0 0 318 5 0 0 16 0 19 0 913076735 10801336320 1038759 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 3 0 0 0
[pid=20407/tid=20414] ppid=20405 vsize=10548180 CPUtime=2.72 cores=1,3,5,7
/proc/20407/task/20414/stat : 20414 (java) S 20405 20407 19203 0 -1 4202560 29575 0 0 0 268 4 0 0 16 0 19 0 913076735 10801336320 1038759 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 5 0 0 0
[pid=20407/tid=20415] ppid=20405 vsize=10548180 CPUtime=3.48 cores=1,3,5,7
/proc/20407/task/20415/stat : 20415 (java) S 20405 20407 19203 0 -1 4202560 63555 0 0 0 340 8 0 0 15 0 19 0 913076735 10801336320 1038759 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20416] ppid=20405 vsize=10548180 CPUtime=3.54 cores=1,3,5,7
/proc/20407/task/20416/stat : 20416 (java) S 20405 20407 19203 0 -1 4202560 33141 0 0 0 351 3 0 0 15 0 19 0 913076735 10801336320 1038759 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 5 0 0 0
[pid=20407/tid=20417] ppid=20405 vsize=10548180 CPUtime=3.82 cores=1,3,5,7
/proc/20407/task/20417/stat : 20417 (java) S 20405 20407 19203 0 -1 4202560 66632 0 0 0 373 9 0 0 16 0 19 0 913076735 10801336320 1038759 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20418] ppid=20405 vsize=10548180 CPUtime=4.28 cores=1,3,5,7
/proc/20407/task/20418/stat : 20418 (java) S 20405 20407 19203 0 -1 4202560 36993 0 0 0 422 6 0 0 15 0 19 0 913076736 10801336320 1038759 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469882368 0 0 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20419] ppid=20405 vsize=10548180 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20419/stat : 20419 (java) S 20405 20407 19203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 913076737 10801336320 1038759 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20420] ppid=20405 vsize=10548180 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20420/stat : 20420 (java) S 20405 20407 19203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 913076737 10801336320 1038759 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20421] ppid=20405 vsize=10548180 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20421/stat : 20421 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076739 10801336320 1038759 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469889457 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20422] ppid=20405 vsize=10548180 CPUtime=1.42 cores=1,3,5,7
/proc/20407/task/20422/stat : 20422 (java) S 20405 20407 19203 0 -1 4202560 10996 0 0 0 141 1 0 0 15 0 19 0 913076739 10801336320 1038759 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 3 0 0 0
[pid=20407/tid=20423] ppid=20405 vsize=10548180 CPUtime=0.96 cores=1,3,5,7
/proc/20407/task/20423/stat : 20423 (java) S 20405 20407 19203 0 -1 4202560 3449 0 0 0 96 0 0 0 15 0 19 0 913076739 10801336320 1038759 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
[pid=20407/tid=20424] ppid=20405 vsize=10548180 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20424/stat : 20424 (java) S 20405 20407 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076739 10801336320 1038759 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469881753 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20425] ppid=20405 vsize=10548180 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20425/stat : 20425 (java) S 20405 20407 19203 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 913076739 10801336320 1038759 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469882368 0 4 0 16800975 18446604470058243904 0 0 -1 1 0 0 0
[pid=20407/tid=20426] ppid=20405 vsize=10548180 CPUtime=0 cores=1,3,5,7
/proc/20407/task/20426/stat : 20426 (java) S 20405 20407 19203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 913077153 10801336320 1038759 33554432000 1073741824 1073778376 140733806759008 18446744073709551615 252469882368 0 4 0 16800975 18446604470058243904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10548180
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1779.6 s]
/proc/loadavg: 2.00 2.02 2.01 3/506 20473
/proc/meminfo: memFree=15671244/32951124 swapFree=56297244/67111528
[pid=20407] ppid=20405 vsize=0 CPUtime=1800.31 cores=1,3,5,7
/proc/20407/stat : 20407 (java) Z 20405 20407 19203 0 -1 4203548 1085371 0 1 0 179879 152 0 0 17 0 2 0 913076733 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20407/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1779.61
CPU time (s): 1800.32
CPU user time (s): 1798.79
CPU system time (s): 1.53177
CPU usage (%): 101.164
Max. virtual memory (cumulated for all children) (KiB): 10593192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.79
system time used= 1.53177
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1085371
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= 42463
involuntary context switches= 20939
runsolver used 8.05977 second user time and 19.548 second system time
The end