0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3484707-1307789902.opb>
0.29/0.32 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 62225 constraints
0.29/0.32 c problem read
0.29/0.32 c presolving settings loaded
0.39/0.47 o 0
0.39/0.47 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.39/0.47 c presolving:
0.49/0.55 c (round 1) 195 del vars, 195 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
0.69/0.74 c (round 2) 195 del vars, 892 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 61333 upgd conss, 2340 impls, 0 clqs
0.79/0.80 c (0.8s) probing: 101/1830 (5.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.79/0.80 c (0.8s) probing aborted: 100/100 successive totally useless probings
0.79/0.80 c presolving (3 rounds):
0.79/0.80 c 195 deleted vars, 892 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.79/0.80 c 2340 implications, 0 cliques
0.79/0.80 c presolved problem has 1830 variables (1830 bin, 0 int, 0 impl, 0 cont) and 61333 constraints
0.79/0.80 c 975 constraints of type <setppc>
0.79/0.80 c 60358 constraints of type <logicor>
0.79/0.80 c transformed objective value is always integral (scale: 1)
0.79/0.80 c Presolving Time: 0.44
0.79/0.80 c - non default parameters ----------------------------------------------------------------------
0.79/0.80 c # SCIP version 2.0.1.4
0.79/0.80 c
0.79/0.80 c # frequency for displaying node information lines
0.79/0.80 c # [type: int, range: [-1,2147483647], default: 100]
0.79/0.80 c display/freq = 10000
0.79/0.80 c
0.79/0.80 c # maximal time in seconds to run
0.79/0.80 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.80 c limits/time = 1797
0.79/0.80 c
0.79/0.80 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.80 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.80 c limits/memory = 13950
0.79/0.80 c
0.79/0.80 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.79/0.80 c # [type: int, range: [1,2], default: 1]
0.79/0.80 c timing/clocktype = 2
0.79/0.80 c
0.79/0.80 c # belongs reading time to solving time?
0.79/0.80 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.80 c timing/reading = TRUE
0.79/0.80 c
0.79/0.80 c # should presolving try to simplify inequalities
0.79/0.80 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.80 c constraints/linear/simplifyinequalities = TRUE
0.79/0.80 c
0.79/0.80 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.79/0.80 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.80 c constraints/indicator/addCouplingCons = TRUE
0.79/0.80 c
0.79/0.80 c # should presolving try to simplify knapsacks
0.79/0.80 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.80 c constraints/knapsack/simplifyinequalities = TRUE
0.79/0.80 c
0.79/0.80 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.79/0.80 c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.80 c separating/rapidlearning/freq = 0
0.79/0.80 c
0.79/0.80 c -----------------------------------------------------------------------------------------------
0.79/0.80 c start solving
0.79/0.80 c
156.10/156.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
156.10/156.18 c t 156s| 1 | 0 | 45806 | - | 74M| 0 |1809 |1830 | 61k|1830 | 61k| 0 | 0 | 0 |-2.708980e+02 | 0.000000e+00 | 100.00%
156.20/156.22 o -15
156.20/156.22 c R 156s| 1 | 0 | 45806 | - | 74M| 0 |1809 |1830 | 61k|1830 | 61k| 0 | 0 | 0 |-2.708980e+02 |-1.500000e+01 | 94.46%
156.20/156.28 o -16
156.20/156.28 c s 156s| 1 | 0 | 45806 | - | 74M| 0 |1809 |1830 | 61k|1830 | 61k| 0 | 0 | 0 |-2.708980e+02 |-1.600000e+01 | 94.09%
236.60/236.65 c 237s| 1 | 0 | 71720 | - | 76M| 0 |1812 |1830 | 61k|1830 | 61k| 3 | 0 | 0 |-2.698134e+02 |-1.600000e+01 | 94.07%
236.60/236.66 o -40
236.60/236.66 c b 237s| 1 | 0 | 71720 | - | 76M| 0 |1812 |1830 | 61k|1830 | 61k| 3 | 0 | 0 |-2.698134e+02 |-4.000000e+01 | 85.17%
336.39/336.44 c 336s| 1 | 0 |100665 | - | 80M| 0 |1818 |1830 | 61k|1830 | 61k| 9 | 0 | 0 |-2.686149e+02 |-4.000000e+01 | 85.11%
490.40/490.43 c 490s| 1 | 0 |134004 | - | 82M| 0 |1821 |1830 | 61k|1830 | 61k| 15 | 0 | 0 |-2.670948e+02 |-4.000000e+01 | 85.02%
657.11/657.18 c 657s| 1 | 0 |168799 | - | 88M| 0 |1811 |1830 | 61k|1830 | 61k| 24 | 0 | 0 |-2.610143e+02 |-4.000000e+01 | 84.68%
809.41/809.42 c 809s| 1 | 0 |206427 | - | 94M| 0 |1811 |1830 | 61k|1830 | 61k| 29 | 0 | 0 |-2.597040e+02 |-4.000000e+01 | 84.60%
974.62/974.66 c 975s| 1 | 0 |245935 | - | 100M| 0 |1811 |1830 | 61k|1830 | 61k| 78 | 0 | 0 |-2.551883e+02 |-4.000000e+01 | 84.33%
1196.22/1196.26 c 1196s| 1 | 0 |290888 | - | 105M| 0 |1809 |1830 | 61k|1830 | 61k| 104 | 0 | 0 |-2.480660e+02 |-4.000000e+01 | 83.88%
1322.72/1322.73 c 1323s| 1 | 0 |317514 | - | 112M| 0 |1803 |1830 | 61k|1830 | 61k| 107 | 0 | 0 |-2.470614e+02 |-4.000000e+01 | 83.81%
1500.44/1500.43 c 1500s| 1 | 0 |353518 | - | 119M| 0 |1810 |1830 | 61k|1830 | 61k| 110 | 0 | 0 |-2.458455e+02 |-4.000000e+01 | 83.73%
1682.83/1682.89 c 1683s| 1 | 0 |390200 | - | 126M| 0 |1814 |1830 | 61k|1830 | 61k| 112 | 0 | 0 |-2.454055e+02 |-4.000000e+01 | 83.70%
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-3484707-1307789902/watcher-3484707-1307789902 -o /tmp/evaluation-result-3484707-1307789902/solver-3484707-1307789902 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3484707-1307789902.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.01 2.01 1.94 3/177 25930
/proc/meminfo: memFree=31232124/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=9968 CPUtime=0 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 1498 0 0 0 0 0 0 0 25 0 1 0 871405555 10207232 1452 33554432000 4194304 8979876 140733359714976 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25930/statm: 2492 1452 366 1169 0 1319 0
[startup+0.06121 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 25930
/proc/meminfo: memFree=31232124/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=16344 CPUtime=0.05 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 3093 0 0 0 5 0 0 0 25 0 1 0 871405555 16736256 3047 33554432000 4194304 8979876 140733359714976 18446744073709551615 7836048 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25930/statm: 4086 3047 366 1169 0 2913 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16344
[startup+0.100203 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 25930
/proc/meminfo: memFree=31232124/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=18072 CPUtime=0.09 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 3526 0 0 0 9 0 0 0 25 0 1 0 871405555 18505728 3480 33554432000 4194304 8979876 140733359714976 18446744073709551615 7718827 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25930/statm: 4518 3480 366 1169 0 3345 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18072
[startup+0.300177 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 25930
/proc/meminfo: memFree=31232124/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=28888 CPUtime=0.29 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 6224 0 0 0 29 0 0 0 25 0 1 0 871405555 29581312 6178 33554432000 4194304 8979876 140733359714976 18446744073709551615 7836083 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25930/statm: 7222 6178 366 1169 0 6049 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28888
[startup+0.701102 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 25930
/proc/meminfo: memFree=31232124/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=99984 CPUtime=0.69 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 30471 0 0 0 66 3 0 0 25 0 1 0 871405555 102383616 23606 33554432000 4194304 8979876 140733359714976 18446744073709551615 5266174 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 24996 23606 506 1169 0 23823 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 99984
[startup+1.50096 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 25931
/proc/meminfo: memFree=31062132/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=210348 CPUtime=1.49 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 57324 0 0 0 142 7 0 0 25 0 1 0 871405555 215396352 48314 33554432000 4194304 8979876 140733359714976 18446744073709551615 7146192 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 52587 48314 1190 1169 0 51414 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 210348
[startup+3.10067 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 25931
/proc/meminfo: memFree=31036960/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=219056 CPUtime=3.09 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 60854 0 0 0 301 8 0 0 25 0 1 0 871405555 224313344 50832 33554432000 4194304 8979876 140733359714976 18446744073709551615 6937217 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 54764 50832 652 1169 0 53591 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 219056
[startup+6.30111 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 25931
/proc/meminfo: memFree=31020896/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=224656 CPUtime=6.29 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 63182 0 0 0 619 10 0 0 25 0 1 0 871405555 230047744 53160 33554432000 4194304 8979876 140733359714976 18446744073709551615 7170362 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 56164 53160 669 1169 0 54991 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 224656
[startup+12.701 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 25931
/proc/meminfo: memFree=31014276/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=231664 CPUtime=12.69 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 64915 0 0 0 1257 12 0 0 25 0 1 0 871405555 237223936 54893 33554432000 4194304 8979876 140733359714976 18446744073709551615 7147101 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 57916 54893 787 1169 0 56743 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 231664
[startup+25.5007 s]
/proc/loadavg: 2.01 2.00 1.94 3/178 25932
/proc/meminfo: memFree=31013964/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=231664 CPUtime=25.49 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 65054 0 0 0 2535 14 0 0 25 0 1 0 871405555 237223936 54924 33554432000 4194304 8979876 140733359714976 18446744073709551615 7197454 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 57916 54924 705 1169 0 56743 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 231664
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 25932
/proc/meminfo: memFree=31012012/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=240000 CPUtime=51.09 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 65375 0 0 0 5091 18 0 0 25 0 1 0 871405555 245760000 55219 33554432000 4194304 8979876 140733359714976 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 60000 55219 679 1169 0 58827 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 240000
[startup+102.306 s]
/proc/loadavg: 2.04 2.01 1.95 3/178 25934
/proc/meminfo: memFree=31010816/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=240000 CPUtime=102.29 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 65385 0 0 0 10205 24 0 0 25 0 1 0 871405555 245760000 55229 33554432000 4194304 8979876 140733359714976 18446744073709551615 7146976 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 60000 55229 679 1169 0 58827 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 240000
[startup+162.301 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 25944
/proc/meminfo: memFree=31015852/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=226648 CPUtime=162.3 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 66715 0 0 0 16197 33 0 0 25 0 1 0 871405555 232087552 53489 33554432000 4194304 8979876 140733359714976 18446744073709551615 7164585 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 56662 53489 703 1169 0 55489 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 226648
[startup+222.301 s]
/proc/loadavg: 2.05 2.02 1.95 3/178 25946
/proc/meminfo: memFree=30998088/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=248004 CPUtime=222.29 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 71109 0 0 0 22187 42 0 0 25 0 1 0 871405555 253956096 57883 33554432000 4194304 8979876 140733359714976 18446744073709551615 7145191 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 62001 57883 705 1169 0 60828 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 248004
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 25985
/proc/meminfo: memFree=30927916/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=237500 CPUtime=282.3 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 73412 0 0 0 28177 53 0 0 25 0 1 0 871405555 243200000 56126 33554432000 4194304 8979876 140733359714976 18446744073709551615 7092998 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 59375 56126 691 1169 0 58202 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 237500
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 1.95 3/178 25987
/proc/meminfo: memFree=30927280/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=237500 CPUtime=342.3 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 73463 0 0 0 34169 61 0 0 25 0 1 0 871405555 243200000 56177 33554432000 4194304 8979876 140733359714976 18446744073709551615 6601233 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 59375 56177 691 1169 0 58202 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 237500
[startup+402.3 s]
/proc/loadavg: 2.04 2.02 1.96 3/178 25989
/proc/meminfo: memFree=30928616/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=237500 CPUtime=402.3 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 74098 0 0 0 40153 77 0 0 25 0 1 0 871405555 243200000 56812 33554432000 4194304 8979876 140733359714976 18446744073709551615 6883584 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 59375 56812 691 1169 0 58202 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 237500
[startup+462.301 s]
/proc/loadavg: 2.01 2.01 1.96 3/178 25990
/proc/meminfo: memFree=30928700/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=237500 CPUtime=462.3 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 74098 0 0 0 46147 83 0 0 25 0 1 0 871405555 243200000 56812 33554432000 4194304 8979876 140733359714976 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 59375 56812 691 1169 0 58202 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 237500
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 1.96 3/178 25992
/proc/meminfo: memFree=30909692/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=237500 CPUtime=522.3 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 74098 0 0 0 52133 97 0 0 25 0 1 0 871405555 243200000 56812 33554432000 4194304 8979876 140733359714976 18446744073709551615 6601243 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 59375 56812 691 1169 0 58202 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 237500
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 25994
/proc/meminfo: memFree=30901100/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=245484 CPUtime=582.3 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 76148 0 0 0 58121 109 0 0 25 0 1 0 871405555 251375616 58797 33554432000 4194304 8979876 140733359714976 18446744073709551615 7147101 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 61371 58797 728 1169 0 60198 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 245484
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26000
/proc/meminfo: memFree=30891908/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=256056 CPUtime=822.31 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 78326 0 0 0 82086 145 0 0 25 0 1 0 871405555 262201344 60938 33554432000 4194304 8979876 140733359714976 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 64014 60938 692 1169 0 62841 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 256056
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26002
/proc/meminfo: memFree=30890136/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=256056 CPUtime=882.31 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 78442 0 0 0 88077 154 0 0 25 0 1 0 871405555 262201344 61054 33554432000 4194304 8979876 140733359714976 18446744073709551615 7146360 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 64014 61054 692 1169 0 62841 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 256056
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26003
/proc/meminfo: memFree=30884276/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=259488 CPUtime=942.31 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 80373 0 0 0 94071 160 0 0 25 0 1 0 871405555 265715712 62981 33554432000 4194304 8979876 140733359714976 18446744073709551615 7193819 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 64872 62981 1276 1169 0 63699 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 259488
[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 26005
/proc/meminfo: memFree=30884368/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=259488 CPUtime=1002.31 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 80373 0 0 0 100058 173 0 0 25 0 1 0 871405555 265715712 62981 33554432000 4194304 8979876 140733359714976 18446744073709551615 6601961 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 64872 62981 1276 1169 0 63699 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 259488
[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/178 26006
/proc/meminfo: memFree=30875908/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=266912 CPUtime=1062.32 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 81584 0 0 0 106047 185 0 0 25 0 1 0 871405555 273317888 63774 33554432000 4194304 8979876 140733359714976 18446744073709551615 7146498 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 66728 63774 858 1169 0 65555 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 266912
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26008
/proc/meminfo: memFree=30868064/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=266912 CPUtime=1122.32 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 81733 0 0 0 112041 191 0 0 25 0 1 0 871405555 273317888 63923 33554432000 4194304 8979876 140733359714976 18446744073709551615 7146596 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 66728 63923 858 1169 0 65555 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 266912
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26009
/proc/meminfo: memFree=30860860/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=266912 CPUtime=1182.32 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 81781 0 0 0 118035 197 0 0 25 0 1 0 871405555 273317888 63971 33554432000 4194304 8979876 140733359714976 18446744073709551615 6820756 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 66728 63971 858 1169 0 65555 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 266912
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26011
/proc/meminfo: memFree=30858080/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=268828 CPUtime=1242.32 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 82472 0 0 0 124022 210 0 0 25 0 1 0 871405555 275279872 64555 33554432000 4194304 8979876 140733359714976 18446744073709551615 7146279 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 67207 64555 751 1169 0 66034 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 268828
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26013
/proc/meminfo: memFree=30838824/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=288580 CPUtime=1302.33 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 87637 0 0 0 130011 222 0 0 25 0 1 0 871405555 295505920 69479 33554432000 4194304 8979876 140733359714976 18446744073709551615 7170369 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 72145 69479 1030 1169 0 70972 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 288580
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26014
/proc/meminfo: memFree=30838168/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=288580 CPUtime=1362.32 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 87687 0 0 0 135998 234 0 0 25 0 1 0 871405555 295505920 69479 33554432000 4194304 8979876 140733359714976 18446744073709551615 6293627 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 72145 69479 980 1169 0 70972 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 288580
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26016
/proc/meminfo: memFree=30819672/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=293604 CPUtime=1422.33 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 90692 0 0 0 141989 244 0 0 25 0 1 0 871405555 300650496 72026 33554432000 4194304 8979876 140733359714976 18446744073709551615 6829044 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 73401 72026 1537 1169 0 72228 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 293604
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26018
/proc/meminfo: memFree=30818780/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=293604 CPUtime=1482.32 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 90726 0 0 0 147981 251 0 0 25 0 1 0 871405555 300650496 72029 33554432000 4194304 8979876 140733359714976 18446744073709551615 7146596 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 73401 72029 1506 1169 0 72228 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 293604
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26020
/proc/meminfo: memFree=30827416/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=299780 CPUtime=1542.33 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 90989 0 0 0 153968 265 0 0 25 0 1 0 871405555 306974720 72292 33554432000 4194304 8979876 140733359714976 18446744073709551615 7146192 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 74945 72292 1506 1169 0 73772 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 299780
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26024
/proc/meminfo: memFree=30802476/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=303460 CPUtime=1602.33 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 92190 0 0 0 159958 275 0 0 25 0 1 0 871405555 310743040 73213 33554432000 4194304 8979876 140733359714976 18446744073709551615 7093044 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 75865 73213 1226 1169 0 74692 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 303460
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 1.97 3/178 26026
/proc/meminfo: memFree=30802472/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=303460 CPUtime=1662.34 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 92190 0 0 0 165951 283 0 0 25 0 1 0 871405555 310743040 73213 33554432000 4194304 8979876 140733359714976 18446744073709551615 7146517 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 75865 73213 1226 1169 0 74692 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 303460
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 26028
/proc/meminfo: memFree=30799964/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=303460 CPUtime=1722.33 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 92192 0 0 0 171937 296 0 0 25 0 1 0 871405555 310743040 73215 33554432000 4194304 8979876 140733359714976 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 75865 73215 1228 1169 0 74692 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 303460
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 26030
/proc/meminfo: memFree=30789768/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=310920 CPUtime=1782.34 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 95979 0 0 0 177927 307 0 0 25 0 1 0 871405555 318382080 76356 33554432000 4194304 8979876 140733359714976 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 77730 76356 1874 1169 0 76557 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 310920
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 26030
/proc/meminfo: memFree=30788512/32951124 swapFree=67057920/67111528
[pid=25930] ppid=25928 vsize=310920 CPUtime=1800.04 cores=1,3,5,7
/proc/25930/stat : 25930 (scip-2.0.1.4_2.) R 25928 25930 22888 0 -1 4202496 96279 0 0 0 179695 309 0 0 25 0 1 0 871405555 318382080 76360 33554432000 4194304 8979876 140733359714976 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25930/statm: 77730 76360 1578 1169 0 76557 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 310920
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.02
CPU time (s): 1800.06
CPU user time (s): 1796.95
CPU system time (s): 3.10953
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 310920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.95
system time used= 3.10953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96279
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= 20499
runsolver used 2.73958 second user time and 6.09407 second system time
The end