0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver Clp 1.8.2
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-1869811-1245186118.opb>
0.00/0.01 c original problem has 432 variables (432 bin, 0 int, 0 impl, 0 cont) and 333 constraints
0.00/0.01 c start presolving problem
0.00/0.01 c presolving:
0.00/0.05 c (round 1) 4 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 35 chg coeffs, 0 upgd conss, 1536 impls, 0 clqs
0.00/0.05 c (round 2) 22 del vars, 16 del conss, 0 chg bounds, 0 chg sides, 51 chg coeffs, 5 upgd conss, 2400 impls, 0 clqs
0.00/0.06 c (round 3) 40 del vars, 32 del conss, 0 chg bounds, 0 chg sides, 67 chg coeffs, 5 upgd conss, 2976 impls, 0 clqs
0.00/0.06 c (round 4) 58 del vars, 48 del conss, 0 chg bounds, 0 chg sides, 83 chg coeffs, 5 upgd conss, 3264 impls, 0 clqs
0.00/0.06 c (round 5) 76 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 99 chg coeffs, 5 upgd conss, 3264 impls, 0 clqs
0.00/0.08 c (0.1s) probing: 158/356 (44.4%) - 0 fixings, 0 aggregations, 8 implications, 0 bound changes
0.00/0.08 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.00/0.08 c presolving (6 rounds):
0.00/0.08 c 76 deleted vars, 64 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 99 changed coefficients
0.00/0.08 c 3280 implications, 0 cliques
0.00/0.08 c presolved problem has 356 variables (356 bin, 0 int, 0 impl, 0 cont) and 265 constraints
0.00/0.08 c 256 constraints of type <and>
0.00/0.08 c 4 constraints of type <linear>
0.00/0.08 c 5 constraints of type <logicor>
0.00/0.08 c transformed objective value is always integral (scale: 2)
0.00/0.08 c Presolving Time: 0.05
0.00/0.08 c OPT-NLC
0.00/0.08 c -----------------------------------------------------------------------------------------------
0.00/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.08 c limits/memory = c 1620
0.00/0.08 c # maximal time in seconds to run
0.00/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.08 c limits/time = c 1791
0.00/0.08 c # frequency for displaying node information lines
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.08 c display/freq = c 10000
0.00/0.08 c -----------------------------------------------------------------------------------------------
0.00/0.08 c start solving problem
0.00/0.08 c
0.00/0.08 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.08 c 0.1s| 1 | 0 | 13 |1641k| 0 | 7 | 356 | 265 | 265 | 356 | 521 | 0 | 0 | 0 | 3.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 265 |1654k| 0 | 14 | 356 | 265 | 265 | 356 | 526 | 5 | 0 | 0 | 3.000000e+00 | -- | Inf
0.09/0.16 c 0.1s| 1 | 0 | 273 |1681k| 0 | 17 | 356 | 265 | 265 | 356 | 532 | 11 | 0 | 0 | 3.000000e+00 | -- | Inf
0.09/0.19 c 0.1s| 1 | 0 | 294 |1700k| 0 | 22 | 356 | 265 | 265 | 356 | 536 | 15 | 0 | 0 | 3.000000e+00 | -- | Inf
0.19/0.24 c 0.2s| 1 | 0 | 305 |1717k| 0 | 31 | 356 | 265 | 265 | 356 | 541 | 20 | 0 | 0 | 3.000000e+00 | -- | Inf
0.19/0.29 c 0.2s| 1 | 0 | 333 |1737k| 0 | 35 | 356 | 265 | 265 | 356 | 548 | 27 | 0 | 0 | 3.000000e+00 | -- | Inf
0.29/0.36 c 0.3s| 1 | 0 | 349 |1747k| 0 | 54 | 356 | 265 | 265 | 356 | 557 | 36 | 0 | 0 | 3.000000e+00 | -- | Inf
0.49/0.59 c 0.5s| 1 | 2 | 349 |1748k| 0 | 54 | 356 | 265 | 265 | 356 | 557 | 36 | 0 | 20 | 3.000000e+00 | -- | Inf
39.88/39.91 c 39.4s| 10000 | 5505 |157435 |8986k| 64 | 12 | 356 |2962 | 567 | 356 | 174 | 56k|3497 |3467 | 3.000000e+00 | -- | Inf
62.97/63.03 o 171
62.97/63.03 c *62.1s| 16716 | 8260 |248631 | 11M| 64 | - | 356 |2211 | 69 | 356 | 214 | 87k|6206 |4492 | 3.000000e+00 | 1.710000e+02 |5600.00%
74.57/74.65 c 73.6s| 20000 | 9494 |292409 | 13M| 64 | 5 | 356 |1504 | 319 | 356 | 148 | 102k|7685 |4881 | 3.000000e+00 | 1.710000e+02 |5600.00%
75.67/75.73 o 3
75.67/75.73 c *74.7s| 20316 | 0 |296299 |3153k| 64 | - | 356 |1500 | 67 | 356 | 188 | 103k|7836 |4942 | 3.000000e+00 | 3.000000e+00 | 0.00%
75.67/75.73 c
75.67/75.73 c SCIP Status : problem is solved [optimal solution found]
75.67/75.73 c Solving Time (sec) : 74.66
75.67/75.73 c Solving Nodes : 20316
75.67/75.73 c Primal Bound : +3.00000000000000e+00 (2 solutions)
75.67/75.73 c Dual Bound : +3.00000000000000e+00
75.67/75.73 c Gap : 0.00 %
75.67/75.73 c NODE 20316
75.67/75.73 c DUAL BOUND 3
75.67/75.73 c PRIMAL BOUND 3
75.67/75.73 c GAP 0
75.67/75.73 s OPTIMUM FOUND
75.67/75.73 v -x108 -x107 x106 x105 -x104 -x103 x102 x101 x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 x92 x91 x72 -x71 x70 -x69 -x68 -x67 x66 -x65
75.67/75.73 v x64 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x63 -x62 -x61 x60 -x59 -x58 -x57 x56 x55 -x81 -x80 -x79 -x78 -x77 -x76 -x75
75.67/75.73 v -x74 x73 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 x44 -x43 x42 -x41 -x40 -x39 x38 x37 -x36 -x35 x34 x33 x32 -x31 x30
75.67/75.73 v x29 x28 x27 -x26 -x25 x24 -x23 -x22 -x21 x20 x19 -x18 x17 -x16 x15 -x14 x13 -x12 x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1
75.67/75.73 c SCIP Status : problem is solved [optimal solution found]
75.67/75.73 c Solving Time : 74.66
75.67/75.73 c Original Problem :
75.67/75.73 c Problem name : HOME/instance-1869811-1245186118.opb
75.67/75.73 c Variables : 432 (432 binary, 0 integer, 0 implicit integer, 0 continuous)
75.67/75.73 c Constraints : 333 initial, 333 maximal
75.67/75.73 c Presolved Problem :
75.67/75.73 c Problem name : t_HOME/instance-1869811-1245186118.opb
75.67/75.73 c Variables : 356 (356 binary, 0 integer, 0 implicit integer, 0 continuous)
75.67/75.73 c Constraints : 265 initial, 3016 maximal
75.67/75.73 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
75.67/75.73 c trivial : 0.00 0 0 0 0 0 0 0 0
75.67/75.73 c dualfix : 0.00 0 0 0 0 0 0 0 0
75.67/75.73 c boundshift : 0.00 0 0 0 0 0 0 0 0
75.67/75.73 c inttobinary : 0.00 0 0 0 0 0 0 0 0
75.67/75.73 c implics : 0.00 0 0 0 0 0 0 0 0
75.67/75.73 c probing : 0.02 0 0 0 0 0 0 0 0
75.67/75.73 c and : 0.02 8 64 0 0 0 64 0 64
75.67/75.73 c linear : 0.01 1 3 0 0 0 0 0 35
75.67/75.73 c logicor : 0.00 0 0 0 0 0 0 0 0
75.67/75.73 c root node : - 10 - - 10 - - - -
75.67/75.73 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
75.67/75.73 c integral : 0 0 0 16316 0 21 334 0 0 32188
75.67/75.73 c and : 256 45486 56278 1 0 915 109851 103825 0 0
75.67/75.73 c linear : 4 6 55362 1 0 5320 37383 0 0 0
75.67/75.73 c logicor : 5+ 6 26643 1 0 73 4969 0 0 0
75.67/75.73 c countsols : 0 0 0 2 0 0 0 0 0 0
75.67/75.73 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
75.67/75.73 c integral : 3.36 0.00 0.00 3.36 0.00
75.67/75.73 c and : 3.00 1.96 1.04 0.00 0.00
75.67/75.73 c linear : 2.54 0.00 2.54 0.00 0.00
75.67/75.73 c logicor : 1.35 0.00 1.35 0.00 0.00
75.67/75.73 c countsols : 0.00 0.00 0.00 0.00 0.00
75.67/75.73 c Propagators : Time Calls Cutoffs DomReds
75.67/75.73 c rootredcost : 0.01 1 0 1
75.67/75.73 c pseudoobj : 0.04 55957 0 6
75.67/75.73 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
75.67/75.73 c propagation : 1.50 5569 5531 60181 54.0 979 25.1 -
75.67/75.73 c infeasible LP : 0.00 23 1 9 40.8 0 0.0 0
75.67/75.73 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
75.67/75.73 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
75.67/75.73 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
75.67/75.73 c applied globally : - - - 7660 21.8 - - -
75.67/75.73 c applied locally : - - - 176 45.9 - - -
75.67/75.73 c Separators : Time Calls Cutoffs DomReds Cuts Conss
75.67/75.73 c cut pool : 0.00 5 - - 12 - (maximal pool size: 50)
75.67/75.73 c redcost : 0.54 45487 0 0 0 0
75.67/75.73 c impliedbounds : 0.00 6 0 0 13 0
75.67/75.73 c intobj : 0.00 0 0 0 0 0
75.67/75.73 c gomory : 0.06 6 0 0 0 0
75.67/75.73 c strongcg : 0.02 6 0 0 100 0
75.67/75.73 c cmir : 0.04 6 0 0 25 0
75.67/75.73 c flowcover : 0.10 6 0 0 46 0
75.67/75.73 c clique : 0.00 1 0 0 0 0
75.67/75.73 c zerohalf : 0.00 0 0 0 0 0
75.67/75.73 c mcf : 0.00 1 0 0 0 0
75.67/75.73 c Pricers : Time Calls Vars
75.67/75.73 c problem variables: 0.00 0 0
75.67/75.73 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
75.67/75.73 c relpscost : 3.32 16314 21 334 0 0 32188
75.67/75.73 c pscost : 0.00 0 0 0 0 0 0
75.67/75.73 c inference : 0.00 0 0 0 0 0 0
75.67/75.73 c mostinf : 0.00 0 0 0 0 0 0
75.67/75.73 c leastinf : 0.00 0 0 0 0 0 0
75.67/75.73 c fullstrong : 0.00 0 0 0 0 0 0
75.67/75.73 c allfullstrong : 0.00 0 0 0 0 0 0
75.67/75.73 c random : 0.00 0 0 0 0 0 0
75.67/75.73 c Primal Heuristics : Time Calls Found
75.67/75.73 c LP solutions : 0.03 - 2
75.67/75.73 c pseudo solutions : 0.00 - 0
75.67/75.73 c crossover : 0.02 0 0
75.67/75.73 c intshifting : 0.00 0 0
75.67/75.73 c oneopt : 0.03 1 0
75.67/75.73 c guideddiving : 0.03 3 0
75.67/75.73 c feaspump : 0.29 13 0
75.67/75.73 c rootsoldiving : 0.22 13 0
75.67/75.73 c linesearchdiving : 0.14 26 0
75.67/75.73 c veclendiving : 0.14 26 0
75.67/75.73 c coefdiving : 0.12 26 0
75.67/75.73 c pscostdiving : 0.16 26 0
75.67/75.73 c fracdiving : 0.21 26 0
75.67/75.73 c objpscostdiving : 0.28 14 0
75.67/75.73 c simplerounding : 0.03 0 0
75.67/75.73 c rounding : 0.10 3102 0
75.67/75.73 c shifting : 1.50 897 0
75.67/75.73 c fixandinfer : 0.00 0 0
75.67/75.73 c intdiving : 0.00 0 0
75.67/75.73 c actconsdiving : 0.00 0 0
75.67/75.73 c octane : 0.00 0 0
75.67/75.73 c rens : 0.02 1 0
75.67/75.73 c rins : 0.00 0 0
75.67/75.73 c localbranching : 0.00 0 0
75.67/75.73 c mutation : 0.00 0 0
75.67/75.73 c dins : 0.00 0 0
75.67/75.73 c LP : Time Calls Iterations Iter/call Iter/sec
75.67/75.73 c primal LP : 8.83 0 0 0.00 0.00
75.67/75.73 c dual LP : 42.98 48240 286048 5.93 6655.37
75.67/75.73 c barrier LP : 0.00 0 0 0.00 -
75.67/75.73 c diving/probing LP: 1.21 1395 10251 7.35 8471.90
75.67/75.73 c strong branching : 3.13 4942 43570 8.82 13920.13
75.67/75.73 c (at root node) : - 20 1831 91.55 -
75.67/75.73 c conflict analysis: 0.00 0 0 0.00 -
75.67/75.73 c B&B Tree :
75.67/75.73 c number of runs : 1
75.67/75.73 c nodes : 20316
75.67/75.73 c nodes (total) : 20316
75.67/75.73 c nodes left : 0
75.67/75.73 c max depth : 64
75.67/75.73 c max depth (total): 64
75.67/75.73 c backtracks : 2537 (12.5%)
75.67/75.73 c delayed cutoffs : 1968
75.67/75.73 c repropagations : 7408 (31080 domain reductions, 1867 cutoffs)
75.67/75.73 c avg switch length: 4.59
75.67/75.73 c switching time : 10.97
75.67/75.73 c Solution :
75.67/75.73 c Solutions found : 2 (2 improvements)
75.67/75.73 c Primal Bound : +3.00000000000000e+00 (in run 1, after 20316 nodes, 74.63 seconds, depth 49, found by <relaxation>)
75.67/75.73 c Dual Bound : +3.00000000000000e+00
75.67/75.73 c Gap : 0.00 %
75.67/75.73 c Root Dual Bound : +3.00000000000000e+00
75.67/75.75 c Time complete: 75.72.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869811-1245186118/watcher-1869811-1245186118 -o /tmp/evaluation-result-1869811-1245186118/solver-1869811-1245186118 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869811-1245186118.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 1183
/proc/meminfo: memFree=1831340/2055920 swapFree=4181368/4192956
[pid=1183] ppid=1181 vsize=5812 CPUtime=0
/proc/1183/stat : 1183 (pbscip.linux.x8) R 1181 1183 585 0 -1 4194304 519 0 0 0 0 0 0 0 18 0 1 0 186209041 5951488 503 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/1183/statm: 1453 510 339 1256 0 192 0
[startup+0.013064 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1183
/proc/meminfo: memFree=1831340/2055920 swapFree=4181368/4192956
[pid=1183] ppid=1181 vsize=10392 CPUtime=0
/proc/1183/stat : 1183 (pbscip.linux.x8) R 1181 1183 585 0 -1 4194304 1582 0 0 0 0 0 0 0 18 0 1 0 186209041 10641408 1565 1992294400 4194304 9342243 548682068736 18446744073709551615 8312599 0 0 4096 0 0 0 0 17 1 0 0
/proc/1183/statm: 2598 1565 378 1256 0 1337 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10392
[startup+0.101079 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1183
/proc/meminfo: memFree=1831340/2055920 swapFree=4181368/4192956
[pid=1183] ppid=1181 vsize=17276 CPUtime=0.09
/proc/1183/stat : 1183 (pbscip.linux.x8) R 1181 1183 585 0 -1 4194304 3311 0 0 0 6 3 0 0 18 0 1 0 186209041 17690624 2941 1992294400 4194304 9342243 548682068736 18446744073709551615 6976974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1183/statm: 4319 2941 649 1256 0 3058 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17276
[startup+0.301112 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1183
/proc/meminfo: memFree=1831340/2055920 swapFree=4181368/4192956
[pid=1183] ppid=1181 vsize=26796 CPUtime=0.29
/proc/1183/stat : 1183 (pbscip.linux.x8) R 1181 1183 585 0 -1 4194304 5414 0 0 0 25 4 0 0 19 0 1 0 186209041 27439104 5041 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1183/statm: 6699 5041 678 1256 0 5438 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26796
[startup+0.70118 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1183
/proc/meminfo: memFree=1831340/2055920 swapFree=4181368/4192956
[pid=1183] ppid=1181 vsize=26952 CPUtime=0.69
/proc/1183/stat : 1183 (pbscip.linux.x8) R 1181 1183 585 0 -1 4194304 7325 0 0 0 64 5 0 0 22 0 1 0 186209041 27598848 5197 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1183/statm: 6738 5197 690 1256 0 5477 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26952
[startup+1.50132 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1184
/proc/meminfo: memFree=1812964/2055920 swapFree=4181368/4192956
[pid=1183] ppid=1181 vsize=27972 CPUtime=1.49
/proc/1183/stat : 1183 (pbscip.linux.x8) R 1181 1183 585 0 -1 4194304 7579 0 0 0 143 6 0 0 25 0 1 0 186209041 28643328 5451 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1183/statm: 6993 5451 695 1256 0 5732 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27972
[startup+3.10159 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1184
/proc/meminfo: memFree=1811684/2055920 swapFree=4181368/4192956
[pid=1183] ppid=1181 vsize=28276 CPUtime=3.09
/proc/1183/stat : 1183 (pbscip.linux.x8) R 1181 1183 585 0 -1 4194304 7759 0 0 0 301 8 0 0 25 0 1 0 186209041 28954624 5631 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1183/statm: 7069 5631 698 1256 0 5808 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28276
[startup+6.30113 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1184
/proc/meminfo: memFree=1810596/2055920 swapFree=4181368/4192956
[pid=1183] ppid=1181 vsize=28616 CPUtime=6.28
/proc/1183/stat : 1183 (pbscip.linux.x8) R 1181 1183 585 0 -1 4194304 7939 0 0 0 618 10 0 0 25 0 1 0 186209041 29302784 5811 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1183/statm: 7154 5811 698 1256 0 5893 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 28616
[startup+12.7022 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1184
/proc/meminfo: memFree=1809260/2055920 swapFree=4181368/4192956
[pid=1183] ppid=1181 vsize=30188 CPUtime=12.68
/proc/1183/stat : 1183 (pbscip.linux.x8) R 1181 1183 585 0 -1 4194304 8297 0 0 0 1250 18 0 0 25 0 1 0 186209041 30912512 6169 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1183/statm: 7547 6169 698 1256 0 6286 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 30188
[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1184
/proc/meminfo: memFree=1805996/2055920 swapFree=4181368/4192956
[pid=1183] ppid=1181 vsize=34008 CPUtime=25.48
/proc/1183/stat : 1183 (pbscip.linux.x8) R 1181 1183 585 0 -1 4194304 9110 0 0 0 2514 34 0 0 25 0 1 0 186209041 34824192 6982 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1183/statm: 8502 6982 698 1256 0 7241 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34008
[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1184
/proc/meminfo: memFree=1800364/2055920 swapFree=4181368/4192956
[pid=1183] ppid=1181 vsize=39336 CPUtime=51.08
/proc/1183/stat : 1183 (pbscip.linux.x8) R 1181 1183 585 0 -1 4194304 10541 0 0 0 5039 69 0 0 25 0 1 0 186209041 40280064 8413 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1183/statm: 9834 8413 698 1256 0 8573 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 39336
Solver just ended. Dumping a history of the last processes samples
[startup+63.9019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1184
/proc/meminfo: memFree=1798444/2055920 swapFree=4181368/4192956
[pid=1183] ppid=1181 vsize=41520 CPUtime=63.87
/proc/1183/stat : 1183 (pbscip.linux.x8) R 1181 1183 585 0 -1 4194304 11007 0 0 0 6299 88 0 0 25 0 1 0 186209041 42516480 8879 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1183/statm: 10380 8879 698 1256 0 9119 0
Current children cumulated CPU time (s) 63.87
Current children cumulated vsize (KiB) 41520
[startup+70.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1184
/proc/meminfo: memFree=1797868/2055920 swapFree=4181368/4192956
[pid=1183] ppid=1181 vsize=41856 CPUtime=70.28
/proc/1183/stat : 1183 (pbscip.linux.x8) R 1181 1183 585 0 -1 4194304 11135 0 0 0 6931 97 0 0 25 0 1 0 186209041 42860544 9007 1992294400 4194304 9342243 548682068736 18446744073709551615 6213705 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1183/statm: 10464 9007 698 1256 0 9203 0
Current children cumulated CPU time (s) 70.28
Current children cumulated vsize (KiB) 41856
[startup+73.5026 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1184
/proc/meminfo: memFree=1797484/2055920 swapFree=4181368/4192956
[pid=1183] ppid=1181 vsize=42612 CPUtime=73.47
/proc/1183/stat : 1183 (pbscip.linux.x8) R 1181 1183 585 0 -1 4194304 11432 0 0 0 7246 101 0 0 25 0 1 0 186209041 43634688 9304 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1183/statm: 10653 9304 698 1256 0 9392 0
Current children cumulated CPU time (s) 73.47
Current children cumulated vsize (KiB) 42612
[startup+75.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1184
/proc/meminfo: memFree=1796140/2055920 swapFree=4181368/4192956
[pid=1183] ppid=1181 vsize=44060 CPUtime=75.07
/proc/1183/stat : 1183 (pbscip.linux.x8) R 1181 1183 585 0 -1 4194304 11587 0 0 0 7404 103 0 0 25 0 1 0 186209041 45117440 9459 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1183/statm: 11015 9459 698 1256 0 9754 0
Current children cumulated CPU time (s) 75.07
Current children cumulated vsize (KiB) 44060
[startup+75.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1184
/proc/meminfo: memFree=1796140/2055920 swapFree=4181368/4192956
[pid=1183] ppid=1181 vsize=44240 CPUtime=75.47
/proc/1183/stat : 1183 (pbscip.linux.x8) R 1181 1183 585 0 -1 4194304 11614 0 0 0 7444 103 0 0 25 0 1 0 186209041 45301760 9486 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1183/statm: 11060 9486 698 1256 0 9799 0
Current children cumulated CPU time (s) 75.47
Current children cumulated vsize (KiB) 44240
[startup+75.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1184
/proc/meminfo: memFree=1796140/2055920 swapFree=4181368/4192956
[pid=1183] ppid=1181 vsize=44240 CPUtime=75.67
/proc/1183/stat : 1183 (pbscip.linux.x8) R 1181 1183 585 0 -1 4194304 11618 0 0 0 7463 104 0 0 25 0 1 0 186209041 45301760 9490 1992294400 4194304 9342243 548682068736 18446744073709551615 4805770 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1183/statm: 11060 9490 698 1256 0 9799 0
Current children cumulated CPU time (s) 75.67
Current children cumulated vsize (KiB) 44240
Child status: 0
Real time (s): 75.7521
CPU time (s): 75.7265
CPU user time (s): 74.6806
CPU system time (s): 1.04584
CPU usage (%): 99.9662
Max. virtual memory (cumulated for all children) (KiB): 44240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 74.6806
system time used= 1.04584
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11623
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= 91
runsolver used 0.06099 second user time and 0.177972 second system time
The end