0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3740546-1338740255.opb>
1.10/1.17 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 184414 constraints
1.10/1.17 c problem read
1.10/1.17 c presolving settings loaded
1.49/1.53 c presolving:
6.29/6.38 c (round 1) 4245 del vars, 12159 del conss, 3137 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12702492 impls, 0 clqs
8.09/8.15 c (round 2) 9118 del vars, 32245 del conss, 7684 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12727768 impls, 0 clqs
8.59/8.63 c (round 3) 10897 del vars, 40545 del conss, 8641 chg bounds, 20 chg sides, 21 chg coeffs, 0 upgd conss, 12740450 impls, 0 clqs
8.89/8.92 c (round 4) 11635 del vars, 43668 del conss, 9144 chg bounds, 58 chg sides, 65 chg coeffs, 0 upgd conss, 12746231 impls, 0 clqs
8.99/9.09 c (round 5) 12082 del vars, 45630 del conss, 9419 chg bounds, 58 chg sides, 65 chg coeffs, 0 upgd conss, 12749977 impls, 0 clqs
9.19/9.21 c (round 6) 12368 del vars, 46784 del conss, 9589 chg bounds, 58 chg sides, 65 chg coeffs, 0 upgd conss, 12752544 impls, 0 clqs
9.29/9.31 c (round 7) 12584 del vars, 47665 del conss, 9704 chg bounds, 58 chg sides, 65 chg coeffs, 0 upgd conss, 12755039 impls, 0 clqs
9.29/9.39 c (round 8) 12740 del vars, 48294 del conss, 9796 chg bounds, 58 chg sides, 65 chg coeffs, 0 upgd conss, 12756813 impls, 0 clqs
9.39/9.47 c (round 9) 12876 del vars, 48814 del conss, 9872 chg bounds, 58 chg sides, 65 chg coeffs, 0 upgd conss, 12758383 impls, 0 clqs
9.49/9.54 c (round 10) 12987 del vars, 49276 del conss, 9941 chg bounds, 58 chg sides, 65 chg coeffs, 0 upgd conss, 12759459 impls, 0 clqs
9.59/9.60 c (round 11) 13075 del vars, 49649 del conss, 9989 chg bounds, 58 chg sides, 65 chg coeffs, 0 upgd conss, 12760401 impls, 0 clqs
9.59/9.65 c (round 12) 13113 del vars, 49854 del conss, 10012 chg bounds, 58 chg sides, 65 chg coeffs, 0 upgd conss, 12760655 impls, 0 clqs
9.59/9.69 c (round 13) 13133 del vars, 49953 del conss, 10023 chg bounds, 58 chg sides, 65 chg coeffs, 0 upgd conss, 12760783 impls, 0 clqs
9.69/9.73 c (round 14) 13137 del vars, 49997 del conss, 10025 chg bounds, 58 chg sides, 65 chg coeffs, 0 upgd conss, 12760801 impls, 0 clqs
10.09/10.18 c (round 15) 13137 del vars, 50003 del conss, 10025 chg bounds, 58 chg sides, 65 chg coeffs, 134411 upgd conss, 12760801 impls, 0 clqs
10.49/10.54 c (round 16) 13137 del vars, 50008 del conss, 10025 chg bounds, 97 chg sides, 251 chg coeffs, 134411 upgd conss, 12760801 impls, 0 clqs
402.02/402.19 c (401.0s) probing: 1000/41645 (2.4%) - 0 fixings, 0 aggregations, 9159892 implications, 0 bound changes
769.78/769.91 c (768.7s) probing: 2000/41645 (4.8%) - 0 fixings, 0 aggregations, 14455361 implications, 0 bound changes
769.97/770.15 c (769.0s) probing: 2001/41645 (4.8%) - 0 fixings, 0 aggregations, 14458691 implications, 0 bound changes
769.97/770.15 c (769.0s) probing aborted: 2000/2000 successive useless probings
769.97/770.15 c presolving (17 rounds):
769.97/770.15 c 13137 deleted vars, 50010 deleted constraints, 10025 tightened bounds, 0 added holes, 103 changed sides, 267 changed coefficients
769.97/770.15 c 63829791 implications, 0 cliques
769.97/770.15 c presolved problem has 41645 variables (41645 bin, 0 int, 0 impl, 0 cont) and 134429 constraints
769.97/770.15 c 1095 constraints of type <knapsack>
769.97/770.15 c 112755 constraints of type <setppc>
769.97/770.15 c 20579 constraints of type <logicor>
769.97/770.15 c transformed objective value is always integral (scale: 1)
769.97/770.15 c Presolving Time: 768.71
769.97/770.15 c - non default parameters ----------------------------------------------------------------------
769.97/770.15 c # SCIP version 1.2.1.3
769.97/770.15 c
769.97/770.15 c # frequency for displaying node information lines
769.97/770.15 c # [type: int, range: [-1,2147483647], default: 100]
769.97/770.15 c display/freq = 10000
769.97/770.15 c
769.97/770.15 c # maximal time in seconds to run
769.97/770.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
769.97/770.15 c limits/time = 1788.84
769.97/770.15 c
769.97/770.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
769.97/770.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
769.97/770.15 c limits/memory = 13950
769.97/770.15 c
769.97/770.15 c # default clock type (1: CPU user seconds, 2: wall clock time)
769.97/770.15 c # [type: int, range: [1,2], default: 1]
769.97/770.15 c timing/clocktype = 2
769.97/770.15 c
769.97/770.15 c # should presolving try to simplify inequalities
769.97/770.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
769.97/770.15 c constraints/linear/simplifyinequalities = TRUE
769.97/770.15 c
769.97/770.15 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
769.97/770.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
769.97/770.15 c constraints/indicator/addCouplingCons = TRUE
769.97/770.15 c
769.97/770.15 c # should presolving try to simplify knapsacks
769.97/770.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
769.97/770.15 c constraints/knapsack/simplifyinequalities = TRUE
769.97/770.15 c
769.97/770.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
769.97/770.15 c # [type: int, range: [-1,2147483647], default: -1]
769.97/770.15 c separating/rapidlearning/freq = 0
769.97/770.15 c
769.97/770.15 c -----------------------------------------------------------------------------------------------
769.97/770.15 c start solving
769.97/770.17 c
922.25/922.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
922.25/922.44 c 921s| 1 | 0 | 40252 | - |1895M| 0 | 621 | 41k| 134k| 41k| 134k| 0 | 0 | 0 | 9.700000e+01 | -- | Inf
1800.01/1800.30 c pressed CTRL-C 1 times (5 times for forcing termination)
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-3740546-1338740255/watcher-3740546-1338740255 -o /tmp/evaluation-result-3740546-1338740255/solver-3740546-1338740255 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3740546-1338740255.opb -t 1800 -m 15500
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 2.00 3/176 19663
/proc/meminfo: memFree=24562240/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=10028 CPUtime=0 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 1774 0 0 0 0 0 0 0 20 0 1 0 340152342 10268672 1721 33554432000 4194304 8395647 140737471152576 140734370947624 5756997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 2507 1721 375 1026 0 1477 0
[startup+0.0229621 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19663
/proc/meminfo: memFree=24562240/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=14488 CPUtime=0.02 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 2748 0 0 0 2 0 0 0 20 0 1 0 340152342 14835712 2696 33554432000 4194304 8395647 140737471152576 140734370947624 7356438 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 3622 2721 393 1026 0 2592 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14488
[startup+0.100281 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19663
/proc/meminfo: memFree=24562240/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=27236 CPUtime=0.09 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 6082 0 0 0 9 0 0 0 20 0 1 0 340152342 27889664 6029 33554432000 4194304 8395647 140737471152576 140734370947624 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 6809 6029 393 1026 0 5779 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27236
[startup+0.300283 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19663
/proc/meminfo: memFree=24562240/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=47016 CPUtime=0.29 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 11008 0 0 0 28 1 0 0 20 0 1 0 340152342 48144384 10955 33554432000 4194304 8395647 140737471152576 140737471017336 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 11754 10955 393 1026 0 10724 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47016
[startup+0.70028 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19663
/proc/meminfo: memFree=24562240/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=75492 CPUtime=0.69 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 18102 0 0 0 67 2 0 0 20 0 1 0 340152342 77303808 18049 33554432000 4194304 8395647 140737471152576 140737471017336 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 18873 18049 393 1026 0 17843 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75492
[startup+1.50034 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19664
/proc/meminfo: memFree=24465016/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=269352 CPUtime=1.49 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 66366 0 0 0 141 8 0 0 20 0 1 0 340152342 275816448 65959 33554432000 4194304 8395647 140737471152576 140737471148840 4285932 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 67412 65982 441 1026 0 66382 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 269352
[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19664
/proc/meminfo: memFree=24219860/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=450584 CPUtime=3.09 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 111114 0 0 0 295 14 0 0 20 0 1 0 340152342 461398016 110707 33554432000 4194304 8395647 140737471152576 140737471148328 6080761 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 112646 110707 469 1026 0 111616 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 450584
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19664
/proc/meminfo: memFree=23937552/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=664544 CPUtime=6.29 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 163049 0 0 0 607 22 0 0 20 0 1 0 340152342 680493056 162642 33554432000 4194304 8395647 140737471152576 140737471148328 4684137 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 166136 162642 475 1026 0 165106 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 664544
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19664
/proc/meminfo: memFree=23805100/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=730976 CPUtime=12.68 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 177452 0 0 0 1243 25 0 0 20 0 1 0 340152342 748519424 179163 33554432000 4194304 8395647 140737471152576 140737471148440 6080692 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 182744 179163 510 1026 0 181714 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 730976
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19664
/proc/meminfo: memFree=23748424/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=771524 CPUtime=25.49 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 186752 0 0 0 2522 27 0 0 20 0 1 0 340152342 790040576 188463 33554432000 4194304 8395647 140737471152576 140737471148648 6080675 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 192881 188463 510 1026 0 191851 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 771524
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19664
/proc/meminfo: memFree=23640992/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=859076 CPUtime=51.09 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 208406 0 0 0 5078 31 0 0 20 0 1 0 340152342 879693824 210117 33554432000 4194304 8395647 140737471152576 140737471148440 4247631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 214769 210117 510 1026 0 213739 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 859076
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19664
/proc/meminfo: memFree=23404816/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=1030188 CPUtime=102.28 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 250614 0 0 0 10191 37 0 0 20 0 1 0 340152342 1054912512 252325 33554432000 4194304 8395647 140737471152576 140737471148648 4247616 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 257547 252325 510 1026 0 256517 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1030188
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19667
/proc/meminfo: memFree=23106476/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=1265572 CPUtime=162.27 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 308263 0 0 0 16181 46 0 0 20 0 1 0 340152342 1295945728 309974 33554432000 4194304 8395647 140737471152576 140737471148440 4706426 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 316393 309974 510 1026 0 315363 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1265572
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19667
/proc/meminfo: memFree=22812260/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=1474884 CPUtime=222.25 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 360379 0 0 0 22170 55 0 0 20 0 1 0 340152342 1510281216 362090 33554432000 4194304 8395647 140737471152576 140737471148440 4684118 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 368721 362090 510 1026 0 367691 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1474884
[startup+282.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 19668
/proc/meminfo: memFree=22619468/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=1597452 CPUtime=282.25 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 391049 0 0 0 28164 61 0 0 20 0 1 0 340152342 1635790848 392760 33554432000 4194304 8395647 140737471152576 140737471148648 6080332 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 399363 392760 510 1026 0 398333 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1597452
[startup+342.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 19668
/proc/meminfo: memFree=22402500/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=1756616 CPUtime=342.23 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 430406 0 0 0 34157 66 0 0 20 0 1 0 340152342 1798774784 432117 33554432000 4194304 8395647 140737471152576 140737471148648 5210659 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 439154 432117 510 1026 0 438124 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1756616
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 19668
/proc/meminfo: memFree=22265260/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=1867624 CPUtime=402.22 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 457424 0 0 0 40151 71 0 0 20 0 1 0 340152342 1912446976 459135 33554432000 4194304 8395647 140737471152576 140737471147512 5210321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 466906 459135 515 1026 0 465876 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1867624
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 19668
/proc/meminfo: memFree=21938156/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=1931176 CPUtime=462.22 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 473914 0 0 0 46148 74 0 0 20 0 1 0 340152342 1977524224 475625 33554432000 4194304 8395647 140737471152576 140737471148440 5210281 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 482794 475625 515 1026 0 481764 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1931176
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19668
/proc/meminfo: memFree=21856972/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=1998364 CPUtime=522.21 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 490537 0 0 0 52143 78 0 0 20 0 1 0 340152342 2046324736 492248 33554432000 4194304 8395647 140737471152576 140737471148504 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 499591 492248 515 1026 0 498561 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1998364
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19669
/proc/meminfo: memFree=21777700/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=2070764 CPUtime=582.2 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 508899 0 0 0 58139 81 0 0 20 0 1 0 340152342 2120462336 510610 33554432000 4194304 8395647 140737471152576 140737471148440 5210321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 517691 510610 515 1026 0 516661 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 2070764
[startup+642.3 s]
################
# More data... #
################
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 600196 0 0 0 106092 120 0 0 20 0 1 0 340152342 2549284864 612480 33554432000 4194304 8395647 140737471152576 140737471147864 5792805 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 622384 612480 613 1026 0 621354 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 2489536
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19711
/proc/meminfo: memFree=24093192/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=2489536 CPUtime=1122.12 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 600208 0 0 0 112092 120 0 0 20 0 1 0 340152342 2549284864 612492 33554432000 4194304 8395647 140737471152576 140737471147864 5792813 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 622384 612492 613 1026 0 621354 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 2489536
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19712
/proc/meminfo: memFree=24013736/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=2489536 CPUtime=1182.1 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 600218 0 0 0 118090 120 0 0 20 0 1 0 340152342 2549284864 612498 33554432000 4194304 8395647 140737471152576 140737471147864 5792692 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 622384 612498 613 1026 0 621354 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 2489536
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19712
/proc/meminfo: memFree=23808368/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=2489536 CPUtime=1242.1 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 600219 0 0 0 124090 120 0 0 20 0 1 0 340152342 2549284864 612659 33554432000 4194304 8395647 140737471152576 140737471147864 5792805 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 622384 612659 613 1026 0 621354 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 2489536
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19712
/proc/meminfo: memFree=23722092/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=2489536 CPUtime=1302.09 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 600222 0 0 0 130089 120 0 0 20 0 1 0 340152342 2549284864 613020 33554432000 4194304 8395647 140737471152576 140737471147864 5792692 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 622384 613020 613 1026 0 621354 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 2489536
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19715
/proc/meminfo: memFree=23659192/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=2489536 CPUtime=1362.08 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 600223 0 0 0 136088 120 0 0 20 0 1 0 340152342 2549284864 613333 33554432000 4194304 8395647 140737471152576 140737471147864 5792805 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 622384 613333 613 1026 0 621354 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 2489536
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19715
/proc/meminfo: memFree=23606452/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=2489536 CPUtime=1422.07 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 600224 0 0 0 142087 120 0 0 20 0 1 0 340152342 2549284864 613434 33554432000 4194304 8395647 140737471152576 140737471147864 5792689 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 622384 613434 613 1026 0 621354 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 2489536
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19715
/proc/meminfo: memFree=23508532/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=2489536 CPUtime=1482.06 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 600226 0 0 0 148086 120 0 0 20 0 1 0 340152342 2549284864 613729 33554432000 4194304 8395647 140737471152576 140737471147864 5792894 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 622384 613729 613 1026 0 621354 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 2489536
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19716
/proc/meminfo: memFree=23457836/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=2489536 CPUtime=1542.05 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 600228 0 0 0 154085 120 0 0 20 0 1 0 340152342 2549284864 614158 33554432000 4194304 8395647 140737471152576 140737471147864 5792677 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 622384 614158 613 1026 0 621354 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 2489536
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19716
/proc/meminfo: memFree=23402188/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=2489536 CPUtime=1602.04 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 600230 0 0 0 160084 120 0 0 20 0 1 0 340152342 2549284864 614266 33554432000 4194304 8395647 140737471152576 140737471147864 5792692 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 622384 614266 613 1026 0 621354 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 2489536
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19716
/proc/meminfo: memFree=23322592/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=2502908 CPUtime=1662.02 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 601829 0 0 0 166082 120 0 0 20 0 1 0 340152342 2562977792 616962 33554432000 4194304 8395647 140737471152576 140737471148600 5794553 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 625727 616962 613 1026 0 624697 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 2502908
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19716
/proc/meminfo: memFree=23221700/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=2553268 CPUtime=1722.02 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 603698 0 0 0 172080 122 0 0 20 0 1 0 340152342 2614546432 631155 33554432000 4194304 8395647 140737471152576 140737471148792 5794573 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 638317 631155 613 1026 0 637287 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 2553268
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 19716
/proc/meminfo: memFree=23012884/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=2653280 CPUtime=1782 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 606219 0 0 0 178076 124 0 0 20 0 1 0 340152342 2716958720 656309 33554432000 4194304 8395647 140737471152576 140737471148792 5794573 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 663320 656309 613 1026 0 662290 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 2653280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 19717
/proc/meminfo: memFree=22971992/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=2683352 CPUtime=1800.01 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 606732 0 0 0 179877 124 0 0 20 0 1 0 340152342 2747752448 657349 33554432000 4194304 8395647 140737471152576 140737471148792 5794576 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 670838 657349 613 1026 0 669808 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2683352
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -19663
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 19718
/proc/meminfo: memFree=22971992/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=2683352 CPUtime=1801.1 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 606732 0 0 0 179986 124 0 0 20 0 1 0 340152342 2747752448 657349 33554432000 4194304 8395647 140737471152576 140737471147840 5794534 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 670838 657349 613 1026 0 669808 0
Current children cumulated CPU time (s) 1801.1
Current children cumulated vsize (KiB) 2683352
[startup+1801.81 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 19718
/proc/meminfo: memFree=22970248/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=2683352 CPUtime=1801.51 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 606732 0 0 0 180027 124 0 0 20 0 1 0 340152342 2747752448 657349 33554432000 4194304 8395647 140737471152576 140737471147840 5794576 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 670838 657349 613 1026 0 669808 0
Current children cumulated CPU time (s) 1801.51
Current children cumulated vsize (KiB) 2683352
[startup+1802.2 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 19718
/proc/meminfo: memFree=22970248/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=2683352 CPUtime=1801.9 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 606732 0 0 0 180066 124 0 0 20 0 1 0 340152342 2747752448 657349 33554432000 4194304 8395647 140737471152576 140737471147840 5794576 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 670838 657349 613 1026 0 669808 0
Current children cumulated CPU time (s) 1801.9
Current children cumulated vsize (KiB) 2683352
[startup+1802.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 19718
/proc/meminfo: memFree=22970248/32873648 swapFree=6864/6864
[pid=19663] ppid=19661 vsize=2683352 CPUtime=1802 cores=1,3,5,7
/proc/19663/stat : 19663 (pbscip.linux.x8) R 19661 19663 16401 0 -1 4202496 606732 0 0 0 180076 124 0 0 20 0 1 0 340152342 2747752448 657349 33554432000 4194304 8395647 140737471152576 140737471147840 5794553 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19663/statm: 670838 657349 613 1026 0 669808 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 2683352
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.37
CPU time (s): 1802.08
CPU user time (s): 1800.77
CPU system time (s): 1.3128
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 2683352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.77
system time used= 1.3128
maximum resident set size= 2629396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 606732
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= 25
involuntary context switches= 1851
runsolver used 4.74928 second user time and 19.757 second system time
The end