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-3693470-1338035129.opb>
0.98/1.00 c original problem has 99789 variables (99789 bin, 0 int, 0 impl, 0 cont) and 388956 constraints
0.98/1.00 c problem read in 1.00
2.30/2.36 c presolving:
4.59/4.67 c (round 1) 3085 del vars, 6113 del conss, 0 add conss, 5 chg bounds, 26 chg sides, 30 chg coeffs, 0 upgd conss, 3505402 impls, 0 clqs
4.68/4.77 c (round 2) 3085 del vars, 6191 del conss, 0 add conss, 5 chg bounds, 26 chg sides, 30 chg coeffs, 0 upgd conss, 3505402 impls, 0 clqs
6.29/6.35 c (round 3) 3085 del vars, 6195 del conss, 0 add conss, 5 chg bounds, 26 chg sides, 30 chg coeffs, 382761 upgd conss, 3505402 impls, 0 clqs
8.79/8.84 c (8.8s) probing: 51/96704 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
8.79/8.84 c (8.8s) probing aborted: 50/50 successive totally useless probings
8.79/8.84 c (round 4) 3085 del vars, 277749 del conss, 90518 add conss, 5 chg bounds, 26 chg sides, 30 chg coeffs, 382761 upgd conss, 3505402 impls, 0 clqs
11.18/11.27 c (round 5) 6285 del vars, 280949 del conss, 90518 add conss, 5 chg bounds, 26 chg sides, 30 chg coeffs, 382761 upgd conss, 3512552 impls, 0 clqs
13.29/13.36 c (13.3s) probing: 56/96704 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
13.29/13.36 c (13.3s) probing aborted: 50/50 successive totally useless probings
13.48/13.50 c presolving (6 rounds):
13.48/13.50 c 6285 deleted vars, 280949 deleted constraints, 90518 added constraints, 5 tightened bounds, 0 added holes, 26 changed sides, 30 changed coefficients
13.48/13.50 c 3512552 implications, 0 cliques
13.48/13.50 c presolved problem has 93504 variables (93504 bin, 0 int, 0 impl, 0 cont) and 198525 constraints
13.48/13.50 c 1 constraints of type <knapsack>
13.48/13.50 c 108150 constraints of type <setppc>
13.48/13.50 c 87318 constraints of type <and>
13.48/13.50 c 3056 constraints of type <logicor>
13.48/13.50 c transformed objective value is always integral (scale: 1)
13.48/13.50 c Presolving Time: 12.13
13.48/13.50 c - non default parameters ----------------------------------------------------------------------
13.48/13.50 c # SCIP version 2.1.1.4
13.48/13.50 c
13.48/13.50 c # maximal time in seconds to run
13.48/13.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.48/13.50 c limits/time = 1797
13.48/13.50 c
13.48/13.50 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
13.48/13.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.48/13.50 c limits/memory = 13950
13.48/13.50 c
13.48/13.50 c # default clock type (1: CPU user seconds, 2: wall clock time)
13.48/13.50 c # [type: int, range: [1,2], default: 1]
13.48/13.50 c timing/clocktype = 2
13.48/13.50 c
13.48/13.50 c # belongs reading time to solving time?
13.48/13.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.48/13.50 c timing/reading = TRUE
13.48/13.50 c
13.48/13.50 c -----------------------------------------------------------------------------------------------
13.48/13.50 c start solving
13.58/13.66 c
103.65/103.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.65/103.79 c 104s| 1 | 0 | 2019 | - | 769M| 0 | 179 | 93k| 198k| 93k| 285k| 0 | 10 | 0 | 7.235294e+00 | -- | Inf
729.44/729.68 o 32
729.44/729.69 c U 730s| 1 | 0 | 19458 | - | 785M| 0 | 179 | 93k| 198k| 93k| 285k| 0 | 60 | 0 | 7.235294e+00 | 3.200000e+01 | 342.28%
910.71/910.94 c 911s| 1 | 0 | 19832 | - | 790M| 0 | 21 | 93k| 198k| 93k| 285k| 139 | 60 | 0 | 8.000000e+00 | 3.200000e+01 | 300.00%
1088.89/1089.14 c 1089s| 1 | 0 | 20761 | - | 795M| 0 | 245 | 93k| 198k| 93k| 286k| 222 | 60 | 0 | 8.333333e+00 | 3.200000e+01 | 284.00%
1275.25/1275.55 c 1276s| 1 | 0 | 23397 | - | 799M| 0 | 228 | 93k| 198k| 93k| 286k| 638 | 60 | 0 | 8.863636e+00 | 3.200000e+01 | 261.03%
1457.73/1458.01 c 1458s| 1 | 0 | 23691 | - | 810M| 0 | 202 | 93k| 198k| 93k| 286k|1047 | 60 | 0 | 9.166667e+00 | 3.200000e+01 | 249.09%
1644.10/1644.41 c 1644s| 1 | 0 | 25342 | - | 814M| 0 | 485 | 93k| 198k| 93k| 287k|1598 | 60 | 0 | 9.666667e+00 | 3.200000e+01 | 231.03%
1703.29/1703.68 c 1704s| 1 | 0 | 26649 | - | 818M| 0 | 538 | 93k| 198k| 93k| 288k|3120 | 60 | 0 | 1.007645e+01 | 3.200000e+01 | 217.57%
1756.49/1756.81 c 1757s| 1 | 0 | 28524 | - | 845M| 0 | 585 | 93k| 198k| 93k| 290k|4672 | 60 | 0 | 1.060000e+01 | 3.200000e+01 | 201.89%
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-3693470-1338035129/watcher-3693470-1338035129 -o /tmp/evaluation-result-3693470-1338035129/solver-3693470-1338035129 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693470-1338035129.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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: 1.92 1.98 1.99 3/171 4771
/proc/meminfo: memFree=28951764/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=10240 CPUtime=0 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 1293 0 0 0 0 0 0 0 20 0 1 0 269638675 10485760 1247 33554432000 4194304 10169799 140734624969008 140733790530696 7543003 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4771/statm: 2560 1248 403 1459 0 1092 0
[startup+0.010984 s]
/proc/loadavg: 1.92 1.98 1.99 3/171 4771
/proc/meminfo: memFree=28951764/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=12752 CPUtime=0 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 1951 0 0 0 0 0 0 0 20 0 1 0 269638675 13058048 1905 33554432000 4194304 10169799 140734624969008 140733790530696 8779527 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4771/statm: 3441 1910 412 1459 0 1973 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12752
[startup+0.100171 s]
/proc/loadavg: 1.92 1.98 1.99 3/171 4771
/proc/meminfo: memFree=28951764/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=31880 CPUtime=0.08 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 6741 0 0 0 8 0 0 0 20 0 1 0 269638675 32645120 6695 33554432000 4194304 10169799 140734624969008 140734624834712 7139103 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4771/statm: 7970 6695 412 1459 0 6502 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 31880
[startup+0.300176 s]
/proc/loadavg: 1.92 1.98 1.99 3/171 4771
/proc/meminfo: memFree=28951764/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=68088 CPUtime=0.29 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 15793 0 0 0 27 2 0 0 20 0 1 0 269638675 69722112 15747 33554432000 4194304 10169799 140734624969008 140734624835336 9061812 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 17022 15747 412 1459 0 15554 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 68088
[startup+0.700164 s]
/proc/loadavg: 1.92 1.98 1.99 3/171 4771
/proc/meminfo: memFree=28951764/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=140592 CPUtime=0.69 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 33895 0 0 0 64 5 0 0 20 0 1 0 269638675 143966208 33849 33554432000 4194304 10169799 140734624969008 140734624835336 8724586 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 35148 33849 412 1459 0 33680 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 140592
[startup+1.50019 s]
/proc/loadavg: 1.92 1.98 1.99 3/175 4778
/proc/meminfo: memFree=28670388/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=418760 CPUtime=1.48 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 102913 0 0 0 135 13 0 0 20 0 1 0 269638675 428810240 102848 33554432000 4194304 10169799 140734624969008 140734624835336 8883411 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 104690 102848 500 1459 0 103222 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 418760
[startup+3.10022 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 4803
/proc/meminfo: memFree=28276224/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=643416 CPUtime=3.08 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 177290 0 0 0 278 30 0 0 20 0 1 0 269638675 658857984 157335 33554432000 4194304 10169799 140734624969008 140734624967160 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 160854 157335 564 1459 0 159386 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 643416
[startup+6.30017 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 4803
/proc/meminfo: memFree=28077320/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=778648 CPUtime=6.29 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 234407 0 0 0 564 65 0 0 20 0 1 0 269638675 797335552 189413 33554432000 4194304 10169799 140734624969008 140734624967560 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 194662 189413 579 1459 0 193194 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 778648
[startup+12.7001 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 4803
/proc/meminfo: memFree=27997404/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=833088 CPUtime=12.68 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 240634 0 0 0 1184 84 0 0 20 0 1 0 269638675 853082112 203080 33554432000 4194304 10169799 140734624969008 140734624967416 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 208272 203080 624 1459 0 206804 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 833088
[startup+25.5004 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 4803
/proc/meminfo: memFree=27673352/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=1157784 CPUtime=25.49 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 307151 0 0 0 2451 98 0 0 20 0 1 0 269638675 1185570816 281795 33554432000 4194304 10169799 140734624969008 140734624966040 4777712 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 289446 281795 702 1459 0 287978 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1157784
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 4803
/proc/meminfo: memFree=27644936/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=1168884 CPUtime=51.08 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 309920 0 0 0 5007 101 0 0 20 0 1 0 269638675 1196937216 284974 33554432000 4194304 10169799 140734624969008 140734624966040 4777712 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 292221 284974 702 1459 0 290753 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1168884
[startup+102.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 4804
/proc/meminfo: memFree=27427104/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=1412268 CPUtime=102.25 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 332322 0 0 0 10110 115 0 0 20 0 1 0 269638675 1446162432 339605 33554432000 4194304 10169799 140734624969008 140734624963512 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 353067 339605 781 1459 0 351599 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 1412268
[startup+162.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 4804
/proc/meminfo: memFree=27452724/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=1360772 CPUtime=162.24 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 333715 0 0 0 16104 120 0 0 20 0 1 0 269638675 1393430528 334009 33554432000 4194304 10169799 140734624969008 140734624961320 7978016 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 340193 334009 796 1459 0 338725 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1360772
[startup+222.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 4805
/proc/meminfo: memFree=26976316/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=1839564 CPUtime=222.23 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 427809 0 0 0 22073 150 0 0 20 0 1 0 269638675 1883713536 452883 33554432000 4194304 10169799 140734624969008 140734624964232 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 459891 452883 823 1459 0 458423 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1839564
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4808
/proc/meminfo: memFree=26976072/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=1839564 CPUtime=282.22 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 427997 0 0 0 28070 152 0 0 20 0 1 0 269638675 1883713536 453071 33554432000 4194304 10169799 140734624969008 140734624963176 5314944 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 459891 453071 823 1459 0 458423 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1839564
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4808
/proc/meminfo: memFree=26969528/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=1839564 CPUtime=342.21 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 427997 0 0 0 34069 152 0 0 20 0 1 0 269638675 1883713536 453618 33554432000 4194304 10169799 140734624969008 140734624963176 5314939 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 459891 453618 823 1459 0 458423 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1839564
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4808
/proc/meminfo: memFree=26967004/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=1839564 CPUtime=402.2 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 428176 0 0 0 40068 152 0 0 20 0 1 0 269638675 1883713536 453808 33554432000 4194304 10169799 140734624969008 140734624963176 5314912 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 459891 453808 823 1459 0 458423 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 1839564
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4808
/proc/meminfo: memFree=26966484/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=1839564 CPUtime=462.19 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 428644 0 0 0 46066 153 0 0 20 0 1 0 269638675 1883713536 454276 33554432000 4194304 10169799 140734624969008 140734624963176 5314912 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 459891 454276 823 1459 0 458423 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1839564
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4809
/proc/meminfo: memFree=26931580/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=1876336 CPUtime=522.17 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 435700 0 0 0 52063 154 0 0 20 0 1 0 269638675 1921368064 461336 33554432000 4194304 10169799 140734624969008 140734624962824 5314935 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 469084 461336 823 1459 0 467616 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 1876336
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4809
/proc/meminfo: memFree=26881636/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=1948388 CPUtime=582.17 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 448647 0 0 0 58059 158 0 0 20 0 1 0 269638675 1995149312 474294 33554432000 4194304 10169799 140734624969008 140734624962824 5314939 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 487097 474294 823 1459 0 485629 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 1948388
[startup+642.3 s]
################
# More data... #
################
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 603495 0 0 0 105931 278 0 0 20 0 1 0 269638675 2742247424 664305 33554432000 4194304 10169799 140734624969008 140734624965320 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 669494 664305 875 1459 0 668026 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 2677976
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4814
/proc/meminfo: memFree=26102096/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=2677976 CPUtime=1122.08 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 603673 0 0 0 111925 283 0 0 20 0 1 0 269638675 2742247424 664483 33554432000 4194304 10169799 140734624969008 140734624965544 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 669494 664483 875 1459 0 668026 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 2677976
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4814
/proc/meminfo: memFree=26103612/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=2677976 CPUtime=1182.07 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 603673 0 0 0 117919 288 0 0 20 0 1 0 269638675 2742247424 664550 33554432000 4194304 10169799 140734624969008 140734624965320 7280659 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 669494 664550 875 1459 0 668026 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 2677976
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4814
/proc/meminfo: memFree=26105252/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=2677976 CPUtime=1242.05 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 603673 0 0 0 123912 293 0 0 20 0 1 0 269638675 2742247424 664560 33554432000 4194304 10169799 140734624969008 140734624965320 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 669494 664560 875 1459 0 668026 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 2677976
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4814
/proc/meminfo: memFree=26093996/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=2677976 CPUtime=1302.05 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 603675 0 0 0 129905 300 0 0 20 0 1 0 269638675 2742247424 666552 33554432000 4194304 10169799 140734624969008 140734624965544 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 669494 666552 877 1459 0 668026 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 2677976
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4814
/proc/meminfo: memFree=26087764/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=2677976 CPUtime=1362.04 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 603677 0 0 0 135899 305 0 0 20 0 1 0 269638675 2742247424 667028 33554432000 4194304 10169799 140734624969008 140734624965320 7280635 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 669494 667028 877 1459 0 668026 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 2677976
[startup+1422.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 4815
/proc/meminfo: memFree=26087544/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=2677976 CPUtime=1422.04 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 603680 0 0 0 141894 310 0 0 20 0 1 0 269638675 2742247424 667053 33554432000 4194304 10169799 140734624969008 140734624965320 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 669494 667053 877 1459 0 668026 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 2677976
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 4818
/proc/meminfo: memFree=26084588/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=2677976 CPUtime=1482.01 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 603680 0 0 0 147884 317 0 0 20 0 1 0 269638675 2742247424 667053 33554432000 4194304 10169799 140734624969008 140734624965544 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 669494 667053 877 1459 0 668026 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 2677976
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4818
/proc/meminfo: memFree=26088864/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=2677976 CPUtime=1542.02 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 603680 0 0 0 153878 324 0 0 20 0 1 0 269638675 2742247424 667053 33554432000 4194304 10169799 140734624969008 140734624965320 7280635 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 669494 667053 877 1459 0 668026 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 2677976
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4818
/proc/meminfo: memFree=26083112/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=2677976 CPUtime=1602 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 603680 0 0 0 159870 330 0 0 20 0 1 0 269638675 2742247424 667053 33554432000 4194304 10169799 140734624969008 140734624965320 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 669494 667053 877 1459 0 668026 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 2677976
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 4818
/proc/meminfo: memFree=26083280/32873660 swapFree=7112/7112
[pid=4771] ppid=4769 vsize=2677976 CPUtime=1661.99 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 603680 0 0 0 165862 337 0 0 20 0 1 0 269638675 2742247424 667053 33554432000 4194304 10169799 140734624969008 140734624965544 8844157 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 669494 667053 877 1459 0 668026 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 2677976
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4819
/proc/meminfo: memFree=26080304/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=2677976 CPUtime=1721.98 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 603680 0 0 0 171859 339 0 0 20 0 1 0 269638675 2742247424 667053 33554432000 4194304 10169799 140734624969008 140734624965544 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 669494 667053 877 1459 0 668026 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 2677976
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4819
/proc/meminfo: memFree=26078940/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=2677976 CPUtime=1781.98 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 603680 0 0 0 177856 342 0 0 20 0 1 0 269638675 2742247424 667053 33554432000 4194304 10169799 140734624969008 140734624965544 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 669494 667053 877 1459 0 668026 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 2677976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4857
/proc/meminfo: memFree=26135272/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=2677976 CPUtime=1800.08 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 603680 0 0 0 179665 343 0 0 20 0 1 0 269638675 2742247424 667053 33554432000 4194304 10169799 140734624969008 140734624965320 7280653 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 669494 667053 877 1459 0 668026 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2677976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -4771
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4858
/proc/meminfo: memFree=26128948/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=2677976 CPUtime=1801.17 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 603680 0 0 0 179774 343 0 0 20 0 1 0 269638675 2742247424 667053 33554432000 4194304 10169799 140734624969008 140734624964352 7280655 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 669494 667053 877 1459 0 668026 0
Current children cumulated CPU time (s) 1801.17
Current children cumulated vsize (KiB) 2677976
[startup+1801.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4858
/proc/meminfo: memFree=26088632/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=2677976 CPUtime=1801.58 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 603680 0 0 0 179815 343 0 0 20 0 1 0 269638675 2742247424 667053 33554432000 4194304 10169799 140734624969008 140734624964352 7280659 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 669494 667053 877 1459 0 668026 0
Current children cumulated CPU time (s) 1801.58
Current children cumulated vsize (KiB) 2677976
[startup+1802.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4858
/proc/meminfo: memFree=26088632/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=2677976 CPUtime=1801.97 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 603680 0 0 0 179854 343 0 0 20 0 1 0 269638675 2742247424 667053 33554432000 4194304 10169799 140734624969008 140734624964352 7280635 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 669494 667053 877 1459 0 668026 0
Current children cumulated CPU time (s) 1801.97
Current children cumulated vsize (KiB) 2677976
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4858
/proc/meminfo: memFree=26088632/32873660 swapFree=7108/7108
[pid=4771] ppid=4769 vsize=2677976 CPUtime=1802.07 cores=0,2,4,6
/proc/4771/stat : 4771 (scip-2.1.1.4sfi) R 4769 4771 3226 0 -1 4202496 603680 0 0 0 179864 343 0 0 20 0 1 0 269638675 2742247424 667053 33554432000 4194304 10169799 140734624969008 140734624964352 7280653 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4771/statm: 669494 667053 877 1459 0 668026 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 2677976
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.43
CPU time (s): 1802.11
CPU user time (s): 1798.66
CPU system time (s): 3.45347
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 2677976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.66
system time used= 3.45347
maximum resident set size= 2668212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 603680
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= 74
involuntary context switches= 1855
runsolver used 3.62345 second user time and 10.2174 second system time
The end