0.19/0.24 c SCIP version 1.1.0.7
0.19/0.24 c LP-Solver SoPlex 1.4.1
0.19/0.24 c user parameter file <scip.set> not found - using default parameters
0.19/0.24 c read problem <HOME/instance-1869586-1245179954.opb>
0.19/0.24 c original problem has 2467 variables (2467 bin, 0 int, 0 impl, 0 cont) and 4745 constraints
0.29/0.33 c start presolving problem
0.29/0.33 c presolving:
0.29/0.39 c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 431 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.39/0.44 c (round 2) 1 del vars, 2028 del conss, 1 chg bounds, 0 chg sides, 431 chg coeffs, 351 upgd conss, 0 impls, 0 clqs
0.49/0.51 c (round 3) 1 del vars, 2028 del conss, 1 chg bounds, 10 chg sides, 456 chg coeffs, 690 upgd conss, 314 impls, 5 clqs
0.49/0.56 c (round 4) 1 del vars, 2028 del conss, 1 chg bounds, 17 chg sides, 488 chg coeffs, 690 upgd conss, 314 impls, 5 clqs
2.39/2.41 c (2.1s) probing: 206/2466 (8.4%) - 0 fixings, 0 aggregations, 94 implications, 0 bound changes
2.39/2.41 c (2.1s) probing aborted: 100/100 successive totally useless probings
2.39/2.41 c presolving (5 rounds):
2.39/2.41 c 1 deleted vars, 2028 deleted constraints, 1 tightened bounds, 0 added holes, 17 changed sides, 492 changed coefficients
2.39/2.41 c 502 implications, 5 cliques
2.39/2.41 c presolved problem has 2466 variables (2466 bin, 0 int, 0 impl, 0 cont) and 2725 constraints
2.39/2.41 c 690 constraints of type <knapsack>
2.39/2.41 c 8 constraints of type <setppc>
2.39/2.41 c 2027 constraints of type <linear>
2.39/2.41 c transformed objective value is always integral (scale: 1)
2.39/2.41 c Presolving Time: 2.07
2.39/2.41 c OPT-LIN
2.39/2.41 c -----------------------------------------------------------------------------------------------
2.39/2.41 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.39/2.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.41 c limits/memory = c 1620
2.39/2.41 c # maximal time in seconds to run
2.39/2.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.41 c limits/time = c 1791
2.39/2.41 c # frequency for displaying node information lines
2.39/2.41 c # [type: int, range: [-1,2147483647], default: 100]
2.39/2.41 c display/freq = c 10000
2.39/2.41 c -----------------------------------------------------------------------------------------------
2.39/2.41 c start solving problem
2.39/2.41 c
2.59/2.63 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.59/2.63 c 2.3s| 1 | 0 | 1445 | 20M| 0 |1212 |2466 |2725 |2725 |2466 |2725 | 0 | 0 | 0 | 7.800000e+01 | -- | Inf
5.76/5.82 c 5.5s| 1 | 0 | 5774 | 21M| 0 |1282 |2466 |2725 |2725 |2466 |2881 | 156 | 0 | 0 | 7.800000e+01 | -- | Inf
8.25/8.33 c 7.9s| 1 | 0 | 8303 | 21M| 0 |1451 |2466 |2725 |2725 |2466 |3020 | 295 | 0 | 0 | 7.800000e+01 | -- | Inf
11.35/11.41 c 11.0s| 1 | 0 | 10469 | 22M| 0 |1392 |2466 |2725 |2725 |2466 |3127 | 402 | 0 | 0 | 7.800000e+01 | -- | Inf
14.45/14.55 c 14.1s| 1 | 0 | 12891 | 23M| 0 |1431 |2466 |2725 |2725 |2466 |3255 | 530 | 0 | 0 | 7.800000e+01 | -- | Inf
17.25/17.30 c 16.9s| 1 | 0 | 14671 | 23M| 0 |1528 |2466 |2725 |2725 |2466 |3370 | 645 | 0 | 0 | 7.800000e+01 | -- | Inf
20.85/20.98 c 20.5s| 1 | 0 | 16768 | 24M| 0 |1488 |2466 |2725 |2725 |2466 |3473 | 748 | 0 | 0 | 7.800000e+01 | -- | Inf
59.74/59.88 c 59.2s| 1 | 2 | 16768 | 24M| 0 |1488 |2466 |2725 |2725 |2466 |3473 | 748 | 0 | 40 | 7.800000e+01 | -- | Inf
1273.91/1274.32 c 1267s| 10000 | 2997 | 1634k| 35M| 94 | 436 |2466 |6612 |4489 |2466 |2902 | 748 |9764 |5024 | 7.800000e+01 | -- | Inf
1777.57/1778.16 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06)
1800.07/1800.69 c
1800.07/1800.69 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.69 c Solving Time (sec) : 1790.51
1800.07/1800.69 c Solving Nodes : 15293
1800.07/1800.69 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.69 c Dual Bound : +7.80000000000000e+01
1800.07/1800.69 c Gap : infinite
1800.07/1800.69 c NODE 15293
1800.07/1800.69 c DUAL BOUND 78
1800.07/1800.69 c PRIMAL BOUND 1e+20
1800.07/1800.69 c GAP 1e+20
1800.07/1800.69 s UNKNOWN
1800.07/1800.69 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.69 c Solving Time : 1790.51
1800.07/1800.69 c Original Problem :
1800.07/1800.69 c Problem name : HOME/instance-1869586-1245179954.opb
1800.07/1800.69 c Variables : 2467 (2467 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.69 c Constraints : 4745 initial, 4745 maximal
1800.07/1800.69 c Presolved Problem :
1800.07/1800.69 c Problem name : t_HOME/instance-1869586-1245179954.opb
1800.07/1800.69 c Variables : 2466 (2466 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.69 c Constraints : 2725 initial, 6659 maximal
1800.07/1800.69 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.69 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.69 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.69 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.69 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.69 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.69 c probing : 1.82 0 0 0 0 0 0 0 0
1800.07/1800.69 c knapsack : 0.08 0 0 0 0 0 0 17 61
1800.07/1800.69 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.69 c linear : 0.13 1 0 0 1 0 2028 0 431
1800.07/1800.69 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.69 c root node : - 0 - - 0 - - - -
1800.07/1800.69 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.69 c integral : 0 0 0 11741 0 30 6623 0 0 20708
1800.07/1800.69 c knapsack : 690 6 70073 0 0 124 117801 698 0 0
1800.07/1800.69 c setppc : 8 6 62238 0 0 0 160 0 0 0
1800.07/1800.69 c linear : 2027 6 69949 0 0 352 195690 0 0 0
1800.07/1800.69 c logicor : 0+ 0 37849 0 0 197 36117 0 0 0
1800.07/1800.69 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.69 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.69 c integral : 536.18 0.00 0.00 536.18 0.00
1800.07/1800.69 c knapsack : 6.54 0.03 6.51 0.00 0.00
1800.07/1800.69 c setppc : 0.08 0.00 0.08 0.00 0.00
1800.07/1800.69 c linear : 86.63 0.00 86.63 0.00 0.00
1800.07/1800.69 c logicor : 3.52 0.00 3.52 0.00 0.00
1800.07/1800.69 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.69 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.69 c rootredcost : 0.02 0 0 0
1800.07/1800.69 c pseudoobj : 0.16 69648 0 0
1800.07/1800.69 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.69 c propagation : 0.08 673 673 4100 30.7 71 15.8 -
1800.07/1800.69 c infeasible LP : 8.49 7654 7654 16308 16.8 350 12.9 0
1800.07/1800.69 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.69 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.69 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.69 c applied globally : - - - 15535 15.7 - - -
1800.07/1800.69 c applied locally : - - - 0 0.0 - - -
1800.07/1800.69 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.69 c cut pool : 0.00 5 - - 1010 - (maximal pool size: 4805)
1800.07/1800.69 c redcost : 1.64 11709 0 52 0 0
1800.07/1800.69 c impliedbounds : 0.00 6 0 0 26 0
1800.07/1800.69 c intobj : 0.00 0 0 0 0 0
1800.07/1800.69 c gomory : 1.42 6 0 0 10 0
1800.07/1800.69 c strongcg : 1.35 6 0 0 2 0
1800.07/1800.69 c cmir : 2.38 6 0 0 3000 0
1800.07/1800.69 c flowcover : 1.53 6 0 0 1200 0
1800.07/1800.69 c clique : 0.00 6 0 0 0 0
1800.07/1800.69 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.69 c mcf : 0.00 1 0 0 0 0
1800.07/1800.69 c Pricers : Time Calls Vars
1800.07/1800.69 c problem variables: 0.00 0 0
1800.07/1800.69 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.69 c relpscost : 536.13 11741 30 6623 0 0 20708
1800.07/1800.69 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.69 c inference : 0.00 0 0 0 0 0 0
1800.07/1800.69 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.69 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.69 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.69 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.69 c random : 0.00 0 0 0 0 0 0
1800.07/1800.69 c Primal Heuristics : Time Calls Found
1800.07/1800.69 c LP solutions : 0.00 - 0
1800.07/1800.69 c pseudo solutions : 0.00 - 0
1800.07/1800.69 c oneopt : 0.01 0 0
1800.07/1800.69 c crossover : 0.01 0 0
1800.07/1800.69 c guideddiving : 0.00 0 0
1800.07/1800.69 c intshifting : 0.00 0 0
1800.07/1800.69 c coefdiving : 154.94 7 0
1800.07/1800.69 c fracdiving : 73.40 11 0
1800.07/1800.69 c feaspump : 33.77 19 0
1800.07/1800.69 c veclendiving : 37.74 56 0
1800.07/1800.69 c linesearchdiving : 51.94 99 0
1800.07/1800.69 c simplerounding : 0.03 0 0
1800.07/1800.69 c rounding : 2.87 1496 0
1800.07/1800.69 c shifting : 10.86 435 0
1800.07/1800.69 c fixandinfer : 0.00 0 0
1800.07/1800.69 c pscostdiving : 52.15 56 0
1800.07/1800.69 c intdiving : 0.00 0 0
1800.07/1800.69 c actconsdiving : 0.00 0 0
1800.07/1800.69 c objpscostdiving : 18.57 13 0
1800.07/1800.69 c rootsoldiving : 14.34 18 0
1800.07/1800.69 c octane : 0.00 0 0
1800.07/1800.69 c rens : 0.01 0 0
1800.07/1800.69 c rins : 0.00 0 0
1800.07/1800.69 c localbranching : 0.00 0 0
1800.07/1800.69 c mutation : 0.00 0 0
1800.07/1800.69 c dins : 0.00 0 0
1800.07/1800.69 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.69 c primal LP : 0.02 0 0 0.00 0.00
1800.07/1800.69 c dual LP : 668.31 16280 1538274 94.49 2301.74
1800.07/1800.69 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.69 c diving/probing LP: 394.83 10231 732559 71.60 1855.38
1800.07/1800.69 c strong branching : 531.68 8467 910359 107.52 1712.23
1800.07/1800.69 c (at root node) : - 40 39501 987.52 -
1800.07/1800.69 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.69 c B&B Tree :
1800.07/1800.69 c number of runs : 1
1800.07/1800.69 c nodes : 15293
1800.07/1800.69 c nodes (total) : 15293
1800.07/1800.69 c nodes left : 4645
1800.07/1800.69 c max depth : 154
1800.07/1800.69 c max depth (total): 154
1800.07/1800.69 c backtracks : 2507 (16.4%)
1800.07/1800.69 c delayed cutoffs : 771
1800.07/1800.69 c repropagations : 18196 (123933 domain reductions, 168 cutoffs)
1800.07/1800.69 c avg switch length: 6.19
1800.07/1800.69 c switching time : 13.54
1800.07/1800.69 c Solution :
1800.07/1800.69 c Solutions found : 0 (0 improvements)
1800.07/1800.69 c Primal Bound : -
1800.07/1800.69 c Dual Bound : +7.80000000000000e+01
1800.07/1800.69 c Gap : infinite
1800.07/1800.69 c Root Dual Bound : +7.80000000000000e+01
1800.17/1800.79 c Time complete: 1800.25.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869586-1245179954/watcher-1869586-1245179954 -o /tmp/evaluation-result-1869586-1245179954/solver-1869586-1245179954 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869586-1245179954.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 6733
/proc/meminfo: memFree=1845584/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=4328 CPUtime=0
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 485 0 0 0 0 0 0 0 18 0 1 0 185595418 4431872 469 1992294400 4194304 7823515 548682068736 18446744073709551615 5862928 0 0 4096 0 0 0 0 17 1 0 0
/proc/6733/statm: 1162 482 315 886 0 272 0
[startup+0.079535 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6733
/proc/meminfo: memFree=1845584/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=10592 CPUtime=0.07
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 1965 0 0 0 6 1 0 0 18 0 1 0 185595418 10846208 1947 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/6733/statm: 2648 1947 354 886 0 1758 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10592
[startup+0.101536 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6733
/proc/meminfo: memFree=1845584/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=11524 CPUtime=0.09
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 2192 0 0 0 8 1 0 0 18 0 1 0 185595418 11800576 2174 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/6733/statm: 2881 2174 354 886 0 1991 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11524
[startup+0.301559 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6733
/proc/meminfo: memFree=1845584/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=39080 CPUtime=0.29
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 9319 0 0 0 25 4 0 0 19 0 1 0 185595418 40017920 8948 1992294400 4194304 7823515 548682068736 18446744073709551615 6911387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 9770 8951 375 886 0 8880 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39080
[startup+0.701605 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6733
/proc/meminfo: memFree=1845584/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=54156 CPUtime=0.69
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 12749 0 0 0 63 6 0 0 22 0 1 0 185595418 55455744 12377 1992294400 4194304 7823515 548682068736 18446744073709551615 4236046 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 13539 12377 452 886 0 12649 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54156
[startup+1.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6734
/proc/meminfo: memFree=1797832/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=54156 CPUtime=1.49
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 12750 0 0 0 143 6 0 0 25 0 1 0 185595418 55455744 12378 1992294400 4194304 7823515 548682068736 18446744073709551615 5062996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 13539 12378 453 886 0 12649 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54156
[startup+3.10188 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6734
/proc/meminfo: memFree=1797704/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=67232 CPUtime=3.09
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 16836 0 0 0 300 9 0 0 25 0 1 0 185595418 68845568 15534 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 16808 15534 535 886 0 15918 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 67232
[startup+6.30376 s]
/proc/loadavg: 1.00 1.00 1.00 4/65 6734
/proc/meminfo: memFree=1780552/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=74744 CPUtime=6.26
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 18655 0 0 0 615 11 0 0 25 0 1 0 185595418 76537856 17113 1992294400 4194304 7823515 548682068736 18446744073709551615 4271256 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6733/statm: 18686 17113 563 886 0 17796 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 74744
[startup+12.703 s]
/proc/loadavg: 1.29 1.06 1.02 2/65 6734
/proc/meminfo: memFree=1772616/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=82476 CPUtime=12.65
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 22932 0 0 0 1249 16 0 0 25 0 1 0 185595418 84455424 19079 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 20619 19079 563 886 0 19729 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 82476
[startup+25.5015 s]
/proc/loadavg: 1.25 1.06 1.02 2/65 6734
/proc/meminfo: memFree=1761864/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=91608 CPUtime=25.44
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 29092 0 0 0 2522 22 0 0 25 0 1 0 185595418 93806592 21442 1992294400 4194304 7823515 548682068736 18446744073709551615 6237328 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 22902 21442 567 886 0 22012 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 91608
[startup+51.1014 s]
/proc/loadavg: 1.15 1.05 1.02 2/65 6734
/proc/meminfo: memFree=1761160/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=91332 CPUtime=51.04
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 36885 0 0 0 5069 35 0 0 25 0 1 0 185595418 93523968 21595 1992294400 4194304 7823515 548682068736 18446744073709551615 6911783 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 22833 21595 567 886 0 21943 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 91332
[startup+102.305 s]
/proc/loadavg: 1.06 1.04 1.01 2/65 6734
/proc/meminfo: memFree=1763080/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=89484 CPUtime=102.23
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 49102 0 0 0 10162 61 0 0 25 0 1 0 185595418 91631616 21121 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 22371 21121 567 886 0 21481 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 89484
[startup+162.301 s]
/proc/loadavg: 1.02 1.03 1.01 2/65 6734
/proc/meminfo: memFree=1763016/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=89484 CPUtime=162.21
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 49114 0 0 0 16125 96 0 0 25 0 1 0 185595418 91631616 21133 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 22371 21133 574 886 0 21481 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 89484
[startup+222.302 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 6734
/proc/meminfo: memFree=1763016/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=89484 CPUtime=222.19
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 49114 0 0 0 22081 138 0 0 25 0 1 0 185595418 91631616 21133 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 22371 21133 574 886 0 21481 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 89484
[startup+282.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 6734
/proc/meminfo: memFree=1760904/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=91480 CPUtime=282.17
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 50831 0 0 0 28049 168 0 0 25 0 1 0 185595418 93675520 21647 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 22870 21647 574 886 0 21980 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 91480
[startup+342.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 6734
/proc/meminfo: memFree=1763784/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=90140 CPUtime=342.16
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 53082 0 0 0 34018 198 0 0 25 0 1 0 185595418 92303360 20930 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 22535 20930 574 886 0 21645 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 90140
[startup+402.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 6734
/proc/meminfo: memFree=1760904/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=91432 CPUtime=402.14
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 53901 0 0 0 39984 230 0 0 25 0 1 0 185595418 93626368 21640 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 22858 21640 574 886 0 21968 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 91432
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6734
/proc/meminfo: memFree=1760840/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=91432 CPUtime=462.13
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 53901 0 0 0 45956 257 0 0 25 0 1 0 185595418 93626368 21640 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 22858 21640 574 886 0 21968 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 91432
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6734
/proc/meminfo: memFree=1758792/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=93528 CPUtime=522.11
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 55893 0 0 0 51923 288 0 0 25 0 1 0 185595418 95772672 22164 1992294400 4194304 7823515 548682068736 18446744073709551615 6135967 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 23382 22164 574 886 0 22492 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 93528
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6734
/proc/meminfo: memFree=1757704/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=95412 CPUtime=582.1
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 59115 0 0 0 57889 321 0 0 25 0 1 0 185595418 97701888 22424 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 23853 22424 574 886 0 22963 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 95412
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6734
/proc/meminfo: memFree=1760200/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=92960 CPUtime=642.08
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 68020 0 0 0 63856 352 0 0 25 0 1 0 185595418 95191040 21784 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 23240 21784 574 886 0 22350 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 92960
[startup+702.301 s]
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6734
/proc/meminfo: memFree=1755272/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=96868 CPUtime=882.01
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 80924 0 0 0 87727 474 0 0 25 0 1 0 185595418 99192832 23006 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 24217 23006 574 886 0 23327 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 96868
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6734
/proc/meminfo: memFree=1752200/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=100696 CPUtime=941.99
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 81681 0 0 0 93694 505 0 0 25 0 1 0 185595418 103112704 23763 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 25174 23763 574 886 0 24284 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 100696
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6734
/proc/meminfo: memFree=1752328/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=99868 CPUtime=1001.98
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 84397 0 0 0 99657 541 0 0 25 0 1 0 185595418 102264832 23725 1992294400 4194304 7823515 548682068736 18446744073709551615 6119085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 24967 23725 574 886 0 24077 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 99868
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6734
/proc/meminfo: memFree=1752456/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=99792 CPUtime=1061.97
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 86828 0 0 0 105627 570 0 0 25 0 1 0 185595418 102187008 23684 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 24948 23684 574 886 0 24058 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 99792
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6734
/proc/meminfo: memFree=1750024/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=103892 CPUtime=1121.95
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 87491 0 0 0 111599 596 0 0 25 0 1 0 185595418 106385408 24271 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 25973 24271 574 886 0 25083 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 103892
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6734
/proc/meminfo: memFree=1750024/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=103892 CPUtime=1181.93
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 87491 0 0 0 117568 625 0 0 25 0 1 0 185595418 106385408 24271 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 25973 24271 574 886 0 25083 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 103892
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6734
/proc/meminfo: memFree=1749448/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=103496 CPUtime=1241.92
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 88941 0 0 0 123537 655 0 0 25 0 1 0 185595418 105979904 24408 1992294400 4194304 7823515 548682068736 18446744073709551615 6234848 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 25874 24408 574 886 0 24984 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 103496
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6734
/proc/meminfo: memFree=1748040/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=103804 CPUtime=1301.91
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 89279 0 0 0 129506 685 0 0 25 0 1 0 185595418 106295296 24746 1992294400 4194304 7823515 548682068736 18446744073709551615 6237434 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 25951 24746 574 886 0 25061 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 103804
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6734
/proc/meminfo: memFree=1746312/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=105568 CPUtime=1361.88
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 89717 0 0 0 135472 716 0 0 25 0 1 0 185595418 108101632 25184 1992294400 4194304 7823515 548682068736 18446744073709551615 6237127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 26392 25184 574 886 0 25502 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 105568
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6734
/proc/meminfo: memFree=1748168/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=104892 CPUtime=1421.87
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 92283 0 0 0 141437 750 0 0 25 0 1 0 185595418 107409408 24722 1992294400 4194304 7823515 548682068736 18446744073709551615 6234857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 26223 24722 574 886 0 25333 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 104892
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6734
/proc/meminfo: memFree=1747336/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=106236 CPUtime=1481.85
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 104515 0 0 0 147401 784 0 0 25 0 1 0 185595418 108785664 25223 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 26559 25223 574 886 0 25669 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 106236
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6734
/proc/meminfo: memFree=1743816/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=108212 CPUtime=1541.84
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 117076 0 0 0 153366 818 0 0 25 0 1 0 185595418 110809088 25782 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 27053 25782 574 886 0 26163 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 108212
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6734
/proc/meminfo: memFree=1743624/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=109104 CPUtime=1601.82
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 132190 0 0 0 159328 854 0 0 25 0 1 0 185595418 111722496 26069 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 27276 26069 574 886 0 26386 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 109104
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6734
/proc/meminfo: memFree=1741064/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=110860 CPUtime=1661.8
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 140588 0 0 0 165296 884 0 0 25 0 1 0 185595418 113520640 26488 1992294400 4194304 7823515 548682068736 18446744073709551615 6234860 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 27715 26488 574 886 0 26825 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 110860
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6734
/proc/meminfo: memFree=1737736/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=114204 CPUtime=1721.79
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 142786 0 0 0 171268 911 0 0 25 0 1 0 185595418 116944896 27312 1992294400 4194304 7823515 548682068736 18446744073709551615 6234850 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 28551 27312 574 886 0 27661 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 114204
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6734
/proc/meminfo: memFree=1737608/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=114204 CPUtime=1781.77
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 142873 0 0 0 177243 934 0 0 25 0 1 0 185595418 116944896 27399 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 28551 27399 661 886 0 27661 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 114204
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6734
/proc/meminfo: memFree=1737672/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=114076 CPUtime=1800.07
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 144316 0 0 0 179065 942 0 0 25 0 1 0 185595418 116813824 27390 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6733/statm: 28519 27390 661 886 0 27629 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 114076
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6734
/proc/meminfo: memFree=1737672/2055920 swapFree=4191900/4192956
[pid=6733] ppid=6731 vsize=94724 CPUtime=1800.26
/proc/6733/stat : 6733 (pbscip.linux.x8) R 6731 6733 6523 0 -1 4194304 144321 0 0 0 179082 944 0 0 25 0 1 0 185595418 96997376 22835 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0
/proc/6733/statm: 23681 22835 15846 886 0 22791 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 94724
Child status: 0
Real time (s): 1800.81
CPU time (s): 1800.28
CPU user time (s): 1790.83
CPU system time (s): 9.44756
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 114728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.83
system time used= 9.44756
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144321
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= 1880
runsolver used 1.47278 second user time and 3.99039 second system time
The end