0.02/0.10 c SCIP version 1.1.0.7
0.02/0.10 c LP-Solver Clp 1.8.2
0.02/0.10 c user parameter file <scip.set> not found - using default parameters
0.02/0.10 c read problem <HOME/instance-1870813-1245220540.opb>
0.02/0.10 c original problem has 2994 variables (2994 bin, 0 int, 0 impl, 0 cont) and 3433 constraints
0.09/0.13 c start presolving problem
0.09/0.13 c presolving:
0.09/0.17 c (round 1) 6 del vars, 1 del conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5976 impls, 60 clqs
0.09/0.18 c (round 2) 6 del vars, 2989 del conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5976 impls, 60 clqs
0.19/0.21 c (round 3) 6 del vars, 2989 del conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 444 upgd conss, 5976 impls, 60 clqs
0.49/0.50 c (0.4s) probing: 101/2988 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.50 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.49/0.50 c presolving (4 rounds):
0.49/0.50 c 6 deleted vars, 2989 deleted constraints, 6 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.50 c 5976 implications, 420 cliques
0.49/0.50 c presolved problem has 2988 variables (2988 bin, 0 int, 0 impl, 0 cont) and 444 constraints
0.49/0.50 c 384 constraints of type <knapsack>
0.49/0.50 c 60 constraints of type <setppc>
0.49/0.50 c transformed objective value is always integral (scale: 1)
0.49/0.50 c Presolving Time: 0.36
0.49/0.50 c OPT-LIN
0.49/0.50 c -----------------------------------------------------------------------------------------------
0.49/0.50 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.50 c limits/memory = c 1620
0.49/0.50 c # maximal time in seconds to run
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.50 c limits/time = c 1791
0.49/0.50 c # frequency for displaying node information lines
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.50 c display/freq = c 10000
0.49/0.50 c -----------------------------------------------------------------------------------------------
0.49/0.50 c start solving problem
0.49/0.50 c
0.49/0.55 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.55 c 0.4s| 1 | 0 | 179 | 11M| 0 | 30 |2988 | 444 | 444 |2988 | 444 | 0 | 0 | 0 | 6.000000e+00 | -- | Inf
0.89/0.95 c 0.8s| 1 | 0 | 417 | 12M| 0 | 55 |2988 | 444 | 444 |2988 | 471 | 27 | 0 | 0 | 6.000000e+00 | -- | Inf
1.79/1.84 c 1.7s| 1 | 0 | 484 | 13M| 0 | 75 |2988 | 444 | 444 |2988 | 494 | 50 | 0 | 0 | 6.000000e+00 | -- | Inf
2.29/2.32 c 2.2s| 1 | 0 | 541 | 13M| 0 | 105 |2988 | 444 | 444 |2988 | 518 | 74 | 0 | 0 | 6.000000e+00 | -- | Inf
2.69/2.74 c 2.6s| 1 | 0 | 674 | 14M| 0 | 110 |2988 | 444 | 444 |2988 | 540 | 96 | 0 | 0 | 6.000000e+00 | -- | Inf
3.08/3.13 c 3.0s| 1 | 0 | 812 | 14M| 0 | 131 |2988 | 444 | 444 |2988 | 562 | 118 | 0 | 0 | 6.000000e+00 | -- | Inf
3.59/3.60 c 3.4s| 1 | 0 | 1069 | 14M| 0 | 137 |2988 | 444 | 444 |2988 | 582 | 138 | 0 | 0 | 6.000000e+00 | -- | Inf
5.29/5.36 c 5.2s| 1 | 2 | 1069 | 14M| 0 | 137 |2988 | 444 | 444 |2988 | 582 | 138 | 0 | 33 | 6.000000e+00 | -- | Inf
190.71/190.88 c 190s| 10000 | 260 |225267 | 18M| 99 | 47 |2988 |3408 | 543 |2988 | 548 | 138 |7945 |3968 | 6.000000e+00 | -- | Inf
347.25/347.48 c 345s| 20000 | 683 |462062 | 21M| 99 | 38 |2988 |4183 | 924 |2988 | 548 | 138 | 18k|5814 | 6.000000e+00 | -- | Inf
509.59/509.82 c 507s| 30000 | 924 |697862 | 23M| 99 | 29 |2988 |4564 | 579 |2988 | 548 | 138 | 27k|8193 | 6.000000e+00 | -- | Inf
635.44/635.72 c 632s| 40000 | 1219 |892870 | 25M| 99 | - |2988 |5790 | 867 |2988 | 548 | 138 | 34k|9957 | 6.000000e+00 | -- | Inf
759.80/760.11 c 755s| 50000 | 1380 | 1101k| 25M| 99 | - |2988 |5642 | 611 |2988 | 548 | 138 | 40k| 11k| 6.000000e+00 | -- | Inf
888.15/888.58 c 883s| 60000 | 1510 | 1306k| 27M| 99 | - |2988 |6453 | 457 |2988 | 548 | 138 | 48k| 13k| 6.000000e+00 | -- | Inf
996.72/997.10 c 991s| 70000 | 1681 | 1484k| 28M| 99 | 38 |2988 |6859 | 581 |2988 | 548 | 138 | 58k| 14k| 6.000000e+00 | -- | Inf
1135.16/1135.65 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1135.16/1135.65 c 1128s| 80000 | 1704 | 1706k| 28M| 99 | 47 |2988 |6873 | 594 |2988 | 548 | 138 | 68k| 17k| 6.000000e+00 | -- | Inf
1250.42/1250.93 c 1243s| 90000 | 1776 | 1901k| 28M| 99 | 37 |2988 |6103 | 531 |2988 | 548 | 138 | 74k| 18k| 6.000000e+00 | -- | Inf
1367.88/1368.44 c 1360s|100000 | 1863 | 2103k| 29M| 99 | 35 |2988 |7165 | 486 |2988 | 548 | 138 | 83k| 19k| 6.000000e+00 | -- | Inf
1483.03/1483.66 c 1474s|110000 | 1855 | 2296k| 30M| 99 | 42 |2988 |8317 | 522 |2988 | 548 | 138 | 95k| 21k| 6.000000e+00 | -- | Inf
1588.58/1589.20 c 1579s|120000 | 1780 | 2485k| 30M| 99 | - |2988 |8280 | 468 |2988 | 548 | 138 | 105k| 21k| 6.000000e+00 | -- | Inf
1710.74/1711.46 c 1701s|130000 | 1833 | 2688k| 30M| 99 | - |2988 |7906 | 512 |2988 | 548 | 138 | 115k| 23k| 6.000000e+00 | -- | Inf
1800.02/1800.71 c
1800.02/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.71 c Solving Time (sec) : 1789.37
1800.02/1800.71 c Solving Nodes : 137500
1800.02/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.71 c Dual Bound : +6.00000000000000e+00
1800.02/1800.71 c Gap : infinite
1800.02/1800.71 c NODE 137500
1800.02/1800.71 c DUAL BOUND 6
1800.02/1800.71 c PRIMAL BOUND 1e+20
1800.02/1800.71 c GAP 1e+20
1800.02/1800.71 s UNKNOWN
1800.02/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.71 c Solving Time : 1789.37
1800.02/1800.71 c Original Problem :
1800.02/1800.71 c Problem name : HOME/instance-1870813-1245220540.opb
1800.02/1800.71 c Variables : 2994 (2994 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.71 c Constraints : 3433 initial, 3433 maximal
1800.02/1800.71 c Presolved Problem :
1800.02/1800.71 c Problem name : t_HOME/instance-1870813-1245220540.opb
1800.02/1800.71 c Variables : 2988 (2988 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.71 c Constraints : 444 initial, 8875 maximal
1800.02/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c probing : 0.04 0 0 0 0 0 0 0 0
1800.02/1800.71 c knapsack : 0.24 0 0 0 0 0 0 0 0
1800.02/1800.71 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c linear : 0.06 6 0 0 6 0 2989 0 0
1800.02/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c root node : - 0 - - 0 - - - -
1800.02/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.71 c integral : 0 0 0 82229 0 518 13918 0 0 144930
1800.02/1800.71 c knapsack : 384 6 404182 0 0 12172 6155524 1111 0 0
1800.02/1800.71 c setppc : 60 6 392010 0 0 7976 384306 0 0 0
1800.02/1800.71 c logicor : 0+ 0 191658 0 0 4090 146666 0 0 0
1800.02/1800.71 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.71 c integral : 224.60 0.00 0.00 224.60 0.00
1800.02/1800.71 c knapsack : 36.30 0.04 36.26 0.00 0.00
1800.02/1800.71 c setppc : 7.70 0.00 7.70 0.00 0.00
1800.02/1800.71 c logicor : 17.72 0.00 17.72 0.00 0.00
1800.02/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.71 c rootredcost : 0.25 0 0 0
1800.02/1800.71 c pseudoobj : 0.18 0 0 0
1800.02/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.71 c propagation : 10.00 24238 24230 326320 73.9 1006 57.0 -
1800.02/1800.71 c infeasible LP : 38.27 45767 2 53 239.0 0 0.0 0
1800.02/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.71 c applied globally : - - - 122054 61.6 - - -
1800.02/1800.71 c applied locally : - - - 0 0.0 - - -
1800.02/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.71 c cut pool : 0.01 5 - - 1121 - (maximal pool size: 1253)
1800.02/1800.71 c redcost : 14.55 82127 0 0 0 0
1800.02/1800.71 c impliedbounds : 0.00 6 0 0 0 0
1800.02/1800.71 c intobj : 0.00 0 0 0 0 0
1800.02/1800.71 c gomory : 0.43 6 0 0 113 0
1800.02/1800.71 c strongcg : 0.42 6 0 0 167 0
1800.02/1800.71 c cmir : 0.94 6 0 0 1519 0
1800.02/1800.71 c flowcover : 0.69 6 0 0 1202 0
1800.02/1800.71 c clique : 0.03 6 0 0 19 0
1800.02/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.71 c mcf : 0.00 1 0 0 0 0
1800.02/1800.71 c Pricers : Time Calls Vars
1800.02/1800.71 c problem variables: 0.00 0 0
1800.02/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.71 c relpscost : 224.32 82229 518 13918 0 0 144930
1800.02/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.71 c inference : 0.00 0 0 0 0 0 0
1800.02/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.71 c random : 0.00 0 0 0 0 0 0
1800.02/1800.71 c Primal Heuristics : Time Calls Found
1800.02/1800.71 c LP solutions : 0.00 - 0
1800.02/1800.71 c pseudo solutions : 0.00 - 0
1800.02/1800.71 c oneopt : 0.15 0 0
1800.02/1800.71 c crossover : 0.01 0 0
1800.02/1800.71 c guideddiving : 0.02 0 0
1800.02/1800.71 c pscostdiving : 3.87 53 0
1800.02/1800.71 c veclendiving : 2.23 53 0
1800.02/1800.71 c feaspump : 5.73 27 0
1800.02/1800.71 c objpscostdiving : 3.24 27 0
1800.02/1800.71 c rootsoldiving : 2.01 27 0
1800.02/1800.71 c fracdiving : 7.11 54 0
1800.02/1800.71 c linesearchdiving : 2.91 54 0
1800.02/1800.71 c coefdiving : 13.35 54 0
1800.02/1800.71 c simplerounding : 0.21 0 0
1800.02/1800.71 c rounding : 0.73 3982 0
1800.02/1800.71 c shifting : 5.17 1262 0
1800.02/1800.71 c intshifting : 0.02 0 0
1800.02/1800.71 c fixandinfer : 0.00 0 0
1800.02/1800.71 c intdiving : 0.00 0 0
1800.02/1800.71 c actconsdiving : 0.00 0 0
1800.02/1800.71 c octane : 0.00 0 0
1800.02/1800.71 c rens : 0.07 1 0
1800.02/1800.71 c rins : 0.00 0 0
1800.02/1800.71 c localbranching : 0.00 0 0
1800.02/1800.71 c mutation : 0.00 0 0
1800.02/1800.71 c dins : 0.00 0 0
1800.02/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.71 c primal LP : 0.15 0 0 0.00 0.00
1800.02/1800.71 c dual LP : 1269.17 138204 2817857 20.39 2220.24
1800.02/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.71 c diving/probing LP: 33.65 5619 43349 7.71 1288.23
1800.02/1800.71 c strong branching : 219.94 24136 773839 32.06 3518.41
1800.02/1800.71 c (at root node) : - 33 4295 130.15 -
1800.02/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.71 c B&B Tree :
1800.02/1800.71 c number of runs : 1
1800.02/1800.71 c nodes : 137500
1800.02/1800.71 c nodes (total) : 137500
1800.02/1800.71 c nodes left : 1899
1800.02/1800.71 c max depth : 99
1800.02/1800.71 c max depth (total): 99
1800.02/1800.71 c backtracks : 23942 (17.4%)
1800.02/1800.71 c delayed cutoffs : 5532
1800.02/1800.71 c repropagations : 63711 (830576 domain reductions, 4735 cutoffs)
1800.02/1800.71 c avg switch length: 3.95
1800.02/1800.71 c switching time : 39.71
1800.02/1800.71 c Solution :
1800.02/1800.71 c Solutions found : 0 (0 improvements)
1800.02/1800.71 c Primal Bound : -
1800.02/1800.71 c Dual Bound : +6.00000000000000e+00
1800.02/1800.71 c Gap : infinite
1800.02/1800.71 c Root Dual Bound : +6.00000000000000e+00
1800.02/1800.80 c Time complete: 1800.11.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870813-1245220540/watcher-1870813-1245220540 -o /tmp/evaluation-result-1870813-1245220540/solver-1870813-1245220540 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870813-1245220540.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.95 3/64 14631
/proc/meminfo: memFree=1694456/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=5812 CPUtime=0
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 517 0 0 0 0 0 0 0 18 0 1 0 189647918 5951488 501 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/14631/statm: 1453 502 332 1256 0 192 0
[startup+0.028618 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 14631
/proc/meminfo: memFree=1694456/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=11668 CPUtime=0.02
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 1898 0 0 0 2 0 0 0 18 0 1 0 189647918 11948032 1882 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/14631/statm: 2917 1882 378 1256 0 1656 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11668
[startup+0.101634 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 14631
/proc/meminfo: memFree=1694456/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=13296 CPUtime=0.09
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 2671 0 0 0 9 0 0 0 18 0 1 0 189647918 13615104 2301 1992294400 4194304 9342243 548682068736 18446744073709551615 8126737 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 3324 2301 379 1256 0 2063 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13296
[startup+0.301676 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 14631
/proc/meminfo: memFree=1694456/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=28908 CPUtime=0.29
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 6430 0 0 0 26 3 0 0 19 0 1 0 189647918 29601792 6060 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 7227 6060 482 1256 0 5966 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28908
[startup+0.701762 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 14631
/proc/meminfo: memFree=1694456/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=39352 CPUtime=0.69
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 8972 0 0 0 66 3 0 0 22 0 1 0 189647918 40296448 8578 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 9838 8578 660 1256 0 8577 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39352
[startup+1.50193 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14632
/proc/meminfo: memFree=1661232/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=46112 CPUtime=1.49
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 10401 0 0 0 145 4 0 0 25 0 1 0 189647918 47218688 10007 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 11528 10007 677 1256 0 10267 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46112
[startup+3.10128 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14632
/proc/meminfo: memFree=1655280/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=50196 CPUtime=3.08
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 11375 0 0 0 303 5 0 0 25 0 1 0 189647918 51400704 10981 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 12549 10981 677 1256 0 11288 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 50196
[startup+6.30197 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14632
/proc/meminfo: memFree=1650736/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=52936 CPUtime=6.29
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 15686 0 0 0 620 9 0 0 25 0 1 0 189647918 54206464 11520 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 13234 11520 695 1256 0 11973 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52936
[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14632
/proc/meminfo: memFree=1650672/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=52936 CPUtime=12.68
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 15711 0 0 0 1258 10 0 0 25 0 1 0 189647918 54206464 11545 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 13234 11545 695 1256 0 11973 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 52936
[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14632
/proc/meminfo: memFree=1650608/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=52936 CPUtime=25.48
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 15741 0 0 0 2535 13 0 0 25 0 1 0 189647918 54206464 11575 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 13234 11575 695 1256 0 11973 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 52936
[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14632
/proc/meminfo: memFree=1648944/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=54264 CPUtime=51.06
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 16199 0 0 0 5085 21 0 0 25 0 1 0 189647918 55566336 12033 1992294400 4194304 9342243 548682068736 18446744073709551615 7289235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 13566 12033 701 1256 0 12305 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 54264
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14632
/proc/meminfo: memFree=1648176/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=55260 CPUtime=102.25
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 37270 0 0 0 10173 52 0 0 25 0 1 0 189647918 56586240 12188 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 13815 12188 703 1256 0 12554 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 55260
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14632
/proc/meminfo: memFree=1645232/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=59488 CPUtime=162.22
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 78197 0 0 0 16121 101 0 0 25 0 1 0 189647918 60915712 13002 1992294400 4194304 9342243 548682068736 18446744073709551615 6756388 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 14872 13002 703 1256 0 13611 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 59488
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14632
/proc/meminfo: memFree=1640624/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=63552 CPUtime=222.19
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 104640 0 0 0 22082 137 0 0 25 0 1 0 189647918 65077248 14094 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 15888 14094 703 1256 0 14627 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 63552
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14632
/proc/meminfo: memFree=1637872/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=65448 CPUtime=282.18
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 127461 0 0 0 28049 169 0 0 25 0 1 0 189647918 67018752 14747 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 16362 14748 703 1256 0 15101 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 65448
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14632
/proc/meminfo: memFree=1636272/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=67012 CPUtime=342.16
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 161226 0 0 0 34007 209 0 0 25 0 1 0 189647918 68620288 15145 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 16753 15145 703 1256 0 15492 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 67012
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14632
/proc/meminfo: memFree=1632368/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=71324 CPUtime=402.13
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 176327 0 0 0 39976 237 0 0 25 0 1 0 189647918 73035776 16130 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 17831 16130 703 1256 0 16570 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 71324
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14632
/proc/meminfo: memFree=1632624/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=70196 CPUtime=462.11
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 190810 0 0 0 45947 264 0 0 25 0 1 0 189647918 71880704 16022 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 17549 16022 703 1256 0 16288 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 70196
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14632
/proc/meminfo: memFree=1629168/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=73800 CPUtime=522.09
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 199106 0 0 0 51917 292 0 0 25 0 1 0 189647918 75571200 16907 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 18450 16907 703 1256 0 17189 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 73800
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14632
/proc/meminfo: memFree=1630512/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=72584 CPUtime=582.06
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 221417 0 0 0 57878 328 0 0 25 0 1 0 189647918 74326016 16591 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 18146 16591 703 1256 0 16885 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 72584
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14632
/proc/meminfo: memFree=1627824/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=76396 CPUtime=642.05
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 257013 0 0 0 63829 376 0 0 25 0 1 0 189647918 78229504 17226 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 19099 17226 703 1256 0 17838 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 76396
[startup+702.302 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14632
/proc/meminfo: memFree=1625648/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=77452 CPUtime=881.96
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 323170 0 0 0 87679 517 0 0 25 0 1 0 189647918 79310848 17771 1992294400 4194304 9342243 548682068736 18446744073709551615 6038437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 19363 17771 703 1256 0 18102 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 77452
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14632
/proc/meminfo: memFree=1624560/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=79500 CPUtime=941.94
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 340285 0 0 0 93644 550 0 0 25 0 1 0 189647918 81408000 18078 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 19875 18078 703 1256 0 18614 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 79500
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14632
/proc/meminfo: memFree=1624176/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=79152 CPUtime=1001.91
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 344601 0 0 0 99610 581 0 0 25 0 1 0 189647918 81051648 18138 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 19788 18138 703 1256 0 18527 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 79152
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14632
/proc/meminfo: memFree=1624048/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=80248 CPUtime=1061.89
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 371386 0 0 0 105567 622 0 0 25 0 1 0 189647918 82173952 18207 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 20062 18207 703 1256 0 18801 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 80248
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14634
/proc/meminfo: memFree=1623856/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=79396 CPUtime=1121.87
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 414927 0 0 0 111515 672 0 0 25 0 1 0 189647918 81301504 18208 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 19849 18208 703 1256 0 18588 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 79396
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14634
/proc/meminfo: memFree=1621680/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=81840 CPUtime=1181.84
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 445801 0 0 0 117470 714 0 0 25 0 1 0 189647918 83804160 18779 1992294400 4194304 9342243 548682068736 18446744073709551615 7289219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 20460 18779 703 1256 0 19199 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 81840
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14634
/proc/meminfo: memFree=1620848/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=82024 CPUtime=1241.82
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 445989 0 0 0 123440 742 0 0 25 0 1 0 189647918 83992576 18967 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 20506 18967 703 1256 0 19245 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 82024
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14634
/proc/meminfo: memFree=1622192/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=81940 CPUtime=1301.8
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 449182 0 0 0 129413 767 0 0 25 0 1 0 189647918 83906560 18622 1992294400 4194304 9342243 548682068736 18446744073709551615 8217733 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 20485 18622 703 1256 0 19224 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 81940
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14634
/proc/meminfo: memFree=1622256/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=80640 CPUtime=1361.77
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 458772 0 0 0 135382 795 0 0 25 0 1 0 189647918 82575360 18603 1992294400 4194304 9342243 548682068736 18446744073709551615 6911074 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 20160 18603 703 1256 0 18899 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 80640
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14634
/proc/meminfo: memFree=1621040/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=82920 CPUtime=1421.76
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 475192 0 0 0 141346 830 0 0 25 0 1 0 189647918 84910080 18899 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 20730 18899 703 1256 0 19469 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 82920
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14634
/proc/meminfo: memFree=1620720/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=81972 CPUtime=1481.73
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 493064 0 0 0 147304 869 0 0 25 0 1 0 189647918 83939328 18892 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 20493 18892 703 1256 0 19232 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 81972
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14640
/proc/meminfo: memFree=1620008/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=83740 CPUtime=1541.7
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 507387 0 0 0 153266 904 0 0 25 0 1 0 189647918 85749760 19162 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 20935 19162 703 1256 0 19674 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 83740
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14640
/proc/meminfo: memFree=1619816/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=84324 CPUtime=1601.68
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 509576 0 0 0 159234 934 0 0 25 0 1 0 189647918 86347776 19233 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 21081 19233 703 1256 0 19820 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 84324
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14640
/proc/meminfo: memFree=1619496/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=84448 CPUtime=1661.66
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 517819 0 0 0 165199 967 0 0 25 0 1 0 189647918 86474752 19274 1992294400 4194304 9342243 548682068736 18446744073709551615 7289252 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 21112 19274 703 1256 0 19851 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 84448
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14640
/proc/meminfo: memFree=1619432/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=83272 CPUtime=1721.64
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 544431 0 0 0 171152 1012 0 0 25 0 1 0 189647918 85270528 19256 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 20818 19256 703 1256 0 19557 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 83272
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14640
/proc/meminfo: memFree=1618984/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=85156 CPUtime=1781.62
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 563021 0 0 0 177114 1048 0 0 25 0 1 0 189647918 87199744 19401 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 21289 19401 703 1256 0 20028 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 85156
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14640
/proc/meminfo: memFree=1618472/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=85552 CPUtime=1800.02
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 563669 0 0 0 178946 1056 0 0 25 0 1 0 189647918 87605248 19528 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 21388 19528 703 1256 0 20127 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 85552
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 14640
/proc/meminfo: memFree=1618472/2055920 swapFree=4162124/4192956
[pid=14631] ppid=14629 vsize=85552 CPUtime=1800.02
/proc/14631/stat : 14631 (pbscip.linux.x8) R 14629 14631 14087 0 -1 4194304 563669 0 0 0 178946 1056 0 0 25 0 1 0 189647918 87605248 19528 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14631/statm: 21388 19528 703 1256 0 20127 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 85552
Child status: 0
Real time (s): 1800.8
CPU time (s): 1800.12
CPU user time (s): 1789.54
CPU system time (s): 10.5774
CPU usage (%): 99.9621
Max. virtual memory (cumulated for all children) (KiB): 85552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.54
system time used= 10.5774
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 563674
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= 1570
runsolver used 1.38079 second user time and 3.9354 second system time
The end