0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 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-2704687-1278579786.opb>
7.19/7.24 c original problem has 614498 variables (614498 bin, 0 int, 0 impl, 0 cont) and 400 constraints
7.19/7.24 c problem read
7.19/7.24 c presolving settings loaded
13.28/13.33 c presolving:
26.78/26.87 c (round 1) 0 del vars, 15 del conss, 0 chg bounds, 15 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 302 clqs
27.68/27.73 c (round 2) 0 del vars, 15 del conss, 0 chg bounds, 15 chg sides, 0 chg coeffs, 287 upgd conss, 0 impls, 302 clqs
316.11/316.22 c (309.0s) probing: 1000/614498 (0.2%) - 0 fixings, 0 aggregations, 999 implications, 0 bound changes
601.04/601.23 c (594.0s) probing: 2000/614498 (0.3%) - 0 fixings, 0 aggregations, 1999 implications, 0 bound changes
601.34/601.52 c (594.3s) probing: 2001/614498 (0.3%) - 0 fixings, 0 aggregations, 2000 implications, 0 bound changes
601.34/601.52 c (594.3s) probing aborted: 2000/2000 successive useless probings
601.45/601.66 c presolving (3 rounds):
601.45/601.66 c 0 deleted vars, 15 deleted constraints, 0 tightened bounds, 0 added holes, 15 changed sides, 0 changed coefficients
601.45/601.66 c 4000 implications, 302 cliques
601.45/601.66 c presolved problem has 614498 variables (614498 bin, 0 int, 0 impl, 0 cont) and 385 constraints
601.45/601.66 c 287 constraints of type <setppc>
601.45/601.66 c 98 constraints of type <linear>
601.45/601.66 c transformed objective value is always integral (scale: 1)
601.45/601.66 c Presolving Time: 591.98
601.45/601.66 c - non default parameters ----------------------------------------------------------------------
601.45/601.66 c # SCIP version 1.2.1.3
601.45/601.66 c
601.45/601.66 c # frequency for displaying node information lines
601.45/601.66 c # [type: int, range: [-1,2147483647], default: 100]
601.45/601.66 c display/freq = 10000
601.45/601.66 c
601.45/601.66 c # maximal time in seconds to run
601.45/601.66 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
601.45/601.66 c limits/time = 1782.77
601.45/601.66 c
601.45/601.66 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
601.45/601.66 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
601.45/601.66 c limits/memory = 1620
601.45/601.66 c
601.45/601.66 c # default clock type (1: CPU user seconds, 2: wall clock time)
601.45/601.66 c # [type: int, range: [1,2], default: 1]
601.45/601.66 c timing/clocktype = 2
601.45/601.66 c
601.45/601.66 c # should presolving try to simplify inequalities
601.45/601.66 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
601.45/601.66 c constraints/linear/simplifyinequalities = TRUE
601.45/601.66 c
601.45/601.66 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
601.45/601.66 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
601.45/601.66 c constraints/indicator/addCouplingCons = TRUE
601.45/601.66 c
601.45/601.66 c # should presolving try to simplify knapsacks
601.45/601.66 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
601.45/601.66 c constraints/knapsack/simplifyinequalities = TRUE
601.45/601.66 c
601.45/601.66 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
601.45/601.66 c # [type: int, range: [-1,2147483647], default: -1]
601.45/601.66 c separating/rapidlearning/freq = 0
601.45/601.66 c
601.45/601.66 c -----------------------------------------------------------------------------------------------
601.45/601.66 c start solving
602.14/602.35 c
606.33/606.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
606.33/606.58 c 599s| 1 | 0 | 4 | - |1357M| 0 | 2 | 614k| 385 | 614k| 385 | 0 | 0 | 0 | 1.776400e+04 | -- | Inf
619.64/619.80 c pressed CTRL-C 1 times (5 times for forcing termination)
620.03/620.27 c 613s| 1 | 0 | 81 | - |1360M| 0 | 4 | 614k| 385 | 614k| 386 | 1 | 0 | 0 | 1.776400e+04 | -- | Inf
620.53/620.74 c 614s| 1 | 2 | 81 | - |1361M| 0 | 4 | 614k| 385 | 614k| 386 | 1 | 0 | 0 | 1.776400e+04 | -- | Inf
620.53/620.74 c
620.53/620.74 c SCIP Status : solving was interrupted [user interrupt]
620.53/620.74 c Solving Time (sec) : 613.50
620.53/620.74 c Solving Nodes : 1
620.53/620.74 c Primal Bound : +1.00000000000000e+20 (0 solutions)
620.53/620.74 c Dual Bound : +1.77640000000000e+04
620.53/620.74 c Gap : infinite
620.53/620.74 s UNKNOWN
620.53/620.74 c SCIP Status : solving was interrupted [user interrupt]
620.53/620.74 c Solving Time : 613.50
620.53/620.74 c Original Problem :
620.53/620.74 c Problem name : HOME/instance-2704687-1278579786.opb
620.53/620.74 c Variables : 614498 (614498 binary, 0 integer, 0 implicit integer, 0 continuous)
620.53/620.74 c Constraints : 400 initial, 400 maximal
620.53/620.74 c Presolved Problem :
620.53/620.74 c Problem name : t_HOME/instance-2704687-1278579786.opb
620.53/620.74 c Variables : 614498 (614498 binary, 0 integer, 0 implicit integer, 0 continuous)
620.53/620.74 c Constraints : 385 initial, 385 maximal
620.53/620.74 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
620.53/620.74 c trivial : 0.33 0 0 0 0 0 0 0 0
620.53/620.74 c dualfix : 0.32 0 0 0 0 0 0 0 0
620.53/620.74 c boundshift : 0.00 0 0 0 0 0 0 0 0
620.53/620.74 c inttobinary : 0.00 0 0 0 0 0 0 0 0
620.53/620.74 c implics : 0.13 0 0 0 0 0 0 0 0
620.53/620.74 c probing : 570.16 0 0 0 0 0 0 0 0
620.53/620.74 c setppc : 3.24 0 0 0 0 0 0 0 0
620.53/620.74 c linear : 13.40 0 0 0 0 0 15 15 0
620.53/620.74 c root node : - 0 - - 0 - - - -
620.53/620.74 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
620.53/620.74 c integral : 0 0 0 1 0 0 0 0 0 2
620.53/620.74 c setppc : 287 1 6001 0 0 0 0 0 0 0
620.53/620.74 c linear : 98 1 6001 0 0 0 0 0 0 0
620.53/620.74 c countsols : 0 0 0 0 0 0 0 0 0 0
620.53/620.74 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
620.53/620.74 c integral : 0.00 0.00 0.00 0.00 0.00
620.53/620.74 c setppc : 0.13 0.00 0.13 0.00 0.00
620.53/620.74 c linear : 229.50 0.10 229.41 0.00 0.00
620.53/620.74 c countsols : 0.00 0.00 0.00 0.00 0.00
620.53/620.74 c Propagators : Time Calls Cutoffs DomReds
620.53/620.74 c vbounds : 0.01 2 0 0
620.53/620.74 c rootredcost : 0.00 0 0 0
620.53/620.74 c pseudoobj : 0.26 2 0 0
620.53/620.74 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
620.53/620.74 c propagation : 0.00 0 0 0 0.0 0 0.0 -
620.53/620.74 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
620.53/620.74 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
620.53/620.74 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
620.53/620.74 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
620.53/620.74 c applied globally : - - - 0 0.0 - - -
620.53/620.74 c applied locally : - - - 0 0.0 - - -
620.53/620.74 c Separators : Time Calls Cutoffs DomReds Cuts Conss
620.53/620.74 c cut pool : 0.00 0 - - 0 - (maximal pool size: 1)
620.53/620.74 c redcost : 0.13 1 0 0 0 0
620.53/620.74 c impliedbounds : 0.08 1 0 0 0 0
620.53/620.74 c intobj : 0.00 0 0 0 0 0
620.53/620.74 c cgmip : 0.00 0 0 0 0 0
620.53/620.74 c gomory : 0.12 1 0 0 0 0
620.53/620.74 c strongcg : 0.11 1 0 0 0 0
620.53/620.74 c cmir : 0.36 1 0 0 1 0
620.53/620.74 c flowcover : 0.00 0 0 0 0 0
620.53/620.74 c clique : 0.00 0 0 0 0 0
620.53/620.74 c zerohalf : 0.00 0 0 0 0 0
620.53/620.74 c mcf : 0.00 0 0 0 0 0
620.53/620.74 c rapidlearning : 0.00 0 0 0 0 0
620.53/620.74 c Pricers : Time Calls Vars
620.53/620.74 c problem variables: 0.00 0 0
620.53/620.74 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
620.53/620.74 c relpscost : 0.00 1 0 0 0 0 2
620.53/620.74 c pscost : 0.00 0 0 0 0 0 0
620.53/620.74 c inference : 0.00 0 0 0 0 0 0
620.53/620.74 c mostinf : 0.00 0 0 0 0 0 0
620.53/620.74 c leastinf : 0.00 0 0 0 0 0 0
620.53/620.74 c fullstrong : 0.00 0 0 0 0 0 0
620.53/620.74 c allfullstrong : 0.00 0 0 0 0 0 0
620.53/620.74 c random : 0.00 0 0 0 0 0 0
620.53/620.74 c Primal Heuristics : Time Calls Found
620.53/620.74 c LP solutions : 0.00 - 0
620.53/620.74 c pseudo solutions : 0.00 - 0
620.53/620.74 c oneopt : 0.00 0 0
620.53/620.74 c crossover : 0.00 0 0
620.53/620.74 c trivial : 2.00 2 0
620.53/620.74 c simplerounding : 0.10 0 0
620.53/620.74 c zirounding : 0.00 1 0
620.53/620.74 c rounding : 0.01 2 0
620.53/620.74 c shifting : 0.60 2 0
620.53/620.74 c intshifting : 0.00 0 0
620.53/620.74 c twoopt : 0.00 0 0
620.53/620.74 c fixandinfer : 0.00 0 0
620.53/620.74 c feaspump : 11.91 1 0
620.53/620.74 c coefdiving : 0.00 0 0
620.53/620.74 c pscostdiving : 0.00 0 0
620.53/620.74 c fracdiving : 0.00 0 0
620.53/620.74 c veclendiving : 0.00 0 0
620.53/620.74 c intdiving : 0.00 0 0
620.53/620.74 c actconsdiving : 0.00 0 0
620.53/620.74 c objpscostdiving : 0.00 0 0
620.53/620.74 c rootsoldiving : 0.00 0 0
620.53/620.74 c linesearchdiving : 0.00 0 0
620.53/620.74 c guideddiving : 0.00 0 0
620.53/620.74 c octane : 0.00 0 0
620.53/620.74 c rens : 0.00 0 0
620.53/620.74 c rins : 0.00 0 0
620.53/620.74 c localbranching : 0.00 0 0
620.53/620.74 c mutation : 0.00 0 0
620.53/620.74 c dins : 0.00 0 0
620.53/620.74 c undercover : 0.00 0 0
620.53/620.74 c nlp : 0.00 0 0
620.53/620.74 c trysol : 0.00 0 0
620.53/620.74 c LP : Time Calls Iterations Iter/call Iter/sec
620.53/620.74 c primal LP : 0.00 0 0 0.00 -
620.53/620.74 c dual LP : 0.44 2 5 2.50 11.42
620.53/620.74 c lex dual LP : 0.00 0 0 0.00 -
620.53/620.74 c barrier LP : 0.00 0 0 0.00 -
620.53/620.74 c diving/probing LP: 1.80 6 76 12.67 42.18
620.53/620.74 c strong branching : 0.00 0 0 0.00 -
620.53/620.74 c (at root node) : - 0 0 0.00 -
620.53/620.74 c conflict analysis: 0.00 0 0 0.00 -
620.53/620.74 c B&B Tree :
620.53/620.74 c number of runs : 1
620.53/620.74 c nodes : 1
620.53/620.74 c nodes (total) : 1
620.53/620.74 c nodes left : 2
620.53/620.74 c max depth : 0
620.53/620.74 c max depth (total): 0
620.53/620.74 c backtracks : 0 (0.0%)
620.53/620.74 c delayed cutoffs : 0
620.53/620.74 c repropagations : 0 (0 domain reductions, 0 cutoffs)
620.53/620.74 c avg switch length: 1.00
620.53/620.74 c switching time : 0.00
620.53/620.74 c Solution :
620.53/620.74 c Solutions found : 0 (0 improvements)
620.53/620.74 c Primal Bound : -
620.53/620.74 c Dual Bound : +1.77640000000000e+04
620.53/620.74 c Gap : infinite
620.53/620.74 c Root Dual Bound : +1.77640000000000e+04
620.53/620.74 c Root Iterations : 81
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2704687-1278579786/watcher-2704687-1278579786 -o /tmp/evaluation-result-2704687-1278579786/solver-2704687-1278579786 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704687-1278579786.opb -t 1800 -m 1800
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.22 1.12 1.02 3/106 31047
/proc/meminfo: memFree=1903736/2059040 swapFree=4135208/4192956
[pid=31047] ppid=31045 vsize=7904 CPUtime=0
/proc/31047/stat : 31047 (pbscip.linux.x8) R 31045 31047 30096 0 -1 4202496 1228 0 0 0 0 0 0 0 18 0 1 0 26185382 8093696 1139 1992294400 4194304 8395647 140736129704080 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31047/statm: 1976 1149 365 1026 0 946 0
[startup+0.0529981 s]
/proc/loadavg: 1.22 1.12 1.02 3/106 31047
/proc/meminfo: memFree=1903736/2059040 swapFree=4135208/4192956
[pid=31047] ppid=31045 vsize=19652 CPUtime=0.04
/proc/31047/stat : 31047 (pbscip.linux.x8) R 31045 31047 30096 0 -1 4202496 4212 0 0 0 3 1 0 0 20 0 1 0 26185382 20123648 4119 1992294400 4194304 8395647 140736129704080 18446744073709551615 5759075 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31047/statm: 4913 4119 389 1026 0 3883 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 19652
[startup+0.100995 s]
/proc/loadavg: 1.22 1.12 1.02 3/106 31047
/proc/meminfo: memFree=1903736/2059040 swapFree=4135208/4192956
[pid=31047] ppid=31045 vsize=30700 CPUtime=0.09
/proc/31047/stat : 31047 (pbscip.linux.x8) R 31045 31047 30096 0 -1 4202496 6958 0 0 0 7 2 0 0 20 0 1 0 26185382 31436800 6865 1992294400 4194304 8395647 140736129704080 18446744073709551615 6349011 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31047/statm: 7675 6865 389 1026 0 6645 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30700
[startup+0.300985 s]
/proc/loadavg: 1.22 1.12 1.02 3/106 31047
/proc/meminfo: memFree=1903736/2059040 swapFree=4135208/4192956
[pid=31047] ppid=31045 vsize=74272 CPUtime=0.29
/proc/31047/stat : 31047 (pbscip.linux.x8) R 31045 31047 30096 0 -1 4202496 17672 0 0 0 23 6 0 0 20 0 1 0 26185382 76054528 17579 1992294400 4194304 8395647 140736129704080 18446744073709551615 7324701 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31047/statm: 18568 17579 389 1026 0 17538 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 74272
[startup+0.700965 s]
/proc/loadavg: 1.22 1.12 1.02 3/106 31047
/proc/meminfo: memFree=1903736/2059040 swapFree=4135208/4192956
[pid=31047] ppid=31045 vsize=158396 CPUtime=0.69
/proc/31047/stat : 31047 (pbscip.linux.x8) R 31045 31047 30096 0 -1 4202496 38490 0 0 0 55 14 0 0 21 0 1 0 26185382 162197504 38397 1992294400 4194304 8395647 140736129704080 18446744073709551615 4246013 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31047/statm: 39599 38397 389 1026 0 38569 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 158396
[startup+1.50092 s]
/proc/loadavg: 1.22 1.12 1.02 2/107 31048
/proc/meminfo: memFree=1692928/2059040 swapFree=4135208/4192956
[pid=31047] ppid=31045 vsize=310540 CPUtime=1.49
/proc/31047/stat : 31047 (pbscip.linux.x8) R 31045 31047 30096 0 -1 4202496 76396 0 0 0 123 26 0 0 23 0 1 0 26185382 317992960 76303 1992294400 4194304 8395647 140736129704080 18446744073709551615 4685157 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31047/statm: 77635 76303 389 1026 0 76605 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 310540
[startup+3.10084 s]
/proc/loadavg: 1.22 1.12 1.02 2/107 31048
/proc/meminfo: memFree=1494776/2059040 swapFree=4135208/4192956
[pid=31047] ppid=31045 vsize=453676 CPUtime=3.09
/proc/31047/stat : 31047 (pbscip.linux.x8) R 31045 31047 30096 0 -1 4202496 109952 0 0 0 270 39 0 0 25 0 1 0 26185382 464564224 109859 1992294400 4194304 8395647 140736129704080 18446744073709551615 7370118 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31047/statm: 113419 109859 396 1026 0 112389 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 453676
[startup+6.30068 s]
/proc/loadavg: 1.28 1.14 1.03 2/107 31048
/proc/meminfo: memFree=1450880/2059040 swapFree=4135208/4192956
[pid=31047] ppid=31045 vsize=476888 CPUtime=6.29
/proc/31047/stat : 31047 (pbscip.linux.x8) R 31045 31047 30096 0 -1 4202496 114801 0 0 0 587 42 0 0 25 0 1 0 26185382 488333312 114708 1992294400 4194304 8395647 140736129704080 18446744073709551615 4685157 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31047/statm: 119222 114708 396 1026 0 118192 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 476888
[startup+12.7004 s]
/proc/loadavg: 1.26 1.13 1.03 2/107 31048
/proc/meminfo: memFree=811784/2059040 swapFree=4135208/4192956
[pid=31047] ppid=31045 vsize=1181032 CPUtime=12.69
/proc/31047/stat : 31047 (pbscip.linux.x8) R 31045 31047 30096 0 -1 4202496 289457 0 0 0 1168 101 0 0 25 0 1 0 26185382 1209376768 289008 1992294400 4194304 8395647 140736129704080 18446744073709551615 4283071 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31047/statm: 295258 289008 442 1026 0 294228 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1181032
[startup+25.5007 s]
/proc/loadavg: 1.20 1.13 1.03 2/107 31048
/proc/meminfo: memFree=691752/2059040 swapFree=4135208/4192956
[pid=31047] ppid=31045 vsize=1236872 CPUtime=25.49
/proc/31047/stat : 31047 (pbscip.linux.x8) R 31045 31047 30096 0 -1 4202496 303423 0 0 0 2444 105 0 0 25 0 1 0 26185382 1266556928 302936 1992294400 4194304 8395647 140736129704080 18446744073709551615 4684092 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31047/statm: 309218 302936 497 1026 0 308188 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1236872
[startup+51.1004 s]
/proc/loadavg: 1.13 1.12 1.02 2/107 31048
/proc/meminfo: memFree=646368/2059040 swapFree=4135208/4192956
[pid=31047] ppid=31045 vsize=1283136 CPUtime=51.07
/proc/31047/stat : 31047 (pbscip.linux.x8) R 31045 31047 30096 0 -1 4202496 314817 0 0 0 4998 109 0 0 25 0 1 0 26185382 1313931264 314297 1992294400 4194304 8395647 140736129704080 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31047/statm: 320784 314297 490 1026 0 319754 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1283136
[startup+102.309 s]
/proc/loadavg: 1.06 1.10 1.02 2/107 31050
/proc/meminfo: memFree=646368/2059040 swapFree=4135208/4192956
[pid=31047] ppid=31045 vsize=1283136 CPUtime=102.28
/proc/31047/stat : 31047 (pbscip.linux.x8) R 31045 31047 30096 0 -1 4202496 314818 0 0 0 10118 110 0 0 25 0 1 0 26185382 1313931264 314297 1992294400 4194304 8395647 140736129704080 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31047/statm: 320784 314297 489 1026 0 319754 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1283136
[startup+162.301 s]
/proc/loadavg: 1.02 1.08 1.01 2/107 31052
/proc/meminfo: memFree=646368/2059040 swapFree=4135208/4192956
[pid=31047] ppid=31045 vsize=1283136 CPUtime=162.25
/proc/31047/stat : 31047 (pbscip.linux.x8) R 31045 31047 30096 0 -1 4202496 314818 0 0 0 16114 111 0 0 25 0 1 0 26185382 1313931264 314297 1992294400 4194304 8395647 140736129704080 18446744073709551615 4737495 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31047/statm: 320784 314297 489 1026 0 319754 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1283136
[startup+222.301 s]
/proc/loadavg: 1.00 1.06 1.01 2/107 31053
/proc/meminfo: memFree=646368/2059040 swapFree=4135208/4192956
[pid=31047] ppid=31045 vsize=1283136 CPUtime=222.23
/proc/31047/stat : 31047 (pbscip.linux.x8) R 31045 31047 30096 0 -1 4202496 314818 0 0 0 22111 112 0 0 25 0 1 0 26185382 1313931264 314297 1992294400 4194304 8395647 140736129704080 18446744073709551615 4967880 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31047/statm: 320784 314297 489 1026 0 319754 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1283136
[startup+282.301 s]
/proc/loadavg: 1.00 1.05 1.00 2/107 31054
/proc/meminfo: memFree=646368/2059040 swapFree=4135208/4192956
[pid=31047] ppid=31045 vsize=1283136 CPUtime=282.22
/proc/31047/stat : 31047 (pbscip.linux.x8) R 31045 31047 30096 0 -1 4202496 314818 0 0 0 28109 113 0 0 25 0 1 0 26185382 1313931264 314297 1992294400 4194304 8395647 140736129704080 18446744073709551615 5608228 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31047/statm: 320784 314297 489 1026 0 319754 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1283136
[startup+342.301 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 31056
/proc/meminfo: memFree=646368/2059040 swapFree=4135208/4192956
[pid=31047] ppid=31045 vsize=1283136 CPUtime=342.2
/proc/31047/stat : 31047 (pbscip.linux.x8) R 31045 31047 30096 0 -1 4202496 314824 0 0 0 34107 113 0 0 25 0 1 0 26185382 1313931264 314303 1992294400 4194304 8395647 140736129704080 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31047/statm: 320784 314303 495 1026 0 319754 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1283136
[startup+402.301 s]
/proc/loadavg: 1.03 1.04 1.00 2/107 31058
/proc/meminfo: memFree=646368/2059040 swapFree=4135208/4192956
[pid=31047] ppid=31045 vsize=1283136 CPUtime=402.19
/proc/31047/stat : 31047 (pbscip.linux.x8) R 31045 31047 30096 0 -1 4202496 314824 0 0 0 40105 114 0 0 25 0 1 0 26185382 1313931264 314303 1992294400 4194304 8395647 140736129704080 18446744073709551615 5608136 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31047/statm: 320784 314303 495 1026 0 319754 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1283136
[startup+462.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 31060
/proc/meminfo: memFree=646368/2059040 swapFree=4135208/4192956
[pid=31047] ppid=31045 vsize=1283136 CPUtime=462.17
/proc/31047/stat : 31047 (pbscip.linux.x8) R 31045 31047 30096 0 -1 4202496 314824 0 0 0 46103 114 0 0 25 0 1 0 26185382 1313931264 314303 1992294400 4194304 8395647 140736129704080 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31047/statm: 320784 314303 495 1026 0 319754 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1283136
[startup+522.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 31061
/proc/meminfo: memFree=646368/2059040 swapFree=4135208/4192956
[pid=31047] ppid=31045 vsize=1283136 CPUtime=522.16
/proc/31047/stat : 31047 (pbscip.linux.x8) R 31045 31047 30096 0 -1 4202496 314824 0 0 0 52101 115 0 0 25 0 1 0 26185382 1313931264 314303 1992294400 4194304 8395647 140736129704080 18446744073709551615 5604430 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31047/statm: 320784 314303 495 1026 0 319754 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 1283136
[startup+582.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 31062
/proc/meminfo: memFree=646244/2059040 swapFree=4135208/4192956
[pid=31047] ppid=31045 vsize=1283136 CPUtime=582.15
/proc/31047/stat : 31047 (pbscip.linux.x8) R 31045 31047 30096 0 -1 4202496 314824 0 0 0 58099 116 0 0 25 0 1 0 26185382 1313931264 314303 1992294400 4194304 8395647 140736129704080 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31047/statm: 320784 314303 495 1026 0 319754 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 1283136
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+619.801 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 31064
/proc/meminfo: memFree=169092/2059040 swapFree=4135208/4192956
[pid=31047] ppid=31045 vsize=1866044 CPUtime=619.64
/proc/31047/stat : 31047 (pbscip.linux.x8) R 31045 31047 30096 0 -1 4202496 459702 0 0 0 61800 164 0 0 25 0 1 0 26185382 1910829056 434622 1992294400 4194304 8395647 140736129704080 18446744073709551615 6198204 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31047/statm: 466511 434622 1763 1026 0 465481 0
Current children cumulated CPU time (s) 619.64
Current children cumulated vsize (KiB) 1866044
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -31047
Solver just ended. Dumping a history of the last processes samples
[startup+620.601 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 31065
/proc/meminfo: memFree=157180/2059040 swapFree=4135208/4192956
[pid=31047] ppid=31045 vsize=1883844 CPUtime=620.43
/proc/31047/stat : 31047 (pbscip.linux.x8) R 31045 31047 30096 0 -1 4202496 462657 0 0 0 61878 165 0 0 25 0 1 0 26185382 1929056256 437037 1992294400 4194304 8395647 140736129704080 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31047/statm: 470961 437037 1225 1026 0 469931 0
Current children cumulated CPU time (s) 620.43
Current children cumulated vsize (KiB) 1883844
[startup+621.4 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 31065
/proc/meminfo: memFree=158172/2059040 swapFree=4135208/4192956
[pid=31047] ppid=31045 vsize=1877424 CPUtime=621.24
/proc/31047/stat : 31047 (pbscip.linux.x8) R 31045 31047 30096 0 -1 4202496 463983 0 0 0 61958 166 0 0 18 0 1 0 26185382 1922482176 436758 1992294400 4194304 8395647 140736129704080 18446744073709551615 6150560 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31047/statm: 469356 436758 1233 1026 0 468326 0
Current children cumulated CPU time (s) 621.24
Current children cumulated vsize (KiB) 1877424
[startup+621.8 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 31065
/proc/meminfo: memFree=158172/2059040 swapFree=4135208/4192956
[pid=31047] ppid=31045 vsize=1877424 CPUtime=621.63
/proc/31047/stat : 31047 (pbscip.linux.x8) R 31045 31047 30096 0 -1 4202496 463983 0 0 0 61997 166 0 0 19 0 1 0 26185382 1922482176 436758 1992294400 4194304 8395647 140736129704080 18446744073709551615 6345203 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31047/statm: 469356 436758 1233 1026 0 468326 0
Current children cumulated CPU time (s) 621.63
Current children cumulated vsize (KiB) 1877424
[startup+621.9 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 31065
/proc/meminfo: memFree=158172/2059040 swapFree=4135208/4192956
[pid=31047] ppid=31045 vsize=0 CPUtime=621.73
/proc/31047/stat : 31047 (pbscip.linux.x8) R 31045 31047 30096 0 -1 4203524 463983 0 0 0 61998 175 0 0 19 0 1 0 26185382 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/31047/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 621.73
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 621.962
CPU time (s): 621.802
CPU user time (s): 619.988
CPU system time (s): 1.81372
CPU usage (%): 99.9741
Max. virtual memory (cumulated for all children) (KiB): 1883844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 619.988
system time used= 1.81372
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 463983
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= 3
involuntary context switches= 9126
runsolver used 1.22581 second user time and 3.21051 second system time
The end