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-3457231-1307217684/watcher-3457231-1307217684 -o /tmp/evaluation-result-3457231-1307217684/solver-3457231-1307217684 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457231-1307217684.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: 2.25 2.06 1.73 2/487 19507
/proc/meminfo: memFree=22955084/32951124 swapFree=56297244/67111528
[pid=19507] ppid=19505 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/19507/stat : 19507 (java) S 19505 19507 19203 0 -1 4202496 1245 0 0 0 0 0 0 0 25 0 2 0 911998864 31268864 963 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469868517 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/19507/statm: 7901 963 736 9 0 385 0
[pid=19507/tid=19508] ppid=19505 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19508/stat : 19508 (java) R 19505 19507 19203 0 -1 4202560 6513 0 1 0 0 0 0 0 25 0 2 0 911998865 10694979584 7329 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252457759803 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0415991 s]
/proc/loadavg: 2.25 2.06 1.73 2/487 19507
/proc/meminfo: memFree=22955084/32951124 swapFree=56297244/67111528
[pid=19507] ppid=19505 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/19507/stat : 19507 (java) S 19505 19507 19203 0 -1 4202496 11250 0 1 0 2 1 0 0 25 0 13 0 911998864 10718699520 10947 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469868517 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/19507/statm: 2616870 10948 1672 9 0 2607618 0
[pid=19507/tid=19508] ppid=19505 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/19507/task/19508/stat : 19508 (java) R 19505 19507 19203 0 -1 4202560 10104 0 1 0 2 0 0 0 25 0 13 0 911998865 10718699520 10948 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 46947232124933 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.100588 s]
/proc/loadavg: 2.25 2.06 1.73 2/487 19507
/proc/meminfo: memFree=22955084/32951124 swapFree=56297244/67111528
[pid=19507] ppid=19505 vsize=10605544 CPUtime=0.1 cores=1,3,5,7
/proc/19507/stat : 19507 (java) S 19505 19507 19203 0 -1 4202496 13147 0 1 0 9 1 0 0 25 0 18 0 911998864 10860077056 12807 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19507/statm: 2651386 12807 2093 9 0 2642120 0
[pid=19507/tid=19508] ppid=19505 vsize=10605544 CPUtime=0.08 cores=1,3,5,7
/proc/19507/task/19508/stat : 19508 (java) R 19505 19507 19203 0 -1 4202560 11190 0 1 0 7 1 0 0 18 0 18 0 911998865 10860077056 12807 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469892555 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10605544
[startup+0.304595 s]
/proc/loadavg: 2.25 2.06 1.73 2/487 19507
/proc/meminfo: memFree=22955084/32951124 swapFree=56297244/67111528
[pid=19507] ppid=19505 vsize=10614140 CPUtime=0.6 cores=1,3,5,7
/proc/19507/stat : 19507 (java) S 19505 19507 19203 0 -1 4202496 22204 0 1 0 57 3 0 0 25 0 19 0 911998864 10868879360 19719 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19507/statm: 2653535 19719 2210 9 0 2644269 0
[pid=19507/tid=19508] ppid=19505 vsize=10614140 CPUtime=0.28 cores=1,3,5,7
/proc/19507/task/19508/stat : 19508 (java) R 19505 19507 19203 0 -1 4202560 12487 0 1 0 27 1 0 0 19 0 19 0 911998865 10868879360 19719 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 46912505194191 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 10614140
[startup+0.700475 s]
/proc/loadavg: 2.25 2.06 1.73 2/487 19507
/proc/meminfo: memFree=22955084/32951124 swapFree=56297244/67111528
[pid=19507] ppid=19505 vsize=10619640 CPUtime=1.69 cores=1,3,5,7
/proc/19507/stat : 19507 (java) S 19505 19507 19203 0 -1 4202496 39648 0 1 0 165 4 0 0 25 0 19 0 911998864 10874511360 35139 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19507/statm: 2654910 35146 2221 9 0 2645644 0
[pid=19507/tid=19508] ppid=19505 vsize=10619640 CPUtime=0.68 cores=1,3,5,7
/proc/19507/task/19508/stat : 19508 (java) R 19505 19507 19203 0 -1 4202560 26421 0 1 0 65 3 0 0 19 0 19 0 911998865 10874511360 35147 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 46912505660305 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 10619640
[startup+1.50134 s]
/proc/loadavg: 2.25 2.06 1.73 4/506 19526
/proc/meminfo: memFree=22373876/32951124 swapFree=56297244/67111528
[pid=19507] ppid=19505 vsize=10619640 CPUtime=2.76 cores=1,3,5,7
/proc/19507/stat : 19507 (java) S 19505 19507 19203 0 -1 4202496 93429 0 1 0 265 11 0 0 25 0 19 0 911998864 10874511360 88919 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19507/statm: 2654910 88922 2225 9 0 2645644 0
[pid=19507/tid=19508] ppid=19505 vsize=10619640 CPUtime=1.48 cores=1,3,5,7
/proc/19507/task/19508/stat : 19508 (java) R 19505 19507 19203 0 -1 4202560 80152 0 1 0 139 9 0 0 21 0 19 0 911998865 10874511360 88923 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 46912505660320 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19507/tid=19510] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19510/stat : 19510 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998866 10874511360 88925 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19511] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19511/stat : 19511 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998866 10874511360 88926 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19512] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19512/stat : 19512 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998866 10874511360 88928 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19513] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19513/stat : 19513 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998866 10874511360 88930 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19514] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19514/stat : 19514 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998866 10874511360 88931 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19515] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19515/stat : 19515 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998866 10874511360 88933 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19516] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19516/stat : 19516 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998866 10874511360 88934 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19517] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19517/stat : 19517 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998866 10874511360 88936 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19518] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19518/stat : 19518 (java) S 19505 19507 19203 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 911998867 10874511360 88937 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469882368 0 0 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19519] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19519/stat : 19519 (java) S 19505 19507 19203 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911998868 10874511360 88939 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19520] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19520/stat : 19520 (java) S 19505 19507 19203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911998868 10874511360 88940 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19521] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19521/stat : 19521 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998870 10874511360 88941 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469889457 0 4 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19522] ppid=19505 vsize=10619640 CPUtime=0.61 cores=1,3,5,7
/proc/19507/task/19522/stat : 19522 (java) S 19505 19507 19203 0 -1 4202560 5297 0 0 0 61 0 0 0 15 0 19 0 911998870 10874511360 88942 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 5 0 0 0
[pid=19507/tid=19523] ppid=19505 vsize=10619640 CPUtime=0.63 cores=1,3,5,7
/proc/19507/task/19523/stat : 19523 (java) S 19505 19507 19203 0 -1 4202560 6823 0 0 0 63 0 0 0 15 0 19 0 911998870 10874511360 88944 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 1 0 0 0
[pid=19507/tid=19524] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19524/stat : 19524 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998870 10874511360 88946 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19525] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19525/stat : 19525 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911998870 10874511360 88947 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469882368 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19526] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19526/stat : 19526 (java) S 19505 19507 19203 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911998888 10874511360 88948 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469882368 0 4 0 16800975 18446604458847632320 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 10619640
[startup+3.10103 s]
/proc/loadavg: 2.25 2.06 1.73 3/506 19526
/proc/meminfo: memFree=21654884/32951124 swapFree=56297244/67111528
[pid=19507] ppid=19505 vsize=10619640 CPUtime=4.49 cores=1,3,5,7
/proc/19507/stat : 19507 (java) S 19505 19507 19203 0 -1 4202496 212060 0 1 0 426 23 0 0 25 0 19 0 911998864 10874511360 207548 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19507/statm: 2654910 207550 2227 9 0 2645644 0
[pid=19507/tid=19508] ppid=19505 vsize=10619640 CPUtime=3.08 cores=1,3,5,7
/proc/19507/task/19508/stat : 19508 (java) R 19505 19507 19203 0 -1 4202560 198769 0 1 0 286 22 0 0 25 0 19 0 911998865 10874511360 207551 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 46912505604926 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19507/tid=19510] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19510/stat : 19510 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998866 10874511360 207552 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19511] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19511/stat : 19511 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998866 10874511360 207554 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19512] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19512/stat : 19512 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998866 10874511360 207555 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19513] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19513/stat : 19513 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998866 10874511360 207556 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19514] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19514/stat : 19514 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998866 10874511360 207557 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19515] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19515/stat : 19515 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998866 10874511360 207558 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19516] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19516/stat : 19516 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998866 10874511360 207559 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19517] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19517/stat : 19517 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998866 10874511360 207561 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19518] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19518/stat : 19518 (java) S 19505 19507 19203 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 911998867 10874511360 207562 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469882368 0 0 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19519] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19519/stat : 19519 (java) S 19505 19507 19203 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911998868 10874511360 207563 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19520] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19520/stat : 19520 (java) S 19505 19507 19203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911998868 10874511360 207565 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19521] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19521/stat : 19521 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998870 10874511360 207566 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469889457 0 4 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19522] ppid=19505 vsize=10619640 CPUtime=0.73 cores=1,3,5,7
/proc/19507/task/19522/stat : 19522 (java) S 19505 19507 19203 0 -1 4202560 5309 0 0 0 73 0 0 0 15 0 19 0 911998870 10874511360 207567 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 5 0 0 0
[pid=19507/tid=19523] ppid=19505 vsize=10619640 CPUtime=0.66 cores=1,3,5,7
/proc/19507/task/19523/stat : 19523 (java) S 19505 19507 19203 0 -1 4202560 6824 0 0 0 66 0 0 0 15 0 19 0 911998870 10874511360 207568 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 1 0 0 0
[pid=19507/tid=19524] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19524/stat : 19524 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998870 10874511360 207569 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19525] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19525/stat : 19525 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911998870 10874511360 207570 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469882368 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19526] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19526/stat : 19526 (java) S 19505 19507 19203 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911998888 10874511360 207572 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469882368 0 4 0 16800975 18446604458847632320 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.49
Current children cumulated vsize (KiB) 10619640
[startup+6.30144 s]
/proc/loadavg: 2.23 2.06 1.73 3/506 19526
/proc/meminfo: memFree=19776152/32951124 swapFree=56297244/67111528
[pid=19507] ppid=19505 vsize=10619640 CPUtime=7.76 cores=1,3,5,7
/proc/19507/stat : 19507 (java) S 19505 19507 19203 0 -1 4202496 493774 0 1 0 725 51 0 0 25 0 19 0 911998864 10874511360 489097 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19507/statm: 2654910 489099 2228 9 0 2645644 0
[pid=19507/tid=19508] ppid=19505 vsize=10619640 CPUtime=6.28 cores=1,3,5,7
/proc/19507/task/19508/stat : 19508 (java) R 19505 19507 19203 0 -1 4202560 480474 0 1 0 579 49 0 0 25 0 19 0 911998865 10874511360 489101 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 46912505660324 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19507/tid=19510] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19510/stat : 19510 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998866 10874511360 489103 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19511] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19511/stat : 19511 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998866 10874511360 489106 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19512] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19512/stat : 19512 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998866 10874511360 489108 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19513] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19513/stat : 19513 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998866 10874511360 489109 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19514] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19514/stat : 19514 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998866 10874511360 489111 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19515] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19515/stat : 19515 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998866 10874511360 489113 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19516] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19516/stat : 19516 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998866 10874511360 489115 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19517] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19517/stat : 19517 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998866 10874511360 489116 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19518] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19518/stat : 19518 (java) S 19505 19507 19203 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 911998867 10874511360 489118 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469882368 0 0 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19519] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19519/stat : 19519 (java) S 19505 19507 19203 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911998868 10874511360 489121 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19520] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19520/stat : 19520 (java) S 19505 19507 19203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911998868 10874511360 489123 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19521] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19521/stat : 19521 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998870 10874511360 489125 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469889457 0 4 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19522] ppid=19505 vsize=10619640 CPUtime=0.78 cores=1,3,5,7
/proc/19507/task/19522/stat : 19522 (java) S 19505 19507 19203 0 -1 4202560 5318 0 0 0 78 0 0 0 15 0 19 0 911998870 10874511360 489127 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 5 0 0 0
[pid=19507/tid=19523] ppid=19505 vsize=10619640 CPUtime=0.66 cores=1,3,5,7
/proc/19507/task/19523/stat : 19523 (java) S 19505 19507 19203 0 -1 4202560 6824 0 0 0 66 0 0 0 15 0 19 0 911998870 10874511360 489128 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=19507/tid=19524] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19524/stat : 19524 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998870 10874511360 995397 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19525] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19525/stat : 19525 (java) S 19505 19507 19203 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 911998870 10874511360 995397 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469882368 0 4 0 16800975 18446604458847632320 0 0 -1 1 0 0 0
[pid=19507/tid=19526] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19526/stat : 19526 (java) S 19505 19507 19203 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911998888 10874511360 995397 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469882368 0 4 0 16800975 18446604458847632320 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1665.02
Current children cumulated vsize (KiB) 10619640
[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 1.97 3/506 19572
/proc/meminfo: memFree=16469424/32951124 swapFree=56297244/67111528
[pid=19507] ppid=19505 vsize=10619640 CPUtime=1725.02 cores=1,3,5,7
/proc/19507/stat : 19507 (java) S 19505 19507 19203 0 -1 4202496 1005270 0 1 0 172391 111 0 0 25 0 19 0 911998864 10874511360 995397 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19507/statm: 2654910 995397 2245 9 0 2645644 0
[pid=19507/tid=19508] ppid=19505 vsize=10619640 CPUtime=1721.68 cores=1,3,5,7
/proc/19507/task/19508/stat : 19508 (java) R 19505 19507 19203 0 -1 4202560 822378 0 1 0 172083 85 0 0 25 0 19 0 911998865 10874511360 995397 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 46912505665156 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19507/tid=19510] ppid=19505 vsize=10619640 CPUtime=0.21 cores=1,3,5,7
/proc/19507/task/19510/stat : 19510 (java) S 19505 19507 19203 0 -1 4202560 25533 0 0 0 18 3 0 0 15 0 19 0 911998866 10874511360 995397 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 1 0 0 0
[pid=19507/tid=19511] ppid=19505 vsize=10619640 CPUtime=0.16 cores=1,3,5,7
/proc/19507/task/19511/stat : 19511 (java) S 19505 19507 19203 0 -1 4202560 17392 0 0 0 14 2 0 0 15 0 19 0 911998866 10874511360 995397 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19512] ppid=19505 vsize=10619640 CPUtime=0.2 cores=1,3,5,7
/proc/19507/task/19512/stat : 19512 (java) S 19505 19507 19203 0 -1 4202560 20529 0 0 0 18 2 0 0 16 0 19 0 911998866 10874511360 995397 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19513] ppid=19505 vsize=10619640 CPUtime=0.2 cores=1,3,5,7
/proc/19507/task/19513/stat : 19513 (java) S 19505 19507 19203 0 -1 4202560 18525 0 0 0 18 2 0 0 16 0 19 0 911998866 10874511360 995397 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 5 0 0 0
[pid=19507/tid=19514] ppid=19505 vsize=10619640 CPUtime=0.2 cores=1,3,5,7
/proc/19507/task/19514/stat : 19514 (java) S 19505 19507 19203 0 -1 4202560 17638 0 0 0 18 2 0 0 16 0 19 0 911998866 10874511360 995397 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19515] ppid=19505 vsize=10619640 CPUtime=0.2 cores=1,3,5,7
/proc/19507/task/19515/stat : 19515 (java) S 19505 19507 19203 0 -1 4202560 18178 0 0 0 17 3 0 0 15 0 19 0 911998866 10874511360 995397 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 5 0 0 0
[pid=19507/tid=19516] ppid=19505 vsize=10619640 CPUtime=0.24 cores=1,3,5,7
/proc/19507/task/19516/stat : 19516 (java) S 19505 19507 19203 0 -1 4202560 27791 0 0 0 21 3 0 0 15 0 19 0 911998866 10874511360 995397 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19517] ppid=19505 vsize=10619640 CPUtime=0.26 cores=1,3,5,7
/proc/19507/task/19517/stat : 19517 (java) S 19505 19507 19203 0 -1 4202560 23827 0 0 0 24 2 0 0 16 0 19 0 911998866 10874511360 995397 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 1 0 0 0
[pid=19507/tid=19518] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19518/stat : 19518 (java) S 19505 19507 19203 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 911998867 10874511360 995397 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469882368 0 0 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19519] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19519/stat : 19519 (java) S 19505 19507 19203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911998868 10874511360 995397 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19520] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19520/stat : 19520 (java) S 19505 19507 19203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 911998868 10874511360 995397 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19521] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19521/stat : 19521 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998870 10874511360 995397 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469889457 0 4 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19522] ppid=19505 vsize=10619640 CPUtime=0.83 cores=1,3,5,7
/proc/19507/task/19522/stat : 19522 (java) S 19505 19507 19203 0 -1 4202560 5326 0 0 0 83 0 0 0 15 0 19 0 911998870 10874511360 995397 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 5 0 0 0
[pid=19507/tid=19523] ppid=19505 vsize=10619640 CPUtime=0.72 cores=1,3,5,7
/proc/19507/task/19523/stat : 19523 (java) S 19505 19507 19203 0 -1 4202560 6836 0 0 0 72 0 0 0 15 0 19 0 911998870 10874511360 995397 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 1 0 0 0
[pid=19507/tid=19524] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19524/stat : 19524 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998870 10874511360 995397 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19525] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19525/stat : 19525 (java) S 19505 19507 19203 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 911998870 10874511360 995397 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469882368 0 4 0 16800975 18446604458847632320 0 0 -1 1 0 0 0
[pid=19507/tid=19526] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19526/stat : 19526 (java) S 19505 19507 19203 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911998888 10874511360 995397 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469882368 0 4 0 16800975 18446604458847632320 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1725.02
Current children cumulated vsize (KiB) 10619640
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 1.97 3/506 19574
/proc/meminfo: memFree=16467664/32951124 swapFree=56297244/67111528
[pid=19507] ppid=19505 vsize=10619640 CPUtime=1785.03 cores=1,3,5,7
/proc/19507/stat : 19507 (java) S 19505 19507 19203 0 -1 4202496 1005359 0 1 0 178392 111 0 0 25 0 19 0 911998864 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19507/statm: 2654910 995477 2245 9 0 2645644 0
[pid=19507/tid=19508] ppid=19505 vsize=10619640 CPUtime=1781.68 cores=1,3,5,7
/proc/19507/task/19508/stat : 19508 (java) R 19505 19507 19203 0 -1 4202560 822379 0 1 0 178083 85 0 0 25 0 19 0 911998865 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 46912505665056 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19507/tid=19510] ppid=19505 vsize=10619640 CPUtime=0.21 cores=1,3,5,7
/proc/19507/task/19510/stat : 19510 (java) S 19505 19507 19203 0 -1 4202560 25533 0 0 0 18 3 0 0 15 0 19 0 911998866 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 1 0 0 0
[pid=19507/tid=19511] ppid=19505 vsize=10619640 CPUtime=0.16 cores=1,3,5,7
/proc/19507/task/19511/stat : 19511 (java) S 19505 19507 19203 0 -1 4202560 17419 0 0 0 14 2 0 0 16 0 19 0 911998866 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19512] ppid=19505 vsize=10619640 CPUtime=0.2 cores=1,3,5,7
/proc/19507/task/19512/stat : 19512 (java) S 19505 19507 19203 0 -1 4202560 20529 0 0 0 18 2 0 0 15 0 19 0 911998866 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19513] ppid=19505 vsize=10619640 CPUtime=0.2 cores=1,3,5,7
/proc/19507/task/19513/stat : 19513 (java) S 19505 19507 19203 0 -1 4202560 18525 0 0 0 18 2 0 0 15 0 19 0 911998866 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 5 0 0 0
[pid=19507/tid=19514] ppid=19505 vsize=10619640 CPUtime=0.2 cores=1,3,5,7
/proc/19507/task/19514/stat : 19514 (java) S 19505 19507 19203 0 -1 4202560 17638 0 0 0 18 2 0 0 15 0 19 0 911998866 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19515] ppid=19505 vsize=10619640 CPUtime=0.21 cores=1,3,5,7
/proc/19507/task/19515/stat : 19515 (java) S 19505 19507 19203 0 -1 4202560 18233 0 0 0 18 3 0 0 16 0 19 0 911998866 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 5 0 0 0
[pid=19507/tid=19516] ppid=19505 vsize=10619640 CPUtime=0.24 cores=1,3,5,7
/proc/19507/task/19516/stat : 19516 (java) S 19505 19507 19203 0 -1 4202560 27791 0 0 0 21 3 0 0 15 0 19 0 911998866 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19517] ppid=19505 vsize=10619640 CPUtime=0.26 cores=1,3,5,7
/proc/19507/task/19517/stat : 19517 (java) S 19505 19507 19203 0 -1 4202560 23827 0 0 0 24 2 0 0 15 0 19 0 911998866 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 1 0 0 0
[pid=19507/tid=19518] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19518/stat : 19518 (java) S 19505 19507 19203 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 911998867 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469882368 0 0 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19519] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19519/stat : 19519 (java) S 19505 19507 19203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911998868 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19520] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19520/stat : 19520 (java) S 19505 19507 19203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 911998868 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19521] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19521/stat : 19521 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998870 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469889457 0 4 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19522] ppid=19505 vsize=10619640 CPUtime=0.83 cores=1,3,5,7
/proc/19507/task/19522/stat : 19522 (java) S 19505 19507 19203 0 -1 4202560 5326 0 0 0 83 0 0 0 15 0 19 0 911998870 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 5 0 0 0
[pid=19507/tid=19523] ppid=19505 vsize=10619640 CPUtime=0.72 cores=1,3,5,7
/proc/19507/task/19523/stat : 19523 (java) S 19505 19507 19203 0 -1 4202560 6836 0 0 0 72 0 0 0 15 0 19 0 911998870 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 1 0 0 0
[pid=19507/tid=19524] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19524/stat : 19524 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998870 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19525] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19525/stat : 19525 (java) S 19505 19507 19203 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 911998870 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469882368 0 4 0 16800975 18446604458847632320 0 0 -1 1 0 0 0
[pid=19507/tid=19526] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19526/stat : 19526 (java) S 19505 19507 19203 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911998888 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469882368 0 4 0 16800975 18446604458847632320 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1785.03
Current children cumulated vsize (KiB) 10619640
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.3 s]
/proc/loadavg: 2.08 2.05 1.97 4/506 19622
/proc/meminfo: memFree=19993028/32951124 swapFree=56297244/67111528
[pid=19507] ppid=19505 vsize=10619640 CPUtime=1800.05 cores=1,3,5,7
/proc/19507/stat : 19507 (java) S 19505 19507 19203 0 -1 4202496 1005361 0 1 0 179894 111 0 0 25 0 19 0 911998864 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19507/statm: 2654910 995477 2245 9 0 2645644 0
[pid=19507/tid=19508] ppid=19505 vsize=10619640 CPUtime=1796.71 cores=1,3,5,7
/proc/19507/task/19508/stat : 19508 (java) R 19505 19507 19203 0 -1 4202560 822379 0 1 0 179586 85 0 0 25 0 19 0 911998865 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 46912505665089 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19507/tid=19510] ppid=19505 vsize=10619640 CPUtime=0.21 cores=1,3,5,7
/proc/19507/task/19510/stat : 19510 (java) S 19505 19507 19203 0 -1 4202560 25533 0 0 0 18 3 0 0 15 0 19 0 911998866 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 1 0 0 0
[pid=19507/tid=19511] ppid=19505 vsize=10619640 CPUtime=0.16 cores=1,3,5,7
/proc/19507/task/19511/stat : 19511 (java) S 19505 19507 19203 0 -1 4202560 17419 0 0 0 14 2 0 0 16 0 19 0 911998866 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19512] ppid=19505 vsize=10619640 CPUtime=0.2 cores=1,3,5,7
/proc/19507/task/19512/stat : 19512 (java) S 19505 19507 19203 0 -1 4202560 20529 0 0 0 18 2 0 0 15 0 19 0 911998866 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19513] ppid=19505 vsize=10619640 CPUtime=0.2 cores=1,3,5,7
/proc/19507/task/19513/stat : 19513 (java) S 19505 19507 19203 0 -1 4202560 18525 0 0 0 18 2 0 0 15 0 19 0 911998866 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 5 0 0 0
[pid=19507/tid=19514] ppid=19505 vsize=10619640 CPUtime=0.2 cores=1,3,5,7
/proc/19507/task/19514/stat : 19514 (java) S 19505 19507 19203 0 -1 4202560 17638 0 0 0 18 2 0 0 15 0 19 0 911998866 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 7 0 0 0
[pid=19507/tid=19515] ppid=19505 vsize=10619640 CPUtime=0.21 cores=1,3,5,7
/proc/19507/task/19515/stat : 19515 (java) S 19505 19507 19203 0 -1 4202560 18233 0 0 0 18 3 0 0 16 0 19 0 911998866 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 5 0 0 0
[pid=19507/tid=19516] ppid=19505 vsize=10619640 CPUtime=0.24 cores=1,3,5,7
/proc/19507/task/19516/stat : 19516 (java) S 19505 19507 19203 0 -1 4202560 27791 0 0 0 21 3 0 0 15 0 19 0 911998866 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19517] ppid=19505 vsize=10619640 CPUtime=0.26 cores=1,3,5,7
/proc/19507/task/19517/stat : 19517 (java) S 19505 19507 19203 0 -1 4202560 23827 0 0 0 24 2 0 0 15 0 19 0 911998866 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 1 0 0 0
[pid=19507/tid=19518] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19518/stat : 19518 (java) S 19505 19507 19203 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 911998867 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469882368 0 0 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19519] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19519/stat : 19519 (java) S 19505 19507 19203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911998868 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19520] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19520/stat : 19520 (java) S 19505 19507 19203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 911998868 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19521] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19521/stat : 19521 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998870 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469889457 0 4 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19522] ppid=19505 vsize=10619640 CPUtime=0.83 cores=1,3,5,7
/proc/19507/task/19522/stat : 19522 (java) S 19505 19507 19203 0 -1 4202560 5326 0 0 0 83 0 0 0 15 0 19 0 911998870 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 5 0 0 0
[pid=19507/tid=19523] ppid=19505 vsize=10619640 CPUtime=0.72 cores=1,3,5,7
/proc/19507/task/19523/stat : 19523 (java) S 19505 19507 19203 0 -1 4202560 6836 0 0 0 72 0 0 0 15 0 19 0 911998870 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 1 0 0 0
[pid=19507/tid=19524] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19524/stat : 19524 (java) S 19505 19507 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998870 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469881753 0 4 0 16800975 18446604458847632320 0 0 -1 3 0 0 0
[pid=19507/tid=19525] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19525/stat : 19525 (java) S 19505 19507 19203 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 911998870 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469882368 0 4 0 16800975 18446604458847632320 0 0 -1 1 0 0 0
[pid=19507/tid=19526] ppid=19505 vsize=10619640 CPUtime=0 cores=1,3,5,7
/proc/19507/task/19526/stat : 19526 (java) S 19505 19507 19203 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911998888 10874511360 995477 33554432000 1073741824 1073778376 140736207404352 18446744073709551615 252469882368 0 4 0 16800975 18446604458847632320 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10619640
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.44 s]
/proc/loadavg: 2.08 2.05 1.97 4/506 19622
/proc/meminfo: memFree=19993028/32951124 swapFree=56297244/67111528
[pid=19507] ppid=19505 vsize=0 CPUtime=1800.2 cores=1,3,5,7
/proc/19507/stat : 19507 (java) Z 19505 19507 19203 0 -1 4203548 1005392 0 1 0 179900 120 0 0 17 0 2 0 911998864 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19507/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
[startup+1797.5 s]
/proc/loadavg: 2.08 2.05 1.97 4/506 19622
/proc/meminfo: memFree=19993028/32951124 swapFree=56297244/67111528
[pid=19507] ppid=19505 vsize=0 CPUtime=1800.27 cores=1,3,5,7
/proc/19507/stat : 19507 (java) Z 19505 19507 19203 0 -1 4203548 1005392 0 1 0 179900 127 0 0 17 0 2 0 911998864 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19507/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1797.52
CPU time (s): 1800.3
CPU user time (s): 1799.01
CPU system time (s): 1.2908
CPU usage (%): 100.154
Max. virtual memory (cumulated for all children) (KiB): 10623372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.01
system time used= 1.2908
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1005392
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= 37847
involuntary context switches= 6603
runsolver used 8.01878 second user time and 19.82 second system time
The end