0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3488665-1307786834.opb>
0.10/0.17 c original problem has 33544 variables (33544 bin, 0 int, 0 impl, 0 cont) and 36545 constraints
0.10/0.17 c problem read
0.10/0.17 c presolving settings loaded
0.30/0.39 o 0
0.30/0.39 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.30/0.39 c presolving:
0.79/0.87 c (round 1) 0 del vars, 35544 del conss, 2000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1000 upgd conss, 254352 impls, 1999 clqs
0.90/0.99 c (round 2) 31544 del vars, 35544 del conss, 2000 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3000 upgd conss, 254352 impls, 0 clqs
1.10/1.11 c (1.1s) probing: 101/2000 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.10/1.11 c (1.1s) probing aborted: 100/100 successive totally useless probings
1.10/1.11 c presolving (3 rounds):
1.10/1.11 c 31544 deleted vars, 35544 deleted constraints, 2000 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.11 c 254352 implications, 0 cliques
1.10/1.11 c presolved problem has 2000 variables (2000 bin, 0 int, 0 impl, 0 cont) and 3001 constraints
1.10/1.11 c 2000 constraints of type <knapsack>
1.10/1.11 c 1000 constraints of type <setppc>
1.10/1.11 c 1 constraints of type <linear>
1.10/1.11 c transformed objective value is always integral (scale: 1)
1.10/1.11 c Presolving Time: 0.82
1.10/1.11 c - non default parameters ----------------------------------------------------------------------
1.10/1.11 c # SCIP version 2.0.1.5
1.10/1.11 c
1.10/1.11 c # frequency for displaying node information lines
1.10/1.11 c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.11 c display/freq = 10000
1.10/1.11 c
1.10/1.11 c # maximal time in seconds to run
1.10/1.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.11 c limits/time = 1797
1.10/1.11 c
1.10/1.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.11 c limits/memory = 13950
1.10/1.11 c
1.10/1.11 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.10/1.11 c # [type: int, range: [1,2], default: 1]
1.10/1.11 c timing/clocktype = 2
1.10/1.11 c
1.10/1.11 c # belongs reading time to solving time?
1.10/1.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.11 c timing/reading = TRUE
1.10/1.11 c
1.10/1.11 c # should presolving try to simplify inequalities
1.10/1.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.11 c constraints/linear/simplifyinequalities = TRUE
1.10/1.11 c
1.10/1.11 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.10/1.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.11 c constraints/indicator/addCouplingCons = TRUE
1.10/1.11 c
1.10/1.11 c # should presolving try to simplify knapsacks
1.10/1.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.11 c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.11 c
1.10/1.11 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.10/1.11 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.11 c separating/rapidlearning/freq = 0
1.10/1.11 c
1.10/1.11 c -----------------------------------------------------------------------------------------------
1.10/1.11 c start solving
1.10/1.11 c
118.79/118.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
118.79/118.81 c t 119s| 1 | 0 | 18459 | - | 86M| 0 |2000 |2000 |3001 |2000 |3001 | 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
118.89/118.96 o -1
118.89/118.96 c R 119s| 1 | 0 | 18459 | - | 86M| 0 |2000 |2000 |3001 |2000 |3001 | 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
635.01/635.00 c 635s| 1 | 2 | 28647 | - | 87M| 0 |2000 |2000 |3001 |2000 |3001 | 0 | 0 | 21 |-5.000000e+02 |-1.000000e+00 | 99.80%
1497.53/1497.52 o -2
1497.53/1497.52 c R1498s| 4 | 3 | 32407 |4649.3 | 87M| 3 |1966 |2000 |3001 |2000 |3001 | 0 | 0 | 62 |-5.000000e+02 |-2.000000e+00 | 99.60%
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3488665-1307786834/watcher-3488665-1307786834 -o /tmp/evaluation-result-3488665-1307786834/solver-3488665-1307786834 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488665-1307786834.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.15 1.54 2/175 28283
/proc/meminfo: memFree=30684924/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=11972 CPUtime=0 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 1932 0 0 0 0 0 0 0 23 0 1 0 890283061 12259328 1888 33554432000 4194304 9016284 140733606108944 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28283/statm: 2993 1899 340 1178 0 1811 0
[startup+0.0580469 s]
/proc/loadavg: 1.00 1.15 1.54 2/175 28283
/proc/meminfo: memFree=30684924/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=31836 CPUtime=0.04 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 6971 0 0 0 4 0 0 0 23 0 1 0 890283061 32600064 6926 33554432000 4194304 9016284 140733606108944 18446744073709551615 6151867 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28283/statm: 7959 6926 377 1178 0 6777 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 31836
[startup+0.109832 s]
/proc/loadavg: 1.00 1.15 1.54 2/175 28283
/proc/meminfo: memFree=30684924/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=44660 CPUtime=0.1 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 10144 0 0 0 9 1 0 0 24 0 1 0 890283061 45731840 10099 33554432000 4194304 9016284 140733606108944 18446744073709551615 7937002 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28283/statm: 11165 10099 377 1178 0 9983 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 44660
[startup+0.300985 s]
/proc/loadavg: 1.00 1.15 1.54 2/175 28283
/proc/meminfo: memFree=30684924/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=102244 CPUtime=0.3 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 24654 0 0 0 27 3 0 0 25 0 1 0 890283061 104697856 24416 33554432000 4194304 9016284 140733606108944 18446744073709551615 4881085 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 25561 24416 436 1178 0 24379 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 102244
[startup+0.700972 s]
/proc/loadavg: 1.00 1.15 1.54 2/175 28283
/proc/meminfo: memFree=30684924/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=124300 CPUtime=0.69 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 30912 0 0 0 66 3 0 0 25 0 1 0 890283061 127283200 29663 33554432000 4194304 9016284 140733606108944 18446744073709551615 6476010 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 31075 29663 500 1178 0 29893 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 124300
[startup+1.50083 s]
/proc/loadavg: 1.08 1.16 1.54 3/176 28322
/proc/meminfo: memFree=30545436/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=154716 CPUtime=1.49 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 38385 0 0 0 145 4 0 0 25 0 1 0 890283061 158429184 36900 33554432000 4194304 9016284 140733606108944 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 38679 36900 660 1178 0 37497 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 154716
[startup+3.10055 s]
/proc/loadavg: 1.08 1.16 1.54 3/176 28322
/proc/meminfo: memFree=30526268/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=157196 CPUtime=3.09 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 39292 0 0 0 304 5 0 0 25 0 1 0 890283061 160968704 37760 33554432000 4194304 9016284 140733606108944 18446744073709551615 7219075 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 39299 37760 662 1178 0 38117 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 157196
[startup+10.3483 s]
/proc/loadavg: 1.08 1.16 1.54 3/176 28322
/proc/meminfo: memFree=30521196/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=176544 CPUtime=10.34 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 46168 0 0 0 1027 7 0 0 25 0 1 0 890283061 180781056 41816 33554432000 4194304 9016284 140733606108944 18446744073709551615 7189200 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 44136 41816 641 1178 0 42954 0
Current children cumulated CPU time (s) 10.34
Current children cumulated vsize (KiB) 176544
[startup+12.7008 s]
/proc/loadavg: 1.61 1.27 1.57 4/176 28322
/proc/meminfo: memFree=30500076/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=180432 CPUtime=12.69 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 49689 0 0 0 1262 7 0 0 25 0 1 0 890283061 184762368 43543 33554432000 4194304 9016284 140733606108944 18446744073709551615 7181032 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 45108 43543 641 1178 0 43926 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 180432
[startup+25.5006 s]
/proc/loadavg: 1.67 1.30 1.57 3/176 28322
/proc/meminfo: memFree=30484480/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=197260 CPUtime=25.49 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 56894 0 0 0 2540 9 0 0 25 0 1 0 890283061 201994240 46528 33554432000 4194304 9016284 140733606108944 18446744073709551615 7157134 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 49315 46528 641 1178 0 48133 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 197260
[startup+51.1012 s]
/proc/loadavg: 1.80 1.36 1.59 3/176 28322
/proc/meminfo: memFree=30479148/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=210588 CPUtime=51.1 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 73636 0 0 0 5098 12 0 0 25 0 1 0 890283061 215642112 49311 33554432000 4194304 9016284 140733606108944 18446744073709551615 7179377 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 52647 49311 733 1178 0 51465 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 210588
[startup+102.3 s]
/proc/loadavg: 1.91 1.46 1.60 3/176 28324
/proc/meminfo: memFree=30444604/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=250280 CPUtime=102.3 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 88787 0 0 0 10215 15 0 0 25 0 1 0 890283061 256286720 57413 33554432000 4194304 9016284 140733606108944 18446744073709551615 7219660 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 62570 57413 641 1178 0 61388 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 250280
[startup+162.301 s]
/proc/loadavg: 1.97 1.55 1.63 3/176 28326
/proc/meminfo: memFree=30434180/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=250280 CPUtime=162.29 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 94674 0 0 0 16212 17 0 0 25 0 1 0 890283061 256286720 59225 33554432000 4194304 9016284 140733606108944 18446744073709551615 7220579 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 62570 59225 708 1178 0 61388 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 250280
[startup+222.301 s]
/proc/loadavg: 1.98 1.63 1.65 3/176 28327
/proc/meminfo: memFree=30430440/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=250280 CPUtime=222.3 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 94675 0 0 0 22210 20 0 0 25 0 1 0 890283061 256286720 59226 33554432000 4194304 9016284 140733606108944 18446744073709551615 7219194 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 62570 59226 709 1178 0 61388 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 250280
[startup+282.301 s]
/proc/loadavg: 1.99 1.70 1.67 3/176 28328
/proc/meminfo: memFree=30428812/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=250280 CPUtime=282.3 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 94675 0 0 0 28209 21 0 0 25 0 1 0 890283061 256286720 59226 33554432000 4194304 9016284 140733606108944 18446744073709551615 7219008 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 62570 59226 709 1178 0 61388 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 250280
[startup+342.301 s]
/proc/loadavg: 1.99 1.75 1.68 3/176 28330
/proc/meminfo: memFree=30426208/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=250280 CPUtime=342.3 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 94675 0 0 0 34208 22 0 0 25 0 1 0 890283061 256286720 59226 33554432000 4194304 9016284 140733606108944 18446744073709551615 7219225 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 62570 59226 709 1178 0 61388 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 250280
[startup+402.3 s]
/proc/loadavg: 1.99 1.79 1.70 3/176 28332
/proc/meminfo: memFree=30417880/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=250280 CPUtime=402.3 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 94675 0 0 0 40207 23 0 0 25 0 1 0 890283061 256286720 59226 33554432000 4194304 9016284 140733606108944 18446744073709551615 7219694 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 62570 59226 709 1178 0 61388 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 250280
[startup+462.301 s]
/proc/loadavg: 1.99 1.83 1.72 3/176 28334
/proc/meminfo: memFree=30417996/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=250280 CPUtime=462.3 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 94675 0 0 0 46206 24 0 0 25 0 1 0 890283061 256286720 59226 33554432000 4194304 9016284 140733606108944 18446744073709551615 7219027 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 62570 59226 709 1178 0 61388 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 250280
[startup+522.301 s]
/proc/loadavg: 1.99 1.86 1.73 3/176 28335
/proc/meminfo: memFree=30415624/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=250280 CPUtime=522.3 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 94675 0 0 0 52205 25 0 0 25 0 1 0 890283061 256286720 59226 33554432000 4194304 9016284 140733606108944 18446744073709551615 7219712 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 62570 59226 709 1178 0 61388 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 250280
[startup+582.306 s]
/proc/loadavg: 1.99 1.88 1.75 3/176 28336
/proc/meminfo: memFree=30414116/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=250280 CPUtime=582.31 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 94675 0 0 0 58203 28 0 0 25 0 1 0 890283061 256286720 59226 33554432000 4194304 9016284 140733606108944 18446744073709551615 7204769 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 62570 59226 709 1178 0 61388 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 250280
[startup+642.301 s]
################
# More data... #
################
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 94677 0 0 0 106189 42 0 0 25 0 1 0 890283061 256286720 59228 33554432000 4194304 9016284 140733606108944 18446744073709551615 7219374 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 62570 59228 709 1178 0 61388 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 250280
[startup+1122.3 s]
/proc/loadavg: 2.05 2.01 1.85 3/176 28351
/proc/meminfo: memFree=30390136/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=250280 CPUtime=1122.32 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 94677 0 0 0 112189 43 0 0 25 0 1 0 890283061 256286720 59228 33554432000 4194304 9016284 140733606108944 18446744073709551615 7219682 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 62570 59228 709 1178 0 61388 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 250280
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 1.86 3/176 28352
/proc/meminfo: memFree=30386776/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=250280 CPUtime=1182.32 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 94677 0 0 0 118186 46 0 0 25 0 1 0 890283061 256286720 59228 33554432000 4194304 9016284 140733606108944 18446744073709551615 7219194 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 62570 59228 709 1178 0 61388 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 250280
[startup+1242.31 s]
/proc/loadavg: 2.00 2.00 1.87 3/176 28354
/proc/meminfo: memFree=30383656/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=250280 CPUtime=1242.32 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 94677 0 0 0 124184 48 0 0 25 0 1 0 890283061 256286720 59228 33554432000 4194304 9016284 140733606108944 18446744073709551615 7178624 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 62570 59228 709 1178 0 61388 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 250280
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/176 28356
/proc/meminfo: memFree=30380424/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=250280 CPUtime=1302.32 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 94677 0 0 0 130183 49 0 0 25 0 1 0 890283061 256286720 59228 33554432000 4194304 9016284 140733606108944 18446744073709551615 7219216 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 62570 59228 709 1178 0 61388 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 250280
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/176 28358
/proc/meminfo: memFree=30378536/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=250280 CPUtime=1362.32 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 94677 0 0 0 136180 52 0 0 25 0 1 0 890283061 256286720 59228 33554432000 4194304 9016284 140733606108944 18446744073709551615 7219022 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 62570 59228 709 1178 0 61388 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 250280
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.88 4/176 28359
/proc/meminfo: memFree=30374308/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=250280 CPUtime=1422.33 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 94677 0 0 0 142179 54 0 0 25 0 1 0 890283061 256286720 59228 33554432000 4194304 9016284 140733606108944 18446744073709551615 7219419 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 62570 59228 709 1178 0 61388 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 250280
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 1.89 3/176 28360
/proc/meminfo: memFree=30371312/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=250280 CPUtime=1482.32 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 94677 0 0 0 148177 55 0 0 25 0 1 0 890283061 256286720 59228 33554432000 4194304 9016284 140733606108944 18446744073709551615 7219682 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 62570 59228 709 1178 0 61388 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 250280
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.90 3/176 28362
/proc/meminfo: memFree=30367204/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=250280 CPUtime=1542.33 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 94677 0 0 0 154176 57 0 0 25 0 1 0 890283061 256286720 59228 33554432000 4194304 9016284 140733606108944 18446744073709551615 7217728 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 62570 59228 709 1178 0 61388 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 250280
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/176 28364
/proc/meminfo: memFree=30365208/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=250280 CPUtime=1602.33 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 94685 0 0 0 160175 58 0 0 25 0 1 0 890283061 256286720 59236 33554432000 4194304 9016284 140733606108944 18446744073709551615 7219239 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 62570 59236 709 1178 0 61388 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 250280
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 28366
/proc/meminfo: memFree=30353652/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=250548 CPUtime=1662.33 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 97026 0 0 0 166174 59 0 0 25 0 1 0 890283061 256561152 61577 33554432000 4194304 9016284 140733606108944 18446744073709551615 7219255 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 62637 61577 709 1178 0 61455 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 250548
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 28367
/proc/meminfo: memFree=30350412/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=250548 CPUtime=1722.33 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 97026 0 0 0 172173 60 0 0 25 0 1 0 890283061 256561152 61577 33554432000 4194304 9016284 140733606108944 18446744073709551615 7201745 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 62637 61577 709 1178 0 61455 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 250548
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 28368
/proc/meminfo: memFree=30348912/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=250548 CPUtime=1782.34 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 97026 0 0 0 178173 61 0 0 25 0 1 0 890283061 256561152 61577 33554432000 4194304 9016284 140733606108944 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 62637 61577 709 1178 0 61455 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 250548
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.01 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 28484
/proc/meminfo: memFree=30402860/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=250548 CPUtime=1800.04 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 97026 0 0 0 179942 62 0 0 25 0 1 0 890283061 256561152 61577 33554432000 4194304 9016284 140733606108944 18446744073709551615 7219216 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 62637 61577 709 1178 0 61455 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 250548
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -28283
Solver just ended. Dumping a history of the last processes samples
[startup+1800.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 28484
/proc/meminfo: memFree=30402860/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=250548 CPUtime=1800.93 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 97026 0 0 0 180031 62 0 0 25 0 1 0 890283061 256561152 61577 33554432000 4194304 9016284 140733606108944 18446744073709551615 7219712 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 62637 61577 709 1178 0 61455 0
Current children cumulated CPU time (s) 1800.93
Current children cumulated vsize (KiB) 250548
[startup+1801.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 28485
/proc/meminfo: memFree=30402852/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=250548 CPUtime=1801.73 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 97026 0 0 0 180111 62 0 0 25 0 1 0 890283061 256561152 61577 33554432000 4194304 9016284 140733606108944 18446744073709551615 7219216 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 62637 61577 709 1178 0 61455 0
Current children cumulated CPU time (s) 1801.73
Current children cumulated vsize (KiB) 250548
[startup+1801.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 28485
/proc/meminfo: memFree=30402852/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=250548 CPUtime=1801.93 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 97026 0 0 0 180131 62 0 0 25 0 1 0 890283061 256561152 61577 33554432000 4194304 9016284 140733606108944 18446744073709551615 7219696 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 62637 61577 709 1178 0 61455 0
Current children cumulated CPU time (s) 1801.93
Current children cumulated vsize (KiB) 250548
[startup+1802 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 28485
/proc/meminfo: memFree=30402852/32951132 swapFree=67054616/67111528
[pid=28283] ppid=28281 vsize=250548 CPUtime=1802.03 cores=0,2,4,6
/proc/28283/stat : 28283 (scip-2.0.1.4b_2) R 28281 28283 24772 0 -1 4202496 97026 0 0 0 180141 62 0 0 25 0 1 0 890283061 256561152 61577 33554432000 4194304 9016284 140733606108944 18446744073709551615 7219221 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/28283/statm: 62637 61577 709 1178 0 61455 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 250548
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.02
CPU time (s): 1802.06
CPU user time (s): 1801.43
CPU system time (s): 0.632903
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 274064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.43
system time used= 0.632903
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97026
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= 2
involuntary context switches= 5748
runsolver used 3.19251 second user time and 7.30389 second system time
The end