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-3692947-1338041621.opb>
2.99/3.08 c original problem has 48411 variables (48411 bin, 0 int, 0 impl, 0 cont) and 1121517 constraints
2.99/3.08 c problem read in 3.08
7.39/7.42 c presolving:
15.90/15.94 c (round 1) 1 del vars, 8 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 0 chg coeffs, 1121508 upgd conss, 491726 impls, 1772 clqs
89.98/90.08 c (90.0s) probing: 1000/48410 (2.1%) - 0 fixings, 0 aggregations, 288949 implications, 0 bound changes
90.08/90.15 c (90.1s) probing: 1001/48410 (2.1%) - 0 fixings, 0 aggregations, 288951 implications, 0 bound changes
90.08/90.15 c (90.1s) probing aborted: 1000/1000 successive useless probings
95.97/96.04 c presolving (2 rounds):
95.97/96.04 c 1 deleted vars, 30 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 0 changed coefficients
95.97/96.04 c 1069628 implications, 1772 cliques
95.97/96.04 c presolved problem has 48410 variables (48410 bin, 0 int, 0 impl, 0 cont) and 1121487 constraints
95.97/96.04 c 112021 constraints of type <knapsack>
95.97/96.04 c 237606 constraints of type <setppc>
95.97/96.04 c 1 constraints of type <linear>
95.97/96.04 c 771859 constraints of type <logicor>
95.97/96.04 c transformed objective value is always integral (scale: 1)
95.97/96.04 c Presolving Time: 92.07
95.97/96.04 c - non default parameters ----------------------------------------------------------------------
95.97/96.04 c # SCIP version 2.1.1.4
95.97/96.04 c
95.97/96.04 c # maximal time in seconds to run
95.97/96.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
95.97/96.04 c limits/time = 1797
95.97/96.04 c
95.97/96.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
95.97/96.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
95.97/96.04 c limits/memory = 13950
95.97/96.04 c
95.97/96.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
95.97/96.04 c # [type: int, range: [1,2], default: 1]
95.97/96.04 c timing/clocktype = 2
95.97/96.04 c
95.97/96.04 c # belongs reading time to solving time?
95.97/96.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
95.97/96.04 c timing/reading = TRUE
95.97/96.04 c
95.97/96.04 c -----------------------------------------------------------------------------------------------
95.97/96.04 c start solving
95.97/96.08 c
173.47/173.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.47/173.51 c 173s| 1 | 0 | 10111 | - |1737M| 0 |2160 | 48k|1121k| 48k|1121k| 0 | 26 | 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-3692947-1338041621/watcher-3692947-1338041621 -o /tmp/evaluation-result-3692947-1338041621/solver-3692947-1338041621 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692947-1338041621.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.00 2.00 3/176 2904
/proc/meminfo: memFree=28449848/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=9960 CPUtime=0 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 1241 0 0 0 0 0 0 0 20 0 1 0 270287924 10199040 1196 33554432000 4194304 10169799 140734525535600 140734525401288 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 2490 1196 409 1459 0 1022 0
[startup+0.0135171 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2904
/proc/meminfo: memFree=28449848/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=11444 CPUtime=0 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 1617 0 0 0 0 0 0 0 20 0 1 0 270287924 11718656 1572 33554432000 4194304 10169799 140734525535600 140734525401288 8982256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 2861 1572 409 1459 0 1393 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11444
[startup+0.100274 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2904
/proc/meminfo: memFree=28449848/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=23092 CPUtime=0.09 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 4494 0 0 0 8 1 0 0 20 0 1 0 270287924 23646208 4449 33554432000 4194304 10169799 140734525535600 140734525401288 8982256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 5773 4449 409 1459 0 4305 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23092
[startup+0.300307 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2904
/proc/meminfo: memFree=28449848/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=48736 CPUtime=0.29 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 10935 0 0 0 27 2 0 0 20 0 1 0 270287924 49905664 10890 33554432000 4194304 10169799 140734525535600 140734525401288 8982256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 12184 10890 409 1459 0 10716 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48736
[startup+0.700313 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2904
/proc/meminfo: memFree=28449848/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=97368 CPUtime=0.68 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 23050 0 0 0 64 4 0 0 20 0 1 0 270287924 99704832 23005 33554432000 4194304 10169799 140734525535600 140734525401928 8982256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 24342 23005 409 1459 0 22874 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 97368
[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2905
/proc/meminfo: memFree=28321856/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=195744 CPUtime=1.49 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 47613 0 0 0 140 9 0 0 20 0 1 0 270287924 200441856 47569 33554432000 4194304 10169799 140734525535600 140734525401288 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 48936 47579 409 1459 0 47468 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 195744
[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2905
/proc/meminfo: memFree=28185696/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=390064 CPUtime=3.09 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 96110 0 0 0 289 20 0 0 20 0 1 0 270287924 399425536 96065 33554432000 4194304 10169799 140734525535600 140734525401928 4334724 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 97516 96065 415 1459 0 96048 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 390064
[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2905
/proc/meminfo: memFree=27075532/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=1480568 CPUtime=6.29 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 363600 0 0 0 563 66 0 0 20 0 1 0 270287924 1516101632 363485 33554432000 4194304 10169799 140734525535600 140734525532568 4950092 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 370142 363485 496 1459 0 368674 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1480568
[startup+12.707 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2905
/proc/meminfo: memFree=26868592/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=1626332 CPUtime=12.7 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 472292 0 0 0 1118 152 0 0 20 0 1 0 270287924 1665363968 398679 33554432000 4194304 10169799 140734525535600 140734525533752 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 406825 398701 568 1459 0 405357 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 1626332
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2906
/proc/meminfo: memFree=26910168/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=1578556 CPUtime=25.48 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 553121 0 0 0 2343 205 0 0 20 0 1 0 270287924 1616441344 384911 33554432000 4194304 10169799 140734525535600 140734525533112 4777712 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 394639 384911 615 1459 0 393171 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1578556
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2906
/proc/meminfo: memFree=26893304/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=1594924 CPUtime=51.09 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 557265 0 0 0 4902 207 0 0 20 0 1 0 270287924 1633202176 389055 33554432000 4194304 10169799 140734525535600 140734525533112 4257157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 398731 389055 615 1459 0 397263 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1594924
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2906
/proc/meminfo: memFree=25784388/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=2799184 CPUtime=102.28 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 728298 0 0 0 9978 250 0 0 20 0 1 0 270287924 2866364416 665853 33554432000 4194304 10169799 140734525535600 140734525532632 4777685 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 699796 665853 691 1459 0 698328 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2799184
[startup+162.307 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2906
/proc/meminfo: memFree=24997152/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=3628952 CPUtime=162.27 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 843512 0 0 0 15908 319 0 0 20 0 1 0 270287924 3716046848 862161 33554432000 4194304 10169799 140734525535600 140734525530008 8030352 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 907238 862161 772 1459 0 905770 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 3628952
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2906
/proc/meminfo: memFree=25176720/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=3450764 CPUtime=222.25 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 856385 0 0 0 21874 351 0 0 20 0 1 0 270287924 3533582336 817342 33554432000 4194304 10169799 140734525535600 140734525527912 8009499 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 862691 817342 789 1459 0 861223 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 3450764
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2906
/proc/meminfo: memFree=25173184/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=3460700 CPUtime=282.25 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 862091 0 0 0 27852 373 0 0 20 0 1 0 270287924 3543756800 818239 33554432000 4194304 10169799 140734525535600 140734525527912 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 865175 818239 789 1459 0 863707 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 3460700
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2907
/proc/meminfo: memFree=25173308/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=3460700 CPUtime=342.24 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 868734 0 0 0 33827 397 0 0 20 0 1 0 270287924 3543756800 818238 33554432000 4194304 10169799 140734525535600 140734525528280 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 865175 818238 789 1459 0 863707 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 3460700
[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 2910
/proc/meminfo: memFree=25171248/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=3460700 CPUtime=402.23 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 877437 0 0 0 39797 426 0 0 20 0 1 0 270287924 3543756800 818288 33554432000 4194304 10169799 140734525535600 140734525527176 8036869 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 865175 818288 789 1459 0 863707 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 3460700
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2910
/proc/meminfo: memFree=25171192/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=3460700 CPUtime=462.22 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 881558 0 0 0 45781 441 0 0 20 0 1 0 270287924 3543756800 817774 33554432000 4194304 10169799 140734525535600 140734525527880 7582241 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 865175 817774 789 1459 0 863707 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 3460700
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2910
/proc/meminfo: memFree=25161140/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=3460700 CPUtime=522.21 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 883961 0 0 0 51769 452 0 0 20 0 1 0 270287924 3543756800 817773 33554432000 4194304 10169799 140734525535600 140734525528056 8009802 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 865175 817773 789 1459 0 863707 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3460700
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2910
/proc/meminfo: memFree=25161016/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=3460700 CPUtime=582.2 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 886810 0 0 0 57757 463 0 0 20 0 1 0 270287924 3543756800 817277 33554432000 4194304 10169799 140734525535600 140734525527176 8004553 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 865175 817277 789 1459 0 863707 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 3460700
[startup+642.3 s]
################
# More data... #
################
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 936592 0 0 0 111572 639 0 0 20 0 1 0 270287924 3543756800 820905 33554432000 4194304 10169799 140734525535600 140734525527176 8009811 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 865175 820905 789 1459 0 863707 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 3460700
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2953
/proc/meminfo: memFree=24832124/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=3460700 CPUtime=1182.1 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 943417 0 0 0 117548 662 0 0 20 0 1 0 270287924 3543756800 821392 33554432000 4194304 10169799 140734525535600 140734525527912 8009833 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 865175 821392 789 1459 0 863707 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 3460700
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2954
/proc/meminfo: memFree=24828444/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=3460700 CPUtime=1242.1 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 951487 0 0 0 123522 688 0 0 20 0 1 0 270287924 3543756800 820895 33554432000 4194304 10169799 140734525535600 140734525527912 8009862 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 865175 820895 789 1459 0 863707 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 3460700
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2954
/proc/meminfo: memFree=24827068/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=3460700 CPUtime=1302.09 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 959421 0 0 0 129494 715 0 0 20 0 1 0 270287924 3543756800 820903 33554432000 4194304 10169799 140734525535600 140734525528008 8009811 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 865175 820903 789 1459 0 863707 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 3460700
[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 2954
/proc/meminfo: memFree=24828480/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=3460700 CPUtime=1362.08 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 966925 0 0 0 135467 741 0 0 20 0 1 0 270287924 3543756800 820397 33554432000 4194304 10169799 140734525535600 140734525527912 8009802 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 865175 820397 789 1459 0 863707 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 3460700
[startup+1422.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 2954
/proc/meminfo: memFree=24827600/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=3460700 CPUtime=1422.07 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 970394 0 0 0 141455 752 0 0 20 0 1 0 270287924 3543756800 820620 33554432000 4194304 10169799 140734525535600 140734525527880 7985039 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 865175 820620 789 1459 0 863707 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 3460700
[startup+1482.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2954
/proc/meminfo: memFree=24831520/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=3410512 CPUtime=1482.07 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 973283 0 0 0 147446 761 0 0 20 0 1 0 270287924 3492364288 818814 33554432000 4194304 10169799 140734525535600 140734525532136 7271377 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 852628 818814 806 1459 0 851160 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 3410512
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2955
/proc/meminfo: memFree=24825252/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=3410512 CPUtime=1542.05 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 973284 0 0 0 153444 761 0 0 20 0 1 0 270287924 3492364288 819533 33554432000 4194304 10169799 140734525535600 140734525531912 7280659 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 852628 819533 807 1459 0 851160 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 3410512
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2958
/proc/meminfo: memFree=24824856/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=3410512 CPUtime=1602.04 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 973284 0 0 0 159443 761 0 0 20 0 1 0 270287924 3492364288 819533 33554432000 4194304 10169799 140734525535600 140734525531912 7280653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 852628 819533 807 1459 0 851160 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 3410512
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2958
/proc/meminfo: memFree=24824844/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=3410512 CPUtime=1662.03 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 973284 0 0 0 165442 761 0 0 20 0 1 0 270287924 3492364288 819533 33554432000 4194304 10169799 140734525535600 140734525531912 7280653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 852628 819533 807 1459 0 851160 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 3410512
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2958
/proc/meminfo: memFree=24822340/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=3410512 CPUtime=1722.02 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 973284 0 0 0 171441 761 0 0 20 0 1 0 270287924 3492364288 819533 33554432000 4194304 10169799 140734525535600 140734525531912 7280659 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 852628 819533 807 1459 0 851160 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 3410512
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2958
/proc/meminfo: memFree=24820640/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=3410512 CPUtime=1782.01 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 973284 0 0 0 177440 761 0 0 20 0 1 0 270287924 3492364288 819750 33554432000 4194304 10169799 140734525535600 140734525531912 7280653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 852628 819750 807 1459 0 851160 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 3410512
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2958
/proc/meminfo: memFree=24820316/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=3410512 CPUtime=1800.02 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 973284 0 0 0 179241 761 0 0 20 0 1 0 270287924 3492364288 819750 33554432000 4194304 10169799 140734525535600 140734525531912 7280635 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 852628 819750 807 1459 0 851160 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3410512
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -2904
Solver just ended. Dumping a history of the last processes samples
[startup+1800.41 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2958
/proc/meminfo: memFree=24820316/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=3410512 CPUtime=1800.12 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 973284 0 0 0 179251 761 0 0 20 0 1 0 270287924 3492364288 819750 33554432000 4194304 10169799 140734525535600 140734525531912 7280635 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 852628 819750 807 1459 0 851160 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 3410512
[startup+1801.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2959
/proc/meminfo: memFree=24820432/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=3410512 CPUtime=1800.92 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 973284 0 0 0 179331 761 0 0 20 0 1 0 270287924 3492364288 819750 33554432000 4194304 10169799 140734525535600 140734525530944 7280635 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 852628 819750 807 1459 0 851160 0
Current children cumulated CPU time (s) 1800.92
Current children cumulated vsize (KiB) 3410512
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2959
/proc/meminfo: memFree=24820432/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=3410512 CPUtime=1801.71 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 973284 0 0 0 179410 761 0 0 20 0 1 0 270287924 3492364288 819750 33554432000 4194304 10169799 140734525535600 140734525530944 7280653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 852628 819750 807 1459 0 851160 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 3410512
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2959
/proc/meminfo: memFree=24820432/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=3410512 CPUtime=1801.91 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 973284 0 0 0 179430 761 0 0 20 0 1 0 270287924 3492364288 819750 33554432000 4194304 10169799 140734525535600 140734525530944 7280635 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 852628 819750 807 1459 0 851160 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 3410512
[startup+1802.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2959
/proc/meminfo: memFree=24820308/32873844 swapFree=7112/7112
[pid=2904] ppid=2902 vsize=3410512 CPUtime=1802.02 cores=1,3,5,7
/proc/2904/stat : 2904 (scip-2.1.1.4sfi) R 2902 2904 521 0 -1 4202496 973284 0 0 0 179441 761 0 0 20 0 1 0 270287924 3492364288 819750 33554432000 4194304 10169799 140734525535600 140734525530944 7280653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2904/statm: 852628 819750 807 1459 0 851160 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 3410512
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.39
CPU time (s): 1802.11
CPU user time (s): 1794.41
CPU system time (s): 7.69583
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 3795836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.41
system time used= 7.69583
maximum resident set size= 3504032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 973284
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= 11
involuntary context switches= 1857
runsolver used 3.08653 second user time and 8.64768 second system time
The end