0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3691404-1338022344.opb>
0.09/0.09 c original problem has 2000 variables (2000 bin, 0 int, 0 impl, 0 cont) and 3001 constraints
0.09/0.09 c problem read in 0.10
0.49/0.51 o 0
0.49/0.52 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.49/0.52 c presolving:
2.28/2.35 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3000 upgd conss, 600464 impls, 2000 clqs
4.29/4.37 c (4.4s) probing: 51/77586 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.29/4.37 c (4.4s) probing aborted: 50/50 successive totally useless probings
4.40/4.44 c presolving (2 rounds):
4.40/4.44 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.40/4.44 c 600464 implications, 2000 cliques
4.40/4.44 c presolved problem has 77586 variables (77586 bin, 0 int, 0 impl, 0 cont) and 78587 constraints
4.40/4.44 c 3000 constraints of type <setppc>
4.40/4.44 c 75586 constraints of type <and>
4.40/4.44 c 1 constraints of type <linear>
4.40/4.44 c transformed objective value is always integral (scale: 1)
4.40/4.44 c Presolving Time: 4.32
4.40/4.44 c - non default parameters ----------------------------------------------------------------------
4.40/4.44 c # SCIP version 2.1.1.4
4.40/4.44 c
4.40/4.44 c # maximal time in seconds to run
4.40/4.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.40/4.44 c limits/time = 1797
4.40/4.44 c
4.40/4.44 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.40/4.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.40/4.44 c limits/memory = 13950
4.40/4.44 c
4.40/4.44 c # default clock type (1: CPU user seconds, 2: wall clock time)
4.40/4.44 c # [type: int, range: [1,2], default: 1]
4.40/4.44 c timing/clocktype = 2
4.40/4.44 c
4.40/4.44 c # belongs reading time to solving time?
4.40/4.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.40/4.44 c timing/reading = TRUE
4.40/4.44 c
4.40/4.44 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.40/4.44 c # [type: int, range: [-1,2147483647], default: -1]
4.40/4.44 c separating/rapidlearning/freq = 0
4.40/4.44 c
4.40/4.44 c -----------------------------------------------------------------------------------------------
4.40/4.44 c start solving
4.49/4.50 c
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3691404-1338022344/watcher-3691404-1338022344 -o /tmp/evaluation-result-3691404-1338022344/solver-3691404-1338022344 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691404-1338022344.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.01 2.00 1.97 3/176 29961
/proc/meminfo: memFree=27240296/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=11280 CPUtime=0 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 1571 0 0 0 0 0 0 0 20 0 1 0 268361156 11550720 1525 33554432000 4194304 10173063 140733316857568 140735341551208 8800002 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 2820 1525 417 1460 0 1351 0
[startup+0.0987481 s]
/proc/loadavg: 2.01 2.00 1.97 3/176 29961
/proc/meminfo: memFree=27240296/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=23816 CPUtime=0.09 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 4718 0 0 0 9 0 0 0 20 0 1 0 268361156 24387584 4672 33554432000 4194304 10173063 140733316857568 140735341551208 7173674 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 5954 4673 417 1460 0 4485 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23816
[startup+0.100222 s]
/proc/loadavg: 2.01 2.00 1.97 3/176 29961
/proc/meminfo: memFree=27240296/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=26192 CPUtime=0.09 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 5065 0 0 0 9 0 0 0 20 0 1 0 268361156 26820608 5020 33554432000 4194304 10173063 140733316857568 140735341551208 8846909 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 6548 5034 465 1460 0 5079 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26192
[startup+0.300292 s]
/proc/loadavg: 2.01 2.00 1.97 3/176 29961
/proc/meminfo: memFree=27240296/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=106908 CPUtime=0.29 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 25190 0 0 0 26 3 0 0 20 0 1 0 268361156 109473792 25144 33554432000 4194304 10173063 140733316857568 140733316853400 7545739 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 26727 25144 522 1460 0 25258 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 106908
[startup+0.700287 s]
/proc/loadavg: 2.01 2.00 1.97 3/176 29961
/proc/meminfo: memFree=27240296/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=162000 CPUtime=0.69 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 40006 0 0 0 63 6 0 0 20 0 1 0 268361156 165888000 38920 33554432000 4194304 10173063 140733316857568 140733316853400 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 40500 38920 550 1460 0 39031 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 162000
[startup+1.50028 s]
/proc/loadavg: 2.01 2.00 1.97 3/177 29962
/proc/meminfo: memFree=27081420/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=178636 CPUtime=1.48 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 44152 0 0 0 132 16 0 0 20 0 1 0 268361156 182923264 43066 33554432000 4194304 10173063 140733316857568 140733316854824 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 44659 43066 550 1460 0 43190 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 178636
[startup+3.10025 s]
/proc/loadavg: 2.01 2.00 1.97 3/177 29962
/proc/meminfo: memFree=27058480/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=208456 CPUtime=3.09 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 51934 0 0 0 266 43 0 0 20 0 1 0 268361156 213458944 50548 33554432000 4194304 10173063 140733316857568 140733316854568 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 52114 50548 577 1460 0 50645 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 208456
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 29962
/proc/meminfo: memFree=26687928/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=602568 CPUtime=6.29 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 121634 0 0 0 553 76 0 0 20 0 1 0 268361156 617029632 139604 33554432000 4194304 10173063 140733316857568 140733316850824 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 150642 139604 750 1460 0 149173 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 602568
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 29962
/proc/meminfo: memFree=26633760/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=641108 CPUtime=12.68 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 128511 0 0 0 1190 78 0 0 20 0 1 0 268361156 656494592 152315 33554432000 4194304 10173063 140733316857568 140733316850824 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 160277 152315 750 1460 0 158808 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 641108
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.97 3/174 29969
/proc/meminfo: memFree=28115764/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=662288 CPUtime=25.48 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 131076 0 0 0 2469 79 0 0 20 0 1 0 268361156 678182912 156304 33554432000 4194304 10173063 140733316857568 140733316851208 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 165572 156304 750 1460 0 164103 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 662288
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 30038
/proc/meminfo: memFree=27867364/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=662288 CPUtime=51.08 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 131100 0 0 0 5026 82 0 0 20 0 1 0 268361156 678182912 156840 33554432000 4194304 10173063 140733316857568 140733316851192 8012538 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 165572 156840 755 1460 0 164103 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 662288
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 30038
/proc/meminfo: memFree=27808136/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=670432 CPUtime=102.28 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 132356 0 0 0 10143 85 0 0 20 0 1 0 268361156 686522368 161991 33554432000 4194304 10173063 140733316857568 140733316850744 7984407 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 167608 161991 755 1460 0 166139 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 670432
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 30076
/proc/meminfo: memFree=28004956/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=687888 CPUtime=162.27 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 133314 0 0 0 16139 88 0 0 20 0 1 0 268361156 704397312 166058 33554432000 4194304 10173063 140733316857568 140733316850744 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 171972 166058 755 1460 0 170503 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 687888
[startup+222.3 s]
/proc/loadavg: 2.04 2.01 1.97 3/177 30077
/proc/meminfo: memFree=28001864/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=687888 CPUtime=222.26 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 133318 0 0 0 22136 90 0 0 20 0 1 0 268361156 704397312 166185 33554432000 4194304 10173063 140733316857568 140733316850088 8012416 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 171972 166185 755 1460 0 170503 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 687888
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/177 30077
/proc/meminfo: memFree=27992828/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=693608 CPUtime=282.24 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 133837 0 0 0 28132 92 0 0 20 0 1 0 268361156 710254592 168470 33554432000 4194304 10173063 140733316857568 140733316851192 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 173402 168470 755 1460 0 171933 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 693608
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 30077
/proc/meminfo: memFree=27995768/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=693608 CPUtime=342.24 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 133846 0 0 0 34129 95 0 0 20 0 1 0 268361156 710254592 168568 33554432000 4194304 10173063 140733316857568 140733316850088 8054496 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 173402 168568 755 1460 0 171933 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 693608
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 30077
/proc/meminfo: memFree=27995860/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=693608 CPUtime=402.23 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 133849 0 0 0 40126 97 0 0 20 0 1 0 268361156 710254592 168832 33554432000 4194304 10173063 140733316857568 140733316851240 7980752 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 173402 168832 755 1460 0 171933 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 693608
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 30080
/proc/meminfo: memFree=27984044/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=698224 CPUtime=462.22 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 134366 0 0 0 46122 100 0 0 20 0 1 0 268361156 714981376 169860 33554432000 4194304 10173063 140733316857568 140733316850744 8013292 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 174556 169860 755 1460 0 173087 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 698224
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 30104
/proc/meminfo: memFree=27970296/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=710076 CPUtime=522.2 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 135070 0 0 0 52118 102 0 0 20 0 1 0 268361156 727117824 173119 33554432000 4194304 10173063 140733316857568 140733316850744 7985079 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 177519 173119 755 1460 0 176050 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 710076
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 30104
/proc/meminfo: memFree=27970460/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=710076 CPUtime=582.19 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 135074 0 0 0 58115 104 0 0 20 0 1 0 268361156 727117824 173123 33554432000 4194304 10173063 140733316857568 140733316851192 8008236 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 177519 173123 755 1460 0 176050 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 710076
[startup+642.3 s]
################
# More data... #
################
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 136028 0 0 0 106093 119 0 0 20 0 1 0 268361156 734339072 175009 33554432000 4194304 10173063 140733316857568 140733316850744 8008034 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 179282 175009 755 1460 0 177813 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 717128
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 30110
/proc/meminfo: memFree=27962136/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=717128 CPUtime=1122.11 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 136031 0 0 0 112090 121 0 0 20 0 1 0 268361156 734339072 175012 33554432000 4194304 10173063 140733316857568 140733316850088 8056056 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 179282 175012 755 1460 0 177813 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 717128
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 30110
/proc/meminfo: memFree=27963336/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=717128 CPUtime=1182.11 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 136033 0 0 0 118087 124 0 0 20 0 1 0 268361156 734339072 175014 33554432000 4194304 10173063 140733316857568 140733316851240 8008034 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 179282 175014 755 1460 0 177813 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 717128
[startup+1242.3 s]
/proc/loadavg: 2.06 2.02 1.99 3/177 30110
/proc/meminfo: memFree=27962304/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=717128 CPUtime=1242.1 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 136035 0 0 0 124085 125 0 0 20 0 1 0 268361156 734339072 175016 33554432000 4194304 10173063 140733316857568 140733316850744 8013292 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 179282 175016 755 1460 0 177813 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 717128
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/177 30110
/proc/meminfo: memFree=27961616/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=717128 CPUtime=1302.1 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 136496 0 0 0 130083 127 0 0 20 0 1 0 268361156 734339072 175018 33554432000 4194304 10173063 140733316857568 140733316850088 8054555 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 179282 175018 755 1460 0 177813 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 717128
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/177 30110
/proc/meminfo: memFree=27958888/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=717128 CPUtime=1362.07 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 136497 0 0 0 136078 129 0 0 20 0 1 0 268361156 734339072 175019 33554432000 4194304 10173063 140733316857568 140733316850744 7985041 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 179282 175019 755 1460 0 177813 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 717128
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 30111
/proc/meminfo: memFree=27958936/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=717128 CPUtime=1422.08 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 136499 0 0 0 142077 131 0 0 20 0 1 0 268361156 734339072 175021 33554432000 4194304 10173063 140733316857568 140733316850744 8013302 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 179282 175021 755 1460 0 177813 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 717128
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 30111
/proc/meminfo: memFree=27959684/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=717128 CPUtime=1482.06 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 136500 0 0 0 148072 134 0 0 20 0 1 0 268361156 734339072 175022 33554432000 4194304 10173063 140733316857568 140733316850744 8012673 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 179282 175022 755 1460 0 177813 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 717128
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 30111
/proc/meminfo: memFree=27960552/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=717128 CPUtime=1542.05 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 136501 0 0 0 154070 135 0 0 20 0 1 0 268361156 734339072 175023 33554432000 4194304 10173063 140733316857568 140733316851192 7987597 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 179282 175023 755 1460 0 177813 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 717128
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30111
/proc/meminfo: memFree=27958816/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=717128 CPUtime=1602.04 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 136501 0 0 0 160067 137 0 0 20 0 1 0 268361156 734339072 175023 33554432000 4194304 10173063 140733316857568 140733316850744 8066093 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 179282 175023 755 1460 0 177813 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 717128
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30114
/proc/meminfo: memFree=27956776/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=717128 CPUtime=1662.03 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 136501 0 0 0 166065 138 0 0 20 0 1 0 268361156 734339072 175023 33554432000 4194304 10173063 140733316857568 140733316851192 8008810 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 179282 175023 755 1460 0 177813 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 717128
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30115
/proc/meminfo: memFree=27960076/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=717128 CPUtime=1722.02 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 136501 0 0 0 172062 140 0 0 20 0 1 0 268361156 734339072 175023 33554432000 4194304 10173063 140733316857568 140733316851240 8008230 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 179282 175023 755 1460 0 177813 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 717128
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30115
/proc/meminfo: memFree=27956168/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=717128 CPUtime=1782.01 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 136501 0 0 0 178059 142 0 0 20 0 1 0 268361156 734339072 175023 33554432000 4194304 10173063 140733316857568 140733316851192 7594589 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 179282 175023 755 1460 0 177813 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 717128
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30115
/proc/meminfo: memFree=27968704/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=692408 CPUtime=1800.02 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 136612 0 0 0 179859 143 0 0 20 0 1 0 268361156 709025792 172061 33554432000 4194304 10173063 140733316857568 140733316850504 8054559 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 173102 172061 757 1460 0 171633 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 692408
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -29961
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30116
/proc/meminfo: memFree=27968704/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=692408 CPUtime=1801.11 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 136612 0 0 0 179968 143 0 0 20 0 1 0 268361156 709025792 172061 33554432000 4194304 10173063 140733316857568 140733316850504 8054989 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 173102 172061 757 1460 0 171633 0
Current children cumulated CPU time (s) 1801.11
Current children cumulated vsize (KiB) 692408
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30116
/proc/meminfo: memFree=27968448/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=692408 CPUtime=1801.52 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 136612 0 0 0 180009 143 0 0 20 0 1 0 268361156 709025792 172061 33554432000 4194304 10173063 140733316857568 140733316850504 8054538 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 173102 172061 757 1460 0 171633 0
Current children cumulated CPU time (s) 1801.52
Current children cumulated vsize (KiB) 692408
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30116
/proc/meminfo: memFree=27968448/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=692408 CPUtime=1801.91 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 136612 0 0 0 180048 143 0 0 20 0 1 0 268361156 709025792 172061 33554432000 4194304 10173063 140733316857568 140733316850504 8054704 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 173102 172061 757 1460 0 171633 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 692408
[startup+1802.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30116
/proc/meminfo: memFree=27968448/32873648 swapFree=6844/6844
[pid=29961] ppid=29959 vsize=692408 CPUtime=1802.01 cores=0,2,4,6
/proc/29961/stat : 29961 (scip-2.1.1.4fix) R 29959 29961 29540 0 -1 4202496 136612 0 0 0 180058 143 0 0 20 0 1 0 268361156 709025792 172061 33554432000 4194304 10173063 140733316857568 140733316850504 8054496 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29961/statm: 173102 172061 757 1460 0 171633 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 692408
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.31
CPU time (s): 1802.03
CPU user time (s): 1800.59
CPU system time (s): 1.43978
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 756124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.59
system time used= 1.43978
maximum resident set size= 737980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136612
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= 13
involuntary context switches= 1990
runsolver used 3.22151 second user time and 7.69283 second system time
The end