0.00/0.00 c SCIP version 2.0.1.4 [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-3485179-1307785738.opb>
0.09/0.13 c original problem has 2000 variables (2000 bin, 0 int, 0 impl, 0 cont) and 3001 constraints
0.09/0.13 c problem read
0.09/0.13 c presolving settings loaded
0.49/0.53 o 0
0.49/0.53 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.49/0.53 c presolving:
1.99/2.03 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3000 upgd conss, 598560 impls, 2000 clqs
4.30/4.31 c (4.3s) probing: 101/77294 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.30/4.31 c (4.3s) probing aborted: 100/100 successive totally useless probings
4.30/4.31 c presolving (2 rounds):
4.30/4.31 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.30/4.31 c 598560 implications, 2000 cliques
4.30/4.31 c presolved problem has 77294 variables (77294 bin, 0 int, 0 impl, 0 cont) and 78295 constraints
4.30/4.31 c 3000 constraints of type <setppc>
4.30/4.31 c 75294 constraints of type <and>
4.30/4.31 c 1 constraints of type <linear>
4.30/4.31 c transformed objective value is always integral (scale: 1)
4.30/4.31 c Presolving Time: 4.16
4.30/4.31 c - non default parameters ----------------------------------------------------------------------
4.30/4.31 c # SCIP version 2.0.1.4
4.30/4.31 c
4.30/4.31 c # frequency for displaying node information lines
4.30/4.31 c # [type: int, range: [-1,2147483647], default: 100]
4.30/4.31 c display/freq = 10000
4.30/4.31 c
4.30/4.31 c # maximal time in seconds to run
4.30/4.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.30/4.31 c limits/time = 1797
4.30/4.31 c
4.30/4.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.30/4.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.30/4.31 c limits/memory = 13950
4.30/4.31 c
4.30/4.31 c # default clock type (1: CPU user seconds, 2: wall clock time)
4.30/4.31 c # [type: int, range: [1,2], default: 1]
4.30/4.31 c timing/clocktype = 2
4.30/4.31 c
4.30/4.31 c # belongs reading time to solving time?
4.30/4.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.30/4.31 c timing/reading = TRUE
4.30/4.31 c
4.30/4.31 c # should presolving try to simplify inequalities
4.30/4.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.30/4.31 c constraints/linear/simplifyinequalities = TRUE
4.30/4.31 c
4.30/4.31 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
4.30/4.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.30/4.31 c constraints/indicator/addCouplingCons = TRUE
4.30/4.31 c
4.30/4.31 c # should presolving try to simplify knapsacks
4.30/4.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.30/4.31 c constraints/knapsack/simplifyinequalities = TRUE
4.30/4.31 c
4.30/4.31 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.30/4.31 c # [type: int, range: [-1,2147483647], default: -1]
4.30/4.31 c separating/rapidlearning/freq = 0
4.30/4.31 c
4.30/4.31 c -----------------------------------------------------------------------------------------------
4.30/4.31 c start solving
4.30/4.34 c
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-3485179-1307785738/watcher-3485179-1307785738 -o /tmp/evaluation-result-3485179-1307785738/solver-3485179-1307785738 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485179-1307785738.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: 2.00 2.00 1.96 2/177 5382
/proc/meminfo: memFree=31498036/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=11092 CPUtime=0 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 1771 0 0 0 0 0 0 0 25 0 1 0 968804368 11358208 1725 33554432000 4194304 8979876 140736088973744 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5382/statm: 2773 1725 361 1169 0 1600 0
[startup+0.0158141 s]
/proc/loadavg: 2.00 2.00 1.96 2/177 5382
/proc/meminfo: memFree=31498036/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=12604 CPUtime=0.01 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 2172 0 0 0 1 0 0 0 25 0 1 0 968804368 12906496 2126 33554432000 4194304 8979876 140736088973744 18446744073709551615 6783320 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5382/statm: 3151 2128 367 1169 0 1978 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12604
[startup+0.100827 s]
/proc/loadavg: 2.00 2.00 1.96 2/177 5382
/proc/meminfo: memFree=31498036/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=20508 CPUtime=0.09 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 4136 0 0 0 9 0 0 0 25 0 1 0 968804368 21000192 4090 33554432000 4194304 8979876 140736088973744 18446744073709551615 4992695 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5382/statm: 5127 4090 367 1169 0 3954 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20508
[startup+0.300791 s]
/proc/loadavg: 2.00 2.00 1.96 2/177 5382
/proc/meminfo: memFree=31498036/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=96876 CPUtime=0.29 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 22867 0 0 0 26 3 0 0 25 0 1 0 968804368 99201024 22821 33554432000 4194304 8979876 140736088973744 18446744073709551615 4445508 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/5382/statm: 24219 22821 456 1169 0 23046 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 96876
[startup+0.700722 s]
/proc/loadavg: 2.00 2.00 1.96 2/177 5382
/proc/meminfo: memFree=31498036/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=158796 CPUtime=0.69 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 39422 0 0 0 65 4 0 0 25 0 1 0 968804368 162607104 38336 33554432000 4194304 8979876 140736088973744 18446744073709551615 7836093 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/5382/statm: 39699 38336 480 1169 0 38526 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 158796
[startup+1.50054 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 5383
/proc/meminfo: memFree=31323524/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=175600 CPUtime=1.49 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 43615 0 0 0 144 5 0 0 25 0 1 0 968804368 179814400 42529 33554432000 4194304 8979876 140736088973744 18446744073709551615 7836068 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/5382/statm: 43900 42529 480 1169 0 42727 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 175600
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 5383
/proc/meminfo: memFree=31278636/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=211848 CPUtime=3.09 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 54536 0 0 0 304 5 0 0 25 0 1 0 968804368 216932352 51617 33554432000 4194304 8979876 140736088973744 18446744073709551615 5031753 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/5382/statm: 52962 51617 507 1169 0 51789 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 211848
[startup+6.30071 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 5383
/proc/meminfo: memFree=30949048/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=560980 CPUtime=6.29 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 141389 0 0 0 612 17 0 0 25 0 1 0 968804368 574443520 133038 33554432000 4194304 8979876 140736088973744 18446744073709551615 7193336 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5382/statm: 140245 133038 685 1169 0 139072 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 560980
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 5383
/proc/meminfo: memFree=30900760/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=614920 CPUtime=12.69 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 154240 0 0 0 1251 18 0 0 25 0 1 0 968804368 629678080 144186 33554432000 4194304 8979876 140736088973744 18446744073709551615 7146192 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5382/statm: 153730 144186 729 1169 0 152557 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 614920
[startup+25.5012 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 5384
/proc/meminfo: memFree=30878392/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=626136 CPUtime=25.49 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 158658 0 0 0 2529 20 0 0 25 0 1 0 968804368 641163264 148102 33554432000 4194304 8979876 140736088973744 18446744073709551615 6942090 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5382/statm: 156534 148102 726 1169 0 155361 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 626136
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 5384
/proc/meminfo: memFree=30854524/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=638188 CPUtime=51.09 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 163931 0 0 0 5088 21 0 0 25 0 1 0 968804368 653504512 153074 33554432000 4194304 8979876 140736088973744 18446744073709551615 7143762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5382/statm: 159547 153074 754 1169 0 158374 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 638188
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 5386
/proc/meminfo: memFree=30742388/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=660380 CPUtime=102.3 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 169119 0 0 0 10206 24 0 0 25 0 1 0 968804368 676229120 158198 33554432000 4194304 8979876 140736088973744 18446744073709551615 7092998 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5382/statm: 165095 158198 729 1169 0 163922 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 660380
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 5387
/proc/meminfo: memFree=30731504/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=660380 CPUtime=162.3 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 169597 0 0 0 16203 27 0 0 25 0 1 0 968804368 676229120 158676 33554432000 4194304 8979876 140736088973744 18446744073709551615 7146482 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5382/statm: 165095 158676 762 1169 0 163922 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 660380
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 5389
/proc/meminfo: memFree=30731320/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=660380 CPUtime=222.3 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 169637 0 0 0 22202 28 0 0 25 0 1 0 968804368 676229120 158680 33554432000 4194304 8979876 140736088973744 18446744073709551615 7184622 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5382/statm: 165095 158680 726 1169 0 163922 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 660380
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 5390
/proc/meminfo: memFree=30731276/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=660380 CPUtime=282.29 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 169641 0 0 0 28200 29 0 0 25 0 1 0 968804368 676229120 158684 33554432000 4194304 8979876 140736088973744 18446744073709551615 7146517 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5382/statm: 165095 158684 726 1169 0 163922 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 660380
[startup+342.301 s]
/proc/loadavg: 2.11 2.03 1.97 3/178 5392
/proc/meminfo: memFree=30728732/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=664880 CPUtime=342.3 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 170313 0 0 0 34199 31 0 0 25 0 1 0 968804368 680837120 159323 33554432000 4194304 8979876 140736088973744 18446744073709551615 7145580 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5382/statm: 166220 159323 693 1169 0 165047 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 664880
[startup+402.301 s]
/proc/loadavg: 2.04 2.02 1.97 3/178 5394
/proc/meminfo: memFree=30728644/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=664880 CPUtime=402.3 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 170381 0 0 0 40197 33 0 0 25 0 1 0 968804368 680837120 159327 33554432000 4194304 8979876 140736088973744 18446744073709551615 7147003 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5382/statm: 166220 159327 629 1169 0 165047 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 664880
[startup+462.301 s]
/proc/loadavg: 2.01 2.02 1.97 3/178 5395
/proc/meminfo: memFree=30728584/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=664880 CPUtime=462.31 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 170385 0 0 0 46195 36 0 0 25 0 1 0 968804368 680837120 159331 33554432000 4194304 8979876 140736088973744 18446744073709551615 7144703 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5382/statm: 166220 159331 629 1169 0 165047 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 664880
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 1.97 3/178 5397
/proc/meminfo: memFree=30728624/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=664880 CPUtime=522.3 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 170387 0 0 0 52193 37 0 0 25 0 1 0 968804368 680837120 159333 33554432000 4194304 8979876 140736088973744 18446744073709551615 7118578 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5382/statm: 166220 159333 629 1169 0 165047 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 664880
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 1.97 3/178 5398
/proc/meminfo: memFree=30708340/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=684560 CPUtime=582.3 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 175511 0 0 0 58191 39 0 0 25 0 1 0 968804368 700989440 164457 33554432000 4194304 8979876 140736088973744 18446744073709551615 7146155 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5382/statm: 171140 164457 629 1169 0 169967 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 684560
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 5414
/proc/meminfo: memFree=30706740/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=684560 CPUtime=822.31 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 175523 0 0 0 82185 46 0 0 25 0 1 0 968804368 700989440 164469 33554432000 4194304 8979876 140736088973744 18446744073709551615 7125616 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5382/statm: 171140 164469 629 1169 0 169967 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 684560
[startup+882.3 s]
/proc/loadavg: 2.08 2.02 1.97 3/178 5415
/proc/meminfo: memFree=30706820/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=684560 CPUtime=882.31 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 175525 0 0 0 88184 47 0 0 25 0 1 0 968804368 700989440 164471 33554432000 4194304 8979876 140736088973744 18446744073709551615 7147081 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5382/statm: 171140 164471 629 1169 0 169967 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 684560
[startup+942.3 s]
/proc/loadavg: 2.03 2.01 1.97 3/178 5417
/proc/meminfo: memFree=30706744/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=684560 CPUtime=942.32 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 175527 0 0 0 94183 49 0 0 25 0 1 0 968804368 700989440 164473 33554432000 4194304 8979876 140736088973744 18446744073709551615 7154960 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5382/statm: 171140 164473 629 1169 0 169967 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 684560
[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 1.97 3/178 5419
/proc/meminfo: memFree=30700356/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=692944 CPUtime=1002.31 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 177362 0 0 0 100181 50 0 0 25 0 1 0 968804368 709574656 166308 33554432000 4194304 8979876 140736088973744 18446744073709551615 7147081 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5382/statm: 173236 166308 629 1169 0 172063 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 692944
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 5420
/proc/meminfo: memFree=30700528/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=692944 CPUtime=1062.32 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 177364 0 0 0 106180 52 0 0 25 0 1 0 968804368 709574656 166310 33554432000 4194304 8979876 140736088973744 18446744073709551615 7147081 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5382/statm: 173236 166310 629 1169 0 172063 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 692944
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 5422
/proc/meminfo: memFree=30700340/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=692944 CPUtime=1122.33 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 177366 0 0 0 112179 54 0 0 25 0 1 0 968804368 709574656 166312 33554432000 4194304 8979876 140736088973744 18446744073709551615 7154800 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5382/statm: 173236 166312 629 1169 0 172063 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 692944
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 5423
/proc/meminfo: memFree=30700028/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=692944 CPUtime=1182.33 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 177368 0 0 0 118178 55 0 0 25 0 1 0 968804368 709574656 166314 33554432000 4194304 8979876 140736088973744 18446744073709551615 7089882 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5382/statm: 173236 166314 629 1169 0 172063 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 692944
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 5425
/proc/meminfo: memFree=30699452/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=692944 CPUtime=1242.33 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 177370 0 0 0 124176 57 0 0 25 0 1 0 968804368 709574656 166316 33554432000 4194304 8979876 140736088973744 18446744073709551615 7144906 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5382/statm: 173236 166316 629 1169 0 172063 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 692944
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 5427
/proc/meminfo: memFree=30699484/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=692944 CPUtime=1302.33 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 177372 0 0 0 130175 58 0 0 25 0 1 0 968804368 709574656 166318 33554432000 4194304 8979876 140736088973744 18446744073709551615 7147081 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5382/statm: 173236 166318 629 1169 0 172063 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 692944
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 5428
/proc/meminfo: memFree=30699416/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=692944 CPUtime=1362.33 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 177374 0 0 0 136173 60 0 0 25 0 1 0 968804368 709574656 166320 33554432000 4194304 8979876 140736088973744 18446744073709551615 7147105 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5382/statm: 173236 166320 629 1169 0 172063 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 692944
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 5430
/proc/meminfo: memFree=30699464/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=692944 CPUtime=1422.34 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 177376 0 0 0 142172 62 0 0 25 0 1 0 968804368 709574656 166322 33554432000 4194304 8979876 140736088973744 18446744073709551615 7144867 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5382/statm: 173236 166322 629 1169 0 172063 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 692944
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 5431
/proc/meminfo: memFree=30699424/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=692944 CPUtime=1482.33 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 177378 0 0 0 148170 63 0 0 25 0 1 0 968804368 709574656 166324 33554432000 4194304 8979876 140736088973744 18446744073709551615 7185302 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5382/statm: 173236 166324 629 1169 0 172063 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 692944
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 5433
/proc/meminfo: memFree=30699360/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=692944 CPUtime=1542.34 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 177381 0 0 0 154169 65 0 0 25 0 1 0 968804368 709574656 166327 33554432000 4194304 8979876 140736088973744 18446744073709551615 7184851 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5382/statm: 173236 166327 629 1169 0 172063 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 692944
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 5435
/proc/meminfo: memFree=30699420/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=692944 CPUtime=1602.34 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 177381 0 0 0 160168 66 0 0 25 0 1 0 968804368 709574656 166327 33554432000 4194304 8979876 140736088973744 18446744073709551615 7147105 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5382/statm: 173236 166327 629 1169 0 172063 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 692944
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 5436
/proc/meminfo: memFree=30699600/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=692944 CPUtime=1662.34 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 177383 0 0 0 166167 67 0 0 25 0 1 0 968804368 709574656 166329 33554432000 4194304 8979876 140736088973744 18446744073709551615 7147101 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5382/statm: 173236 166329 629 1169 0 172063 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 692944
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 5438
/proc/meminfo: memFree=30699652/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=692944 CPUtime=1722.34 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 177383 0 0 0 172165 69 0 0 25 0 1 0 968804368 709574656 166329 33554432000 4194304 8979876 140736088973744 18446744073709551615 7118578 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5382/statm: 173236 166329 629 1169 0 172063 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 692944
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 5439
/proc/meminfo: memFree=30699220/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=692944 CPUtime=1782.35 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 177383 0 0 0 178164 71 0 0 25 0 1 0 968804368 709574656 166329 33554432000 4194304 8979876 140736088973744 18446744073709551615 7147101 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5382/statm: 173236 166329 629 1169 0 172063 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 692944
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 5478
/proc/meminfo: memFree=30880752/32951124 swapFree=67056304/67111528
[pid=5382] ppid=5380 vsize=692944 CPUtime=1800.05 cores=0,2,4,6
/proc/5382/stat : 5382 (scip-2.0.1.4_2.) R 5380 5382 5057 0 -1 4202496 177383 0 0 0 179934 71 0 0 25 0 1 0 968804368 709574656 166329 33554432000 4194304 8979876 140736088973744 18446744073709551615 7193346 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/5382/statm: 173236 166329 629 1169 0 172063 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 692944
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.04
CPU time (s): 1800.09
CPU user time (s): 1799.35
CPU system time (s): 0.746886
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 692944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.746886
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177383
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= 3
involuntary context switches= 3696
runsolver used 3.2815 second user time and 6.02608 second system time
The end