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-3692738-1338019953.opb>
2.20/2.29 c original problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 674250 constraints
2.20/2.29 c problem read in 2.29
5.28/5.38 c presolving:
12.39/12.43 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 674250 upgd conss, 0 impls, 1500 clqs
14.19/14.22 c (14.2s) probing: 51/4500 (1.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
14.19/14.22 c (14.2s) probing aborted: 50/50 successive totally useless probings
19.48/19.52 c presolving (2 rounds):
19.48/19.52 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
19.48/19.52 c 0 implications, 1500 cliques
19.48/19.52 c presolved problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 674250 constraints
19.48/19.52 c 1500 constraints of type <setppc>
19.48/19.52 c 672750 constraints of type <logicor>
19.48/19.52 c transformed objective value is always integral (scale: 1)
19.48/19.52 c Presolving Time: 16.57
19.48/19.52 c - non default parameters ----------------------------------------------------------------------
19.48/19.52 c # SCIP version 2.1.1.4
19.48/19.52 c
19.48/19.52 c # maximal time in seconds to run
19.48/19.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
19.48/19.52 c limits/time = 1797
19.48/19.52 c
19.48/19.52 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
19.48/19.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
19.48/19.52 c limits/memory = 13950
19.48/19.52 c
19.48/19.52 c # default clock type (1: CPU user seconds, 2: wall clock time)
19.48/19.52 c # [type: int, range: [1,2], default: 1]
19.48/19.52 c timing/clocktype = 2
19.48/19.52 c
19.48/19.52 c # belongs reading time to solving time?
19.48/19.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
19.48/19.52 c timing/reading = TRUE
19.48/19.52 c
19.48/19.52 c -----------------------------------------------------------------------------------------------
19.48/19.52 c start solving
19.48/19.54 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-3692738-1338019953/watcher-3692738-1338019953 -o /tmp/evaluation-result-3692738-1338019953/solver-3692738-1338019953 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692738-1338019953.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: 2.00 2.00 2.00 3/176 8181
/proc/meminfo: memFree=28960844/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=10528 CPUtime=0 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 1387 0 0 0 0 0 0 0 20 0 1 0 268119972 10780672 1342 33554432000 4194304 10169799 140737461915968 140734962894136 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 2696 1344 409 1459 0 1228 0
[startup+0.084935 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8181
/proc/meminfo: memFree=28960844/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=23492 CPUtime=0.07 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 4612 0 0 0 7 0 0 0 20 0 1 0 268119972 24055808 4568 33554432000 4194304 10169799 140737461915968 140734962894136 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 5873 4583 409 1459 0 4405 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 23492
[startup+0.100327 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8181
/proc/meminfo: memFree=28960844/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=25724 CPUtime=0.08 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 5185 0 0 0 8 0 0 0 20 0 1 0 268119972 26341376 5140 33554432000 4194304 10169799 140737461915968 140734962894136 5477139 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 6431 5140 409 1459 0 4963 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25724
[startup+0.300277 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8181
/proc/meminfo: memFree=28960844/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=45328 CPUtime=0.29 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 10082 0 0 0 28 1 0 0 20 0 1 0 268119972 46415872 10037 33554432000 4194304 10169799 140737461915968 140734962894136 8982256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 11332 10037 409 1459 0 9864 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45328
[startup+0.700285 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8181
/proc/meminfo: memFree=28960844/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=86968 CPUtime=0.69 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 20452 0 0 0 66 3 0 0 20 0 1 0 268119972 89055232 20407 33554432000 4194304 10169799 140737461915968 140734962894136 5281284 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 21742 20407 409 1459 0 20274 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86968
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8182
/proc/meminfo: memFree=28851848/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=165576 CPUtime=1.49 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 40074 0 0 0 143 6 0 0 20 0 1 0 268119972 169549824 40029 33554432000 4194304 10169799 140737461915968 140737461782296 8982256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 41394 40029 409 1459 0 39926 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 165576
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8182
/proc/meminfo: memFree=28738992/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=567260 CPUtime=3.08 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 140858 0 0 0 286 22 0 0 20 0 1 0 268119972 580874240 139672 33554432000 4194304 10169799 140737461915968 140737461912856 8989847 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 141578 139672 496 1459 0 140110 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 567260
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8182
/proc/meminfo: memFree=27907944/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=1062564 CPUtime=6.29 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 318972 0 0 0 565 64 0 0 20 0 1 0 268119972 1088065536 263109 33554432000 4194304 10169799 140737461915968 140737461914120 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 265641 263109 539 1459 0 264173 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1062564
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8182
/proc/meminfo: memFree=27528244/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=1443960 CPUtime=12.69 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 424763 0 0 0 1144 125 0 0 20 0 1 0 268119972 1478615040 358015 33554432000 4194304 10169799 140737461915968 140737461913176 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 360990 358015 554 1459 0 359522 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1443960
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8220
/proc/meminfo: memFree=26235532/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=2598484 CPUtime=25.48 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 570092 0 0 0 2372 176 0 0 20 0 1 0 268119972 2660847616 610129 33554432000 4194304 10169799 140737461915968 140737461909720 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 649621 610129 740 1459 0 648153 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2598484
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8220
/proc/meminfo: memFree=26082504/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=2914436 CPUtime=51.07 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 584351 0 0 0 4921 186 0 0 20 0 1 0 268119972 2984382464 647396 33554432000 4194304 10169799 140737461915968 140737461909448 8030333 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 728609 647396 742 1459 0 727141 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 2914436
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8221
/proc/meminfo: memFree=26085936/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=2908268 CPUtime=102.28 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 590660 0 0 0 10026 202 0 0 20 0 1 0 268119972 2978066432 646345 33554432000 4194304 10169799 140737461915968 140737461910760 7703712 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 727067 646345 742 1459 0 725599 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2908268
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8221
/proc/meminfo: memFree=26085096/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=2908268 CPUtime=162.26 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 596790 0 0 0 16010 216 0 0 20 0 1 0 268119972 2978066432 646338 33554432000 4194304 10169799 140737461915968 140737461910376 8009937 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 727067 646338 742 1459 0 725599 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 2908268
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8221
/proc/meminfo: memFree=26067936/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=2908268 CPUtime=222.24 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 601747 0 0 0 21997 227 0 0 20 0 1 0 268119972 2978066432 646340 33554432000 4194304 10169799 140737461915968 140737461910376 8009933 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 727067 646340 742 1459 0 725599 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 2908268
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8221
/proc/meminfo: memFree=26065544/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=2909628 CPUtime=282.24 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 607233 0 0 0 27984 240 0 0 20 0 1 0 268119972 2979459072 646941 33554432000 4194304 10169799 140737461915968 140737461910376 8009937 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 727407 646941 742 1459 0 725939 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 2909628
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8221
/proc/meminfo: memFree=25900964/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=2910180 CPUtime=342.23 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 613935 0 0 0 33969 254 0 0 20 0 1 0 268119972 2980024320 646489 33554432000 4194304 10169799 140737461915968 140737461910376 8009933 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 727545 646489 742 1459 0 726077 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 2910180
[startup+402.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 8221
/proc/meminfo: memFree=25861848/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=2965552 CPUtime=402.22 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 619125 0 0 0 39960 262 0 0 20 0 1 0 268119972 3036725248 656229 33554432000 4194304 10169799 140737461915968 140737461910296 8009933 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 741388 656229 746 1459 0 739920 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 2965552
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 8225
/proc/meminfo: memFree=26023368/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=2983384 CPUtime=462.22 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 622259 0 0 0 45952 270 0 0 20 0 1 0 268119972 3054985216 657008 33554432000 4194304 10169799 140737461915968 140737461910296 8009933 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 745846 657008 746 1459 0 744378 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 2983384
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8225
/proc/meminfo: memFree=26014236/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=2994040 CPUtime=522.2 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 625068 0 0 0 51943 277 0 0 20 0 1 0 268119972 3065896960 658368 33554432000 4194304 10169799 140737461915968 140737461910296 8010300 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 748510 658368 746 1459 0 747042 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 2994040
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8225
/proc/meminfo: memFree=26000040/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=3018764 CPUtime=582.19 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 628067 0 0 0 57935 284 0 0 20 0 1 0 268119972 3091214336 662343 33554432000 4194304 10169799 140737461915968 140737461910296 8844162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 754691 662343 746 1459 0 753223 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 3018764
[startup+642.3 s]
################
# More data... #
################
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 648189 0 0 0 105873 338 0 0 20 0 1 0 268119972 3120156672 673843 33554432000 4194304 10169799 140737461915968 140737461910792 8010675 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 761757 673843 746 1459 0 760289 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 3047028
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8230
/proc/meminfo: memFree=25933204/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=3049476 CPUtime=1122.11 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 650626 0 0 0 111866 345 0 0 20 0 1 0 268119972 3122663424 673557 33554432000 4194304 10169799 140737461915968 140737461910296 8010528 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 762369 673557 746 1459 0 760901 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 3049476
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8230
/proc/meminfo: memFree=25927284/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=3051036 CPUtime=1182.1 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 652951 0 0 0 117858 352 0 0 20 0 1 0 268119972 3124260864 674201 33554432000 4194304 10169799 140737461915968 140737461910296 7953589 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 762759 674201 746 1459 0 761291 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 3051036
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8230
/proc/meminfo: memFree=25926600/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=3052812 CPUtime=1242.09 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 654820 0 0 0 123851 358 0 0 20 0 1 0 268119972 3126079488 674478 33554432000 4194304 10169799 140737461915968 140737461910296 8009536 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 763203 674478 746 1459 0 761735 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 3052812
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8230
/proc/meminfo: memFree=25925916/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=3054548 CPUtime=1302.08 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 657081 0 0 0 129844 364 0 0 20 0 1 0 268119972 3127857152 674596 33554432000 4194304 10169799 140737461915968 140737461910296 8010556 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 763637 674596 746 1459 0 762169 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 3054548
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8231
/proc/meminfo: memFree=25921420/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=3056244 CPUtime=1362.07 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 659825 0 0 0 135836 371 0 0 20 0 1 0 268119972 3129593856 675736 33554432000 4194304 10169799 140737461915968 140737461910296 7982343 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 764061 675736 746 1459 0 762593 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 3056244
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 8232
/proc/meminfo: memFree=25918112/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=3057380 CPUtime=1422.07 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 661814 0 0 0 141829 378 0 0 20 0 1 0 268119972 3130757120 676448 33554432000 4194304 10169799 140737461915968 140737461910296 8009904 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 764345 676448 746 1459 0 762877 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 3057380
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 8232
/proc/meminfo: memFree=25917372/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=3057788 CPUtime=1482.05 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 663552 0 0 0 147820 385 0 0 20 0 1 0 268119972 3131174912 676668 33554432000 4194304 10169799 140737461915968 140737461910296 7952912 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 764447 676668 746 1459 0 762979 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 3057788
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8232
/proc/meminfo: memFree=25912716/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=3059420 CPUtime=1542.05 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 665720 0 0 0 153812 393 0 0 20 0 1 0 268119972 3132846080 677931 33554432000 4194304 10169799 140737461915968 140737461910296 8010532 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 764855 677931 746 1459 0 763387 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 3059420
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8232
/proc/meminfo: memFree=25915580/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=3060356 CPUtime=1602.03 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 667976 0 0 0 159804 399 0 0 20 0 1 0 268119972 3133804544 677276 33554432000 4194304 10169799 140737461915968 140737461910296 8010273 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 765089 677276 746 1459 0 763621 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 3060356
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8236
/proc/meminfo: memFree=25909888/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=3061220 CPUtime=1662.02 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 670387 0 0 0 165796 406 0 0 20 0 1 0 268119972 3134689280 678578 33554432000 4194304 10169799 140737461915968 140737461910296 8009913 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 765305 678578 746 1459 0 763837 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 3061220
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8236
/proc/meminfo: memFree=25929416/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=3062516 CPUtime=1722.01 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 672999 0 0 0 171788 413 0 0 20 0 1 0 268119972 3136016384 679174 33554432000 4194304 10169799 140737461915968 140737461909336 7647293 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 765629 679174 746 1459 0 764161 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 3062516
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8236
/proc/meminfo: memFree=25913376/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=3063492 CPUtime=1782.01 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 674478 0 0 0 177783 418 0 0 20 0 1 0 268119972 3137015808 678859 33554432000 4194304 10169799 140737461915968 140737461910296 8010556 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 765873 678859 746 1459 0 764405 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 3063492
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8236
/proc/meminfo: memFree=25911420/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=3063732 CPUtime=1800.01 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 675114 0 0 0 179581 420 0 0 20 0 1 0 268119972 3137261568 679432 33554432000 4194304 10169799 140737461915968 140737461910744 8009941 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 765933 679432 746 1459 0 764465 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3063732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -8181
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 8237
/proc/meminfo: memFree=25911420/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=3063732 CPUtime=1801.1 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 675114 0 0 0 179690 420 0 0 20 0 1 0 268119972 3137261568 679432 33554432000 4194304 10169799 140737461915968 140737461910296 8009933 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 765933 679432 746 1459 0 764465 0
Current children cumulated CPU time (s) 1801.1
Current children cumulated vsize (KiB) 3063732
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8237
/proc/meminfo: memFree=25906324/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=2990068 CPUtime=1801.51 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 675569 0 0 0 179729 422 0 0 20 0 1 0 268119972 3061829632 662912 33554432000 4194304 10169799 140737461915968 140737461910296 8884373 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 747517 662912 748 1459 0 746049 0
Current children cumulated CPU time (s) 1801.51
Current children cumulated vsize (KiB) 2990068
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8237
/proc/meminfo: memFree=25906324/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=3010312 CPUtime=1801.9 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 677055 0 0 0 179766 424 0 0 20 0 1 0 268119972 3082559488 660413 33554432000 4194304 10169799 140737461915968 140737461909624 8044581 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 752578 660413 748 1459 0 751110 0
Current children cumulated CPU time (s) 1801.9
Current children cumulated vsize (KiB) 3010312
[startup+1802.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8237
/proc/meminfo: memFree=25906324/32873844 swapFree=7900/7900
[pid=8181] ppid=8179 vsize=3010312 CPUtime=1802 cores=1,3,5,7
/proc/8181/stat : 8181 (scip-2.1.1.4sfi) R 8179 8181 6871 0 -1 4202496 677187 0 0 0 179776 424 0 0 20 0 1 0 268119972 3082559488 661567 33554432000 4194304 10169799 140737461915968 140737461909624 8030352 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 752578 661567 748 1459 0 751110 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 3010312
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.33
CPU time (s): 1802.04
CPU user time (s): 1797.77
CPU system time (s): 4.26835
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 3147936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.77
system time used= 4.26835
maximum resident set size= 2757312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 677187
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= 23
involuntary context switches= 1851
runsolver used 3.08253 second user time and 8.48971 second system time
The end