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-3743443-1338806051.opb>
4.09/4.11 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
5.48/5.55 c start presolving problem
5.48/5.55 c presolving:
8.38/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.39/11.40 c (round 2) 671 del vars, 1977 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 398809 upgd conss, 81778 impls, 1977 clqs
11.89/11.94 c (round 3) 674 del vars, 2644 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 81786 impls, 1977 clqs
65.46/65.54 c (round 4) 1350 del vars, 2644 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12227162 impls, 1977 clqs
65.66/65.76 c (round 5) 1350 del vars, 3320 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12231168 impls, 1977 clqs
66.66/66.70 c (round 6) 3354 del vars, 3320 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12256858 impls, 1977 clqs
66.86/66.92 c (round 7) 3354 del vars, 5324 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12256866 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-3743443-1338806051/watcher-3743443-1338806051 -o /tmp/evaluation-result-3743443-1338806051/solver-3743443-1338806051 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3743443-1338806051.opb
running on 4 cores: 0,2,4,6
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/173 7253
/proc/meminfo: memFree=29833536/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/7253/stat : 7253 (runsolver) D 7251 7253 7010 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 346731095 12095488 52 33554432000 4194304 5436572 140733832461808 140733832458104 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/7253/statm: 2953 52 31 304 0 2645 0
[startup+0.103407 s]
/proc/loadavg: 2.00 2.00 1.95 3/173 7253
/proc/meminfo: memFree=29833536/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=29148 CPUtime=0.08 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 6658 0 0 0 8 0 0 0 20 0 1 0 346731095 29847552 6610 33554432000 4194304 7823515 140734137757584 140733832457992 4512305 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 7287 6610 354 887 0 6397 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29148
[startup+0.200777 s]
/proc/loadavg: 2.00 2.00 1.95 3/173 7253
/proc/meminfo: memFree=29833536/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=42056 CPUtime=0.18 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 9829 0 0 0 18 0 0 0 20 0 1 0 346731095 43065344 9782 33554432000 4194304 7823515 140734137757584 140734137623688 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 10514 9793 354 887 0 9624 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 42056
[startup+0.301114 s]
/proc/loadavg: 2.00 2.00 1.95 3/173 7253
/proc/meminfo: memFree=29833536/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=54064 CPUtime=0.28 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 12851 0 0 0 27 1 0 0 20 0 1 0 346731095 55361536 12803 33554432000 4194304 7823515 140734137757584 140734137623688 4511625 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 13516 12803 354 887 0 12626 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 54064
[startup+0.701077 s]
/proc/loadavg: 2.00 2.00 1.95 3/173 7253
/proc/meminfo: memFree=29833536/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=92284 CPUtime=0.68 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 22310 0 0 0 66 2 0 0 20 0 1 0 346731095 94498816 22263 33554432000 4194304 7823515 140734137757584 140734137623688 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 23071 22290 354 887 0 22181 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 92284
[startup+1.50107 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 7264
/proc/meminfo: memFree=29563712/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=195384 CPUtime=1.49 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 48135 0 0 0 143 6 0 0 20 0 1 0 346731095 200073216 48087 33554432000 4194304 7823515 140734137757584 140734137623688 4363784 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 48846 48087 354 887 0 47956 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 195384
[startup+3.10051 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 7264
/proc/meminfo: memFree=29282480/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=395544 CPUtime=3.08 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 98122 0 0 0 295 13 0 0 20 0 1 0 346731095 405037056 98074 33554432000 4194304 7823515 140734137757584 140734137623688 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 98886 98074 354 887 0 97996 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 395544
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 7264
/proc/meminfo: memFree=27691064/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=1072020 CPUtime=6.29 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 267227 0 0 0 576 53 0 0 20 0 1 0 346731095 1097748480 266787 33554432000 4194304 7823515 140734137757584 140734137754520 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7253/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=26870168/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=1482672 CPUtime=12.68 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 371269 0 0 0 1165 103 0 0 20 0 1 0 346731095 1518256128 369176 33554432000 4194304 7823515 140734137757584 140734137755208 5803616 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 370668 369176 461 887 0 369778 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1482672
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 7264
/proc/meminfo: memFree=26809036/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=1525832 CPUtime=25.48 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 381673 0 0 0 2442 106 0 0 20 0 1 0 346731095 1562451968 379624 33554432000 4194304 7823515 140734137757584 140734137754280 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 381458 379624 461 887 0 380568 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1525832
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 7265
/proc/meminfo: memFree=26330860/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=1765224 CPUtime=51.07 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 440471 0 0 0 4990 117 0 0 20 0 1 0 346731095 1807589376 438410 33554432000 4194304 7823515 140734137757584 140734137753640 5803635 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 441306 438410 462 887 0 440416 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1765224
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 7265
/proc/meminfo: memFree=25677700/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=2042948 CPUtime=102.25 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 509888 0 0 0 10069 156 0 0 20 0 1 0 346731095 2091978752 506014 33554432000 4194304 7823515 140734137757584 140734137754280 5803627 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 510737 506014 462 887 0 509847 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 2042948
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 7265
/proc/meminfo: memFree=25338068/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=2238892 CPUtime=162.24 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 538822 0 0 0 16061 163 0 0 20 0 1 0 346731095 2292625408 553853 33554432000 4194304 7823515 140734137757584 140734137753640 5803647 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 559723 553853 462 887 0 558833 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 2238892
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 7265
/proc/meminfo: memFree=24867204/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=2404488 CPUtime=222.22 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 577047 0 0 0 22054 168 0 0 20 0 1 0 346731095 2462195712 593099 33554432000 4194304 7823515 140734137757584 140734137753448 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 601122 593099 462 887 0 600232 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 2404488
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 7265
/proc/meminfo: memFree=24261120/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=2691784 CPUtime=282.21 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 646646 0 0 0 28041 180 0 0 20 0 1 0 346731095 2756386816 662695 33554432000 4194304 7823515 140734137757584 140734137753448 5803612 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 672946 662695 462 887 0 672056 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 2691784
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 7265
/proc/meminfo: memFree=23901188/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=2904024 CPUtime=342.2 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 700094 0 0 0 34029 191 0 0 20 0 1 0 346731095 2973720576 716143 33554432000 4194304 7823515 140734137757584 140734137753448 5803665 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 726006 716143 462 887 0 725116 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 2904024
[startup+402.3 s]
/proc/loadavg: 2.04 2.01 1.96 3/178 7269
/proc/meminfo: memFree=23476016/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=3179624 CPUtime=402.19 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 766084 0 0 0 40016 203 0 0 20 0 1 0 346731095 3255934976 782383 33554432000 4194304 7823515 140734137757584 140734137753448 5803619 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 794906 782383 462 887 0 794016 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 3179624
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/177 7269
/proc/meminfo: memFree=23277652/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=3205224 CPUtime=462.17 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 776209 0 0 0 46010 207 0 0 20 0 1 0 346731095 3282149376 792508 33554432000 4194304 7823515 140734137757584 140734137753448 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 801306 792508 462 887 0 800416 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 3205224
[startup+522.307 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 7269
/proc/meminfo: memFree=23067376/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=3389684 CPUtime=522.17 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 821844 0 0 0 52004 213 0 0 20 0 1 0 346731095 3471036416 838143 33554432000 4194304 7823515 140734137757584 140734137753448 5803600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 847421 838143 462 887 0 846531 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 3389684
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 7269
/proc/meminfo: memFree=22687840/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=3594672 CPUtime=582.14 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 869712 0 0 0 57994 220 0 0 20 0 1 0 346731095 3680944128 886011 33554432000 4194304 7823515 140734137757584 140734137753448 5803643 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 898668 886011 462 887 0 897778 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 3594672
[startup+642.3 s]
################
# More data... #
################
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 1018796 0 0 0 105958 248 0 0 20 0 1 0 346731095 4289933312 1039089 33554432000 4194304 7823515 140734137757584 140734137753448 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 1047347 1039089 462 887 0 1046457 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 4189388
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 7274
/proc/meminfo: memFree=21455552/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=4199624 CPUtime=1122.04 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 1023229 0 0 0 111954 250 0 0 20 0 1 0 346731095 4300414976 1044627 33554432000 4194304 7823515 140734137757584 140734137753448 5803600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 1049906 1044627 462 887 0 1049016 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 4199624
[startup+1182.31 s]
/proc/loadavg: 2.04 2.01 1.96 3/176 7274
/proc/meminfo: memFree=21428432/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=4205768 CPUtime=1182.04 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 1025873 0 0 0 117953 251 0 0 20 0 1 0 346731095 4306706432 1047806 33554432000 4194304 7823515 140734137757584 140734137753448 5803600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 1051442 1047806 462 887 0 1050552 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 4205768
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/177 7275
/proc/meminfo: memFree=21130372/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=4531700 CPUtime=1242.03 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 1096023 0 0 0 123942 261 0 0 20 0 1 0 346731095 4640460800 1118201 33554432000 4194304 7823515 140734137757584 140734137753448 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 1132925 1118201 462 887 0 1132035 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 4531700
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 7276
/proc/meminfo: memFree=20826856/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=4543988 CPUtime=1302.01 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 1101058 0 0 0 129938 263 0 0 20 0 1 0 346731095 4653043712 1123460 33554432000 4194304 7823515 140734137757584 140734137753448 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 1135997 1123460 462 887 0 1135107 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 4543988
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 7276
/proc/meminfo: memFree=20788568/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=4555248 CPUtime=1362 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 1105838 0 0 0 135935 265 0 0 20 0 1 0 346731095 4664573952 1128628 33554432000 4194304 7823515 140734137757584 140734137753448 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 1138812 1128628 462 887 0 1137922 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 4555248
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 7276
/proc/meminfo: memFree=20746436/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=4565488 CPUtime=1421.99 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 1110376 0 0 0 141932 267 0 0 20 0 1 0 346731095 4675059712 1133418 33554432000 4194304 7823515 140734137757584 140734137753448 5803662 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 1141372 1133418 462 887 0 1140482 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 4565488
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 7276
/proc/meminfo: memFree=20707528/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=4574704 CPUtime=1481.98 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 1114500 0 0 0 147930 268 0 0 20 0 1 0 346731095 4684496896 1137715 33554432000 4194304 7823515 140734137757584 140734137753448 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 1143676 1137715 462 887 0 1142786 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 4574704
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 7276
/proc/meminfo: memFree=20672716/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=4583916 CPUtime=1541.97 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 1118355 0 0 0 153928 269 0 0 20 0 1 0 346731095 4693929984 1141570 33554432000 4194304 7823515 140734137757584 140734137753448 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 1145979 1141570 462 887 0 1145089 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 4583916
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 7280
/proc/meminfo: memFree=20625004/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=4595180 CPUtime=1601.96 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 1123045 0 0 0 159924 272 0 0 20 0 1 0 346731095 4705464320 1146521 33554432000 4194304 7823515 140734137757584 140734137753448 5803639 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 1148795 1146521 462 887 0 1147905 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 4595180
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 1.97 3/178 7303
/proc/meminfo: memFree=19950052/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=4984460 CPUtime=1661.95 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 1206154 0 0 0 165911 284 0 0 20 0 1 0 346731095 5104087040 1229630 33554432000 4194304 7823515 140734137757584 140734137753448 5803619 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 1246115 1229631 462 887 0 1245225 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 4984460
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/177 7303
/proc/meminfo: memFree=19926408/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=4991624 CPUtime=1721.95 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 1209449 0 0 0 171909 286 0 0 20 0 1 0 346731095 5111422976 1233239 33554432000 4194304 7823515 140734137757584 140734137753448 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 1247906 1233239 462 887 0 1247016 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 4991624
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 7303
/proc/meminfo: memFree=19869520/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=4998792 CPUtime=1781.93 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 1212015 0 0 0 177907 286 0 0 20 0 1 0 346731095 5118763008 1235805 33554432000 4194304 7823515 140734137757584 140734137753448 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 1249698 1235805 462 887 0 1248808 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 4998792
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.07 2.02 1.97 3/177 7303
/proc/meminfo: memFree=19859320/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=5001864 CPUtime=1800.05 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 1213357 0 0 0 179718 287 0 0 20 0 1 0 346731095 5121908736 1237147 33554432000 4194304 7823515 140734137757584 140734137753448 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 1250466 1237147 462 887 0 1249576 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 5001864
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -7253
Solver just ended. Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 2.07 2.02 1.97 3/177 7303
/proc/meminfo: memFree=19859320/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=5001864 CPUtime=1800.33 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 1213360 0 0 0 179746 287 0 0 20 0 1 0 346731095 5121908736 1237150 33554432000 4194304 7823515 140734137757584 140734137753448 5803619 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 1250466 1237150 462 887 0 1249576 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 5001864
[startup+1801.5 s]
/proc/loadavg: 2.07 2.02 1.97 3/179 7305
/proc/meminfo: memFree=19859180/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=5001864 CPUtime=1801.14 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 1213377 0 0 0 179827 287 0 0 20 0 1 0 346731095 5121908736 1237167 33554432000 4194304 7823515 140734137757584 140734137752896 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 1250466 1237167 462 887 0 1249576 0
Current children cumulated CPU time (s) 1801.14
Current children cumulated vsize (KiB) 5001864
[startup+1802.3 s]
/proc/loadavg: 2.07 2.02 1.97 3/179 7305
/proc/meminfo: memFree=19859180/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=5001864 CPUtime=1801.93 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4202496 1213390 0 0 0 179906 287 0 0 20 0 1 0 346731095 5121908736 1237180 33554432000 4194304 7823515 140734137757584 140734137752896 5803639 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 1250466 1237180 462 887 0 1249576 0
Current children cumulated CPU time (s) 1801.93
Current children cumulated vsize (KiB) 5001864
[startup+1802.5 s]
/proc/loadavg: 2.07 2.02 1.97 3/179 7305
/proc/meminfo: memFree=19859180/32873648 swapFree=6860/6860
[pid=7253] ppid=7251 vsize=0 CPUtime=1802.13 cores=0,2,4,6
/proc/7253/stat : 7253 (pbscip.linux.x8) R 7251 7253 7010 0 -1 4203524 1213394 0 0 0 179918 295 0 0 20 0 1 0 346731095 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7253/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.13
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.54
CPU time (s): 1802.18
CPU user time (s): 1799.18
CPU system time (s): 3.00054
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 5001864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.18
system time used= 3.00054
maximum resident set size= 4948736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1213394
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= 124
involuntary context switches= 1843
runsolver used 3.32349 second user time and 8.28074 second system time
The end