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: 947bdb7-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-3692558-1338046628.opb>
2.29/2.33 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
2.29/2.33 c problem read in 2.33
4.78/4.83 c presolving:
10.59/10.61 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
12.38/12.49 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-3692558-1338046628/watcher-3692558-1338046628 -o /tmp/evaluation-result-3692558-1338046628/solver-3692558-1338046628 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692558-1338046628.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: 1.92 1.98 1.99 3/178 1439
/proc/meminfo: memFree=28714624/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=7920 CPUtime=0 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 423 0 0 0 0 0 0 0 20 0 1 0 270788243 8110080 379 33554432000 4194304 10219143 140735475770768 140733222982376 8891101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 1980 387 230 1471 0 500 0
[startup+0.083035 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 1439
/proc/meminfo: memFree=28714624/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=42016 CPUtime=0.07 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 9265 0 0 0 6 1 0 0 20 0 1 0 270788243 43024384 9220 33554432000 4194304 10219143 140735475770768 140735475769640 5347024 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 10504 9220 421 1471 0 9024 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 42016
[startup+0.100343 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 1439
/proc/meminfo: memFree=28714624/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=46480 CPUtime=0.08 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 10389 0 0 0 7 1 0 0 20 0 1 0 270788243 47595520 10344 33554432000 4194304 10219143 140735475770768 140735475769640 7589947 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 11620 10344 421 1471 0 10140 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 46480
[startup+0.300291 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 1439
/proc/meminfo: memFree=28714624/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=88380 CPUtime=0.29 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 20834 0 0 0 26 3 0 0 20 0 1 0 270788243 90501120 20789 33554432000 4194304 10219143 140735475770768 140735475635944 9029200 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 22095 20789 421 1471 0 20615 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 88380
[startup+0.700279 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 1439
/proc/meminfo: memFree=28714624/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=202436 CPUtime=0.69 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 49369 0 0 0 61 8 0 0 20 0 1 0 270788243 207294464 49324 33554432000 4194304 10219143 140735475770768 140735475635944 7123615 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 50609 49324 421 1471 0 49129 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 202436
[startup+1.50028 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 1440
/proc/meminfo: memFree=28436352/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=411868 CPUtime=1.48 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 101481 0 0 0 132 16 0 0 20 0 1 0 270788243 421752832 101436 33554432000 4194304 10219143 140735475770768 140735475635944 5424149 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 102967 101436 421 1471 0 101487 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 411868
[startup+3.1003 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 1440
/proc/meminfo: memFree=28227892/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=998404 CPUtime=3.08 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 248213 0 0 0 272 36 0 0 20 0 1 0 270788243 1022365696 248128 33554432000 4194304 10219143 140735475770768 140735475635944 4962128 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 249601 248128 473 1471 0 248121 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 998404
[startup+6.30027 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 1440
/proc/meminfo: memFree=27471124/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=1256828 CPUtime=6.29 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 308574 0 0 0 510 119 0 0 20 0 1 0 270788243 1286991872 311555 33554432000 4194304 10219143 140735475770768 140735475767768 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 314207 311555 550 1471 0 312727 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1256828
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 1488
/proc/meminfo: memFree=25907740/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=1611172 CPUtime=12.69 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 442647 0 0 0 981 288 0 0 20 0 1 0 270788243 1649840128 399571 33554432000 4194304 10219143 140735475770768 140735475766824 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 402793 399571 591 1471 0 401313 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1611172
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 1488
/proc/meminfo: memFree=24981476/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=1904416 CPUtime=25.48 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 493992 0 0 0 2197 351 0 0 20 0 1 0 270788243 1950121984 471938 33554432000 4194304 10219143 140735475770768 140735475766168 8969249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 476104 471938 612 1471 0 474624 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1904416
[startup+51.1004 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 1488
/proc/meminfo: memFree=24964316/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=1912800 CPUtime=51.07 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 495971 0 0 0 4756 351 0 0 20 0 1 0 270788243 1958707200 473951 33554432000 4194304 10219143 140735475770768 140735475766168 8969244 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 478200 473951 612 1471 0 476720 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1912800
[startup+102.307 s]
/proc/loadavg: 2.04 2.00 2.00 3/179 1489
/proc/meminfo: memFree=24933608/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=1914520 CPUtime=102.27 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 496502 0 0 0 9875 352 0 0 20 0 1 0 270788243 1960468480 474436 33554432000 4194304 10219143 140735475770768 140735475766408 8969260 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 478630 474436 612 1471 0 477150 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1914520
[startup+162.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 1489
/proc/meminfo: memFree=22167244/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=3346648 CPUtime=162.25 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 828041 0 0 0 15818 407 0 0 20 0 1 0 270788243 3426967552 822676 33554432000 4194304 10219143 140735475770768 140735475765880 8969239 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 836662 822676 612 1471 0 835182 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 3346648
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 1492
/proc/meminfo: memFree=22164288/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=3347672 CPUtime=222.24 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 828410 0 0 0 21817 407 0 0 20 0 1 0 270788243 3428016128 823044 33554432000 4194304 10219143 140735475770768 140735475765880 8969249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 836918 823044 612 1471 0 835438 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 3347672
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1492
/proc/meminfo: memFree=22151676/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=3348696 CPUtime=282.23 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 828778 0 0 0 27816 407 0 0 20 0 1 0 270788243 3429064704 826041 33554432000 4194304 10219143 140735475770768 140735475765880 8969239 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 837174 826041 612 1471 0 835694 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 3348696
[startup+342.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 1492
/proc/meminfo: memFree=22147116/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=3348696 CPUtime=342.22 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 828890 0 0 0 33815 407 0 0 20 0 1 0 270788243 3429064704 826715 33554432000 4194304 10219143 140735475770768 140735475765880 8969244 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 837174 826715 612 1471 0 835694 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 3348696
[startup+402.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 1493
/proc/meminfo: memFree=22143052/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=3348696 CPUtime=402.21 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 829005 0 0 0 39814 407 0 0 20 0 1 0 270788243 3429064704 827145 33554432000 4194304 10219143 140735475770768 140735475765880 8969244 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 837174 827145 612 1471 0 835694 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 3348696
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1493
/proc/meminfo: memFree=22140476/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=3349720 CPUtime=462.21 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 829381 0 0 0 45813 408 0 0 20 0 1 0 270788243 3430113280 827611 33554432000 4194304 10219143 140735475770768 140735475765880 8969280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 837430 827611 612 1471 0 835950 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 3349720
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1493
/proc/meminfo: memFree=22137280/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=3351768 CPUtime=522.2 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 830067 0 0 0 51812 408 0 0 20 0 1 0 270788243 3432210432 828406 33554432000 4194304 10219143 140735475770768 140735475765880 8969229 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 837942 828406 612 1471 0 836462 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 3351768
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1493
/proc/meminfo: memFree=22136068/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=3351768 CPUtime=582.18 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 830182 0 0 0 57810 408 0 0 20 0 1 0 270788243 3432210432 828520 33554432000 4194304 10219143 140735475770768 140735475765880 8969224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 837942 828520 612 1471 0 836462 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 3351768
[startup+642.3 s]
################
# More data... #
################
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 831207 0 0 0 99803 409 0 0 20 0 1 0 270788243 3435159552 834556 33554432000 4194304 10219143 140735475770768 140735475765880 8969224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 838662 834556 612 1471 0 837182 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 3354648
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1499
/proc/meminfo: memFree=22101128/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=3354648 CPUtime=1062.11 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 831231 0 0 0 105802 409 0 0 20 0 1 0 270788243 3435159552 834655 33554432000 4194304 10219143 140735475770768 140735475765880 8969244 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 838662 834655 612 1471 0 837182 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 3354648
[startup+1122.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/179 1499
/proc/meminfo: memFree=22099348/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=3355672 CPUtime=1122.1 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 831512 0 0 0 111801 409 0 0 20 0 1 0 270788243 3436208128 834966 33554432000 4194304 10219143 140735475770768 140735475765880 8969234 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 838918 834966 612 1471 0 837438 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 3355672
[startup+1182.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/179 1499
/proc/meminfo: memFree=22094788/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=3357528 CPUtime=1182.09 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 832000 0 0 0 117800 409 0 0 20 0 1 0 270788243 3438108672 835454 33554432000 4194304 10219143 140735475770768 140735475765880 8969254 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 839382 835454 612 1471 0 837902 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 3357528
[startup+1242.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/179 1499
/proc/meminfo: memFree=22094072/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=3357528 CPUtime=1242.08 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 832024 0 0 0 123799 409 0 0 20 0 1 0 270788243 3438108672 835480 33554432000 4194304 10219143 140735475770768 140735475765880 8969249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 839382 835480 612 1471 0 837902 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 3357528
[startup+1302.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 1499
/proc/meminfo: memFree=22091752/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=3357528 CPUtime=1302.08 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 832050 0 0 0 129799 409 0 0 20 0 1 0 270788243 3438108672 835506 33554432000 4194304 10219143 140735475770768 140735475765880 8969260 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 839382 835506 612 1471 0 837902 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 3357528
[startup+1362.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/179 1500
/proc/meminfo: memFree=22087816/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=3357528 CPUtime=1362.06 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 832076 0 0 0 135797 409 0 0 20 0 1 0 270788243 3438108672 835836 33554432000 4194304 10219143 140735475770768 140735475765880 8969254 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 839382 835836 612 1471 0 837902 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 3357528
[startup+1422.31 s]
/proc/loadavg: 2.04 2.05 2.00 3/180 1503
/proc/meminfo: memFree=22083448/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=3359576 CPUtime=1422.06 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 832612 0 0 0 141797 409 0 0 20 0 1 0 270788243 3440205824 836565 33554432000 4194304 10219143 140735475770768 140735475765880 8969234 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 839894 836565 612 1471 0 838414 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 3359576
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/180 1526
/proc/meminfo: memFree=22083096/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=3359576 CPUtime=1482.04 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 832636 0 0 0 147795 409 0 0 20 0 1 0 270788243 3440205824 836589 33554432000 4194304 10219143 140735475770768 140735475765880 8969229 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 839894 836589 612 1471 0 838414 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 3359576
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 1526
/proc/meminfo: memFree=22082512/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=3359576 CPUtime=1542.03 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 832661 0 0 0 153794 409 0 0 20 0 1 0 270788243 3440205824 836613 33554432000 4194304 10219143 140735475770768 140735475765880 8969229 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 839894 836613 612 1471 0 838414 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 3359576
[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/179 1526
/proc/meminfo: memFree=22076712/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=3362136 CPUtime=1602.02 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 833329 0 0 0 159792 410 0 0 20 0 1 0 270788243 3442827264 837321 33554432000 4194304 10219143 140735475770768 140735475765880 8969254 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 840534 837321 612 1471 0 839054 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 3362136
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 1527
/proc/meminfo: memFree=22074260/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=3363160 CPUtime=1662.01 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 833609 0 0 0 165791 410 0 0 20 0 1 0 270788243 3443875840 837601 33554432000 4194304 10219143 140735475770768 140735475765880 8969244 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 840790 837601 612 1471 0 839310 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 3363160
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 1527
/proc/meminfo: memFree=22072552/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=3364184 CPUtime=1722 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 833889 0 0 0 171790 410 0 0 20 0 1 0 270788243 3444924416 837881 33554432000 4194304 10219143 140735475770768 140735475765880 8969239 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 841046 837881 612 1471 0 839566 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 3364184
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 1527
/proc/meminfo: memFree=22069480/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=3364184 CPUtime=1781.99 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 833913 0 0 0 177789 410 0 0 20 0 1 0 270788243 3444924416 837905 33554432000 4194304 10219143 140735475770768 140735475765880 8969249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 841046 837905 612 1471 0 839566 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 3364184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 1527
/proc/meminfo: memFree=22069076/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=3364184 CPUtime=1800.1 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 833924 0 0 0 179600 410 0 0 20 0 1 0 270788243 3444924416 837916 33554432000 4194304 10219143 140735475770768 140735475765880 8969254 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 841046 837916 612 1471 0 839566 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 3364184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -1439
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 1528
/proc/meminfo: memFree=22069076/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=3364184 CPUtime=1801.09 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 833924 0 0 0 179699 410 0 0 20 0 1 0 270788243 3444924416 837916 33554432000 4194304 10219143 140735475770768 140735475765312 8969244 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 841046 837916 612 1471 0 839566 0
Current children cumulated CPU time (s) 1801.09
Current children cumulated vsize (KiB) 3364184
[startup+1802.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 1528
/proc/meminfo: memFree=22069068/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=3364184 CPUtime=1801.89 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 833924 0 0 0 179779 410 0 0 20 0 1 0 270788243 3444924416 837916 33554432000 4194304 10219143 140735475770768 140735475765312 8969244 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 841046 837916 612 1471 0 839566 0
Current children cumulated CPU time (s) 1801.89
Current children cumulated vsize (KiB) 3364184
[startup+1802.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 1528
/proc/meminfo: memFree=22069068/32873844 swapFree=7096/7096
[pid=1439] ppid=1437 vsize=3364184 CPUtime=1802.09 cores=1,3,5,7
/proc/1439/stat : 1439 (scip-2.1.1.4exp) R 1437 1439 29822 0 -1 4202496 833924 0 0 0 179799 410 0 0 20 0 1 0 270788243 3444924416 837916 33554432000 4194304 10219143 140735475770768 140735475765312 8969229 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1439/statm: 841046 837916 612 1471 0 839566 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 3364184
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.46
CPU time (s): 1802.16
CPU user time (s): 1798.01
CPU system time (s): 4.15137
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 3364184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.01
system time used= 4.15137
maximum resident set size= 3351664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 833924
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= 30
involuntary context switches= 1876
runsolver used 4.15637 second user time and 12.2451 second system time
The end