4.09/4.11 c SCIP version 1.1.0.7
4.09/4.11 c LP-Solver SoPlex 1.4.1
4.09/4.11 c user parameter file <scip.set> not found - using default parameters
4.09/4.11 c read problem <HOME/instance-3743454-1338806052.opb>
4.09/4.11 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
5.49/5.55 c start presolving problem
5.49/5.55 c presolving:
8.39/8.44 c (round 1) 0 del vars, 1977 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 398809 upgd conss, 67806 impls, 1977 clqs
11.48/11.58 c (round 2) 671 del vars, 1977 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 398809 upgd conss, 100458 impls, 1977 clqs
12.08/12.13 c (round 3) 674 del vars, 2644 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 100466 impls, 1977 clqs
86.68/86.74 c (round 4) 1350 del vars, 2644 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 17080982 impls, 1977 clqs
86.88/86.95 c (round 5) 1350 del vars, 3320 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 17086324 impls, 1977 clqs
87.97/88.06 c (round 6) 3356 del vars, 3320 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 17119676 impls, 1977 clqs
88.17/88.27 c (round 7) 3356 del vars, 5326 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 17119684 impls, 1977 clqs
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3743454-1338806052/watcher-3743454-1338806052 -o /tmp/evaluation-result-3743454-1338806052/solver-3743454-1338806052 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3743454-1338806052.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.00 2.00 1.95 3/176 7263
/proc/meminfo: memFree=29795616/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=9388 CPUtime=0 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 1640 0 0 0 0 0 0 0 20 0 1 0 346731110 9613312 1593 33554432000 4194304 7823515 140733368842400 140735047315304 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 2347 1606 349 887 0 1457 0
[startup+0.048014 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 7263
/proc/meminfo: memFree=29795616/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=19576 CPUtime=0.04 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 4235 0 0 0 4 0 0 0 20 0 1 0 346731110 20045824 4187 33554432000 4194304 7823515 140733368842400 140735047315304 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 4894 4187 354 887 0 4004 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 19576
[startup+0.100664 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 7263
/proc/meminfo: memFree=29795616/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=29252 CPUtime=0.09 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 6652 0 0 0 8 1 0 0 20 0 1 0 346731110 29954048 6604 33554432000 4194304 7823515 140733368842400 140735047315304 6896320 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 7313 6604 354 887 0 6423 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29252
[startup+0.30107 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 7263
/proc/meminfo: memFree=29795616/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=53104 CPUtime=0.29 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 12609 0 0 0 28 1 0 0 20 0 1 0 346731110 54378496 12561 33554432000 4194304 7823515 140733368842400 140735047315304 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 13276 12562 354 887 0 12386 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53104
[startup+0.701081 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 7263
/proc/meminfo: memFree=29795616/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=93376 CPUtime=0.68 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 22601 0 0 0 66 2 0 0 20 0 1 0 346731110 95617024 22554 33554432000 4194304 7823515 140733368842400 140733368708504 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 23344 22585 354 887 0 22454 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 93376
[startup+1.50089 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 7264
/proc/meminfo: memFree=29552924/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=195448 CPUtime=1.49 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 48151 0 0 0 143 6 0 0 20 0 1 0 346731110 200138752 48103 33554432000 4194304 7823515 140733368842400 140733368708504 6908067 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 48862 48103 354 887 0 47972 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 195448
[startup+3.10107 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 7264
/proc/meminfo: memFree=29270576/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=395808 CPUtime=3.08 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 98189 0 0 0 297 11 0 0 20 0 1 0 346731110 405307392 98141 33554432000 4194304 7823515 140733368842400 140733368708504 4512305 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 98952 98141 354 887 0 98062 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 395808
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 7264
/proc/meminfo: memFree=27694908/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=1072020 CPUtime=6.29 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 266716 0 0 0 579 50 0 0 20 0 1 0 346731110 1097748480 266787 33554432000 4194304 7823515 140733368842400 140733368839336 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 268005 266787 419 887 0 267115 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1072020
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 7264
/proc/meminfo: memFree=26825052/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=1482492 CPUtime=12.69 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 370709 0 0 0 1168 101 0 0 20 0 1 0 346731110 1518071808 369128 33554432000 4194304 7823515 140733368842400 140733368839640 4788408 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 370623 369128 461 887 0 369733 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1482492
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 7264
/proc/meminfo: memFree=26816352/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=1519856 CPUtime=25.49 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 379616 0 0 0 2446 103 0 0 20 0 1 0 346731110 1556332544 378035 33554432000 4194304 7823515 140733368842400 140733368839096 5803619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 379964 378035 461 887 0 379074 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1519856
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 7265
/proc/meminfo: memFree=26316476/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=1766684 CPUtime=51.08 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 440404 0 0 0 4993 115 0 0 20 0 1 0 346731110 1809084416 438823 33554432000 4194304 7823515 140733368842400 140733368839096 5803616 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 441671 438823 462 887 0 440781 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1766684
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 7265
/proc/meminfo: memFree=25680180/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=2146228 CPUtime=102.27 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 533143 0 0 0 10071 156 0 0 20 0 1 0 346731110 2197737472 530780 33554432000 4194304 7823515 140733368842400 140733368838264 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 536557 530780 462 887 0 535667 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 2146228
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 7265
/proc/meminfo: memFree=25337944/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=2293360 CPUtime=162.27 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 550367 0 0 0 16066 161 0 0 20 0 1 0 346731110 2348400640 566911 33554432000 4194304 7823515 140733368842400 140733368838456 5803612 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 573340 566911 462 887 0 572450 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 2293360
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 7265
/proc/meminfo: memFree=24870304/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=2622624 CPUtime=222.26 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 628474 0 0 0 22053 173 0 0 20 0 1 0 346731110 2685566976 645529 33554432000 4194304 7823515 140733368842400 140733368838264 5803600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 655656 645529 462 887 0 654766 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 2622624
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 7265
/proc/meminfo: memFree=24259632/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=2958712 CPUtime=282.24 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 710157 0 0 0 28035 189 0 0 20 0 1 0 346731110 3029721088 727212 33554432000 4194304 7823515 140733368842400 140733368838264 5803647 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 739678 727212 462 887 0 738788 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 2958712
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 7265
/proc/meminfo: memFree=23901684/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=3098340 CPUtime=342.24 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 746315 0 0 0 34027 197 0 0 20 0 1 0 346731110 3172700160 763370 33554432000 4194304 7823515 140733368842400 140733368838264 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 774585 763370 462 887 0 773695 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 3098340
[startup+402.3 s]
/proc/loadavg: 2.04 2.01 1.96 3/178 7269
/proc/meminfo: memFree=23476016/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=3255468 CPUtime=402.23 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 785969 0 0 0 40018 205 0 0 20 0 1 0 346731110 3333599232 803024 33554432000 4194304 7823515 140733368842400 140733368838264 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 813867 803024 462 887 0 812977 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 3255468
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/177 7269
/proc/meminfo: memFree=23277528/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=3426964 CPUtime=462.23 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 825341 0 0 0 46011 212 0 0 20 0 1 0 346731110 3509211136 842396 33554432000 4194304 7823515 140733368842400 140733368838264 5803639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 856741 842396 462 887 0 855851 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 3426964
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 7269
/proc/meminfo: memFree=23067376/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=3442320 CPUtime=522.21 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 832229 0 0 0 52006 215 0 0 20 0 1 0 346731110 3524935680 849284 33554432000 4194304 7823515 140733368842400 140733368838264 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 860580 849284 462 887 0 859690 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3442320
[startup+582.308 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 7269
/proc/meminfo: memFree=22687344/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=3645260 CPUtime=582.2 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 879173 0 0 0 57996 224 0 0 20 0 1 0 346731110 3732746240 896228 33554432000 4194304 7823515 140733368842400 140733368838264 5803658 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 911315 896228 462 887 0 910425 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 3645260
[startup+642.3 s]
################
# More data... #
################
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 1024263 0 0 0 105950 262 0 0 20 0 1 0 346731110 4332298240 1041318 33554432000 4194304 7823515 140733368842400 140733368838264 5803612 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 1057690 1041318 462 887 0 1056800 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 4230760
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 7274
/proc/meminfo: memFree=21455428/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=4239864 CPUtime=1122.12 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 1027951 0 0 0 111948 264 0 0 20 0 1 0 346731110 4341620736 1045006 33554432000 4194304 7823515 140733368842400 140733368838264 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 1059966 1045006 462 887 0 1059076 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 4239864
[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 1.96 3/176 7274
/proc/meminfo: memFree=21428432/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=4249080 CPUtime=1182.11 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 1031824 0 0 0 117945 266 0 0 20 0 1 0 346731110 4351057920 1048879 33554432000 4194304 7823515 140733368842400 140733368838264 5803627 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 1062270 1048879 462 887 0 1061380 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 4249080
[startup+1242.31 s]
/proc/loadavg: 2.01 2.01 1.96 3/177 7275
/proc/meminfo: memFree=21130124/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=4257268 CPUtime=1242.1 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 1035581 0 0 0 123943 267 0 0 20 0 1 0 346731110 4359442432 1052636 33554432000 4194304 7823515 140733368842400 140733368838264 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 1064317 1052636 462 887 0 1063427 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 4257268
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 7276
/proc/meminfo: memFree=20826856/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=4585252 CPUtime=1302.09 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 1106208 0 0 0 129932 277 0 0 20 0 1 0 346731110 4695298048 1123263 33554432000 4194304 7823515 140733368842400 140733368838264 5803647 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 1146313 1123263 462 887 0 1145423 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 4585252
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 7276
/proc/meminfo: memFree=20787452/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=4595488 CPUtime=1362.08 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 1110701 0 0 0 135929 279 0 0 20 0 1 0 346731110 4705779712 1127756 33554432000 4194304 7823515 140733368842400 140733368838264 5803658 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 1148872 1127756 462 887 0 1147982 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 4595488
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 7276
/proc/meminfo: memFree=20746684/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=4608800 CPUtime=1422.08 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 1116202 0 0 0 141927 281 0 0 20 0 1 0 346731110 4719411200 1133257 33554432000 4194304 7823515 140733368842400 140733368838264 5803639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 1152200 1133257 462 887 0 1151310 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 4608800
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 7276
/proc/meminfo: memFree=20707280/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=4623132 CPUtime=1482.07 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 1121996 0 0 0 147924 283 0 0 20 0 1 0 346731110 4734087168 1139051 33554432000 4194304 7823515 140733368842400 140733368838264 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 1155783 1139051 462 887 0 1154893 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 4623132
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 7276
/proc/meminfo: memFree=20672716/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=4633372 CPUtime=1542.05 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 1126516 0 0 0 153921 284 0 0 20 0 1 0 346731110 4744572928 1143571 33554432000 4194304 7823515 140733368842400 140733368838264 5803662 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 1158343 1143571 462 887 0 1157453 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 4633372
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 7280
/proc/meminfo: memFree=20624632/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=4649752 CPUtime=1602.04 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 1133549 0 0 0 159917 287 0 0 20 0 1 0 346731110 4761346048 1150604 33554432000 4194304 7823515 140733368842400 140733368838264 5803658 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 1162438 1150604 462 887 0 1161548 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 4649752
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 1.97 3/178 7303
/proc/meminfo: memFree=19950176/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=5043128 CPUtime=1662.03 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 1218638 0 0 0 165903 300 0 0 20 0 1 0 346731110 5164163072 1235693 33554432000 4194304 7823515 140733368842400 140733368838264 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 1260782 1235693 462 887 0 1259892 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 5043128
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/177 7303
/proc/meminfo: memFree=19926408/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=5048248 CPUtime=1722.02 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 1220863 0 0 0 171901 301 0 0 20 0 1 0 346731110 5169405952 1237918 33554432000 4194304 7823515 140733368842400 140733368838264 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 1262062 1237918 462 887 0 1261172 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 5048248
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 7303
/proc/meminfo: memFree=19869148/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=5074868 CPUtime=1782.02 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 1232415 0 0 0 177896 306 0 0 20 0 1 0 346731110 5196664832 1249470 33554432000 4194304 7823515 140733368842400 140733368838264 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 1268717 1249470 462 887 0 1267827 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 5074868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.07 2.02 1.97 3/178 7304
/proc/meminfo: memFree=19859320/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=5077940 CPUtime=1800.02 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 1233552 0 0 0 179695 307 0 0 20 0 1 0 346731110 5199810560 1250607 33554432000 4194304 7823515 140733368842400 140733368838264 5803612 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 1269485 1250607 462 887 0 1268595 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 5077940
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -7263
Solver just ended. Dumping a history of the last processes samples
[startup+1801.8 s]
/proc/loadavg: 2.07 2.02 1.97 3/179 7305
/proc/meminfo: memFree=19859180/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=5077940 CPUtime=1801.51 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 1233593 0 0 0 179844 307 0 0 20 0 1 0 346731110 5199810560 1250648 33554432000 4194304 7823515 140733368842400 140733368837696 5803616 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 1269485 1250648 462 887 0 1268595 0
Current children cumulated CPU time (s) 1801.51
Current children cumulated vsize (KiB) 5077940
[startup+1802.21 s]
/proc/loadavg: 2.07 2.02 1.97 3/179 7305
/proc/meminfo: memFree=19858932/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=5077940 CPUtime=1801.92 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4202496 1233600 0 0 0 179885 307 0 0 20 0 1 0 346731110 5199810560 1250655 33554432000 4194304 7823515 140733368842400 140733368837696 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 1269485 1250655 462 887 0 1268595 0
Current children cumulated CPU time (s) 1801.92
Current children cumulated vsize (KiB) 5077940
[startup+1802.4 s]
/proc/loadavg: 2.07 2.02 1.97 3/179 7305
/proc/meminfo: memFree=19858932/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=0 CPUtime=1802.11 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4203524 1233606 0 0 0 179895 316 0 0 20 0 1 0 346731110 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.11
Current children cumulated vsize (KiB) 0
[startup+1802.5 s]
/proc/loadavg: 2.07 2.02 1.97 3/179 7305
/proc/meminfo: memFree=19858932/32873648 swapFree=6860/6860
[pid=7263] ppid=7261 vsize=0 CPUtime=1802.21 cores=1,3,5,7
/proc/7263/stat : 7263 (pbscip.linux.x8) R 7261 7263 7010 0 -1 4203524 1233606 0 0 0 179895 326 0 0 20 0 1 0 346731110 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7263/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.21
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.59
CPU time (s): 1802.31
CPU user time (s): 1798.96
CPU system time (s): 3.35349
CPU usage (%): 99.9848
Max. virtual memory (cumulated for all children) (KiB): 5077940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.96
system time used= 3.35349
maximum resident set size= 5002644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1233606
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1857
runsolver used 2.77758 second user time and 8.65968 second system time
The end