0.00/0.20 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.20 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.20 c
0.00/0.20 c user parameter file <scip.set> not found - using default parameters
0.00/0.20 c reading problem <HOME/instance-3450592-1307101617.opb>
0.19/0.48 c original problem has 76586 variables (76586 bin, 0 int, 0 impl, 0 cont) and 77586 constraints
0.19/0.48 c problem read
0.19/0.48 c presolving settings loaded
0.59/0.85 o 1000
0.59/0.85 c feasible solution found by trivial heuristic, objective value 1.000000e+03
0.59/0.85 c presolving:
5.89/6.17 c (round 1) 0 del vars, 76586 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11597582 impls, 0 clqs
7.28/7.58 c (round 2) 75586 del vars, 76586 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1000 upgd conss, 11597582 impls, 0 clqs
7.28/7.59 c (7.4s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
7.28/7.59 c (7.4s) probing aborted: 100/100 successive totally useless probings
7.28/7.59 c presolving (3 rounds):
7.28/7.59 c 75586 deleted vars, 76586 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
7.28/7.59 c 11597582 implications, 0 cliques
7.28/7.59 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 1000 constraints
7.28/7.59 c 1000 constraints of type <logicor>
7.28/7.59 c transformed objective value is always integral (scale: 1)
7.28/7.59 c Presolving Time: 6.92
7.28/7.59 c - non default parameters ----------------------------------------------------------------------
7.28/7.59 c # SCIP version 2.0.1.5
7.28/7.59 c
7.28/7.59 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
7.28/7.59 c # [type: int, range: [-1,2147483647], default: -1]
7.28/7.59 c conflict/interconss = 0
7.28/7.59 c
7.28/7.59 c # should binary conflicts be preferred?
7.28/7.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.28/7.59 c conflict/preferbinary = TRUE
7.28/7.59 c
7.28/7.59 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
7.28/7.59 c # [type: int, range: [-1,2147483647], default: 0]
7.28/7.59 c constraints/agelimit = 1
7.28/7.59 c
7.28/7.59 c # should enforcement of pseudo solution be disabled?
7.28/7.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.28/7.59 c constraints/disableenfops = TRUE
7.28/7.59 c
7.28/7.59 c # frequency for displaying node information lines
7.28/7.59 c # [type: int, range: [-1,2147483647], default: 100]
7.28/7.59 c display/freq = 10000
7.28/7.59 c
7.28/7.59 c # maximal time in seconds to run
7.28/7.59 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.28/7.59 c limits/time = 1800
7.28/7.59 c
7.28/7.59 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.28/7.59 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.28/7.59 c limits/memory = 13950
7.28/7.59 c
7.28/7.59 c # default clock type (1: CPU user seconds, 2: wall clock time)
7.28/7.59 c # [type: int, range: [1,2], default: 1]
7.28/7.59 c timing/clocktype = 2
7.28/7.59 c
7.28/7.59 c # belongs reading time to solving time?
7.28/7.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.28/7.59 c timing/reading = TRUE
7.28/7.59 c
7.28/7.59 c # should presolving try to simplify inequalities
7.28/7.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.28/7.59 c constraints/linear/simplifyinequalities = TRUE
7.28/7.59 c
7.28/7.59 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
7.28/7.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.28/7.59 c constraints/indicator/addCouplingCons = TRUE
7.28/7.59 c
7.28/7.59 c # should presolving try to simplify knapsacks
7.28/7.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.28/7.59 c constraints/knapsack/simplifyinequalities = TRUE
7.28/7.59 c
7.28/7.59 c -----------------------------------------------------------------------------------------------
7.28/7.59 c start solving
7.28/7.59 c
17.49/17.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.49/17.72 c t17.5s| 1 | 0 | 12361 | - | 167M| 0 | 411 |1000 |1000 |1000 |1000 | 0 | 0 | 0 | 1.295027e+01 | 1.000000e+03 |7621.84%
17.49/17.72 o 411
17.49/17.72 c r17.5s| 1 | 0 | 12361 | - | 167M| 0 | 411 |1000 |1000 |1000 |1000 | 0 | 0 | 0 | 1.295027e+01 | 4.110000e+02 |3073.68%
17.49/17.73 o 410
17.49/17.73 c R17.5s| 1 | 0 | 12361 | - | 167M| 0 | 411 |1000 |1000 |1000 |1000 | 0 | 0 | 0 | 1.295027e+01 | 4.100000e+02 |3065.96%
17.49/17.73 o 409
17.49/17.73 c s17.5s| 1 | 0 | 12361 | - | 167M| 0 | 411 |1000 |1000 |1000 |1000 | 0 | 0 | 0 | 1.295027e+01 | 4.090000e+02 |3058.23%
17.79/18.01 o 66
17.79/18.01 c z17.8s| 1 | 0 | 12361 | - | 167M| 0 | 411 |1000 |1000 |1000 |1000 | 0 | 0 | 0 | 1.295027e+01 | 6.600000e+01 | 409.64%
963.66/963.90 o 30
963.66/963.90 c E 964s| 1 | 0 | 12361 | - | 167M| 0 | 411 |1000 |1000 |1000 |1000 | 0 | 0 | 0 | 1.295027e+01 | 3.000000e+01 | 131.66%
963.66/963.91 c 964s| 1 | 0 | 12361 | - | 167M| 0 | 411 |1000 |1000 |1000 |1000 | 0 | 0 | 0 | 1.295027e+01 | 3.000000e+01 | 131.66%
995.37/995.67 c 995s| 1 | 2 | 12361 | - | 167M| 0 | 411 |1000 |1000 |1000 |1000 | 0 | 0 | 17 | 1.295027e+01 | 3.000000e+01 | 131.66%
1800.09/1800.30 c
1800.09/1800.30 c SCIP Status : solving was interrupted [time limit reached]
1800.09/1800.30 c Solving Time (sec) : 1800.10
1800.09/1800.30 c Solving Nodes : 92
1800.09/1800.30 c Primal Bound : +3.00000000000000e+01 (414 solutions)
1800.09/1800.30 c Dual Bound : +1.29502734100605e+01
1800.09/1800.30 c Gap : 131.66 %
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3450592-1307101617/watcher-3450592-1307101617 -o /tmp/evaluation-result-3450592-1307101617/solver-3450592-1307101617 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450592-1307101617.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.01 2.03 2.00 2/498 21357
/proc/meminfo: memFree=26007280/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/21357/stat : 21357 (runsolver) S 21355 21357 20254 0 -1 4202560 43 0 0 0 0 0 0 0 25 0 1 0 900392431 12079104 50 33554432000 4194304 5432328 140737030692288 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071699960631 0 0 17 1 0 0 0
/proc/21357/statm: 2949 50 31 303 0 2643 0
[startup+0.049679 s]
/proc/loadavg: 2.01 2.03 2.00 2/498 21357
/proc/meminfo: memFree=26007280/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/21357/stat : 21357 (runsolver) S 21355 21357 20254 0 -1 4202560 43 0 0 0 0 0 0 0 25 0 1 0 900392431 12079104 50 33554432000 4194304 5432328 140737030692288 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071699960631 0 0 17 1 0 0 0
/proc/21357/statm: 2949 50 31 303 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11796
[startup+0.100677 s]
/proc/loadavg: 2.01 2.03 2.00 2/498 21357
/proc/meminfo: memFree=26007280/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/21357/stat : 21357 (runsolver) S 21355 21357 20254 0 -1 4202560 43 0 0 0 0 0 0 0 25 0 1 0 900392431 12079104 50 33554432000 4194304 5432328 140737030692288 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071699960631 0 0 17 1 0 0 0
/proc/21357/statm: 2949 50 31 303 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11796
[startup+0.300636 s]
/proc/loadavg: 2.01 2.03 2.00 2/498 21357
/proc/meminfo: memFree=26007280/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=45316 CPUtime=0.09 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 10323 0 0 0 8 1 0 0 23 0 1 0 900392431 46403584 10276 33554432000 4194304 9163163 140734081663056 18446744073709551615 7995449 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21357/statm: 11329 10276 409 1214 0 10111 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45316
[startup+0.700563 s]
/proc/loadavg: 2.01 2.03 2.00 2/498 21357
/proc/meminfo: memFree=26007280/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=203484 CPUtime=0.49 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 50401 0 0 0 43 6 0 0 25 0 1 0 900392431 208367616 49762 33554432000 4194304 9163163 140734081663056 18446744073709551615 4693093 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21357/statm: 50871 49762 468 1214 0 49653 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 203484
[startup+1.50041 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 21358
/proc/meminfo: memFree=25787304/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=273172 CPUtime=1.29 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 66491 0 0 0 121 8 0 0 25 0 1 0 900392431 279728128 65852 33554432000 4194304 9163163 140734081663056 18446744073709551615 8041874 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21357/statm: 68293 65852 500 1214 0 67075 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 273172
[startup+3.10112 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 21358
/proc/meminfo: memFree=25691488/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=405188 CPUtime=2.89 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 100252 0 0 0 278 11 0 0 25 0 1 0 900392431 414912512 98843 33554432000 4194304 9163163 140734081663056 18446744073709551615 6567881 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21357/statm: 101297 98843 500 1214 0 100079 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 405188
[startup+6.30052 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 21358
/proc/meminfo: memFree=25433740/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=626188 CPUtime=6.09 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 158073 0 0 0 592 17 0 0 25 0 1 0 900392431 641216512 154130 33554432000 4194304 9163163 140734081663056 18446744073709551615 4352474 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21357/statm: 156547 154130 515 1214 0 155329 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 626188
[startup+12.7003 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 21358
/proc/meminfo: memFree=25391484/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=623656 CPUtime=12.49 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 160283 0 0 0 1227 22 0 0 25 0 1 0 900392431 638623744 153445 33554432000 4194304 9163163 140734081663056 18446744073709551615 7345944 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21357/statm: 155914 153445 645 1214 0 154696 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 623656
[startup+25.501 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 21359
/proc/meminfo: memFree=25371040/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=643912 CPUtime=25.29 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 165750 0 0 0 2500 29 0 0 25 0 1 0 900392431 659365888 158864 33554432000 4194304 9163163 140734081663056 18446744073709551615 7390851 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21357/statm: 160978 158864 701 1214 0 159760 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 643912
[startup+51.1002 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 21359
/proc/meminfo: memFree=25370892/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=643912 CPUtime=50.89 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 165774 0 0 0 5049 40 0 0 25 0 1 0 900392431 659365888 158888 33554432000 4194304 9163163 140734081663056 18446744073709551615 7390342 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21357/statm: 160978 158888 705 1214 0 159760 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 643912
[startup+102.319 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 21361
/proc/meminfo: memFree=25370096/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=643912 CPUtime=102.11 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 165776 0 0 0 10127 84 0 0 25 0 1 0 900392431 659365888 158890 33554432000 4194304 9163163 140734081663056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21357/statm: 160978 158890 706 1214 0 159760 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 643912
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 21362
/proc/meminfo: memFree=25370024/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=643912 CPUtime=162.09 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 165777 0 0 0 16084 125 0 0 25 0 1 0 900392431 659365888 158891 33554432000 4194304 9163163 140734081663056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21357/statm: 160978 158891 707 1214 0 159760 0
Current children cumulated CPU time (s) 162.09
Current children cumulated vsize (KiB) 643912
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 21364
/proc/meminfo: memFree=25370832/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=643912 CPUtime=222.09 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 165777 0 0 0 22004 205 0 0 25 0 1 0 900392431 659365888 158891 33554432000 4194304 9163163 140734081663056 18446744073709551615 7390504 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21357/statm: 160978 158891 707 1214 0 159760 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 643912
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 21365
/proc/meminfo: memFree=25369652/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=645516 CPUtime=282.1 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 166150 0 0 0 27961 249 0 0 25 0 1 0 900392431 661008384 159264 33554432000 4194304 9163163 140734081663056 18446744073709551615 7390858 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21357/statm: 161379 159264 707 1214 0 160161 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 645516
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 21367
/proc/meminfo: memFree=25369844/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=645516 CPUtime=342.1 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 166150 0 0 0 33910 300 0 0 25 0 1 0 900392431 661008384 159264 33554432000 4194304 9163163 140734081663056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21357/statm: 161379 159264 707 1214 0 160161 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 645516
[startup+402.301 s]
/proc/loadavg: 2.19 2.06 2.02 3/499 21369
/proc/meminfo: memFree=25369660/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=645516 CPUtime=402.1 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 166150 0 0 0 39853 357 0 0 25 0 1 0 900392431 661008384 159264 33554432000 4194304 9163163 140734081663056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21357/statm: 161379 159264 707 1214 0 160161 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 645516
[startup+462.301 s]
/proc/loadavg: 2.15 2.07 2.02 3/499 21370
/proc/meminfo: memFree=25370968/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=645516 CPUtime=462.1 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 166150 0 0 0 45802 408 0 0 25 0 1 0 900392431 661008384 159264 33554432000 4194304 9163163 140734081663056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21357/statm: 161379 159264 707 1214 0 160161 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 645516
[startup+522.301 s]
/proc/loadavg: 2.06 2.06 2.02 3/499 21372
/proc/meminfo: memFree=25371028/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=645516 CPUtime=522.11 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 166150 0 0 0 51745 466 0 0 25 0 1 0 900392431 661008384 159264 33554432000 4194304 9163163 140734081663056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21357/statm: 161379 159264 707 1214 0 160161 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 645516
[startup+582.301 s]
/proc/loadavg: 2.02 2.04 2.01 4/499 21373
/proc/meminfo: memFree=25406056/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=645516 CPUtime=582.1 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 166150 0 0 0 57690 520 0 0 25 0 1 0 900392431 661008384 159264 33554432000 4194304 9163163 140734081663056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21357/statm: 161379 159264 707 1214 0 160161 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 645516
[startup+642.301 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/499 21390
/proc/meminfo: memFree=25404816/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=645516 CPUtime=882.06 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 166150 0 0 0 87379 827 0 0 25 0 1 0 900392431 661008384 159264 33554432000 4194304 9163163 140734081663056 18446744073709551615 7346248 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21357/statm: 161379 159264 707 1214 0 160161 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 645516
[startup+942.301 s]
/proc/loadavg: 2.22 2.07 2.02 3/499 21392
/proc/meminfo: memFree=25405384/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=645516 CPUtime=942.07 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 166150 0 0 0 93321 886 0 0 25 0 1 0 900392431 661008384 159264 33554432000 4194304 9163163 140734081663056 18446744073709551615 7390342 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21357/statm: 161379 159264 707 1214 0 160161 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 645516
[startup+1002.3 s]
/proc/loadavg: 2.15 2.07 2.02 3/499 21394
/proc/meminfo: memFree=25427268/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=623804 CPUtime=1002.07 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 167476 0 0 0 99288 919 0 0 25 0 1 0 900392431 638775296 153847 33554432000 4194304 9163163 140734081663056 18446744073709551615 7390504 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21357/statm: 155951 153847 721 1214 0 154733 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 623804
[startup+1062.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/499 21395
/proc/meminfo: memFree=25424484/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=627224 CPUtime=1062.07 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 168339 0 0 0 105272 935 0 0 25 0 1 0 900392431 642277376 154710 33554432000 4194304 9163163 140734081663056 18446744073709551615 7390316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21357/statm: 156806 154710 721 1214 0 155588 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 627224
[startup+1122.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/499 21397
/proc/meminfo: memFree=25424912/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=627224 CPUtime=1122.08 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 168339 0 0 0 111254 954 0 0 25 0 1 0 900392431 642277376 154710 33554432000 4194304 9163163 140734081663056 18446744073709551615 7391096 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21357/statm: 156806 154710 721 1214 0 155588 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 627224
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 21398
/proc/meminfo: memFree=25423488/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=627224 CPUtime=1182.07 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 168339 0 0 0 117232 975 0 0 25 0 1 0 900392431 642277376 154710 33554432000 4194304 9163163 140734081663056 18446744073709551615 7390490 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21357/statm: 156806 154710 721 1214 0 155588 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 627224
[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 21400
/proc/meminfo: memFree=25423300/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=627224 CPUtime=1242.08 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 168339 0 0 0 123200 1008 0 0 25 0 1 0 900392431 642277376 154710 33554432000 4194304 9163163 140734081663056 18446744073709551615 7390865 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21357/statm: 156806 154710 721 1214 0 155588 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 627224
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 21402
/proc/meminfo: memFree=25421500/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=627224 CPUtime=1302.08 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 168339 0 0 0 129177 1031 0 0 25 0 1 0 900392431 642277376 154710 33554432000 4194304 9163163 140734081663056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21357/statm: 156806 154710 721 1214 0 155588 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 627224
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 21458
/proc/meminfo: memFree=25986956/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=627224 CPUtime=1362.08 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 168339 0 0 0 135152 1056 0 0 25 0 1 0 900392431 642277376 154710 33554432000 4194304 9163163 140734081663056 18446744073709551615 7390319 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21357/statm: 156806 154710 721 1214 0 155588 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 627224
[startup+1422.32 s]
/proc/loadavg: 2.07 2.04 2.01 3/499 21460
/proc/meminfo: memFree=25986548/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=627224 CPUtime=1422.1 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 168339 0 0 0 141134 1076 0 0 25 0 1 0 900392431 642277376 154710 33554432000 4194304 9163163 140734081663056 18446744073709551615 7390373 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21357/statm: 156806 154710 721 1214 0 155588 0
Current children cumulated CPU time (s) 1422.1
Current children cumulated vsize (KiB) 627224
[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/499 21461
/proc/meminfo: memFree=25985972/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=627224 CPUtime=1482.08 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 168339 0 0 0 147107 1101 0 0 25 0 1 0 900392431 642277376 154710 33554432000 4194304 9163163 140734081663056 18446744073709551615 7379386 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21357/statm: 156806 154710 721 1214 0 155588 0
Current children cumulated CPU time (s) 1482.08
Current children cumulated vsize (KiB) 627224
[startup+1542.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/499 21463
/proc/meminfo: memFree=25987392/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=627224 CPUtime=1542.09 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 168339 0 0 0 153080 1129 0 0 25 0 1 0 900392431 642277376 154710 33554432000 4194304 9163163 140734081663056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21357/statm: 156806 154710 721 1214 0 155588 0
Current children cumulated CPU time (s) 1542.09
Current children cumulated vsize (KiB) 627224
[startup+1602.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/499 21465
/proc/meminfo: memFree=25985960/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=628224 CPUtime=1602.09 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 168567 0 0 0 159058 1151 0 0 25 0 1 0 900392431 643301376 154938 33554432000 4194304 9163163 140734081663056 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21357/statm: 157056 154938 721 1214 0 155838 0
Current children cumulated CPU time (s) 1602.09
Current children cumulated vsize (KiB) 628224
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 21466
/proc/meminfo: memFree=25988880/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=625348 CPUtime=1662.09 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 171149 0 0 0 165036 1173 0 0 25 0 1 0 900392431 640356352 154250 33554432000 4194304 9163163 140734081663056 18446744073709551615 7346255 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21357/statm: 156337 154250 721 1214 0 155119 0
Current children cumulated CPU time (s) 1662.09
Current children cumulated vsize (KiB) 625348
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 21468
/proc/meminfo: memFree=25987952/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=626564 CPUtime=1722.1 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 171436 0 0 0 171013 1197 0 0 25 0 1 0 900392431 641601536 154537 33554432000 4194304 9163163 140734081663056 18446744073709551615 7346257 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21357/statm: 156641 154537 721 1214 0 155423 0
Current children cumulated CPU time (s) 1722.1
Current children cumulated vsize (KiB) 626564
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 21469
/proc/meminfo: memFree=25986292/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=627236 CPUtime=1782.09 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 171475 0 0 0 176991 1218 0 0 25 0 1 0 900392431 642289664 154576 33554432000 4194304 9163163 140734081663056 18446744073709551615 7390842 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21357/statm: 156809 154576 721 1214 0 155591 0
Current children cumulated CPU time (s) 1782.09
Current children cumulated vsize (KiB) 627236
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 21470
/proc/meminfo: memFree=25986648/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=627236 CPUtime=1800.1 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 171475 0 0 0 178786 1224 0 0 25 0 1 0 900392431 642289664 154576 33554432000 4194304 9163163 140734081663056 18446744073709551615 4460127 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21357/statm: 156809 154576 721 1214 0 155591 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 627236
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 21470
/proc/meminfo: memFree=25986648/32950928 swapFree=34421304/67111528
[pid=21357] ppid=21355 vsize=627236 CPUtime=1800.1 cores=1,3,5,7
/proc/21357/stat : 21357 (scip-2.0.1.4b.l) R 21355 21357 20254 0 -1 4202496 171475 0 0 0 178786 1224 0 0 25 0 1 0 900392431 642289664 154576 33554432000 4194304 9163163 140734081663056 18446744073709551615 4460127 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21357/statm: 156809 154576 721 1214 0 155591 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 627236
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.34
CPU time (s): 1800.15
CPU user time (s): 1787.88
CPU system time (s): 12.2731
CPU usage (%): 99.9891
Max. virtual memory (cumulated for all children) (KiB): 645516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.88
system time used= 12.2731
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171475
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= 6
involuntary context switches= 3082
runsolver used 8.37473 second user time and 21.0068 second system time
The end