0.00/0.00 c SCIP version 2.0.1.5 [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-3488159-1307789583.opb>
0.29/0.34 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 63342 constraints
0.29/0.34 c problem read
0.29/0.34 c presolving settings loaded
0.39/0.42 o 0
0.39/0.42 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.39/0.42 c presolving:
0.39/0.49 c (round 1) 189 del vars, 189 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
0.59/0.69 c (round 2) 189 del vars, 841 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 62501 upgd conss, 2340 impls, 0 clqs
0.69/0.76 c (0.8s) probing: 101/1836 (5.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.69/0.76 c (0.8s) probing aborted: 100/100 successive totally useless probings
0.69/0.76 c presolving (3 rounds):
0.69/0.76 c 189 deleted vars, 841 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.69/0.76 c 2340 implications, 0 cliques
0.69/0.76 c presolved problem has 1836 variables (1836 bin, 0 int, 0 impl, 0 cont) and 62501 constraints
0.69/0.76 c 981 constraints of type <setppc>
0.69/0.76 c 61520 constraints of type <logicor>
0.69/0.76 c transformed objective value is always integral (scale: 1)
0.69/0.76 c Presolving Time: 0.35
0.69/0.76 c - non default parameters ----------------------------------------------------------------------
0.69/0.76 c # SCIP version 2.0.1.5
0.69/0.76 c
0.69/0.76 c # frequency for displaying node information lines
0.69/0.76 c # [type: int, range: [-1,2147483647], default: 100]
0.69/0.76 c display/freq = 10000
0.69/0.76 c
0.69/0.76 c # maximal time in seconds to run
0.69/0.76 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.76 c limits/time = 1797
0.69/0.76 c
0.69/0.76 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.76 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.76 c limits/memory = 13950
0.69/0.76 c
0.69/0.76 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.69/0.76 c # [type: int, range: [1,2], default: 1]
0.69/0.76 c timing/clocktype = 2
0.69/0.76 c
0.69/0.76 c # belongs reading time to solving time?
0.69/0.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.76 c timing/reading = TRUE
0.69/0.76 c
0.69/0.76 c # should presolving try to simplify inequalities
0.69/0.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.76 c constraints/linear/simplifyinequalities = TRUE
0.69/0.76 c
0.69/0.76 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.69/0.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.76 c constraints/indicator/addCouplingCons = TRUE
0.69/0.76 c
0.69/0.76 c # should presolving try to simplify knapsacks
0.69/0.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.76 c constraints/knapsack/simplifyinequalities = TRUE
0.69/0.76 c
0.69/0.76 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.69/0.76 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.76 c separating/rapidlearning/freq = 0
0.69/0.76 c
0.69/0.76 c -----------------------------------------------------------------------------------------------
0.69/0.76 c start solving
0.69/0.76 c
42.49/42.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.49/42.57 c t42.6s| 1 | 0 | 25026 | - | 80M| 0 |1796 |1836 | 62k|1836 | 62k| 0 | 0 | 0 |-2.495794e+02 | 0.000000e+00 | 100.00%
42.59/42.62 o -18
42.59/42.62 c R42.6s| 1 | 0 | 25026 | - | 80M| 0 |1796 |1836 | 62k|1836 | 62k| 0 | 0 | 0 |-2.495794e+02 |-1.800000e+01 | 92.79%
42.59/42.68 o -19
42.59/42.68 c s42.7s| 1 | 0 | 25026 | - | 80M| 0 |1796 |1836 | 62k|1836 | 62k| 0 | 0 | 0 |-2.495794e+02 |-1.900000e+01 | 92.39%
126.50/126.54 c 127s| 1 | 0 | 50983 | - | 82M| 0 |1807 |1836 | 62k|1836 | 62k| 9 | 0 | 0 |-2.468313e+02 |-1.900000e+01 | 92.30%
126.50/126.55 o -37
126.50/126.55 c b 127s| 1 | 0 | 50983 | - | 82M| 0 |1807 |1836 | 62k|1836 | 62k| 9 | 0 | 0 |-2.468313e+02 |-3.700000e+01 | 85.01%
348.61/348.69 c 349s| 1 | 0 | 91837 | - | 82M| 0 |1809 |1836 | 62k|1836 | 62k| 20 | 0 | 0 |-2.387800e+02 |-3.700000e+01 | 84.50%
348.71/348.73 o -47
348.71/348.73 c b 349s| 1 | 0 | 91837 | - | 82M| 0 |1809 |1836 | 62k|1836 | 62k| 20 | 0 | 0 |-2.387800e+02 |-4.700000e+01 | 80.32%
569.52/569.55 c 570s| 1 | 0 |134810 | - | 82M| 0 |1817 |1836 | 62k|1836 | 62k| 27 | 0 | 0 |-2.305560e+02 |-4.700000e+01 | 79.61%
713.83/713.82 c 714s| 1 | 0 |161601 | - | 87M| 0 |1807 |1836 | 62k|1836 | 62k| 30 | 0 | 0 |-2.287458e+02 |-4.700000e+01 | 79.45%
781.93/781.91 c 782s| 1 | 0 |171691 | - | 89M| 0 |1815 |1836 | 62k|1836 | 62k| 33 | 0 | 0 |-2.281234e+02 |-4.700000e+01 | 79.40%
930.94/930.99 c 931s| 1 | 0 |206049 | - | 95M| 0 |1809 |1836 | 62k|1836 | 62k| 37 | 0 | 0 |-2.276812e+02 |-4.700000e+01 | 79.36%
1213.35/1213.33 c 1213s| 1 | 0 |263411 | - | 98M| 0 |1821 |1836 | 62k|1836 | 62k| 43 | 0 | 0 |-2.259203e+02 |-4.700000e+01 | 79.20%
1414.96/1414.90 c 1415s| 1 | 0 |301320 | - | 106M| 0 |1805 |1836 | 62k|1836 | 62k| 47 | 0 | 0 |-2.253172e+02 |-4.700000e+01 | 79.14%
1673.97/1673.94 c 1674s| 1 | 0 |347395 | - | 111M| 0 |1818 |1836 | 62k|1836 | 62k| 51 | 0 | 0 |-2.250321e+02 |-4.700000e+01 | 79.11%
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-3488159-1307789583/watcher-3488159-1307789583 -o /tmp/evaluation-result-3488159-1307789583/solver-3488159-1307789583 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488159-1307789583.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: 1.99 1.99 1.96 3/177 24399
/proc/meminfo: memFree=31312052/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=12828 CPUtime=0 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 2184 0 0 0 0 0 0 0 23 0 1 0 890554985 13135872 2138 33554432000 4194304 9016284 140734175034464 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24399/statm: 3207 2140 360 1178 0 2025 0
[startup+0.032477 s]
/proc/loadavg: 1.99 1.99 1.96 3/177 24399
/proc/meminfo: memFree=31312052/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=17024 CPUtime=0.02 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 3234 0 0 0 2 0 0 0 23 0 1 0 890554985 17432576 3188 33554432000 4194304 9016284 140734175034464 18446744073709551615 7842240 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24399/statm: 4256 3188 360 1178 0 3074 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17024
[startup+0.100471 s]
/proc/loadavg: 1.99 1.99 1.96 3/177 24399
/proc/meminfo: memFree=31312052/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=22844 CPUtime=0.09 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 4708 0 0 0 9 0 0 0 23 0 1 0 890554985 23392256 4662 33554432000 4194304 9016284 140734175034464 18446744073709551615 6179770 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24399/statm: 5711 4662 360 1178 0 4529 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22844
[startup+0.300428 s]
/proc/loadavg: 1.99 1.99 1.96 3/177 24399
/proc/meminfo: memFree=31312052/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=36704 CPUtime=0.29 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 8156 0 0 0 29 0 0 0 25 0 1 0 890554985 37584896 8110 33554432000 4194304 9016284 140734175034464 18446744073709551615 7870473 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24399/statm: 9176 8110 360 1178 0 7994 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36704
[startup+0.700349 s]
/proc/loadavg: 1.99 1.99 1.96 3/177 24399
/proc/meminfo: memFree=31312052/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=101124 CPUtime=0.69 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 29137 0 0 0 66 3 0 0 25 0 1 0 890554985 103550976 23927 33554432000 4194304 9016284 140734175034464 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 25281 23927 505 1178 0 24099 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 101124
[startup+1.50119 s]
/proc/loadavg: 1.99 1.99 1.96 4/178 24400
/proc/meminfo: memFree=31143552/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=210120 CPUtime=1.49 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 55805 0 0 0 143 6 0 0 25 0 1 0 890554985 215162880 48180 33554432000 4194304 9016284 140734175034464 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 52530 48180 1155 1178 0 51348 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 210120
[startup+3.10087 s]
/proc/loadavg: 1.99 1.99 1.96 4/178 24401
/proc/meminfo: memFree=31110508/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=215876 CPUtime=3.09 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 59543 0 0 0 303 6 0 0 25 0 1 0 890554985 221057024 51100 33554432000 4194304 9016284 140734175034464 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 53969 51100 662 1178 0 52787 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 215876
[startup+6.30024 s]
/proc/loadavg: 1.99 1.99 1.96 4/178 24401
/proc/meminfo: memFree=31106160/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=227784 CPUtime=6.29 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 64757 0 0 0 619 10 0 0 25 0 1 0 890554985 233250816 52139 33554432000 4194304 9016284 140734175034464 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 56946 52139 630 1178 0 55764 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 227784
[startup+12.701 s]
/proc/loadavg: 1.99 1.99 1.96 4/178 24401
/proc/meminfo: memFree=31104192/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=227784 CPUtime=12.69 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 65017 0 0 0 1258 11 0 0 25 0 1 0 890554985 233250816 52399 33554432000 4194304 9016284 140734175034464 18446744073709551615 7181678 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 56946 52399 635 1178 0 55764 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 227784
[startup+25.5004 s]
/proc/loadavg: 1.99 1.99 1.96 4/178 24401
/proc/meminfo: memFree=31104440/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=227784 CPUtime=25.49 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 65032 0 0 0 2536 13 0 0 25 0 1 0 890554985 233250816 52414 33554432000 4194304 9016284 140734175034464 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 56946 52414 635 1178 0 55764 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 227784
[startup+51.1003 s]
/proc/loadavg: 1.99 1.99 1.96 4/178 24402
/proc/meminfo: memFree=31103820/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=224316 CPUtime=51.09 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 65963 0 0 0 5091 18 0 0 25 0 1 0 890554985 229699584 52572 33554432000 4194304 9016284 140734175034464 18446744073709551615 7180996 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 56079 52572 697 1178 0 54897 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 224316
[startup+102.306 s]
/proc/loadavg: 2.06 2.00 1.97 4/178 24403
/proc/meminfo: memFree=31092704/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=232940 CPUtime=102.3 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 69846 0 0 0 10204 26 0 0 25 0 1 0 890554985 238530560 55769 33554432000 4194304 9016284 140734175034464 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 58235 55769 699 1178 0 57053 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 232940
[startup+162.301 s]
/proc/loadavg: 2.02 2.00 1.97 3/178 24405
/proc/meminfo: memFree=31091604/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=232940 CPUtime=162.3 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 69855 0 0 0 16189 41 0 0 25 0 1 0 890554985 238530560 55778 33554432000 4194304 9016284 140734175034464 18446744073709551615 6922736 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 58235 55778 704 1178 0 57053 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 232940
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 24406
/proc/meminfo: memFree=31082744/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=240300 CPUtime=222.31 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 72946 0 0 0 22177 54 0 0 25 0 1 0 890554985 246067200 58869 33554432000 4194304 9016284 140734175034464 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 60075 58869 1981 1178 0 58893 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 240300
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.97 4/178 24408
/proc/meminfo: memFree=31081712/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=240300 CPUtime=282.3 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 72949 0 0 0 28171 59 0 0 25 0 1 0 890554985 246067200 58872 33554432000 4194304 9016284 140734175034464 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 60075 58872 1981 1178 0 58893 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 240300
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.97 4/178 24410
/proc/meminfo: memFree=31081408/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=240300 CPUtime=342.3 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 72950 0 0 0 34166 64 0 0 25 0 1 0 890554985 246067200 58873 33554432000 4194304 9016284 140734175034464 18446744073709551615 6855222 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 60075 58873 1981 1178 0 58893 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 240300
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.97 4/178 24411
/proc/meminfo: memFree=31095984/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=225868 CPUtime=402.31 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 73355 0 0 0 40152 79 0 0 25 0 1 0 890554985 231288832 53905 33554432000 4194304 9016284 140734175034464 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 56467 53905 704 1178 0 55285 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 225868
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.97 4/178 24413
/proc/meminfo: memFree=31086028/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=240400 CPUtime=462.31 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 77117 0 0 0 46144 87 0 0 25 0 1 0 890554985 246169600 57667 33554432000 4194304 9016284 140734175034464 18446744073709551615 7180679 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 60100 57667 2054 1178 0 58918 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 240400
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.97 4/178 24423
/proc/meminfo: memFree=31085700/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=240400 CPUtime=522.32 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 77121 0 0 0 52139 93 0 0 25 0 1 0 890554985 246169600 57671 33554432000 4194304 9016284 140734175034464 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 60100 57671 2054 1178 0 58918 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 240400
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 24425
/proc/meminfo: memFree=31085660/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=240400 CPUtime=582.31 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 77121 0 0 0 58130 101 0 0 25 0 1 0 890554985 246169600 57671 33554432000 4194304 9016284 140734175034464 18446744073709551615 7875936 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 60100 57671 2054 1178 0 58918 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 240400
[startup+642.3 s]
################
# More data... #
################
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 99204 0 0 0 100060 174 0 0 25 0 1 0 890554985 253935616 60812 33554432000 4194304 9016284 140734175034464 18446744073709551615 7124261 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 61996 60812 675 1178 0 60814 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 247984
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.97 4/178 24441
/proc/meminfo: memFree=31031664/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=258640 CPUtime=1062.34 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 101043 0 0 0 106054 180 0 0 25 0 1 0 890554985 264847360 62651 33554432000 4194304 9016284 140734175034464 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 64660 62651 675 1178 0 63478 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 258640
[startup+1122.3 s]
/proc/loadavg: 2.05 2.01 1.98 4/178 24442
/proc/meminfo: memFree=31038316/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=258640 CPUtime=1122.35 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 101043 0 0 0 112049 186 0 0 25 0 1 0 890554985 264847360 62651 33554432000 4194304 9016284 140734175034464 18446744073709551615 7181505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 64660 62651 675 1178 0 63478 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 258640
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 1.98 4/178 24444
/proc/meminfo: memFree=31021180/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=258640 CPUtime=1182.34 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 101046 0 0 0 118043 191 0 0 25 0 1 0 890554985 264847360 62654 33554432000 4194304 9016284 140734175034464 18446744073709551615 7143969 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 64660 62654 675 1178 0 63478 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 258640
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 24445
/proc/meminfo: memFree=31009364/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=273412 CPUtime=1242.35 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 103954 0 0 0 124033 202 0 0 25 0 1 0 890554985 279973888 65562 33554432000 4194304 9016284 140734175034464 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 68353 65562 676 1178 0 67171 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 273412
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.98 4/178 24447
/proc/meminfo: memFree=31020872/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=266092 CPUtime=1302.36 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 105345 0 0 0 130025 211 0 0 25 0 1 0 890554985 272478208 62700 33554432000 4194304 9016284 140734175034464 18446744073709551615 7124303 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 66523 62700 675 1178 0 65341 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 266092
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 4/178 24449
/proc/meminfo: memFree=31011528/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=273508 CPUtime=1362.35 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 108604 0 0 0 136018 217 0 0 25 0 1 0 890554985 280072192 65959 33554432000 4194304 9016284 140734175034464 18446744073709551615 6863412 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 68377 65959 1830 1178 0 67195 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 273508
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 4/178 24450
/proc/meminfo: memFree=31007632/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=273508 CPUtime=1422.36 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 108635 0 0 0 142013 223 0 0 25 0 1 0 890554985 280072192 65959 33554432000 4194304 9016284 140734175034464 18446744073709551615 6578058 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 68377 65959 1799 1178 0 67195 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 273508
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 24452
/proc/meminfo: memFree=31011072/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=271368 CPUtime=1482.36 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 111449 0 0 0 147998 238 0 0 25 0 1 0 890554985 277880832 64378 33554432000 4194304 9016284 140734175034464 18446744073709551615 6855210 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 67842 64378 675 1178 0 66660 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 271368
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 4/178 24454
/proc/meminfo: memFree=31007932/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=271368 CPUtime=1542.36 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 111521 0 0 0 153989 247 0 0 25 0 1 0 890554985 277880832 64450 33554432000 4194304 9016284 140734175034464 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 67842 64450 675 1178 0 66660 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 271368
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 4/178 24455
/proc/meminfo: memFree=31010992/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=274916 CPUtime=1602.37 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 113087 0 0 0 159982 255 0 0 25 0 1 0 890554985 281513984 66016 33554432000 4194304 9016284 140734175034464 18446744073709551615 7181472 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 68729 66016 675 1178 0 67547 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 274916
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 1.98 4/178 24457
/proc/meminfo: memFree=31008600/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=282396 CPUtime=1662.37 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 113710 0 0 0 165977 260 0 0 25 0 1 0 890554985 289173504 66639 33554432000 4194304 9016284 140734175034464 18446744073709551615 7181505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 70599 66639 675 1178 0 69417 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 282396
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.98 4/178 24458
/proc/meminfo: memFree=31007564/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=282396 CPUtime=1722.37 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 113958 0 0 0 171966 271 0 0 25 0 1 0 890554985 289173504 66887 33554432000 4194304 9016284 140734175034464 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 70599 66887 675 1178 0 69417 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 282396
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 24651
/proc/meminfo: memFree=31019740/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=286220 CPUtime=1782.37 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 117739 0 0 0 177959 278 0 0 25 0 1 0 890554985 293089280 69792 33554432000 4194304 9016284 140734175034464 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 71555 69792 836 1178 0 70373 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 286220
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 24651
/proc/meminfo: memFree=31015272/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=286220 CPUtime=1800.08 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 117739 0 0 0 179728 280 0 0 25 0 1 0 890554985 293089280 69792 33554432000 4194304 9016284 140734175034464 18446744073709551615 7180382 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 71555 69792 836 1178 0 70373 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 286220
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -24399
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 24652
/proc/meminfo: memFree=31015264/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=286220 CPUtime=1801.48 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 117739 0 0 0 179868 280 0 0 25 0 1 0 890554985 293089280 69792 33554432000 4194304 9016284 140734175034464 18446744073709551615 7181501 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 71555 69792 836 1178 0 70373 0
Current children cumulated CPU time (s) 1801.48
Current children cumulated vsize (KiB) 286220
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 24652
/proc/meminfo: memFree=31015140/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=286220 CPUtime=1801.88 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 117739 0 0 0 179908 280 0 0 25 0 1 0 890554985 293089280 69792 33554432000 4194304 9016284 140734175034464 18446744073709551615 7181501 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 71555 69792 836 1178 0 70373 0
Current children cumulated CPU time (s) 1801.88
Current children cumulated vsize (KiB) 286220
[startup+1802 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 24652
/proc/meminfo: memFree=31015140/32950928 swapFree=67053888/67111528
[pid=24399] ppid=24397 vsize=286220 CPUtime=1802.08 cores=1,3,5,7
/proc/24399/stat : 24399 (scip-2.0.1.4b_2) R 24397 24399 23551 0 -1 4202496 117739 0 0 0 179928 280 0 0 25 0 1 0 890554985 293089280 69792 33554432000 4194304 9016284 140734175034464 18446744073709551615 7181387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24399/statm: 71555 69792 836 1178 0 70373 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 286220
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.02
CPU time (s): 1802.1
CPU user time (s): 1799.29
CPU system time (s): 2.81457
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 286220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 2.81457
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117739
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= 2
involuntary context switches= 2660
runsolver used 2.76158 second user time and 6.69598 second system time
The end