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-3457567-1307228497/watcher-3457567-1307228497 -o /tmp/evaluation-result-3457567-1307228497/solver-3457567-1307228497 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457567-1307228497.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.03 2.05 2.00 2/516 26591
/proc/meminfo: memFree=25393908/32951132 swapFree=57925096/67111528
[pid=26591] ppid=26589 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/26591/stat : 26591 (java) S 26589 26591 24816 0 -1 4202496 5948 0 1 0 0 0 0 0 25 0 2 0 834449288 10694979584 5652 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658949093 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/26591/statm: 2611079 5665 917 9 0 2602235 0
[pid=26591/tid=26592] ppid=26589 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26592/stat : 26592 (java) R 26589 26591 24816 0 -1 4202560 6852 0 1 0 0 0 0 0 25 0 2 0 834449289 10694979584 7667 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210646840379 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.102503 s]
/proc/loadavg: 2.03 2.05 2.00 2/516 26591
/proc/meminfo: memFree=25393908/32951132 swapFree=57925096/67111528
[pid=26591] ppid=26589 vsize=10539876 CPUtime=0.1 cores=1,3,5,7
/proc/26591/stat : 26591 (java) S 26589 26591 24816 0 -1 4202496 13087 0 1 0 9 1 0 0 25 0 18 0 834449288 10792833024 12785 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26591/statm: 2634969 12785 2093 9 0 2625703 0
[pid=26591/tid=26592] ppid=26589 vsize=10539876 CPUtime=0.08 cores=1,3,5,7
/proc/26591/task/26592/stat : 26592 (java) R 26589 26591 24816 0 -1 4202560 11173 0 1 0 7 1 0 0 18 0 18 0 834449289 10792833024 12786 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 47923197269528 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) 10539876
[startup+0.20045 s]
/proc/loadavg: 2.03 2.05 2.00 2/516 26591
/proc/meminfo: memFree=25393908/32951132 swapFree=57925096/67111528
[pid=26591] ppid=26589 vsize=10540748 CPUtime=0.31 cores=1,3,5,7
/proc/26591/stat : 26591 (java) S 26589 26591 24816 0 -1 4202496 14389 0 1 0 29 2 0 0 25 0 18 0 834449288 10793725952 14015 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26591/statm: 2635187 14018 2190 9 0 2625921 0
[pid=26591/tid=26592] ppid=26589 vsize=10540748 CPUtime=0.18 cores=1,3,5,7
/proc/26591/task/26592/stat : 26592 (java) R 26589 26591 24816 0 -1 4202560 11955 0 1 0 17 1 0 0 18 0 18 0 834449289 10793725952 14018 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 47923198704436 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 10540748
[startup+0.300434 s]
/proc/loadavg: 2.03 2.05 2.00 2/516 26591
/proc/meminfo: memFree=25393908/32951132 swapFree=57925096/67111528
[pid=26591] ppid=26589 vsize=10544388 CPUtime=0.59 cores=1,3,5,7
/proc/26591/stat : 26591 (java) S 26589 26591 24816 0 -1 4202496 20709 0 1 0 57 2 0 0 25 0 18 0 834449288 10797453312 18644 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26591/statm: 2636097 18644 2208 9 0 2626831 0
[pid=26591/tid=26592] ppid=26589 vsize=10544388 CPUtime=0.29 cores=1,3,5,7
/proc/26591/task/26592/stat : 26592 (java) R 26589 26591 24816 0 -1 4202560 13229 0 1 0 27 2 0 0 18 0 18 0 834449289 10797453312 18644 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 46912505121170 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 10544388
[startup+0.700402 s]
/proc/loadavg: 2.03 2.05 2.00 2/516 26591
/proc/meminfo: memFree=25393908/32951132 swapFree=57925096/67111528
[pid=26591] ppid=26589 vsize=10552748 CPUtime=1.63 cores=1,3,5,7
/proc/26591/stat : 26591 (java) S 26589 26591 24816 0 -1 4202496 38892 0 1 0 158 5 0 0 25 0 19 0 834449288 10806013952 36111 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26591/statm: 2638187 36114 2225 9 0 2628921 0
[pid=26591/tid=26592] ppid=26589 vsize=10552748 CPUtime=0.68 cores=1,3,5,7
/proc/26591/task/26592/stat : 26592 (java) R 26589 26591 24816 0 -1 4202560 28722 0 1 0 64 4 0 0 19 0 19 0 834449289 10806013952 36115 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 46912505840265 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 10552748
[startup+1.50127 s]
/proc/loadavg: 2.03 2.05 2.00 3/535 26610
/proc/meminfo: memFree=25060824/32951132 swapFree=57925096/67111528
[pid=26591] ppid=26589 vsize=10554084 CPUtime=2.71 cores=1,3,5,7
/proc/26591/stat : 26591 (java) S 26589 26591 24816 0 -1 4202496 142637 0 1 0 256 15 0 0 25 0 19 0 834449288 10807382016 139855 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26591/statm: 2638521 139857 2228 9 0 2629255 0
[pid=26591/tid=26592] ppid=26589 vsize=10554084 CPUtime=1.48 cores=1,3,5,7
/proc/26591/task/26592/stat : 26592 (java) R 26589 26591 24816 0 -1 4202560 132038 0 1 0 134 14 0 0 20 0 19 0 834449289 10807382016 139863 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 46912505778952 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26591/tid=26594] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26594/stat : 26594 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834449290 10807382016 139865 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26595] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26595/stat : 26595 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834449290 10807382016 139866 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26596] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26596/stat : 26596 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834449290 10807382016 139873 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26597] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26597/stat : 26597 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834449290 10807382016 139875 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26598] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26598/stat : 26598 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834449290 10807382016 139876 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26599] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26599/stat : 26599 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834449290 10807382016 139882 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26600] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26600/stat : 26600 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834449290 10807382016 139884 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26601] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26601/stat : 26601 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834449290 10807382016 139885 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26602] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26602/stat : 26602 (java) S 26589 26591 24816 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834449291 10807382016 139892 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962944 0 0 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26603] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26603/stat : 26603 (java) S 26589 26591 24816 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834449292 10807382016 139894 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26604] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26604/stat : 26604 (java) S 26589 26591 24816 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834449292 10807382016 139895 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26605] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26605/stat : 26605 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834449294 10807382016 139901 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658970033 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26606] ppid=26589 vsize=10554084 CPUtime=0.58 cores=1,3,5,7
/proc/26591/task/26606/stat : 26606 (java) S 26589 26591 24816 0 -1 4202560 3700 0 0 0 58 0 0 0 25 0 19 0 834449294 10807382016 139903 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=26591/tid=26607] ppid=26589 vsize=10554084 CPUtime=0.62 cores=1,3,5,7
/proc/26591/task/26607/stat : 26607 (java) S 26589 26591 24816 0 -1 4202560 5749 0 0 0 62 0 0 0 25 0 19 0 834449294 10807382016 139904 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26608] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26608/stat : 26608 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834449294 10807382016 139911 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26609] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26609/stat : 26609 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834449294 10807382016 139913 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=26591/tid=26610] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26610/stat : 26610 (java) S 26589 26591 24816 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834449318 10807382016 139914 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 10554084
[startup+3.10101 s]
/proc/loadavg: 2.03 2.05 2.00 3/535 26610
/proc/meminfo: memFree=24462276/32951132 swapFree=57925096/67111528
[pid=26591] ppid=26589 vsize=10554084 CPUtime=4.32 cores=1,3,5,7
/proc/26591/stat : 26591 (java) S 26589 26591 24816 0 -1 4202496 360578 0 1 0 395 37 0 0 25 0 19 0 834449288 10807382016 357797 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26591/statm: 2638521 357808 2228 9 0 2629255 0
[pid=26591/tid=26592] ppid=26589 vsize=10554084 CPUtime=3.08 cores=1,3,5,7
/proc/26591/task/26592/stat : 26592 (java) R 26589 26591 24816 0 -1 4202560 349983 0 1 0 273 35 0 0 25 0 19 0 834449289 10807382016 357808 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 46912505567217 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26591/tid=26594] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26594/stat : 26594 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834449290 10807382016 357809 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26595] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26595/stat : 26595 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834449290 10807382016 357816 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26596] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26596/stat : 26596 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834449290 10807382016 357822 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26597] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26597/stat : 26597 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834449290 10807382016 357828 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26598] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26598/stat : 26598 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834449290 10807382016 357829 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26599] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26599/stat : 26599 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834449290 10807382016 357830 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26600] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26600/stat : 26600 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834449290 10807382016 357836 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26601] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26601/stat : 26601 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834449290 10807382016 357843 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26602] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26602/stat : 26602 (java) S 26589 26591 24816 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834449291 10807382016 357849 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962944 0 0 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26603] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26603/stat : 26603 (java) S 26589 26591 24816 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834449292 10807382016 357849 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26604] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26604/stat : 26604 (java) S 26589 26591 24816 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834449292 10807382016 357850 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26605] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26605/stat : 26605 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834449294 10807382016 357857 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658970033 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26606] ppid=26589 vsize=10554084 CPUtime=0.58 cores=1,3,5,7
/proc/26591/task/26606/stat : 26606 (java) S 26589 26591 24816 0 -1 4202560 3700 0 0 0 58 0 0 0 25 0 19 0 834449294 10807382016 357864 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=26591/tid=26607] ppid=26589 vsize=10554084 CPUtime=0.62 cores=1,3,5,7
/proc/26591/task/26607/stat : 26607 (java) S 26589 26591 24816 0 -1 4202560 5749 0 0 0 62 0 0 0 25 0 19 0 834449294 10807382016 357870 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26608] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26608/stat : 26608 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834449294 10807382016 357870 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26609] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26609/stat : 26609 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834449294 10807382016 357872 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=26591/tid=26610] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26610/stat : 26610 (java) S 26589 26591 24816 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834449318 10807382016 357878 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 10554084
[startup+6.30147 s]
/proc/loadavg: 2.03 2.05 2.00 3/535 26610
/proc/meminfo: memFree=22755460/32951132 swapFree=57925096/67111528
[pid=26591] ppid=26589 vsize=10554084 CPUtime=7.54 cores=1,3,5,7
/proc/26591/stat : 26591 (java) S 26589 26591 24816 0 -1 4202496 662872 0 1 0 688 66 0 0 25 0 19 0 834449288 10807382016 660045 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26591/statm: 2638521 660045 2242 9 0 2629255 0
[pid=26591/tid=26592] ppid=26589 vsize=10554084 CPUtime=6.28 cores=1,3,5,7
/proc/26591/task/26592/stat : 26592 (java) R 26589 26591 24816 0 -1 4202560 651036 0 1 0 563 65 0 0 25 0 19 0 834449289 10807382016 660045 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 46912505813738 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26591/tid=26594] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26594/stat : 26594 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 834449290 10807382016 660045 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26595] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26595/stat : 26595 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 834449290 10807382016 660045 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26596] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26596/stat : 26596 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 834449290 10807382016 660045 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26597] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26597/stat : 26597 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 834449290 10807382016 660045 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26598] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26598/stat : 26598 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 834449290 10807382016 660045 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26599] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26599/stat : 26599 (java) S 26589 26591 24816 0 -1 4202560 106 0 0 0 0 0 0 0 18 0 19 0 834449290 10807382016 660045 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26600] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26600/stat : 26600 (java) S 26589 26591 24816 0 -1 4202560 632 0 0 0 0 0 0 0 18 0 19 0 834449290 10807382016 660045 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26601] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26601/stat : 26601 (java) S 26589 26591 24816 0 -1 4202560 480 0 0 0 0 0 0 0 18 0 19 0 834449290 10807382016 660045 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26602] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26602/stat : 26602 (java) S 26589 26591 24816 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 19 0 834449291 10807382016 660045 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962944 0 0 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26603] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26603/stat : 26603 (java) S 26589 26591 24816 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834449292 10807382016 660045 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26604] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26604/stat : 26604 (java) S 26589 26591 24816 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834449292 10807382016 660045 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26605] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26605/stat : 26605 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834449294 10807382016 660045 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658970033 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26606] ppid=26589 vsize=10554084 CPUtime=0.58 cores=1,3,5,7
/proc/26591/task/26606/stat : 26606 (java) S 26589 26591 24816 0 -1 4202560 3700 0 0 0 58 0 0 0 25 0 19 0 834449294 10807382016 660045 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=26591/tid=26607] ppid=26589 vsize=10554084 CPUtime=0.64 cores=1,3,5,7
/proc/26591/task/26607/stat : 26607 (java) S 26589 26591 24816 0 -1 4202560 5754 0 0 0 64 0 0 0 17 0 19 0 834449294 10807382016 660045 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=26591/tid=26601] ppid=26589 vsize=10554084 CPUtime=0.35 cores=1,3,5,7
/proc/26591/task/26601/stat : 26601 (java) S 26589 26591 24816 0 -1 4202560 5689 0 0 0 34 1 0 0 16 0 19 0 834449290 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=26591/tid=26602] ppid=26589 vsize=10554084 CPUtime=0.07 cores=1,3,5,7
/proc/26591/task/26602/stat : 26602 (java) S 26589 26591 24816 0 -1 4202560 106 0 0 0 4 3 0 0 15 0 19 0 834449291 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962944 0 0 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=26591/tid=26603] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26603/stat : 26603 (java) S 26589 26591 24816 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834449292 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26604] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26604/stat : 26604 (java) S 26589 26591 24816 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834449292 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26605] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26605/stat : 26605 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834449294 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658970033 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26606] ppid=26589 vsize=10554084 CPUtime=0.6 cores=1,3,5,7
/proc/26591/task/26606/stat : 26606 (java) S 26589 26591 24816 0 -1 4202560 3700 0 0 0 60 0 0 0 18 0 19 0 834449294 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26607] ppid=26589 vsize=10554084 CPUtime=0.86 cores=1,3,5,7
/proc/26591/task/26607/stat : 26607 (java) S 26589 26591 24816 0 -1 4202560 5805 0 0 0 86 0 0 0 15 0 19 0 834449294 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=26591/tid=26608] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26608/stat : 26608 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834449294 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26609] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26609/stat : 26609 (java) S 26589 26591 24816 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 834449294 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26610] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26610/stat : 26610 (java) S 26589 26591 24816 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834449318 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1665.29
Current children cumulated vsize (KiB) 10554084
Solver just ended. Dumping a history of the last processes samples
[startup+1662.4 s]
/proc/loadavg: 2.00 2.02 2.04 3/535 26751
/proc/meminfo: memFree=20718336/32951132 swapFree=57925096/67111528
[pid=26591] ppid=26589 vsize=10554084 CPUtime=1665.39 cores=1,3,5,7
/proc/26591/stat : 26591 (java) S 26589 26591 24816 0 -1 4202496 906777 0 1 0 166439 100 0 0 25 0 19 0 834449288 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26591/statm: 2638521 902600 2243 9 0 2629255 0
[pid=26591/tid=26592] ppid=26589 vsize=10554084 CPUtime=1661.2 cores=1,3,5,7
/proc/26591/task/26592/stat : 26592 (java) R 26589 26591 24816 0 -1 4202560 857090 0 1 0 166033 87 0 0 25 0 19 0 834449289 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 46912505567312 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26591/tid=26594] ppid=26589 vsize=10554084 CPUtime=0.3 cores=1,3,5,7
/proc/26591/task/26594/stat : 26594 (java) S 26589 26591 24816 0 -1 4202560 5508 0 0 0 30 0 0 0 15 0 19 0 834449290 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26595] ppid=26589 vsize=10554084 CPUtime=0.3 cores=1,3,5,7
/proc/26591/task/26595/stat : 26595 (java) S 26589 26591 24816 0 -1 4202560 3420 0 0 0 30 0 0 0 16 0 19 0 834449290 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26596] ppid=26589 vsize=10554084 CPUtime=0.33 cores=1,3,5,7
/proc/26591/task/26596/stat : 26596 (java) S 26589 26591 24816 0 -1 4202560 5738 0 0 0 32 1 0 0 15 0 19 0 834449290 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26597] ppid=26589 vsize=10554084 CPUtime=0.3 cores=1,3,5,7
/proc/26591/task/26597/stat : 26597 (java) S 26589 26591 24816 0 -1 4202560 4304 0 0 0 30 0 0 0 15 0 19 0 834449290 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26598] ppid=26589 vsize=10554084 CPUtime=0.31 cores=1,3,5,7
/proc/26591/task/26598/stat : 26598 (java) S 26589 26591 24816 0 -1 4202560 5184 0 0 0 31 0 0 0 15 0 19 0 834449290 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=26591/tid=26599] ppid=26589 vsize=10554084 CPUtime=0.31 cores=1,3,5,7
/proc/26591/task/26599/stat : 26599 (java) S 26589 26591 24816 0 -1 4202560 4330 0 0 0 30 1 0 0 15 0 19 0 834449290 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26600] ppid=26589 vsize=10554084 CPUtime=0.34 cores=1,3,5,7
/proc/26591/task/26600/stat : 26600 (java) S 26589 26591 24816 0 -1 4202560 4660 0 0 0 33 1 0 0 15 0 19 0 834449290 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=26591/tid=26601] ppid=26589 vsize=10554084 CPUtime=0.35 cores=1,3,5,7
/proc/26591/task/26601/stat : 26601 (java) S 26589 26591 24816 0 -1 4202560 5689 0 0 0 34 1 0 0 16 0 19 0 834449290 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=26591/tid=26602] ppid=26589 vsize=10554084 CPUtime=0.07 cores=1,3,5,7
/proc/26591/task/26602/stat : 26602 (java) S 26589 26591 24816 0 -1 4202560 106 0 0 0 4 3 0 0 15 0 19 0 834449291 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962944 0 0 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=26591/tid=26603] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26603/stat : 26603 (java) S 26589 26591 24816 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834449292 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26604] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26604/stat : 26604 (java) S 26589 26591 24816 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834449292 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26605] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26605/stat : 26605 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834449294 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658970033 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26606] ppid=26589 vsize=10554084 CPUtime=0.6 cores=1,3,5,7
/proc/26591/task/26606/stat : 26606 (java) S 26589 26591 24816 0 -1 4202560 3700 0 0 0 60 0 0 0 18 0 19 0 834449294 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26607] ppid=26589 vsize=10554084 CPUtime=0.86 cores=1,3,5,7
/proc/26591/task/26607/stat : 26607 (java) S 26589 26591 24816 0 -1 4202560 5805 0 0 0 86 0 0 0 15 0 19 0 834449294 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=26591/tid=26608] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26608/stat : 26608 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834449294 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26609] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26609/stat : 26609 (java) S 26589 26591 24816 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 834449294 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26610] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26610/stat : 26610 (java) S 26589 26591 24816 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834449318 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1665.39
Current children cumulated vsize (KiB) 10554084
[startup+1664 s]
/proc/loadavg: 2.00 2.02 2.04 3/535 26751
/proc/meminfo: memFree=20718336/32951132 swapFree=57925096/67111528
[pid=26591] ppid=26589 vsize=10554084 CPUtime=1666.99 cores=1,3,5,7
/proc/26591/stat : 26591 (java) S 26589 26591 24816 0 -1 4202496 906777 0 1 0 166599 100 0 0 25 0 19 0 834449288 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26591/statm: 2638521 902600 2243 9 0 2629255 0
[pid=26591/tid=26592] ppid=26589 vsize=10554084 CPUtime=1662.8 cores=1,3,5,7
/proc/26591/task/26592/stat : 26592 (java) R 26589 26591 24816 0 -1 4202560 857090 0 1 0 166193 87 0 0 25 0 19 0 834449289 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 46912505779213 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26591/tid=26594] ppid=26589 vsize=10554084 CPUtime=0.3 cores=1,3,5,7
/proc/26591/task/26594/stat : 26594 (java) S 26589 26591 24816 0 -1 4202560 5508 0 0 0 30 0 0 0 15 0 19 0 834449290 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26595] ppid=26589 vsize=10554084 CPUtime=0.3 cores=1,3,5,7
/proc/26591/task/26595/stat : 26595 (java) S 26589 26591 24816 0 -1 4202560 3420 0 0 0 30 0 0 0 16 0 19 0 834449290 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26596] ppid=26589 vsize=10554084 CPUtime=0.33 cores=1,3,5,7
/proc/26591/task/26596/stat : 26596 (java) S 26589 26591 24816 0 -1 4202560 5738 0 0 0 32 1 0 0 15 0 19 0 834449290 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26597] ppid=26589 vsize=10554084 CPUtime=0.3 cores=1,3,5,7
/proc/26591/task/26597/stat : 26597 (java) S 26589 26591 24816 0 -1 4202560 4304 0 0 0 30 0 0 0 15 0 19 0 834449290 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26598] ppid=26589 vsize=10554084 CPUtime=0.31 cores=1,3,5,7
/proc/26591/task/26598/stat : 26598 (java) S 26589 26591 24816 0 -1 4202560 5184 0 0 0 31 0 0 0 15 0 19 0 834449290 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=26591/tid=26599] ppid=26589 vsize=10554084 CPUtime=0.31 cores=1,3,5,7
/proc/26591/task/26599/stat : 26599 (java) S 26589 26591 24816 0 -1 4202560 4330 0 0 0 30 1 0 0 15 0 19 0 834449290 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26600] ppid=26589 vsize=10554084 CPUtime=0.34 cores=1,3,5,7
/proc/26591/task/26600/stat : 26600 (java) S 26589 26591 24816 0 -1 4202560 4660 0 0 0 33 1 0 0 15 0 19 0 834449290 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=26591/tid=26601] ppid=26589 vsize=10554084 CPUtime=0.35 cores=1,3,5,7
/proc/26591/task/26601/stat : 26601 (java) S 26589 26591 24816 0 -1 4202560 5689 0 0 0 34 1 0 0 16 0 19 0 834449290 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=26591/tid=26602] ppid=26589 vsize=10554084 CPUtime=0.07 cores=1,3,5,7
/proc/26591/task/26602/stat : 26602 (java) S 26589 26591 24816 0 -1 4202560 106 0 0 0 4 3 0 0 15 0 19 0 834449291 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962944 0 0 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=26591/tid=26603] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26603/stat : 26603 (java) S 26589 26591 24816 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834449292 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26604] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26604/stat : 26604 (java) S 26589 26591 24816 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834449292 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26605] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26605/stat : 26605 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834449294 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658970033 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26606] ppid=26589 vsize=10554084 CPUtime=0.6 cores=1,3,5,7
/proc/26591/task/26606/stat : 26606 (java) S 26589 26591 24816 0 -1 4202560 3700 0 0 0 60 0 0 0 18 0 19 0 834449294 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26607] ppid=26589 vsize=10554084 CPUtime=0.86 cores=1,3,5,7
/proc/26591/task/26607/stat : 26607 (java) S 26589 26591 24816 0 -1 4202560 5805 0 0 0 86 0 0 0 15 0 19 0 834449294 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=26591/tid=26608] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26608/stat : 26608 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834449294 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26609] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26609/stat : 26609 (java) S 26589 26591 24816 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 834449294 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26610] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26610/stat : 26610 (java) S 26589 26591 24816 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834449318 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1666.99
Current children cumulated vsize (KiB) 10554084
[startup+1664.8 s]
/proc/loadavg: 2.00 2.02 2.04 3/535 26751
/proc/meminfo: memFree=20715856/32951132 swapFree=57925096/67111528
[pid=26591] ppid=26589 vsize=10554084 CPUtime=1667.79 cores=1,3,5,7
/proc/26591/stat : 26591 (java) S 26589 26591 24816 0 -1 4202496 906778 0 1 0 166679 100 0 0 25 0 19 0 834449288 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26591/statm: 2638521 902600 2243 9 0 2629255 0
[pid=26591/tid=26592] ppid=26589 vsize=10554084 CPUtime=1663.6 cores=1,3,5,7
/proc/26591/task/26592/stat : 26592 (java) R 26589 26591 24816 0 -1 4202560 857090 0 1 0 166273 87 0 0 25 0 19 0 834449289 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 46912505366576 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=26591/tid=26594] ppid=26589 vsize=10554084 CPUtime=0.3 cores=1,3,5,7
/proc/26591/task/26594/stat : 26594 (java) S 26589 26591 24816 0 -1 4202560 5508 0 0 0 30 0 0 0 15 0 19 0 834449290 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26595] ppid=26589 vsize=10554084 CPUtime=0.3 cores=1,3,5,7
/proc/26591/task/26595/stat : 26595 (java) S 26589 26591 24816 0 -1 4202560 3420 0 0 0 30 0 0 0 16 0 19 0 834449290 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26596] ppid=26589 vsize=10554084 CPUtime=0.33 cores=1,3,5,7
/proc/26591/task/26596/stat : 26596 (java) S 26589 26591 24816 0 -1 4202560 5738 0 0 0 32 1 0 0 15 0 19 0 834449290 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26597] ppid=26589 vsize=10554084 CPUtime=0.3 cores=1,3,5,7
/proc/26591/task/26597/stat : 26597 (java) S 26589 26591 24816 0 -1 4202560 4304 0 0 0 30 0 0 0 15 0 19 0 834449290 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26598] ppid=26589 vsize=10554084 CPUtime=0.31 cores=1,3,5,7
/proc/26591/task/26598/stat : 26598 (java) S 26589 26591 24816 0 -1 4202560 5184 0 0 0 31 0 0 0 15 0 19 0 834449290 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=26591/tid=26599] ppid=26589 vsize=10554084 CPUtime=0.31 cores=1,3,5,7
/proc/26591/task/26599/stat : 26599 (java) S 26589 26591 24816 0 -1 4202560 4330 0 0 0 30 1 0 0 15 0 19 0 834449290 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26600] ppid=26589 vsize=10554084 CPUtime=0.34 cores=1,3,5,7
/proc/26591/task/26600/stat : 26600 (java) S 26589 26591 24816 0 -1 4202560 4660 0 0 0 33 1 0 0 15 0 19 0 834449290 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=26591/tid=26601] ppid=26589 vsize=10554084 CPUtime=0.35 cores=1,3,5,7
/proc/26591/task/26601/stat : 26601 (java) S 26589 26591 24816 0 -1 4202560 5689 0 0 0 34 1 0 0 16 0 19 0 834449290 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
[pid=26591/tid=26602] ppid=26589 vsize=10554084 CPUtime=0.07 cores=1,3,5,7
/proc/26591/task/26602/stat : 26602 (java) S 26589 26591 24816 0 -1 4202560 106 0 0 0 4 3 0 0 15 0 19 0 834449291 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962944 0 0 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=26591/tid=26603] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26603/stat : 26603 (java) S 26589 26591 24816 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 834449292 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26604] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26604/stat : 26604 (java) S 26589 26591 24816 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834449292 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26605] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26605/stat : 26605 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834449294 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658970033 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26606] ppid=26589 vsize=10554084 CPUtime=0.6 cores=1,3,5,7
/proc/26591/task/26606/stat : 26606 (java) S 26589 26591 24816 0 -1 4202560 3700 0 0 0 60 0 0 0 18 0 19 0 834449294 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 7 0 0 0
[pid=26591/tid=26607] ppid=26589 vsize=10554084 CPUtime=0.86 cores=1,3,5,7
/proc/26591/task/26607/stat : 26607 (java) S 26589 26591 24816 0 -1 4202560 5806 0 0 0 86 0 0 0 15 0 19 0 834449294 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 1 0 0 0
[pid=26591/tid=26608] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26608/stat : 26608 (java) S 26589 26591 24816 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834449294 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962329 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26609] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26609/stat : 26609 (java) S 26589 26591 24816 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 834449294 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 3 0 0 0
[pid=26591/tid=26610] ppid=26589 vsize=10554084 CPUtime=0 cores=1,3,5,7
/proc/26591/task/26610/stat : 26610 (java) S 26589 26591 24816 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834449318 10807382016 902600 33554432000 1073741824 1073778376 140735041069216 18446744073709551615 210658962944 0 4 0 16800975 18446604456545362048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1667.79
Current children cumulated vsize (KiB) 10554084
[startup+1665 s]
/proc/loadavg: 2.00 2.02 2.04 3/535 26751
/proc/meminfo: memFree=20715856/32951132 swapFree=57925096/67111528
[pid=26591] ppid=26589 vsize=0 CPUtime=1667.99 cores=1,3,5,7
/proc/26591/stat : 26591 (java) Z 26589 26591 24816 0 -1 4203548 906802 0 1 0 166691 108 0 0 18 0 2 0 834449288 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26591/statm: 0 0 0 0 0 0 0
[pid=26591/tid=26592] ppid=26589 vsize=0 CPUtime=1663.77 cores=1,3,5,7
/proc/26591/task/26592/stat : 26592 (java) R 26589 26591 24816 0 -1 4203588 857095 0 1 0 166282 95 0 0 25 0 2 0 834449289 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1667.99
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 1665.05
CPU time (s): 1668.06
CPU user time (s): 1666.92
CPU system time (s): 1.13983
CPU usage (%): 100.181
Max. virtual memory (cumulated for all children) (KiB): 10555112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1666.92
system time used= 1.13983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 906802
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= 44743
involuntary context switches= 25022
runsolver used 8.5287 second user time and 20.2209 second system time
The end