0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665689-1276621671.opb>
0.19/0.26 c original problem has 2467 variables (2467 bin, 0 int, 0 impl, 0 cont) and 4745 constraints
0.19/0.26 c problem read
0.19/0.26 c presolving settings loaded
0.29/0.35 c presolving:
0.40/0.41 c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 12 chg sides, 443 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.40/0.46 c (round 2) 1 del vars, 2028 del conss, 1 chg bounds, 12 chg sides, 443 chg coeffs, 351 upgd conss, 0 impls, 0 clqs
0.49/0.52 c (round 3) 1 del vars, 2028 del conss, 1 chg bounds, 12 chg sides, 443 chg coeffs, 690 upgd conss, 314 impls, 5 clqs
0.49/0.55 c (round 4) 1 del vars, 2028 del conss, 1 chg bounds, 19 chg sides, 475 chg coeffs, 690 upgd conss, 314 impls, 5 clqs
2.39/2.40 c (2.1s) probing: 206/2466 (8.4%) - 0 fixings, 0 aggregations, 94 implications, 0 bound changes
2.39/2.40 c (2.1s) probing aborted: 100/100 successive totally useless probings
2.39/2.40 c presolving (5 rounds):
2.39/2.40 c 1 deleted vars, 2028 deleted constraints, 1 tightened bounds, 0 added holes, 19 changed sides, 479 changed coefficients
2.39/2.40 c 502 implications, 5 cliques
2.39/2.40 c presolved problem has 2466 variables (2466 bin, 0 int, 0 impl, 0 cont) and 2717 constraints
2.39/2.40 c 690 constraints of type <knapsack>
2.39/2.40 c 2027 constraints of type <linear>
2.39/2.40 c transformed objective value is always integral (scale: 1)
2.39/2.40 c Presolving Time: 2.04
2.39/2.40 c - non default parameters ----------------------------------------------------------------------
2.39/2.40 c # SCIP version 1.2.1.2
2.39/2.40 c
2.39/2.40 c # frequency for displaying node information lines
2.39/2.40 c # [type: int, range: [-1,2147483647], default: 100]
2.39/2.40 c display/freq = 10000
2.39/2.40 c
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 = 1799.75
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 = 1620
2.39/2.41 c
2.39/2.41 c # should presolving try to simplify inequalities
2.39/2.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.41 c constraints/linear/simplifyinequalities = TRUE
2.39/2.41 c
2.39/2.41 c # should presolving try to simplify knapsacks
2.39/2.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.41 c constraints/knapsack/simplifyinequalities = TRUE
2.39/2.41 c
2.39/2.41 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.39/2.41 c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.41 c separating/rapidlearning/freq = 0
2.39/2.41 c
2.39/2.41 c -----------------------------------------------------------------------------------------------
2.39/2.41 c start solving
2.39/2.41 c
2.59/2.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.59/2.63 c 2.3s| 1 | 0 | 1918 | - | 20M| 0 |1807 |2466 |2717 |2466 |2717 | 0 | 0 | 0 | 7.800000e+01 | -- | Inf
16.18/16.24 c 15.8s| 1 | 0 | 2658 | - | 23M| 0 |1674 |2466 |3894 |2466 |2772 | 55 | 0 | 0 | 7.800000e+01 | -- | Inf
17.68/17.72 c 17.3s| 1 | 0 | 4192 | - | 24M| 0 |1598 |2466 |3894 |2466 |2855 | 138 | 0 | 0 | 7.800000e+01 | -- | Inf
18.98/19.06 c 18.6s| 1 | 0 | 4847 | - | 24M| 0 |1634 |2466 |3894 |2466 |2936 | 219 | 0 | 0 | 7.800000e+01 | -- | Inf
21.28/21.33 c 20.9s| 1 | 0 | 5811 | - | 25M| 0 |1471 |2466 |3894 |2466 |3028 | 311 | 0 | 0 | 7.800000e+01 | -- | Inf
25.08/25.13 c 24.6s| 1 | 0 | 8094 | - | 25M| 0 |1535 |2466 |3894 |2466 |3113 | 396 | 0 | 0 | 7.800000e+01 | -- | Inf
28.79/28.89 c 28.4s| 1 | 0 | 10250 | - | 26M| 0 |1443 |2466 |3894 |2466 |3195 | 478 | 0 | 0 | 7.800000e+01 | -- | Inf
40.68/40.71 c 40.1s| 1 | 2 | 10250 | - | 26M| 0 |1443 |2466 |3894 |2466 |3195 | 478 | 0 | 16 | 7.800000e+01 | -- | Inf
1119.64/1120.06 c 1098s| 10000 | 1764 | 1439k| 142.9 | 57M| 49 | 456 |2466 |5424 |2466 |2856 | 478 | 14k|3491 | 7.800000e+01 | -- | Inf
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.62 c
1800.05/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.62 c Solving Time (sec) : 1761.86
1800.05/1800.62 c Solving Nodes : 17533
1800.05/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.62 c Dual Bound : +7.80000000000000e+01
1800.05/1800.62 c Gap : infinite
1800.05/1800.62 s UNKNOWN
1800.05/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.62 c Solving Time : 1761.86
1800.05/1800.62 c Original Problem :
1800.05/1800.62 c Problem name : HOME/instance-2665689-1276621671.opb
1800.05/1800.62 c Variables : 2467 (2467 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.62 c Constraints : 4745 initial, 4745 maximal
1800.05/1800.62 c Presolved Problem :
1800.05/1800.62 c Problem name : t_HOME/instance-2665689-1276621671.opb
1800.05/1800.62 c Variables : 2466 (2466 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.62 c Constraints : 2717 initial, 7080 maximal
1800.05/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c probing : 1.82 0 0 0 0 0 0 0 0
1800.05/1800.62 c knapsack : 0.03 0 0 0 0 0 0 7 36
1800.05/1800.62 c linear : 0.16 1 0 0 1 0 2028 12 443
1800.05/1800.62 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c root node : - 0 - - 0 - - - -
1800.05/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.62 c integral : 0 0 0 12837 0 19 2649 0 0 24386
1800.05/1800.62 c knapsack : 690 6 78962 0 0 761 347319 1083 0 0
1800.05/1800.62 c linear : 2027+ 7 78201 0 0 6298 2416211 553 0 0
1800.05/1800.62 c logicor : 0+ 0 40678 0 0 466 25525 0 0 0
1800.05/1800.62 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.62 c integral : 498.13 0.00 0.00 498.13 0.00
1800.05/1800.62 c knapsack : 45.48 0.10 45.38 0.00 0.00
1800.05/1800.62 c linear : 187.63 0.01 187.62 0.00 0.00
1800.05/1800.62 c logicor : 9.38 0.00 9.38 0.00 0.00
1800.05/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.62 c vbounds : 0.09 2 0 0
1800.05/1800.62 c rootredcost : 0.09 0 0 0
1800.05/1800.62 c pseudoobj : 0.18 78537 0 0
1800.05/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.62 c propagation : 1.32 7525 7518 67125 34.9 361 22.7 -
1800.05/1800.62 c infeasible LP : 5.15 4026 4026 11006 22.7 103 22.0 0
1800.05/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.62 c applied globally : - - - 25606 27.0 - - -
1800.05/1800.62 c applied locally : - - - 0 0.0 - - -
1800.05/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.62 c cut pool : 0.02 5 - - 780 - (maximal pool size: 4351)
1800.05/1800.62 c redcost : 2.62 12840 0 4 0 0
1800.05/1800.62 c impliedbounds : 0.00 6 0 0 8 0
1800.05/1800.62 c intobj : 0.00 0 0 0 0 0
1800.05/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.62 c gomory : 1.05 6 0 0 183 0
1800.05/1800.62 c strongcg : 1.00 6 0 0 106 0
1800.05/1800.62 c cmir : 2.02 6 0 0 3000 0
1800.05/1800.62 c flowcover : 1.85 6 0 0 1200 0
1800.05/1800.62 c clique : 0.01 6 0 0 0 0
1800.05/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.62 c mcf : 0.00 1 0 0 0 0
1800.05/1800.62 c rapidlearning : 12.56 1 0 0 0 1177
1800.05/1800.62 c Pricers : Time Calls Vars
1800.05/1800.62 c problem variables: 0.00 0 0
1800.05/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.62 c relpscost : 498.09 12837 19 2649 0 0 24386
1800.05/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.62 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.62 c random : 0.00 0 0 0 0 0 0
1800.05/1800.62 c Primal Heuristics : Time Calls Found
1800.05/1800.62 c LP solutions : 0.00 - 0
1800.05/1800.62 c pseudo solutions : 0.00 - 0
1800.05/1800.62 c oneopt : 0.05 0 0
1800.05/1800.62 c crossover : 0.00 0 0
1800.05/1800.62 c guideddiving : 0.00 0 0
1800.05/1800.62 c intshifting : 0.01 0 0
1800.05/1800.62 c fracdiving : 34.09 17 0
1800.05/1800.62 c veclendiving : 11.66 17 0
1800.05/1800.62 c feaspump : 0.81 9 0
1800.05/1800.62 c objpscostdiving : 4.13 9 0
1800.05/1800.62 c rootsoldiving : 4.70 9 0
1800.05/1800.62 c linesearchdiving : 12.71 18 0
1800.05/1800.62 c coefdiving : 80.53 18 0
1800.05/1800.62 c pscostdiving : 12.78 18 0
1800.05/1800.62 c trivial : 0.02 2 0
1800.05/1800.62 c simplerounding : 0.02 0 0
1800.05/1800.62 c zirounding : 0.54 1000 0
1800.05/1800.62 c rounding : 2.17 1557 0
1800.05/1800.62 c shifting : 7.80 432 0
1800.05/1800.62 c twoopt : 0.00 0 0
1800.05/1800.62 c fixandinfer : 0.00 0 0
1800.05/1800.62 c intdiving : 0.00 0 0
1800.05/1800.62 c actconsdiving : 0.00 0 0
1800.05/1800.62 c octane : 0.00 0 0
1800.05/1800.62 c rens : 0.01 0 0
1800.05/1800.62 c rins : 0.00 0 0
1800.05/1800.62 c localbranching : 0.00 0 0
1800.05/1800.62 c mutation : 0.00 0 0
1800.05/1800.62 c dins : 0.00 0 0
1800.05/1800.62 c undercover : 0.00 0 0
1800.05/1800.62 c nlp : 0.02 0 0
1800.05/1800.62 c trysol : 0.03 0 0
1800.05/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.62 c primal LP : 0.02 0 0 0.00 0.00
1800.05/1800.62 c dual LP : 733.89 13736 2240871 163.14 3053.42
1800.05/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.62 c diving/probing LP: 130.07 7361 237903 32.32 1829.04
1800.05/1800.62 c strong branching : 493.95 6068 1217712 200.68 2465.25
1800.05/1800.62 c (at root node) : - 16 11789 736.81 -
1800.05/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.62 c B&B Tree :
1800.05/1800.62 c number of runs : 1
1800.05/1800.62 c nodes : 17533
1800.05/1800.62 c nodes (total) : 17533
1800.05/1800.62 c nodes left : 3006
1800.05/1800.62 c max depth : 54
1800.05/1800.62 c max depth (total): 54
1800.05/1800.62 c backtracks : 3710 (21.2%)
1800.05/1800.62 c delayed cutoffs : 3848
1800.05/1800.62 c repropagations : 15437 (1011923 domain reductions, 2744 cutoffs)
1800.05/1800.62 c avg switch length: 6.11
1800.05/1800.62 c switching time : 77.02
1800.05/1800.62 c Solution :
1800.05/1800.62 c Solutions found : 0 (0 improvements)
1800.05/1800.62 c Primal Bound : -
1800.05/1800.62 c Dual Bound : +7.80000000000000e+01
1800.05/1800.62 c Gap : infinite
1800.05/1800.62 c Root Dual Bound : +7.80000000000000e+01
1800.05/1800.62 c Root Iterations : 10250
1800.23/1800.80 c Time complete: 1800.23.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665689-1276621671/watcher-2665689-1276621671 -o /tmp/evaluation-result-2665689-1276621671/solver-2665689-1276621671 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665689-1276621671.opb -t 1800 -m 1800
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/105 10422
/proc/meminfo: memFree=1493896/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=10316 CPUtime=0
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 1289 0 0 0 0 0 0 0 25 0 1 0 3461257 10563584 1209 1992294400 4194304 9819077 140734740657568 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10422/statm: 2579 1219 371 1374 0 1200 0
[startup+0.013344 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 10422
/proc/meminfo: memFree=1493896/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=10692 CPUtime=0
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 1597 0 0 0 0 0 0 0 25 0 1 0 3461257 10948608 1517 1992294400 4194304 9819077 140734740657568 18446744073709551615 5649084 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10422/statm: 2673 1517 388 1374 0 1294 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10692
[startup+0.101352 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 10422
/proc/meminfo: memFree=1493896/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=13212 CPUtime=0.09
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 2242 0 0 0 9 0 0 0 25 0 1 0 3461257 13529088 2162 1992294400 4194304 9819077 140734740657568 18446744073709551615 4361606 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10422/statm: 3303 2162 388 1374 0 1924 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13212
[startup+0.301374 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 10422
/proc/meminfo: memFree=1493896/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=33672 CPUtime=0.29
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 7701 0 0 0 27 2 0 0 25 0 1 0 3461257 34480128 7267 1992294400 4194304 9819077 140734740657568 18446744073709551615 8656404 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 8418 7280 438 1374 0 7039 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33672
[startup+0.701416 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 10422
/proc/meminfo: memFree=1493896/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=55760 CPUtime=0.69
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 15132 0 0 0 63 6 0 0 25 0 1 0 3461257 57098240 12385 1992294400 4194304 9819077 140734740657568 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 13940 12385 512 1374 0 12561 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55760
[startup+1.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10423
/proc/meminfo: memFree=1445776/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=55760 CPUtime=1.5
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 15132 0 0 0 143 7 0 0 25 0 1 0 3461257 57098240 12385 1992294400 4194304 9819077 140734740657568 18446744073709551615 4981165 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 13940 12385 512 1374 0 12561 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 55760
[startup+3.10167 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10423
/proc/meminfo: memFree=1445528/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=69312 CPUtime=3.09
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 21962 0 0 0 300 9 0 0 25 0 1 0 3461257 70975488 15069 1992294400 4194304 9819077 140734740657568 18446744073709551615 6043589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 17328 15069 662 1374 0 15949 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 69312
[startup+6.30101 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10423
/proc/meminfo: memFree=1402996/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=104312 CPUtime=6.29
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 31819 0 0 0 614 15 0 0 25 0 1 0 3461257 106815488 23384 1992294400 4194304 9819077 140734740657568 18446744073709551615 4979781 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 26078 23384 687 1374 0 24699 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 104312
[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10423
/proc/meminfo: memFree=1398408/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=108588 CPUtime=12.69
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 32882 0 0 0 1250 19 0 0 25 0 1 0 3461257 111194112 24447 1992294400 4194304 9819077 140734740657568 18446744073709551615 5902643 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 27147 24447 687 1374 0 25768 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 108588
[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10423
/proc/meminfo: memFree=1417256/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=87260 CPUtime=25.49
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 37651 0 0 0 2523 26 0 0 25 0 1 0 3461257 89354240 19578 1992294400 4194304 9819077 140734740657568 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 21815 19578 699 1374 0 20436 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 87260
[startup+51.1008 s]
/proc/loadavg: 1.08 1.02 1.01 2/106 10425
/proc/meminfo: memFree=1416884/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=84420 CPUtime=51.08
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 60063 0 0 0 5066 42 0 0 25 0 1 0 3461257 86446080 19537 1992294400 4194304 9819077 140734740657568 18446744073709551615 6191175 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 21105 19537 709 1374 0 19726 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 84420
[startup+102.308 s]
/proc/loadavg: 1.03 1.01 1.00 2/106 10425
/proc/meminfo: memFree=1417008/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=92748 CPUtime=102.26
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 106509 0 0 0 10153 73 0 0 25 0 1 0 3461257 94973952 19728 1992294400 4194304 9819077 140734740657568 18446744073709551615 7292006 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 23187 19728 709 1374 0 21808 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 92748
[startup+162.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/106 10427
/proc/meminfo: memFree=1417256/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=84936 CPUtime=162.24
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 134204 0 0 0 16126 98 0 0 25 0 1 0 3461257 86974464 19584 1992294400 4194304 9819077 140734740657568 18446744073709551615 7291896 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 21234 19584 711 1374 0 19855 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 84936
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10429
/proc/meminfo: memFree=1416884/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=83780 CPUtime=222.21
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 167501 0 0 0 22092 129 0 0 25 0 1 0 3461257 85790720 19588 1992294400 4194304 9819077 140734740657568 18446744073709551615 6590687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 20945 19588 711 1374 0 19566 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 83780
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10431
/proc/meminfo: memFree=1416884/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=95172 CPUtime=282.2
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 231018 0 0 0 28043 177 0 0 25 0 1 0 3461257 97456128 19847 1992294400 4194304 9819077 140734740657568 18446744073709551615 7262185 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 23793 19847 725 1374 0 22414 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 95172
[startup+342.301 s]
/proc/loadavg: 1.14 1.05 1.02 2/106 10433
/proc/meminfo: memFree=1415768/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=89428 CPUtime=342.19
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 520278 0 0 0 33917 302 0 0 25 0 1 0 3461257 91574272 19978 1992294400 4194304 9819077 140734740657568 18446744073709551615 6192313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 22357 19978 725 1374 0 20978 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 89428
[startup+402.301 s]
/proc/loadavg: 1.05 1.04 1.01 2/106 10433
/proc/meminfo: memFree=1412792/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=94376 CPUtime=402.17
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 857253 0 0 0 39769 448 0 0 25 0 1 0 3461257 96641024 20838 1992294400 4194304 9819077 140734740657568 18446744073709551615 7290904 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 23594 20838 726 1374 0 22215 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 94376
[startup+462.301 s]
/proc/loadavg: 1.02 1.03 1.00 2/106 10435
/proc/meminfo: memFree=1407212/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=98268 CPUtime=462.15
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 1204598 0 0 0 45623 592 0 0 25 0 1 0 3461257 100626432 21987 1992294400 4194304 9819077 140734740657568 18446744073709551615 4948333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 24567 21987 726 1374 0 23188 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 98268
[startup+522.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 10437
/proc/meminfo: memFree=1399772/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=107464 CPUtime=522.13
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 1540316 0 0 0 51485 728 0 0 25 0 1 0 3461257 110043136 23796 1992294400 4194304 9819077 140734740657568 18446744073709551615 7816363 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 26866 23796 726 1374 0 25487 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 107464
[startup+582.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 10439
/proc/meminfo: memFree=1394812/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=112512 CPUtime=582.11
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 1846740 0 0 0 57349 862 0 0 25 0 1 0 3461257 115212288 25173 1992294400 4194304 9819077 140734740657568 18446744073709551615 6192371 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 28128 25173 726 1374 0 26749 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 112512
[startup+642.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 10441
/proc/meminfo: memFree=1390472/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=115844 CPUtime=642.1
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 2180257 0 0 0 63197 1013 0 0 25 0 1 0 3461257 118624256 26199 1992294400 4194304 9819077 140734740657568 18446744073709551615 4978991 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 28961 26199 726 1374 0 27582 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 115844
[startup+702.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10447
/proc/meminfo: memFree=1371624/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=135720 CPUtime=882.02
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 3485737 0 0 0 86614 1588 0 0 25 0 1 0 3461257 138977280 30972 1992294400 4194304 9819077 140734740657568 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 33930 30972 726 1374 0 32551 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 135720
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10449
/proc/meminfo: memFree=1369516/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=137584 CPUtime=942
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 3824323 0 0 0 92467 1733 0 0 25 0 1 0 3461257 140886016 31418 1992294400 4194304 9819077 140734740657568 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 34396 31418 726 1374 0 33017 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 137584
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10449
/proc/meminfo: memFree=1364804/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=142500 CPUtime=1001.98
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 4147348 0 0 0 98328 1870 0 0 25 0 1 0 3461257 145920000 32507 1992294400 4194304 9819077 140734740657568 18446744073709551615 4853673 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 35625 32507 726 1374 0 34246 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 142500
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10451
/proc/meminfo: memFree=1361208/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=146724 CPUtime=1061.96
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 4455949 0 0 0 104191 2005 0 0 25 0 1 0 3461257 150245376 33445 1992294400 4194304 9819077 140734740657568 18446744073709551615 6371751 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 36681 33454 726 1374 0 35302 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 146724
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10453
/proc/meminfo: memFree=1358356/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=148716 CPUtime=1121.94
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 4791725 0 0 0 110046 2148 0 0 25 0 1 0 3461257 152285184 34145 1992294400 4194304 9819077 140734740657568 18446744073709551615 7226273 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 37179 34145 726 1374 0 35800 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 148716
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10455
/proc/meminfo: memFree=1354636/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=154480 CPUtime=1181.92
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 5142755 0 0 0 115893 2299 0 0 25 0 1 0 3461257 158187520 35031 1992294400 4194304 9819077 140734740657568 18446744073709551615 6209887 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 38620 35039 726 1374 0 37241 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 154480
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10457
/proc/meminfo: memFree=1352156/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=159028 CPUtime=1241.9
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 5482326 0 0 0 121747 2443 0 0 25 0 1 0 3461257 162844672 35729 1992294400 4194304 9819077 140734740657568 18446744073709551615 6367498 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 39757 35729 726 1374 0 38378 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 159028
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10457
/proc/meminfo: memFree=1349552/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=157796 CPUtime=1301.89
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 5832569 0 0 0 127597 2592 0 0 25 0 1 0 3461257 161583104 36304 1992294400 4194304 9819077 140734740657568 18446744073709551615 7233739 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 39449 36304 726 1374 0 38070 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 157796
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10459
/proc/meminfo: memFree=1346948/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=169164 CPUtime=1361.87
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 6169529 0 0 0 133455 2732 0 0 25 0 1 0 3461257 173223936 37166 1992294400 4194304 9819077 140734740657568 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 42291 37166 726 1374 0 40912 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 169164
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10461
/proc/meminfo: memFree=1343476/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=172212 CPUtime=1421.86
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 6502704 0 0 0 139300 2886 0 0 25 0 1 0 3461257 176345088 37992 1992294400 4194304 9819077 140734740657568 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 43053 37992 726 1374 0 41674 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 172212
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10466
/proc/meminfo: memFree=1340748/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=169008 CPUtime=1481.82
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 6820918 0 0 0 145156 3026 0 0 25 0 1 0 3461257 173064192 38517 1992294400 4194304 9819077 140734740657568 18446744073709551615 6391565 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 42252 38517 726 1374 0 40873 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 169008
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10468
/proc/meminfo: memFree=1338268/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=170124 CPUtime=1541.81
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 7157017 0 0 0 151007 3174 0 0 25 0 1 0 3461257 174206976 39087 1992294400 4194304 9819077 140734740657568 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 42531 39087 726 1374 0 41152 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 170124
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10468
/proc/meminfo: memFree=1335540/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=172852 CPUtime=1601.79
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 7478092 0 0 0 156865 3314 0 0 25 0 1 0 3461257 177000448 39711 1992294400 4194304 9819077 140734740657568 18446744073709551615 4978358 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 43213 39711 726 1374 0 41834 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 172852
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10470
/proc/meminfo: memFree=1332936/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=178144 CPUtime=1661.77
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 7812836 0 0 0 162725 3452 0 0 25 0 1 0 3461257 182419456 40482 1992294400 4194304 9819077 140734740657568 18446744073709551615 7292216 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 44536 40482 726 1374 0 43157 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 178144
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10472
/proc/meminfo: memFree=1329960/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=180380 CPUtime=1721.75
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 8160434 0 0 0 168575 3600 0 0 25 0 1 0 3461257 184709120 41099 1992294400 4194304 9819077 140734740657568 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 45095 41099 726 1374 0 43716 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 180380
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10474
/proc/meminfo: memFree=1327232/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=183320 CPUtime=1781.73
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 8523836 0 0 0 174414 3759 0 0 25 0 1 0 3461257 187719680 41868 1992294400 4194304 9819077 140734740657568 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 45830 41868 726 1374 0 44451 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 183320
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10474
/proc/meminfo: memFree=1325868/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=188604 CPUtime=1800.05
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 8605376 0 0 0 176210 3795 0 0 25 0 1 0 3461257 193130496 42208 1992294400 4194304 9819077 140734740657568 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10422/statm: 47151 42209 726 1374 0 45772 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 188604
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/106 10474
/proc/meminfo: memFree=1325868/2059040 swapFree=4192956/4192956
[pid=10422] ppid=10420 vsize=115004 CPUtime=1800.23
/proc/10422/stat : 10422 (pbscip.linux.x8) R 10420 10422 10069 0 -1 4202496 8605602 0 0 0 176227 3796 0 0 25 0 1 0 3461257 117764096 17514 1992294400 4194304 9819077 140734740657568 18446744073709551615 8875210 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10422/statm: 28751 17514 729 1374 0 27372 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 115004
Child status: 0
Real time (s): 1800.81
CPU time (s): 1800.24
CPU user time (s): 1762.28
CPU system time (s): 37.9682
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 192384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1762.28
system time used= 37.9682
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8605606
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= 3
involuntary context switches= 4051
runsolver used 3.03554 second user time and 8.44871 second system time
The end