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-3692734-1338023538.opb>
6.39/6.46 c original problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 2559501 constraints
6.39/6.46 c problem read in 6.46
16.99/17.09 c presolving:
47.69/47.79 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2757500 upgd conss, 4000 impls, 100 clqs
55.67/55.75 c (round 2) 0 del vars, 150999 del conss, 2000 add conss, 0 chg bounds, 2000 chg sides, 9035 chg coeffs, 2757500 upgd conss, 102002 impls, 100 clqs
66.18/66.26 c (66.1s) probing: 51/4500 (1.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
66.18/66.26 c (66.1s) probing aborted: 50/50 successive totally useless probings
76.87/76.91 c presolving (3 rounds):
76.87/76.91 c 0 deleted vars, 150999 deleted constraints, 2000 added constraints, 0 tightened bounds, 0 added holes, 2000 changed sides, 9239 changed coefficients
76.87/76.91 c 106902 implications, 100 cliques
76.87/76.91 c presolved problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 2410502 constraints
76.87/76.91 c 4950 constraints of type <knapsack>
76.87/76.91 c 51101 constraints of type <setppc>
76.87/76.91 c 1 constraints of type <linear>
76.87/76.91 c 2354450 constraints of type <logicor>
76.87/76.91 c transformed objective value is always integral (scale: 1)
76.87/76.91 c Presolving Time: 68.59
76.87/76.91 c - non default parameters ----------------------------------------------------------------------
76.87/76.91 c # SCIP version 2.1.1.4
76.87/76.91 c
76.87/76.91 c # maximal time in seconds to run
76.87/76.91 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
76.87/76.91 c limits/time = 1797
76.87/76.91 c
76.87/76.91 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
76.87/76.91 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
76.87/76.91 c limits/memory = 13950
76.87/76.91 c
76.87/76.91 c # default clock type (1: CPU user seconds, 2: wall clock time)
76.87/76.91 c # [type: int, range: [1,2], default: 1]
76.87/76.91 c timing/clocktype = 2
76.87/76.91 c
76.87/76.91 c # belongs reading time to solving time?
76.87/76.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
76.87/76.91 c timing/reading = TRUE
76.87/76.91 c
76.87/76.91 c -----------------------------------------------------------------------------------------------
76.87/76.91 c start solving
76.97/77.08 c
286.93/287.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
286.93/287.07 c 287s| 1 | 0 | 3813 | - |3171M| 0 | 170 |4500 |2410k|4500 |2410k| 0 | 15 | 0 | 0.000000e+00 | -- | Inf
1500.02/1500.35 c 1500s| 1 | 0 | 12449 | - |3229M| 0 | 203 |4500 |2410k|4500 |2410k| 27 | 15 | 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-3692734-1338023538/watcher-3692734-1338023538 -o /tmp/evaluation-result-3692734-1338023538/solver-3692734-1338023538 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692734-1338023538.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: 2.02 2.03 2.00 3/178 5990
/proc/meminfo: memFree=23018228/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=10412 CPUtime=0 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 1339 0 0 0 0 0 0 0 20 0 1 0 268478879 10661888 1293 33554432000 4194304 10169799 140734713535760 140734590437752 8797266 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5990/statm: 2603 1293 409 1459 0 1135 0
[startup+0.00764801 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 5990
/proc/meminfo: memFree=23018228/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=10796 CPUtime=0 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 1437 0 0 0 0 0 0 0 20 0 1 0 268478879 11055104 1391 33554432000 4194304 10169799 140734713535760 140734590437752 7168613 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5990/statm: 2763 1393 409 1459 0 1295 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10796
[startup+0.100216 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 5990
/proc/meminfo: memFree=23018228/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=24540 CPUtime=0.09 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 4900 0 0 0 9 0 0 0 20 0 1 0 268478879 25128960 4850 33554432000 4194304 10169799 140734713535760 140734590437752 8982256 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5990/statm: 6135 4850 409 1459 0 4667 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24540
[startup+0.300233 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 5990
/proc/meminfo: memFree=23018228/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=48580 CPUtime=0.29 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 10878 0 0 0 27 2 0 0 20 0 1 0 268478879 49745920 10828 33554432000 4194304 10169799 140734713535760 140734590437752 7170475 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5990/statm: 12145 10828 409 1459 0 10677 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48580
[startup+0.700234 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 5990
/proc/meminfo: memFree=23018228/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=96712 CPUtime=0.69 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 22835 0 0 0 65 4 0 0 20 0 1 0 268478879 99033088 22785 33554432000 4194304 10169799 140734713535760 140734713402088 7543003 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5990/statm: 24178 22785 409 1459 0 22710 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 96712
[startup+1.50024 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 5991
/proc/meminfo: memFree=22893856/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=190716 CPUtime=1.49 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 46266 0 0 0 142 7 0 0 20 0 1 0 268478879 195293184 46216 33554432000 4194304 10169799 140734713535760 140734713402088 8724835 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5990/statm: 47679 46216 409 1459 0 46211 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 190716
[startup+3.1002 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 5991
/proc/meminfo: memFree=22762912/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=382456 CPUtime=3.09 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 94007 0 0 0 294 15 0 0 20 0 1 0 268478879 391634944 93957 33554432000 4194304 10169799 140734713535760 140734713402088 8982256 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5990/statm: 95614 93957 409 1459 0 94146 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 382456
[startup+6.30023 s]
/proc/loadavg: 2.10 2.04 2.01 3/179 5991
/proc/meminfo: memFree=22324456/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=762660 CPUtime=6.28 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 188552 0 0 0 598 30 0 0 20 0 1 0 268478879 780963840 188502 33554432000 4194304 10169799 140734713535760 140734713402088 7169614 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5990/statm: 190665 188502 409 1459 0 189197 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 762660
[startup+12.7002 s]
/proc/loadavg: 2.09 2.04 2.00 3/179 5991
/proc/meminfo: memFree=20257492/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=2871216 CPUtime=12.68 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 713733 0 0 0 1163 105 0 0 20 0 1 0 268478879 2940125184 707876 33554432000 4194304 10169799 140734713535760 140734713532648 5281877 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5990/statm: 717804 707876 496 1459 0 716336 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2871216
[startup+25.5003 s]
/proc/loadavg: 2.07 2.04 2.00 3/179 5991
/proc/meminfo: memFree=20221752/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=2848212 CPUtime=25.49 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 867717 0 0 0 1912 637 0 0 20 0 1 0 268478879 2916569088 698513 33554432000 4194304 10169799 140734713535760 140734713533912 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5990/statm: 712053 698513 542 1459 0 710585 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2848212
[startup+51.1003 s]
/proc/loadavg: 2.04 2.04 2.00 3/179 5991
/proc/meminfo: memFree=19438856/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=3654512 CPUtime=51.08 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 1095982 0 0 0 3369 1739 0 0 20 0 1 0 268478879 3742220288 894276 33554432000 4194304 10169799 140734713535760 140734713532968 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5990/statm: 913628 894276 580 1459 0 912160 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3654512
[startup+102.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 5991
/proc/meminfo: memFree=16920676/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=6495436 CPUtime=102.27 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 1384855 0 0 0 7788 2439 0 0 20 0 1 0 268478879 6651326464 1522496 33554432000 4194304 10169799 140734713535760 140734713530168 8009648 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5990/statm: 1623859 1522496 765 1459 0 1622391 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 6495436
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 6032
/proc/meminfo: memFree=21157508/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=6512164 CPUtime=162.25 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 1385499 0 0 0 13770 2455 0 0 20 0 1 0 268478879 6668455936 1525739 33554432000 4194304 10169799 140734713535760 140734713530168 8004399 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5990/statm: 1628041 1525739 765 1459 0 1626573 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 6512164
[startup+222.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 6032
/proc/meminfo: memFree=20540600/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=6512164 CPUtime=222.24 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 1385926 0 0 0 19759 2465 0 0 20 0 1 0 268478879 6668455936 1525746 33554432000 4194304 10169799 140734713535760 140734713530168 7591853 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5990/statm: 1628041 1525746 765 1459 0 1626573 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 6512164
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 6032
/proc/meminfo: memFree=20482012/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=6512164 CPUtime=282.22 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 1386263 0 0 0 25751 2471 0 0 20 0 1 0 268478879 6668455936 1525753 33554432000 4194304 10169799 140734713535760 140734713530552 8004375 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5990/statm: 1628041 1525753 765 1459 0 1626573 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 6512164
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 6032
/proc/meminfo: memFree=20788388/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=5983312 CPUtime=342.22 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 1390455 0 0 0 31736 2486 0 0 20 0 1 0 268478879 6126911488 1439575 33554432000 4194304 10169799 140734713535760 140734713528072 7708634 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5990/statm: 1495828 1439575 780 1459 0 1494360 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 5983312
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 6032
/proc/meminfo: memFree=20726876/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=6012196 CPUtime=402.21 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 1392526 0 0 0 37724 2497 0 0 20 0 1 0 268478879 6156488704 1453356 33554432000 4194304 10169799 140734713535760 140734713527336 7708634 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5990/statm: 1503049 1453356 780 1459 0 1501581 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 6012196
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 6035
/proc/meminfo: memFree=20779896/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=6085396 CPUtime=462.2 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 1394757 0 0 0 43710 2510 0 0 20 0 1 0 268478879 6231445504 1465203 33554432000 4194304 10169799 140734713535760 140734713528072 8009315 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5990/statm: 1521349 1465203 780 1459 0 1519881 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 6085396
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6036
/proc/meminfo: memFree=20780004/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=6085396 CPUtime=522.18 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 1395211 0 0 0 49699 2519 0 0 20 0 1 0 268478879 6231445504 1465210 33554432000 4194304 10169799 140734713535760 140734713528440 7978034 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5990/statm: 1521349 1465210 780 1459 0 1519881 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 6085396
[startup+582.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6036
/proc/meminfo: memFree=20716128/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=6085396 CPUtime=582.18 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 1395704 0 0 0 55689 2529 0 0 20 0 1 0 268478879 6231445504 1465215 33554432000 4194304 10169799 140734713535760 140734713528440 8061235 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5990/statm: 1521349 1465215 780 1459 0 1519881 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 6085396
[startup+642.3 s]
################
# More data... #
################
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 1401268 0 0 0 103601 2608 0 0 20 0 1 0 268478879 6105309184 1442370 33554432000 4194304 10169799 140734713535760 140734713532072 7280653 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 1490554 1442370 801 1459 0 1489086 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 5962216
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6041
/proc/meminfo: memFree=20737580/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=5962216 CPUtime=1122.09 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 1401268 0 0 0 109601 2608 0 0 20 0 1 0 268478879 6105309184 1442370 33554432000 4194304 10169799 140734713535760 140734713532072 7280653 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 1490554 1442370 801 1459 0 1489086 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 5962216
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6041
/proc/meminfo: memFree=20737608/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=5962216 CPUtime=1182.07 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 1401268 0 0 0 115599 2608 0 0 20 0 1 0 268478879 6105309184 1442370 33554432000 4194304 10169799 140734713535760 140734713532072 7280635 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 1490554 1442370 801 1459 0 1489086 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 5962216
[startup+1242.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 6041
/proc/meminfo: memFree=20755812/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=5962216 CPUtime=1242.07 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 1401268 0 0 0 121599 2608 0 0 20 0 1 0 268478879 6105309184 1442370 33554432000 4194304 10169799 140734713535760 140734713532072 7280653 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 1490554 1442370 801 1459 0 1489086 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 5962216
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 6041
/proc/meminfo: memFree=20748696/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=5962216 CPUtime=1302.06 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 1401268 0 0 0 127598 2608 0 0 20 0 1 0 268478879 6105309184 1442370 33554432000 4194304 10169799 140734713535760 140734713532072 7280653 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 1490554 1442370 801 1459 0 1489086 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 5962216
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 6042
/proc/meminfo: memFree=20726864/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=5962216 CPUtime=1362.05 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 1401268 0 0 0 133597 2608 0 0 20 0 1 0 268478879 6105309184 1442370 33554432000 4194304 10169799 140734713535760 140734713532072 7280653 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 1490554 1442370 801 1459 0 1489086 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 5962216
[startup+1422.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 6043
/proc/meminfo: memFree=20752352/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=5962216 CPUtime=1422.04 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 1401268 0 0 0 139596 2608 0 0 20 0 1 0 268478879 6105309184 1442370 33554432000 4194304 10169799 140734713535760 140734713532072 7280653 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 1490554 1442370 801 1459 0 1489086 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 5962216
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 6043
/proc/meminfo: memFree=20586636/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=6300936 CPUtime=1482.03 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 1409647 0 0 0 145577 2626 0 0 20 0 1 0 268478879 6452158464 1479502 33554432000 4194304 10169799 140734713535760 140734713530168 8061242 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 1575234 1479502 807 1459 0 1573766 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 6300936
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6043
/proc/meminfo: memFree=20563832/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=6300936 CPUtime=1542.02 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 1409865 0 0 0 151573 2629 0 0 20 0 1 0 268478879 6452158464 1482130 33554432000 4194304 10169799 140734713535760 140734713531752 7651905 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 1575234 1482130 807 1459 0 1573766 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 6300936
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6043
/proc/meminfo: memFree=20590564/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=6300936 CPUtime=1602.01 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 1409865 0 0 0 157571 2630 0 0 20 0 1 0 268478879 6452158464 1482224 33554432000 4194304 10169799 140734713535760 140734713532072 7280655 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 1575234 1482224 807 1459 0 1573766 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 6300936
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 6046
/proc/meminfo: memFree=20569140/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=6300936 CPUtime=1662 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 1409865 0 0 0 163570 2630 0 0 20 0 1 0 268478879 6452158464 1482224 33554432000 4194304 10169799 140734713535760 140734713532072 7280653 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 1575234 1482224 807 1459 0 1573766 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 6300936
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6047
/proc/meminfo: memFree=20546148/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=6300936 CPUtime=1721.99 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 1409865 0 0 0 169569 2630 0 0 20 0 1 0 268478879 6452158464 1482224 33554432000 4194304 10169799 140734713535760 140734713532072 7280655 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 1575234 1482224 807 1459 0 1573766 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 6300936
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6047
/proc/meminfo: memFree=20587904/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=6300936 CPUtime=1781.99 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 1409865 0 0 0 175569 2630 0 0 20 0 1 0 268478879 6452158464 1482724 33554432000 4194304 10169799 140734713535760 140734713532072 7280653 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 1575234 1482724 807 1459 0 1573766 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 6300936
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6047
/proc/meminfo: memFree=20553388/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=6300936 CPUtime=1800.09 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 1409865 0 0 0 177379 2630 0 0 20 0 1 0 268478879 6452158464 1482724 33554432000 4194304 10169799 140734713535760 140734713532072 7280644 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 1575234 1482724 807 1459 0 1573766 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 6300936
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -5990
Solver just ended. Dumping a history of the last processes samples
[startup+1801.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 6048
/proc/meminfo: memFree=20553132/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=6300936 CPUtime=1801.48 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 1409865 0 0 0 177518 2630 0 0 20 0 1 0 268478879 6452158464 1482724 33554432000 4194304 10169799 140734713535760 140734713531136 7280653 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 1575234 1482724 807 1459 0 1573766 0
Current children cumulated CPU time (s) 1801.48
Current children cumulated vsize (KiB) 6300936
[startup+1802.21 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 6048
/proc/meminfo: memFree=20553116/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=6300936 CPUtime=1801.89 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 1409865 0 0 0 177559 2630 0 0 20 0 1 0 268478879 6452158464 1482724 33554432000 4194304 10169799 140734713535760 140734713531136 7280653 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 1575234 1482724 807 1459 0 1573766 0
Current children cumulated CPU time (s) 1801.89
Current children cumulated vsize (KiB) 6300936
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 6048
/proc/meminfo: memFree=20553116/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=6300936 CPUtime=1802.08 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4202496 1409865 0 0 0 177578 2630 0 0 20 0 1 0 268478879 6452158464 1482724 33554432000 4194304 10169799 140734713535760 140734713531136 7280653 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 1575234 1482724 807 1459 0 1573766 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 6300936
[startup+1802.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 6048
/proc/meminfo: memFree=20553116/32873844 swapFree=7364/7364
[pid=5990] ppid=5988 vsize=0 CPUtime=1802.18 cores=0,2,4,6
/proc/5990/stat : 5990 (scip-2.1.1.4sfi) R 5988 5990 4481 0 -1 4203524 1409865 0 0 0 177579 2639 0 0 20 0 1 0 268478879 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5990/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.18
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.54
CPU time (s): 1802.22
CPU user time (s): 1775.79
CPU system time (s): 26.435
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 6813492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1775.79
system time used= 26.435
maximum resident set size= 6213376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1409865
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= 5
involuntary context switches= 2507
runsolver used 3.06353 second user time and 8.68668 second system time
The end