1.49/1.54 c SCIP version 1.1.0.7
1.49/1.54 c LP-Solver SoPlex 1.4.1
1.49/1.54 c user parameter file <scip.set> not found - using default parameters
1.49/1.54 c read problem <HOME/instance-1869584-1245179861.opb>
1.49/1.54 c original problem has 13478 variables (13478 bin, 0 int, 0 impl, 0 cont) and 26620 constraints
1.99/2.05 c start presolving problem
1.99/2.05 c presolving:
2.39/2.48 c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 4 chg sides, 1202 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
2.59/2.69 c (round 2) 1 del vars, 12412 del conss, 1 chg bounds, 4 chg sides, 1202 chg coeffs, 908 upgd conss, 0 impls, 0 clqs
3.19/3.22 c (round 3) 1 del vars, 12412 del conss, 1 chg bounds, 42 chg sides, 1292 chg coeffs, 1797 upgd conss, 740 impls, 12 clqs
3.79/3.86 c (round 4) 1 del vars, 12412 del conss, 1 chg bounds, 104 chg sides, 1415 chg coeffs, 1797 upgd conss, 740 impls, 12 clqs
9.49/9.58 c (7.8s) probing: 124/13477 (0.9%) - 0 fixings, 0 aggregations, 87 implications, 0 bound changes
9.49/9.58 c (7.8s) probing aborted: 100/100 successive totally useless probings
9.49/9.59 c presolving (5 rounds):
9.49/9.59 c 1 deleted vars, 12412 deleted constraints, 1 tightened bounds, 0 added holes, 104 changed sides, 1426 changed coefficients
9.49/9.59 c 914 implications, 12 cliques
9.49/9.59 c presolved problem has 13477 variables (13477 bin, 0 int, 0 impl, 0 cont) and 14228 constraints
9.49/9.59 c 1797 constraints of type <knapsack>
9.49/9.59 c 20 constraints of type <setppc>
9.49/9.59 c 12411 constraints of type <linear>
9.49/9.59 c transformed objective value is always integral (scale: 1)
9.49/9.59 c Presolving Time: 7.50
9.49/9.59 c OPT-LIN
9.49/9.59 c -----------------------------------------------------------------------------------------------
9.49/9.59 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
9.49/9.59 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
9.49/9.59 c limits/memory = c 1620
9.49/9.59 c # maximal time in seconds to run
9.49/9.59 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
9.49/9.59 c limits/time = c 1791
9.49/9.59 c # frequency for displaying node information lines
9.49/9.59 c # [type: int, range: [-1,2147483647], default: 100]
9.49/9.59 c display/freq = c 10000
9.49/9.59 c -----------------------------------------------------------------------------------------------
9.49/9.59 c start solving problem
9.49/9.59 c
16.38/16.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.38/16.46 c 14.6s| 1 | 0 | 6887 | 122M| 0 |4982 | 13k| 14k| 14k| 13k| 14k| 0 | 0 | 0 | 1.900000e+02 | -- | Inf
67.65/67.71 c 65.7s| 1 | 0 | 18062 | 123M| 0 |5499 | 13k| 14k| 14k| 13k| 14k| 146 | 0 | 0 | 1.900000e+02 | -- | Inf
134.94/135.05 c 133s| 1 | 0 | 32982 | 124M| 0 |7875 | 13k| 14k| 14k| 13k| 14k| 298 | 0 | 0 | 1.900000e+02 | -- | Inf
185.31/185.45 c 183s| 1 | 0 | 41433 | 124M| 0 |8479 | 13k| 14k| 14k| 13k| 14k| 471 | 0 | 0 | 1.900000e+02 | -- | Inf
268.69/268.82 c 266s| 1 | 0 | 53871 | 125M| 0 |9208 | 13k| 14k| 14k| 13k| 14k| 629 | 0 | 0 | 1.900000e+02 | -- | Inf
342.08/342.28 c 340s| 1 | 0 | 64252 | 126M| 0 |9068 | 13k| 14k| 14k| 13k| 15k| 818 | 0 | 0 | 1.900000e+02 | -- | Inf
440.84/441.02 c 438s| 1 | 0 | 76811 | 126M| 0 |9156 | 13k| 14k| 14k| 13k| 15k|1007 | 0 | 0 | 1.900000e+02 | -- | Inf
575.41/575.67 c 572s| 1 | 2 | 76811 | 126M| 0 |9156 | 13k| 14k| 14k| 13k| 15k|1007 | 0 | 18 | 1.900000e+02 | -- | Inf
1801.16/1801.76 c
1801.16/1801.76 c SCIP Status : solving was interrupted [user interrupt]
1801.16/1801.76 c Solving Time (sec) : 1791.35
1801.16/1801.76 c Solving Nodes : 21
1801.16/1801.76 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1801.16/1801.76 c Dual Bound : +1.90000000000000e+02
1801.16/1801.76 c Gap : infinite
1801.16/1801.76 c NODE 21
1801.16/1801.76 c DUAL BOUND 190
1801.16/1801.76 c PRIMAL BOUND 1e+20
1801.16/1801.76 c GAP 1e+20
1801.16/1801.76 s UNKNOWN
1801.16/1801.76 c SCIP Status : solving was interrupted [user interrupt]
1801.16/1801.76 c Solving Time : 1791.35
1801.16/1801.76 c Original Problem :
1801.16/1801.76 c Problem name : HOME/instance-1869584-1245179861.opb
1801.16/1801.76 c Variables : 13478 (13478 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.16/1801.76 c Constraints : 26620 initial, 26620 maximal
1801.16/1801.76 c Presolved Problem :
1801.16/1801.76 c Problem name : t_HOME/instance-1869584-1245179861.opb
1801.16/1801.76 c Variables : 13477 (13477 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.16/1801.76 c Constraints : 14228 initial, 14231 maximal
1801.16/1801.76 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1801.16/1801.76 c trivial : 0.01 0 0 0 0 0 0 0 0
1801.16/1801.76 c dualfix : 0.00 0 0 0 0 0 0 0 0
1801.16/1801.76 c boundshift : 0.00 0 0 0 0 0 0 0 0
1801.16/1801.76 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1801.16/1801.76 c implics : 0.02 0 0 0 0 0 0 0 0
1801.16/1801.76 c probing : 5.65 0 0 0 0 0 0 0 0
1801.16/1801.76 c knapsack : 0.93 0 0 0 0 0 0 100 224
1801.16/1801.76 c setppc : 0.01 0 0 0 0 0 0 0 0
1801.16/1801.76 c linear : 0.74 1 0 0 1 0 12412 4 1202
1801.16/1801.76 c logicor : 0.00 0 0 0 0 0 0 0 0
1801.16/1801.76 c root node : - 0 - - 0 - - - -
1801.16/1801.76 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1801.16/1801.76 c integral : 0 0 0 18 0 0 3 0 0 32
1801.16/1801.76 c knapsack : 1797 6 306 0 1 0 25 1200 0 0
1801.16/1801.76 c setppc : 20 6 306 0 1 0 3 0 0 0
1801.16/1801.76 c linear : 12411 6 306 0 1 0 7 0 0 0
1801.16/1801.76 c logicor : 0+ 0 3 0 0 0 3 0 0 0
1801.16/1801.76 c countsols : 0 0 0 0 1 0 0 0 0 0
1801.16/1801.76 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1801.16/1801.76 c integral : 1052.45 0.00 0.00 1052.45 0.00
1801.16/1801.76 c knapsack : 0.14 0.06 0.08 0.00 0.00
1801.16/1801.76 c setppc : 0.00 0.00 0.00 0.00 0.00
1801.16/1801.76 c linear : 5.10 0.03 5.07 0.00 0.00
1801.16/1801.76 c logicor : 0.00 0.00 0.00 0.00 0.00
1801.16/1801.76 c countsols : 0.00 0.00 0.00 0.00 0.00
1801.16/1801.76 c Propagators : Time Calls Cutoffs DomReds
1801.16/1801.76 c rootredcost : 0.00 0 0 0
1801.16/1801.76 c pseudoobj : 0.00 47 0 0
1801.16/1801.76 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1801.16/1801.76 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1801.16/1801.76 c infeasible LP : 0.03 4 3 4 3.5 0 0.0 0
1801.16/1801.76 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1801.16/1801.76 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1801.16/1801.76 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1801.16/1801.76 c applied globally : - - - 3 3.3 - - -
1801.16/1801.76 c applied locally : - - - 0 0.0 - - -
1801.16/1801.76 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1801.16/1801.76 c cut pool : 0.00 5 - - 1162 - (maximal pool size: 5337)
1801.16/1801.76 c redcost : 0.06 23 0 0 0 0
1801.16/1801.76 c impliedbounds : 0.02 6 0 0 31 0
1801.16/1801.76 c intobj : 0.00 0 0 0 0 0
1801.16/1801.76 c gomory : 22.72 6 0 0 25 0
1801.16/1801.76 c strongcg : 22.07 6 0 0 23 0
1801.16/1801.76 c cmir : 12.91 6 0 0 3000 0
1801.16/1801.76 c flowcover : 14.79 6 0 0 1200 0
1801.16/1801.76 c clique : 0.02 6 0 0 6 0
1801.16/1801.76 c zerohalf : 0.00 0 0 0 0 0
1801.16/1801.76 c mcf : 0.02 2 0 0 0 0
1801.16/1801.76 c Pricers : Time Calls Vars
1801.16/1801.76 c problem variables: 0.00 0 0
1801.16/1801.76 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1801.16/1801.76 c relpscost : 1052.45 18 0 3 0 0 32
1801.16/1801.76 c pscost : 0.00 0 0 0 0 0 0
1801.16/1801.76 c inference : 0.00 1 0 0 0 0 2
1801.16/1801.76 c mostinf : 0.00 0 0 0 0 0 0
1801.16/1801.76 c leastinf : 0.00 0 0 0 0 0 0
1801.16/1801.76 c fullstrong : 0.00 0 0 0 0 0 0
1801.16/1801.76 c allfullstrong : 0.00 0 0 0 0 0 0
1801.16/1801.76 c random : 0.00 0 0 0 0 0 0
1801.16/1801.76 c Primal Heuristics : Time Calls Found
1801.16/1801.76 c LP solutions : 0.00 - 0
1801.16/1801.76 c pseudo solutions : 0.00 - 0
1801.16/1801.76 c oneopt : 0.00 0 0
1801.16/1801.76 c coefdiving : 0.00 0 0
1801.16/1801.76 c pscostdiving : 0.00 0 0
1801.16/1801.76 c fracdiving : 0.00 0 0
1801.16/1801.76 c veclendiving : 0.00 0 0
1801.16/1801.76 c objpscostdiving : 0.00 0 0
1801.16/1801.76 c rootsoldiving : 0.00 0 0
1801.16/1801.76 c linesearchdiving : 0.00 0 0
1801.16/1801.76 c guideddiving : 0.00 0 0
1801.16/1801.76 c intshifting : 0.00 0 0
1801.16/1801.76 c crossover : 0.00 0 0
1801.16/1801.76 c simplerounding : 0.00 0 0
1801.16/1801.76 c rounding : 0.59 24 0
1801.16/1801.76 c shifting : 3.88 8 0
1801.16/1801.76 c fixandinfer : 0.00 0 0
1801.16/1801.76 c feaspump : 41.41 1 0
1801.16/1801.76 c intdiving : 0.00 0 0
1801.16/1801.76 c actconsdiving : 0.00 0 0
1801.16/1801.76 c octane : 0.00 0 0
1801.16/1801.76 c rens : 0.03 0 0
1801.16/1801.76 c rins : 0.00 0 0
1801.16/1801.76 c localbranching : 0.00 0 0
1801.16/1801.76 c mutation : 0.00 0 0
1801.16/1801.76 c dins : 0.00 0 0
1801.16/1801.76 c LP : Time Calls Iterations Iter/call Iter/sec
1801.16/1801.76 c primal LP : 0.21 0 0 0.00 0.00
1801.16/1801.76 c dual LP : 610.87 29 136104 4693.24 222.80
1801.16/1801.76 c barrier LP : 0.00 0 0 0.00 -
1801.16/1801.76 c diving/probing LP: 41.28 8 9752 1219.00 236.24
1801.16/1801.76 c strong branching : 1052.33 218 198436 910.26 188.57
1801.16/1801.76 c (at root node) : - 18 18000 1000.00 -
1801.16/1801.76 c conflict analysis: 0.00 0 0 0.00 -
1801.16/1801.76 c B&B Tree :
1801.16/1801.76 c number of runs : 1
1801.16/1801.76 c nodes : 21
1801.16/1801.76 c nodes (total) : 21
1801.16/1801.76 c nodes left : 14
1801.16/1801.76 c max depth : 15
1801.16/1801.76 c max depth (total): 15
1801.16/1801.76 c backtracks : 0 (0.0%)
1801.16/1801.76 c delayed cutoffs : 0
1801.16/1801.76 c repropagations : 14 (3 domain reductions, 0 cutoffs)
1801.16/1801.76 c avg switch length: 2.29
1801.16/1801.76 c switching time : 0.26
1801.16/1801.76 c Solution :
1801.16/1801.76 c Solutions found : 0 (0 improvements)
1801.16/1801.76 c Primal Bound : -
1801.16/1801.76 c Dual Bound : +1.90000000000000e+02
1801.16/1801.76 c Gap : infinite
1801.16/1801.76 c Root Dual Bound : +1.90000000000000e+02
1801.57/1802.18 c Time complete: 1801.65.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869584-1245179861/watcher-1869584-1245179861 -o /tmp/evaluation-result-1869584-1245179861/solver-1869584-1245179861 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869584-1245179861.opb
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.00 1.00 1.00 3/64 12978
/proc/meminfo: memFree=1901312/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=4328 CPUtime=0
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 485 0 0 0 0 0 0 0 18 0 1 0 185586434 4431872 469 1992294400 4194304 7823515 548682068736 18446744073709551615 5862928 0 0 4096 0 0 0 0 17 1 0 0
/proc/12978/statm: 1162 480 313 886 0 272 0
[startup+0.10556 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 12978
/proc/meminfo: memFree=1901312/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=11148 CPUtime=0.09
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 2126 0 0 0 9 0 0 0 18 0 1 0 185586434 11415552 2108 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/12978/statm: 2787 2108 354 886 0 1897 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11148
[startup+0.202569 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 12978
/proc/meminfo: memFree=1901312/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=13396 CPUtime=0.19
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 2684 0 0 0 19 0 0 0 18 0 1 0 185586434 13717504 2666 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/12978/statm: 3349 2666 354 886 0 2459 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13396
[startup+0.302579 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 12978
/proc/meminfo: memFree=1901312/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=16712 CPUtime=0.29
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 3494 0 0 0 28 1 0 0 19 0 1 0 185586434 17113088 3476 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/12978/statm: 4178 3476 354 886 0 3288 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16712
[startup+0.701621 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 12978
/proc/meminfo: memFree=1901312/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=25712 CPUtime=0.69
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 5737 0 0 0 67 2 0 0 22 0 1 0 185586434 26329088 5719 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/12978/statm: 6428 5719 354 886 0 5538 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25712
[startup+1.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12979
/proc/meminfo: memFree=1869816/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=43908 CPUtime=1.49
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 10280 0 0 0 145 4 0 0 25 0 1 0 185586434 44961792 10262 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/12978/statm: 10977 10262 354 886 0 10087 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43908
[startup+3.10187 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12979
/proc/meminfo: memFree=1712376/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=199956 CPUtime=3.09
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 49303 0 0 0 284 25 0 0 25 0 1 0 185586434 204754944 48140 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12978/statm: 49989 48140 443 886 0 49099 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 199956
[startup+6.3012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12979
/proc/meminfo: memFree=1707320/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=202304 CPUtime=6.29
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 50000 0 0 0 602 27 0 0 25 0 1 0 185586434 207159296 48792 1992294400 4194304 7823515 548682068736 18446744073709551615 5062451 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12978/statm: 50576 48792 452 886 0 49686 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 202304
[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12979
/proc/meminfo: memFree=1637824/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=285796 CPUtime=12.69
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 71594 0 0 0 1233 36 0 0 25 0 1 0 185586434 292655104 66924 1992294400 4194304 7823515 548682068736 18446744073709551615 6234860 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12978/statm: 71449 66924 524 886 0 70559 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 285796
[startup+25.5022 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12979
/proc/meminfo: memFree=1634112/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=285796 CPUtime=25.49
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 71837 0 0 0 2511 38 0 0 25 0 1 0 185586434 292655104 67167 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12978/statm: 71449 67167 535 886 0 70559 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 285796
[startup+51.1028 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12979
/proc/meminfo: memFree=1631168/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=288232 CPUtime=51.06
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 72585 0 0 0 5065 41 0 0 25 0 1 0 185586434 295149568 67915 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12978/statm: 72058 67915 535 886 0 71168 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 288232
[startup+102.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12979
/proc/meminfo: memFree=1576512/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=352848 CPUtime=102.24
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 87505 0 0 0 10167 57 0 0 25 0 1 0 185586434 361316352 81601 1992294400 4194304 7823515 548682068736 18446744073709551615 6236722 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12978/statm: 88212 81601 568 886 0 87322 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 352848
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12979
/proc/meminfo: memFree=1534720/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=392996 CPUtime=162.22
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 105619 0 0 0 16149 73 0 0 25 0 1 0 185586434 402427904 92013 1992294400 4194304 7823515 548682068736 18446744073709551615 5924514 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12978/statm: 98249 92013 568 886 0 97359 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 392996
[startup+222.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12979
/proc/meminfo: memFree=1551616/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=373880 CPUtime=222.21
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 127554 0 0 0 22131 90 0 0 25 0 1 0 185586434 382853120 87775 1992294400 4194304 7823515 548682068736 18446744073709551615 6234848 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12978/statm: 93470 87775 568 886 0 92580 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 373880
[startup+282.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12979
/proc/meminfo: memFree=1550464/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=373880 CPUtime=282.2
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 127827 0 0 0 28122 98 0 0 25 0 1 0 185586434 382853120 88048 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12978/statm: 93470 88048 568 886 0 92580 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 373880
[startup+342.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12979
/proc/meminfo: memFree=1505984/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=418764 CPUtime=342.18
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 148701 0 0 0 34109 109 0 0 25 0 1 0 185586434 428814336 99168 1992294400 4194304 7823515 548682068736 18446744073709551615 5393068 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12978/statm: 104691 99168 568 886 0 103801 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 418764
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12979
/proc/meminfo: memFree=1525824/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=395468 CPUtime=402.16
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 152418 0 0 0 40098 118 0 0 25 0 1 0 185586434 404959232 94199 1992294400 4194304 7823515 548682068736 18446744073709551615 6212418 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12978/statm: 98867 94199 568 886 0 97977 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 395468
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12979
/proc/meminfo: memFree=1553856/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=376764 CPUtime=462.14
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 188403 0 0 0 46079 135 0 0 25 0 1 0 185586434 385806336 87343 1992294400 4194304 7823515 548682068736 18446744073709551615 6212418 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12978/statm: 94191 87343 572 886 0 93301 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 376764
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12979
/proc/meminfo: memFree=1547008/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=409236 CPUtime=522.12
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 304105 0 0 0 52032 180 0 0 25 0 1 0 185586434 419057664 93626 1992294400 4194304 7823515 548682068736 18446744073709551615 6234857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12978/statm: 102309 93626 572 886 0 101419 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 409236
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12979
/proc/meminfo: memFree=1534144/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=386788 CPUtime=582.11
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 404595 0 0 0 57987 224 0 0 25 0 1 0 185586434 396070912 92105 1992294400 4194304 7823515 548682068736 18446744073709551615 6257628 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12978/statm: 96697 92105 572 886 0 95807 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 386788
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12979
/proc/meminfo: memFree=1545984/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=369872 CPUtime=642.09
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 449833 0 0 0 63962 247 0 0 25 0 1 0 185586434 378748928 86297 1992294400 4194304 7823515 548682068736 18446744073709551615 6237434 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12978/statm: 92468 86297 572 886 0 91578 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 369872
[startup+702.302 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12979
/proc/meminfo: memFree=1542336/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=385724 CPUtime=1001.99
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 893772 0 0 0 99759 440 0 0 25 0 1 0 185586434 394981376 90273 1992294400 4194304 7823515 548682068736 18446744073709551615 6212422 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12978/statm: 96431 90273 577 886 0 95541 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 385724
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12979
/proc/meminfo: memFree=1530432/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=390244 CPUtime=1061.97
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 939554 0 0 0 105732 465 0 0 25 0 1 0 185586434 399609856 92996 1992294400 4194304 7823515 548682068736 18446744073709551615 6212404 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12978/statm: 97561 92996 577 886 0 96671 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 390244
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12979
/proc/meminfo: memFree=1558592/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=368044 CPUtime=1121.96
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 992441 0 0 0 111708 488 0 0 25 0 1 0 185586434 376877056 86139 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12978/statm: 92011 86139 577 886 0 91121 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 368044
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12979
/proc/meminfo: memFree=1548992/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=358012 CPUtime=1181.94
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 1077709 0 0 0 117668 526 0 0 25 0 1 0 185586434 366604288 83185 1992294400 4194304 7823515 548682068736 18446744073709551615 6212422 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12978/statm: 89503 83185 577 886 0 88613 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 358012
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12979
/proc/meminfo: memFree=1548800/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=378696 CPUtime=1241.93
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 1164158 0 0 0 123628 565 0 0 25 0 1 0 185586434 387784704 88373 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12978/statm: 94674 88373 577 886 0 93784 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 378696
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12979
/proc/meminfo: memFree=1548480/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=393028 CPUtime=1301.91
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 1274975 0 0 0 129578 613 0 0 25 0 1 0 185586434 402460672 91359 1992294400 4194304 7823515 548682068736 18446744073709551615 6234848 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12978/statm: 98257 91359 577 886 0 97367 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 393028
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12979
/proc/meminfo: memFree=1558528/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=368536 CPUtime=1361.89
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 1351958 0 0 0 135545 644 0 0 25 0 1 0 185586434 377380864 86356 1992294400 4194304 7823515 548682068736 18446744073709551615 6234850 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12978/statm: 92134 86356 577 886 0 91244 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 368536
[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 12979
/proc/meminfo: memFree=1568256/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=360364 CPUtime=1421.87
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 1432990 0 0 0 141506 681 0 0 25 0 1 0 185586434 369012736 83491 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12978/statm: 90091 83491 577 886 0 89201 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 360364
[startup+1482.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 12979
/proc/meminfo: memFree=1533248/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=401528 CPUtime=1481.85
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 1482028 0 0 0 147483 702 0 0 25 0 1 0 185586434 411164672 92222 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12978/statm: 100382 92222 577 886 0 99492 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 401528
[startup+1542.31 s]
/proc/loadavg: 1.12 1.04 1.01 2/65 12979
/proc/meminfo: memFree=1549248/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=386488 CPUtime=1541.84
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 1563458 0 0 0 153449 735 0 0 25 0 1 0 185586434 395763712 88220 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12978/statm: 96622 88220 577 886 0 95732 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 386488
[startup+1602.3 s]
/proc/loadavg: 1.18 1.06 1.01 2/65 12979
/proc/meminfo: memFree=1541376/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=384808 CPUtime=1601.82
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 1628360 0 0 0 159419 763 0 0 25 0 1 0 185586434 394043392 90182 1992294400 4194304 7823515 548682068736 18446744073709551615 6212422 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12978/statm: 96202 90182 577 886 0 95312 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 384808
[startup+1662.3 s]
/proc/loadavg: 1.13 1.06 1.01 2/65 12979
/proc/meminfo: memFree=1555520/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=369728 CPUtime=1661.8
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 1719474 0 0 0 165381 799 0 0 25 0 1 0 185586434 378601472 86636 1992294400 4194304 7823515 548682068736 18446744073709551615 6157756 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12978/statm: 92432 86636 577 886 0 91542 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 369728
[startup+1722.3 s]
/proc/loadavg: 1.05 1.05 1.00 2/65 12979
/proc/meminfo: memFree=1569728/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=362992 CPUtime=1721.79
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 1763686 0 0 0 171357 822 0 0 25 0 1 0 185586434 371703808 85060 1992294400 4194304 7823515 548682068736 18446744073709551615 6234850 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12978/statm: 90748 85060 577 886 0 89858 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 362992
[startup+1782.3 s]
/proc/loadavg: 1.02 1.04 1.00 2/65 12979
/proc/meminfo: memFree=1551168/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=374384 CPUtime=1781.77
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 1772660 0 0 0 177347 830 0 0 25 0 1 0 185586434 383369216 87706 1992294400 4194304 7823515 548682068736 18446744073709551615 6234850 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12978/statm: 93596 87706 578 886 0 92706 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 374384
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 12979
/proc/meminfo: memFree=1554560/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=373860 CPUtime=1800.07
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 1786569 0 0 0 179169 838 0 0 25 0 1 0 185586434 382832640 86848 1992294400 4194304 7823515 548682068736 18446744073709551615 6234853 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12978/statm: 93465 86848 578 886 0 92575 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 373860
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 1.01 1.03 1.00 2/66 12980
/proc/meminfo: memFree=1554552/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=373860 CPUtime=1800.96
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 1786607 0 0 0 179258 838 0 0 25 0 1 0 185586434 382832640 86886 1992294400 4194304 7823515 548682068736 18446744073709551615 6234850 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12978/statm: 93465 86886 578 886 0 92575 0
Current children cumulated CPU time (s) 1800.96
Current children cumulated vsize (KiB) 373860
[startup+1801.91 s]
/proc/loadavg: 1.01 1.03 1.00 2/66 12980
/proc/meminfo: memFree=1553976/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=373860 CPUtime=1801.37
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 1786724 0 0 0 179299 838 0 0 25 0 1 0 185586434 382832640 87003 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 0 0 0 0 17 1 0 0
/proc/12978/statm: 93465 87003 581 886 0 92575 0
Current children cumulated CPU time (s) 1801.37
Current children cumulated vsize (KiB) 373860
[startup+1802.1 s]
/proc/loadavg: 1.01 1.03 1.00 2/66 12980
/proc/meminfo: memFree=1553976/2055920 swapFree=4181836/4192956
[pid=12978] ppid=12976 vsize=328792 CPUtime=1801.57
/proc/12978/stat : 12978 (pbscip.linux.x8) R 12976 12978 12796 0 -1 4194304 1786724 0 0 0 179318 839 0 0 25 0 1 0 185586434 336683008 77669 1992294400 4194304 7823515 548682068736 18446744073709551615 6962503 0 0 4096 0 0 0 0 17 1 0 0
/proc/12978/statm: 82198 77669 2605 886 0 81308 0
Current children cumulated CPU time (s) 1801.57
Current children cumulated vsize (KiB) 328792
Child status: 0
Real time (s): 1802.18
CPU time (s): 1801.66
CPU user time (s): 1793.21
CPU system time (s): 8.44572
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 418764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.21
system time used= 8.44572
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1786727
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= 2
involuntary context switches= 2369
runsolver used 1.61475 second user time and 3.50047 second system time
The end