0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3692943-1338041627.opb>
1.99/2.04 c original problem has 33692 variables (33692 bin, 0 int, 0 impl, 0 cont) and 740354 constraints
1.99/2.04 c problem read in 2.04
4.69/4.73 c presolving:
6.49/6.55 c (round 1) 263 del vars, 4367 del conss, 0 add conss, 263 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 323206 impls, 1330 clqs
6.69/6.71 c (round 2) 263 del vars, 7139 del conss, 0 add conss, 263 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 323206 impls, 1330 clqs
11.29/11.31 c (round 3) 263 del vars, 7181 del conss, 0 add conss, 263 chg bounds, 12 chg sides, 0 chg coeffs, 733222 upgd conss, 323206 impls, 1330 clqs
15.59/15.61 c (round 4) 288 del vars, 7201 del conss, 0 add conss, 263 chg bounds, 12 chg sides, 0 chg coeffs, 733222 upgd conss, 323682 impls, 1330 clqs
17.60/17.61 c (round 5) 313 del vars, 7226 del conss, 0 add conss, 263 chg bounds, 12 chg sides, 9 chg coeffs, 733224 upgd conss, 324082 impls, 1330 clqs
37.58/37.68 c (37.6s) probing: 488/33429 (1.5%) - 0 fixings, 73 aggregations, 141125 implications, 0 bound changes
37.58/37.68 c (37.6s) probing aborted: 50/50 successive totally useless probings
37.58/37.68 c (round 6) 336 del vars, 7251 del conss, 0 add conss, 263 chg bounds, 12 chg sides, 9 chg coeffs, 733224 upgd conss, 605456 impls, 1330 clqs
38.88/38.96 c (38.9s) probing: 493/33429 (1.5%) - 0 fixings, 73 aggregations, 141125 implications, 0 bound changes
38.88/38.96 c (38.9s) probing aborted: 50/50 successive totally useless probings
42.28/42.31 c presolving (7 rounds):
42.28/42.31 c 336 deleted vars, 7274 deleted constraints, 0 added constraints, 263 tightened bounds, 0 added holes, 12 changed sides, 9 changed coefficients
42.28/42.31 c 605456 implications, 1330 cliques
42.28/42.31 c presolved problem has 33356 variables (33356 bin, 0 int, 0 impl, 0 cont) and 733080 constraints
42.28/42.31 c 76057 constraints of type <knapsack>
42.28/42.31 c 146470 constraints of type <setppc>
42.28/42.31 c 1 constraints of type <linear>
42.28/42.31 c 510552 constraints of type <logicor>
42.28/42.31 c transformed objective value is always integral (scale: 1)
42.28/42.31 c Presolving Time: 39.68
42.28/42.31 c - non default parameters ----------------------------------------------------------------------
42.28/42.31 c # SCIP version 2.1.1.4
42.28/42.31 c
42.28/42.31 c # maximal time in seconds to run
42.28/42.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
42.28/42.31 c limits/time = 1797
42.28/42.31 c
42.28/42.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
42.28/42.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
42.28/42.31 c limits/memory = 13950
42.28/42.31 c
42.28/42.31 c # default clock type (1: CPU user seconds, 2: wall clock time)
42.28/42.31 c # [type: int, range: [1,2], default: 1]
42.28/42.31 c timing/clocktype = 2
42.28/42.31 c
42.28/42.31 c # belongs reading time to solving time?
42.28/42.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
42.28/42.31 c timing/reading = TRUE
42.28/42.31 c
42.28/42.31 c -----------------------------------------------------------------------------------------------
42.28/42.31 c start solving
42.28/42.34 c
91.47/91.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.47/91.51 c 91.5s| 1 | 0 | 7320 | - |1152M| 0 |2263 | 33k| 733k| 33k| 733k| 0 | 33 | 0 | 0.000000e+00 | -- | Inf
1447.85/1448.17 c 1448s| 1 | 0 | 45492 | - |1171M| 0 |2145 | 33k| 733k| 33k| 733k| 12 | 33 | 0 | 0.000000e+00 | -- | Inf
1714.91/1715.22 c 1715s| 1 | 0 | 46326 | - |1172M| 0 |1954 | 33k| 733k| 33k| 733k| 23 | 33 | 0 | 0.000000e+00 | -- | Inf
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3692943-1338041627/watcher-3692943-1338041627 -o /tmp/evaluation-result-3692943-1338041627/solver-3692943-1338041627 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692943-1338041627.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.05 2.01 2.00 3/176 32647
/proc/meminfo: memFree=26519688/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=10140 CPUtime=0 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 1271 0 0 0 0 0 0 0 20 0 1 0 270291335 10383360 1225 33554432000 4194304 10169799 140733689727696 140737370737496 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 2535 1237 409 1459 0 1067 0
[startup+0.0264371 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 32647
/proc/meminfo: memFree=26519688/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=13588 CPUtime=0.02 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 2144 0 0 0 2 0 0 0 20 0 1 0 270291335 13914112 2098 33554432000 4194304 10169799 140733689727696 140737370737496 8725176 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 3397 2098 409 1459 0 1929 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13588
[startup+0.100307 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 32647
/proc/meminfo: memFree=26519688/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=24252 CPUtime=0.09 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 4819 0 0 0 9 0 0 0 20 0 1 0 270291335 24834048 4773 33554432000 4194304 10169799 140733689727696 140737370737496 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 6063 4773 409 1459 0 4595 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24252
[startup+0.300327 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 32647
/proc/meminfo: memFree=26519688/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=49140 CPUtime=0.29 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 11039 0 0 0 28 1 0 0 20 0 1 0 270291335 50319360 10993 33554432000 4194304 10169799 140733689727696 140737370737496 8982256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 12285 10993 409 1459 0 10817 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49140
[startup+0.700327 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 32647
/proc/meminfo: memFree=26519688/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=98796 CPUtime=0.68 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 23401 0 0 0 65 3 0 0 20 0 1 0 270291335 101167104 23355 33554432000 4194304 10169799 140733689727696 140733689594024 8982256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 24699 23355 409 1459 0 23231 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 98796
[startup+1.50033 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 32648
/proc/meminfo: memFree=26392208/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=197104 CPUtime=1.49 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 47964 0 0 0 140 9 0 0 20 0 1 0 270291335 201834496 47918 33554432000 4194304 10169799 140733689727696 140733689594024 8982256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 49276 47918 409 1459 0 47808 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 197104
[startup+3.10031 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 32648
/proc/meminfo: memFree=26244888/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=700388 CPUtime=3.09 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 171540 0 0 0 279 30 0 0 20 0 1 0 270291335 717197312 171431 33554432000 4194304 10169799 140733689727696 140733689724712 4933777 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 175097 171431 496 1459 0 173629 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 700388
[startup+6.30033 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 32648
/proc/meminfo: memFree=25622284/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=928556 CPUtime=6.29 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 274063 0 0 0 553 76 0 0 20 0 1 0 270291335 950841344 225838 33554432000 4194304 10169799 140733689727696 140733689725848 7543003 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 232139 225879 557 1459 0 230671 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 928556
[startup+12.7003 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 32648
/proc/meminfo: memFree=25514096/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=1053324 CPUtime=12.69 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 366508 0 0 0 1111 158 0 0 20 0 1 0 270291335 1078603776 252604 33554432000 4194304 10169799 140733689727696 140733689724904 6885041 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 263331 252606 595 1459 0 261863 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1053324
[startup+25.5003 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 32648
/proc/meminfo: memFree=25474836/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=1080748 CPUtime=25.49 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 373432 0 0 0 2358 191 0 0 20 0 1 0 270291335 1106685952 261217 33554432000 4194304 10169799 140733689727696 140733689725208 4777685 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 270187 261217 617 1459 0 268719 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1080748
[startup+51.1004 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 32648
/proc/meminfo: memFree=24738652/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=1879752 CPUtime=51.08 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 498119 0 0 0 4870 238 0 0 20 0 1 0 270291335 1924866048 442936 33554432000 4194304 10169799 140733689727696 140733689724728 6361325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 469938 442936 693 1459 0 468470 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1879752
[startup+102.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 32649
/proc/meminfo: memFree=24343072/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=2283996 CPUtime=102.27 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 592866 0 0 0 9928 299 0 0 20 0 1 0 270291335 2338811904 541519 33554432000 4194304 10169799 140733689727696 140733689720008 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 570999 541519 788 1459 0 569531 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 2283996
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32649
/proc/meminfo: memFree=24285576/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=2346732 CPUtime=162.26 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 600482 0 0 0 15899 327 0 0 20 0 1 0 270291335 2403053568 554337 33554432000 4194304 10169799 140733689727696 140733689720008 8009811 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 586683 554337 788 1459 0 585215 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 2346732
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32649
/proc/meminfo: memFree=24265636/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=2349092 CPUtime=222.25 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 608749 0 0 0 21866 359 0 0 20 0 1 0 270291335 2405470208 554877 33554432000 4194304 10169799 140733689727696 140733689720008 8009536 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 587273 554877 788 1459 0 585805 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 2349092
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32649
/proc/meminfo: memFree=24256432/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=2350624 CPUtime=282.24 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 615322 0 0 0 27829 395 0 0 20 0 1 0 270291335 2407038976 555914 33554432000 4194304 10169799 140733689727696 140733689720104 8009862 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 587656 555914 788 1459 0 586188 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 2350624
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32649
/proc/meminfo: memFree=24253992/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=2350624 CPUtime=342.24 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 617960 0 0 0 33817 407 0 0 20 0 1 0 270291335 2407038976 556143 33554432000 4194304 10169799 140733689727696 140733689719976 8009971 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 587656 556143 791 1459 0 586188 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 2350624
[startup+402.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 32653
/proc/meminfo: memFree=24256312/32873844 swapFree=6092/6092
[pid=32647] ppid=32645 vsize=2350624 CPUtime=402.22 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 619220 0 0 0 39810 412 0 0 20 0 1 0 270291335 2407038976 555658 33554432000 4194304 10169799 140733689727696 140733689719976 8009802 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 587656 555658 791 1459 0 586188 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 2350624
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 32653
/proc/meminfo: memFree=24255556/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=2350624 CPUtime=462.22 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 620778 0 0 0 45803 419 0 0 20 0 1 0 270291335 2407038976 555671 33554432000 4194304 10169799 140733689727696 140733689719976 8060922 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 587656 555671 791 1459 0 586188 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 2350624
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32653
/proc/meminfo: memFree=24256900/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=2350624 CPUtime=522.2 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 622761 0 0 0 51793 427 0 0 20 0 1 0 270291335 2407038976 555175 33554432000 4194304 10169799 140733689727696 140733689719976 8020168 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 587656 555175 791 1459 0 586188 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 2350624
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32653
/proc/meminfo: memFree=24242944/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=2350624 CPUtime=582.2 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 625456 0 0 0 57779 441 0 0 20 0 1 0 270291335 2407038976 558595 33554432000 4194304 10169799 140733689727696 140733689720008 8030352 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 587656 558595 791 1459 0 586188 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 2350624
[startup+642.3 s]
################
# More data... #
################
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 644838 0 0 0 105668 544 0 0 20 0 1 0 270291335 2407038976 560719 33554432000 4194304 10169799 140733689727696 140733689719272 8036948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 587656 560719 791 1459 0 586188 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 2350624
[startup+1122.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 32659
/proc/meminfo: memFree=24228404/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=2350624 CPUtime=1122.1 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 647361 0 0 0 111651 559 0 0 20 0 1 0 270291335 2407038976 561885 33554432000 4194304 10169799 140733689727696 140733689720008 8009605 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 587656 561885 791 1459 0 586188 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 2350624
[startup+1182.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 32659
/proc/meminfo: memFree=24228992/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=2350624 CPUtime=1182.09 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 649545 0 0 0 117638 571 0 0 20 0 1 0 270291335 2407038976 561635 33554432000 4194304 10169799 140733689727696 140733689720152 8004497 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 587656 561635 791 1459 0 586188 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 2350624
[startup+1242.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 32659
/proc/meminfo: memFree=24272148/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=2291676 CPUtime=1242.09 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 650250 0 0 0 123635 574 0 0 20 0 1 0 270291335 2346676224 550908 33554432000 4194304 10169799 140733689727696 140733689724008 7280666 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 572919 550908 810 1459 0 571451 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 2291676
[startup+1302.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 32659
/proc/meminfo: memFree=24271932/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=2291676 CPUtime=1302.08 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 650250 0 0 0 129634 574 0 0 20 0 1 0 270291335 2346676224 550908 33554432000 4194304 10169799 140733689727696 140733689724008 7280635 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 572919 550908 810 1459 0 571451 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 2291676
[startup+1362.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 32698
/proc/meminfo: memFree=23277552/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=2291676 CPUtime=1362.07 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 650251 0 0 0 135633 574 0 0 20 0 1 0 270291335 2346676224 550908 33554432000 4194304 10169799 140733689727696 140733689724008 7280653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 572919 550908 810 1459 0 571451 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 2291676
[startup+1422.31 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 32698
/proc/meminfo: memFree=23271288/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=2291676 CPUtime=1422.07 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 650251 0 0 0 141633 574 0 0 20 0 1 0 270291335 2346676224 550908 33554432000 4194304 10169799 140733689727696 140733689724008 7280653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 572919 550908 810 1459 0 571451 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 2291676
[startup+1482.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 32698
/proc/meminfo: memFree=23139480/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=2433188 CPUtime=1482.06 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 655825 0 0 0 147612 594 0 0 20 0 1 0 270291335 2491584512 574161 33554432000 4194304 10169799 140733689727696 140733689724008 7280635 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 608297 574161 824 1459 0 606829 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 2433188
[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 32698
/proc/meminfo: memFree=23124304/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=2433188 CPUtime=1542.05 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 655825 0 0 0 153611 594 0 0 20 0 1 0 270291335 2491584512 574161 33554432000 4194304 10169799 140733689727696 140733689724008 7280653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 608297 574161 824 1459 0 606829 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 2433188
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 32701
/proc/meminfo: memFree=23120192/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=2433188 CPUtime=1602.04 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 655825 0 0 0 159610 594 0 0 20 0 1 0 270291335 2491584512 574161 33554432000 4194304 10169799 140733689727696 140733689724008 7280666 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 608297 574161 824 1459 0 606829 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 2433188
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 32702
/proc/meminfo: memFree=23121344/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=2433188 CPUtime=1662.03 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 655825 0 0 0 165609 594 0 0 20 0 1 0 270291335 2491584512 574161 33554432000 4194304 10169799 140733689727696 140733689724008 7280653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 608297 574161 824 1459 0 606829 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 2433188
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 32702
/proc/meminfo: memFree=22905176/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=2467476 CPUtime=1722.01 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 658536 0 0 0 171601 600 0 0 20 0 1 0 270291335 2526695424 582765 33554432000 4194304 10169799 140733689727696 140733689724232 7271373 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 616869 582765 824 1459 0 615401 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 2467476
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 32702
/proc/meminfo: memFree=22438352/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=2467476 CPUtime=1782 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 658536 0 0 0 177600 600 0 0 20 0 1 0 270291335 2526695424 582765 33554432000 4194304 10169799 140733689727696 140733689724008 7280635 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 616869 582765 824 1459 0 615401 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 2467476
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 32702
/proc/meminfo: memFree=22438724/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=2467476 CPUtime=1800 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 658536 0 0 0 179400 600 0 0 20 0 1 0 270291335 2526695424 582765 33554432000 4194304 10169799 140733689727696 140733689724008 7280666 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 616869 582765 824 1459 0 615401 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 2467476
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -32647
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 32703
/proc/meminfo: memFree=22438468/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=2467476 CPUtime=1801.1 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 658536 0 0 0 179510 600 0 0 20 0 1 0 270291335 2526695424 582765 33554432000 4194304 10169799 140733689727696 140733689723072 7280653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 616869 582765 824 1459 0 615401 0
Current children cumulated CPU time (s) 1801.1
Current children cumulated vsize (KiB) 2467476
[startup+1801.81 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 32703
/proc/meminfo: memFree=22438468/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=2467476 CPUtime=1801.5 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 658536 0 0 0 179550 600 0 0 20 0 1 0 270291335 2526695424 582765 33554432000 4194304 10169799 140733689727696 140733689723072 7280666 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 616869 582765 824 1459 0 615401 0
Current children cumulated CPU time (s) 1801.5
Current children cumulated vsize (KiB) 2467476
[startup+1802.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 32703
/proc/meminfo: memFree=22438468/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=2467476 CPUtime=1801.9 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 658536 0 0 0 179590 600 0 0 20 0 1 0 270291335 2526695424 582765 33554432000 4194304 10169799 140733689727696 140733689723072 7280655 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 616869 582765 824 1459 0 615401 0
Current children cumulated CPU time (s) 1801.9
Current children cumulated vsize (KiB) 2467476
[startup+1802.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 32703
/proc/meminfo: memFree=22438468/32873844 swapFree=6088/6088
[pid=32647] ppid=32645 vsize=2467476 CPUtime=1802 cores=1,3,5,7
/proc/32647/stat : 32647 (scip-2.1.1.4sfi) R 32645 32647 30587 0 -1 4202496 658536 0 0 0 179600 600 0 0 20 0 1 0 270291335 2526695424 582765 33554432000 4194304 10169799 140733689727696 140733689723072 7280653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32647/statm: 616869 582765 824 1459 0 615401 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 2467476
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.34
CPU time (s): 1802.05
CPU user time (s): 1796.01
CPU system time (s): 6.04208
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 2541916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.01
system time used= 6.04208
maximum resident set size= 2353532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 658536
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= 24
involuntary context switches= 1850
runsolver used 3.03254 second user time and 8.5537 second system time
The end