0.00/0.00 c SCIP version 2.0.1.4 [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-3451891-1307114788.opb>
0.09/0.19 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 29096 constraints
0.09/0.19 c problem read
0.09/0.19 c presolving settings loaded
0.19/0.26 o 0
0.19/0.26 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.26 c presolving:
0.29/0.31 c (round 1) 594 del vars, 594 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
0.39/0.40 c (round 2) 594 del vars, 5084 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 24012 upgd conss, 2340 impls, 0 clqs
0.39/0.44 c (0.4s) probing: 101/1431 (7.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.44 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.39/0.44 c presolving (3 rounds):
0.39/0.44 c 594 deleted vars, 5084 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.44 c 2340 implications, 0 cliques
0.39/0.44 c presolved problem has 1431 variables (1431 bin, 0 int, 0 impl, 0 cont) and 24012 constraints
0.39/0.44 c 576 constraints of type <setppc>
0.39/0.44 c 23436 constraints of type <logicor>
0.39/0.44 c transformed objective value is always integral (scale: 1)
0.39/0.44 c Presolving Time: 0.23
0.39/0.44 c - non default parameters ----------------------------------------------------------------------
0.39/0.44 c # SCIP version 2.0.1.4
0.39/0.44 c
0.39/0.44 c # frequency for displaying node information lines
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.44 c display/freq = 10000
0.39/0.44 c
0.39/0.44 c # maximal time in seconds to run
0.39/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.44 c limits/time = 1800
0.39/0.44 c
0.39/0.44 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.44 c limits/memory = 13950
0.39/0.44 c
0.39/0.44 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.44 c # [type: int, range: [1,2], default: 1]
0.39/0.44 c timing/clocktype = 2
0.39/0.44 c
0.39/0.44 c # belongs reading time to solving time?
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c timing/reading = TRUE
0.39/0.44 c
0.39/0.44 c # should presolving try to simplify inequalities
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c constraints/linear/simplifyinequalities = TRUE
0.39/0.44 c
0.39/0.44 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c constraints/indicator/addCouplingCons = TRUE
0.39/0.44 c
0.39/0.44 c # should presolving try to simplify knapsacks
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.44 c
0.39/0.44 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.44 c separating/rapidlearning/freq = 0
0.39/0.44 c
0.39/0.44 c -----------------------------------------------------------------------------------------------
0.39/0.44 c start solving
0.39/0.44 c
1.99/2.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.99/2.08 c t 2.1s| 1 | 0 | 6441 | - | 33M| 0 |1392 |1431 | 24k|1431 | 24k| 0 | 0 | 0 |-2.432500e+02 | 0.000000e+00 | 100.00%
2.11/2.13 o -4
2.11/2.13 c R 2.1s| 1 | 0 | 6441 | - | 33M| 0 |1392 |1431 | 24k|1431 | 24k| 0 | 0 | 0 |-2.432500e+02 |-4.000000e+00 | 98.36%
2.11/2.18 o -6
2.11/2.18 c s 2.2s| 1 | 0 | 6441 | - | 33M| 0 |1392 |1431 | 24k|1431 | 24k| 0 | 0 | 0 |-2.432500e+02 |-6.000000e+00 | 97.53%
3.39/3.49 c 3.5s| 1 | 0 | 9285 | - | 34M| 0 |1410 |1431 | 24k|1431 | 24k| 2 | 0 | 0 |-2.401928e+02 |-6.000000e+00 | 97.50%
3.39/3.49 o -23
3.39/3.49 c b 3.5s| 1 | 0 | 9285 | - | 34M| 0 |1410 |1431 | 24k|1431 | 24k| 2 | 0 | 0 |-2.401928e+02 |-2.300000e+01 | 90.42%
5.59/5.69 c 5.7s| 1 | 0 | 14945 | - | 35M| 0 |1421 |1431 | 24k|1431 | 24k| 10 | 0 | 0 |-2.370810e+02 |-2.300000e+01 | 90.30%
8.39/8.44 c 8.4s| 1 | 0 | 20752 | - | 35M| 0 |1417 |1431 | 24k|1431 | 24k| 19 | 0 | 0 |-2.351913e+02 |-2.300000e+01 | 90.22%
12.49/12.53 c 12.5s| 1 | 0 | 28544 | - | 37M| 0 |1424 |1431 | 24k|1431 | 24k| 33 | 0 | 0 |-2.317529e+02 |-2.300000e+01 | 90.08%
28.09/28.13 c 28.1s| 1 | 0 | 45105 | - | 38M| 0 |1429 |1431 | 24k|1431 | 24k| 48 | 0 | 0 |-2.285519e+02 |-2.300000e+01 | 89.94%
45.29/45.36 c 45.4s| 1 | 0 | 55573 | - | 40M| 0 |1430 |1431 | 24k|1431 | 24k| 53 | 0 | 0 |-2.269697e+02 |-2.300000e+01 | 89.87%
81.70/81.79 c 81.8s| 1 | 0 | 82055 | - | 42M| 0 |1428 |1431 | 24k|1431 | 24k| 70 | 0 | 0 |-2.243510e+02 |-2.300000e+01 | 89.75%
127.20/127.28 c 127s| 1 | 0 |105790 | - | 42M| 0 |1426 |1431 | 24k|1431 | 24k| 131 | 0 | 0 |-2.206296e+02 |-2.300000e+01 | 89.58%
155.60/155.69 c 156s| 1 | 0 |118842 | - | 42M| 0 |1426 |1431 | 24k|1431 | 24k| 137 | 0 | 0 |-2.197598e+02 |-2.300000e+01 | 89.53%
191.49/191.53 c 192s| 1 | 0 |136816 | - | 42M| 0 |1427 |1431 | 24k|1431 | 24k| 140 | 0 | 0 |-2.190049e+02 |-2.300000e+01 | 89.50%
216.40/216.46 c 216s| 1 | 0 |148159 | - | 42M| 0 |1427 |1431 | 24k|1431 | 24k| 144 | 0 | 0 |-2.186641e+02 |-2.300000e+01 | 89.48%
233.80/233.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
233.80/233.81 c 234s| 1 | 0 |153142 | - | 42M| 0 |1426 |1431 | 24k|1431 | 24k| 146 | 0 | 0 |-2.185486e+02 |-2.300000e+01 | 89.48%
257.00/257.09 c 257s| 1 | 0 |164336 | - | 42M| 0 |1423 |1431 | 24k|1431 | 24k| 148 | 0 | 0 |-2.178963e+02 |-2.300000e+01 | 89.44%
293.40/293.46 c 293s| 1 | 0 |182930 | - | 42M| 0 |1427 |1431 | 24k|1431 | 24k| 155 | 0 | 0 |-2.159392e+02 |-2.300000e+01 | 89.35%
337.50/337.59 c 338s| 1 | 0 |204852 | - | 43M| 0 |1426 |1431 | 23k|1431 | 24k| 236 | 0 | 0 |-2.120503e+02 |-2.300000e+01 | 89.15%
361.30/361.37 c 361s| 1 | 0 |218715 | - | 49M| 0 |1424 |1431 | 23k|1431 | 24k| 244 | 0 | 0 |-2.112287e+02 |-2.300000e+01 | 89.11%
377.10/377.11 c 377s| 1 | 0 |222959 | - | 54M| 0 |1426 |1431 | 23k|1431 | 24k| 246 | 0 | 0 |-2.111914e+02 |-2.300000e+01 | 89.11%
390.51/390.53 c 391s| 1 | 0 |228434 | - | 60M| 0 |1424 |1431 | 23k|1431 | 24k| 249 | 0 | 0 |-2.111442e+02 |-2.300000e+01 | 89.11%
416.40/416.43 c 416s| 1 | 0 |240048 | - | 60M| 0 |1420 |1431 | 23k|1431 | 24k| 275 | 0 | 0 |-2.087271e+02 |-2.300000e+01 | 88.98%
435.30/435.38 c 435s| 1 | 0 |245624 | - | 64M| 0 |1422 |1431 | 23k|1431 | 24k| 276 | 0 | 0 |-2.086775e+02 |-2.300000e+01 | 88.98%
466.90/466.91 c 467s| 1 | 2 |245624 | - | 64M| 0 |1422 |1431 | 23k|1431 | 24k| 276 | 0 | 28 |-2.086775e+02 |-2.300000e+01 | 88.98%
981.82/981.85 o -37
981.82/981.85 c p 982s| 8 | 9 |661465 |59405.9 | 67M| 4 | - |1431 | 23k|1431 | 24k| 276 | 2 | 208 |-2.086775e+02 |-3.700000e+01 | 82.27%
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Solving Time (sec) : 1800.00
1800.03/1800.00 c Solving Nodes : 11
1800.03/1800.00 c Primal Bound : -3.70000000000000e+01 (6 solutions)
1800.03/1800.00 c Dual Bound : -2.06532721762486e+02
1800.03/1800.00 c Gap : 82.09 %
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-3451891-1307114788/watcher-3451891-1307114788 -o /tmp/evaluation-result-3451891-1307114788/solver-3451891-1307114788 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3451891-1307114788.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.02 1.97 2/400 30816
/proc/meminfo: memFree=30080700/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=11936 CPUtime=0.01 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 1991 0 0 0 1 0 0 0 25 0 1 0 823078566 12222464 1944 33554432000 4194304 9128323 140735932090544 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/30816/statm: 2984 1944 400 1205 0 1775 0
[startup+0.0882301 s]
/proc/loadavg: 2.00 2.02 1.97 2/400 30816
/proc/meminfo: memFree=30080700/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=16828 CPUtime=0.08 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 3217 0 0 0 8 0 0 0 25 0 1 0 823078566 17231872 3168 33554432000 4194304 9128323 140735932090544 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/30816/statm: 4207 3168 400 1205 0 2998 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16828
[startup+0.100238 s]
/proc/loadavg: 2.00 2.02 1.97 2/400 30816
/proc/meminfo: memFree=30080700/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=16828 CPUtime=0.09 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 3220 0 0 0 9 0 0 0 25 0 1 0 823078566 17231872 3171 33554432000 4194304 9128323 140735932090544 18446744073709551615 6193865 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/30816/statm: 4207 3171 400 1205 0 2998 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16828
[startup+0.300205 s]
/proc/loadavg: 2.00 2.02 1.97 2/400 30816
/proc/meminfo: memFree=30080700/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=58020 CPUtime=0.29 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 13509 0 0 0 28 1 0 0 25 0 1 0 823078566 59412480 13160 33554432000 4194304 9128323 140735932090544 18446744073709551615 18446744073699065949 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 14505 13160 516 1205 0 13296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58020
[startup+0.701121 s]
/proc/loadavg: 2.00 2.02 1.97 2/400 30816
/proc/meminfo: memFree=30080700/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=103944 CPUtime=0.69 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 25784 0 0 0 66 3 0 0 25 0 1 0 823078566 106438656 23330 33554432000 4194304 9128323 140735932090544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 25986 23330 817 1205 0 24777 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 103944
[startup+1.50099 s]
/proc/loadavg: 2.00 2.02 1.97 3/401 30818
/proc/meminfo: memFree=29933924/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=111004 CPUtime=1.49 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 28157 0 0 0 145 4 0 0 25 0 1 0 823078566 113668096 25401 33554432000 4194304 9128323 140735932090544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 27751 25401 889 1205 0 26542 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 111004
[startup+3.10069 s]
/proc/loadavg: 2.00 2.02 1.97 3/401 30818
/proc/meminfo: memFree=29929460/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=110432 CPUtime=3.09 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 28980 0 0 0 303 6 0 0 25 0 1 0 823078566 113082368 25683 33554432000 4194304 9128323 140735932090544 18446744073709551615 7346378 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 27608 25683 713 1205 0 26399 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 110432
[startup+6.30113 s]
/proc/loadavg: 2.00 2.02 1.97 3/401 30818
/proc/meminfo: memFree=29922308/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=113176 CPUtime=6.29 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 32325 0 0 0 620 9 0 0 25 0 1 0 823078566 115892224 26802 33554432000 4194304 9128323 140735932090544 18446744073709551615 7346442 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 28294 26802 1277 1205 0 27085 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 113176
[startup+12.701 s]
/proc/loadavg: 2.00 2.02 1.97 3/401 30818
/proc/meminfo: memFree=29917860/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=116908 CPUtime=12.69 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 33533 0 0 0 1254 15 0 0 25 0 1 0 823078566 119713792 27914 33554432000 4194304 9128323 140735932090544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 29227 27914 1490 1205 0 28018 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 116908
[startup+25.5007 s]
/proc/loadavg: 2.00 2.02 1.97 3/401 30818
/proc/meminfo: memFree=29906876/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=119836 CPUtime=25.49 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 34840 0 0 0 2526 23 0 0 25 0 1 0 823078566 122712064 28873 33554432000 4194304 9128323 140735932090544 18446744073709551615 7380171 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 29959 28873 1389 1205 0 28750 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 119836
[startup+51.1011 s]
/proc/loadavg: 2.00 2.01 1.97 3/401 30819
/proc/meminfo: memFree=29895292/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=121008 CPUtime=51.1 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 38480 0 0 0 5072 38 0 0 25 0 1 0 823078566 123912192 28295 33554432000 4194304 9128323 140735932090544 18446744073709551615 7315295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 30252 28295 1058 1205 0 29043 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 121008
[startup+102.315 s]
/proc/loadavg: 2.00 2.01 1.97 3/401 30820
/proc/meminfo: memFree=29888008/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=121808 CPUtime=102.3 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 39567 0 0 0 10176 54 0 0 25 0 1 0 823078566 124731392 28057 33554432000 4194304 9128323 140735932090544 18446744073709551615 7315582 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 30452 28057 731 1205 0 29243 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 121808
[startup+162.3 s]
/proc/loadavg: 2.07 2.03 1.98 3/401 30822
/proc/meminfo: memFree=29864896/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=123888 CPUtime=162.29 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 44991 0 0 0 16153 76 0 0 25 0 1 0 823078566 126861312 29650 33554432000 4194304 9128323 140735932090544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 30972 29650 896 1205 0 29763 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 123888
[startup+222.301 s]
/proc/loadavg: 2.11 2.05 2.00 3/401 30823
/proc/meminfo: memFree=29868316/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=121780 CPUtime=222.3 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 48356 0 0 0 22128 102 0 0 25 0 1 0 823078566 124702720 28895 33554432000 4194304 9128323 140735932090544 18446744073709551615 8012585 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 30445 28895 702 1205 0 29236 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 121780
[startup+282.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/401 30825
/proc/meminfo: memFree=29849060/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=126092 CPUtime=282.3 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 63972 0 0 0 28097 133 0 0 25 0 1 0 823078566 129118208 30476 33554432000 4194304 9128323 140735932090544 18446744073709551615 7380906 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 31523 30476 709 1205 0 30314 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 126092
[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/401 30827
/proc/meminfo: memFree=29864772/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=119204 CPUtime=342.3 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 115782 0 0 0 34069 161 0 0 25 0 1 0 823078566 122064896 28248 33554432000 4194304 9128323 140735932090544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 29801 28248 691 1205 0 28592 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 119204
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 30828
/proc/meminfo: memFree=29833344/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=141448 CPUtime=402.31 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 121412 0 0 0 40043 188 0 0 25 0 1 0 823078566 144842752 33873 33554432000 4194304 9128323 140735932090544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 35362 33873 806 1205 0 34153 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 141448
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 30830
/proc/meminfo: memFree=29805144/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=151048 CPUtime=462.3 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 124364 0 0 0 46014 216 0 0 25 0 1 0 823078566 154673152 36683 33554432000 4194304 9128323 140735932090544 18446744073709551615 7192387 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 37762 36683 718 1205 0 36553 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 151048
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30831
/proc/meminfo: memFree=29786468/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=151276 CPUtime=522.3 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 124368 0 0 0 51990 240 0 0 25 0 1 0 823078566 154906624 36687 33554432000 4194304 9128323 140735932090544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 37819 36687 721 1205 0 36610 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 151276
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30833
/proc/meminfo: memFree=29778140/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=151276 CPUtime=582.3 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 124369 0 0 0 57965 265 0 0 25 0 1 0 823078566 154906624 36688 33554432000 4194304 9128323 140735932090544 18446744073709551615 6941078 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 37819 36688 721 1205 0 36610 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 151276
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/401 30839
/proc/meminfo: memFree=29773884/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=153944 CPUtime=822.32 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 126079 0 0 0 81863 369 0 0 25 0 1 0 823078566 157638656 37079 33554432000 4194304 9128323 140735932090544 18446744073709551615 7315582 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 38486 37079 715 1205 0 37277 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 153944
[startup+882.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/401 30841
/proc/meminfo: memFree=29778184/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=153408 CPUtime=882.31 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 127988 0 0 0 87837 394 0 0 25 0 1 0 823078566 157089792 37092 33554432000 4194304 9128323 140735932090544 18446744073709551615 7315305 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 38352 37092 909 1205 0 37143 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 153408
[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 30843
/proc/meminfo: memFree=29774316/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=153408 CPUtime=942.31 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 127991 0 0 0 93805 426 0 0 25 0 1 0 823078566 157089792 37092 33554432000 4194304 9128323 140735932090544 18446744073709551615 7315572 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 38352 37092 906 1205 0 37143 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 153408
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 30844
/proc/meminfo: memFree=29774396/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=153408 CPUtime=1002.32 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 127991 0 0 0 99773 459 0 0 25 0 1 0 823078566 157089792 37092 33554432000 4194304 9128323 140735932090544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 38352 37092 906 1205 0 37143 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 153408
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30846
/proc/meminfo: memFree=29777208/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=152128 CPUtime=1062.32 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 128538 0 0 0 105744 488 0 0 25 0 1 0 823078566 155779072 36240 33554432000 4194304 9128323 140735932090544 18446744073709551615 7315455 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 38032 36240 722 1205 0 36823 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 152128
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30847
/proc/meminfo: memFree=29775316/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=152776 CPUtime=1122.32 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 128992 0 0 0 111717 515 0 0 25 0 1 0 823078566 156442624 36694 33554432000 4194304 9128323 140735932090544 18446744073709551615 7315299 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 38194 36694 722 1205 0 36985 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 152776
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30849
/proc/meminfo: memFree=29775280/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=152776 CPUtime=1182.32 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 129003 0 0 0 117690 542 0 0 25 0 1 0 823078566 156442624 36705 33554432000 4194304 9128323 140735932090544 18446744073709551615 7315568 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 38194 36705 722 1205 0 36985 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 152776
[startup+1242.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/401 30851
/proc/meminfo: memFree=29775624/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=152776 CPUtime=1242.33 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 129064 0 0 0 123664 569 0 0 25 0 1 0 823078566 156442624 36766 33554432000 4194304 9128323 140735932090544 18446744073709551615 7315303 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 38194 36766 722 1205 0 36985 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 152776
[startup+1302.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/401 30852
/proc/meminfo: memFree=29775480/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=152776 CPUtime=1302.34 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 129064 0 0 0 129643 591 0 0 25 0 1 0 823078566 156442624 36766 33554432000 4194304 9128323 140735932090544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 38194 36766 722 1205 0 36985 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 152776
[startup+1362.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/401 30854
/proc/meminfo: memFree=29774332/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=152776 CPUtime=1362.33 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 129064 0 0 0 135619 614 0 0 25 0 1 0 823078566 156442624 36766 33554432000 4194304 9128323 140735932090544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 38194 36766 722 1205 0 36985 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 152776
[startup+1422.31 s]
/proc/loadavg: 2.02 2.03 2.00 3/401 30855
/proc/meminfo: memFree=29774656/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=152776 CPUtime=1422.34 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 129064 0 0 0 141598 636 0 0 25 0 1 0 823078566 156442624 36766 33554432000 4194304 9128323 140735932090544 18446744073709551615 7278876 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 38194 36766 722 1205 0 36985 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 152776
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 30857
/proc/meminfo: memFree=29764204/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=152776 CPUtime=1482.33 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 129064 0 0 0 147574 659 0 0 25 0 1 0 823078566 156442624 36766 33554432000 4194304 9128323 140735932090544 18446744073709551615 7284948 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 38194 36766 722 1205 0 36985 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 152776
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 30859
/proc/meminfo: memFree=29775968/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=152776 CPUtime=1542.33 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 129064 0 0 0 153550 683 0 0 25 0 1 0 823078566 156442624 36766 33554432000 4194304 9128323 140735932090544 18446744073709551615 7081204 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 38194 36766 722 1205 0 36985 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 152776
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30860
/proc/meminfo: memFree=29775928/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=152776 CPUtime=1602.34 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 129064 0 0 0 159528 706 0 0 25 0 1 0 823078566 156442624 36766 33554432000 4194304 9128323 140735932090544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 38194 36766 722 1205 0 36985 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 152776
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30862
/proc/meminfo: memFree=29768580/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=152776 CPUtime=1662.34 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 129064 0 0 0 165503 731 0 0 25 0 1 0 823078566 156442624 36766 33554432000 4194304 9128323 140735932090544 18446744073709551615 7083241 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 38194 36766 722 1205 0 36985 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 152776
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30863
/proc/meminfo: memFree=29768412/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=152776 CPUtime=1722.33 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 129064 0 0 0 171480 753 0 0 25 0 1 0 823078566 156442624 36766 33554432000 4194304 9128323 140735932090544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 38194 36766 722 1205 0 36985 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 152776
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30865
/proc/meminfo: memFree=29766768/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=152776 CPUtime=1782.34 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 129064 0 0 0 177457 777 0 0 25 0 1 0 823078566 156442624 36766 33554432000 4194304 9128323 140735932090544 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30816/statm: 38194 36766 722 1205 0 36985 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 152776
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.07 2.02 2.00 2/399 30866
/proc/meminfo: memFree=29978824/32950904 swapFree=56615552/67111528
[pid=30816] ppid=30814 vsize=152776 CPUtime=1800.05 cores=1,3,5,7
/proc/30816/stat : 30816 (scip-2.0.1.4.li) R 30814 30816 27067 0 -1 4202496 129064 0 0 0 179223 782 0 0 25 0 1 0 823078566 156442624 36766 33554432000 4194304 9128323 140735932090544 18446744073709551615 4592289 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/30816/statm: 38194 36766 722 1205 0 36985 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 152776
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.07
CPU user time (s): 1792.23
CPU system time (s): 7.83581
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 155428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.23
system time used= 7.83581
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129064
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= 2536
runsolver used 6.52201 second user time and 16.4575 second system time
The end