2.58/2.65 c SCIP version 1.1.0.7
2.58/2.65 c LP-Solver Clp 1.8.2
2.58/2.65 c user parameter file <scip.set> not found - using default parameters
2.58/2.65 c read problem <HOME/instance-1869725-1245185345.opb>
2.58/2.65 c original problem has 40727 variables (40727 bin, 0 int, 0 impl, 0 cont) and 174550 constraints
3.29/3.38 c start presolving problem
3.29/3.38 c presolving:
9.09/9.19 c (round 1) 1120 del vars, 2198 del conss, 42 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4318374 impls, 0 clqs
10.79/10.83 c (round 2) 1120 del vars, 2198 del conss, 42 chg bounds, 0 chg sides, 0 chg coeffs, 172318 upgd conss, 4318374 impls, 0 clqs
11.09/11.18 c (round 3) 1120 del vars, 2198 del conss, 42 chg bounds, 0 chg sides, 0 chg coeffs, 172352 upgd conss, 4318374 impls, 0 clqs
36.47/36.51 c (33.0s) probing: 635/39607 (1.6%) - 0 fixings, 9 aggregations, 8973 implications, 0 bound changes
36.47/36.51 c (33.0s) probing aborted: 100/100 successive totally useless probings
36.47/36.51 c (round 4) 1129 del vars, 2198 del conss, 42 chg bounds, 0 chg sides, 0 chg coeffs, 172352 upgd conss, 4329872 impls, 0 clqs
37.06/37.14 c (33.5s) probing: 645/39607 (1.6%) - 0 fixings, 9 aggregations, 8973 implications, 0 bound changes
37.06/37.14 c (33.5s) probing aborted: 100/100 successive totally useless probings
37.06/37.15 c presolving (5 rounds):
37.06/37.15 c 1129 deleted vars, 2198 deleted constraints, 42 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
37.06/37.15 c 4329872 implications, 0 cliques
37.06/37.15 c presolved problem has 39598 variables (39598 bin, 0 int, 0 impl, 0 cont) and 172352 constraints
37.06/37.15 c 172352 constraints of type <logicor>
37.06/37.15 c transformed objective value is always integral (scale: 1)
37.06/37.15 c Presolving Time: 33.07
37.06/37.18 c strange?!, PURESAT with obj
37.06/37.18 c -----------------------------------------------------------------------------------------------
37.06/37.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
37.06/37.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
37.06/37.18 c limits/memory = c 1620
37.06/37.18 c # maximal time in seconds to run
37.06/37.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
37.06/37.18 c limits/time = c 1791
37.06/37.18 c # frequency for displaying node information lines
37.06/37.18 c # [type: int, range: [-1,2147483647], default: 100]
37.06/37.18 c display/freq = c 10000
37.06/37.18 c -----------------------------------------------------------------------------------------------
37.06/37.18 c start solving problem
37.06/37.18 c
62.56/62.64 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.56/62.64 c 58.8s| 1 | 0 | 4233 | 410M| 0 | 568 | 39k| 172k| 172k| 39k| 172k| 0 | 0 | 0 | 4.845000e+01 | -- | Inf
1795.39/1796.09 c 1791s| 1 | 2 | 40593 | 412M| 0 | - | 39k| 172k| 172k| 39k| 172k| 0 | 0 | 0 | 4.845000e+01 | -- | Inf
1795.39/1796.09 c
1795.39/1796.09 c SCIP Status : solving was interrupted [time limit reached]
1795.39/1796.09 c Solving Time (sec) : 1791.26
1795.39/1796.09 c Solving Nodes : 1
1795.39/1796.09 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1795.39/1796.09 c Dual Bound : +4.84500000000000e+01
1795.39/1796.09 c Gap : infinite
1795.39/1796.09 c NODE 1
1795.39/1796.09 c DUAL BOUND 48.45
1795.39/1796.09 c PRIMAL BOUND 1e+20
1795.39/1796.09 c GAP 1e+20
1795.39/1796.09 s UNKNOWN
1795.39/1796.09 c SCIP Status : solving was interrupted [time limit reached]
1795.39/1796.09 c Solving Time : 1791.26
1795.39/1796.09 c Original Problem :
1795.39/1796.09 c Problem name : HOME/instance-1869725-1245185345.opb
1795.39/1796.09 c Variables : 40727 (40727 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.39/1796.09 c Constraints : 174550 initial, 174550 maximal
1795.39/1796.09 c Presolved Problem :
1795.39/1796.09 c Problem name : t_HOME/instance-1869725-1245185345.opb
1795.39/1796.09 c Variables : 39598 (39598 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.39/1796.09 c Constraints : 172352 initial, 172352 maximal
1795.39/1796.09 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1795.39/1796.09 c trivial : 0.04 0 0 0 0 0 0 0 0
1795.39/1796.09 c dualfix : 0.03 0 0 0 0 0 0 0 0
1795.39/1796.09 c boundshift : 0.00 0 0 0 0 0 0 0 0
1795.39/1796.09 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1795.39/1796.09 c implics : 0.05 0 0 0 0 0 0 0 0
1795.39/1796.09 c probing : 25.25 0 9 0 0 0 0 0 0
1795.39/1796.09 c linear : 6.19 42 1078 0 42 0 2198 0 0
1795.39/1796.09 c logicor : 1.12 0 0 0 0 0 0 0 0
1795.39/1796.09 c root node : - 0 - - 0 - - - -
1795.39/1796.09 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1795.39/1796.09 c integral : 0 0 0 0 0 0 0 0 0 0
1795.39/1796.09 c logicor : 172352 0 1386 0 1 0 0 0 0 0
1795.39/1796.09 c countsols : 0 0 0 0 1 0 0 0 0 0
1795.39/1796.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1795.39/1796.09 c integral : 0.00 0.00 0.00 0.00 0.00
1795.39/1796.09 c logicor : 7.71 0.00 7.56 0.00 0.15
1795.39/1796.09 c countsols : 0.00 0.00 0.00 0.00 0.00
1795.39/1796.09 c Propagators : Time Calls Cutoffs DomReds
1795.39/1796.09 c rootredcost : 0.00 0 0 0
1795.39/1796.09 c pseudoobj : 0.00 2 0 0
1795.39/1796.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1795.39/1796.09 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1795.39/1796.09 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1795.39/1796.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1795.39/1796.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1795.39/1796.09 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1795.39/1796.09 c applied globally : - - - 0 0.0 - - -
1795.39/1796.09 c applied locally : - - - 0 0.0 - - -
1795.39/1796.09 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1795.39/1796.09 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1795.39/1796.09 c redcost : 0.00 0 0 0 0 0
1795.39/1796.09 c impliedbounds : 0.00 0 0 0 0 0
1795.39/1796.09 c intobj : 0.00 0 0 0 0 0
1795.39/1796.09 c gomory : 0.00 0 0 0 0 0
1795.39/1796.09 c strongcg : 0.00 0 0 0 0 0
1795.39/1796.09 c cmir : 0.00 0 0 0 0 0
1795.39/1796.09 c flowcover : 0.00 0 0 0 0 0
1795.39/1796.09 c clique : 0.00 0 0 0 0 0
1795.39/1796.09 c zerohalf : 0.00 0 0 0 0 0
1795.39/1796.09 c mcf : 0.00 0 0 0 0 0
1795.39/1796.09 c Pricers : Time Calls Vars
1795.39/1796.09 c problem variables: 0.00 0 0
1795.39/1796.09 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1795.39/1796.09 c relpscost : 0.00 0 0 0 0 0 0
1795.39/1796.09 c pscost : 0.00 0 0 0 0 0 0
1795.39/1796.09 c inference : 0.03 1 0 0 0 0 2
1795.39/1796.09 c mostinf : 0.00 0 0 0 0 0 0
1795.39/1796.09 c leastinf : 0.00 0 0 0 0 0 0
1795.39/1796.09 c fullstrong : 0.00 0 0 0 0 0 0
1795.39/1796.09 c allfullstrong : 0.00 0 0 0 0 0 0
1795.39/1796.09 c random : 0.00 0 0 0 0 0 0
1795.39/1796.09 c Primal Heuristics : Time Calls Found
1795.39/1796.09 c LP solutions : 0.00 - 0
1795.39/1796.09 c pseudo solutions : 0.00 - 0
1795.39/1796.09 c simplerounding : 0.01 0 0
1795.39/1796.09 c rounding : 0.03 1 0
1795.39/1796.09 c shifting : 0.05 1 0
1795.39/1796.09 c intshifting : 0.00 0 0
1795.39/1796.09 c oneopt : 0.00 0 0
1795.39/1796.09 c fixandinfer : 0.00 0 0
1795.39/1796.09 c feaspump : 1732.18 1 0
1795.39/1796.09 c coefdiving : 0.00 0 0
1795.39/1796.09 c pscostdiving : 0.00 0 0
1795.39/1796.09 c fracdiving : 0.00 0 0
1795.39/1796.09 c veclendiving : 0.00 0 0
1795.39/1796.09 c intdiving : 0.00 0 0
1795.39/1796.09 c actconsdiving : 0.00 0 0
1795.39/1796.09 c objpscostdiving : 0.00 0 0
1795.39/1796.09 c rootsoldiving : 0.00 0 0
1795.39/1796.09 c linesearchdiving : 0.00 0 0
1795.39/1796.09 c guideddiving : 0.00 0 0
1795.39/1796.09 c octane : 0.00 0 0
1795.39/1796.09 c rens : 0.00 0 0
1795.39/1796.09 c rins : 0.00 0 0
1795.39/1796.09 c localbranching : 0.00 0 0
1795.39/1796.09 c mutation : 0.00 0 0
1795.39/1796.09 c crossover : 0.00 0 0
1795.39/1796.09 c dins : 0.00 0 0
1795.39/1796.09 c LP : Time Calls Iterations Iter/call Iter/sec
1795.39/1796.09 c primal LP : 0.00 0 0 0.00 -
1795.39/1796.09 c dual LP : 24.47 1 4233 4233.00 172.99
1795.39/1796.09 c barrier LP : 0.00 0 0 0.00 -
1795.39/1796.09 c diving/probing LP: 1732.15 2 36360 18180.00 20.99
1795.39/1796.09 c strong branching : 0.00 0 0 0.00 -
1795.39/1796.09 c (at root node) : - 0 0 0.00 -
1795.39/1796.09 c conflict analysis: 0.00 0 0 0.00 -
1795.39/1796.09 c B&B Tree :
1795.39/1796.09 c number of runs : 1
1795.39/1796.09 c nodes : 1
1795.39/1796.09 c nodes (total) : 1
1795.39/1796.09 c nodes left : 2
1795.39/1796.09 c max depth : 0
1795.39/1796.09 c max depth (total): 0
1795.39/1796.09 c backtracks : 0 (0.0%)
1795.39/1796.09 c delayed cutoffs : 0
1795.39/1796.09 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1795.39/1796.09 c avg switch length: 1.00
1795.39/1796.09 c switching time : 0.00
1795.39/1796.09 c Solution :
1795.39/1796.09 c Solutions found : 0 (0 improvements)
1795.39/1796.09 c Primal Bound : -
1795.39/1796.09 c Dual Bound : +4.84500000000000e+01
1795.39/1796.09 c Gap : infinite
1795.39/1796.09 c Root Dual Bound : +4.84500000000000e+01
1796.50/1797.14 c Time complete: 1796.54.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869725-1245185345/watcher-1869725-1245185345 -o /tmp/evaluation-result-1869725-1245185345/solver-1869725-1245185345 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869725-1245185345.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 2522
/proc/meminfo: memFree=1854816/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=5812 CPUtime=0
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 516 0 0 0 0 0 0 0 18 0 1 0 186134947 5951488 500 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/2522/statm: 1453 501 332 1256 0 192 0
[startup+0.0409561 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2522
/proc/meminfo: memFree=1854816/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=14244 CPUtime=0.03
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 2530 0 0 0 3 0 0 0 18 0 1 0 186134947 14585856 2514 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/2522/statm: 3561 2514 378 1256 0 2300 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14244
[startup+0.101965 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2522
/proc/meminfo: memFree=1854816/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=16984 CPUtime=0.09
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 3225 0 0 0 8 1 0 0 18 0 1 0 186134947 17391616 3209 1992294400 4194304 9342243 548682068736 18446744073709551615 8228225 0 0 4096 0 0 0 0 17 1 0 0
/proc/2522/statm: 4246 3209 378 1256 0 2985 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16984
[startup+0.301997 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2522
/proc/meminfo: memFree=1854816/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=27140 CPUtime=0.29
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 5782 0 0 0 27 2 0 0 19 0 1 0 186134947 27791360 5766 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/2522/statm: 6785 5766 378 1256 0 5524 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27140
[startup+0.701063 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2522
/proc/meminfo: memFree=1854816/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=44084 CPUtime=0.69
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 10003 0 0 0 65 4 0 0 22 0 1 0 186134947 45142016 9987 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/2522/statm: 11021 9987 378 1256 0 9760 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44084
[startup+1.5022 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2523
/proc/meminfo: memFree=1801880/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=73084 CPUtime=1.49
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 17228 0 0 0 142 7 0 0 25 0 1 0 186134947 74838016 17212 1992294400 4194304 9342243 548682068736 18446744073709551615 8247758 0 0 4096 0 0 0 0 17 1 0 0
/proc/2522/statm: 18271 17212 378 1256 0 17010 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 73084
[startup+3.10146 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2523
/proc/meminfo: memFree=1772952/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=214692 CPUtime=3.09
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 52848 0 0 0 287 22 0 0 25 0 1 0 186134947 219844608 52478 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 53673 52478 416 1256 0 52412 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 214692
[startup+6.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2523
/proc/meminfo: memFree=1571032/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=317972 CPUtime=6.29
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 77660 0 0 0 589 40 0 0 25 0 1 0 186134947 325603328 77290 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 79493 77290 474 1256 0 78232 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 317972
[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2523
/proc/meminfo: memFree=1387288/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=481872 CPUtime=12.69
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 120966 0 0 0 1171 98 0 0 25 0 1 0 186134947 493436928 117089 1992294400 4194304 9342243 548682068736 18446744073709551615 5102419 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 120468 117089 489 1256 0 119207 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 481872
[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2523
/proc/meminfo: memFree=1387224/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=481872 CPUtime=25.48
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 120994 0 0 0 2450 98 0 0 25 0 1 0 186134947 493436928 117117 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 120468 117117 490 1256 0 119207 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 481872
[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2523
/proc/meminfo: memFree=1237848/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=686892 CPUtime=51.06
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 160526 0 0 0 4986 120 0 0 25 0 1 0 186134947 703377408 155437 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 171723 155437 616 1256 0 170462 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 686892
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2523
/proc/meminfo: memFree=1214808/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=699160 CPUtime=102.25
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 172651 0 0 0 10098 127 0 0 25 0 1 0 186134947 715939840 160277 1992294400 4194304 9342243 548682068736 18446744073709551615 6959555 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 174790 160277 643 1256 0 173529 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 699160
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2525
/proc/meminfo: memFree=1201688/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=724084 CPUtime=162.23
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 175901 0 0 0 16093 130 0 0 25 0 1 0 186134947 741462016 163524 1992294400 4194304 9342243 548682068736 18446744073709551615 6963980 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 181021 163524 643 1256 0 179760 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 724084
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2525
/proc/meminfo: memFree=1192792/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=724672 CPUtime=222.2
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 178110 0 0 0 22088 132 0 0 25 0 1 0 186134947 742064128 165732 1992294400 4194304 9342243 548682068736 18446744073709551615 6952894 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 181168 165732 643 1256 0 179907 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 724672
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2525
/proc/meminfo: memFree=1188888/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=725104 CPUtime=282.19
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 179087 0 0 0 28086 133 0 0 25 0 1 0 186134947 742506496 166709 1992294400 4194304 9342243 548682068736 18446744073709551615 6952952 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 181276 166709 643 1256 0 180015 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 725104
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2525
/proc/meminfo: memFree=1188760/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=725104 CPUtime=342.17
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 179117 0 0 0 34083 134 0 0 25 0 1 0 186134947 742506496 166739 1992294400 4194304 9342243 548682068736 18446744073709551615 6975333 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 181276 166739 643 1256 0 180015 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 725104
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2525
/proc/meminfo: memFree=1187352/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=725516 CPUtime=402.15
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 179457 0 0 0 40080 135 0 0 25 0 1 0 186134947 742928384 167079 1992294400 4194304 9342243 548682068736 18446744073709551615 6952930 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 181379 167079 643 1256 0 180118 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 725516
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2525
/proc/meminfo: memFree=1191640/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=725668 CPUtime=462.12
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 180316 0 0 0 46076 136 0 0 25 0 1 0 186134947 743084032 166012 1992294400 4194304 9342243 548682068736 18446744073709551615 6504812 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 181417 166012 643 1256 0 180156 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 725668
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2525
/proc/meminfo: memFree=1190424/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=725672 CPUtime=522.11
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 181218 0 0 0 52073 138 0 0 25 0 1 0 186134947 743088128 166321 1992294400 4194304 9342243 548682068736 18446744073709551615 6952930 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 181418 166321 643 1256 0 180157 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 725672
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2525
/proc/meminfo: memFree=1191192/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=725748 CPUtime=582.09
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 182286 0 0 0 58070 139 0 0 25 0 1 0 186134947 743165952 166111 1992294400 4194304 9342243 548682068736 18446744073709551615 6962253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 181437 166111 643 1256 0 180176 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 725748
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2525
/proc/meminfo: memFree=1190168/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=725784 CPUtime=642.08
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 183133 0 0 0 64068 140 0 0 25 0 1 0 186134947 743202816 166371 1992294400 4194304 9342243 548682068736 18446744073709551615 6952948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 181446 166371 643 1256 0 180185 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 725784
[startup+702.303 s]
################
# More data... #
################
/proc/meminfo: memFree=1184856/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=730452 CPUtime=1061.93
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 195272 0 0 0 106043 150 0 0 25 0 1 0 186134947 747982848 167691 1992294400 4194304 9342243 548682068736 18446744073709551615 6147970 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 182613 167691 653 1256 0 181352 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 730452
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2531
/proc/meminfo: memFree=1184152/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=731340 CPUtime=1121.9
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 196873 0 0 0 112039 151 0 0 25 0 1 0 186134947 748892160 167860 1992294400 4194304 9342243 548682068736 18446744073709551615 6951993 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 182835 167860 653 1256 0 181574 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 731340
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2531
/proc/meminfo: memFree=1183896/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=731504 CPUtime=1181.89
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 198514 0 0 0 118037 152 0 0 25 0 1 0 186134947 749060096 167913 1992294400 4194304 9342243 548682068736 18446744073709551615 6952948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 182876 167913 653 1256 0 181615 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 731504
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2531
/proc/meminfo: memFree=1182488/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=733044 CPUtime=1241.87
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 202337 0 0 0 124032 155 0 0 25 0 1 0 186134947 750637056 168253 1992294400 4194304 9342243 548682068736 18446744073709551615 6959748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 183261 168253 653 1256 0 182000 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 733044
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2531
/proc/meminfo: memFree=1182424/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=733068 CPUtime=1301.86
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 204324 0 0 0 130030 156 0 0 25 0 1 0 186134947 750661632 168257 1992294400 4194304 9342243 548682068736 18446744073709551615 6505284 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 183267 168257 653 1256 0 182006 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 733068
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2531
/proc/meminfo: memFree=1182488/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=733120 CPUtime=1361.83
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 206360 0 0 0 136026 157 0 0 25 0 1 0 186134947 750714880 168261 1992294400 4194304 9342243 548682068736 18446744073709551615 6498494 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 183280 168261 653 1256 0 182019 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 733120
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2531
/proc/meminfo: memFree=1182488/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=733144 CPUtime=1421.81
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 208291 0 0 0 142023 158 0 0 25 0 1 0 186134947 750739456 168261 1992294400 4194304 9342243 548682068736 18446744073709551615 6162976 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 183286 168261 653 1256 0 182025 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 733144
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2531
/proc/meminfo: memFree=1182424/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=733112 CPUtime=1481.79
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 210241 0 0 0 148019 160 0 0 25 0 1 0 186134947 750706688 168280 1992294400 4194304 9342243 548682068736 18446744073709551615 6978555 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 183278 168280 653 1256 0 182017 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 733112
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2531
/proc/meminfo: memFree=1180888/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=733208 CPUtime=1541.77
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 212657 0 0 0 154016 161 0 0 25 0 1 0 186134947 750804992 168652 1992294400 4194304 9342243 548682068736 18446744073709551615 6978122 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 183302 168652 653 1256 0 182041 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 733208
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2531
/proc/meminfo: memFree=1181976/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=733308 CPUtime=1601.75
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 216669 0 0 0 160011 164 0 0 25 0 1 0 186134947 750907392 168358 1992294400 4194304 9342243 548682068736 18446744073709551615 6162976 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 183327 168358 653 1256 0 182066 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 733308
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2531
/proc/meminfo: memFree=1181976/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=733308 CPUtime=1661.74
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 218646 0 0 0 166008 166 0 0 25 0 1 0 186134947 750907392 168356 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 183327 168356 653 1256 0 182066 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 733308
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2531
/proc/meminfo: memFree=1181912/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=733324 CPUtime=1721.72
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 220583 0 0 0 172005 167 0 0 25 0 1 0 186134947 750923776 168360 1992294400 4194304 9342243 548682068736 18446744073709551615 6952126 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 183331 168360 653 1256 0 182070 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 733324
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2531
/proc/meminfo: memFree=1181976/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=733348 CPUtime=1781.7
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 222517 0 0 0 178002 168 0 0 25 0 1 0 186134947 750948352 168359 1992294400 4194304 9342243 548682068736 18446744073709551615 6504812 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 183337 168359 653 1256 0 182076 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 733348
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2531
/proc/meminfo: memFree=1181976/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=733348 CPUtime=1784.9
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 222517 0 0 0 178322 168 0 0 25 0 1 0 186134947 750948352 168359 1992294400 4194304 9342243 548682068736 18446744073709551615 6952948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 183337 168359 653 1256 0 182076 0
Current children cumulated CPU time (s) 1784.9
Current children cumulated vsize (KiB) 733348
[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2531
/proc/meminfo: memFree=1181976/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=733348 CPUtime=1791.3
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 222519 0 0 0 178962 168 0 0 25 0 1 0 186134947 750948352 168361 1992294400 4194304 9342243 548682068736 18446744073709551615 6975324 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 183337 168361 653 1256 0 182076 0
Current children cumulated CPU time (s) 1791.3
Current children cumulated vsize (KiB) 733348
[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2531
/proc/meminfo: memFree=1181976/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=733348 CPUtime=1794.5
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 222519 0 0 0 179282 168 0 0 25 0 1 0 186134947 750948352 168361 1992294400 4194304 9342243 548682068736 18446744073709551615 6978062 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 183337 168361 653 1256 0 182076 0
Current children cumulated CPU time (s) 1794.5
Current children cumulated vsize (KiB) 733348
[startup+1795.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2531
/proc/meminfo: memFree=1181976/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=733348 CPUtime=1795.29
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 222519 0 0 0 179361 168 0 0 25 0 1 0 186134947 750948352 168361 1992294400 4194304 9342243 548682068736 18446744073709551615 5852518 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2522/statm: 183337 168361 653 1256 0 182076 0
Current children cumulated CPU time (s) 1795.29
Current children cumulated vsize (KiB) 733348
[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2531
/proc/meminfo: memFree=1181976/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=733348 CPUtime=1796.09
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 222527 0 0 0 179441 168 0 0 25 0 1 0 186134947 750948352 168369 1992294400 4194304 9342243 548682068736 18446744073709551615 4237238 0 0 4096 0 0 0 0 17 1 0 0
/proc/2522/statm: 183337 168369 661 1256 0 182076 0
Current children cumulated CPU time (s) 1796.09
Current children cumulated vsize (KiB) 733348
[startup+1797.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2531
/proc/meminfo: memFree=1181976/2055920 swapFree=4192812/4192956
[pid=2522] ppid=2520 vsize=399672 CPUtime=1796.5
/proc/2522/stat : 2522 (pbscip.linux.x8) R 2520 2522 1691 0 -1 4194304 222528 0 0 0 179475 175 0 0 25 0 1 0 186134947 409264128 96957 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/2522/statm: 99918 96957 33278 1256 0 98657 0
Current children cumulated CPU time (s) 1796.5
Current children cumulated vsize (KiB) 399672
Child status: 0
Real time (s): 1797.14
CPU time (s): 1796.54
CPU user time (s): 1794.75
CPU system time (s): 1.79373
CPU usage (%): 99.9666
Max. virtual memory (cumulated for all children) (KiB): 733348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.75
system time used= 1.79373
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 222535
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= 2341
runsolver used 1.77273 second user time and 4.15137 second system time
The end