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-3450960-1307086599.opb>
0.00/0.10 c original problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 10000 constraints
0.00/0.10 c problem read
0.00/0.10 c presolving settings loaded
0.10/0.14 o 10000
0.10/0.14 c feasible solution found by trivial heuristic, objective value 1.000000e+04
0.10/0.14 c presolving:
0.10/0.19 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 10000 upgd conss, 0 impls, 0 clqs
0.19/0.21 c (0.2s) probing: 101/10000 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.21 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.21 c presolving (2 rounds):
0.19/0.21 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.21 c 0 implications, 0 cliques
0.19/0.21 c presolved problem has 10000 variables (10000 bin, 0 int, 0 impl, 0 cont) and 10000 constraints
0.19/0.21 c 10000 constraints of type <logicor>
0.19/0.21 c transformed objective value is always integral (scale: 1)
0.19/0.21 c Presolving Time: 0.09
0.19/0.21 c - non default parameters ----------------------------------------------------------------------
0.19/0.21 c # SCIP version 2.0.1.5
0.19/0.21 c
0.19/0.21 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21 c conflict/interconss = 0
0.19/0.21 c
0.19/0.21 c # should binary conflicts be preferred?
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c conflict/preferbinary = TRUE
0.19/0.21 c
0.19/0.21 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.21 c constraints/agelimit = 1
0.19/0.21 c
0.19/0.21 c # should enforcement of pseudo solution be disabled?
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/disableenfops = TRUE
0.19/0.21 c
0.19/0.21 c # frequency for displaying node information lines
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.21 c display/freq = 10000
0.19/0.21 c
0.19/0.21 c # maximal time in seconds to run
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/time = 1800
0.19/0.21 c
0.19/0.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/memory = 13950
0.19/0.21 c
0.19/0.21 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.21 c # [type: int, range: [1,2], default: 1]
0.19/0.21 c timing/clocktype = 2
0.19/0.21 c
0.19/0.21 c # belongs reading time to solving time?
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c timing/reading = TRUE
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify inequalities
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/linear/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/indicator/addCouplingCons = TRUE
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify knapsacks
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c -----------------------------------------------------------------------------------------------
0.19/0.21 c start solving
0.19/0.22 c
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-3450960-1307086599/watcher-3450960-1307086599 -o /tmp/evaluation-result-3450960-1307086599/solver-3450960-1307086599 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450960-1307086599.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.11 2.04 2.22 2/434 26625
/proc/meminfo: memFree=12388484/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=14092 CPUtime=0 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 2504 0 0 0 0 0 0 0 25 0 1 0 820259505 14430208 2456 33554432000 4194304 9163163 140733223524368 18446744073709551615 6136616 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26625/statm: 3523 2456 389 1214 0 2305 0
[startup+0.110518 s]
/proc/loadavg: 2.11 2.04 2.22 2/434 26625
/proc/meminfo: memFree=12388484/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=37268 CPUtime=0.1 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 8059 0 0 0 10 0 0 0 25 0 1 0 820259505 38162432 8008 33554432000 4194304 9163163 140733223524368 18446744073709551615 6919008 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26625/statm: 9317 8066 432 1214 0 8099 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 37268
[startup+0.2005 s]
/proc/loadavg: 2.11 2.04 2.22 2/434 26625
/proc/meminfo: memFree=12388484/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=51772 CPUtime=0.19 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 11968 0 0 0 18 1 0 0 25 0 1 0 820259505 53014528 11564 33554432000 4194304 9163163 140733223524368 18446744073709551615 5269425 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26625/statm: 12943 11564 507 1214 0 11725 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 51772
[startup+0.300486 s]
/proc/loadavg: 2.11 2.04 2.22 2/434 26625
/proc/meminfo: memFree=12388484/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=74088 CPUtime=0.29 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 18031 0 0 0 27 2 0 0 18 0 1 0 820259505 75866112 17053 33554432000 4194304 9163163 140733223524368 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26625/statm: 18522 17053 613 1214 0 17304 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 74088
[startup+0.700411 s]
/proc/loadavg: 2.11 2.04 2.22 2/434 26625
/proc/meminfo: memFree=12388484/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=76552 CPUtime=0.69 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 18715 0 0 0 67 2 0 0 18 0 1 0 820259505 78389248 17634 33554432000 4194304 9163163 140733223524368 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26625/statm: 19138 17634 617 1214 0 17920 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76552
[startup+1.5003 s]
/proc/loadavg: 2.11 2.04 2.22 3/435 26626
/proc/meminfo: memFree=12316928/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=80148 CPUtime=1.49 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 19515 0 0 0 146 3 0 0 19 0 1 0 820259505 82071552 18341 33554432000 4194304 9163163 140733223524368 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26625/statm: 20037 18341 625 1214 0 18819 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 80148
[startup+3.10102 s]
/proc/loadavg: 2.10 2.04 2.22 3/435 26626
/proc/meminfo: memFree=12315440/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=80148 CPUtime=3.09 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 19625 0 0 0 305 4 0 0 23 0 1 0 820259505 82071552 18446 33554432000 4194304 9163163 140733223524368 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26625/statm: 20037 18446 624 1214 0 18819 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 80148
[startup+6.30044 s]
/proc/loadavg: 2.10 2.04 2.22 3/435 26626
/proc/meminfo: memFree=12312596/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=82044 CPUtime=6.29 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 20245 0 0 0 625 4 0 0 25 0 1 0 820259505 84013056 19012 33554432000 4194304 9163163 140733223524368 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26625/statm: 20511 19012 621 1214 0 19293 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 82044
[startup+12.7004 s]
/proc/loadavg: 2.16 2.06 2.22 3/435 26627
/proc/meminfo: memFree=12311220/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=82516 CPUtime=12.69 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 20412 0 0 0 1264 5 0 0 25 0 1 0 820259505 84496384 19178 33554432000 4194304 9163163 140733223524368 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26625/statm: 20629 19178 621 1214 0 19411 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 82516
[startup+25.5011 s]
/proc/loadavg: 2.22 2.07 2.22 3/435 26627
/proc/meminfo: memFree=12302436/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=88596 CPUtime=25.49 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 24206 0 0 0 2542 7 0 0 25 0 1 0 820259505 90722304 20719 33554432000 4194304 9163163 140733223524368 18446744073709551615 7345653 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26625/statm: 22149 20719 621 1214 0 20931 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 88596
[startup+51.1007 s]
/proc/loadavg: 2.26 2.10 2.22 3/435 26628
/proc/meminfo: memFree=12296020/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=101196 CPUtime=51.09 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 29794 0 0 0 5099 10 0 0 25 0 1 0 820259505 103624704 23385 33554432000 4194304 9163163 140733223524368 18446744073709551615 7359005 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26625/statm: 25299 23385 678 1214 0 24081 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 101196
[startup+102.301 s]
/proc/loadavg: 2.16 2.09 2.21 3/435 26629
/proc/meminfo: memFree=12293908/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=101196 CPUtime=102.3 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 31641 0 0 0 10216 14 0 0 25 0 1 0 820259505 103624704 23843 33554432000 4194304 9163163 140733223524368 18446744073709551615 7347641 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26625/statm: 25299 23843 621 1214 0 24081 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 101196
[startup+162.3 s]
/proc/loadavg: 2.06 2.07 2.20 3/435 26631
/proc/meminfo: memFree=12285216/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=105428 CPUtime=162.29 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 34286 0 0 0 16210 19 0 0 25 0 1 0 820259505 107958272 24913 33554432000 4194304 9163163 140733223524368 18446744073709551615 6974015 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26625/statm: 26357 24913 621 1214 0 25139 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 105428
[startup+222.317 s]
/proc/loadavg: 2.06 2.07 2.18 3/435 26632
/proc/meminfo: memFree=12285080/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=105428 CPUtime=222.31 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 36048 0 0 0 22208 23 0 0 25 0 1 0 820259505 107958272 24913 33554432000 4194304 9163163 140733223524368 18446744073709551615 7347037 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26625/statm: 26357 24913 621 1214 0 25139 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 105428
[startup+282.301 s]
/proc/loadavg: 2.02 2.06 2.17 3/435 26634
/proc/meminfo: memFree=12284692/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=103628 CPUtime=282.3 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 43255 0 0 0 28201 29 0 0 25 0 1 0 820259505 106115072 23769 33554432000 4194304 9163163 140733223524368 18446744073709551615 7346979 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26625/statm: 25907 23769 621 1214 0 24689 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 103628
[startup+342.301 s]
/proc/loadavg: 2.01 2.04 2.16 3/435 26636
/proc/meminfo: memFree=12277360/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=106688 CPUtime=342.3 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 44597 0 0 0 34199 31 0 0 25 0 1 0 820259505 109248512 25111 33554432000 4194304 9163163 140733223524368 18446744073709551615 7389820 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26625/statm: 26672 25111 621 1214 0 25454 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 106688
[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.15 3/435 26637
/proc/meminfo: memFree=12268788/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=111032 CPUtime=402.3 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 45708 0 0 0 40196 34 0 0 25 0 1 0 820259505 113696768 26222 33554432000 4194304 9163163 140733223524368 18446744073709551615 7317952 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26625/statm: 27758 26222 621 1214 0 26540 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 111032
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.14 3/435 26639
/proc/meminfo: memFree=12231464/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=111032 CPUtime=462.3 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 45712 0 0 0 46193 37 0 0 25 0 1 0 820259505 113696768 26226 33554432000 4194304 9163163 140733223524368 18446744073709551615 7348597 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26625/statm: 27758 26226 621 1214 0 26540 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 111032
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.12 3/435 26640
/proc/meminfo: memFree=12231452/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=111032 CPUtime=522.3 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 45763 0 0 0 52189 41 0 0 25 0 1 0 820259505 113696768 26277 33554432000 4194304 9163163 140733223524368 18446744073709551615 7315584 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26625/statm: 27758 26277 621 1214 0 26540 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 111032
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.11 3/435 26642
/proc/meminfo: memFree=12231200/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=111032 CPUtime=582.3 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 45774 0 0 0 58186 44 0 0 25 0 1 0 820259505 113696768 26288 33554432000 4194304 9163163 140733223524368 18446744073709551615 7359007 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26625/statm: 27758 26288 621 1214 0 26540 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 111032
[startup+642.3 s]
################
# More data... #
################
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 50160 0 0 0 100160 68 0 0 25 0 1 0 820259505 121581568 28050 33554432000 4194304 9163163 140733223524368 18446744073709551615 7360960 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26625/statm: 29683 28050 621 1214 0 28465 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 118732
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.08 3/435 26695
/proc/meminfo: memFree=12258532/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=125288 CPUtime=1062.26 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 51806 0 0 0 106155 71 0 0 25 0 1 0 820259505 128294912 29696 33554432000 4194304 9163163 140733223524368 18446744073709551615 7360964 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26625/statm: 31322 29696 621 1214 0 30104 0
Current children cumulated CPU time (s) 1062.26
Current children cumulated vsize (KiB) 125288
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.07 3/435 26696
/proc/meminfo: memFree=12250460/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=125288 CPUtime=1122.26 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 51818 0 0 0 112151 75 0 0 25 0 1 0 820259505 128294912 29708 33554432000 4194304 9163163 140733223524368 18446744073709551615 7347658 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26625/statm: 31322 29708 621 1214 0 30104 0
Current children cumulated CPU time (s) 1122.26
Current children cumulated vsize (KiB) 125288
[startup+1182.3 s]
/proc/loadavg: 2.09 2.04 2.08 3/435 26699
/proc/meminfo: memFree=12243868/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=125288 CPUtime=1182.26 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 51829 0 0 0 118147 79 0 0 25 0 1 0 820259505 128294912 29719 33554432000 4194304 9163163 140733223524368 18446744073709551615 7360937 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26625/statm: 31322 29719 621 1214 0 30104 0
Current children cumulated CPU time (s) 1182.26
Current children cumulated vsize (KiB) 125288
[startup+1242.3 s]
/proc/loadavg: 2.07 2.05 2.07 3/435 26702
/proc/meminfo: memFree=12233932/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=125288 CPUtime=1242.25 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 54691 0 0 0 124143 82 0 0 25 0 1 0 820259505 128294912 29727 33554432000 4194304 9163163 140733223524368 18446744073709551615 7390328 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26625/statm: 31322 29727 621 1214 0 30104 0
Current children cumulated CPU time (s) 1242.25
Current children cumulated vsize (KiB) 125288
[startup+1302.3 s]
/proc/loadavg: 2.16 2.07 2.08 3/435 26703
/proc/meminfo: memFree=12223008/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=125288 CPUtime=1302.25 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 54717 0 0 0 130140 85 0 0 25 0 1 0 820259505 128294912 29753 33554432000 4194304 9163163 140733223524368 18446744073709551615 7347578 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26625/statm: 31322 29753 621 1214 0 30104 0
Current children cumulated CPU time (s) 1302.25
Current children cumulated vsize (KiB) 125288
[startup+1362.3 s]
/proc/loadavg: 2.11 2.07 2.08 3/435 26705
/proc/meminfo: memFree=12219144/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=125288 CPUtime=1362.24 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 54723 0 0 0 136136 88 0 0 25 0 1 0 820259505 128294912 29759 33554432000 4194304 9163163 140733223524368 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26625/statm: 31322 29759 621 1214 0 30104 0
Current children cumulated CPU time (s) 1362.24
Current children cumulated vsize (KiB) 125288
[startup+1422.3 s]
/proc/loadavg: 2.04 2.05 2.07 3/435 26706
/proc/meminfo: memFree=12218140/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=125288 CPUtime=1422.25 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 54732 0 0 0 142133 92 0 0 25 0 1 0 820259505 128294912 29768 33554432000 4194304 9163163 140733223524368 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26625/statm: 31322 29768 621 1214 0 30104 0
Current children cumulated CPU time (s) 1422.25
Current children cumulated vsize (KiB) 125288
[startup+1482.3 s]
/proc/loadavg: 2.14 2.08 2.08 3/435 26749
/proc/meminfo: memFree=12094076/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=125288 CPUtime=1481.83 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 60954 0 0 0 148084 99 0 0 25 0 1 0 820259505 128294912 29798 33554432000 4194304 9163163 140733223524368 18446744073709551615 7357868 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26625/statm: 31322 29798 621 1214 0 30104 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 125288
[startup+1542.32 s]
/proc/loadavg: 2.04 2.07 2.08 3/435 26751
/proc/meminfo: memFree=12023112/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=145684 CPUtime=1541.85 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 67424 0 0 0 154082 103 0 0 25 0 1 0 820259505 149180416 33109 33554432000 4194304 9163163 140733223524368 18446744073709551615 7390319 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26625/statm: 36421 33109 621 1214 0 35203 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 145684
[startup+1602.3 s]
/proc/loadavg: 2.02 2.05 2.07 3/435 26753
/proc/meminfo: memFree=12022608/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=145684 CPUtime=1601.83 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 67527 0 0 0 160079 104 0 0 25 0 1 0 820259505 149180416 33212 33554432000 4194304 9163163 140733223524368 18446744073709551615 7389552 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26625/statm: 36421 33212 621 1214 0 35203 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 145684
[startup+1662.3 s]
/proc/loadavg: 2.10 2.07 2.08 3/435 26756
/proc/meminfo: memFree=12022600/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=145684 CPUtime=1661.83 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 67550 0 0 0 166078 105 0 0 25 0 1 0 820259505 149180416 33235 33554432000 4194304 9163163 140733223524368 18446744073709551615 7390508 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26625/statm: 36421 33235 638 1214 0 35203 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 145684
[startup+1722.3 s]
/proc/loadavg: 2.15 2.09 2.08 3/435 26757
/proc/meminfo: memFree=12035368/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=128076 CPUtime=1721.83 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 70967 0 0 0 172075 108 0 0 25 0 1 0 820259505 131149824 30029 33554432000 4194304 9163163 140733223524368 18446744073709551615 7347649 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26625/statm: 32019 30029 621 1214 0 30801 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 128076
[startup+1782.3 s]
/proc/loadavg: 2.10 2.08 2.08 3/435 26762
/proc/meminfo: memFree=12032372/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=128076 CPUtime=1781.84 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 71387 0 0 0 178074 110 0 0 25 0 1 0 820259505 131149824 30449 33554432000 4194304 9163163 140733223524368 18446744073709551615 7348628 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26625/statm: 32019 30449 621 1214 0 30801 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 128076
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.08 2.08 2.08 3/435 26762
/proc/meminfo: memFree=12033100/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=128076 CPUtime=1800.04 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 71397 0 0 0 179894 110 0 0 25 0 1 0 820259505 131149824 30459 33554432000 4194304 9163163 140733223524368 18446744073709551615 7346928 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26625/statm: 32019 30459 621 1214 0 30801 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 128076
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -26625
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 2.08 2.08 2.08 3/436 26763
/proc/meminfo: memFree=12032100/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=128076 CPUtime=1801.03 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 71397 0 0 0 179993 110 0 0 25 0 1 0 820259505 131149824 30459 33554432000 4194304 9163163 140733223524368 18446744073709551615 7389566 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26625/statm: 32019 30459 621 1214 0 30801 0
Current children cumulated CPU time (s) 1801.03
Current children cumulated vsize (KiB) 128076
[startup+1802.3 s]
/proc/loadavg: 2.07 2.08 2.08 3/436 26763
/proc/meminfo: memFree=12032224/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=128076 CPUtime=1801.83 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 71397 0 0 0 180073 110 0 0 25 0 1 0 820259505 131149824 30459 33554432000 4194304 9163163 140733223524368 18446744073709551615 7360945 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26625/statm: 32019 30459 621 1214 0 30801 0
Current children cumulated CPU time (s) 1801.83
Current children cumulated vsize (KiB) 128076
[startup+1802.5 s]
/proc/loadavg: 2.07 2.08 2.08 3/436 26763
/proc/meminfo: memFree=12032224/32951132 swapFree=67093840/67111528
[pid=26625] ppid=26623 vsize=128076 CPUtime=1802.04 cores=0,2,4,6
/proc/26625/stat : 26625 (scip-2.0.1.4b.l) R 26623 26625 22627 0 -1 4202496 71397 0 0 0 180094 110 0 0 25 0 1 0 820259505 131149824 30459 33554432000 4194304 9163163 140733223524368 18446744073709551615 7348554 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26625/statm: 32019 30459 621 1214 0 30801 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 128076
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.52
CPU time (s): 1802.07
CPU user time (s): 1800.96
CPU system time (s): 1.11183
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 145684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.96
system time used= 1.11183
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71397
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= 2937
runsolver used 8.44871 second user time and 17.5673 second system time
The end