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-2665586-1276349683.opb>
0.01/0.03 c original problem has 464 variables (464 bin, 0 int, 0 impl, 0 cont) and 1059 constraints
0.01/0.03 c problem read
0.01/0.03 c presolving settings loaded
0.01/0.04 c presolving:
0.01/0.05 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 81 chg sides, 81 chg coeffs, 0 upgd conss, 336 impls, 0 clqs
0.01/0.07 c (round 2) 0 del vars, 168 del conss, 0 chg bounds, 81 chg sides, 81 chg coeffs, 881 upgd conss, 336 impls, 0 clqs
0.09/0.10 c (0.1s) probing: 101/464 (21.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.10 c presolving (3 rounds):
0.09/0.10 c 0 deleted vars, 168 deleted constraints, 0 tightened bounds, 0 added holes, 81 changed sides, 81 changed coefficients
0.09/0.10 c 342 implications, 0 cliques
0.09/0.10 c presolved problem has 464 variables (464 bin, 0 int, 0 impl, 0 cont) and 891 constraints
0.09/0.10 c 673 constraints of type <knapsack>
0.09/0.10 c 10 constraints of type <linear>
0.09/0.10 c 208 constraints of type <logicor>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.05
0.09/0.10 c - non default parameters ----------------------------------------------------------------------
0.09/0.10 c # SCIP version 1.2.1.2
0.09/0.10 c
0.09/0.10 c # frequency for displaying node information lines
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.10 c display/freq = 10000
0.09/0.10 c
0.09/0.10 c # maximal time in seconds to run
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/time = 1799.97
0.09/0.10 c
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/memory = 1620
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify inequalities
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/linear/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify knapsacks
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10 c separating/rapidlearning/freq = 0
0.09/0.10 c
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c start solving
0.09/0.10 c
0.09/0.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.13 c 0.1s| 1 | 0 | 297 | - |3100k| 0 | 219 | 464 | 891 | 464 | 891 | 0 | 0 | 0 | 9.700000e+01 | -- | Inf
0.39/0.41 c 0.3s| 1 | 0 | 568 | - |4011k| 0 | 285 | 464 | 891 | 464 |1131 | 240 | 0 | 0 | 9.800000e+01 | -- | Inf
0.79/0.89 c 0.8s| 1 | 0 | 1108 | - |4494k| 0 | 303 | 464 | 891 | 464 |1326 | 435 | 0 | 0 | 9.900000e+01 | -- | Inf
1.39/1.45 c 1.4s| 1 | 0 | 1569 | - |4669k| 0 | 293 | 464 | 891 | 464 |1456 | 565 | 0 | 0 | 9.900000e+01 | -- | Inf
2.10/2.11 c 2.0s| 1 | 0 | 2108 | - |4805k| 0 | 286 | 464 | 891 | 464 |1572 | 681 | 0 | 0 | 9.900000e+01 | -- | Inf
2.68/2.76 c 2.6s| 1 | 0 | 2648 | - |4944k| 0 | 305 | 464 | 891 | 464 |1654 | 763 | 0 | 0 | 9.900000e+01 | -- | Inf
3.30/3.34 c 3.2s| 1 | 0 | 2963 | - |5149k| 0 | 293 | 464 | 891 | 464 |1705 | 814 | 0 | 0 | 9.900000e+01 | -- | Inf
3.89/3.93 c 3.8s| 1 | 0 | 3454 | - |5530k| 0 | 291 | 464 | 891 | 464 |1758 | 867 | 0 | 0 | 9.900000e+01 | -- | Inf
8.09/8.19 c 8.0s| 1 | 2 | 3454 | - |5530k| 0 | 291 | 464 | 891 | 464 |1758 | 867 | 0 | 21 | 9.900000e+01 | -- | Inf
252.79/252.95 c 244s| 10000 | 7944 |630954 | 62.8 | 14M| 66 | 256 | 464 |1982 | 464 |1219 | 867 |5947 |2372 | 9.900000e+01 | -- | Inf
466.91/467.18 c 451s| 20000 | 14570 | 1344k| 67.1 | 22M| 66 | 253 | 464 |2184 | 464 |1219 | 867 | 13k|3115 | 9.900000e+01 | -- | Inf
670.02/670.32 c 646s| 30000 | 20594 | 2008k| 66.8 | 29M| 66 | 237 | 464 |2311 | 464 |1219 | 867 | 22k|4147 | 9.900000e+01 | -- | Inf
868.35/868.79 c 837s| 40000 | 27158 | 2673k| 66.8 | 37M| 66 | 209 | 464 |2380 | 464 |1219 | 867 | 31k|4922 | 9.900000e+01 | -- | Inf
1050.09/1050.57 c 1012s| 50000 | 33436 | 3287k| 65.7 | 45M| 66 | 221 | 464 |2577 | 464 |1219 | 867 | 41k|5571 | 9.900000e+01 | -- | Inf
1217.52/1218.06 c 1173s| 60000 | 39035 | 3859k| 64.3 | 52M| 68 | 187 | 464 |2569 | 464 |1219 | 867 | 53k|6114 | 9.900000e+01 | -- | Inf
1378.06/1378.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1378.06/1378.60 c 1327s| 70000 | 44439 | 4413k| 63.0 | 60M| 68 | 165 | 464 |2647 | 464 |1219 | 867 | 64k|6559 | 9.903611e+01 | -- | Inf
1540.89/1541.50 c 1484s| 80000 | 50023 | 4975k| 62.1 | 68M| 68 | 173 | 464 |2685 | 464 |1219 | 867 | 76k|6994 | 9.905098e+01 | -- | Inf
1699.62/1700.36 c 1636s| 90000 | 55298 | 5524k| 61.4 | 75M| 68 | 212 | 464 |2840 | 464 |1219 | 867 | 89k|7404 | 9.908088e+01 | -- | Inf
1800.08/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.81 c
1800.08/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.81 c Solving Time (sec) : 1732.75
1800.08/1800.81 c Solving Nodes : 96539
1800.08/1800.81 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.08/1800.81 c Dual Bound : +9.91000000000000e+01
1800.08/1800.81 c Gap : infinite
1800.08/1800.81 s UNKNOWN
1800.08/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.81 c Solving Time : 1732.75
1800.08/1800.81 c Original Problem :
1800.08/1800.81 c Problem name : HOME/instance-2665586-1276349683.opb
1800.08/1800.81 c Variables : 464 (464 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.81 c Constraints : 1059 initial, 1059 maximal
1800.08/1800.81 c Presolved Problem :
1800.08/1800.81 c Problem name : t_HOME/instance-2665586-1276349683.opb
1800.08/1800.81 c Variables : 464 (464 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.81 c Constraints : 891 initial, 3259 maximal
1800.08/1800.81 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.81 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.81 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.81 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.81 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.81 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.81 c probing : 0.02 0 0 0 0 0 0 0 0
1800.08/1800.81 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.81 c linear : 0.02 0 0 0 0 0 168 81 81
1800.08/1800.81 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.81 c root node : - 0 - - 0 - - - -
1800.08/1800.81 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.81 c integral : 0 0 0 81592 0 16 544 0 0 162588
1800.08/1800.81 c knapsack : 673 7 564104 0 0 9076 531260 1040 0 0
1800.08/1800.81 c linear : 10 7 555028 0 0 2008 37549 6 0 0
1800.08/1800.81 c logicor : 208+ 7 436926 0 0 6961 427275 0 0 0
1800.08/1800.81 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.81 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.81 c integral : 132.42 0.00 0.00 132.42 0.00
1800.08/1800.81 c knapsack : 40.02 0.04 39.98 0.00 0.00
1800.08/1800.81 c linear : 9.52 0.00 9.52 0.00 0.00
1800.08/1800.81 c logicor : 21.88 0.00 21.88 0.00 0.00
1800.08/1800.81 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.81 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.81 c vbounds : 0.33 2 0 0
1800.08/1800.81 c rootredcost : 0.51 0 0 0
1800.08/1800.81 c pseudoobj : 1.05 564017 0 0
1800.08/1800.81 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.81 c propagation : 1.49 18045 17995 81875 17.6 4118 8.6 -
1800.08/1800.81 c infeasible LP : 5.03 14953 14952 68326 18.4 2748 7.2 0
1800.08/1800.81 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.81 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.81 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.08/1800.81 c applied globally : - - - 97958 14.9 - - -
1800.08/1800.81 c applied locally : - - - 0 0.0 - - -
1800.08/1800.81 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.81 c cut pool : 0.01 6 - - 534 - (maximal pool size: 2448)
1800.08/1800.81 c redcost : 1.13 81605 0 7 0 0
1800.08/1800.81 c impliedbounds : 0.00 7 0 0 0 0
1800.08/1800.81 c intobj : 0.00 0 0 0 0 0
1800.08/1800.81 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.81 c gomory : 1.06 7 0 0 1148 0
1800.08/1800.81 c strongcg : 0.84 7 0 0 1332 0
1800.08/1800.81 c cmir : 0.23 7 0 0 732 0
1800.08/1800.81 c flowcover : 0.27 7 0 0 1113 0
1800.08/1800.81 c clique : 0.00 1 0 0 0 0
1800.08/1800.81 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.81 c mcf : 0.00 1 0 0 0 0
1800.08/1800.81 c rapidlearning : 0.05 1 0 0 0 0
1800.08/1800.81 c Pricers : Time Calls Vars
1800.08/1800.81 c problem variables: 0.00 0 0
1800.08/1800.81 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.81 c relpscost : 132.22 81592 16 544 0 0 162588
1800.08/1800.81 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.81 c inference : 0.00 0 0 0 0 0 0
1800.08/1800.81 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.81 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.81 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.81 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.81 c random : 0.00 0 0 0 0 0 0
1800.08/1800.81 c Primal Heuristics : Time Calls Found
1800.08/1800.81 c LP solutions : 0.00 - 0
1800.08/1800.81 c pseudo solutions : 0.00 - 0
1800.08/1800.81 c oneopt : 0.13 0 0
1800.08/1800.81 c crossover : 0.06 0 0
1800.08/1800.81 c veclendiving : 57.19 957 0
1800.08/1800.81 c coefdiving : 89.27 1099 0
1800.08/1800.81 c fracdiving : 96.08 1194 0
1800.08/1800.81 c trivial : 0.00 2 0
1800.08/1800.81 c simplerounding : 0.07 0 0
1800.08/1800.81 c zirounding : 0.18 1000 0
1800.08/1800.81 c rounding : 0.68 3967 0
1800.08/1800.81 c shifting : 3.83 1211 0
1800.08/1800.81 c intshifting : 0.00 0 0
1800.08/1800.81 c twoopt : 0.00 0 0
1800.08/1800.81 c fixandinfer : 0.00 0 0
1800.08/1800.81 c feaspump : 21.68 1876 0
1800.08/1800.81 c pscostdiving : 100.65 895 0
1800.08/1800.81 c intdiving : 0.00 0 0
1800.08/1800.81 c actconsdiving : 0.00 0 0
1800.08/1800.81 c objpscostdiving : 9.97 184 0
1800.08/1800.81 c rootsoldiving : 9.71 82 0
1800.08/1800.81 c linesearchdiving : 86.79 985 0
1800.08/1800.81 c guideddiving : 0.00 0 0
1800.08/1800.81 c octane : 0.00 0 0
1800.08/1800.81 c rens : 0.01 0 0
1800.08/1800.81 c rins : 0.00 0 0
1800.08/1800.81 c localbranching : 0.00 0 0
1800.08/1800.81 c mutation : 0.00 0 0
1800.08/1800.81 c dins : 0.00 0 0
1800.08/1800.81 c undercover : 0.00 0 0
1800.08/1800.81 c nlp : 0.08 0 0
1800.08/1800.81 c trysol : 0.05 0 0
1800.08/1800.81 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.81 c primal LP : 0.01 0 0 0.00 0.00
1800.08/1800.81 c dual LP : 1002.23 89339 4596172 51.45 4585.95
1800.08/1800.81 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.81 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.81 c diving/probing LP: 398.88 111981 1275297 11.39 3197.19
1800.08/1800.81 c strong branching : 121.84 7624 473625 62.12 3887.27
1800.08/1800.81 c (at root node) : - 21 9961 474.33 -
1800.08/1800.81 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.81 c B&B Tree :
1800.08/1800.81 c number of runs : 1
1800.08/1800.81 c nodes : 96539
1800.08/1800.81 c nodes (total) : 96539
1800.08/1800.81 c nodes left : 58670
1800.08/1800.81 c max depth : 68
1800.08/1800.81 c max depth (total): 68
1800.08/1800.81 c backtracks : 15951 (16.5%)
1800.08/1800.81 c delayed cutoffs : 7380
1800.08/1800.81 c repropagations : 50705 (209323 domain reductions, 2151 cutoffs)
1800.08/1800.81 c avg switch length: 9.25
1800.08/1800.81 c switching time : 20.68
1800.08/1800.81 c Solution :
1800.08/1800.81 c Solutions found : 0 (0 improvements)
1800.08/1800.81 c Primal Bound : -
1800.08/1800.81 c Dual Bound : +9.91000000000000e+01
1800.08/1800.81 c Gap : infinite
1800.08/1800.81 c Root Dual Bound : +9.90000000000000e+01
1800.08/1800.81 c Root Iterations : 3454
1800.27/1801.08 c Time complete: 1800.36.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665586-1276349683/watcher-2665586-1276349683 -o /tmp/evaluation-result-2665586-1276349683/solver-2665586-1276349683 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665586-1276349683.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.91 1.97 1.62 3/106 10801
/proc/meminfo: memFree=1480604/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=8256 CPUtime=0
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 875 0 0 0 0 0 0 0 20 0 1 0 10571781 8454144 795 1992294400 4194304 9819077 140737044369152 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10801/statm: 2064 806 359 1374 0 685 0
[startup+0.0242739 s]
/proc/loadavg: 1.91 1.97 1.62 3/106 10801
/proc/meminfo: memFree=1480604/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=11156 CPUtime=0.01
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 1713 0 0 0 1 0 0 0 20 0 1 0 10571781 11423744 1633 1992294400 4194304 9819077 140737044369152 18446744073709551615 8653613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10801/statm: 2789 1633 388 1374 0 1410 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11156
[startup+0.101288 s]
/proc/loadavg: 1.91 1.97 1.62 3/106 10801
/proc/meminfo: memFree=1480604/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=16552 CPUtime=0.09
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 4335 0 0 0 8 1 0 0 21 0 1 0 10571781 16949248 2873 1992294400 4194304 9819077 140737044369152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 4138 2873 514 1374 0 2759 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16552
[startup+0.301325 s]
/proc/loadavg: 1.91 1.97 1.62 3/106 10801
/proc/meminfo: memFree=1480604/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=34108 CPUtime=0.29
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 9609 0 0 0 26 3 0 0 21 0 1 0 10571781 34926592 6743 1992294400 4194304 9819077 140737044369152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 8527 6743 687 1374 0 7148 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34108
[startup+0.701398 s]
/proc/loadavg: 1.91 1.97 1.62 3/106 10801
/proc/meminfo: memFree=1480604/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=25792 CPUtime=0.69
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 10343 0 0 0 65 4 0 0 22 0 1 0 10571781 26411008 4726 1992294400 4194304 9819077 140737044369152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 6448 4726 697 1374 0 5069 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25792
[startup+1.50055 s]
/proc/loadavg: 1.84 1.96 1.62 2/107 10802
/proc/meminfo: memFree=1463484/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=27000 CPUtime=1.49
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 12180 0 0 0 142 7 0 0 25 0 1 0 10571781 27648000 4920 1992294400 4194304 9819077 140737044369152 18446744073709551615 7326284 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 6750 4920 697 1374 0 5371 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27000
[startup+3.10084 s]
/proc/loadavg: 1.84 1.96 1.62 2/107 10802
/proc/meminfo: memFree=1462492/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=27768 CPUtime=3.09
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 14326 0 0 0 301 8 0 0 25 0 1 0 10571781 28434432 4999 1992294400 4194304 9819077 140737044369152 18446744073709551615 8494956 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 6942 4999 697 1374 0 5563 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27768
[startup+6.30043 s]
/proc/loadavg: 1.84 1.96 1.62 2/107 10802
/proc/meminfo: memFree=1461624/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=32264 CPUtime=6.29
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 26926 0 0 0 615 14 0 0 25 0 1 0 10571781 33038336 5239 1992294400 4194304 9819077 140737044369152 18446744073709551615 7292321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 8066 5239 703 1374 0 6687 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32264
[startup+12.7006 s]
/proc/loadavg: 1.71 1.93 1.61 2/107 10802
/proc/meminfo: memFree=1461748/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=29248 CPUtime=12.69
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 63862 0 0 0 1239 30 0 0 25 0 1 0 10571781 29949952 5160 1992294400 4194304 9819077 140737044369152 18446744073709551615 7228099 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 7312 5163 708 1374 0 5933 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29248
[startup+25.501 s]
/proc/loadavg: 1.60 1.90 1.61 2/107 10802
/proc/meminfo: memFree=1461872/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=27384 CPUtime=25.48
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 142073 0 0 0 2485 63 0 0 25 0 1 0 10571781 28041216 5147 1992294400 4194304 9819077 140737044369152 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 6846 5147 712 1374 0 5467 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27384
[startup+51.1017 s]
/proc/loadavg: 1.39 1.82 1.59 2/107 10802
/proc/meminfo: memFree=1461004/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=31016 CPUtime=51.07
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 295231 0 0 0 4971 136 0 0 25 0 1 0 10571781 31760384 5466 1992294400 4194304 9819077 140737044369152 18446744073709551615 7291901 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 7754 5466 713 1374 0 6375 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 31016
[startup+102.309 s]
/proc/loadavg: 1.16 1.68 1.55 2/107 10804
/proc/meminfo: memFree=1457656/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=31724 CPUtime=102.25
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 619340 0 0 0 9904 321 0 0 25 0 1 0 10571781 32485376 6278 1992294400 4194304 9819077 140737044369152 18446744073709551615 6862533 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 7931 6278 728 1374 0 6552 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 31724
[startup+162.301 s]
/proc/loadavg: 1.06 1.56 1.52 2/107 10806
/proc/meminfo: memFree=1454680/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=34528 CPUtime=162.22
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 1020476 0 0 0 15676 546 0 0 25 0 1 0 10571781 35356672 6984 1992294400 4194304 9819077 140737044369152 18446744073709551615 7291945 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 8632 6985 728 1374 0 7253 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 34528
[startup+222.301 s]
/proc/loadavg: 1.02 1.45 1.48 2/107 10808
/proc/meminfo: memFree=1451828/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=37388 CPUtime=222.2
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 1417225 0 0 0 21445 775 0 0 25 0 1 0 10571781 38285312 7725 1992294400 4194304 9819077 140737044369152 18446744073709551615 7292234 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 9347 7725 728 1374 0 7968 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 37388
[startup+282.301 s]
/proc/loadavg: 1.00 1.37 1.45 2/107 10810
/proc/meminfo: memFree=1450960/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=38264 CPUtime=282.18
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 1789586 0 0 0 27229 989 0 0 25 0 1 0 10571781 39182336 7908 1992294400 4194304 9819077 140737044369152 18446744073709551615 6698726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 9566 7908 728 1374 0 8187 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 38264
[startup+342.301 s]
/proc/loadavg: 1.00 1.30 1.42 2/107 10810
/proc/meminfo: memFree=1446744/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=42252 CPUtime=342.16
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 2154691 0 0 0 33014 1202 0 0 25 0 1 0 10571781 43266048 8943 1992294400 4194304 9819077 140737044369152 18446744073709551615 4663275 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 10563 8943 728 1374 0 9184 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 42252
[startup+402.302 s]
/proc/loadavg: 1.00 1.24 1.39 2/107 10812
/proc/meminfo: memFree=1443768/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=45348 CPUtime=402.13
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 2506984 0 0 0 38803 1410 0 0 25 0 1 0 10571781 46436352 9710 1992294400 4194304 9819077 140737044369152 18446744073709551615 7292302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 11337 9710 728 1374 0 9958 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 45348
[startup+462.302 s]
/proc/loadavg: 1.00 1.19 1.36 2/107 10814
/proc/meminfo: memFree=1442280/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=46788 CPUtime=462.11
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 2870629 0 0 0 44596 1615 0 0 25 0 1 0 10571781 47910912 10088 1992294400 4194304 9819077 140737044369152 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 11697 10088 728 1374 0 10318 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 46788
[startup+522.301 s]
/proc/loadavg: 1.00 1.16 1.34 2/107 10816
/proc/meminfo: memFree=1438808/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=50032 CPUtime=522.09
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 3241854 0 0 0 50374 1835 0 0 25 0 1 0 10571781 51232768 10906 1992294400 4194304 9819077 140737044369152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 12508 10906 728 1374 0 11129 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 50032
[startup+582.301 s]
/proc/loadavg: 1.00 1.12 1.31 2/107 10818
/proc/meminfo: memFree=1436700/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=52204 CPUtime=582.06
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 3615602 0 0 0 56151 2055 0 0 25 0 1 0 10571781 53456896 11443 1992294400 4194304 9819077 140737044369152 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 13051 11443 728 1374 0 11672 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 52204
[startup+642.301 s]
/proc/loadavg: 1.00 1.10 1.29 2/107 10818
/proc/meminfo: memFree=1433104/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=55592 CPUtime=642.04
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 3991950 0 0 0 61925 2279 0 0 25 0 1 0 10571781 56926208 12319 1992294400 4194304 9819077 140737044369152 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 13898 12319 728 1374 0 12519 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 55592
[startup+702.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 1.00 1.04 1.21 2/107 10826
/proc/meminfo: memFree=1420580/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=68064 CPUtime=881.95
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 5474486 0 0 0 85029 3166 0 0 25 0 1 0 10571781 69697536 15436 1992294400 4194304 9819077 140737044369152 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 17016 15436 728 1374 0 15637 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 68064
[startup+942.301 s]
/proc/loadavg: 1.00 1.03 1.20 2/107 10826
/proc/meminfo: memFree=1417976/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=70460 CPUtime=941.92
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 5853917 0 0 0 90792 3400 0 0 25 0 1 0 10571781 72151040 16085 1992294400 4194304 9819077 140737044369152 18446744073709551615 6004111 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 17615 16085 728 1374 0 16236 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 70460
[startup+1002.3 s]
/proc/loadavg: 1.04 1.03 1.18 2/107 10828
/proc/meminfo: memFree=1415620/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=72880 CPUtime=1001.9
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 6230006 0 0 0 96565 3625 0 0 25 0 1 0 10571781 74629120 16629 1992294400 4194304 9819077 140737044369152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 18220 16629 728 1374 0 16841 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 72880
[startup+1062.3 s]
/proc/loadavg: 1.05 1.04 1.18 2/107 10830
/proc/meminfo: memFree=1411900/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=76436 CPUtime=1061.88
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 6608538 0 0 0 102328 3860 0 0 25 0 1 0 10571781 78270464 17546 1992294400 4194304 9819077 140737044369152 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 19109 17546 728 1374 0 17730 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 76436
[startup+1122.3 s]
/proc/loadavg: 1.13 1.06 1.17 2/107 10832
/proc/meminfo: memFree=1409916/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=78296 CPUtime=1121.85
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 6979656 0 0 0 108097 4088 0 0 25 0 1 0 10571781 80175104 18021 1992294400 4194304 9819077 140737044369152 18446744073709551615 7816439 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 19574 18021 728 1374 0 18195 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 78296
[startup+1182.3 s]
/proc/loadavg: 1.12 1.06 1.17 2/107 10834
/proc/meminfo: memFree=1405576/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=82764 CPUtime=1181.83
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 7359443 0 0 0 113859 4324 0 0 25 0 1 0 10571781 84750336 19163 1992294400 4194304 9819077 140737044369152 18446744073709551615 7289236 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 20691 19163 728 1374 0 19312 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 82764
[startup+1242.3 s]
/proc/loadavg: 1.11 1.07 1.16 2/107 10834
/proc/meminfo: memFree=1403964/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=83516 CPUtime=1241.81
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 7738141 0 0 0 119624 4557 0 0 25 0 1 0 10571781 85520384 19506 1992294400 4194304 9819077 140737044369152 18446744073709551615 7227284 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 20879 19506 728 1374 0 19500 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 83516
[startup+1302.3 s]
/proc/loadavg: 1.10 1.07 1.16 2/107 10836
/proc/meminfo: memFree=1400616/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=87440 CPUtime=1301.78
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 8118325 0 0 0 125381 4797 0 0 25 0 1 0 10571781 89538560 20303 1992294400 4194304 9819077 140737044369152 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 21860 20303 728 1374 0 20481 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 87440
[startup+1362.3 s]
/proc/loadavg: 1.09 1.07 1.15 2/107 10838
/proc/meminfo: memFree=1398136/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=89612 CPUtime=1361.76
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 8499469 0 0 0 131149 5027 0 0 25 0 1 0 10571781 91762688 20931 1992294400 4194304 9819077 140737044369152 18446744073709551615 7291896 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 22403 20931 728 1374 0 21024 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 89612
[startup+1422.31 s]
/proc/loadavg: 1.08 1.07 1.14 2/107 10840
/proc/meminfo: memFree=1394292/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=93632 CPUtime=1421.74
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 8871399 0 0 0 136925 5249 0 0 25 0 1 0 10571781 95879168 21870 1992294400 4194304 9819077 140737044369152 18446744073709551615 5000156 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 23408 21870 728 1374 0 22029 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 93632
[startup+1482.3 s]
/proc/loadavg: 1.08 1.07 1.14 2/107 10842
/proc/meminfo: memFree=1392432/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=95504 CPUtime=1481.71
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 9237658 0 0 0 142693 5478 0 0 25 0 1 0 10571781 97796096 22370 1992294400 4194304 9819077 140737044369152 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 23397 22318 728 1374 0 22018 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 95504
[startup+1542.3 s]
/proc/loadavg: 1.07 1.06 1.13 2/107 10842
/proc/meminfo: memFree=1387596/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=100036 CPUtime=1541.69
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 9615357 0 0 0 148450 5719 0 0 25 0 1 0 10571781 102436864 23517 1992294400 4194304 9819077 140737044369152 18446744073709551615 6584143 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 25009 23517 728 1374 0 23630 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 100036
[startup+1602.3 s]
/proc/loadavg: 1.02 1.05 1.12 2/107 10853
/proc/meminfo: memFree=1383752/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=103440 CPUtime=1601.65
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 9997530 0 0 0 154208 5957 0 0 25 0 1 0 10571781 105922560 24423 1992294400 4194304 9819077 140737044369152 18446744073709551615 7311116 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 25860 24423 728 1374 0 24481 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 103440
[startup+1662.3 s]
/proc/loadavg: 1.01 1.04 1.11 2/107 10855
/proc/meminfo: memFree=1379040/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=108488 CPUtime=1661.63
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 10372117 0 0 0 159973 6190 0 0 25 0 1 0 10571781 111091712 25607 1992294400 4194304 9819077 140737044369152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 27122 25607 728 1374 0 25743 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 108488
[startup+1722.3 s]
/proc/loadavg: 1.00 1.03 1.09 2/107 10857
/proc/meminfo: memFree=1373832/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=112812 CPUtime=1721.61
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 10748121 0 0 0 165730 6431 0 0 25 0 1 0 10571781 115519488 26887 1992294400 4194304 9819077 140737044369152 18446744073709551615 7230509 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 28203 26888 728 1374 0 26824 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 112812
[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.09 2/107 10859
/proc/meminfo: memFree=1372716/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=114556 CPUtime=1781.59
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 11131218 0 0 0 171495 6664 0 0 25 0 1 0 10571781 117305344 27160 1992294400 4194304 9819077 140737044369152 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 28639 27160 728 1374 0 27260 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 114556
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 1.00 1.02 1.08 2/107 10859
/proc/meminfo: memFree=1371228/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=115188 CPUtime=1800.08
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 11244528 0 0 0 173277 6731 0 0 25 0 1 0 10571781 117952512 27512 1992294400 4194304 9819077 140737044369152 18446744073709551615 7286958 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10801/statm: 28797 27515 728 1374 0 27418 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 115188
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801 s]
/proc/loadavg: 1.00 1.02 1.08 2/107 10859
/proc/meminfo: memFree=1371228/2059040 swapFree=4192956/4192956
[pid=10801] ppid=10799 vsize=115768 CPUtime=1800.27
/proc/10801/stat : 10801 (pbscip.linux.x8) R 10799 10801 10703 0 -1 4202496 11244575 0 0 0 173296 6731 0 0 25 0 1 0 10571781 118546432 27475 1992294400 4194304 9819077 140737044369152 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10801/statm: 28942 27475 731 1374 0 27563 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 115768
Child status: 0
Real time (s): 1801.08
CPU time (s): 1800.37
CPU user time (s): 1733.03
CPU system time (s): 67.3358
CPU usage (%): 99.9605
Max. virtual memory (cumulated for all children) (KiB): 116668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1733.03
system time used= 67.3358
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11244579
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= 6212
runsolver used 3.07253 second user time and 8.40572 second system time
The end