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-3450701-1307108499.opb>
0.39/0.43 c original problem has 77294 variables (77294 bin, 0 int, 0 impl, 0 cont) and 80295 constraints
0.39/0.43 c problem read
0.39/0.43 c presolving settings loaded
0.89/0.90 o 0
0.89/0.90 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.89/0.90 c presolving:
2.59/2.61 c (round 1) 0 del vars, 77294 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1000 upgd conss, 598560 impls, 1999 clqs
2.79/2.87 c (round 2) 75294 del vars, 77294 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3000 upgd conss, 598560 impls, 0 clqs
3.21/3.28 c (3.3s) probing: 101/2000 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.21/3.28 c (3.3s) probing aborted: 100/100 successive totally useless probings
3.21/3.28 c presolving (3 rounds):
3.21/3.28 c 75294 deleted vars, 77294 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.21/3.28 c 598560 implications, 0 cliques
3.21/3.28 c presolved problem has 2000 variables (2000 bin, 0 int, 0 impl, 0 cont) and 3001 constraints
3.21/3.28 c 2000 constraints of type <knapsack>
3.21/3.28 c 1000 constraints of type <setppc>
3.21/3.28 c 1 constraints of type <linear>
3.21/3.28 c transformed objective value is always integral (scale: 1)
3.21/3.28 c Presolving Time: 2.59
3.21/3.28 c - non default parameters ----------------------------------------------------------------------
3.21/3.28 c # SCIP version 2.0.1.5
3.21/3.28 c
3.21/3.28 c # frequency for displaying node information lines
3.21/3.28 c # [type: int, range: [-1,2147483647], default: 100]
3.21/3.28 c display/freq = 10000
3.21/3.28 c
3.21/3.28 c # maximal time in seconds to run
3.21/3.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.21/3.28 c limits/time = 1800
3.21/3.28 c
3.21/3.28 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.21/3.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.21/3.28 c limits/memory = 13950
3.21/3.28 c
3.21/3.28 c # default clock type (1: CPU user seconds, 2: wall clock time)
3.21/3.28 c # [type: int, range: [1,2], default: 1]
3.21/3.28 c timing/clocktype = 2
3.21/3.28 c
3.21/3.28 c # belongs reading time to solving time?
3.21/3.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.21/3.28 c timing/reading = TRUE
3.21/3.28 c
3.21/3.28 c # should presolving try to simplify inequalities
3.21/3.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.21/3.28 c constraints/linear/simplifyinequalities = TRUE
3.21/3.28 c
3.21/3.28 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
3.21/3.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.21/3.28 c constraints/indicator/addCouplingCons = TRUE
3.21/3.28 c
3.21/3.28 c # should presolving try to simplify knapsacks
3.21/3.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.21/3.28 c constraints/knapsack/simplifyinequalities = TRUE
3.21/3.28 c
3.21/3.28 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.21/3.28 c # [type: int, range: [-1,2147483647], default: -1]
3.21/3.28 c separating/rapidlearning/freq = 0
3.21/3.28 c
3.21/3.28 c -----------------------------------------------------------------------------------------------
3.21/3.28 c start solving
3.21/3.28 c
276.69/276.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
276.69/276.79 c t 277s| 1 | 0 | 25618 | - | 193M| 0 |2000 |2000 |3001 |2000 |3001 | 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
276.89/276.93 o -1
276.89/276.93 c R 277s| 1 | 0 | 25618 | - | 193M| 0 |2000 |2000 |3001 |2000 |3001 | 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
454.21/454.26 o -59
454.21/454.26 c F 454s| 1 | 0 | 34304 | - | 194M| 0 | 0 |2000 |3001 |2000 |3001 | 0 | 0 | 0 |-5.000000e+02 |-5.900000e+01 | 88.20%
458.50/458.54 c 459s| 1 | 0 | 34304 | - | 194M| 0 |2000 |2000 |3001 |2000 |3001 | 0 | 0 | 0 |-5.000000e+02 |-5.900000e+01 | 88.20%
1117.91/1117.92 c 1118s| 1 | 2 | 34304 | - | 194M| 0 |2000 |2000 |3001 |2000 |3001 | 0 | 0 | 19 |-5.000000e+02 |-5.900000e+01 | 88.20%
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-3450701-1307108499/watcher-3450701-1307108499 -o /tmp/evaluation-result-3450701-1307108499/solver-3450701-1307108499 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450701-1307108499.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.70 1.95 1.98 2/560 29730
/proc/meminfo: memFree=30152396/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=19544 CPUtime=0.01 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 3902 0 0 0 1 0 0 0 23 0 1 0 822448608 20013056 3856 33554432000 4194304 9163163 140734533819984 18446744073709551615 6922353 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/29729/statm: 4886 3856 410 1214 0 3668 0
[startup+0.042559 s]
/proc/loadavg: 1.70 1.95 1.98 2/560 29730
/proc/meminfo: memFree=30152396/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=27444 CPUtime=0.03 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 5870 0 0 0 3 0 0 0 23 0 1 0 822448608 28102656 5824 33554432000 4194304 9163163 140734533819984 18446744073709551615 4338904 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/29729/statm: 6861 5824 410 1214 0 5643 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 27444
[startup+0.100549 s]
/proc/loadavg: 1.70 1.95 1.98 2/560 29730
/proc/meminfo: memFree=30152396/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=43576 CPUtime=0.09 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 9870 0 0 0 8 1 0 0 23 0 1 0 822448608 44621824 9824 33554432000 4194304 9163163 140734533819984 18446744073709551615 7994651 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/29729/statm: 10894 9824 410 1214 0 9676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43576
[startup+0.300516 s]
/proc/loadavg: 1.70 1.95 1.98 2/560 29730
/proc/meminfo: memFree=30152396/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=91288 CPUtime=0.29 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 21750 0 0 0 28 1 0 0 23 0 1 0 822448608 93478912 21704 33554432000 4194304 9163163 140734533819984 18446744073709551615 6922365 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/29729/statm: 22822 21704 410 1214 0 21604 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 91288
[startup+0.700454 s]
/proc/loadavg: 1.70 1.95 1.98 2/560 29730
/proc/meminfo: memFree=30152396/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=212324 CPUtime=0.69 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 52571 0 0 0 65 4 0 0 25 0 1 0 822448608 217419776 51969 33554432000 4194304 9163163 140734533819984 18446744073709551615 4693093 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 53081 51969 473 1214 0 51863 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 212324
[startup+1.50042 s]
/proc/loadavg: 1.70 1.95 1.98 4/562 29732
/proc/meminfo: memFree=29780692/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=240852 CPUtime=1.49 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 59721 0 0 0 144 5 0 0 25 0 1 0 822448608 246632448 58862 33554432000 4194304 9163163 140734533819984 18446744073709551615 8041859 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 60213 58862 509 1214 0 58995 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 240852
[startup+3.10104 s]
/proc/loadavg: 1.70 1.95 1.98 4/562 29732
/proc/meminfo: memFree=29731340/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=279156 CPUtime=3.09 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 71988 0 0 0 302 7 0 0 25 0 1 0 822448608 285855744 68479 33554432000 4194304 9163163 140734533819984 18446744073709551615 5097951 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 69789 68479 554 1214 0 68571 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 279156
[startup+6.30062 s]
/proc/loadavg: 1.72 1.95 1.98 4/562 29732
/proc/meminfo: memFree=29671336/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=315068 CPUtime=6.29 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 80871 0 0 0 619 10 0 0 25 0 1 0 822448608 322629632 76581 33554432000 4194304 9163163 140734533819984 18446744073709551615 7390071 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 78767 76581 873 1214 0 77549 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 315068
[startup+12.7005 s]
/proc/loadavg: 1.74 1.95 1.98 4/562 29733
/proc/meminfo: memFree=29619524/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=324584 CPUtime=12.69 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 83262 0 0 0 1258 11 0 0 25 0 1 0 822448608 332374016 78761 33554432000 4194304 9163163 140734533819984 18446744073709551615 7396543 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 81146 78761 666 1214 0 79928 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 324584
[startup+25.5004 s]
/proc/loadavg: 1.95 1.99 1.99 4/562 29733
/proc/meminfo: memFree=29628212/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=352512 CPUtime=25.5 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 93779 0 0 0 2537 13 0 0 25 0 1 0 822448608 360972288 86011 33554432000 4194304 9163163 140734533819984 18446744073709551615 7390851 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 88128 86011 665 1214 0 86910 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 352512
[startup+51.101 s]
/proc/loadavg: 1.96 1.99 1.99 4/562 29734
/proc/meminfo: memFree=29621744/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=358516 CPUtime=51.09 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 112813 0 0 0 5094 15 0 0 25 0 1 0 822448608 367120384 85671 33554432000 4194304 9163163 140734533819984 18446744073709551615 7346914 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 89629 85671 665 1214 0 88411 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 358516
[startup+102.322 s]
/proc/loadavg: 2.09 2.02 2.00 4/562 29735
/proc/meminfo: memFree=29612832/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=375924 CPUtime=102.31 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 120051 0 0 0 10214 17 0 0 25 0 1 0 822448608 384946176 89242 33554432000 4194304 9163163 140734533819984 18446744073709551615 7360957 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 93981 89242 665 1214 0 92763 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 375924
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 4/562 29737
/proc/meminfo: memFree=29583164/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=386076 CPUtime=162.3 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 136492 0 0 0 16208 22 0 0 25 0 1 0 822448608 395341824 94382 33554432000 4194304 9163163 140734533819984 18446744073709551615 7390141 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 96519 94382 1017 1214 0 95301 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 386076
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 4/562 29738
/proc/meminfo: memFree=29583740/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=389720 CPUtime=222.29 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 146876 0 0 0 22205 24 0 0 25 0 1 0 822448608 399073280 95313 33554432000 4194304 9163163 140734533819984 18446744073709551615 7389765 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 97430 95313 669 1214 0 96212 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 389720
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/562 29740
/proc/meminfo: memFree=29605272/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=363912 CPUtime=282.3 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 164898 0 0 0 28202 28 0 0 25 0 1 0 822448608 372645888 89612 33554432000 4194304 9163163 140734533819984 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 90978 89612 681 1214 0 89760 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 363912
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/562 29741
/proc/meminfo: memFree=29585168/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=384348 CPUtime=342.3 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 183272 0 0 0 34199 31 0 0 25 0 1 0 822448608 393572352 94589 33554432000 4194304 9163163 140734533819984 18446744073709551615 7390101 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 96087 94589 734 1214 0 94869 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 384348
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 5/562 29743
/proc/meminfo: memFree=29582788/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=384348 CPUtime=402.3 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 183272 0 0 0 40199 31 0 0 25 0 1 0 822448608 393572352 94589 33554432000 4194304 9163163 140734533819984 18446744073709551615 7379311 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 96087 94589 734 1214 0 94869 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 384348
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/562 29745
/proc/meminfo: memFree=29586608/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=384348 CPUtime=462.3 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 183274 0 0 0 46197 33 0 0 25 0 1 0 822448608 393572352 94591 33554432000 4194304 9163163 140734533819984 18446744073709551615 7054495 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 96087 94591 736 1214 0 94869 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 384348
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/562 29746
/proc/meminfo: memFree=29577408/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=391288 CPUtime=522.3 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 185496 0 0 0 52196 34 0 0 25 0 1 0 822448608 400678912 96813 33554432000 4194304 9163163 140734533819984 18446744073709551615 7390328 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 97822 96813 738 1214 0 96604 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 391288
[startup+582.301 s]
/proc/loadavg: 2.24 2.05 2.02 4/562 29748
/proc/meminfo: memFree=29592000/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=381968 CPUtime=582.3 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 194097 0 0 0 58194 36 0 0 25 0 1 0 822448608 391135232 92945 33554432000 4194304 9163163 140734533819984 18446744073709551615 7390842 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 95492 92945 738 1214 0 94274 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 381968
[startup+642.301 s]
################
# More data... #
################
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 297390 0 0 0 100177 54 0 0 25 0 1 0 822448608 400703488 96805 33554432000 4194304 9163163 140734533819984 18446744073709551615 7358000 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 97828 96805 738 1214 0 96610 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 391312
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/562 29761
/proc/meminfo: memFree=29576460/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=391312 CPUtime=1062.31 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 297404 0 0 0 106176 55 0 0 25 0 1 0 822448608 400703488 96819 33554432000 4194304 9163163 140734533819984 18446744073709551615 7390842 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 97828 96819 738 1214 0 96610 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 391312
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/562 29762
/proc/meminfo: memFree=29575700/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=391312 CPUtime=1122.31 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 297407 0 0 0 112176 55 0 0 25 0 1 0 822448608 400703488 96822 33554432000 4194304 9163163 140734533819984 18446744073709551615 7416725 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 97828 96822 738 1214 0 96610 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 391312
[startup+1182.3 s]
/proc/loadavg: 2.16 2.06 2.02 4/562 29773
/proc/meminfo: memFree=29582544/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=391312 CPUtime=1182.31 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 297407 0 0 0 118175 56 0 0 25 0 1 0 822448608 400703488 96822 33554432000 4194304 9163163 140734533819984 18446744073709551615 7416610 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 97828 96822 738 1214 0 96610 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 391312
[startup+1242.3 s]
/proc/loadavg: 2.21 2.10 2.03 4/562 29774
/proc/meminfo: memFree=29574080/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=391312 CPUtime=1242.31 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 297407 0 0 0 124174 57 0 0 25 0 1 0 822448608 400703488 96822 33554432000 4194304 9163163 140734533819984 18446744073709551615 7390101 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 97828 96822 738 1214 0 96610 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 391312
[startup+1302.3 s]
/proc/loadavg: 2.14 2.11 2.04 4/562 29776
/proc/meminfo: memFree=29577384/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=391312 CPUtime=1302.33 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 297407 0 0 0 130176 57 0 0 25 0 1 0 822448608 400703488 96822 33554432000 4194304 9163163 140734533819984 18446744073709551615 7390381 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 97828 96822 738 1214 0 96610 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 391312
[startup+1362.3 s]
/proc/loadavg: 2.05 2.08 2.03 4/562 29780
/proc/meminfo: memFree=29574716/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=391312 CPUtime=1362.31 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 297407 0 0 0 136173 58 0 0 25 0 1 0 822448608 400703488 96822 33554432000 4194304 9163163 140734533819984 18446744073709551615 7390839 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 97828 96822 738 1214 0 96610 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 391312
[startup+1422.32 s]
/proc/loadavg: 2.05 2.08 2.03 4/562 29782
/proc/meminfo: memFree=29577072/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=393552 CPUtime=1422.34 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 297514 0 0 0 142175 59 0 0 25 0 1 0 822448608 402997248 96929 33554432000 4194304 9163163 140734533819984 18446744073709551615 7390096 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 98388 96929 738 1214 0 97170 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 393552
[startup+1482.3 s]
/proc/loadavg: 2.02 2.06 2.03 4/562 29784
/proc/meminfo: memFree=29580136/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=369084 CPUtime=1482.32 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 302177 0 0 0 148171 61 0 0 25 0 1 0 822448608 377942016 89422 33554432000 4194304 9163163 140734533819984 18446744073709551615 7390381 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 92271 89422 738 1214 0 91053 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 369084
[startup+1542.3 s]
/proc/loadavg: 2.00 2.05 2.02 4/562 29785
/proc/meminfo: memFree=29582080/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=369084 CPUtime=1542.31 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 302220 0 0 0 154170 61 0 0 25 0 1 0 822448608 377942016 89465 33554432000 4194304 9163163 140734533819984 18446744073709551615 7390851 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 92271 89465 738 1214 0 91053 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 369084
[startup+1602.3 s]
/proc/loadavg: 2.00 2.04 2.01 4/562 29787
/proc/meminfo: memFree=29582444/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=369084 CPUtime=1602.32 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 313411 0 0 0 160168 64 0 0 25 0 1 0 822448608 377942016 89422 33554432000 4194304 9163163 140734533819984 18446744073709551615 7390865 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 92271 89422 738 1214 0 91053 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 369084
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.01 4/562 29789
/proc/meminfo: memFree=29581060/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=369084 CPUtime=1662.31 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 313447 0 0 0 166167 64 0 0 25 0 1 0 822448608 377942016 89458 33554432000 4194304 9163163 140734533819984 18446744073709551615 7390839 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 92271 89458 738 1214 0 91053 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 369084
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/562 29790
/proc/meminfo: memFree=29580552/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=369084 CPUtime=1722.32 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 313447 0 0 0 172167 65 0 0 25 0 1 0 822448608 377942016 89458 33554432000 4194304 9163163 140734533819984 18446744073709551615 7390303 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 92271 89458 738 1214 0 91053 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 369084
[startup+1782.3 s]
/proc/loadavg: 2.21 2.08 2.02 4/562 29792
/proc/meminfo: memFree=29553748/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=394188 CPUtime=1782.32 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 319535 0 0 0 178166 66 0 0 25 0 1 0 822448608 403648512 95546 33554432000 4194304 9163163 140734533819984 18446744073709551615 7390504 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 98547 95546 738 1214 0 97329 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 394188
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.15 2.07 2.02 3/562 29792
/proc/meminfo: memFree=29552848/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=394188 CPUtime=1800.04 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 320031 0 0 0 179938 66 0 0 25 0 1 0 822448608 403648512 96042 33554432000 4194304 9163163 140734533819984 18446744073709551615 7390842 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 98547 96042 738 1214 0 97329 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 394188
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -29729
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.15 2.07 2.02 2/561 29794
/proc/meminfo: memFree=29761548/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=394188 CPUtime=1801.42 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 320031 0 0 0 180076 66 0 0 25 0 1 0 822448608 403648512 96042 33554432000 4194304 9163163 140734533819984 18446744073709551615 7390296 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 98547 96042 738 1214 0 97329 0
Current children cumulated CPU time (s) 1801.42
Current children cumulated vsize (KiB) 394188
[startup+1801.82 s]
/proc/loadavg: 2.15 2.07 2.02 2/561 29794
/proc/meminfo: memFree=29761548/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=394188 CPUtime=1801.84 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 320031 0 0 0 180118 66 0 0 25 0 1 0 822448608 403648512 96042 33554432000 4194304 9163163 140734533819984 18446744073709551615 7358024 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 98547 96042 738 1214 0 97329 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 394188
[startup+1802 s]
/proc/loadavg: 2.15 2.07 2.02 2/561 29794
/proc/meminfo: memFree=29761548/32950928 swapFree=41528364/67111528
[pid=29729] ppid=29725 vsize=394188 CPUtime=1802.02 cores=0,2,4,6
/proc/29729/stat : 29729 (scip-2.0.1.4b.l) R 29725 29729 28517 0 -1 4202496 320031 0 0 0 180136 66 0 0 25 0 1 0 822448608 403648512 96042 33554432000 4194304 9163163 140734533819984 18446744073709551615 7357978 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29729/statm: 98547 96042 738 1214 0 97329 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 394188
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.04
CPU time (s): 1802.07
CPU user time (s): 1801.38
CPU system time (s): 0.683896
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 419760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.38
system time used= 0.683896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 320031
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= 4
involuntary context switches= 2590
runsolver used 10.5734 second user time and 24.7432 second system time
The end