0.04/0.10 c SCIP version 1.1.0.7
0.04/0.10 c LP-Solver SoPlex 1.4.1
0.04/0.10 c user parameter file <scip.set> not found - using default parameters
0.04/0.10 c read problem <HOME/instance-1870812-1245220538.opb>
0.04/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.16 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.17 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.40/0.49 c (0.4s) probing: 101/2988 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.40/0.49 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.40/0.49 c presolving (4 rounds):
0.40/0.49 c 6 deleted vars, 2989 deleted constraints, 6 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.40/0.49 c 5976 implications, 420 cliques
0.40/0.49 c presolved problem has 2988 variables (2988 bin, 0 int, 0 impl, 0 cont) and 444 constraints
0.40/0.49 c 384 constraints of type <knapsack>
0.40/0.49 c 60 constraints of type <setppc>
0.40/0.49 c transformed objective value is always integral (scale: 1)
0.40/0.49 c Presolving Time: 0.34
0.40/0.49 c OPT-LIN
0.40/0.49 c -----------------------------------------------------------------------------------------------
0.40/0.49 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.40/0.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.40/0.49 c limits/memory = c 1620
0.40/0.49 c # maximal time in seconds to run
0.40/0.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.40/0.49 c limits/time = c 1791
0.40/0.49 c # frequency for displaying node information lines
0.40/0.49 c # [type: int, range: [-1,2147483647], default: 100]
0.40/0.49 c display/freq = c 10000
0.40/0.49 c -----------------------------------------------------------------------------------------------
0.40/0.49 c start solving problem
0.40/0.49 c
0.49/0.57 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.57 c 0.4s| 1 | 0 | 763 | 11M| 0 | 57 |2988 | 444 | 444 |2988 | 444 | 0 | 0 | 0 | 6.000000e+00 | -- | Inf
1.29/1.38 c 1.2s| 1 | 0 | 1876 | 12M| 0 | 92 |2988 | 444 | 444 |2988 | 472 | 28 | 0 | 0 | 6.000000e+00 | -- | Inf
1.69/1.78 c 1.6s| 1 | 0 | 1982 | 13M| 0 | 118 |2988 | 444 | 444 |2988 | 495 | 51 | 0 | 0 | 6.000000e+00 | -- | Inf
2.19/2.26 c 2.1s| 1 | 0 | 2211 | 13M| 0 | 114 |2988 | 444 | 444 |2988 | 517 | 73 | 0 | 0 | 6.000000e+00 | -- | Inf
2.79/2.81 c 2.6s| 1 | 0 | 2540 | 13M| 0 | 126 |2988 | 444 | 444 |2988 | 540 | 96 | 0 | 0 | 6.000000e+00 | -- | Inf
3.39/3.44 c 3.3s| 1 | 0 | 3026 | 14M| 0 | 123 |2988 | 444 | 444 |2988 | 559 | 115 | 0 | 0 | 6.000000e+00 | -- | Inf
3.99/4.06 c 3.9s| 1 | 0 | 3514 | 14M| 0 | 129 |2988 | 444 | 444 |2988 | 582 | 138 | 0 | 0 | 6.000000e+00 | -- | Inf
10.59/10.67 c 10.5s| 1 | 2 | 3514 | 14M| 0 | 129 |2988 | 444 | 444 |2988 | 582 | 138 | 0 | 33 | 6.000000e+00 | -- | Inf
222.33/222.49 c 220s| 10000 | 218 |379571 | 18M| 70 | 25 |2988 |1763 | 385 |2988 | 523 | 138 | 12k|4687 | 6.000000e+00 | -- | Inf
369.70/369.82 c 366s| 20000 | 348 |723483 | 19M| 70 | - |2988 |2562 | 425 |2988 | 523 | 138 | 22k|6337 | 6.000000e+00 | -- | Inf
530.46/530.60 c 526s| 30000 | 452 | 1110k| 19M| 70 | - |2988 |1858 | 554 |2988 | 523 | 138 | 31k|7868 | 6.000000e+00 | -- | Inf
689.42/689.69 c 683s| 40000 | 493 | 1503k| 20M| 70 | 43 |2988 |2416 | 499 |2988 | 523 | 138 | 42k|9525 | 6.000000e+00 | -- | Inf
822.48/822.75 c 815s| 50000 | 561 | 1867k| 20M| 70 | - |2988 |2458 | 658 |2988 | 523 | 138 | 57k| 10k| 6.000000e+00 | -- | Inf
959.34/959.60 c 950s| 60000 | 590 | 2201k| 21M| 70 | - |2988 |2385 | 440 |2988 | 523 | 138 | 66k| 11k| 6.000000e+00 | -- | Inf
1111.10/1111.48 c 1101s| 70000 | 676 | 2585k| 21M| 70 | 38 |2988 |2187 | 495 |2988 | 523 | 138 | 75k| 12k| 6.000000e+00 | -- | Inf
1260.96/1261.32 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1260.96/1261.32 c 1249s| 80000 | 625 | 2974k| 21M| 70 | 43 |2988 |2299 | 528 |2988 | 523 | 138 | 86k| 13k| 6.000000e+00 | -- | Inf
1408.82/1409.26 c 1396s| 90000 | 669 | 3360k| 22M| 70 | - |2988 |2555 | 508 |2988 | 523 | 138 | 95k| 13k| 6.000000e+00 | -- | Inf
1554.89/1555.39 c 1541s|100000 | 685 | 3751k| 22M| 70 | 34 |2988 |2628 | 540 |2988 | 523 | 138 | 104k| 14k| 6.000000e+00 | -- | Inf
1703.65/1704.12 c 1688s|110000 | 708 | 4162k| 22M| 70 | 44 |2988 |3009 | 457 |2988 | 523 | 138 | 115k| 15k| 6.000000e+00 | -- | Inf
1800.02/1800.52 c
1800.02/1800.52 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.52 c Solving Time (sec) : 1783.30
1800.02/1800.52 c Solving Nodes : 119230
1800.02/1800.52 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.52 c Dual Bound : +6.00000000000000e+00
1800.02/1800.52 c Gap : infinite
1800.02/1800.52 c NODE 119230
1800.02/1800.52 c DUAL BOUND 6
1800.02/1800.52 c PRIMAL BOUND 1e+20
1800.02/1800.52 c GAP 1e+20
1800.02/1800.52 s UNKNOWN
1800.02/1800.52 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.52 c Solving Time : 1783.30
1800.02/1800.52 c Original Problem :
1800.02/1800.52 c Problem name : HOME/instance-1870812-1245220538.opb
1800.02/1800.52 c Variables : 2994 (2994 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.52 c Constraints : 3433 initial, 3433 maximal
1800.02/1800.52 c Presolved Problem :
1800.02/1800.52 c Problem name : t_HOME/instance-1870812-1245220538.opb
1800.02/1800.52 c Variables : 2988 (2988 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.52 c Constraints : 444 initial, 3687 maximal
1800.02/1800.52 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.52 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.52 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.52 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.52 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.52 c implics : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.52 c probing : 0.03 0 0 0 0 0 0 0 0
1800.02/1800.52 c knapsack : 0.23 0 0 0 0 0 0 0 0
1800.02/1800.52 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.52 c linear : 0.05 6 0 0 6 0 2989 0 0
1800.02/1800.52 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.52 c root node : - 0 - - 0 - - - -
1800.02/1800.52 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.52 c integral : 0 0 0 66601 0 69 6090 0 0 124324
1800.02/1800.52 c knapsack : 384 6 419167 0 0 1287 4191889 1080 0 0
1800.02/1800.52 c setppc : 60 6 417880 0 0 400 508762 0 0 0
1800.02/1800.52 c logicor : 0+ 0 147567 0 0 5014 71034 0 0 0
1800.02/1800.52 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.52 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.52 c integral : 242.00 0.00 0.00 242.00 0.00
1800.02/1800.52 c knapsack : 25.93 0.01 25.92 0.00 0.00
1800.02/1800.52 c setppc : 3.22 0.00 3.22 0.00 0.00
1800.02/1800.52 c logicor : 17.02 0.00 17.02 0.00 0.00
1800.02/1800.52 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.52 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.52 c rootredcost : 0.23 0 0 0
1800.02/1800.52 c pseudoobj : 0.12 0 0 0
1800.02/1800.52 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.52 c propagation : 8.24 6701 6689 105232 188.4 196 106.5 -
1800.02/1800.52 c infeasible LP : 220.95 52777 42755 911801 251.9 460 123.3 0
1800.02/1800.52 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.52 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.52 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.52 c applied globally : - - - 123595 156.5 - - -
1800.02/1800.52 c applied locally : - - - 0 0.0 - - -
1800.02/1800.52 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.52 c cut pool : 0.00 5 - - 579 - (maximal pool size: 1415)
1800.02/1800.52 c redcost : 11.20 66356 0 0 0 0
1800.02/1800.52 c impliedbounds : 0.00 6 0 0 0 0
1800.02/1800.52 c intobj : 0.00 0 0 0 0 0
1800.02/1800.52 c gomory : 0.16 6 0 0 49 0
1800.02/1800.52 c strongcg : 0.15 6 0 0 10 0
1800.02/1800.52 c cmir : 1.11 6 0 0 1736 0
1800.02/1800.52 c flowcover : 0.88 6 0 0 1202 0
1800.02/1800.52 c clique : 0.01 6 0 0 10 0
1800.02/1800.52 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.52 c mcf : 0.00 1 0 0 0 0
1800.02/1800.52 c Pricers : Time Calls Vars
1800.02/1800.52 c problem variables: 0.00 0 0
1800.02/1800.52 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.52 c relpscost : 241.86 66601 69 6090 0 0 124324
1800.02/1800.52 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.52 c inference : 0.00 0 0 0 0 0 0
1800.02/1800.52 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.52 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.52 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.52 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.52 c random : 0.00 0 0 0 0 0 0
1800.02/1800.52 c Primal Heuristics : Time Calls Found
1800.02/1800.52 c LP solutions : 0.00 - 0
1800.02/1800.52 c pseudo solutions : 0.00 - 0
1800.02/1800.52 c oneopt : 0.14 0 0
1800.02/1800.52 c crossover : 0.03 0 0
1800.02/1800.52 c guideddiving : 0.00 0 0
1800.02/1800.52 c intshifting : 0.00 0 0
1800.02/1800.52 c fracdiving : 0.92 6 0
1800.02/1800.52 c veclendiving : 0.42 6 0
1800.02/1800.52 c pscostdiving : 2.44 6 0
1800.02/1800.52 c linesearchdiving : 0.73 7 0
1800.02/1800.52 c coefdiving : 4.57 7 0
1800.02/1800.52 c feaspump : 1.09 4 0
1800.02/1800.52 c objpscostdiving : 0.33 4 0
1800.02/1800.52 c rootsoldiving : 0.44 4 0
1800.02/1800.52 c simplerounding : 0.15 0 0
1800.02/1800.52 c rounding : 0.70 3588 0
1800.02/1800.52 c shifting : 4.24 1150 0
1800.02/1800.52 c fixandinfer : 0.00 0 0
1800.02/1800.52 c intdiving : 0.00 0 0
1800.02/1800.52 c actconsdiving : 0.00 0 0
1800.02/1800.52 c octane : 0.00 0 0
1800.02/1800.52 c rens : 0.09 1 0
1800.02/1800.52 c rins : 0.00 0 0
1800.02/1800.52 c localbranching : 0.00 0 0
1800.02/1800.52 c mutation : 0.00 0 0
1800.02/1800.52 c dins : 0.00 0 0
1800.02/1800.52 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.52 c primal LP : 0.01 0 0 0.00 0.00
1800.02/1800.52 c dual LP : 1128.10 118928 4345689 36.54 3852.22
1800.02/1800.52 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.52 c diving/probing LP: 7.74 2535 16206 6.39 2093.80
1800.02/1800.52 c strong branching : 238.65 16443 797736 48.52 3342.70
1800.02/1800.52 c (at root node) : - 33 14796 448.36 -
1800.02/1800.52 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.52 c B&B Tree :
1800.02/1800.52 c number of runs : 1
1800.02/1800.52 c nodes : 119230
1800.02/1800.52 c nodes (total) : 119230
1800.02/1800.52 c nodes left : 700
1800.02/1800.52 c max depth : 70
1800.02/1800.52 c max depth (total): 70
1800.02/1800.52 c backtracks : 23090 (19.4%)
1800.02/1800.52 c delayed cutoffs : 4395
1800.02/1800.52 c repropagations : 125348 (1262319 domain reductions, 2372 cutoffs)
1800.02/1800.52 c avg switch length: 4.15
1800.02/1800.52 c switching time : 31.54
1800.02/1800.52 c Solution :
1800.02/1800.52 c Solutions found : 0 (0 improvements)
1800.02/1800.52 c Primal Bound : -
1800.02/1800.52 c Dual Bound : +6.00000000000000e+00
1800.02/1800.52 c Gap : infinite
1800.02/1800.52 c Root Dual Bound : +6.00000000000000e+00
1800.02/1800.58 c Time complete: 1800.1.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870812-1245220538/watcher-1870812-1245220538 -o /tmp/evaluation-result-1870812-1245220538/solver-1870812-1245220538 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870812-1245220538.opb
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 5666
/proc/meminfo: memFree=1848304/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=4324 CPUtime=0
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 469 0 0 0 0 0 0 0 18 0 1 0 189653916 4427776 453 1992294400 4194304 7823515 548682068736 18446744073709551615 6804637 0 0 4096 0 0 0 0 17 1 0 0
/proc/5666/statm: 1082 463 300 886 0 192 0
[startup+0.046291 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 5666
/proc/meminfo: memFree=1848304/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=11948 CPUtime=0.04
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 2301 0 0 0 4 0 0 0 18 0 1 0 189653916 12234752 2283 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/5666/statm: 2987 2283 354 886 0 2097 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11948
[startup+0.101297 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 5666
/proc/meminfo: memFree=1848304/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=11896 CPUtime=0.09
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 2638 0 0 0 9 0 0 0 18 0 1 0 189653916 12181504 2266 1992294400 4194304 7823515 548682068736 18446744073709551615 6787665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 2974 2266 356 886 0 2084 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11896
[startup+0.301319 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 5666
/proc/meminfo: memFree=1848304/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=27700 CPUtime=0.3
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 6385 0 0 0 27 3 0 0 19 0 1 0 189653916 28364800 6013 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 6925 6013 440 886 0 6035 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 27700
[startup+0.701361 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 5666
/proc/meminfo: memFree=1848304/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=35640 CPUtime=0.7
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 8403 0 0 0 66 4 0 0 22 0 1 0 189653916 36495360 7998 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 8910 7998 534 886 0 8020 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 35640
[startup+1.50145 s]
/proc/loadavg: 0.91 0.97 0.99 2/65 5667
/proc/meminfo: memFree=1817512/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=38568 CPUtime=1.49
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 9303 0 0 0 145 4 0 0 25 0 1 0 189653916 39493632 8794 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 9642 8794 562 886 0 8752 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38568
[startup+3.10162 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 5667
/proc/meminfo: memFree=1809384/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=49572 CPUtime=3.09
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 11838 0 0 0 303 6 0 0 25 0 1 0 189653916 50761728 11319 1992294400 4194304 7823515 548682068736 18446744073709551615 4342752 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 12393 11319 562 886 0 11503 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49572
[startup+6.30196 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 5667
/proc/meminfo: memFree=1803816/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=50232 CPUtime=6.29
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 16220 0 0 0 620 9 0 0 25 0 1 0 189653916 51437568 11522 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 12558 11522 574 886 0 11668 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50232
[startup+12.7016 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 5667
/proc/meminfo: memFree=1803888/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=50232 CPUtime=12.69
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 16220 0 0 0 1257 12 0 0 25 0 1 0 189653916 51437568 11522 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 12558 11522 574 886 0 11668 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50232
[startup+25.502 s]
/proc/loadavg: 0.94 0.97 0.99 2/65 5667
/proc/meminfo: memFree=1804016/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=50232 CPUtime=25.49
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 16220 0 0 0 2529 20 0 0 25 0 1 0 189653916 51437568 11522 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 12558 11522 574 886 0 11668 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 50232
[startup+51.1018 s]
/proc/loadavg: 0.96 0.97 0.99 2/65 5667
/proc/meminfo: memFree=1803440/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=51560 CPUtime=51.08
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 16495 0 0 0 5069 39 0 0 25 0 1 0 189653916 52797440 11797 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 12890 11797 580 886 0 12000 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 51560
[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 5667
/proc/meminfo: memFree=1795760/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=58708 CPUtime=102.26
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 18371 0 0 0 10139 87 0 0 25 0 1 0 189653916 60116992 13669 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 14677 13669 580 886 0 13787 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 58708
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5667
/proc/meminfo: memFree=1792880/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=61684 CPUtime=162.25
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 19084 0 0 0 16084 141 0 0 25 0 1 0 189653916 63164416 14382 1992294400 4194304 7823515 548682068736 18446744073709551615 5750307 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 15421 14382 580 886 0 14531 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 61684
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5667
/proc/meminfo: memFree=1790896/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=63524 CPUtime=222.23
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 19574 0 0 0 22021 202 0 0 25 0 1 0 189653916 65048576 14872 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 15881 14872 580 886 0 14991 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 63524
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5667
/proc/meminfo: memFree=1788656/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=65928 CPUtime=282.22
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 20135 0 0 0 27963 259 0 0 25 0 1 0 189653916 67510272 15433 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 16482 15433 580 886 0 15592 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 65928
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5667
/proc/meminfo: memFree=1787376/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=66976 CPUtime=342.2
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 20420 0 0 0 33908 312 0 0 25 0 1 0 189653916 68583424 15718 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 16744 15718 580 886 0 15854 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 66976
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5667
/proc/meminfo: memFree=1786416/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=67932 CPUtime=402.18
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 20658 0 0 0 39853 365 0 0 25 0 1 0 189653916 69562368 15956 1992294400 4194304 7823515 548682068736 18446744073709551615 5748262 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 16983 15956 580 886 0 16093 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 67932
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5667
/proc/meminfo: memFree=1785776/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=68544 CPUtime=462.18
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 20801 0 0 0 45795 423 0 0 25 0 1 0 189653916 70189056 16099 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 17136 16099 580 886 0 16246 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 68544
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5667
/proc/meminfo: memFree=1785328/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=68984 CPUtime=522.16
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 20911 0 0 0 51740 476 0 0 25 0 1 0 189653916 70639616 16209 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 17246 16209 580 886 0 16356 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 68984
[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5667
/proc/meminfo: memFree=1785008/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=69280 CPUtime=582.14
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 20985 0 0 0 57678 536 0 0 25 0 1 0 189653916 70942720 16283 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 17320 16283 580 886 0 16430 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 69280
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5667
/proc/meminfo: memFree=1784752/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=69476 CPUtime=642.13
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 21035 0 0 0 63623 590 0 0 25 0 1 0 189653916 71143424 16333 1992294400 4194304 7823515 548682068736 18446744073709551615 5753889 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 17369 16333 580 886 0 16479 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 69476
[startup+702.302 s]
################
# More data... #
################
[startup+882.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5667
/proc/meminfo: memFree=1781296/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=72708 CPUtime=882.06
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 21869 0 0 0 87384 822 0 0 25 0 1 0 189653916 74452992 17167 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 18177 17167 580 886 0 17287 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 72708
[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5667
/proc/meminfo: memFree=1781040/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=73000 CPUtime=942.05
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 21922 0 0 0 93327 878 0 0 25 0 1 0 189653916 74752000 17220 1992294400 4194304 7823515 548682068736 18446744073709551615 5758685 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 18250 17220 580 886 0 17360 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 73000
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5669
/proc/meminfo: memFree=1780336/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=73608 CPUtime=1002.03
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 22060 0 0 0 99276 927 0 0 25 0 1 0 189653916 75374592 17358 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 18402 17358 580 886 0 17512 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 73608
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5669
/proc/meminfo: memFree=1779952/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=73948 CPUtime=1062.01
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 22175 0 0 0 105217 984 0 0 25 0 1 0 189653916 75722752 17473 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 18487 17473 580 886 0 17597 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 73948
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5669
/proc/meminfo: memFree=1779632/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=74252 CPUtime=1122.01
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 22251 0 0 0 111164 1037 0 0 25 0 1 0 189653916 76034048 17549 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 18563 17549 580 886 0 17673 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 74252
[startup+1182.3 s]
/proc/loadavg: 1.10 1.00 1.00 2/65 5669
/proc/meminfo: memFree=1779184/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=74612 CPUtime=1181.98
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 22353 0 0 0 117106 1092 0 0 25 0 1 0 189653916 76402688 17651 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 18653 17651 580 886 0 17763 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 74612
[startup+1242.3 s]
/proc/loadavg: 1.10 1.02 1.00 2/65 5669
/proc/meminfo: memFree=1778800/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=75076 CPUtime=1241.97
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 22439 0 0 0 123052 1145 0 0 25 0 1 0 189653916 76877824 17737 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 18769 17737 580 886 0 17879 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 75076
[startup+1302.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/65 5669
/proc/meminfo: memFree=1778736/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=75076 CPUtime=1301.96
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 22448 0 0 0 128997 1199 0 0 25 0 1 0 189653916 76877824 17746 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 18769 17746 580 886 0 17879 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 75076
[startup+1362.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/65 5669
/proc/meminfo: memFree=1778160/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=75588 CPUtime=1361.94
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 22590 0 0 0 134942 1252 0 0 25 0 1 0 189653916 77402112 17888 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 18897 17888 580 886 0 18007 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 75588
[startup+1422.31 s]
/proc/loadavg: 1.07 1.04 1.00 2/65 5669
/proc/meminfo: memFree=1777904/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=75896 CPUtime=1421.92
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 22648 0 0 0 140885 1307 0 0 25 0 1 0 189653916 77717504 17946 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 18974 17946 580 886 0 18084 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 75896
[startup+1482.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/65 5669
/proc/meminfo: memFree=1777584/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=76160 CPUtime=1481.91
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 22721 0 0 0 146825 1366 0 0 25 0 1 0 189653916 77987840 18019 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 19040 18019 580 886 0 18150 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 76160
[startup+1542.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 5675
/proc/meminfo: memFree=1777200/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=76320 CPUtime=1541.89
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 22765 0 0 0 152764 1425 0 0 25 0 1 0 189653916 78151680 18063 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 19080 18063 580 886 0 18190 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 76320
[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 5675
/proc/meminfo: memFree=1777200/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=76580 CPUtime=1601.88
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 22780 0 0 0 158705 1483 0 0 25 0 1 0 189653916 78417920 18078 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 19145 18078 580 886 0 18255 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 76580
[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 5675
/proc/meminfo: memFree=1776816/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=76796 CPUtime=1661.86
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 22861 0 0 0 164645 1541 0 0 25 0 1 0 189653916 78639104 18159 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 19199 18159 580 886 0 18309 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 76796
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5675
/proc/meminfo: memFree=1776624/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=76796 CPUtime=1721.85
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 22900 0 0 0 170590 1595 0 0 25 0 1 0 189653916 78639104 18198 1992294400 4194304 7823515 548682068736 18446744073709551615 4403468 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 19199 18198 580 886 0 18309 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 76796
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5675
/proc/meminfo: memFree=1776560/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=76992 CPUtime=1781.83
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 22924 0 0 0 176534 1649 0 0 25 0 1 0 189653916 78839808 18222 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 19248 18222 580 886 0 18358 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 76992
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5675
/proc/meminfo: memFree=1776496/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=76992 CPUtime=1800.02
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 22924 0 0 0 178337 1665 0 0 25 0 1 0 189653916 78839808 18222 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 19248 18222 580 886 0 18358 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 76992
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5675
/proc/meminfo: memFree=1776496/2055920 swapFree=4181540/4192956
[pid=5666] ppid=5664 vsize=76992 CPUtime=1800.02
/proc/5666/stat : 5666 (pbscip.linux.x8) R 5664 5666 5629 0 -1 4194304 22924 0 0 0 178337 1665 0 0 25 0 1 0 189653916 78839808 18222 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5666/statm: 19248 18222 580 886 0 18358 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 76992
Child status: 0
Real time (s): 1800.58
CPU time (s): 1800.12
CPU user time (s): 1783.45
CPU system time (s): 16.6675
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 76992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.45
system time used= 16.6675
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22929
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= 2773
runsolver used 1.23981 second user time and 3.84741 second system time
The end