1.49/1.54 c SCIP version 1.1.0.7
1.49/1.54 c LP-Solver SoPlex 1.4.1
1.49/1.54 c user parameter file <scip.set> not found - using default parameters
1.49/1.54 c read problem <HOME/instance-3740487-1338762003.opb>
1.49/1.54 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256356 constraints
1.99/2.03 c start presolving problem
1.99/2.03 c presolving:
9.39/9.46 c (round 1) 7771 del vars, 23089 del conss, 6253 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 17122828 impls, 0 clqs
13.78/13.83 c (round 2) 13724 del vars, 51043 del conss, 11884 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 17160239 impls, 0 clqs
15.08/15.12 c (round 3) 16262 del vars, 62355 del conss, 13399 chg bounds, 74 chg sides, 38 chg coeffs, 0 upgd conss, 17178379 impls, 0 clqs
15.79/15.82 c (round 4) 17327 del vars, 66982 del conss, 14117 chg bounds, 102 chg sides, 78 chg coeffs, 0 upgd conss, 17188440 impls, 0 clqs
16.18/16.24 c (round 5) 18065 del vars, 70065 del conss, 14558 chg bounds, 108 chg sides, 86 chg coeffs, 0 upgd conss, 17195480 impls, 0 clqs
16.49/16.54 c (round 6) 18502 del vars, 71878 del conss, 14826 chg bounds, 112 chg sides, 94 chg coeffs, 0 upgd conss, 17198947 impls, 0 clqs
16.79/16.80 c (round 7) 18857 del vars, 73265 del conss, 15059 chg bounds, 112 chg sides, 94 chg coeffs, 0 upgd conss, 17202611 impls, 0 clqs
16.99/17.03 c (round 8) 19190 del vars, 74574 del conss, 15256 chg bounds, 112 chg sides, 94 chg coeffs, 0 upgd conss, 17205415 impls, 0 clqs
17.19/17.23 c (round 9) 19417 del vars, 75493 del conss, 15389 chg bounds, 112 chg sides, 94 chg coeffs, 0 upgd conss, 17208311 impls, 0 clqs
17.38/17.40 c (round 10) 19582 del vars, 76180 del conss, 15493 chg bounds, 112 chg sides, 94 chg coeffs, 0 upgd conss, 17209731 impls, 0 clqs
17.48/17.54 c (round 11) 19685 del vars, 76646 del conss, 15544 chg bounds, 112 chg sides, 94 chg coeffs, 0 upgd conss, 17211003 impls, 0 clqs
17.59/17.67 c (round 12) 19770 del vars, 76987 del conss, 15593 chg bounds, 112 chg sides, 94 chg coeffs, 0 upgd conss, 17211811 impls, 0 clqs
17.79/17.80 c (round 13) 19838 del vars, 77272 del conss, 15627 chg bounds, 112 chg sides, 94 chg coeffs, 0 upgd conss, 17212747 impls, 0 clqs
17.88/17.92 c (round 14) 19894 del vars, 77504 del conss, 15657 chg bounds, 112 chg sides, 94 chg coeffs, 0 upgd conss, 17213397 impls, 0 clqs
17.98/18.04 c (round 15) 19930 del vars, 77677 del conss, 15676 chg bounds, 112 chg sides, 94 chg coeffs, 0 upgd conss, 17213660 impls, 0 clqs
18.08/18.14 c (round 16) 19946 del vars, 77762 del conss, 15685 chg bounds, 112 chg sides, 94 chg coeffs, 0 upgd conss, 17213759 impls, 0 clqs
18.18/18.24 c (round 17) 19956 del vars, 77809 del conss, 15690 chg bounds, 112 chg sides, 94 chg coeffs, 0 upgd conss, 17213873 impls, 0 clqs
18.28/18.35 c (round 18) 19962 del vars, 77837 del conss, 15693 chg bounds, 112 chg sides, 94 chg coeffs, 0 upgd conss, 17213961 impls, 0 clqs
18.38/18.47 c (round 19) 19966 del vars, 77855 del conss, 15695 chg bounds, 112 chg sides, 94 chg coeffs, 0 upgd conss, 17213975 impls, 0 clqs
19.19/19.28 c (round 20) 19966 del vars, 77859 del conss, 15695 chg bounds, 112 chg sides, 94 chg coeffs, 178497 upgd conss, 17213975 impls, 0 clqs
20.29/20.32 c (round 21) 19966 del vars, 77862 del conss, 15695 chg bounds, 167 chg sides, 302 chg coeffs, 178497 upgd conss, 17215275 impls, 525 clqs
711.10/711.39 c (707.4s) probing: 1000/52876 (1.9%) - 0 fixings, 0 aggregations, 15553459 implications, 0 bound changes
1049.35/1049.62 c (1044.9s) probing: 2000/52876 (3.8%) - 0 fixings, 0 aggregations, 24585182 implications, 0 bound changes
1049.45/1049.78 c (1045.1s) probing: 2001/52876 (3.8%) - 0 fixings, 0 aggregations, 24591811 implications, 0 bound changes
1049.45/1049.78 c (1045.1s) probing aborted: 2000/2000 successive useless probings
1049.45/1049.79 c presolving (22 rounds):
1049.45/1049.79 c 19966 deleted vars, 77864 deleted constraints, 15695 tightened bounds, 0 added holes, 174 changed sides, 336 changed coefficients
1049.45/1049.79 c 107992571 implications, 579 cliques
1049.45/1049.79 c presolved problem has 52876 variables (52876 bin, 0 int, 0 impl, 0 cont) and 178536 constraints
1049.45/1049.79 c 1109 constraints of type <knapsack>
1049.45/1049.79 c 41 constraints of type <setppc>
1049.45/1049.79 c 177386 constraints of type <logicor>
1049.45/1049.79 c transformed objective value is always integral (scale: 1)
1049.45/1049.79 c Presolving Time: 1044.76
1049.55/1049.82 c OPT-LIN
1049.55/1049.82 c -----------------------------------------------------------------------------------------------
1049.55/1049.82 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1049.55/1049.82 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1049.55/1049.82 c limits/memory = c 13950
1049.55/1049.82 c # maximal time in seconds to run
1049.55/1049.82 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1049.55/1049.82 c limits/time = c 1791
1049.55/1049.82 c # frequency for displaying node information lines
1049.55/1049.82 c # [type: int, range: [-1,2147483647], default: 100]
1049.55/1049.82 c display/freq = c 10000
1049.55/1049.82 c -----------------------------------------------------------------------------------------------
1049.55/1049.82 c start solving problem
1049.55/1049.82 c
1459.58/1459.98 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1459.58/1459.98 c 1455s| 1 | 0 | 55858 |3102M| 0 |1238 | 52k| 178k| 178k| 52k| 178k| 0 | 0 | 0 | 1.000000e+02 | -- | Inf
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-3740487-1338762003/watcher-3740487-1338762003 -o /tmp/evaluation-result-3740487-1338762003/solver-3740487-1338762003 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740487-1338762003.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.04 2.01 2.00 4/177 785
/proc/meminfo: memFree=23492748/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=6120 CPUtime=0 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 558 0 0 0 0 0 0 0 20 0 1 0 342328878 6266880 511 33554432000 4194304 7823515 140736779403520 140735690418856 4402248 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 1530 523 325 887 0 640 0
[startup+0.0527831 s]
/proc/loadavg: 2.04 2.01 2.00 4/177 785
/proc/meminfo: memFree=23492748/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=18800 CPUtime=0.04 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 4052 0 0 0 4 0 0 0 20 0 1 0 342328878 19251200 4004 33554432000 4194304 7823515 140736779403520 140736779269624 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 4700 4004 354 887 0 3810 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18800
[startup+0.100361 s]
/proc/loadavg: 2.04 2.01 2.00 4/177 785
/proc/meminfo: memFree=23492748/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=25688 CPUtime=0.09 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 5756 0 0 0 9 0 0 0 20 0 1 0 342328878 26304512 5708 33554432000 4194304 7823515 140736779403520 140736779269624 4807537 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 6422 5708 354 887 0 5532 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25688
[startup+0.300271 s]
/proc/loadavg: 2.04 2.01 2.00 4/177 785
/proc/meminfo: memFree=23492748/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=51588 CPUtime=0.29 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 12254 0 0 0 28 1 0 0 20 0 1 0 342328878 52826112 12206 33554432000 4194304 7823515 140736779403520 140736779269624 6896416 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 12897 12206 354 887 0 12007 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51588
[startup+0.700286 s]
/proc/loadavg: 2.04 2.01 2.00 4/177 785
/proc/meminfo: memFree=23492748/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=75920 CPUtime=0.69 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 18306 0 0 0 67 2 0 0 20 0 1 0 342328878 77742080 18258 33554432000 4194304 7823515 140736779403520 140736779269624 4403228 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 18980 18258 354 887 0 18090 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75920
[startup+1.50028 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 786
/proc/meminfo: memFree=23397972/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=146564 CPUtime=1.49 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 35952 0 0 0 144 5 0 0 20 0 1 0 342328878 150081536 35904 33554432000 4194304 7823515 140736779403520 140736779269624 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 36641 35904 354 887 0 35751 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 146564
[startup+3.10028 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 786
/proc/meminfo: memFree=23143648/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=477448 CPUtime=3.09 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 118362 0 0 0 291 18 0 0 20 0 1 0 342328878 488906752 117960 33554432000 4194304 7823515 140736779403520 140736779400456 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 119362 117960 427 887 0 118472 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 477448
[startup+6.30031 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 786
/proc/meminfo: memFree=22840600/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=721204 CPUtime=6.28 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 178578 0 0 0 599 29 0 0 20 0 1 0 342328878 738512896 178176 33554432000 4194304 7823515 140736779403520 140736779400456 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 180301 178176 427 887 0 179411 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 721204
[startup+12.7003 s]
/proc/loadavg: 2.03 2.01 2.00 4/178 786
/proc/meminfo: memFree=22634592/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=868900 CPUtime=12.69 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 213232 0 0 0 1227 42 0 0 20 0 1 0 342328878 889753600 212830 33554432000 4194304 7823515 140736779403520 140736779400456 5808228 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 217225 212830 432 887 0 216335 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 868900
[startup+25.5003 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 786
/proc/meminfo: memFree=22535568/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=963096 CPUtime=25.48 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 230973 0 0 0 2435 113 0 0 20 0 1 0 342328878 986210304 236540 33554432000 4194304 7823515 140736779403520 140736779400216 5803127 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 240774 236540 460 887 0 239884 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 963096
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 786
/proc/meminfo: memFree=22491500/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=988524 CPUtime=51.08 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 236656 0 0 0 4994 114 0 0 20 0 1 0 342328878 1012248576 242223 33554432000 4194304 7823515 140736779403520 140736779400200 4242991 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 247131 242223 460 887 0 246241 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 988524
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 787
/proc/meminfo: memFree=22297368/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=1098812 CPUtime=102.28 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 263130 0 0 0 10109 119 0 0 20 0 1 0 342328878 1125183488 268697 33554432000 4194304 7823515 140736779403520 140736779399576 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 274703 268697 460 887 0 273813 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1098812
[startup+162.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 826
/proc/meminfo: memFree=26302304/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=1299596 CPUtime=162.25 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 312164 0 0 0 16097 128 0 0 20 0 1 0 342328878 1330786304 317803 33554432000 4194304 7823515 140736779403520 140736779399384 5803647 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 324899 317803 461 887 0 324009 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1299596
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 826
/proc/meminfo: memFree=26055572/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=1438568 CPUtime=222.23 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 345818 0 0 0 22089 134 0 0 20 0 1 0 342328878 1473093632 351446 33554432000 4194304 7823515 140736779403520 140736779400216 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 359642 351446 461 887 0 358752 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1438568
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 826
/proc/meminfo: memFree=25717948/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=1635808 CPUtime=282.21 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 394578 0 0 0 28078 143 0 0 20 0 1 0 342328878 1675067392 400447 33554432000 4194304 7823515 140736779403520 140736779399576 5803108 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 408952 400447 461 887 0 408062 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1635808
[startup+342.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 826
/proc/meminfo: memFree=25409268/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=1849228 CPUtime=342.2 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 446575 0 0 0 34067 153 0 0 20 0 1 0 342328878 1893609472 452438 33554432000 4194304 7823515 140736779403520 140736779400216 5803619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 462307 452438 461 887 0 461417 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1849228
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 826
/proc/meminfo: memFree=25041140/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=2129716 CPUtime=402.18 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 516636 0 0 0 40053 165 0 0 20 0 1 0 342328878 2180829184 522497 33554432000 4194304 7823515 140736779403520 140736779399576 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 532429 522497 461 887 0 531539 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 2129716
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 827
/proc/meminfo: memFree=24733028/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=2323492 CPUtime=462.17 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 564297 0 0 0 46041 176 0 0 20 0 1 0 342328878 2379255808 570208 33554432000 4194304 7823515 140736779403520 140736779400216 5802376 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 580873 570208 461 887 0 579983 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 2323492
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 827
/proc/meminfo: memFree=24336008/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=2514424 CPUtime=522.15 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 611461 0 0 0 52023 192 0 0 20 0 1 0 342328878 2574770176 617646 33554432000 4194304 7823515 140736779403520 140736779399576 5803600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 628606 617646 461 887 0 627716 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 2514424
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 827
/proc/meminfo: memFree=23882072/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=2731920 CPUtime=582.14 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 665401 0 0 0 58006 208 0 0 20 0 1 0 342328878 2797486080 671762 33554432000 4194304 7823515 140736779403520 140736779399384 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 682980 671762 461 887 0 682090 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 2731920
[startup+642.3 s]
################
# More data... #
################
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 925122 0 0 0 99917 289 0 0 20 0 1 0 342328878 3871580160 934329 33554432000 4194304 7823515 140736779403520 140736779400216 5803623 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 945210 934329 466 887 0 944320 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 3780840
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 832
/proc/meminfo: memFree=21031364/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=4082312 CPUtime=1062.04 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 978454 0 0 0 105899 305 0 0 20 0 1 0 342328878 4180287488 1005152 33554432000 4194304 7823515 140736779403520 140736779399320 6212176 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 1020578 1005152 531 887 0 1019688 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 4082312
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 832
/proc/meminfo: memFree=20864668/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=4095900 CPUtime=1122.03 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 980766 0 0 0 111893 310 0 0 20 0 1 0 342328878 4194201600 1009054 33554432000 4194304 7823515 140736779403520 140736779399320 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 1023975 1009054 531 887 0 1023085 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 4095900
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 832
/proc/meminfo: memFree=20685204/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=4104244 CPUtime=1182.03 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 983349 0 0 0 117888 315 0 0 20 0 1 0 342328878 4202745856 1012376 33554432000 4194304 7823515 140736779403520 140736779398856 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 1026061 1012376 531 887 0 1025171 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 4104244
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 835
/proc/meminfo: memFree=20522344/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=4111376 CPUtime=1242.01 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 985280 0 0 0 123881 320 0 0 20 0 1 0 342328878 4210049024 1015727 33554432000 4194304 7823515 140736779403520 140736779398856 6212552 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 1027844 1015727 531 887 0 1026954 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 4111376
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 835
/proc/meminfo: memFree=20359316/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=4118168 CPUtime=1302.01 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 985375 0 0 0 129876 325 0 0 20 0 1 0 342328878 4217004032 1016864 33554432000 4194304 7823515 140736779403520 140736779398856 6212418 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 1029542 1016864 531 887 0 1028652 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 4118168
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 836
/proc/meminfo: memFree=20280460/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=4129176 CPUtime=1362 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 987170 0 0 0 135871 329 0 0 20 0 1 0 342328878 4228276224 1021243 33554432000 4194304 7823515 140736779403520 140736779398856 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 1032294 1021243 531 887 0 1031404 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 4129176
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 836
/proc/meminfo: memFree=20208052/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=4148000 CPUtime=1421.99 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 990236 0 0 0 141867 332 0 0 20 0 1 0 342328878 4247552000 1026489 33554432000 4194304 7823515 140736779403520 140736779398856 6212302 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 1037000 1026489 531 887 0 1036110 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 4148000
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 836
/proc/meminfo: memFree=20148684/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=4148640 CPUtime=1481.98 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 990712 0 0 0 147862 336 0 0 20 0 1 0 342328878 4248207360 1027270 33554432000 4194304 7823515 140736779403520 140736779398328 6152031 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 1037160 1027270 542 887 0 1036270 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 4148640
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 836
/proc/meminfo: memFree=20089368/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=4148640 CPUtime=1541.97 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 990713 0 0 0 153859 338 0 0 20 0 1 0 342328878 4248207360 1027508 33554432000 4194304 7823515 140736779403520 140736779398200 6211578 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 1037160 1027508 542 887 0 1036270 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 4148640
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 836
/proc/meminfo: memFree=20017104/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=4148640 CPUtime=1601.96 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 990713 0 0 0 159855 341 0 0 20 0 1 0 342328878 4248207360 1027729 33554432000 4194304 7823515 140736779403520 140736779398200 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 1037160 1027729 542 887 0 1036270 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 4148640
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 837
/proc/meminfo: memFree=19921268/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=4148640 CPUtime=1661.95 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 990813 0 0 0 165849 346 0 0 20 0 1 0 342328878 4248207360 1027927 33554432000 4194304 7823515 140736779403520 140736779398328 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 1037160 1027927 542 887 0 1036270 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 4148640
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 837
/proc/meminfo: memFree=19807340/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=4148640 CPUtime=1721.94 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 990813 0 0 0 171842 352 0 0 20 0 1 0 342328878 4248207360 1028010 33554432000 4194304 7823515 140736779403520 140736779398488 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 1037160 1028010 542 887 0 1036270 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 4148640
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 837
/proc/meminfo: memFree=19685228/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=4148640 CPUtime=1781.93 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 990870 0 0 0 177823 370 0 0 20 0 1 0 342328878 4248207360 1028205 33554432000 4194304 7823515 140736779403520 140736779399528 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 1037160 1028205 561 887 0 1036270 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 4148640
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 840
/proc/meminfo: memFree=19661604/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=4148640 CPUtime=1800.03 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 990897 0 0 0 179621 382 0 0 20 0 1 0 342328878 4248207360 1028260 33554432000 4194304 7823515 140736779403520 140736779399528 5562284 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 1037160 1028260 561 887 0 1036270 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 4148640
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -785
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 841
/proc/meminfo: memFree=19660860/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=4148640 CPUtime=1801.03 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 990897 0 0 0 179721 382 0 0 20 0 1 0 342328878 4248207360 1028260 33554432000 4194304 7823515 140736779403520 140736779398528 5562311 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 1037160 1028260 561 887 0 1036270 0
Current children cumulated CPU time (s) 1801.03
Current children cumulated vsize (KiB) 4148640
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 841
/proc/meminfo: memFree=19658992/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=4148640 CPUtime=1801.83 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 990897 0 0 0 179801 382 0 0 20 0 1 0 342328878 4248207360 1028260 33554432000 4194304 7823515 140736779403520 140736779398528 5562284 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 1037160 1028260 561 887 0 1036270 0
Current children cumulated CPU time (s) 1801.83
Current children cumulated vsize (KiB) 4148640
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 841
/proc/meminfo: memFree=19658992/32873844 swapFree=7372/7372
[pid=785] ppid=783 vsize=4148640 CPUtime=1802.03 cores=1,3,5,7
/proc/785/stat : 785 (pbscip.linux.x8) R 783 785 32091 0 -1 4202496 990897 0 0 0 179821 382 0 0 20 0 1 0 342328878 4248207360 1028260 33554432000 4194304 7823515 140736779403520 140736779398528 5562284 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/785/statm: 1037160 1028260 561 887 0 1036270 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 4148640
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.5
CPU time (s): 1802.13
CPU user time (s): 1798.22
CPU system time (s): 3.91341
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 4148640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.22
system time used= 3.91341
maximum resident set size= 4113040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 990897
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= 128
involuntary context switches= 1860
runsolver used 3.45047 second user time and 8.73267 second system time
The end