0.09/0.11 c SCIP version 1.1.0.7
0.09/0.11 c LP-Solver SoPlex 1.4.1
0.09/0.11 c user parameter file <scip.set> not found - using default parameters
0.09/0.11 c read problem <HOME/instance-1869570-1245179277.opb>
0.09/0.11 c original problem has 1288 variables (1288 bin, 0 int, 0 impl, 0 cont) and 2431 constraints
0.09/0.15 c start presolving problem
0.09/0.15 c presolving:
0.09/0.18 c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 35 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.19/0.20 c (round 2) 1 del vars, 1183 del conss, 1 chg bounds, 0 chg sides, 35 chg coeffs, 38 upgd conss, 0 impls, 0 clqs
0.19/0.22 c (round 3) 1 del vars, 1183 del conss, 1 chg bounds, 1 chg sides, 37 chg coeffs, 66 upgd conss, 26 impls, 0 clqs
0.49/0.54 c (0.4s) probing: 153/1287 (11.9%) - 0 fixings, 0 aggregations, 4 implications, 0 bound changes
0.49/0.54 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.49/0.54 c presolving (4 rounds):
0.49/0.54 c 1 deleted vars, 1183 deleted constraints, 1 tightened bounds, 0 added holes, 1 changed sides, 37 changed coefficients
0.49/0.54 c 36 implications, 0 cliques
0.49/0.54 c presolved problem has 1287 variables (1287 bin, 0 int, 0 impl, 0 cont) and 1249 constraints
0.49/0.54 c 66 constraints of type <knapsack>
0.49/0.54 c 1 constraints of type <setppc>
0.49/0.54 c 1182 constraints of type <linear>
0.49/0.54 c transformed objective value is always integral (scale: 1)
0.49/0.54 c Presolving Time: 0.38
0.49/0.55 c OPT-LIN
0.49/0.55 c -----------------------------------------------------------------------------------------------
0.49/0.55 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.55 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.55 c limits/memory = c 1620
0.49/0.55 c # maximal time in seconds to run
0.49/0.55 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.55 c limits/time = c 1791
0.49/0.55 c # frequency for displaying node information lines
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.55 c display/freq = c 10000
0.49/0.55 c -----------------------------------------------------------------------------------------------
0.49/0.55 c start solving problem
0.49/0.55 c
0.49/0.58 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.58 c 0.4s| 1 | 0 | 198 |9412k| 0 | 178 |1287 |1249 |1249 |1287 |1249 | 0 | 0 | 0 | 5.500000e+01 | -- | Inf
1.09/1.11 c 1.0s| 1 | 0 | 1105 |9891k| 0 | 363 |1287 |1249 |1249 |1287 |1340 | 91 | 0 | 0 | 5.500000e+01 | -- | Inf
1.79/1.84 c 1.7s| 1 | 0 | 2618 | 10M| 0 | 702 |1287 |1249 |1249 |1287 |1510 | 261 | 0 | 0 | 5.500000e+01 | -- | Inf
2.59/2.69 c 2.5s| 1 | 0 | 3775 | 11M| 0 | 657 |1287 |1249 |1249 |1287 |1652 | 403 | 0 | 0 | 5.500000e+01 | -- | Inf
3.69/3.75 c 3.6s| 1 | 0 | 4995 | 11M| 0 | 672 |1287 |1249 |1249 |1287 |1836 | 587 | 0 | 0 | 5.500000e+01 | -- | Inf
4.99/5.10 c 4.9s| 1 | 0 | 6326 | 12M| 0 | 736 |1287 |1249 |1249 |1287 |2026 | 777 | 0 | 0 | 5.500000e+01 | -- | Inf
7.19/7.23 c 7.0s| 1 | 0 | 8032 | 12M| 0 | 758 |1287 |1249 |1249 |1287 |2158 | 909 | 0 | 0 | 5.500000e+01 | -- | Inf
28.08/28.15 c 27.9s| 1 | 2 | 8032 | 12M| 0 | 758 |1287 |1249 |1249 |1287 |2158 | 909 | 0 | 29 | 5.500000e+01 | -- | Inf
528.23/528.42 c 523s| 10000 | 4417 | 1338k| 27M| 108 | 457 |1287 |3589 |1942 |1287 |1362 | 909 | 10k|5339 | 5.500000e+01 | -- | Inf
988.29/988.64 c 979s| 20000 | 6516 | 2813k| 40M| 108 | 471 |1287 |4484 |2361 |1287 |1362 | 909 | 27k| 10k| 5.500000e+01 | -- | Inf
1427.87/1428.31 c 1414s| 30000 | 8365 | 4245k| 52M| 108 | 168 |1287 |5187 | 813 |1287 |1362 | 909 | 45k| 14k| 5.500000e+01 | -- | Inf
1728.78/1729.37 c 1711s| 40000 | 9633 | 5320k| 60M| 108 | 174 |1287 |4982 | 792 |1287 |1362 | 909 | 63k| 16k| 5.500000e+01 | -- | Inf
1800.06/1800.67 c
1800.06/1800.67 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.67 c Solving Time (sec) : 1781.69
1800.06/1800.67 c Solving Nodes : 42123
1800.06/1800.67 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.06/1800.67 c Dual Bound : +5.50000000000000e+01
1800.06/1800.67 c Gap : infinite
1800.06/1800.67 c NODE 42123
1800.06/1800.67 c DUAL BOUND 55
1800.06/1800.67 c PRIMAL BOUND 1e+20
1800.06/1800.67 c GAP 1e+20
1800.06/1800.67 s UNKNOWN
1800.06/1800.67 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.67 c Solving Time : 1781.69
1800.06/1800.67 c Original Problem :
1800.06/1800.67 c Problem name : HOME/instance-1869570-1245179277.opb
1800.06/1800.67 c Variables : 1288 (1288 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.67 c Constraints : 2431 initial, 2431 maximal
1800.06/1800.67 c Presolved Problem :
1800.06/1800.67 c Problem name : t_HOME/instance-1869570-1245179277.opb
1800.06/1800.67 c Variables : 1287 (1287 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.67 c Constraints : 1249 initial, 5814 maximal
1800.06/1800.67 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.67 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.67 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.67 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.67 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.67 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.67 c probing : 0.31 0 0 0 0 0 0 0 0
1800.06/1800.67 c knapsack : 0.01 0 0 0 0 0 0 1 2
1800.06/1800.67 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.67 c linear : 0.06 1 0 0 1 0 1183 0 35
1800.06/1800.67 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.67 c root node : - 0 - - 0 - - - -
1800.06/1800.67 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.67 c integral : 0 0 0 31713 0 83 12481 0 0 57394
1800.06/1800.67 c knapsack : 66 6 210311 0 0 1129 105312 75 0 0
1800.06/1800.67 c setppc : 1 6 309 0 0 0 1 0 0 0
1800.06/1800.67 c linear : 1182 6 209182 0 0 10509 3117262 0 0 0
1800.06/1800.67 c logicor : 0+ 0 121368 0 0 913 159283 0 0 0
1800.06/1800.67 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.67 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.67 c integral : 432.26 0.00 0.00 432.26 0.00
1800.06/1800.67 c knapsack : 6.48 0.00 6.48 0.00 0.00
1800.06/1800.67 c setppc : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.67 c linear : 223.15 0.00 223.15 0.00 0.00
1800.06/1800.67 c logicor : 12.82 0.00 12.82 0.00 0.00
1800.06/1800.67 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.67 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.67 c rootredcost : 0.17 0 0 0
1800.06/1800.67 c pseudoobj : 0.49 210003 0 0
1800.06/1800.67 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.67 c propagation : 2.41 12551 12547 121872 37.0 486 22.1 -
1800.06/1800.67 c infeasible LP : 7.78 12197 12197 44757 25.2 958 19.2 0
1800.06/1800.67 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.67 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.67 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.67 c applied globally : - - - 67102 26.3 - - -
1800.06/1800.67 c applied locally : - - - 0 0.0 - - -
1800.06/1800.67 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.67 c cut pool : 0.00 5 - - 545 - (maximal pool size: 4013)
1800.06/1800.67 c redcost : 1.69 31731 0 89 0 0
1800.06/1800.67 c impliedbounds : 0.00 6 0 0 0 0
1800.06/1800.67 c intobj : 0.00 0 0 0 0 0
1800.06/1800.67 c gomory : 0.50 6 0 0 21 0
1800.06/1800.67 c strongcg : 0.47 6 0 0 21 0
1800.06/1800.67 c cmir : 1.45 6 0 0 2928 0
1800.06/1800.67 c flowcover : 0.70 6 0 0 1200 0
1800.06/1800.67 c clique : 0.00 1 0 0 0 0
1800.06/1800.67 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.67 c mcf : 0.00 1 0 0 0 0
1800.06/1800.67 c Pricers : Time Calls Vars
1800.06/1800.67 c problem variables: 0.00 0 0
1800.06/1800.67 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.67 c relpscost : 432.20 31713 83 12481 0 0 57394
1800.06/1800.67 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.67 c inference : 0.00 0 0 0 0 0 0
1800.06/1800.67 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.67 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.67 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.67 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.67 c random : 0.00 0 0 0 0 0 0
1800.06/1800.67 c Primal Heuristics : Time Calls Found
1800.06/1800.67 c LP solutions : 0.00 - 0
1800.06/1800.67 c pseudo solutions : 0.00 - 0
1800.06/1800.67 c oneopt : 0.01 0 0
1800.06/1800.67 c crossover : 0.00 0 0
1800.06/1800.67 c guideddiving : 0.00 0 0
1800.06/1800.67 c intshifting : 0.00 0 0
1800.06/1800.67 c objpscostdiving : 22.36 46 0
1800.06/1800.67 c linesearchdiving : 15.87 100 0
1800.06/1800.67 c fracdiving : 55.02 100 0
1800.06/1800.67 c veclendiving : 21.08 100 0
1800.06/1800.67 c pscostdiving : 31.46 100 0
1800.06/1800.67 c coefdiving : 77.65 100 0
1800.06/1800.67 c rootsoldiving : 8.12 51 0
1800.06/1800.67 c feaspump : 16.69 51 0
1800.06/1800.67 c simplerounding : 0.08 0 0
1800.06/1800.67 c rounding : 1.44 2449 0
1800.06/1800.67 c shifting : 9.94 741 0
1800.06/1800.67 c fixandinfer : 0.00 0 0
1800.06/1800.67 c intdiving : 0.00 0 0
1800.06/1800.67 c actconsdiving : 0.00 0 0
1800.06/1800.67 c octane : 0.00 0 0
1800.06/1800.67 c rens : 0.00 0 0
1800.06/1800.67 c rins : 0.00 0 0
1800.06/1800.67 c localbranching : 0.00 0 0
1800.06/1800.67 c mutation : 0.00 0 0
1800.06/1800.67 c dins : 0.00 0 0
1800.06/1800.67 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.67 c primal LP : 0.01 0 0 0.00 0.00
1800.06/1800.67 c dual LP : 772.09 37824 4713639 124.62 6105.04
1800.06/1800.67 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.67 c diving/probing LP: 199.86 21552 856257 39.73 4284.28
1800.06/1800.67 c strong branching : 425.88 17348 1740002 100.30 4085.66
1800.06/1800.67 c (at root node) : - 29 28611 986.59 -
1800.06/1800.67 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.67 c B&B Tree :
1800.06/1800.67 c number of runs : 1
1800.06/1800.67 c nodes : 42123
1800.06/1800.67 c nodes (total) : 42123
1800.06/1800.67 c nodes left : 9941
1800.06/1800.67 c max depth : 108
1800.06/1800.67 c max depth (total): 108
1800.06/1800.67 c backtracks : 7503 (17.8%)
1800.06/1800.67 c delayed cutoffs : 5331
1800.06/1800.67 c repropagations : 48458 (1181096 domain reductions, 3619 cutoffs)
1800.06/1800.67 c avg switch length: 5.63
1800.06/1800.67 c switching time : 51.55
1800.06/1800.67 c Solution :
1800.06/1800.67 c Solutions found : 0 (0 improvements)
1800.06/1800.67 c Primal Bound : -
1800.06/1800.67 c Dual Bound : +5.50000000000000e+01
1800.06/1800.67 c Gap : infinite
1800.06/1800.67 c Root Dual Bound : +5.50000000000000e+01
1800.26/1800.81 c Time complete: 1800.28.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869570-1245179277/watcher-1869570-1245179277 -o /tmp/evaluation-result-1869570-1245179277/solver-1869570-1245179277 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869570-1245179277.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.99 0.99 0.93 3/65 8116
/proc/meminfo: memFree=1848088/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=6100 CPUtime=0
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 545 0 0 0 0 0 0 0 20 0 1 0 185526169 6246400 528 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/8116/statm: 1525 535 325 886 0 635 0
[startup+0.075546 s]
/proc/loadavg: 0.99 0.99 0.93 3/65 8116
/proc/meminfo: memFree=1848088/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=10928 CPUtime=0.06
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 2051 0 0 0 6 0 0 0 20 0 1 0 185526169 11190272 2033 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/8116/statm: 2732 2033 354 886 0 1842 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10928
[startup+0.101547 s]
/proc/loadavg: 0.99 0.99 0.93 3/65 8116
/proc/meminfo: memFree=1848088/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=11912 CPUtime=0.09
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 2298 0 0 0 9 0 0 0 20 0 1 0 185526169 12197888 2280 1992294400 4194304 7823515 548682068736 18446744073709551615 6908057 0 0 4096 0 0 0 0 17 1 0 0
/proc/8116/statm: 2978 2280 354 886 0 2088 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11912
[startup+0.301571 s]
/proc/loadavg: 0.99 0.99 0.93 3/65 8116
/proc/meminfo: memFree=1848088/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=32072 CPUtime=0.29
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 7367 0 0 0 27 2 0 0 22 0 1 0 185526169 32841728 6995 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 8018 6995 450 886 0 7128 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32072
[startup+0.701616 s]
/proc/loadavg: 0.99 0.99 0.93 3/65 8116
/proc/meminfo: memFree=1848088/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=37280 CPUtime=0.69
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 8606 0 0 0 66 3 0 0 25 0 1 0 185526169 38174720 8192 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 9320 8192 532 886 0 8430 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37280
[startup+1.50171 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1816400/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=43624 CPUtime=1.49
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 10570 0 0 0 145 4 0 0 25 0 1 0 185526169 44670976 9938 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 10906 9938 558 886 0 10016 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43624
[startup+3.10189 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1810192/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=45164 CPUtime=3.09
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 10846 0 0 0 303 6 0 0 25 0 1 0 185526169 46247936 10214 1992294400 4194304 7823515 548682068736 18446744073709551615 4338498 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 11291 10214 558 886 0 10401 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45164
[startup+6.30125 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1803344/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=51596 CPUtime=6.29
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 12501 0 0 0 620 9 0 0 25 0 1 0 185526169 52834304 11802 1992294400 4194304 7823515 548682068736 18446744073709551615 6211711 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 12899 11802 558 886 0 12009 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51596
[startup+12.702 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1799896/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=52472 CPUtime=12.69
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 14078 0 0 0 1258 11 0 0 25 0 1 0 185526169 53731328 12019 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 13118 12019 562 886 0 12228 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52472
[startup+25.5014 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1800664/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=53772 CPUtime=25.48
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 16870 0 0 0 2531 17 0 0 25 0 1 0 185526169 55062528 12376 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 13443 12376 562 886 0 12553 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 53772
[startup+51.1014 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1802904/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=50544 CPUtime=51.06
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 16991 0 0 0 5067 39 0 0 25 0 1 0 185526169 51757056 11734 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 12636 11734 562 886 0 11746 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 50544
[startup+102.305 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1802136/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=51876 CPUtime=102.26
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 17223 0 0 0 10146 80 0 0 25 0 1 0 185526169 53121024 11966 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 12969 11966 570 886 0 12079 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 51876
[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1800536/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=53108 CPUtime=162.23
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 17615 0 0 0 16094 129 0 0 25 0 1 0 185526169 54382592 12358 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 13277 12358 570 886 0 12387 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 53108
[startup+222.302 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1796824/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=56944 CPUtime=222.21
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 19291 0 0 0 22038 183 0 0 25 0 1 0 185526169 58310656 13274 1992294400 4194304 7823515 548682068736 18446744073709551615 5028878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 14236 13274 570 886 0 13346 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 56944
[startup+282.302 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1795928/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=57820 CPUtime=282.2
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 19560 0 0 0 27982 238 0 0 25 0 1 0 185526169 59207680 13543 1992294400 4194304 7823515 548682068736 18446744073709551615 6236677 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 14455 13543 570 886 0 13565 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 57820
[startup+342.302 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1791640/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=61916 CPUtime=342.19
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 21305 0 0 0 33921 298 0 0 25 0 1 0 185526169 63401984 14562 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 15479 14562 570 886 0 14589 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 61916
[startup+402.301 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1788120/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=65588 CPUtime=402.16
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 22983 0 0 0 39862 354 0 0 25 0 1 0 185526169 67162112 15432 1992294400 4194304 7823515 548682068736 18446744073709551615 6234850 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 16397 15432 570 886 0 15507 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 65588
[startup+462.301 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1785112/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=68668 CPUtime=462.14
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 24688 0 0 0 45800 414 0 0 25 0 1 0 185526169 70316032 16255 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 17167 16255 570 886 0 16277 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 68668
[startup+522.301 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1779480/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=74896 CPUtime=522.13
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 28674 0 0 0 51743 470 0 0 25 0 1 0 185526169 76693504 17792 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 18724 17792 570 886 0 17834 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 74896
[startup+582.302 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1774488/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=78900 CPUtime=582.11
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 30452 0 0 0 57680 531 0 0 25 0 1 0 185526169 80793600 18815 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 19725 18815 570 886 0 18835 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 78900
[startup+642.302 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1771352/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=82184 CPUtime=642.09
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 32089 0 0 0 63613 596 0 0 25 0 1 0 185526169 84156416 19577 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 20546 19577 570 886 0 19656 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 82184
[startup+702.302 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1761560/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=91644 CPUtime=882.02
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 36937 0 0 0 87356 846 0 0 25 0 1 0 185526169 93843456 22033 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 22911 22033 570 886 0 22021 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 91644
[startup+942.301 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1759384/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=94140 CPUtime=942
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 38323 0 0 0 93296 904 0 0 25 0 1 0 185526169 96399360 22558 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 23535 22558 570 886 0 22645 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 94140
[startup+1002.3 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1755672/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=97572 CPUtime=1001.99
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 41639 0 0 0 99227 972 0 0 25 0 1 0 185526169 99913728 23483 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 24393 23483 570 886 0 23503 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 97572
[startup+1062.3 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1752280/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=100888 CPUtime=1061.97
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 45415 0 0 0 105161 1036 0 0 25 0 1 0 185526169 103309312 24329 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 25222 24329 570 886 0 24332 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 100888
[startup+1122.3 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1750488/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=103012 CPUtime=1121.95
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 47425 0 0 0 111097 1098 0 0 25 0 1 0 185526169 105484288 24787 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 25753 24787 570 886 0 24863 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 103012
[startup+1182.3 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1749528/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=103600 CPUtime=1181.94
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 47649 0 0 0 117034 1160 0 0 25 0 1 0 185526169 106086400 25011 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 25900 25011 570 886 0 25010 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 103600
[startup+1242.3 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1744984/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=108112 CPUtime=1241.92
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 49747 0 0 0 122962 1230 0 0 25 0 1 0 185526169 110706688 26142 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 27028 26142 570 886 0 26138 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 108112
[startup+1302.3 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1742616/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=110784 CPUtime=1301.91
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 52732 0 0 0 128894 1297 0 0 25 0 1 0 185526169 113442816 26725 1992294400 4194304 7823515 548682068736 18446744073709551615 5029257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 27696 26725 570 886 0 26806 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 110784
[startup+1362.3 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1740184/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=113124 CPUtime=1361.89
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 53337 0 0 0 134828 1361 0 0 25 0 1 0 185526169 115838976 27330 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 28281 27330 570 886 0 27391 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 113124
[startup+1422.31 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1736856/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=116172 CPUtime=1421.87
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 54179 0 0 0 140766 1421 0 0 25 0 1 0 185526169 118960128 28172 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 29043 28172 570 886 0 28153 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 116172
[startup+1482.3 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1733912/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=119044 CPUtime=1481.85
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 54891 0 0 0 146701 1484 0 0 25 0 1 0 185526169 121901056 28884 1992294400 4194304 7823515 548682068736 18446744073709551615 5062364 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 29761 28884 570 886 0 28871 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 119044
[startup+1542.3 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1731288/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=121880 CPUtime=1541.83
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 55551 0 0 0 152631 1552 0 0 25 0 1 0 185526169 124805120 29521 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 30470 29521 570 886 0 29580 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 121880
[startup+1602.3 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1727384/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=125732 CPUtime=1601.81
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 56623 0 0 0 158565 1616 0 0 25 0 1 0 185526169 128749568 30562 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 31433 30562 570 886 0 30543 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 125732
[startup+1662.3 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1725528/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=127300 CPUtime=1661.8
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 57016 0 0 0 164505 1675 0 0 25 0 1 0 185526169 130355200 30955 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 31825 30955 570 886 0 30935 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 127300
[startup+1722.3 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1723864/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=129000 CPUtime=1721.78
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 57423 0 0 0 170439 1739 0 0 25 0 1 0 185526169 132096000 31362 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 32250 31362 570 886 0 31360 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 129000
[startup+1782.3 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1719384/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=133432 CPUtime=1781.76
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 58654 0 0 0 176364 1812 0 0 25 0 1 0 185526169 136634368 32486 1992294400 4194304 7823515 548682068736 18446744073709551615 5028865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 33358 32486 570 886 0 32468 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 133432
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1719320/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=133588 CPUtime=1800.06
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 58661 0 0 0 178172 1834 0 0 25 0 1 0 185526169 136794112 32493 1992294400 4194304 7823515 548682068736 18446744073709551615 4304881 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8116/statm: 33397 32493 570 886 0 32507 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 133588
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: 0.99 0.99 0.93 2/66 8117
/proc/meminfo: memFree=1719320/2055920 swapFree=4181848/4192956
[pid=8116] ppid=8114 vsize=125536 CPUtime=1800.26
/proc/8116/stat : 8116 (pbscip.linux.x8) R 8114 8116 7998 0 -1 4194304 58665 0 0 0 178192 1834 0 0 25 0 1 0 185526169 128548864 30625 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0
/proc/8116/statm: 31384 30625 2092 886 0 30494 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 125536
Child status: 0
Real time (s): 1800.82
CPU time (s): 1800.29
CPU user time (s): 1781.92
CPU system time (s): 18.3652
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 133588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.92
system time used= 18.3652
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58668
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= 3286
runsolver used 2.12868 second user time and 4.16837 second system time
The end