0.00/0.00 c SCIP version 2.0.1.5 [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-3450243-1307114699.opb>
0.39/0.41 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 62145 constraints
0.39/0.41 c problem read
0.39/0.41 c presolving settings loaded
0.39/0.49 o 0
0.39/0.49 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.39/0.49 c presolving:
0.49/0.56 c (round 1) 202 del vars, 202 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
0.69/0.75 c (round 2) 202 del vars, 960 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 61185 upgd conss, 2340 impls, 0 clqs
0.79/0.82 c (0.8s) probing: 101/1823 (5.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.79/0.82 c (0.8s) probing aborted: 100/100 successive totally useless probings
0.79/0.82 c presolving (3 rounds):
0.79/0.82 c 202 deleted vars, 960 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.79/0.82 c 2340 implications, 0 cliques
0.79/0.82 c presolved problem has 1823 variables (1823 bin, 0 int, 0 impl, 0 cont) and 61185 constraints
0.79/0.82 c 968 constraints of type <setppc>
0.79/0.82 c 60217 constraints of type <logicor>
0.79/0.82 c transformed objective value is always integral (scale: 1)
0.79/0.82 c Presolving Time: 0.34
0.79/0.82 c - non default parameters ----------------------------------------------------------------------
0.79/0.82 c # SCIP version 2.0.1.5
0.79/0.82 c
0.79/0.82 c # frequency for displaying node information lines
0.79/0.82 c # [type: int, range: [-1,2147483647], default: 100]
0.79/0.82 c display/freq = 10000
0.79/0.82 c
0.79/0.82 c # maximal time in seconds to run
0.79/0.82 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.82 c limits/time = 1800
0.79/0.82 c
0.79/0.82 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.82 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.82 c limits/memory = 13950
0.79/0.82 c
0.79/0.82 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.79/0.82 c # [type: int, range: [1,2], default: 1]
0.79/0.82 c timing/clocktype = 2
0.79/0.82 c
0.79/0.82 c # belongs reading time to solving time?
0.79/0.82 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.82 c timing/reading = TRUE
0.79/0.82 c
0.79/0.82 c # should presolving try to simplify inequalities
0.79/0.82 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.82 c constraints/linear/simplifyinequalities = TRUE
0.79/0.82 c
0.79/0.82 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.79/0.82 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.82 c constraints/indicator/addCouplingCons = TRUE
0.79/0.82 c
0.79/0.82 c # should presolving try to simplify knapsacks
0.79/0.82 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.82 c constraints/knapsack/simplifyinequalities = TRUE
0.79/0.82 c
0.79/0.82 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.79/0.82 c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.82 c separating/rapidlearning/freq = 0
0.79/0.82 c
0.79/0.82 c -----------------------------------------------------------------------------------------------
0.79/0.82 c start solving
0.79/0.82 c
57.29/57.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.29/57.35 c t57.4s| 1 | 0 | 28165 | - | 79M| 0 |1812 |1823 | 61k|1823 | 61k| 0 | 0 | 0 |-2.737111e+02 | 0.000000e+00 | 100.00%
57.39/57.41 o -21
57.39/57.41 c R57.4s| 1 | 0 | 28165 | - | 79M| 0 |1812 |1823 | 61k|1823 | 61k| 0 | 0 | 0 |-2.737111e+02 |-2.100000e+01 | 92.33%
57.39/57.48 o -23
57.39/57.48 c s57.5s| 1 | 0 | 28165 | - | 79M| 0 |1812 |1823 | 61k|1823 | 61k| 0 | 0 | 0 |-2.737111e+02 |-2.300000e+01 | 91.60%
111.69/111.72 c 112s| 1 | 0 | 49217 | - | 80M| 0 |1808 |1823 | 61k|1823 | 61k| 5 | 0 | 0 |-2.711708e+02 |-2.300000e+01 | 91.52%
111.69/111.73 o -47
111.69/111.73 c b 112s| 1 | 0 | 49217 | - | 80M| 0 |1808 |1823 | 61k|1823 | 61k| 5 | 0 | 0 |-2.711708e+02 |-4.700000e+01 | 82.67%
250.60/250.75 c 251s| 1 | 0 | 80747 | - | 83M| 0 |1819 |1823 | 61k|1823 | 61k| 12 | 0 | 0 |-2.630173e+02 |-4.700000e+01 | 82.13%
250.60/250.79 o -51
250.60/250.79 c b 251s| 1 | 0 | 80747 | - | 83M| 0 |1819 |1823 | 61k|1823 | 61k| 12 | 0 | 0 |-2.630173e+02 |-5.100000e+01 | 80.61%
405.51/405.61 c 406s| 1 | 0 |117678 | - | 84M| 0 |1812 |1823 | 61k|1823 | 61k| 15 | 0 | 0 |-2.610484e+02 |-5.100000e+01 | 80.46%
452.31/452.46 c 452s| 1 | 0 |126110 | - | 88M| 0 |1812 |1823 | 61k|1823 | 61k| 18 | 0 | 0 |-2.609809e+02 |-5.100000e+01 | 80.46%
593.41/593.50 c 593s| 1 | 0 |162295 | - | 93M| 0 |1819 |1823 | 61k|1823 | 61k| 25 | 0 | 0 |-2.582523e+02 |-5.100000e+01 | 80.25%
729.91/730.06 c 730s| 1 | 0 |197606 | - | 99M| 0 |1807 |1823 | 61k|1823 | 61k| 40 | 0 | 0 |-2.518629e+02 |-5.100000e+01 | 79.75%
871.02/871.12 c 871s| 1 | 0 |230252 | - | 101M| 0 |1808 |1823 | 61k|1823 | 61k| 46 | 0 | 0 |-2.503416e+02 |-5.100000e+01 | 79.63%
1067.82/1067.94 c 1068s| 1 | 0 |271374 | - | 103M| 0 |1809 |1823 | 61k|1823 | 61k| 55 | 0 | 0 |-2.476131e+02 |-5.100000e+01 | 79.40%
1179.32/1179.45 c 1179s| 1 | 0 |294162 | - | 105M| 0 |1814 |1823 | 61k|1823 | 61k| 59 | 0 | 0 |-2.472150e+02 |-5.100000e+01 | 79.37%
1355.03/1355.20 c 1355s| 1 | 0 |329789 | - | 111M| 0 |1811 |1823 | 61k|1823 | 61k| 61 | 0 | 0 |-2.468274e+02 |-5.100000e+01 | 79.34%
1419.03/1419.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1419.03/1419.16 c 1419s| 1 | 0 |342737 | - | 118M| 0 |1809 |1823 | 61k|1823 | 61k| 63 | 0 | 0 |-2.462599e+02 |-5.100000e+01 | 79.29%
1571.53/1571.62 c 1572s| 1 | 0 |374407 | - | 124M| 0 |1809 |1823 | 61k|1823 | 61k| 69 | 0 | 0 |-2.450366e+02 |-5.100000e+01 | 79.19%
1735.64/1735.71 c 1736s| 1 | 0 |408221 | - | 130M| 0 |1797 |1823 | 61k|1823 | 61k| 73 | 0 | 0 |-2.440142e+02 |-5.100000e+01 | 79.10%
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-3450243-1307114699/watcher-3450243-1307114699 -o /tmp/evaluation-result-3450243-1307114699/solver-3450243-1307114699 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450243-1307114699.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: 1.89 1.98 1.99 2/488 12332
/proc/meminfo: memFree=21377560/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=12976 CPUtime=0 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 2226 0 0 0 0 0 0 0 25 0 1 0 555661205 13287424 2179 33554432000 4194304 9163163 140734923442384 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12332/statm: 3244 2179 395 1214 0 2026 0
[startup+0.045845 s]
/proc/loadavg: 1.89 1.98 1.99 2/488 12332
/proc/meminfo: memFree=21377560/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=18260 CPUtime=0.04 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 3544 0 0 0 4 0 0 0 25 0 1 0 555661205 18698240 3497 33554432000 4194304 9163163 140734923442384 18446744073709551615 5131211 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12332/statm: 4565 3497 395 1214 0 3347 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18260
[startup+0.100836 s]
/proc/loadavg: 1.89 1.98 1.99 2/488 12332
/proc/meminfo: memFree=21377560/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=20780 CPUtime=0.09 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 4192 0 0 0 9 0 0 0 25 0 1 0 555661205 21278720 4145 33554432000 4194304 9163163 140734923442384 18446744073709551615 4338912 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12332/statm: 5195 4145 395 1214 0 3977 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20780
[startup+0.300803 s]
/proc/loadavg: 1.89 1.98 1.99 2/488 12332
/proc/meminfo: memFree=21377560/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=33008 CPUtime=0.29 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 7251 0 0 0 29 0 0 0 25 0 1 0 555661205 33800192 7204 33554432000 4194304 9163163 140734923442384 18446744073709551615 8041824 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12332/statm: 8252 7204 395 1214 0 7034 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33008
[startup+0.700745 s]
/proc/loadavg: 1.89 1.98 1.99 2/488 12332
/proc/meminfo: memFree=21377560/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=105728 CPUtime=0.69 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 27208 0 0 0 67 2 0 0 25 0 1 0 555661205 108265472 25040 33554432000 4194304 9163163 140734923442384 18446744073709551615 6918256 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12332/statm: 26432 25040 525 1214 0 25214 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 105728
[startup+1.5006 s]
/proc/loadavg: 1.89 1.98 1.99 3/489 12333
/proc/meminfo: memFree=21212756/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=202524 CPUtime=1.49 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 53846 0 0 0 143 6 0 0 25 0 1 0 555661205 207384576 46535 33554432000 4194304 9163163 140734923442384 18446744073709551615 7413840 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12332/statm: 50631 46535 1343 1214 0 49413 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 202524
[startup+3.10031 s]
/proc/loadavg: 1.89 1.98 1.99 3/489 12333
/proc/meminfo: memFree=21185416/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=216684 CPUtime=3.09 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 58256 0 0 0 301 8 0 0 25 0 1 0 555661205 221884416 49834 33554432000 4194304 9163163 140734923442384 18446744073709551615 7375866 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12332/statm: 54171 49834 689 1214 0 52953 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 216684
[startup+6.30074 s]
/proc/loadavg: 1.90 1.98 1.99 3/489 12333
/proc/meminfo: memFree=21177540/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=216684 CPUtime=6.29 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 58281 0 0 0 620 9 0 0 25 0 1 0 555661205 221884416 49859 33554432000 4194304 9163163 140734923442384 18446744073709551615 6974030 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12332/statm: 54171 49859 689 1214 0 52953 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 216684
[startup+12.7006 s]
/proc/loadavg: 1.91 1.98 1.99 3/489 12334
/proc/meminfo: memFree=21166664/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=229136 CPUtime=12.69 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 61151 0 0 0 1258 11 0 0 25 0 1 0 555661205 234635264 52707 33554432000 4194304 9163163 140734923442384 18446744073709551615 8041859 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12332/statm: 57284 52707 945 1214 0 56066 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 229136
[startup+25.5004 s]
/proc/loadavg: 1.93 1.98 1.99 3/489 12334
/proc/meminfo: memFree=21142968/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=236248 CPUtime=25.49 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 63597 0 0 0 2536 13 0 0 25 0 1 0 555661205 241917952 54994 33554432000 4194304 9163163 140734923442384 18446744073709551615 7348526 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12332/statm: 59062 54994 826 1214 0 57844 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 236248
[startup+51.1008 s]
/proc/loadavg: 1.95 1.98 1.99 3/489 12335
/proc/meminfo: memFree=21136152/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=236248 CPUtime=51.08 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 63607 0 0 0 5090 18 0 0 25 0 1 0 555661205 241917952 55004 33554432000 4194304 9163163 140734923442384 18446744073709551615 7349126 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12332/statm: 59062 55004 826 1214 0 57844 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 236248
[startup+102.319 s]
/proc/loadavg: 1.98 1.98 1.99 3/489 12336
/proc/meminfo: memFree=21137672/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=219232 CPUtime=102.31 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 67995 0 0 0 10199 32 0 0 25 0 1 0 555661205 224493568 53582 33554432000 4194304 9163163 140734923442384 18446744073709551615 7277701 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12332/statm: 54808 53582 1448 1214 0 53590 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 219232
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/489 12337
/proc/meminfo: memFree=21142460/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=217852 CPUtime=162.29 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 69918 0 0 0 16180 49 0 0 25 0 1 0 555661205 223080448 50488 33554432000 4194304 9163163 140734923442384 18446744073709551615 6974878 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12332/statm: 54463 50488 720 1214 0 53245 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 217852
[startup+222.301 s]
/proc/loadavg: 2.11 2.02 2.00 3/489 12339
/proc/meminfo: memFree=21119468/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=229928 CPUtime=222.2 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 77273 0 0 0 22161 59 0 0 25 0 1 0 555661205 235446272 56267 33554432000 4194304 9163163 140734923442384 18446744073709551615 7348530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12332/statm: 57482 56267 1119 1214 0 56264 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 229928
[startup+282.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/489 12341
/proc/meminfo: memFree=21121536/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=222640 CPUtime=282.2 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 78099 0 0 0 28148 72 0 0 25 0 1 0 555661205 227983360 52624 33554432000 4194304 9163163 140734923442384 18446744073709551615 6974871 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12332/statm: 55660 52624 718 1214 0 54442 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 222640
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/489 12342
/proc/meminfo: memFree=21116788/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=222640 CPUtime=342.2 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 78287 0 0 0 34141 79 0 0 25 0 1 0 555661205 227983360 52810 33554432000 4194304 9163163 140734923442384 18446744073709551615 7349023 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12332/statm: 55660 52810 716 1214 0 54442 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 222640
[startup+402.301 s]
/proc/loadavg: 2.10 2.03 2.01 3/489 12344
/proc/meminfo: memFree=21115148/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=224556 CPUtime=402.2 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 78620 0 0 0 40134 86 0 0 25 0 1 0 555661205 229945344 53143 33554432000 4194304 9163163 140734923442384 18446744073709551615 7348526 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12332/statm: 56139 53143 716 1214 0 54921 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 224556
[startup+462.3 s]
/proc/loadavg: 2.04 2.02 2.00 4/489 12345
/proc/meminfo: memFree=21100720/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=241100 CPUtime=462.21 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 82221 0 0 0 46116 105 0 0 25 0 1 0 555661205 246886400 56730 33554432000 4194304 9163163 140734923442384 18446744073709551615 6974022 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12332/statm: 60275 56730 702 1214 0 59057 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 241100
[startup+522.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/489 12347
/proc/meminfo: memFree=21088064/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=255520 CPUtime=522.21 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 86203 0 0 0 52105 116 0 0 25 0 1 0 555661205 261652480 59977 33554432000 4194304 9163163 140734923442384 18446744073709551615 7349329 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12332/statm: 63880 59977 841 1214 0 62662 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 255520
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 12349
/proc/meminfo: memFree=21080460/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=262736 CPUtime=582.2 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 88140 0 0 0 58097 123 0 0 25 0 1 0 555661205 269041664 61908 33554432000 4194304 9163163 140734923442384 18446744073709551615 7349008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12332/statm: 65684 61908 835 1214 0 64466 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 262736
[startup+642.301 s]
################
# More data... #
################
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 91469 0 0 0 106019 203 0 0 25 0 1 0 555661205 256831488 60890 33554432000 4194304 9163163 140734923442384 18446744073709551615 7348200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12332/statm: 62703 60890 690 1214 0 61485 0
Current children cumulated CPU time (s) 1062.22
Current children cumulated vsize (KiB) 250812
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/489 12363
/proc/meminfo: memFree=21069228/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=265420 CPUtime=1122.22 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 96105 0 0 0 112002 220 0 0 25 0 1 0 555661205 271790080 65145 33554432000 4194304 9163163 140734923442384 18446744073709551615 7348554 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12332/statm: 66355 65145 2353 1214 0 65137 0
Current children cumulated CPU time (s) 1122.22
Current children cumulated vsize (KiB) 265420
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 12365
/proc/meminfo: memFree=21072432/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=265420 CPUtime=1182.22 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 97005 0 0 0 117991 231 0 0 25 0 1 0 555661205 271790080 65148 33554432000 4194304 9163163 140734923442384 18446744073709551615 7051398 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12332/statm: 66355 65148 1456 1214 0 65137 0
Current children cumulated CPU time (s) 1182.22
Current children cumulated vsize (KiB) 265420
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/489 12366
/proc/meminfo: memFree=21065812/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=265420 CPUtime=1242.22 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 97658 0 0 0 123977 245 0 0 25 0 1 0 555661205 271790080 65148 33554432000 4194304 9163163 140734923442384 18446744073709551615 6973991 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12332/statm: 66355 65148 803 1214 0 65137 0
Current children cumulated CPU time (s) 1242.22
Current children cumulated vsize (KiB) 265420
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/489 12368
/proc/meminfo: memFree=21056472/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=279812 CPUtime=1302.23 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 100044 0 0 0 129971 252 0 0 25 0 1 0 555661205 286527488 67534 33554432000 4194304 9163163 140734923442384 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12332/statm: 69953 67534 803 1214 0 68735 0
Current children cumulated CPU time (s) 1302.23
Current children cumulated vsize (KiB) 279812
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/489 12369
/proc/meminfo: memFree=21058408/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=279812 CPUtime=1362.23 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 100045 0 0 0 135961 262 0 0 25 0 1 0 555661205 286527488 67535 33554432000 4194304 9163163 140734923442384 18446744073709551615 8041869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12332/statm: 69953 67535 803 1214 0 68735 0
Current children cumulated CPU time (s) 1362.23
Current children cumulated vsize (KiB) 279812
[startup+1422.32 s]
/proc/loadavg: 2.05 2.02 2.00 3/489 12371
/proc/meminfo: memFree=21056032/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=279812 CPUtime=1422.25 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 100350 0 0 0 141948 277 0 0 25 0 1 0 555661205 286527488 67840 33554432000 4194304 9163163 140734923442384 18446744073709551615 8045529 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12332/statm: 69953 67840 803 1214 0 68735 0
Current children cumulated CPU time (s) 1422.25
Current children cumulated vsize (KiB) 279812
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/489 12373
/proc/meminfo: memFree=21052900/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=281156 CPUtime=1482.23 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 101082 0 0 0 147932 291 0 0 25 0 1 0 555661205 287903744 68460 33554432000 4194304 9163163 140734923442384 18446744073709551615 7414194 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12332/statm: 70289 68460 691 1214 0 69071 0
Current children cumulated CPU time (s) 1482.23
Current children cumulated vsize (KiB) 281156
[startup+1542.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/489 12374
/proc/meminfo: memFree=21039980/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=288496 CPUtime=1542.23 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 103350 0 0 0 153923 300 0 0 25 0 1 0 555661205 295419904 70680 33554432000 4194304 9163163 140734923442384 18446744073709551615 7348654 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12332/statm: 72124 70680 1024 1214 0 70906 0
Current children cumulated CPU time (s) 1542.23
Current children cumulated vsize (KiB) 288496
[startup+1602.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/489 12376
/proc/meminfo: memFree=21047856/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=288496 CPUtime=1602.23 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 103350 0 0 0 159911 312 0 0 25 0 1 0 555661205 295419904 70680 33554432000 4194304 9163163 140734923442384 18446744073709551615 6668679 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12332/statm: 72124 70680 1024 1214 0 70906 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 288496
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/489 12378
/proc/meminfo: memFree=21057104/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=292260 CPUtime=1662.24 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 105215 0 0 0 165900 324 0 0 25 0 1 0 555661205 299274240 67986 33554432000 4194304 9163163 140734923442384 18446744073709551615 7349100 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12332/statm: 73065 67986 691 1214 0 71847 0
Current children cumulated CPU time (s) 1662.24
Current children cumulated vsize (KiB) 292260
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 12379
/proc/meminfo: memFree=21052360/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=292260 CPUtime=1722.24 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 105670 0 0 0 171893 331 0 0 25 0 1 0 555661205 299274240 68441 33554432000 4194304 9163163 140734923442384 18446744073709551615 7349118 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12332/statm: 73065 68441 691 1214 0 71847 0
Current children cumulated CPU time (s) 1722.24
Current children cumulated vsize (KiB) 292260
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 12409
/proc/meminfo: memFree=20738800/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=288680 CPUtime=1782.24 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 108048 0 0 0 177881 343 0 0 25 0 1 0 555661205 295608320 69072 33554432000 4194304 9163163 140734923442384 18446744073709551615 7348579 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12332/statm: 72170 69072 836 1214 0 70952 0
Current children cumulated CPU time (s) 1782.24
Current children cumulated vsize (KiB) 288680
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 12409
/proc/meminfo: memFree=20717764/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=303264 CPUtime=1800.05 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 113172 0 0 0 179657 348 0 0 25 0 1 0 555661205 310542336 74196 33554432000 4194304 9163163 140734923442384 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12332/statm: 75816 74196 836 1214 0 74598 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 303264
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -12332
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 12410
/proc/meminfo: memFree=20716516/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=303264 CPUtime=1801.34 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 113172 0 0 0 179786 348 0 0 25 0 1 0 555661205 310542336 74196 33554432000 4194304 9163163 140734923442384 18446744073709551615 7349404 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12332/statm: 75816 74196 836 1214 0 74598 0
Current children cumulated CPU time (s) 1801.34
Current children cumulated vsize (KiB) 303264
[startup+1801.82 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 12410
/proc/meminfo: memFree=20717132/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=303264 CPUtime=1801.76 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 113172 0 0 0 179828 348 0 0 25 0 1 0 555661205 310542336 74196 33554432000 4194304 9163163 140734923442384 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12332/statm: 75816 74196 836 1214 0 74598 0
Current children cumulated CPU time (s) 1801.76
Current children cumulated vsize (KiB) 303264
[startup+1802 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 12410
/proc/meminfo: memFree=20717132/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=303264 CPUtime=1801.94 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 113172 0 0 0 179846 348 0 0 25 0 1 0 555661205 310542336 74196 33554432000 4194304 9163163 140734923442384 18446744073709551615 7349023 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12332/statm: 75816 74196 836 1214 0 74598 0
Current children cumulated CPU time (s) 1801.94
Current children cumulated vsize (KiB) 303264
[startup+1802.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 12410
/proc/meminfo: memFree=20717132/32951124 swapFree=46575304/67111528
[pid=12332] ppid=12330 vsize=303264 CPUtime=1802.04 cores=1,3,5,7
/proc/12332/stat : 12332 (scip-2.0.1.4b.l) R 12330 12332 5006 0 -1 4202496 113172 0 0 0 179856 348 0 0 25 0 1 0 555661205 310542336 74196 33554432000 4194304 9163163 140734923442384 18446744073709551615 7349126 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12332/statm: 75816 74196 836 1214 0 74598 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 303264
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.13
CPU time (s): 1802.08
CPU user time (s): 1798.58
CPU system time (s): 3.50047
CPU usage (%): 99.9971
Max. virtual memory (cumulated for all children) (KiB): 303264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.58
system time used= 3.50047
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113172
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= 4153
runsolver used 8.37273 second user time and 20.7208 second system time
The end