0.09/0.18 c SCIP version 1.1.0.7
0.09/0.18 c LP-Solver SoPlex 1.4.1
0.09/0.18 c user parameter file <scip.set> not found - using default parameters
0.09/0.18 c read problem <HOME/instance-1869134-1245160545.opb>
0.09/0.18 c original problem has 4000 variables (4000 bin, 0 int, 0 impl, 0 cont) and 10500 constraints
0.19/0.24 c start presolving problem
0.19/0.24 c presolving:
0.19/0.28 c (round 1) 5 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 3990 impls, 0 clqs
0.29/0.38 c (round 2) 5 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 10437 upgd conss, 3990 impls, 0 clqs
0.40/0.41 c (round 3) 5 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 10495 upgd conss, 3990 impls, 0 clqs
0.40/0.49 c (0.2s) probing: 101/3995 (2.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.40/0.49 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.40/0.49 c presolving (4 rounds):
0.40/0.49 c 5 deleted vars, 5 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.40/0.49 c 3990 implications, 0 cliques
0.40/0.49 c presolved problem has 3995 variables (3995 bin, 0 int, 0 impl, 0 cont) and 10495 constraints
0.40/0.49 c 10495 constraints of type <logicor>
0.40/0.49 c transformed objective value is always integral (scale: 1)
0.40/0.49 c Presolving Time: 0.21
0.40/0.49 c strange?!, PURESAT with obj
0.40/0.49 c -----------------------------------------------------------------------------------------------
0.40/0.49 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.40/0.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.40/0.49 c limits/memory = c 1620
0.40/0.49 c # maximal time in seconds to run
0.40/0.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.40/0.49 c limits/time = c 1791
0.40/0.49 c # frequency for displaying node information lines
0.40/0.49 c # [type: int, range: [-1,2147483647], default: 100]
0.40/0.49 c display/freq = c 10000
0.40/0.49 c -----------------------------------------------------------------------------------------------
0.40/0.49 c start solving problem
0.40/0.49 c
231.02/231.17 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.02/231.17 c 231s| 1 | 0 | 30259 | 21M| 0 |3949 |3995 | 10k| 10k|3995 | 10k| 0 | 0 | 0 | 1.331000e+03 | -- | Inf
1792.06/1792.66 c 1791s| 1 | 2 |127724 | 21M| 0 | - |3995 | 10k| 10k|3995 | 10k| 0 | 0 | 0 | 1.331000e+03 | -- | Inf
1792.06/1792.66 c
1792.06/1792.66 c SCIP Status : solving was interrupted [time limit reached]
1792.06/1792.66 c Solving Time (sec) : 1791.02
1792.06/1792.66 c Solving Nodes : 1
1792.06/1792.66 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1792.06/1792.66 c Dual Bound : +1.33099999999999e+03
1792.06/1792.66 c Gap : infinite
1792.06/1792.66 c NODE 1
1792.06/1792.66 c DUAL BOUND 1331
1792.06/1792.66 c PRIMAL BOUND 1e+20
1792.06/1792.66 c GAP 1e+20
1792.06/1792.66 s UNKNOWN
1792.06/1792.66 c SCIP Status : solving was interrupted [time limit reached]
1792.06/1792.66 c Solving Time : 1791.02
1792.06/1792.66 c Original Problem :
1792.06/1792.66 c Problem name : HOME/instance-1869134-1245160545.opb
1792.06/1792.66 c Variables : 4000 (4000 binary, 0 integer, 0 implicit integer, 0 continuous)
1792.06/1792.66 c Constraints : 10500 initial, 10500 maximal
1792.06/1792.66 c Presolved Problem :
1792.06/1792.66 c Problem name : t_HOME/instance-1869134-1245160545.opb
1792.06/1792.66 c Variables : 3995 (3995 binary, 0 integer, 0 implicit integer, 0 continuous)
1792.06/1792.66 c Constraints : 10495 initial, 10495 maximal
1792.06/1792.66 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1792.06/1792.66 c trivial : 0.01 0 0 0 0 0 0 0 0
1792.06/1792.66 c dualfix : 0.00 5 0 0 0 0 0 0 0
1792.06/1792.66 c boundshift : 0.00 0 0 0 0 0 0 0 0
1792.06/1792.66 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1792.06/1792.66 c implics : 0.00 0 0 0 0 0 0 0 0
1792.06/1792.66 c probing : 0.05 0 0 0 0 0 0 0 0
1792.06/1792.66 c linear : 0.06 0 0 0 0 0 5 0 0
1792.06/1792.66 c logicor : 0.06 0 0 0 0 0 0 0 0
1792.06/1792.66 c root node : - 0 - - 0 - - - -
1792.06/1792.66 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1792.06/1792.66 c integral : 0 0 0 0 0 0 0 0 0 0
1792.06/1792.66 c logicor : 10495 0 201 0 1 0 0 0 0 0
1792.06/1792.66 c countsols : 0 0 0 0 1 0 0 0 0 0
1792.06/1792.66 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1792.06/1792.66 c integral : 0.00 0.00 0.00 0.00 0.00
1792.06/1792.66 c logicor : 0.01 0.00 0.01 0.00 0.00
1792.06/1792.66 c countsols : 0.00 0.00 0.00 0.00 0.00
1792.06/1792.66 c Propagators : Time Calls Cutoffs DomReds
1792.06/1792.66 c rootredcost : 0.00 0 0 0
1792.06/1792.66 c pseudoobj : 0.00 2 0 0
1792.06/1792.66 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1792.06/1792.66 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1792.06/1792.66 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1792.06/1792.66 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1792.06/1792.66 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1792.06/1792.66 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1792.06/1792.66 c applied globally : - - - 0 0.0 - - -
1792.06/1792.66 c applied locally : - - - 0 0.0 - - -
1792.06/1792.66 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1792.06/1792.66 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1792.06/1792.66 c redcost : 0.00 0 0 0 0 0
1792.06/1792.66 c impliedbounds : 0.00 0 0 0 0 0
1792.06/1792.66 c intobj : 0.00 0 0 0 0 0
1792.06/1792.66 c gomory : 0.00 0 0 0 0 0
1792.06/1792.66 c strongcg : 0.00 0 0 0 0 0
1792.06/1792.66 c cmir : 0.00 0 0 0 0 0
1792.06/1792.66 c flowcover : 0.00 0 0 0 0 0
1792.06/1792.66 c clique : 0.00 0 0 0 0 0
1792.06/1792.66 c zerohalf : 0.00 0 0 0 0 0
1792.06/1792.66 c mcf : 0.00 0 0 0 0 0
1792.06/1792.66 c Pricers : Time Calls Vars
1792.06/1792.66 c problem variables: 0.00 0 0
1792.06/1792.66 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1792.06/1792.66 c relpscost : 0.00 0 0 0 0 0 0
1792.06/1792.66 c pscost : 0.00 0 0 0 0 0 0
1792.06/1792.66 c inference : 0.00 1 0 0 0 0 2
1792.06/1792.66 c mostinf : 0.00 0 0 0 0 0 0
1792.06/1792.66 c leastinf : 0.00 0 0 0 0 0 0
1792.06/1792.66 c fullstrong : 0.00 0 0 0 0 0 0
1792.06/1792.66 c allfullstrong : 0.00 0 0 0 0 0 0
1792.06/1792.66 c random : 0.00 0 0 0 0 0 0
1792.06/1792.66 c Primal Heuristics : Time Calls Found
1792.06/1792.66 c LP solutions : 0.00 - 0
1792.06/1792.66 c pseudo solutions : 0.00 - 0
1792.06/1792.66 c simplerounding : 0.00 0 0
1792.06/1792.66 c rounding : 0.01 1 0
1792.06/1792.66 c shifting : 0.06 1 0
1792.06/1792.66 c intshifting : 0.00 0 0
1792.06/1792.66 c oneopt : 0.00 0 0
1792.06/1792.66 c fixandinfer : 0.00 0 0
1792.06/1792.66 c feaspump : 1560.31 1 0
1792.06/1792.66 c coefdiving : 0.00 0 0
1792.06/1792.66 c pscostdiving : 0.00 0 0
1792.06/1792.66 c fracdiving : 0.00 0 0
1792.06/1792.66 c veclendiving : 0.00 0 0
1792.06/1792.66 c intdiving : 0.00 0 0
1792.06/1792.66 c actconsdiving : 0.00 0 0
1792.06/1792.66 c objpscostdiving : 0.00 0 0
1792.06/1792.66 c rootsoldiving : 0.00 0 0
1792.06/1792.66 c linesearchdiving : 0.00 0 0
1792.06/1792.66 c guideddiving : 0.00 0 0
1792.06/1792.66 c octane : 0.00 0 0
1792.06/1792.66 c rens : 0.00 0 0
1792.06/1792.66 c rins : 0.00 0 0
1792.06/1792.66 c localbranching : 0.00 0 0
1792.06/1792.66 c mutation : 0.00 0 0
1792.06/1792.66 c crossover : 0.00 0 0
1792.06/1792.66 c dins : 0.00 0 0
1792.06/1792.66 c LP : Time Calls Iterations Iter/call Iter/sec
1792.06/1792.66 c primal LP : 0.00 0 0 0.00 -
1792.06/1792.66 c dual LP : 230.33 1 30259 30259.00 131.37
1792.06/1792.66 c barrier LP : 0.00 0 0 0.00 -
1792.06/1792.66 c diving/probing LP: 1560.17 20 97465 4873.25 62.47
1792.06/1792.66 c strong branching : 0.00 0 0 0.00 -
1792.06/1792.66 c (at root node) : - 0 0 0.00 -
1792.06/1792.66 c conflict analysis: 0.00 0 0 0.00 -
1792.06/1792.66 c B&B Tree :
1792.06/1792.66 c number of runs : 1
1792.06/1792.66 c nodes : 1
1792.06/1792.66 c nodes (total) : 1
1792.06/1792.66 c nodes left : 2
1792.06/1792.66 c max depth : 0
1792.06/1792.66 c max depth (total): 0
1792.06/1792.66 c backtracks : 0 (0.0%)
1792.06/1792.66 c delayed cutoffs : 0
1792.06/1792.66 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1792.06/1792.66 c avg switch length: 1.00
1792.06/1792.66 c switching time : 0.00
1792.06/1792.66 c Solution :
1792.06/1792.66 c Solutions found : 0 (0 improvements)
1792.06/1792.66 c Primal Bound : -
1792.06/1792.66 c Dual Bound : +1.33099999999999e+03
1792.06/1792.66 c Gap : infinite
1792.06/1792.66 c Root Dual Bound : +1.33099999999999e+03
1792.16/1792.74 c Time complete: 1792.21.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869134-1245160545/watcher-1869134-1245160545 -o /tmp/evaluation-result-1869134-1245160545/solver-1869134-1245160545 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869134-1245160545.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: 0.99 0.97 0.99 3/64 3010
/proc/meminfo: memFree=1850152/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=4324 CPUtime=0
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 468 0 0 0 0 0 0 0 18 0 1 0 183655223 4427776 453 1992294400 4194304 7823515 548682068736 18446744073709551615 6804372 0 0 4096 0 0 0 0 17 1 0 0
/proc/3010/statm: 1081 463 300 886 0 191 0
[startup+0.0226509 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 3010
/proc/meminfo: memFree=1850152/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=12112 CPUtime=0.01
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 2343 0 0 0 1 0 0 0 18 0 1 0 183655223 12402688 2325 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/3010/statm: 3028 2325 349 886 0 2138 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12112
[startup+0.102658 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 3010
/proc/meminfo: memFree=1850152/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=15412 CPUtime=0.09
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 3177 0 0 0 8 1 0 0 18 0 1 0 183655223 15781888 3159 1992294400 4194304 7823515 548682068736 18446744073709551615 5546577 0 0 4096 0 0 0 0 17 1 0 0
/proc/3010/statm: 3853 3159 354 886 0 2963 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15412
[startup+0.30268 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 3010
/proc/meminfo: memFree=1850152/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=34196 CPUtime=0.29
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 7971 0 0 0 25 4 0 0 19 0 1 0 183655223 35016704 7599 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 8549 7599 427 886 0 7659 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34196
[startup+0.702725 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 3010
/proc/meminfo: memFree=1850152/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=51188 CPUtime=0.69
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 12232 0 0 0 61 8 0 0 22 0 1 0 183655223 52416512 11783 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 12797 11783 510 886 0 11907 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51188
[startup+1.50181 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3011
/proc/meminfo: memFree=1804128/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=55076 CPUtime=1.49
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 12910 0 0 0 140 9 0 0 25 0 1 0 183655223 56397824 12352 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 13769 12352 514 886 0 12879 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55076
[startup+3.10199 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3011
/proc/meminfo: memFree=1801120/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=55524 CPUtime=3.09
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 13427 0 0 0 299 10 0 0 25 0 1 0 183655223 56856576 12824 1992294400 4194304 7823515 548682068736 18446744073709551615 6206188 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 13881 12824 514 886 0 12991 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55524
[startup+6.30135 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3011
/proc/meminfo: memFree=1799904/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=56304 CPUtime=6.29
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 13590 0 0 0 619 10 0 0 25 0 1 0 183655223 57655296 12981 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 14076 12981 514 886 0 13186 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56304
[startup+12.7011 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3011
/proc/meminfo: memFree=1798688/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=56876 CPUtime=12.68
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 13900 0 0 0 1257 11 0 0 25 0 1 0 183655223 58241024 13290 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 14219 13290 514 886 0 13329 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 56876
[startup+25.5015 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3011
/proc/meminfo: memFree=1796512/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=59316 CPUtime=25.49
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 14684 0 0 0 2536 13 0 0 25 0 1 0 183655223 60739584 13835 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 14829 13835 514 886 0 13939 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 59316
[startup+51.1013 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3011
/proc/meminfo: memFree=1795104/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=60360 CPUtime=51.07
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 15032 0 0 0 5092 15 0 0 25 0 1 0 183655223 61808640 14183 1992294400 4194304 7823515 548682068736 18446744073709551615 6211376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 15090 14183 515 886 0 14200 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 60360
[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3011
/proc/meminfo: memFree=1788448/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=69244 CPUtime=102.27
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 21531 0 0 0 10205 22 0 0 25 0 1 0 183655223 70905856 15860 1992294400 4194304 7823515 548682068736 18446744073709551615 6211574 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 17311 15860 515 886 0 16421 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 69244
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3011
/proc/meminfo: memFree=1786272/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=69244 CPUtime=162.24
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 22948 0 0 0 16199 25 0 0 25 0 1 0 183655223 70905856 16353 1992294400 4194304 7823515 548682068736 18446744073709551615 6205497 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 17311 16353 515 886 0 16421 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 69244
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3011
/proc/meminfo: memFree=1783520/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=71944 CPUtime=222.23
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 24650 0 0 0 22193 30 0 0 25 0 1 0 183655223 73670656 17073 1992294400 4194304 7823515 548682068736 18446744073709551615 6206232 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 17986 17073 515 886 0 17096 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 71944
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3011
/proc/meminfo: memFree=1783456/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=79744 CPUtime=282.21
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 26255 0 0 0 28189 32 0 0 25 0 1 0 183655223 81657856 18661 1992294400 4194304 7823515 548682068736 18446744073709551615 6267048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 19936 18661 525 886 0 19046 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 79744
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3016
/proc/meminfo: memFree=1781792/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=73432 CPUtime=342.19
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 26258 0 0 0 34184 35 0 0 25 0 1 0 183655223 75194368 17454 1992294400 4194304 7823515 548682068736 18446744073709551615 6211692 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 18358 17454 525 886 0 17468 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 73432
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3016
/proc/meminfo: memFree=1781728/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=73432 CPUtime=402.16
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 26265 0 0 0 40180 36 0 0 25 0 1 0 183655223 75194368 17461 1992294400 4194304 7823515 548682068736 18446744073709551615 6255730 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 18358 17461 525 886 0 17468 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 73432
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3016
/proc/meminfo: memFree=1781728/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=73432 CPUtime=462.15
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 26265 0 0 0 46176 39 0 0 25 0 1 0 183655223 75194368 17461 1992294400 4194304 7823515 548682068736 18446744073709551615 6211354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 18358 17461 525 886 0 17468 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 73432
[startup+522.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3016
/proc/meminfo: memFree=1781664/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=73432 CPUtime=522.14
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 26265 0 0 0 52173 41 0 0 25 0 1 0 183655223 75194368 17461 1992294400 4194304 7823515 548682068736 18446744073709551615 6218533 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 18358 17461 525 886 0 17468 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 73432
[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3016
/proc/meminfo: memFree=1781664/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=73432 CPUtime=582.12
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 26265 0 0 0 58168 44 0 0 25 0 1 0 183655223 75194368 17461 1992294400 4194304 7823515 548682068736 18446744073709551615 6208558 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 18358 17461 525 886 0 17468 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 73432
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3016
/proc/meminfo: memFree=1781600/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=73432 CPUtime=642.11
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 26274 0 0 0 64165 46 0 0 25 0 1 0 183655223 75194368 17470 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 18358 17470 525 886 0 17468 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 73432
[startup+702.303 s]
################
# More data... #
################
/proc/meminfo: memFree=1781408/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=73432 CPUtime=1061.98
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 26274 0 0 0 106135 63 0 0 25 0 1 0 183655223 75194368 17470 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 18358 17470 525 886 0 17468 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 73432
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3016
/proc/meminfo: memFree=1781408/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=73432 CPUtime=1121.96
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 26274 0 0 0 112130 66 0 0 25 0 1 0 183655223 75194368 17470 1992294400 4194304 7823515 548682068736 18446744073709551615 6208544 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 18358 17470 525 886 0 17468 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 73432
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3016
/proc/meminfo: memFree=1781344/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=73432 CPUtime=1181.95
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 26274 0 0 0 118127 68 0 0 25 0 1 0 183655223 75194368 17470 1992294400 4194304 7823515 548682068736 18446744073709551615 6215013 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 18358 17470 525 886 0 17468 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 73432
[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3016
/proc/meminfo: memFree=1781344/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=73432 CPUtime=1241.93
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 26274 0 0 0 124123 70 0 0 25 0 1 0 183655223 75194368 17470 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 18358 17470 525 886 0 17468 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 73432
[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3016
/proc/meminfo: memFree=1781280/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=73432 CPUtime=1301.91
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 26274 0 0 0 130118 73 0 0 25 0 1 0 183655223 75194368 17470 1992294400 4194304 7823515 548682068736 18446744073709551615 6214736 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 18358 17470 525 886 0 17468 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 73432
[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3016
/proc/meminfo: memFree=1781280/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=73432 CPUtime=1361.9
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 26274 0 0 0 136114 76 0 0 25 0 1 0 183655223 75194368 17470 1992294400 4194304 7823515 548682068736 18446744073709551615 6254149 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 18358 17470 525 886 0 17468 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 73432
[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3016
/proc/meminfo: memFree=1781280/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=73432 CPUtime=1421.87
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 26274 0 0 0 142109 78 0 0 25 0 1 0 183655223 75194368 17470 1992294400 4194304 7823515 548682068736 18446744073709551615 6216869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 18358 17470 525 886 0 17468 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 73432
[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3016
/proc/meminfo: memFree=1781216/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=73432 CPUtime=1481.85
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 26274 0 0 0 148104 81 0 0 25 0 1 0 183655223 75194368 17470 1992294400 4194304 7823515 548682068736 18446744073709551615 6218587 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 18358 17470 525 886 0 17468 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 73432
[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3016
/proc/meminfo: memFree=1781216/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=73432 CPUtime=1541.84
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 26274 0 0 0 154100 84 0 0 25 0 1 0 183655223 75194368 17470 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 18358 17470 525 886 0 17468 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 73432
[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3016
/proc/meminfo: memFree=1781152/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=73432 CPUtime=1601.83
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 26274 0 0 0 160096 87 0 0 25 0 1 0 183655223 75194368 17470 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 18358 17470 525 886 0 17468 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 73432
[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3016
/proc/meminfo: memFree=1781152/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=73432 CPUtime=1661.81
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 26274 0 0 0 166092 89 0 0 25 0 1 0 183655223 75194368 17470 1992294400 4194304 7823515 548682068736 18446744073709551615 6208777 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 18358 17470 525 886 0 17468 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 73432
[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3016
/proc/meminfo: memFree=1781088/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=73432 CPUtime=1721.79
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 26274 0 0 0 172087 92 0 0 25 0 1 0 183655223 75194368 17470 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 18358 17470 525 886 0 17468 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 73432
[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3016
/proc/meminfo: memFree=1781088/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=73432 CPUtime=1781.77
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 26274 0 0 0 178082 95 0 0 25 0 1 0 183655223 75194368 17470 1992294400 4194304 7823515 548682068736 18446744073709551615 6208682 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 18358 17470 525 886 0 17468 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 73432
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3016
/proc/meminfo: memFree=1781088/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=73432 CPUtime=1784.97
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 26274 0 0 0 178402 95 0 0 25 0 1 0 183655223 75194368 17470 1992294400 4194304 7823515 548682068736 18446744073709551615 6162207 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 18358 17470 525 886 0 17468 0
Current children cumulated CPU time (s) 1784.97
Current children cumulated vsize (KiB) 73432
[startup+1788.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3016
/proc/meminfo: memFree=1781088/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=73432 CPUtime=1788.17
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 26274 0 0 0 178722 95 0 0 25 0 1 0 183655223 75194368 17470 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 18358 17470 525 886 0 17468 0
Current children cumulated CPU time (s) 1788.17
Current children cumulated vsize (KiB) 73432
[startup+1790.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3016
/proc/meminfo: memFree=1781088/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=73432 CPUtime=1789.77
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 26274 0 0 0 178882 95 0 0 25 0 1 0 183655223 75194368 17470 1992294400 4194304 7823515 548682068736 18446744073709551615 6208356 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 18358 17470 525 886 0 17468 0
Current children cumulated CPU time (s) 1789.77
Current children cumulated vsize (KiB) 73432
[startup+1791.91 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3016
/proc/meminfo: memFree=1781088/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=73432 CPUtime=1791.37
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 26274 0 0 0 179042 95 0 0 25 0 1 0 183655223 75194368 17470 1992294400 4194304 7823515 548682068736 18446744073709551615 6180599 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 18358 17470 525 886 0 17468 0
Current children cumulated CPU time (s) 1791.37
Current children cumulated vsize (KiB) 73432
[startup+1792.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3016
/proc/meminfo: memFree=1781088/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=73432 CPUtime=1791.76
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 26274 0 0 0 179081 95 0 0 25 0 1 0 183655223 75194368 17470 1992294400 4194304 7823515 548682068736 18446744073709551615 6214739 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3010/statm: 18358 17470 525 886 0 17468 0
Current children cumulated CPU time (s) 1791.76
Current children cumulated vsize (KiB) 73432
[startup+1792.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 3016
/proc/meminfo: memFree=1781088/2055920 swapFree=4191900/4192956
[pid=3010] ppid=3008 vsize=73432 CPUtime=1792.16
/proc/3010/stat : 3010 (pbscip.linux.x8) R 3008 3010 2908 0 -1 4194304 26288 0 0 0 179121 95 0 0 25 0 1 0 183655223 75194368 17484 1992294400 4194304 7823515 548682068736 18446744073709551615 4515231 0 0 4096 0 0 0 0 17 1 0 0
/proc/3010/statm: 18358 17484 533 886 0 17468 0
Current children cumulated CPU time (s) 1792.16
Current children cumulated vsize (KiB) 73432
Child status: 0
Real time (s): 1792.75
CPU time (s): 1792.23
CPU user time (s): 1791.26
CPU system time (s): 0.971852
CPU usage (%): 99.9708
Max. virtual memory (cumulated for all children) (KiB): 79744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.26
system time used= 0.971852
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26295
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= 2912
runsolver used 1.53777 second user time and 3.45047 second system time
The end