0.01/0.06 c SCIP version 1.1.0.7
0.01/0.06 c LP-Solver Clp 1.8.2
0.01/0.06 c user parameter file <scip.set> not found - using default parameters
0.01/0.06 c read problem <HOME/instance-1870293-1245195634.opb>
0.01/0.06 c original problem has 6420 variables (6420 bin, 0 int, 0 impl, 0 cont) and 6420 constraints
0.09/0.11 c start presolving problem
0.09/0.11 c presolving:
0.49/0.55 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 414832 impls, 0 clqs
0.89/0.93 c (0.7s) probing: 101/6420 (1.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.93 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.89/0.93 c presolving (2 rounds):
0.89/0.93 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.93 c 414832 implications, 0 cliques
0.89/0.93 c presolved problem has 6420 variables (6420 bin, 0 int, 0 impl, 0 cont) and 6420 constraints
0.89/0.93 c 6220 constraints of type <and>
0.89/0.93 c 200 constraints of type <logicor>
0.89/0.93 c transformed objective value is always integral (scale: 1)
0.89/0.93 c Presolving Time: 0.66
0.89/0.93 c OPT-NLC
0.89/0.93 c -----------------------------------------------------------------------------------------------
0.89/0.93 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.93 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.93 c limits/memory = c 1620
0.89/0.93 c # maximal time in seconds to run
0.89/0.93 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.93 c limits/time = c 1791
0.89/0.93 c # frequency for displaying node information lines
0.89/0.93 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.93 c display/freq = c 10000
0.89/0.93 c -----------------------------------------------------------------------------------------------
0.89/0.93 c start solving problem
0.89/0.93 c
0.99/1.06 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.99/1.06 c 0.8s| 1 | 0 | 400 | 38M| 0 | 400 |6420 |6420 |6420 |6420 | 12k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.08 o 22
0.99/1.08 c s 0.8s| 1 | 0 | 400 | 38M| 0 | 400 |6420 |6420 |6420 |6420 | 12k| 0 | 0 | 0 | 0.000000e+00 | 2.200000e+01 | Inf
2.79/2.83 c 2.4s| 1 | 0 | 1000 | 38M| 0 | 400 |6420 |6420 |6420 |6420 | 13k| 402 | 0 | 0 | 0.000000e+00 | 2.200000e+01 | Inf
4.29/4.30 c 3.9s| 1 | 0 | 1602 | 39M| 0 | 400 |6420 |6420 |6420 |6420 | 13k| 804 | 0 | 0 | 0.000000e+00 | 2.200000e+01 | Inf
4.29/4.33 o 20
4.29/4.33 c s 3.9s| 1 | 0 | 1602 | 39M| 0 | 400 |6420 |6420 |6420 |6420 | 13k| 804 | 0 | 0 | 0.000000e+00 | 2.000000e+01 | Inf
5.69/5.76 c 5.3s| 1 | 0 | 2202 | 39M| 0 | 400 |6420 |6420 |6420 |6420 | 13k|1209 | 0 | 0 | 0.000000e+00 | 2.000000e+01 | Inf
7.19/7.29 c 6.9s| 1 | 0 | 2802 | 39M| 0 | 400 |6420 |6420 |6420 |6420 | 14k|1610 | 0 | 0 | 0.000000e+00 | 2.000000e+01 | Inf
8.79/8.90 c 8.4s| 1 | 0 | 3402 | 39M| 0 | 400 |6420 |6420 |6420 |6420 | 14k|2013 | 0 | 0 | 0.000000e+00 | 2.000000e+01 | Inf
8.88/8.92 o 19
8.88/8.92 c s 8.5s| 1 | 0 | 3402 | 39M| 0 | 400 |6420 |6420 |6420 |6420 | 14k|2013 | 0 | 0 | 0.000000e+00 | 1.900000e+01 | Inf
10.48/10.57 c 10.1s| 1 | 0 | 4003 | 39M| 0 | 400 |6420 |6420 |6420 |6420 | 15k|2414 | 0 | 0 | 0.000000e+00 | 1.900000e+01 | Inf
10.58/10.60 o 18
10.58/10.60 c s10.2s| 1 | 0 | 4003 | 39M| 0 | 400 |6420 |6420 |6420 |6420 | 15k|2414 | 0 | 0 | 0.000000e+00 | 1.800000e+01 | Inf
11.49/11.54 c 11.0s| 1 | 2 | 4003 | 39M| 0 | 400 |6420 |6420 |6420 |6420 | 15k|2414 | 0 | 22 | 0.000000e+00 | 1.800000e+01 | Inf
172.24/172.31 o 17
172.24/172.31 c g 171s| 68 | 69 |121678 | 42M| 7 | - |6420 |6423 | 52 |6420 |5651 | 35k| 3 |1519 | 5.042644e+00 | 1.700000e+01 | 237.12%
996.99/997.31 o 16
996.99/997.31 c v 994s| 222 | 223 |680196 | 44M| 15 | - |6420 |6460 | 22 |6420 |8070 | 107k| 40 |2696 | 6.268686e+00 | 1.600000e+01 | 155.24%
1102.37/1102.75 o 13
1102.37/1102.75 c *1100s| 253 | 250 |745554 | 43M| 17 | - |6420 |6460 |5678 |6420 |6888 | 118k| 40 |2827 | 6.268686e+00 | 1.300000e+01 | 107.38%
1102.87/1103.24 o 12
1102.87/1103.24 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1102.87/1103.24 c *1100s| 257 | 248 |745963 | 44M| 17 | - |6420 |6460 |1679 |6420 |6877 | 118k| 40 |2827 | 6.268686e+00 | 1.200000e+01 | 91.43%
1795.06/1795.63 c
1795.06/1795.63 c SCIP Status : solving was interrupted [time limit reached]
1795.06/1795.63 c Solving Time (sec) : 1791.01
1795.06/1795.63 c Solving Nodes : 865
1795.06/1795.63 c Primal Bound : +1.20000000000000e+01 (8 solutions)
1795.06/1795.63 c Dual Bound : +6.38812434815144e+00
1795.06/1795.63 c Gap : 87.85 %
1795.06/1795.65 c NODE 865
1795.06/1795.65 c DUAL BOUND 6.38812
1795.06/1795.65 c PRIMAL BOUND 12
1795.06/1795.65 c GAP 0.878486
1795.06/1795.65 s SATISFIABLE
1795.06/1795.65 v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179
1795.06/1795.65 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159
1795.06/1795.65 v -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138
1795.06/1795.65 v x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117
1795.06/1795.65 v -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95
1795.06/1795.65 v -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69
1795.06/1795.65 v -x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 x59 -x58 -x57 x56 x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44
1795.06/1795.65 v -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18
1795.06/1795.65 v -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 -x1
1795.06/1795.65 c SCIP Status : solving was interrupted [time limit reached]
1795.06/1795.65 c Solving Time : 1791.01
1795.06/1795.65 c Original Problem :
1795.06/1795.65 c Problem name : HOME/instance-1870293-1245195634.opb
1795.06/1795.65 c Variables : 6420 (6420 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.06/1795.65 c Constraints : 6420 initial, 6420 maximal
1795.06/1795.65 c Presolved Problem :
1795.06/1795.65 c Problem name : t_HOME/instance-1870293-1245195634.opb
1795.06/1795.65 c Variables : 6420 (6420 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.06/1795.65 c Constraints : 6420 initial, 6468 maximal
1795.06/1795.65 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1795.06/1795.65 c trivial : 0.00 0 0 0 0 0 0 0 0
1795.06/1795.65 c dualfix : 0.00 0 0 0 0 0 0 0 0
1795.06/1795.65 c boundshift : 0.00 0 0 0 0 0 0 0 0
1795.06/1795.65 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1795.06/1795.65 c implics : 0.00 0 0 0 0 0 0 0 0
1795.06/1795.65 c probing : 0.22 0 0 0 0 0 0 0 0
1795.06/1795.65 c and : 0.40 0 0 0 0 0 0 0 0
1795.06/1795.65 c logicor : 0.00 0 0 0 0 0 0 0 0
1795.06/1795.65 c root node : - 0 - - 0 - - - -
1795.06/1795.65 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1795.06/1795.65 c integral : 0 0 0 628 0 6 74 0 0 1198
1795.06/1795.65 c and : 6220 2676 24395 3 1 5 142968 417741 0 0
1795.06/1795.65 c logicor : 200+ 6 6930 2 1 6 1 0 0 0
1795.06/1795.65 c countsols : 0 0 0 2 1 0 0 0 0 0
1795.06/1795.65 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1795.06/1795.65 c integral : 358.50 0.00 0.00 358.50 0.00
1795.06/1795.65 c and : 29.69 18.36 11.32 0.01 0.00
1795.06/1795.65 c logicor : 0.20 0.00 0.20 0.00 0.00
1795.06/1795.65 c countsols : 0.00 0.00 0.00 0.00 0.00
1795.06/1795.65 c Propagators : Time Calls Cutoffs DomReds
1795.06/1795.65 c rootredcost : 0.00 5 0 0
1795.06/1795.65 c pseudoobj : 0.63 24228 4 97
1795.06/1795.65 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1795.06/1795.65 c propagation : 0.00 15 15 56 50.5 0 0.0 -
1795.06/1795.65 c infeasible LP : 0.49 355 0 0 0.0 0 0.0 0
1795.06/1795.65 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1795.06/1795.65 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1795.06/1795.65 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1795.06/1795.65 c applied globally : - - - 48 43.3 - - -
1795.06/1795.65 c applied locally : - - - 0 0.0 - - -
1795.06/1795.65 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1795.06/1795.65 c cut pool : 0.00 5 - - 0 - (maximal pool size: 2414)
1795.06/1795.65 c redcost : 1.98 2677 0 4609 0 0
1795.06/1795.65 c impliedbounds : 0.02 6 0 0 2400 0
1795.06/1795.65 c intobj : 0.00 0 0 0 0 0
1795.06/1795.65 c gomory : 0.78 6 0 0 3000 0
1795.06/1795.65 c strongcg : 0.76 6 0 0 3000 0
1795.06/1795.65 c cmir : 5.23 6 0 0 2400 0
1795.06/1795.65 c flowcover : 1.27 6 0 0 0 0
1795.06/1795.65 c clique : 0.37 6 0 0 14 0
1795.06/1795.65 c zerohalf : 0.00 0 0 0 0 0
1795.06/1795.65 c mcf : 0.02 1 0 0 0 0
1795.06/1795.65 c Pricers : Time Calls Vars
1795.06/1795.65 c problem variables: 0.00 0 0
1795.06/1795.65 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1795.06/1795.65 c relpscost : 358.50 625 6 74 0 0 1198
1795.06/1795.65 c pscost : 0.00 0 0 0 0 0 0
1795.06/1795.65 c inference : 0.01 1 0 0 0 0 2
1795.06/1795.65 c mostinf : 0.00 0 0 0 0 0 0
1795.06/1795.65 c leastinf : 0.00 0 0 0 0 0 0
1795.06/1795.65 c fullstrong : 0.00 0 0 0 0 0 0
1795.06/1795.65 c allfullstrong : 0.00 0 0 0 0 0 0
1795.06/1795.65 c random : 0.00 0 0 0 0 0 0
1795.06/1795.65 c Primal Heuristics : Time Calls Found
1795.06/1795.65 c LP solutions : 0.01 - 2
1795.06/1795.65 c pseudo solutions : 0.00 - 0
1795.06/1795.65 c oneopt : 0.03 5 0
1795.06/1795.65 c objpscostdiving : 16.93 7 0
1795.06/1795.65 c linesearchdiving : 58.91 15 0
1795.06/1795.65 c guideddiving : 212.64 26 1
1795.06/1795.65 c rootsoldiving : 5.81 13 0
1795.06/1795.65 c simplerounding : 0.00 0 0
1795.06/1795.65 c rounding : 3.07 745 0
1795.06/1795.65 c shifting : 1.24 186 4
1795.06/1795.65 c intshifting : 0.00 0 0
1795.06/1795.65 c fixandinfer : 0.00 0 0
1795.06/1795.65 c feaspump : 0.00 0 0
1795.06/1795.65 c coefdiving : 88.33 11 0
1795.06/1795.65 c pscostdiving : 110.35 10 0
1795.06/1795.65 c fracdiving : 89.19 13 0
1795.06/1795.65 c veclendiving : 28.34 13 1
1795.06/1795.65 c intdiving : 0.00 0 0
1795.06/1795.65 c actconsdiving : 0.00 0 0
1795.06/1795.65 c octane : 0.00 0 0
1795.06/1795.65 c rens : 0.51 1 0
1795.06/1795.65 c rins : 0.00 0 0
1795.06/1795.65 c localbranching : 0.00 0 0
1795.06/1795.65 c mutation : 0.00 0 0
1795.06/1795.65 c crossover : 0.43 2 0
1795.06/1795.65 c dins : 0.00 0 0
1795.06/1795.65 c LP : Time Calls Iterations Iter/call Iter/sec
1795.06/1795.65 c primal LP : 178.07 0 0 0.00 0.00
1795.06/1795.65 c dual LP : 578.79 3358 750437 223.48 1296.56
1795.06/1795.65 c barrier LP : 0.00 0 0 0.00 -
1795.06/1795.65 c diving/probing LP: 547.44 12020 453787 37.75 828.93
1795.06/1795.65 c strong branching : 357.66 3405 477458 140.22 1334.95
1795.06/1795.65 c (at root node) : - 22 1063 48.32 -
1795.06/1795.65 c conflict analysis: 0.00 0 0 0.00 -
1795.06/1795.65 c B&B Tree :
1795.06/1795.65 c number of runs : 1
1795.06/1795.65 c nodes : 865
1795.06/1795.65 c nodes (total) : 865
1795.06/1795.65 c nodes left : 332
1795.06/1795.65 c max depth : 38
1795.06/1795.65 c max depth (total): 38
1795.06/1795.65 c backtracks : 302 (34.9%)
1795.06/1795.65 c delayed cutoffs : 0
1795.06/1795.65 c repropagations : 1 (31 domain reductions, 0 cutoffs)
1795.06/1795.65 c avg switch length: 5.24
1795.06/1795.65 c switching time : 179.45
1795.06/1795.65 c Solution :
1795.06/1795.65 c Solutions found : 8 (8 improvements)
1795.06/1795.65 c Primal Bound : +1.20000000000000e+01 (in run 1, after 257 nodes, 1100.02 seconds, depth 14, found by <relaxation>)
1795.06/1795.65 c Dual Bound : +6.38812434815144e+00
1795.06/1795.65 c Gap : 87.85 %
1795.06/1795.65 c Root Dual Bound : +0.00000000000000e+00
1795.16/1795.79 c Time complete: 1795.25.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870293-1245195634/watcher-1870293-1245195634 -o /tmp/evaluation-result-1870293-1245195634/solver-1870293-1245195634 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870293-1245195634.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 0.99 3/64 5163
/proc/meminfo: memFree=1832672/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=5812 CPUtime=0
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 517 0 0 0 0 0 0 0 18 0 1 0 187156293 5951488 501 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/5163/statm: 1453 502 332 1256 0 192 0
[startup+0.025955 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 5163
/proc/meminfo: memFree=1832672/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=13248 CPUtime=0.01
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 2286 0 0 0 1 0 0 0 18 0 1 0 187156293 13565952 2270 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/5163/statm: 3312 2270 380 1256 0 2051 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13248
[startup+0.101966 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 5163
/proc/meminfo: memFree=1832672/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=27376 CPUtime=0.09
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 6206 0 0 0 6 3 0 0 18 0 1 0 187156293 28033024 5836 1992294400 4194304 9342243 548682068736 18446744073709551615 4685941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 6844 5836 427 1256 0 5583 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27376
[startup+0.301994 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 5163
/proc/meminfo: memFree=1832672/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=40124 CPUtime=0.29
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 9160 0 0 0 25 4 0 0 19 0 1 0 187156293 41086976 8790 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 10031 8790 447 1256 0 8770 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40124
[startup+0.701051 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 5163
/proc/meminfo: memFree=1832672/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=47604 CPUtime=0.68
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 11052 0 0 0 48 20 0 0 22 0 1 0 187156293 48746496 10682 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 11901 10682 469 1256 0 10640 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 47604
[startup+1.50216 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 5164
/proc/meminfo: memFree=1777624/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=75060 CPUtime=1.49
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 17166 0 0 0 124 25 0 0 25 0 1 0 187156293 76861440 16715 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 18765 16715 632 1256 0 17504 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 75060
[startup+3.10139 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 5164
/proc/meminfo: memFree=1767768/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=79596 CPUtime=3.09
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 18374 0 0 0 274 35 0 0 25 0 1 0 187156293 81506304 17923 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 19899 17923 650 1256 0 18638 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 79596
[startup+6.30184 s]
/proc/loadavg: 1.08 1.02 1.00 2/65 5164
/proc/meminfo: memFree=1760984/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=81980 CPUtime=6.29
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 18989 0 0 0 591 38 0 0 25 0 1 0 187156293 83947520 18533 1992294400 4194304 9342243 548682068736 18446744073709551615 4338511 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 20495 18533 650 1256 0 19234 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 81980
[startup+12.7018 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 5164
/proc/meminfo: memFree=1757080/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=85272 CPUtime=12.68
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 28162 0 0 0 1222 46 0 0 25 0 1 0 187156293 87318528 19439 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 21318 19439 679 1256 0 20057 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 85272
[startup+25.5016 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 5164
/proc/meminfo: memFree=1756504/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=85272 CPUtime=25.48
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 28355 0 0 0 2500 48 0 0 25 0 1 0 187156293 87318528 19632 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 21318 19632 685 1256 0 20057 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85272
[startup+51.1012 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 5164
/proc/meminfo: memFree=1756184/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=85468 CPUtime=51.08
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 28475 0 0 0 5055 53 0 0 25 0 1 0 187156293 87519232 19752 1992294400 4194304 9342243 548682068736 18446744073709551615 6348557 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 21367 19752 685 1256 0 20106 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 85468
[startup+102.305 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 5164
/proc/meminfo: memFree=1756696/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=86004 CPUtime=102.26
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 34620 0 0 0 10163 63 0 0 25 0 1 0 187156293 88068096 19614 1992294400 4194304 9342243 548682068736 18446744073709551615 6238498 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 21501 19614 689 1256 0 20240 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 86004
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5164
/proc/meminfo: memFree=1755544/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=87744 CPUtime=162.25
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 45123 0 0 0 16146 79 0 0 25 0 1 0 187156293 89849856 19866 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 21936 19866 692 1256 0 20675 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 87744
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5164
/proc/meminfo: memFree=1755352/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=86404 CPUtime=222.23
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 55686 0 0 0 22128 95 0 0 25 0 1 0 187156293 88477696 19935 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 21601 19935 692 1256 0 20340 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 86404
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5164
/proc/meminfo: memFree=1751960/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=88708 CPUtime=282.21
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 65078 0 0 0 28112 109 0 0 25 0 1 0 187156293 90836992 20783 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 22177 20783 692 1256 0 20916 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 88708
[startup+342.301 s]
/proc/loadavg: 1.10 1.03 1.01 2/65 5164
/proc/meminfo: memFree=1750360/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=89236 CPUtime=342.19
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 71806 0 0 0 34100 119 0 0 25 0 1 0 187156293 91377664 21164 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 22309 21164 692 1256 0 21048 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 89236
[startup+402.302 s]
/proc/loadavg: 1.07 1.03 1.01 2/65 5164
/proc/meminfo: memFree=1750680/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=91072 CPUtime=402.17
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 77658 0 0 0 40088 129 0 0 25 0 1 0 187156293 93257728 21150 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 22768 21150 692 1256 0 21507 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 91072
[startup+462.302 s]
/proc/loadavg: 1.06 1.04 1.01 2/65 5164
/proc/meminfo: memFree=1748248/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=95136 CPUtime=462.15
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 86113 0 0 0 46074 141 0 0 25 0 1 0 187156293 97419264 21702 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 23784 21702 692 1256 0 22523 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 95136
[startup+522.302 s]
/proc/loadavg: 1.02 1.03 1.00 2/65 5164
/proc/meminfo: memFree=1750296/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=91700 CPUtime=522.14
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 95275 0 0 0 52061 153 0 0 25 0 1 0 187156293 93900800 21251 1992294400 4194304 9342243 548682068736 18446744073709551615 4266239 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 22925 21251 692 1256 0 21664 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 91700
[startup+582.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 5164
/proc/meminfo: memFree=1749784/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=99548 CPUtime=582.12
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 118573 0 0 0 58038 174 0 0 25 0 1 0 187156293 101937152 21346 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 24887 21346 701 1256 0 23626 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 99548
[startup+642.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 5164
/proc/meminfo: memFree=1745432/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=95764 CPUtime=642.1
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 155879 0 0 0 64010 200 0 0 25 0 1 0 187156293 98062336 22426 1992294400 4194304 9342243 548682068736 18446744073709551615 6960296 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 23941 22426 702 1256 0 22680 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 95764
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1736536/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=105532 CPUtime=1061.97
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 212923 0 0 0 105920 277 0 0 25 0 1 0 187156293 108064768 24271 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 26383 24271 702 1256 0 25122 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 105532
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5166
/proc/meminfo: memFree=1736408/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=104452 CPUtime=1121.96
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 217113 0 0 0 111909 287 0 0 25 0 1 0 187156293 106958848 24611 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 26113 24611 702 1256 0 24852 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 104452
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5166
/proc/meminfo: memFree=1737432/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=103960 CPUtime=1181.94
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 226947 0 0 0 117894 300 0 0 25 0 1 0 187156293 106455040 24444 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 25990 24444 702 1256 0 24729 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 103960
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5172
/proc/meminfo: memFree=1734936/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=108456 CPUtime=1241.92
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 235262 0 0 0 123878 314 0 0 25 0 1 0 187156293 111058944 24966 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 27114 24966 702 1256 0 25853 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 108456
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5172
/proc/meminfo: memFree=1736792/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=104920 CPUtime=1301.9
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 263121 0 0 0 129854 336 0 0 25 0 1 0 187156293 107438080 24476 1992294400 4194304 9342243 548682068736 18446744073709551615 6920803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 26230 24476 702 1256 0 24969 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 104920
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5172
/proc/meminfo: memFree=1728472/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=128892 CPUtime=1361.89
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 275448 0 0 0 135838 351 0 0 25 0 1 0 187156293 131985408 30705 1992294400 4194304 9342243 548682068736 18446744073709551615 6960335 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 32223 30705 716 1256 0 30962 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 128892
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5172
/proc/meminfo: memFree=1711960/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=128892 CPUtime=1421.87
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 275448 0 0 0 141828 359 0 0 25 0 1 0 187156293 131985408 30705 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 32223 30705 716 1256 0 30962 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 128892
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5172
/proc/meminfo: memFree=1711960/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=128892 CPUtime=1481.85
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 275450 0 0 0 147819 366 0 0 25 0 1 0 187156293 131985408 30707 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 32223 30707 716 1256 0 30962 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 128892
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5172
/proc/meminfo: memFree=1711960/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=128892 CPUtime=1541.84
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 275451 0 0 0 153811 373 0 0 25 0 1 0 187156293 131985408 30708 1992294400 4194304 9342243 548682068736 18446744073709551615 6880991 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 32223 30708 716 1256 0 30962 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 128892
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5172
/proc/meminfo: memFree=1711960/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=128892 CPUtime=1601.81
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 275451 0 0 0 159802 379 0 0 25 0 1 0 187156293 131985408 30708 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 32223 30708 716 1256 0 30962 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 128892
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5172
/proc/meminfo: memFree=1711960/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=128892 CPUtime=1661.79
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 275451 0 0 0 165793 386 0 0 25 0 1 0 187156293 131985408 30708 1992294400 4194304 9342243 548682068736 18446744073709551615 6040670 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 32223 30708 716 1256 0 30962 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 128892
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5172
/proc/meminfo: memFree=1711960/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=128892 CPUtime=1721.78
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 275451 0 0 0 171784 394 0 0 25 0 1 0 187156293 131985408 30708 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 32223 30708 716 1256 0 30962 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 128892
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5172
/proc/meminfo: memFree=1709144/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=129228 CPUtime=1781.77
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 277369 0 0 0 177773 404 0 0 25 0 1 0 187156293 132329472 31352 1992294400 4194304 9342243 548682068736 18446744073709551615 6910936 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 32307 31352 716 1256 0 31046 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 129228
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 5172
/proc/meminfo: memFree=1709144/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=129228 CPUtime=1784.96
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 277369 0 0 0 178092 404 0 0 25 0 1 0 187156293 132329472 31352 1992294400 4194304 9342243 548682068736 18446744073709551615 4266239 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 32307 31352 716 1256 0 31046 0
Current children cumulated CPU time (s) 1784.96
Current children cumulated vsize (KiB) 129228
[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5172
/proc/meminfo: memFree=1709144/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=129228 CPUtime=1791.36
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 277369 0 0 0 178731 405 0 0 25 0 1 0 187156293 132329472 31352 1992294400 4194304 9342243 548682068736 18446744073709551615 6959593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 32307 31352 716 1256 0 31046 0
Current children cumulated CPU time (s) 1791.36
Current children cumulated vsize (KiB) 129228
[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5172
/proc/meminfo: memFree=1709144/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=129228 CPUtime=1792.96
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 277369 0 0 0 178891 405 0 0 25 0 1 0 187156293 132329472 31352 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 32307 31352 716 1256 0 31046 0
Current children cumulated CPU time (s) 1792.96
Current children cumulated vsize (KiB) 129228
[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5172
/proc/meminfo: memFree=1709144/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=129228 CPUtime=1794.56
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 277369 0 0 0 179051 405 0 0 25 0 1 0 187156293 132329472 31352 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 32307 31352 716 1256 0 31046 0
Current children cumulated CPU time (s) 1794.56
Current children cumulated vsize (KiB) 129228
[startup+1795.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5172
/proc/meminfo: memFree=1709144/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=129228 CPUtime=1794.96
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 277369 0 0 0 179091 405 0 0 25 0 1 0 187156293 132329472 31352 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5163/statm: 32307 31352 716 1256 0 31046 0
Current children cumulated CPU time (s) 1794.96
Current children cumulated vsize (KiB) 129228
[startup+1795.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5172
/proc/meminfo: memFree=1709144/2055920 swapFree=4181384/4192956
[pid=5163] ppid=5161 vsize=129228 CPUtime=1795.16
/proc/5163/stat : 5163 (pbscip.linux.x8) R 5161 5163 3868 0 -1 4194304 277370 0 0 0 179111 405 0 0 25 0 1 0 187156293 132329472 31353 1992294400 4194304 9342243 548682068736 18446744073709551615 4303034 0 0 4096 0 0 0 0 17 1 0 0
/proc/5163/statm: 32307 31353 717 1256 0 31046 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 129228
Child status: 0
Real time (s): 1795.8
CPU time (s): 1795.26
CPU user time (s): 1791.18
CPU system time (s): 4.07838
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 133700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.18
system time used= 4.07838
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277373
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= 2233
runsolver used 1.34579 second user time and 3.79742 second system time
The end
Begin job on node49 at 2009-06-17 01:40:34
IDJOB=1870293
IDBENCH=48145
IDSOLVER=684
FILE ID=node49/1870293-1245195634
PBS_JOBID= 9368286
Free space on /tmp= 66028 MiB
SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870293-1245195634/watcher-1870293-1245195634 -o /tmp/evaluation-result-1870293-1245195634/solver-1870293-1245195634 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870293-1245195634.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= faa00895e2f6f80e77634e2be522df62
RANDOM SEED=1033498544
node49.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1833088 kB
Buffers: 53988 kB
Cached: 100484 kB
SwapCached: 4580 kB
Active: 59804 kB
Inactive: 102824 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1833088 kB
SwapTotal: 4192956 kB
SwapFree: 4181384 kB
Dirty: 11808 kB
Writeback: 0 kB
Mapped: 13852 kB
Slab: 46008 kB
Committed_AS: 181988 kB
PageTables: 1388 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66016 MiB
End job on node49 at 2009-06-17 02:10:30