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-3691401-1338027813.opb>
1.98/2.03 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
1.98/2.03 c problem read in 2.03
4.59/4.68 c presolving:
8.49/8.55 c (round 1) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 398809 upgd conss, 67806 impls, 1977 clqs
9.59/9.67 c (round 2) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 67806 impls, 1977 clqs
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-3691401-1338027813/watcher-3691401-1338027813 -o /tmp/evaluation-result-3691401-1338027813/solver-3691401-1338027813 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691401-1338027813.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.04 2.01 2.00 3/176 29582
/proc/meminfo: memFree=28712440/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=11140 CPUtime=0 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 1553 0 0 0 0 0 0 0 20 0 1 0 268905471 11407360 1507 33554432000 4194304 10173063 140733420254480 140737045998728 8886411 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 2785 1507 416 1460 0 1316 0
[startup+0.0120769 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 29582
/proc/meminfo: memFree=28712440/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=15268 CPUtime=0 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 2560 0 0 0 0 0 0 0 20 0 1 0 268905471 15634432 2514 33554432000 4194304 10173063 140733420254480 140733420118024 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 3817 2514 416 1460 0 2348 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15268
[startup+0.100265 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 29582
/proc/meminfo: memFree=28712440/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=44808 CPUtime=0.09 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 9950 0 0 0 8 1 0 0 20 0 1 0 268905471 45883392 9904 33554432000 4194304 10173063 140733420254480 140733420118024 7167321 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 11202 9904 416 1460 0 9733 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44808
[startup+0.300256 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 29582
/proc/meminfo: memFree=28712440/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=87764 CPUtime=0.29 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 20686 0 0 0 27 2 0 0 20 0 1 0 268905471 89870336 20640 33554432000 4194304 10173063 140733420254480 140733420118024 8831465 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 21941 20640 416 1460 0 20472 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 87764
[startup+0.700262 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 29582
/proc/meminfo: memFree=28712440/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=198316 CPUtime=0.69 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 48288 0 0 0 63 6 0 0 20 0 1 0 268905471 203075584 48242 33554432000 4194304 10173063 140733420254480 140733420118024 7549375 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 49579 48242 416 1460 0 48110 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 198316
[startup+1.50026 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 29583
/proc/meminfo: memFree=28443220/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=400044 CPUtime=1.49 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 98649 0 0 0 137 12 0 0 20 0 1 0 268905471 409645056 98603 33554432000 4194304 10173063 140733420254480 140733420119656 8886209 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 100011 98603 416 1460 0 98542 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 400044
[startup+3.10028 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 29583
/proc/meminfo: memFree=28228328/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=935668 CPUtime=3.09 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 232000 0 0 0 280 29 0 0 20 0 1 0 268905471 958124032 232413 33554432000 4194304 10173063 140733420254480 140733420251928 5763752 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 233917 232413 494 1460 0 232448 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 935668
[startup+6.30026 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 29583
/proc/meminfo: memFree=27480052/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=1328160 CPUtime=6.29 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 352959 0 0 0 564 65 0 0 20 0 1 0 268905471 1360035840 329285 33554432000 4194304 10173063 140733420254480 140733420251208 8886759 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 332040 329310 563 1460 0 330571 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1328160
[startup+12.7003 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 29583
/proc/meminfo: memFree=26825780/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=1903336 CPUtime=12.68 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 508261 0 0 0 1144 124 0 0 20 0 1 0 268905471 1949016064 471521 33554432000 4194304 10173063 140733420254480 140733420249976 8925047 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 475834 471521 615 1460 0 474365 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1903336
[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 29583
/proc/meminfo: memFree=26820728/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=1910696 CPUtime=25.48 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 509466 0 0 0 2424 124 0 0 20 0 1 0 268905471 1956552704 473237 33554432000 4194304 10173063 140733420254480 140733420249880 8925032 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 477674 473237 615 1460 0 476205 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1910696
[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29583
/proc/meminfo: memFree=26811704/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=1914344 CPUtime=51.08 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 510453 0 0 0 4983 125 0 0 20 0 1 0 268905471 1960288256 475250 33554432000 4194304 10173063 140733420254480 140733420250856 8925052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 478586 475250 615 1460 0 477117 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1914344
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29583
/proc/meminfo: memFree=25461432/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=3306672 CPUtime=102.27 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 828683 0 0 0 10061 166 0 0 20 0 1 0 268905471 3386032128 812856 33554432000 4194304 10173063 140733420254480 140733420249912 8925057 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 826668 812856 615 1460 0 825199 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 3306672
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 29621
/proc/meminfo: memFree=24960792/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=3308720 CPUtime=162.25 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 829410 0 0 0 16059 166 0 0 20 0 1 0 268905471 3388129280 813582 33554432000 4194304 10173063 140733420254480 140733420249592 8925103 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 827180 813582 615 1460 0 825711 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 3308720
[startup+222.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 29623
/proc/meminfo: memFree=24953920/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=3308720 CPUtime=222.25 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 829626 0 0 0 22059 166 0 0 20 0 1 0 268905471 3388129280 813798 33554432000 4194304 10173063 140733420254480 140733420249592 8925042 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 827180 813798 615 1460 0 825711 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 3308720
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 29623
/proc/meminfo: memFree=24939852/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=3312624 CPUtime=282.24 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 830850 0 0 0 28057 167 0 0 20 0 1 0 268905471 3392126976 815022 33554432000 4194304 10173063 140733420254480 140733420249592 8925068 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 828156 815022 615 1460 0 826687 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 3312624
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 29623
/proc/meminfo: memFree=24939932/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=3312624 CPUtime=342.23 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 831076 0 0 0 34056 167 0 0 20 0 1 0 268905471 3392126976 815415 33554432000 4194304 10173063 140733420254480 140733420249592 8925037 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 828156 815415 615 1460 0 826687 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 3312624
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 29626
/proc/meminfo: memFree=24930836/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=3313516 CPUtime=402.22 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 831554 0 0 0 40055 167 0 0 20 0 1 0 268905471 3393040384 815858 33554432000 4194304 10173063 140733420254480 140733420250120 8925037 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 828379 815858 615 1460 0 826910 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 3313516
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29626
/proc/meminfo: memFree=24907060/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=3315372 CPUtime=462.21 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 832243 0 0 0 46054 167 0 0 20 0 1 0 268905471 3394940928 817413 33554432000 4194304 10173063 140733420254480 140733420249592 8925042 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 828843 817413 615 1460 0 827374 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 3315372
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29627
/proc/meminfo: memFree=24922412/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=3315372 CPUtime=522.2 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 832463 0 0 0 52053 167 0 0 20 0 1 0 268905471 3394940928 819682 33554432000 4194304 10173063 140733420254480 140733420249592 8925057 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 828843 819682 615 1460 0 827374 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 3315372
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29627
/proc/meminfo: memFree=24919464/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=3316396 CPUtime=582.19 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 832941 0 0 0 58052 167 0 0 20 0 1 0 268905471 3395989504 820441 33554432000 4194304 10173063 140733420254480 140733420249592 8925047 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 829099 820441 615 1460 0 827630 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 3316396
[startup+642.3 s]
################
# More data... #
################
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 837182 0 0 0 106043 168 0 0 20 0 1 0 268905471 3407384576 828438 33554432000 4194304 10173063 140733420254480 140733420249592 8925052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 831881 828438 615 1460 0 830412 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 3327524
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 29632
/proc/meminfo: memFree=24868928/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=3329572 CPUtime=1122.1 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 837736 0 0 0 112042 168 0 0 20 0 1 0 268905471 3409481728 828992 33554432000 4194304 10173063 140733420254480 140733420249592 8925057 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 832393 828992 615 1460 0 830924 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 3329572
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29632
/proc/meminfo: memFree=24866972/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=3330596 CPUtime=1182.09 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 838034 0 0 0 118041 168 0 0 20 0 1 0 268905471 3410530304 829290 33554432000 4194304 10173063 140733420254480 140733420249592 8925052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 832649 829290 615 1460 0 831180 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 3330596
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29632
/proc/meminfo: memFree=24864992/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=3332452 CPUtime=1242.08 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 838540 0 0 0 124040 168 0 0 20 0 1 0 268905471 3412430848 829796 33554432000 4194304 10173063 140733420254480 140733420249592 8925037 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 833113 829796 615 1460 0 831644 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 3332452
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29632
/proc/meminfo: memFree=24863480/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=3333344 CPUtime=1302.08 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 838838 0 0 0 130040 168 0 0 20 0 1 0 268905471 3413344256 830179 33554432000 4194304 10173063 140733420254480 140733420249592 8925042 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 833336 830179 615 1460 0 831867 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 3333344
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29632
/proc/meminfo: memFree=24871052/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=3335392 CPUtime=1362.07 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 839392 0 0 0 136038 169 0 0 20 0 1 0 268905471 3415441408 831087 33554432000 4194304 10173063 140733420254480 140733420249592 8925020 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 833848 831087 615 1460 0 832379 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 3335392
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 29633
/proc/meminfo: memFree=24867184/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=3337248 CPUtime=1422.07 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 839899 0 0 0 142038 169 0 0 20 0 1 0 268905471 3417341952 831968 33554432000 4194304 10173063 140733420254480 140733420249592 8925032 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 834312 831968 615 1460 0 832843 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 3337248
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 29633
/proc/meminfo: memFree=24862828/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=3338272 CPUtime=1482.05 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 840197 0 0 0 148036 169 0 0 20 0 1 0 268905471 3418390528 832266 33554432000 4194304 10173063 140733420254480 140733420249592 8925062 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 834568 832266 615 1460 0 833099 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 3338272
[startup+1542.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 29633
/proc/meminfo: memFree=24855844/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=3338272 CPUtime=1542.04 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 840240 0 0 0 154035 169 0 0 20 0 1 0 268905471 3418390528 832308 33554432000 4194304 10173063 140733420254480 140733420249592 8925047 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 834568 832308 615 1460 0 833099 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 3338272
[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 29636
/proc/meminfo: memFree=24848168/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=3341152 CPUtime=1602.03 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 841008 0 0 0 160034 169 0 0 20 0 1 0 268905471 3421339648 833116 33554432000 4194304 10173063 140733420254480 140733420249592 8925052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 835288 833116 615 1460 0 833819 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 3341152
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29636
/proc/meminfo: memFree=24841720/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=3342176 CPUtime=1662.02 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 841307 0 0 0 166033 169 0 0 20 0 1 0 268905471 3422388224 833415 33554432000 4194304 10173063 140733420254480 140733420249592 8925047 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 835544 833415 615 1460 0 834075 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 3342176
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29637
/proc/meminfo: memFree=24774724/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=3410344 CPUtime=1722.01 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 857660 0 0 0 172030 171 0 0 20 0 1 0 268905471 3492192256 850246 33554432000 4194304 10173063 140733420254480 140733420249800 8925083 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 852586 850246 615 1460 0 851117 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 3410344
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29637
/proc/meminfo: memFree=24587932/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=3601056 CPUtime=1782 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 900677 0 0 0 178023 177 0 0 20 0 1 0 268905471 3687481344 896329 33554432000 4194304 10173063 140733420254480 140733420249640 8925047 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 900264 896329 615 1460 0 898795 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 3601056
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29637
/proc/meminfo: memFree=24585856/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=3603104 CPUtime=1800 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 901253 0 0 0 179823 177 0 0 20 0 1 0 268905471 3689578496 896905 33554432000 4194304 10173063 140733420254480 140733420249800 8925057 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 900776 896905 615 1460 0 899307 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 3603104
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -29582
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29638
/proc/meminfo: memFree=24585856/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=3603104 CPUtime=1801.1 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 901267 0 0 0 179933 177 0 0 20 0 1 0 268905471 3689578496 896919 33554432000 4194304 10173063 140733420254480 140733420249024 8925032 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 900776 896919 615 1460 0 899307 0
Current children cumulated CPU time (s) 1801.1
Current children cumulated vsize (KiB) 3603104
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29638
/proc/meminfo: memFree=24585600/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=3603104 CPUtime=1801.5 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 901269 0 0 0 179973 177 0 0 20 0 1 0 268905471 3689578496 896921 33554432000 4194304 10173063 140733420254480 140733420249024 8925052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 900776 896921 615 1460 0 899307 0
Current children cumulated CPU time (s) 1801.5
Current children cumulated vsize (KiB) 3603104
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29638
/proc/meminfo: memFree=24585600/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=3603104 CPUtime=1801.9 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 901269 0 0 0 180013 177 0 0 20 0 1 0 268905471 3689578496 896921 33554432000 4194304 10173063 140733420254480 140733420249024 8925037 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 900776 896921 615 1460 0 899307 0
Current children cumulated CPU time (s) 1801.9
Current children cumulated vsize (KiB) 3603104
[startup+1802.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29638
/proc/meminfo: memFree=24585600/32873648 swapFree=7360/7360
[pid=29582] ppid=29580 vsize=3603104 CPUtime=1802 cores=1,3,5,7
/proc/29582/stat : 29582 (scip-2.1.1.4fix) R 29580 29582 28235 0 -1 4202496 901269 0 0 0 180023 177 0 0 20 0 1 0 268905471 3689578496 896921 33554432000 4194304 10173063 140733420254480 140733420249024 8924992 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29582/statm: 900776 896921 615 1460 0 899307 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 3603104
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.36
CPU time (s): 1802.06
CPU user time (s): 1800.24
CPU system time (s): 1.82472
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 3603104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.24
system time used= 1.82472
maximum resident set size= 3587684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 901269
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= 32
involuntary context switches= 1848
runsolver used 9.64153 second user time and 15.8836 second system time
The end