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-3692958-1338041068.opb>
20.09/20.15 c original problem has 311827 variables (311827 bin, 0 int, 0 impl, 0 cont) and 7317246 constraints
20.09/20.15 c problem read in 20.14
66.08/66.15 c presolving:
170.05/170.18 c (round 1) 1 del vars, 8 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 0 chg coeffs, 7317237 upgd conss, 3118162 impls, 11481 clqs
522.26/522.47 c (522.1s) probing: 1000/311826 (0.3%) - 0 fixings, 0 aggregations, 2140321 implications, 0 bound changes
522.67/522.83 c (522.5s) probing: 1001/311826 (0.3%) - 0 fixings, 0 aggregations, 2143180 implications, 0 bound changes
522.67/522.83 c (522.5s) probing aborted: 1000/1000 successive useless probings
640.53/640.71 c presolving (2 rounds):
640.53/640.71 c 1 deleted vars, 30 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 0 changed coefficients
640.53/640.71 c 7404522 implications, 11481 cliques
640.53/640.71 c presolved problem has 311826 variables (311826 bin, 0 int, 0 impl, 0 cont) and 7317216 constraints
640.53/640.71 c 732181 constraints of type <knapsack>
640.53/640.71 c 1539847 constraints of type <setppc>
640.53/640.71 c 1 constraints of type <linear>
640.53/640.71 c 5045187 constraints of type <logicor>
640.53/640.71 c transformed objective value is always integral (scale: 1)
640.53/640.71 c Presolving Time: 614.81
640.53/640.71 c - non default parameters ----------------------------------------------------------------------
640.53/640.71 c # SCIP version 2.1.1.4
640.53/640.71 c
640.53/640.71 c # maximal time in seconds to run
640.53/640.71 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
640.53/640.71 c limits/time = 1797
640.53/640.71 c
640.53/640.71 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
640.53/640.71 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
640.53/640.71 c limits/memory = 13950
640.53/640.71 c
640.53/640.71 c # default clock type (1: CPU user seconds, 2: wall clock time)
640.53/640.71 c # [type: int, range: [1,2], default: 1]
640.53/640.71 c timing/clocktype = 2
640.53/640.71 c
640.53/640.71 c # belongs reading time to solving time?
640.53/640.71 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
640.53/640.71 c timing/reading = TRUE
640.53/640.71 c
640.53/640.71 c -----------------------------------------------------------------------------------------------
640.53/640.71 c start solving
641.33/641.55 c
653.23/653.44 EMALLC01 malloc: Out of memory - cannot allocate 58537728 bytes
653.23/653.45 c SoPlex threw an exception: XMALLC01 malloc: Could not allocate enough memory
653.23/653.45 c [src/scip/lp.c:7000] ERROR: c Error <-6> in function call
653.23/653.45 c [src/scip/lp.c:7278] ERROR: c Error <-6> in function call
653.23/653.45 c [src/scip/scip.c:14714] ERROR: c Error <-6> in function call
653.23/653.45 c [src/scip/heur_shiftandpropagate.c:1344] ERROR: c Error <-6> in function call
653.23/653.45 c [src/scip/heur.c:422] ERROR: c Error <-6> in function call
653.23/653.45 c [src/scip/solve.c:254] ERROR: c Error <-6> in function call
653.23/653.45 c [src/scip/solve.c:3300] ERROR: c Error <-6> in function call
653.23/653.45 c [src/scip/solve.c:3939] ERROR: c Error <-6> in function call
653.23/653.45 c [src/scip/scip.c:7910] ERROR: c Error <-6> in function call
653.23/653.45 c [src/cmain.c:783] ERROR: c Error <-6> in function call
653.23/653.45 c [src/cmain.c:966] ERROR: c Error <-6> in function call
653.23/653.45 c [src/cmain.c:1053] ERROR: c Error <-6> in function call
653.23/653.45 c SCIP Error (-6): c error in LP solverc
653.23/653.45 c Time complete: 653.28.
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-3692958-1338041068/watcher-3692958-1338041068 -o /tmp/evaluation-result-3692958-1338041068/solver-3692958-1338041068 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692958-1338041068.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
[startup+0 s]
/proc/loadavg: 2.08 2.02 2.01 3/176 9402
/proc/meminfo: memFree=27213072/32873648 swapFree=6596/6596
[pid=9402] ppid=9400 vsize=11812 CPUtime=0 cores=1,3,5,7
/proc/9402/stat : 9402 (runsolver) R 9400 6744 6744 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 1 0 270232122 12095488 39 33554432000 4194304 5436572 140733703289568 140733703285864 4405008 0 0 4096 24578 0 0 0 17 7 0 0 0 0 0
/proc/9402/statm: 2953 39 20 304 0 2645 0
Current StackSize limit: 10240 KiB
[startup+0.0998089 s]
/proc/loadavg: 2.08 2.02 2.01 3/176 9402
/proc/meminfo: memFree=27213072/32873648 swapFree=6596/6596
[pid=9402] ppid=9400 vsize=22704 CPUtime=0.08 cores=1,3,5,7
/proc/9402/stat : 9402 (scip-2.1.1.4sfi) R 9400 9402 6744 0 -1 4202496 4429 0 0 0 8 0 0 0 20 0 1 0 270232122 23248896 4383 33554432000 4194304 10169799 140733358164688 140733703285752 7139113 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9402/statm: 5676 4383 409 1459 0 4208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22704
[startup+0.10022 s]
/proc/loadavg: 2.08 2.02 2.01 3/176 9402
/proc/meminfo: memFree=27213072/32873648 swapFree=6596/6596
[pid=9402] ppid=9400 vsize=22896 CPUtime=0.08 cores=1,3,5,7
/proc/9402/stat : 9402 (scip-2.1.1.4sfi) R 9400 9402 6744 0 -1 4202496 4445 0 0 0 8 0 0 0 20 0 1 0 270232122 23445504 4399 33554432000 4194304 10169799 140733358164688 140733703285752 7543003 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9402/statm: 5724 4399 409 1459 0 4256 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22896
[startup+0.300285 s]
/proc/loadavg: 2.08 2.02 2.01 3/176 9402
/proc/meminfo: memFree=27213072/32873648 swapFree=6596/6596
[pid=9402] ppid=9400 vsize=49508 CPUtime=0.28 cores=1,3,5,7
/proc/9402/stat : 9402 (scip-2.1.1.4sfi) R 9400 9402 6744 0 -1 4202496 11132 0 0 0 27 1 0 0 20 0 1 0 270232122 50696192 11086 33554432000 4194304 10169799 140733358164688 140733703285752 5477139 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9402/statm: 12377 11086 409 1459 0 10909 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 49508
[startup+0.700284 s]
/proc/loadavg: 2.08 2.02 2.01 3/176 9402
/proc/meminfo: memFree=27213072/32873648 swapFree=6596/6596
[pid=9402] ppid=9400 vsize=99628 CPUtime=0.69 cores=1,3,5,7
/proc/9402/stat : 9402 (scip-2.1.1.4sfi) R 9400 9402 6744 0 -1 4202496 23625 0 0 0 66 3 0 0 20 0 1 0 270232122 102019072 23579 33554432000 4194304 10169799 140733358164688 140733358031016 8982256 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9402/statm: 24907 23579 409 1459 0 23439 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 99628
[startup+1.50028 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 9403
/proc/meminfo: memFree=27087584/32873648 swapFree=6596/6596
[pid=9402] ppid=9400 vsize=198592 CPUtime=1.48 cores=1,3,5,7
/proc/9402/stat : 9402 (scip-2.1.1.4sfi) R 9400 9402 6744 0 -1 4202496 48358 0 0 0 141 7 0 0 20 0 1 0 270232122 203358208 48312 33554432000 4194304 10169799 140733358164688 140733358031016 8982256 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9402/statm: 49648 48312 409 1459 0 48180 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 198592
[startup+3.10023 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 9403
/proc/meminfo: memFree=26951300/32873648 swapFree=6596/6596
[pid=9402] ppid=9400 vsize=398784 CPUtime=3.08 cores=1,3,5,7
/proc/9402/stat : 9402 (scip-2.1.1.4sfi) R 9400 9402 6744 0 -1 4202496 98340 0 0 0 294 14 0 0 20 0 1 0 270232122 408354816 98294 33554432000 4194304 10169799 140733358164688 140733358031016 8982256 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9402/statm: 99696 98294 409 1459 0 98228 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 398784
[startup+6.30028 s]
/proc/loadavg: 2.23 2.05 2.02 3/177 9403
/proc/meminfo: memFree=26492264/32873648 swapFree=6596/6596
[pid=9402] ppid=9400 vsize=796968 CPUtime=6.28 cores=1,3,5,7
/proc/9402/stat : 9402 (scip-2.1.1.4sfi) R 9400 9402 6744 0 -1 4202496 196739 0 0 0 597 31 0 0 20 0 1 0 270232122 816095232 197715 33554432000 4194304 10169799 140733358164688 140733358031016 8219346 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9402/statm: 199242 197715 409 1459 0 197774 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 796968
[startup+12.7003 s]
/proc/loadavg: 2.21 2.05 2.02 3/177 9403
/proc/meminfo: memFree=25689020/32873648 swapFree=6596/6596
[pid=9402] ppid=9400 vsize=1576776 CPUtime=12.68 cores=1,3,5,7
/proc/9402/stat : 9402 (scip-2.1.1.4sfi) R 9400 9402 6744 0 -1 4202496 388603 0 0 0 1207 61 0 0 20 0 1 0 270232122 1614618624 392134 33554432000 4194304 10169799 140733358164688 140733358031016 8982256 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9402/statm: 394194 392134 409 1459 0 392726 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1576776
[startup+25.5003 s]
/proc/loadavg: 2.25 2.06 2.02 3/177 9403
/proc/meminfo: memFree=22595520/32873648 swapFree=6596/6596
[pid=9402] ppid=9400 vsize=5151804 CPUtime=25.48 cores=1,3,5,7
/proc/9402/stat : 9402 (scip-2.1.1.4sfi) R 9400 9402 6744 0 -1 4202496 1228696 0 0 0 2366 182 0 0 20 0 1 0 270232122 5275447296 1278652 33554432000 4194304 10169799 140733358164688 140733358161624 7543003 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9402/statm: 1287951 1278677 460 1459 0 1286483 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 5151804
[startup+51.1003 s]
/proc/loadavg: 2.22 2.07 2.02 3/177 9404
/proc/meminfo: memFree=18259888/32873648 swapFree=6596/6596
[pid=9402] ppid=9400 vsize=9063532 CPUtime=51.07 cores=1,3,5,7
/proc/9402/stat : 9402 (scip-2.1.1.4sfi) R 9400 9402 6744 0 -1 4202496 2162839 0 0 0 4796 311 0 0 20 0 1 0 270232122 9281056768 2244476 33554432000 4194304 10169799 140733358164688 140733358161352 4933777 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9402/statm: 2265883 2244476 497 1459 0 2264415 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 9063532
[startup+102.3 s]
/proc/loadavg: 2.21 2.09 2.03 3/177 9404
/proc/meminfo: memFree=17759284/32873648 swapFree=6596/6596
[pid=9402] ppid=9400 vsize=9563524 CPUtime=102.26 cores=1,3,5,7
/proc/9402/stat : 9402 (scip-2.1.1.4sfi) R 9400 9402 6744 0 -1 4202496 2763424 0 0 0 9420 806 0 0 20 0 1 0 270232122 9793048576 2375116 33554432000 4194304 10169799 140733358164688 140733358162840 8961143 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9402/statm: 2390881 2375116 569 1459 0 2389413 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 9563524
[startup+162.3 s]
/proc/loadavg: 2.14 2.09 2.03 3/177 9404
/proc/meminfo: memFree=17524124/32873648 swapFree=6596/6596
[pid=9402] ppid=9400 vsize=9663676 CPUtime=162.26 cores=1,3,5,7
/proc/9402/stat : 9402 (scip-2.1.1.4sfi) R 9400 9402 6744 0 -1 4202496 3329873 0 0 0 15241 985 0 0 20 0 1 0 270232122 9895604224 2396466 33554432000 4194304 10169799 140733358164688 140733358163240 7542441 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9402/statm: 2415919 2396466 569 1459 0 2414451 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 9663676
[startup+222.3 s]
/proc/loadavg: 2.12 2.09 2.03 3/177 9442
/proc/meminfo: memFree=18030596/32873648 swapFree=6596/6596
[pid=9402] ppid=9400 vsize=9716160 CPUtime=222.25 cores=1,3,5,7
/proc/9402/stat : 9402 (scip-2.1.1.4sfi) R 9400 9402 6744 0 -1 4202496 3364133 0 0 0 21042 1183 0 0 20 0 1 0 270232122 9949347840 2400861 33554432000 4194304 10169799 140733358164688 140733358162200 4777712 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9402/statm: 2429040 2400861 616 1459 0 2427572 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 9716160
[startup+282.3 s]
/proc/loadavg: 2.04 2.07 2.02 3/177 9442
/proc/meminfo: memFree=17363268/32873648 swapFree=6596/6596
[pid=9402] ppid=9400 vsize=9781664 CPUtime=282.23 cores=1,3,5,7
/proc/9402/stat : 9402 (scip-2.1.1.4sfi) R 9400 9402 6744 0 -1 4202496 3380383 0 0 0 27037 1186 0 0 20 0 1 0 270232122 10016423936 2417424 33554432000 4194304 10169799 140733358164688 140733358162200 6361361 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9402/statm: 2445416 2417424 616 1459 0 2443948 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 9781664
[startup+342.3 s]
/proc/loadavg: 2.01 2.05 2.02 3/178 9445
/proc/meminfo: memFree=17332372/32873648 swapFree=6596/6596
[pid=9402] ppid=9400 vsize=9810284 CPUtime=342.22 cores=1,3,5,7
/proc/9402/stat : 9402 (scip-2.1.1.4sfi) R 9400 9402 6744 0 -1 4202496 3387553 0 0 0 33034 1188 0 0 20 0 1 0 270232122 10045730816 2424590 33554432000 4194304 10169799 140733358164688 140733358162200 4777685 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9402/statm: 2452571 2424590 616 1459 0 2451103 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 9810284
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/177 9446
/proc/meminfo: memFree=17375488/32873648 swapFree=6596/6596
[pid=9402] ppid=9400 vsize=9846024 CPUtime=402.19 cores=1,3,5,7
/proc/9402/stat : 9402 (scip-2.1.1.4sfi) R 9400 9402 6744 0 -1 4202496 3396558 0 0 0 39030 1189 0 0 20 0 1 0 270232122 10082328576 2433574 33554432000 4194304 10169799 140733358164688 140733358162200 4777685 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9402/statm: 2461506 2433574 616 1459 0 2460038 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 9846024
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 9446
/proc/meminfo: memFree=17272964/32873648 swapFree=6596/6596
[pid=9402] ppid=9400 vsize=9870548 CPUtime=462.19 cores=1,3,5,7
/proc/9402/stat : 9402 (scip-2.1.1.4sfi) R 9400 9402 6744 0 -1 4202496 3402803 0 0 0 45028 1191 0 0 20 0 1 0 270232122 10107441152 2439798 33554432000 4194304 10169799 140733358164688 140733358162200 4777712 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9402/statm: 2467637 2439798 616 1459 0 2466169 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 9870548
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 9446
/proc/meminfo: memFree=17247320/32873648 swapFree=6596/6596
[pid=9402] ppid=9400 vsize=9892008 CPUtime=522.16 cores=1,3,5,7
/proc/9402/stat : 9402 (scip-2.1.1.4sfi) R 9400 9402 6744 0 -1 4202496 3408215 0 0 0 51022 1194 0 0 20 0 1 0 270232122 10129416192 2445185 33554432000 4194304 10169799 140733358164688 140733358162200 4777712 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9402/statm: 2473002 2445185 616 1459 0 2471534 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 9892008
[startup+582.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 9446
/proc/meminfo: memFree=17199616/32873648 swapFree=6596/6596
[pid=9402] ppid=9400 vsize=9942460 CPUtime=582.15 cores=1,3,5,7
/proc/9402/stat : 9402 (scip-2.1.1.4sfi) R 9400 9402 6744 0 -1 4202496 3463514 0 0 0 57003 1212 0 0 20 0 1 0 270232122 10181079040 2456983 33554432000 4194304 10169799 140733358164688 140733358163448 4950556 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9402/statm: 2485615 2456983 622 1459 0 2484147 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 9942460
[startup+642.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9446
/proc/meminfo: memFree=17165208/32873648 swapFree=6596/6596
[pid=9402] ppid=9400 vsize=10138020 CPUtime=642.14 cores=1,3,5,7
/proc/9402/stat : 9402 (scip-2.1.1.4sfi) R 9400 9402 6744 0 -1 4202496 3507607 0 0 0 62995 1219 0 0 20 0 1 0 270232122 10381332480 2506314 33554432000 4194304 10169799 140733358164688 140733358161256 5697305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9402/statm: 2534505 2506314 666 1459 0 2533037 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 10138020
Solver just ended. Dumping a history of the last processes samples
[startup+646.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9446
/proc/meminfo: memFree=15193436/32873648 swapFree=6596/6596
[pid=9402] ppid=9400 vsize=12305644 CPUtime=646.52 cores=1,3,5,7
/proc/9402/stat : 9402 (scip-2.1.1.4sfi) R 9400 9402 6744 0 -1 4202496 3931794 0 0 0 63367 1285 0 0 20 0 1 0 270232122 12600979456 3043664 33554432000 4194304 10169799 140733358164688 140733358161224 7543003 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9402/statm: 3076411 3043664 669 1459 0 3074943 0
Current children cumulated CPU time (s) 646.52
Current children cumulated vsize (KiB) 12305644
[startup+649.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9446
/proc/meminfo: memFree=13492868/32873648 swapFree=6596/6596
[pid=9402] ppid=9400 vsize=13813108 CPUtime=649.73 cores=1,3,5,7
/proc/9402/stat : 9402 (scip-2.1.1.4sfi) R 9400 9402 6744 0 -1 4202496 4292630 0 0 0 63639 1334 0 0 20 0 1 0 270232122 14144622592 3424231 33554432000 4194304 10169799 140733358164688 140733358161288 5699013 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9402/statm: 3453277 3424231 675 1459 0 3451809 0
Current children cumulated CPU time (s) 649.73
Current children cumulated vsize (KiB) 13813108
[startup+651.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9446
/proc/meminfo: memFree=13052992/32873648 swapFree=6596/6596
[pid=9402] ppid=9400 vsize=14381700 CPUtime=651.33 cores=1,3,5,7
/proc/9402/stat : 9402 (scip-2.1.1.4sfi) R 9400 9402 6744 0 -1 4202496 4320686 0 0 0 63792 1341 0 0 20 0 1 0 270232122 14726860800 3490024 33554432000 4194304 10169799 140733358164688 140733358161368 8883659 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9402/statm: 3595425 3490024 682 1459 0 3593957 0
Current children cumulated CPU time (s) 651.33
Current children cumulated vsize (KiB) 14381700
[startup+653.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9446
/proc/meminfo: memFree=12695452/32873648 swapFree=6596/6596
[pid=9402] ppid=9400 vsize=14654312 CPUtime=652.92 cores=1,3,5,7
/proc/9402/stat : 9402 (scip-2.1.1.4sfi) R 9400 9402 6744 0 -1 4202496 4388659 0 0 0 63939 1353 0 0 20 0 1 0 270232122 15006015488 3620850 33554432000 4194304 10169799 140733358164688 140733358161368 5034216 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9402/statm: 3663578 3620850 682 1459 0 3662110 0
Current children cumulated CPU time (s) 652.92
Current children cumulated vsize (KiB) 14654312
[startup+653.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9446
/proc/meminfo: memFree=17928036/32873648 swapFree=6596/6596
[pid=9402] ppid=9400 vsize=0 CPUtime=653.73 cores=1,3,5,7
/proc/9402/stat : 9402 (scip-2.1.1.4sfi) R 9400 9402 6744 0 -1 4202500 4407760 0 0 0 63972 1401 0 0 20 0 1 0 270232122 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9402/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 653.73
Current children cumulated vsize (KiB) 0
[startup+654.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9446
/proc/meminfo: memFree=17928036/32873648 swapFree=6596/6596
[pid=9402] ppid=9400 vsize=0 CPUtime=653.93 cores=1,3,5,7
/proc/9402/stat : 9402 (scip-2.1.1.4sfi) R 9400 9402 6744 0 -1 4202500 4407760 0 0 0 63972 1421 0 0 20 0 1 0 270232122 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9402/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 653.93
Current children cumulated vsize (KiB) 0
Child status: 255
Real time (s): 654.173
CPU time (s): 654.007
CPU user time (s): 639.722
CPU system time (s): 14.2848
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 14715196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 639.722
system time used= 14.2848
maximum resident set size= 14612940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4407760
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= 92
involuntary context switches= 1172
runsolver used 1.02484 second user time and 2.58361 second system time
The end