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-3453488-1307119002.opb>
1.59/1.64 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245087 constraints
1.59/1.64 c problem read
1.59/1.64 c presolving settings loaded
2.39/2.49 c presolving:
8.81/8.87 c (round 1) 7157 del vars, 21128 del conss, 0 add conss, 5477 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16645844 impls, 0 clqs
11.59/11.66 c (round 2) 14673 del vars, 51593 del conss, 0 add conss, 12593 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16685275 impls, 0 clqs
12.49/12.51 c (round 3) 17423 del vars, 64162 del conss, 0 add conss, 14246 chg bounds, 77 chg sides, 93 chg coeffs, 0 upgd conss, 16701988 impls, 0 clqs
12.89/12.93 c (round 4) 18766 del vars, 69711 del conss, 0 add conss, 15090 chg bounds, 145 chg sides, 190 chg coeffs, 0 upgd conss, 16713853 impls, 0 clqs
13.11/13.19 c (round 5) 19583 del vars, 72843 del conss, 0 add conss, 15593 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16720730 impls, 0 clqs
13.29/13.38 c (round 6) 20114 del vars, 74972 del conss, 0 add conss, 15883 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16726927 impls, 0 clqs
13.49/13.52 c (round 7) 20463 del vars, 76373 del conss, 0 add conss, 16075 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16731707 impls, 0 clqs
13.59/13.64 c (round 8) 20700 del vars, 77328 del conss, 0 add conss, 16209 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16734444 impls, 0 clqs
13.69/13.74 c (round 9) 20923 del vars, 78205 del conss, 0 add conss, 16339 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16738254 impls, 0 clqs
13.79/13.84 c (round 10) 21111 del vars, 78985 del conss, 0 add conss, 16450 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16740948 impls, 0 clqs
13.89/13.93 c (round 11) 21291 del vars, 79623 del conss, 0 add conss, 16559 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16744592 impls, 0 clqs
13.99/14.02 c (round 12) 21429 del vars, 80226 del conss, 0 add conss, 16649 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16746102 impls, 0 clqs
14.09/14.11 c (round 13) 21511 del vars, 80608 del conss, 0 add conss, 16700 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16746955 impls, 0 clqs
14.21/14.23 c (round 14) 21551 del vars, 80795 del conss, 0 add conss, 16731 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16747173 impls, 0 clqs
14.21/14.28 c (round 15) 21567 del vars, 80896 del conss, 0 add conss, 16731 chg bounds, 147 chg sides, 194 chg coeffs, 0 upgd conss, 16747261 impls, 0 clqs
14.89/14.96 c (round 16) 21567 del vars, 80904 del conss, 0 add conss, 16731 chg bounds, 147 chg sides, 194 chg coeffs, 164183 upgd conss, 16747261 impls, 0 clqs
15.99/16.00 c (round 17) 21567 del vars, 80931 del conss, 63 add conss, 16731 chg bounds, 268 chg sides, 502 chg coeffs, 164183 upgd conss, 16747261 impls, 0 clqs
545.52/545.55 c (545.5s) probing: 1000/51275 (2.0%) - 0 fixings, 0 aggregations, 11963354 implications, 0 bound changes
985.72/985.74 c (985.7s) probing: 2000/51275 (3.9%) - 0 fixings, 0 aggregations, 18466880 implications, 0 bound changes
986.02/986.02 c (986.0s) probing: 2001/51275 (3.9%) - 0 fixings, 0 aggregations, 18469286 implications, 0 bound changes
986.02/986.02 c (986.0s) probing aborted: 2000/2000 successive useless probings
986.02/986.02 c presolving (18 rounds):
986.02/986.02 c 21567 deleted vars, 80945 deleted constraints, 63 added constraints, 16731 tightened bounds, 0 added holes, 268 changed sides, 505 changed coefficients
986.02/986.02 c 84569993 implications, 0 cliques
986.02/986.02 c presolved problem has 51275 variables (51275 bin, 0 int, 0 impl, 0 cont) and 164205 constraints
986.02/986.02 c 1085 constraints of type <knapsack>
986.02/986.02 c 137826 constraints of type <setppc>
986.02/986.02 c 25294 constraints of type <logicor>
986.02/986.02 c transformed objective value is always integral (scale: 1)
986.02/986.02 c Presolving Time: 984.16
986.02/986.02 c - non default parameters ----------------------------------------------------------------------
986.02/986.02 c # SCIP version 2.0.1.4
986.02/986.02 c
986.02/986.02 c # frequency for displaying node information lines
986.02/986.02 c # [type: int, range: [-1,2147483647], default: 100]
986.02/986.02 c display/freq = 10000
986.02/986.02 c
986.02/986.02 c # maximal time in seconds to run
986.02/986.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
986.02/986.02 c limits/time = 1800
986.02/986.02 c
986.02/986.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
986.02/986.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
986.02/986.03 c limits/memory = 13950
986.02/986.03 c
986.02/986.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
986.02/986.03 c # [type: int, range: [1,2], default: 1]
986.02/986.03 c timing/clocktype = 2
986.02/986.03 c
986.02/986.03 c # belongs reading time to solving time?
986.02/986.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
986.02/986.03 c timing/reading = TRUE
986.02/986.03 c
986.02/986.03 c # should presolving try to simplify inequalities
986.02/986.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
986.02/986.03 c constraints/linear/simplifyinequalities = TRUE
986.02/986.03 c
986.02/986.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
986.02/986.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
986.02/986.03 c constraints/indicator/addCouplingCons = TRUE
986.02/986.03 c
986.02/986.03 c # should presolving try to simplify knapsacks
986.02/986.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
986.02/986.03 c constraints/knapsack/simplifyinequalities = TRUE
986.02/986.03 c
986.02/986.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
986.02/986.03 c # [type: int, range: [-1,2147483647], default: -1]
986.02/986.03 c separating/rapidlearning/freq = 0
986.02/986.03 c
986.02/986.03 c -----------------------------------------------------------------------------------------------
986.02/986.03 c start solving
986.02/986.06 c
1206.33/1206.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1206.33/1206.38 c 1206s| 1 | 0 | 48011 | - |2481M| 0 | 816 | 51k| 164k| 51k| 164k| 0 | 29 | 0 | 1.120000e+02 | -- | Inf
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-3453488-1307119002/watcher-3453488-1307119002 -o /tmp/evaluation-result-3453488-1307119002/solver-3453488-1307119002 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453488-1307119002.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.12 2.07 2.02 2/572 23234
/proc/meminfo: memFree=30136524/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=13216 CPUtime=0.01 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 2310 0 0 0 1 0 0 0 25 0 1 0 823498993 13533184 2263 33554432000 4194304 9128323 140736743473312 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23234/statm: 3304 2263 400 1205 0 2095 0
[startup+0.044014 s]
/proc/loadavg: 2.12 2.07 2.02 2/572 23234
/proc/meminfo: memFree=30136524/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=17452 CPUtime=0.04 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 3379 0 0 0 4 0 0 0 25 0 1 0 823498993 17870848 3331 33554432000 4194304 9128323 140736743473312 18446744073709551615 6889426 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23234/statm: 4363 3331 400 1205 0 3154 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17452
[startup+0.101005 s]
/proc/loadavg: 2.12 2.07 2.02 2/572 23234
/proc/meminfo: memFree=30136524/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=27512 CPUtime=0.09 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 5889 0 0 0 9 0 0 0 25 0 1 0 823498993 28172288 5840 33554432000 4194304 9128323 140736743473312 18446744073709551615 6165712 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23234/statm: 6878 5840 400 1205 0 5669 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27512
[startup+0.300969 s]
/proc/loadavg: 2.12 2.07 2.02 2/572 23234
/proc/meminfo: memFree=30136524/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=50216 CPUtime=0.29 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 11589 0 0 0 28 1 0 0 25 0 1 0 823498993 51421184 11508 33554432000 4194304 9128323 140736743473312 18446744073709551615 7902512 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23234/statm: 12554 11508 400 1205 0 11345 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50216
[startup+0.700895 s]
/proc/loadavg: 2.12 2.07 2.02 2/572 23234
/proc/meminfo: memFree=30136524/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=69412 CPUtime=0.69 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 16373 0 0 0 68 1 0 0 25 0 1 0 823498993 71077888 16284 33554432000 4194304 9128323 140736743473312 18446744073709551615 6521173 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23234/statm: 17353 16284 400 1205 0 16144 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 69412
[startup+1.50075 s]
/proc/loadavg: 2.11 2.07 2.02 3/573 23235
/proc/meminfo: memFree=30048228/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=131212 CPUtime=1.49 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 31796 0 0 0 146 3 0 0 25 0 1 0 823498993 134361088 31691 33554432000 4194304 9128323 140736743473312 18446744073709551615 8008915 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23234/statm: 32803 31691 400 1205 0 31594 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 131212
[startup+3.10053 s]
/proc/loadavg: 2.11 2.07 2.02 3/573 23235
/proc/meminfo: memFree=29804072/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=471440 CPUtime=3.09 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 126967 0 0 0 295 14 0 0 25 0 1 0 823498993 482754560 114873 33554432000 4194304 9128323 140736743473312 18446744073709551615 6889805 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23234/statm: 117860 114873 501 1205 0 116651 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 471440
[startup+6.30098 s]
/proc/loadavg: 2.11 2.07 2.02 3/573 23235
/proc/meminfo: memFree=29440256/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=758504 CPUtime=6.29 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 197957 0 0 0 608 21 0 0 25 0 1 0 823498993 776708096 185863 33554432000 4194304 9128323 140736743473312 18446744073709551615 6889345 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23234/statm: 189626 185863 510 1205 0 188417 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 758504
[startup+12.7008 s]
/proc/loadavg: 2.09 2.07 2.02 3/573 23235
/proc/meminfo: memFree=29239624/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=888272 CPUtime=12.69 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 229586 0 0 0 1244 25 0 0 25 0 1 0 823498993 909590528 216330 33554432000 4194304 9128323 140736743473312 18446744073709551615 6594428 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23234/statm: 222068 216330 523 1205 0 220859 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 888272
[startup+25.5005 s]
/proc/loadavg: 2.08 2.06 2.02 3/573 23236
/proc/meminfo: memFree=29119604/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=973124 CPUtime=25.49 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 264222 0 0 0 2521 28 0 0 25 0 1 0 823498993 996478976 236659 33554432000 4194304 9128323 140736743473312 18446744073709551615 4784750 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23234/statm: 243281 236659 604 1205 0 242072 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 973124
[startup+51.101 s]
/proc/loadavg: 2.05 2.06 2.01 3/573 23236
/proc/meminfo: memFree=29020680/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=1027704 CPUtime=51.09 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 277328 0 0 0 5080 29 0 0 25 0 1 0 823498993 1052368896 249765 33554432000 4194304 9128323 140736743473312 18446744073709551615 6593104 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23234/statm: 256926 249765 604 1205 0 255717 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1027704
[startup+102.322 s]
/proc/loadavg: 2.02 2.05 2.01 3/573 23238
/proc/meminfo: memFree=28694464/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=1205168 CPUtime=102.32 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 321221 0 0 0 10198 34 0 0 25 0 1 0 823498993 1234092032 293592 33554432000 4194304 9128323 140736743473312 18446744073709551615 6593403 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23234/statm: 301292 293592 604 1205 0 300083 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 1205168
[startup+162.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/573 23239
/proc/meminfo: memFree=28384432/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=1427716 CPUtime=162.3 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 376093 0 0 0 16189 41 0 0 25 0 1 0 823498993 1461981184 347738 33554432000 4194304 9128323 140736743473312 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23234/statm: 356929 347738 604 1205 0 355720 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1427716
[startup+222.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/573 23241
/proc/meminfo: memFree=27964908/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=1609804 CPUtime=222.29 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 421891 0 0 0 22183 46 0 0 25 0 1 0 823498993 1648439296 393536 33554432000 4194304 9128323 140736743473312 18446744073709551615 4352172 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23234/statm: 402451 393536 604 1205 0 401242 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1609804
[startup+282.301 s]
/proc/loadavg: 2.13 2.07 2.01 3/573 23243
/proc/meminfo: memFree=27642096/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=1856008 CPUtime=282.3 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 483590 0 0 0 28176 54 0 0 25 0 1 0 823498993 1900552192 455235 33554432000 4194304 9128323 140736743473312 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23234/statm: 464002 455235 604 1205 0 462793 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1856008
[startup+342.301 s]
/proc/loadavg: 2.05 2.06 2.01 3/573 23244
/proc/meminfo: memFree=27425804/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=1994848 CPUtime=342.3 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 517749 0 0 0 34171 59 0 0 25 0 1 0 823498993 2042724352 489394 33554432000 4194304 9128323 140736743473312 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23234/statm: 498712 489394 604 1205 0 497503 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1994848
[startup+402.3 s]
/proc/loadavg: 2.10 2.08 2.01 3/573 23246
/proc/meminfo: memFree=27139336/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=2176492 CPUtime=402.3 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 562269 0 0 0 40165 65 0 0 25 0 1 0 823498993 2228727808 533914 33554432000 4194304 9128323 140736743473312 18446744073709551615 5488619 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23234/statm: 544123 533914 604 1205 0 542914 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2176492
[startup+462.301 s]
/proc/loadavg: 2.12 2.09 2.02 3/573 23247
/proc/meminfo: memFree=26994596/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=2240340 CPUtime=462.3 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 578307 0 0 0 46163 67 0 0 25 0 1 0 823498993 2294108160 549952 33554432000 4194304 9128323 140736743473312 18446744073709551615 6593127 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23234/statm: 560085 549952 604 1205 0 558876 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2240340
[startup+522.301 s]
/proc/loadavg: 2.08 2.08 2.02 3/573 23249
/proc/meminfo: memFree=26808808/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=2352728 CPUtime=522.3 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 606439 0 0 0 52159 71 0 0 25 0 1 0 823498993 2409193472 578018 33554432000 4194304 9128323 140736743473312 18446744073709551615 4782515 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23234/statm: 588182 578018 604 1205 0 586973 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2352728
[startup+582.3 s]
/proc/loadavg: 2.03 2.07 2.01 3/573 23251
/proc/meminfo: memFree=26599092/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=2485568 CPUtime=582.3 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 639874 0 0 0 58155 75 0 0 25 0 1 0 823498993 2545221632 611453 33554432000 4194304 9128323 140736743473312 18446744073709551615 4242463 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23234/statm: 621392 611453 608 1205 0 620183 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2485568
[startup+642.3 s]
################
# More data... #
################
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 832867 0 0 0 106122 110 0 0 25 0 1 0 823498993 3339878400 799295 33554432000 4194304 9128323 140736743473312 18446744073709551615 7312751 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23234/statm: 815400 799295 718 1205 0 814191 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 3261600
[startup+1122.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/573 23265
/proc/meminfo: memFree=25227892/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=3278516 CPUtime=1122.32 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 838932 0 0 0 112115 117 0 0 25 0 1 0 823498993 3357200384 804868 33554432000 4194304 9128323 140736743473312 18446744073709551615 8008980 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23234/statm: 819629 804868 751 1205 0 818420 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3278516
[startup+1182.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/573 23267
/proc/meminfo: memFree=25163488/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=3281040 CPUtime=1182.32 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 839100 0 0 0 118110 122 0 0 25 0 1 0 823498993 3359784960 805030 33554432000 4194304 9128323 140736743473312 18446744073709551615 7343439 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23234/statm: 820260 805030 745 1205 0 819051 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3281040
[startup+1242.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/573 23268
/proc/meminfo: memFree=25092520/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=3290036 CPUtime=1242.32 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 854010 0 0 0 124102 130 0 0 25 0 1 0 823498993 3368996864 809466 33554432000 4194304 9128323 140736743473312 18446744073709551615 7315586 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23234/statm: 822509 809466 3219 1205 0 821300 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3290036
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 23270
/proc/meminfo: memFree=25028236/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=3290036 CPUtime=1302.34 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 854013 0 0 0 130099 135 0 0 25 0 1 0 823498993 3368996864 809468 33554432000 4194304 9128323 140736743473312 18446744073709551615 7312704 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23234/statm: 822509 809468 3218 1205 0 821300 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 3290036
[startup+1362.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/573 23271
/proc/meminfo: memFree=24966948/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=3290036 CPUtime=1362.33 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 854013 0 0 0 136094 139 0 0 25 0 1 0 823498993 3368996864 809468 33554432000 4194304 9128323 140736743473312 18446744073709551615 7325763 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23234/statm: 822509 809468 3218 1205 0 821300 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3290036
[startup+1422.32 s]
/proc/loadavg: 2.06 2.05 2.01 3/573 23273
/proc/meminfo: memFree=24890288/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=3290036 CPUtime=1422.35 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 854013 0 0 0 142092 143 0 0 25 0 1 0 823498993 3368996864 809468 33554432000 4194304 9128323 140736743473312 18446744073709551615 7325458 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23234/statm: 822509 809468 3218 1205 0 821300 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 3290036
[startup+1482.3 s]
/proc/loadavg: 1.42 1.87 1.95 2/567 23302
/proc/meminfo: memFree=28690788/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=3251636 CPUtime=1482.33 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 855131 0 0 0 148074 159 0 0 25 0 1 0 823498993 3329675264 802292 33554432000 4194304 9128323 140736743473312 18446744073709551615 6309894 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23234/statm: 812909 802292 840 1205 0 811700 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3251636
[startup+1542.3 s]
/proc/loadavg: 1.15 1.71 1.88 2/567 23303
/proc/meminfo: memFree=28691248/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=3251636 CPUtime=1542.33 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 855248 0 0 0 154074 159 0 0 25 0 1 0 823498993 3329675264 802379 33554432000 4194304 9128323 140736743473312 18446744073709551615 6243307 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23234/statm: 812909 802379 861 1205 0 811700 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3251636
[startup+1602.3 s]
/proc/loadavg: 1.05 1.58 1.83 2/567 23305
/proc/meminfo: memFree=28691196/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=3251636 CPUtime=1602.33 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 855248 0 0 0 160074 159 0 0 25 0 1 0 823498993 3329675264 802379 33554432000 4194304 9128323 140736743473312 18446744073709551615 6243307 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23234/statm: 812909 802379 861 1205 0 811700 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3251636
[startup+1662.3 s]
/proc/loadavg: 1.02 1.47 1.77 2/567 23309
/proc/meminfo: memFree=28691616/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=3251636 CPUtime=1662.33 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 855248 0 0 0 166074 159 0 0 25 0 1 0 823498993 3329675264 802379 33554432000 4194304 9128323 140736743473312 18446744073709551615 6243307 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23234/statm: 812909 802379 861 1205 0 811700 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3251636
[startup+1722.3 s]
/proc/loadavg: 1.00 1.38 1.72 2/567 23311
/proc/meminfo: memFree=28691628/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=3251636 CPUtime=1722.33 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 855248 0 0 0 172074 159 0 0 25 0 1 0 823498993 3329675264 802379 33554432000 4194304 9128323 140736743473312 18446744073709551615 6243313 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23234/statm: 812909 802379 861 1205 0 811700 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3251636
[startup+1782.3 s]
/proc/loadavg: 1.00 1.31 1.67 2/567 23313
/proc/meminfo: memFree=28690336/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=3251636 CPUtime=1782.33 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 855248 0 0 0 178074 159 0 0 25 0 1 0 823498993 3329675264 802379 33554432000 4194304 9128323 140736743473312 18446744073709551615 6243307 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23234/statm: 812909 802379 861 1205 0 811700 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3251636
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.00 1.29 1.66 2/567 23313
/proc/meminfo: memFree=28691068/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=3251636 CPUtime=1800.05 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 855320 0 0 0 179846 159 0 0 25 0 1 0 823498993 3329675264 802451 33554432000 4194304 9128323 140736743473312 18446744073709551615 6244950 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23234/statm: 812909 802451 861 1205 0 811700 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3251636
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -23234
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.29 1.66 3/568 23314
/proc/meminfo: memFree=28689696/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=3251636 CPUtime=1801.43 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 855395 0 0 0 179984 159 0 0 25 0 1 0 823498993 3329675264 802524 33554432000 4194304 9128323 140736743473312 18446744073709551615 6244928 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23234/statm: 812909 802524 859 1205 0 811700 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 3251636
[startup+1801.82 s]
/proc/loadavg: 1.00 1.29 1.66 2/568 23314
/proc/meminfo: memFree=28689944/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=3251636 CPUtime=1801.86 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 855436 0 0 0 180027 159 0 0 25 0 1 0 823498993 3329675264 802565 33554432000 4194304 9128323 140736743473312 18446744073709551615 6244944 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23234/statm: 812909 802565 859 1205 0 811700 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 3251636
[startup+1802 s]
/proc/loadavg: 1.00 1.29 1.66 2/568 23314
/proc/meminfo: memFree=28689944/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=3251636 CPUtime=1802.03 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4202496 855462 0 0 0 180044 159 0 0 25 0 1 0 823498993 3329675264 802591 33554432000 4194304 9128323 140736743473312 18446744073709551615 6244953 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23234/statm: 812909 802591 859 1205 0 811700 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 3251636
[startup+1802.1 s]
/proc/loadavg: 1.00 1.29 1.66 2/568 23314
/proc/meminfo: memFree=28689944/32950928 swapFree=43925852/67111528
[pid=23234] ppid=23232 vsize=0 CPUtime=1802.14 cores=1,3,5,7
/proc/23234/stat : 23234 (scip-2.0.1.4.li) R 23232 23234 20770 0 -1 4203524 855462 0 0 0 180047 167 0 0 25 0 1 0 823498993 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/23234/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.14
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.14
CPU time (s): 1802.19
CPU user time (s): 1800.47
CPU system time (s): 1.71874
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3297836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.47
system time used= 1.71874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 855462
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= 3
involuntary context switches= 18037
runsolver used 9.96448 second user time and 24.4793 second system time
The end