0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 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-3452648-1307075774.opb>
0.39/0.43 c original problem has 63009 variables (63009 bin, 0 int, 0 impl, 0 cont) and 507 constraints
0.39/0.43 c problem read
0.39/0.43 c presolving settings loaded
0.69/0.76 o 122425
0.69/0.76 c feasible solution found by trivial heuristic, objective value 1.224250e+05
0.69/0.76 c presolving:
0.79/0.86 c (round 1) 7 del vars, 13 del conss, 0 add conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4 impls, 0 clqs
0.79/0.87 c (round 2) 9 del vars, 19 del conss, 0 add conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4 impls, 0 clqs
0.79/0.87 c (round 3) 10 del vars, 20 del conss, 0 add conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4 impls, 0 clqs
1.11/1.18 c (round 4) 10 del vars, 35 del conss, 0 add conss, 7 chg bounds, 10 chg sides, 0 chg coeffs, 0 upgd conss, 4 impls, 0 clqs
1.29/1.35 c (round 5) 12 del vars, 35 del conss, 0 add conss, 7 chg bounds, 10 chg sides, 0 chg coeffs, 472 upgd conss, 4 impls, 0 clqs
1.49/1.59 c (1.6s) probing: 101/62997 (0.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.49/1.59 c (1.6s) probing aborted: 100/100 successive totally useless probings
1.49/1.59 c presolving (6 rounds):
1.49/1.59 c 12 deleted vars, 35 deleted constraints, 0 added constraints, 7 tightened bounds, 0 added holes, 10 changed sides, 0 changed coefficients
1.49/1.59 c 4 implications, 0 cliques
1.49/1.59 c presolved problem has 62997 variables (62997 bin, 0 int, 0 impl, 0 cont) and 472 constraints
1.49/1.59 c 472 constraints of type <logicor>
1.49/1.59 c transformed objective value is always integral (scale: 1)
1.49/1.59 c Presolving Time: 1.08
1.49/1.59 c - non default parameters ----------------------------------------------------------------------
1.49/1.59 c # SCIP version 2.0.1.4
1.49/1.59 c
1.49/1.59 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.49/1.59 c # [type: int, range: [-1,2147483647], default: -1]
1.49/1.59 c conflict/interconss = 0
1.49/1.59 c
1.49/1.59 c # should binary conflicts be preferred?
1.49/1.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.59 c conflict/preferbinary = TRUE
1.49/1.59 c
1.49/1.59 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.49/1.59 c # [type: int, range: [-1,2147483647], default: 0]
1.49/1.59 c constraints/agelimit = 1
1.49/1.59 c
1.49/1.59 c # should enforcement of pseudo solution be disabled?
1.49/1.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.59 c constraints/disableenfops = TRUE
1.49/1.59 c
1.49/1.59 c # frequency for displaying node information lines
1.49/1.59 c # [type: int, range: [-1,2147483647], default: 100]
1.49/1.59 c display/freq = 10000
1.49/1.59 c
1.49/1.59 c # maximal time in seconds to run
1.49/1.59 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.59 c limits/time = 1800
1.49/1.59 c
1.49/1.59 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.49/1.59 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.59 c limits/memory = 13950
1.49/1.59 c
1.49/1.59 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.49/1.59 c # [type: int, range: [-1,2147483647], default: 1]
1.49/1.59 c lp/solvefreq = 0
1.49/1.59 c
1.49/1.59 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
1.49/1.59 c # [type: char, range: {lafpsqd}, default: l]
1.49/1.59 c lp/pricing = a
1.49/1.59 c
1.49/1.59 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.49/1.59 c # [type: int, range: [1,2], default: 1]
1.49/1.59 c timing/clocktype = 2
1.49/1.59 c
1.49/1.59 c # belongs reading time to solving time?
1.49/1.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.59 c timing/reading = TRUE
1.49/1.59 c
1.49/1.59 c # should presolving try to simplify inequalities
1.49/1.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.59 c constraints/linear/simplifyinequalities = TRUE
1.49/1.59 c
1.49/1.59 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.49/1.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.59 c constraints/indicator/addCouplingCons = TRUE
1.49/1.59 c
1.49/1.59 c # should presolving try to simplify knapsacks
1.49/1.59 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.59 c constraints/knapsack/simplifyinequalities = TRUE
1.49/1.59 c
1.49/1.59 c # priority of node selection rule <dfs> in standard mode
1.49/1.59 c # [type: int, range: [-536870912,536870911], default: 0]
1.49/1.59 c nodeselection/dfs/stdpriority = 1000000
1.49/1.59 c
1.49/1.59 c -----------------------------------------------------------------------------------------------
1.49/1.59 c start solving
1.59/1.62 c
1.59/1.64 o 122419
1.59/1.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.59/1.64 c t 1.6s| 1 | 0 | 0 | - | 119M| 0 | - | 62k| 472 | 0 | 0 | 0 | 0 | 0 | -- | 1.224190e+05 | Inf
1.79/1.87 o 240
1.79/1.87 c b 1.9s| 1 | 0 | 0 | - | 156M| 0 | - | 62k| 472 | 62k| 472 | 0 | 0 | 0 | -- | 2.400000e+02 | Inf
16.40/16.47 c 16.5s| 1 | 0 | 13578 | - | 155M| 0 | 292 | 62k| 472 | 62k| 472 | 0 | 0 | 0 | 1.721456e+02 | 2.400000e+02 | 39.42%
20.39/20.41 o 182
20.39/20.41 c E20.4s| 1 | 0 | 13578 | - | 161M| 0 | 292 | 62k| 472 | 62k| 472 | 0 | 0 | 0 | 1.721456e+02 | 1.820000e+02 | 5.72%
20.49/20.50 c 20.5s| 1 | 0 | 13578 | - | 161M| 0 | 292 | 62k| 472 | 62k| 472 | 0 | 0 | 0 | 1.721456e+02 | 1.820000e+02 | 5.72%
59.30/59.32 c 59.3s| 1 | 2 | 13578 | - | 161M| 0 | 292 | 62k| 472 | 62k| 472 | 0 | 0 | 40 | 1.721456e+02 | 1.820000e+02 | 5.72%
1800.03/1800.01 c
1800.03/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.01 c Solving Time (sec) : 1800.01
1800.03/1800.01 c Solving Nodes : 5501
1800.03/1800.01 c Primal Bound : +1.82000000000000e+02 (6 solutions)
1800.03/1800.01 c Dual Bound : +1.72201746164567e+02
1800.03/1800.01 c Gap : 5.69 %
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-3452648-1307075774/watcher-3452648-1307075774 -o /tmp/evaluation-result-3452648-1307075774/solver-3452648-1307075774 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452648-1307075774.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/527 2566
/proc/meminfo: memFree=22573656/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=9320 CPUtime=0 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 1441 0 0 0 0 0 0 0 25 0 1 0 897808096 9543680 1393 33554432000 4194304 9128323 140736333099296 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2566/statm: 2330 1393 383 1205 0 1121 0
[startup+0.034933 s]
/proc/loadavg: 2.01 2.03 2.00 2/527 2566
/proc/meminfo: memFree=22573656/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=26020 CPUtime=0.02 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 5548 0 0 0 2 0 0 0 25 0 1 0 897808096 26644480 5495 33554432000 4194304 9128323 140736333099296 18446744073709551615 6889785 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2566/statm: 6505 5495 393 1205 0 5296 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26020
[startup+0.10092 s]
/proc/loadavg: 2.01 2.03 2.00 2/527 2566
/proc/meminfo: memFree=22573656/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=55600 CPUtime=0.09 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 12932 0 0 0 8 1 0 0 25 0 1 0 897808096 56934400 12834 33554432000 4194304 9128323 140736333099296 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2566/statm: 13900 12834 400 1205 0 12691 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 55600
[startup+0.300894 s]
/proc/loadavg: 2.01 2.03 2.00 2/527 2566
/proc/meminfo: memFree=22573656/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=61392 CPUtime=0.29 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 14159 0 0 0 28 1 0 0 25 0 1 0 897808096 62865408 14061 33554432000 4194304 9128323 140736333099296 18446744073709551615 6192963 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2566/statm: 15348 14061 400 1205 0 14139 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 61392
[startup+0.700815 s]
/proc/loadavg: 2.01 2.03 2.00 2/527 2566
/proc/meminfo: memFree=22573656/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=168984 CPUtime=0.69 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 40086 0 0 0 64 5 0 0 25 0 1 0 897808096 173039616 39958 33554432000 4194304 9128323 140736333099296 18446744073709551615 4690694 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 42246 39958 473 1205 0 41037 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 168984
[startup+1.50068 s]
/proc/loadavg: 2.01 2.03 2.00 3/528 2567
/proc/meminfo: memFree=22411084/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=174696 CPUtime=1.49 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 41653 0 0 0 144 5 0 0 25 0 1 0 897808096 178888704 41264 33554432000 4194304 9128323 140736333099296 18446744073709551615 4751735 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 43674 41264 611 1205 0 42465 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 174696
[startup+3.1004 s]
/proc/loadavg: 2.01 2.03 2.00 3/528 2567
/proc/meminfo: memFree=22299784/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=298164 CPUtime=3.09 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 73695 0 0 0 300 9 0 0 25 0 1 0 897808096 305319936 68419 33554432000 4194304 9128323 140736333099296 18446744073709551615 7286095 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 74541 68419 643 1205 0 73332 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 298164
[startup+6.30083 s]
/proc/loadavg: 2.01 2.03 2.00 3/528 2567
/proc/meminfo: memFree=22299492/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=298164 CPUtime=6.29 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 73695 0 0 0 619 10 0 0 25 0 1 0 897808096 305319936 68419 33554432000 4194304 9128323 140736333099296 18446744073709551615 7286064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 74541 68419 643 1205 0 73332 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 298164
[startup+12.7007 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 2567
/proc/meminfo: memFree=22298904/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=298164 CPUtime=12.69 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 73701 0 0 0 1257 12 0 0 25 0 1 0 897808096 305319936 68423 33554432000 4194304 9128323 140736333099296 18446744073709551615 7285023 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 74541 68423 645 1205 0 73332 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 298164
[startup+25.5005 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 2567
/proc/meminfo: memFree=22072340/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=521404 CPUtime=25.49 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 134283 0 0 0 2508 41 0 0 25 0 1 0 897808096 533917696 125193 33554432000 4194304 9128323 140736333099296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 130351 125193 712 1205 0 129142 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 521404
[startup+51.101 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 2568
/proc/meminfo: memFree=22072100/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=521404 CPUtime=51.1 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 134283 0 0 0 5063 47 0 0 25 0 1 0 897808096 533917696 125193 33554432000 4194304 9128323 140736333099296 18446744073709551615 7081614 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 130351 125193 712 1205 0 129142 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 521404
[startup+102.321 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 2569
/proc/meminfo: memFree=22070072/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=521404 CPUtime=102.31 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 134359 0 0 0 10183 48 0 0 25 0 1 0 897808096 533917696 125269 33554432000 4194304 9128323 140736333099296 18446744073709551615 5984556 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 130351 125269 718 1205 0 129142 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 521404
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 2601
/proc/meminfo: memFree=24010688/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=521404 CPUtime=162.29 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 134359 0 0 0 16181 48 0 0 25 0 1 0 897808096 533917696 125269 33554432000 4194304 9128323 140736333099296 18446744073709551615 5984663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 130351 125269 718 1205 0 129142 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 521404
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 2603
/proc/meminfo: memFree=23963136/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=521404 CPUtime=222.29 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 135249 0 0 0 22181 48 0 0 25 0 1 0 897808096 533917696 126159 33554432000 4194304 9128323 140736333099296 18446744073709551615 5984663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 130351 126159 718 1205 0 129142 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 521404
[startup+282.301 s]
/proc/loadavg: 2.16 2.04 2.01 3/528 2605
/proc/meminfo: memFree=23949300/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=521404 CPUtime=282.29 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 136131 0 0 0 28181 48 0 0 25 0 1 0 897808096 533917696 127041 33554432000 4194304 9128323 140736333099296 18446744073709551615 5984663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 130351 127041 718 1205 0 129142 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 521404
[startup+342.301 s]
/proc/loadavg: 2.13 2.04 2.01 3/528 2607
/proc/meminfo: memFree=23947120/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=521404 CPUtime=342.29 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 136131 0 0 0 34181 48 0 0 25 0 1 0 897808096 533917696 127041 33554432000 4194304 9128323 140736333099296 18446744073709551615 5984663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 130351 127041 718 1205 0 129142 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 521404
[startup+402.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/528 2608
/proc/meminfo: memFree=23947068/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=521404 CPUtime=402.29 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 136131 0 0 0 40181 48 0 0 25 0 1 0 897808096 533917696 127041 33554432000 4194304 9128323 140736333099296 18446744073709551615 5984663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 130351 127041 718 1205 0 129142 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 521404
[startup+462.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/528 2610
/proc/meminfo: memFree=23933004/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=536552 CPUtime=462.3 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 139970 0 0 0 46181 49 0 0 25 0 1 0 897808096 549429248 130880 33554432000 4194304 9128323 140736333099296 18446744073709551615 5984669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 134138 130880 718 1205 0 132929 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 536552
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 2611
/proc/meminfo: memFree=23882604/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=588520 CPUtime=522.3 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 152990 0 0 0 52180 50 0 0 25 0 1 0 897808096 602644480 143900 33554432000 4194304 9128323 140736333099296 18446744073709551615 5984669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 147130 143900 718 1205 0 145921 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 588520
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 2613
/proc/meminfo: memFree=23842008/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=627464 CPUtime=582.3 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 162780 0 0 0 58179 51 0 0 25 0 1 0 897808096 642523136 153690 33554432000 4194304 9128323 140736333099296 18446744073709551615 5984663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 156866 153690 718 1205 0 155657 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 627464
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/528 2619
/proc/meminfo: memFree=23743104/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=724288 CPUtime=822.31 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 186996 0 0 0 82177 54 0 0 25 0 1 0 897808096 741670912 177906 33554432000 4194304 9128323 140736333099296 18446744073709551615 5984675 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 181072 177906 718 1205 0 179863 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 724288
[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 2622
/proc/meminfo: memFree=23712808/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=754956 CPUtime=882.31 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 194663 0 0 0 88176 55 0 0 25 0 1 0 897808096 773074944 185573 33554432000 4194304 9128323 140736333099296 18446744073709551615 4912271 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 188739 185573 718 1205 0 187530 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 754956
[startup+942.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/528 2624
/proc/meminfo: memFree=23694664/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=774300 CPUtime=942.31 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 199515 0 0 0 94176 55 0 0 25 0 1 0 897808096 792883200 190425 33554432000 4194304 9128323 140736333099296 18446744073709551615 5984679 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 193575 190425 718 1205 0 192366 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 774300
[startup+1002.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/528 2625
/proc/meminfo: memFree=23693620/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=775080 CPUtime=1002.31 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 199692 0 0 0 100176 55 0 0 25 0 1 0 897808096 793681920 190602 33554432000 4194304 9128323 140736333099296 18446744073709551615 5984669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 193770 190602 718 1205 0 192561 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 775080
[startup+1062.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/528 2627
/proc/meminfo: memFree=23685388/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=784740 CPUtime=1062.32 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 202107 0 0 0 106177 55 0 0 25 0 1 0 897808096 803573760 193017 33554432000 4194304 9128323 140736333099296 18446744073709551615 5985296 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 196185 193017 718 1205 0 194976 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 784740
[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/528 2628
/proc/meminfo: memFree=23661276/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=807868 CPUtime=1122.32 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 207891 0 0 0 112176 56 0 0 25 0 1 0 897808096 827256832 198801 33554432000 4194304 9128323 140736333099296 18446744073709551615 5984552 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 201967 198801 718 1205 0 200758 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 807868
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 2630
/proc/meminfo: memFree=23630212/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=838184 CPUtime=1182.32 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 215342 0 0 0 118175 57 0 0 25 0 1 0 897808096 858300416 206252 33554432000 4194304 9128323 140736333099296 18446744073709551615 5984663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 209546 206252 718 1205 0 208337 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 838184
[startup+1242.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/528 2632
/proc/meminfo: memFree=23603132/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=864408 CPUtime=1242.32 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 221899 0 0 0 124174 58 0 0 25 0 1 0 897808096 885153792 212809 33554432000 4194304 9128323 140736333099296 18446744073709551615 5984663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 216102 212809 718 1205 0 214893 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 864408
[startup+1302.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/528 2633
/proc/meminfo: memFree=23585344/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=882056 CPUtime=1302.33 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 226308 0 0 0 130175 58 0 0 25 0 1 0 897808096 903225344 217218 33554432000 4194304 9128323 140736333099296 18446744073709551615 5984663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 220514 217218 718 1205 0 219305 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 882056
[startup+1362.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 2635
/proc/meminfo: memFree=23584160/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=883140 CPUtime=1362.32 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 226593 0 0 0 136174 58 0 0 25 0 1 0 897808096 904335360 217503 33554432000 4194304 9128323 140736333099296 18446744073709551615 5984663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 220785 217503 718 1205 0 219576 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 883140
[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 2636
/proc/meminfo: memFree=23573316/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=894828 CPUtime=1422.34 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 229505 0 0 0 142176 58 0 0 25 0 1 0 897808096 916303872 220415 33554432000 4194304 9128323 140736333099296 18446744073709551615 5984669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 223707 220415 718 1205 0 222498 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 894828
[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/528 2638
/proc/meminfo: memFree=23567924/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=898936 CPUtime=1482.33 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 230520 0 0 0 148174 59 0 0 25 0 1 0 897808096 920510464 221430 33554432000 4194304 9128323 140736333099296 18446744073709551615 5984663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 224734 221430 718 1205 0 223525 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 898936
[startup+1542.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/528 2649
/proc/meminfo: memFree=23566612/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=900072 CPUtime=1542.33 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 230804 0 0 0 154174 59 0 0 25 0 1 0 897808096 921673728 221714 33554432000 4194304 9128323 140736333099296 18446744073709551615 5984663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 225018 221714 718 1205 0 223809 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 900072
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/528 2650
/proc/meminfo: memFree=23561960/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=905888 CPUtime=1602.33 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 232255 0 0 0 160174 59 0 0 25 0 1 0 897808096 927629312 223165 33554432000 4194304 9128323 140736333099296 18446744073709551615 5984663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 226472 223165 718 1205 0 225263 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 905888
[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/528 2652
/proc/meminfo: memFree=23544052/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=922908 CPUtime=1662.33 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 236510 0 0 0 166173 60 0 0 25 0 1 0 897808096 945057792 227420 33554432000 4194304 9128323 140736333099296 18446744073709551615 5984663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 230727 227420 718 1205 0 229518 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 922908
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/528 2653
/proc/meminfo: memFree=23527004/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=940156 CPUtime=1722.33 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 240827 0 0 0 172173 60 0 0 25 0 1 0 897808096 962719744 231737 33554432000 4194304 9128323 140736333099296 18446744073709551615 5984663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 235039 231737 718 1205 0 233830 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 940156
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 2655
/proc/meminfo: memFree=23507116/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=959368 CPUtime=1782.33 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 245626 0 0 0 178172 61 0 0 25 0 1 0 897808096 982392832 236536 33554432000 4194304 9128323 140736333099296 18446744073709551615 5984675 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 239842 236536 718 1205 0 238633 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 959368
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.16 2.05 2.01 3/528 2656
/proc/meminfo: memFree=23503508/32951124 swapFree=56241860/67111528
[pid=2566] ppid=2563 vsize=963956 CPUtime=1800.04 cores=1,3,5,7
/proc/2566/stat : 2566 (scip-2.0.1.4.li) R 2563 2566 32685 0 -1 4202496 246773 0 0 0 179943 61 0 0 25 0 1 0 897808096 987090944 237683 33554432000 4194304 9128323 140736333099296 18446744073709551615 4543107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 240989 237683 718 1205 0 239780 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 963956
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.07
CPU time (s): 1800.1
CPU user time (s): 1799.45
CPU system time (s): 0.6559
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 963956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.6559
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246773
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= 4687
runsolver used 9.35458 second user time and 23.3894 second system time
The end