Trace number 2705206

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solverMSAT 1790.71 1790.64

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-floppy1-7.ucl--soft-0-100-0.wbo
MD5SUMc66b0d06980494e69f908f826af367b4
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.029994
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2913
Total number of constraints3105
Number of soft constraints3105
Number of constraints which are clauses2259
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints846
Minimum length of a constraint1
Maximum length of a constraint25
Top cost 157316
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 157315
Biggest number in a constraint 6518
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 18803
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705206-1278578353.wbo>
0.03/0.05	c original problem has 9123 variables (6018 bin, 0 int, 3105 impl, 0 cont) and 6211 constraints
0.03/0.05	c problem read
0.03/0.05	c presolving settings loaded
0.09/0.18	o 157315
0.09/0.18	c feasible solution found by trivial heuristic, objective value  1.573150e+05
0.09/0.18	c presolving:
0.09/0.19	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 514 chg sides, 1028 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.19/0.20	c (round 2) 0 del vars, 1 del conss, 3105 chg bounds, 514 chg sides, 1028 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.19/0.22	c (round 3) 0 del vars, 1 del conss, 3105 chg bounds, 514 chg sides, 1028 chg coeffs, 1 upgd conss, 5364 impls, 0 clqs
0.19/0.27	c    (0.2s) probing: 101/6018 (1.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.27	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.27	c presolving (4 rounds):
0.19/0.27	c  0 deleted vars, 1 deleted constraints, 3105 tightened bounds, 0 added holes, 514 changed sides, 1028 changed coefficients
0.19/0.27	c  5368 implications, 0 cliques
0.19/0.27	c presolved problem has 9123 variables (6018 bin, 0 int, 3105 impl, 0 cont) and 6210 constraints
0.19/0.27	c       1 constraints of type <varbound>
0.19/0.27	c    3104 constraints of type <linear>
0.19/0.27	c    3105 constraints of type <indicator>
0.19/0.27	c transformed objective value is always integral (scale: 1)
0.19/0.27	c Presolving Time: 0.20
0.19/0.27	c - non default parameters ----------------------------------------------------------------------
0.19/0.27	c # SCIP version 1.2.1.3
0.19/0.27	c 
0.19/0.27	c # frequency for displaying node information lines
0.19/0.27	c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.27	c display/freq = 10000
0.19/0.27	c 
0.19/0.27	c # maximal time in seconds to run
0.19/0.27	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.27	c limits/time = 1789.95
0.19/0.27	c 
0.19/0.27	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.27	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.27	c limits/memory = 3420
0.19/0.27	c 
0.19/0.27	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.27	c # [type: int, range: [1,2], default: 1]
0.19/0.27	c timing/clocktype = 2
0.19/0.27	c 
0.19/0.27	c # should presolving try to simplify inequalities
0.19/0.27	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27	c constraints/linear/simplifyinequalities = TRUE
0.19/0.27	c 
0.19/0.27	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.27	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27	c constraints/indicator/addCouplingCons = TRUE
0.19/0.27	c 
0.19/0.27	c # should presolving try to simplify knapsacks
0.19/0.27	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27	c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.27	c 
0.19/0.27	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.27	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.27	c separating/rapidlearning/freq = 0
0.19/0.27	c 
0.19/0.27	c -----------------------------------------------------------------------------------------------
0.19/0.27	c start solving
0.19/0.28	c 
0.19/0.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.19/0.29	c t 0.2s|     1 |     0 |     0 |     - |  28M|   0 |   0 |9123 |6210 |9123 |   0 |   0 |   0 |   0 | 0.000000e+00 | 1.573150e+05 |    Inf 
0.59/0.60	c   0.6s|     1 |     0 |   196 |     - |  28M|   0 | 125 |9123 |6210 |9123 | 196 | 196 |   0 |   0 | 0.000000e+00 | 1.573150e+05 |    Inf 
0.59/0.68	c   0.6s|     1 |     0 |   365 |     - |  28M|   0 | 154 |9123 |6210 |9123 | 416 | 416 |   0 |   0 | 0.000000e+00 | 1.573150e+05 |    Inf 
0.69/0.77	c   0.7s|     1 |     0 |   560 |     - |  29M|   0 | 349 |9123 |6210 |9123 | 608 | 608 |   0 |   0 | 0.000000e+00 | 1.573150e+05 |    Inf 
0.89/0.95	c   0.9s|     1 |     0 |   581 |     - |  29M|   0 | 326 |9123 |6210 |9123 | 629 | 629 |   0 |   0 | 0.000000e+00 | 1.573150e+05 |    Inf 
0.89/0.97	o 157312
0.89/0.97	c y 0.9s|     1 |     0 |   581 |     - |  29M|   0 | 326 |9123 |6210 |9123 | 629 | 629 |   0 |   0 | 0.000000e+00 | 1.573120e+05 |    Inf 
1.00/1.09	c   1.0s|     1 |     0 |   583 |     - |  29M|   0 | 324 |9123 |6210 |9123 | 631 | 631 |   0 |   0 | 0.000000e+00 | 1.573120e+05 |    Inf 
1.19/1.29	c   1.2s|     1 |     2 |   897 |     - |  29M|   0 | 324 |9123 |6210 |9123 | 631 | 631 |   0 |  33 | 0.000000e+00 | 1.573120e+05 |    Inf 
46.10/46.11	c  46.1s| 10000 |  9994 |  4633 |   0.4 |  64M|2413 |   0 |9123 |6218 |9123 | 644 | 912 |   8 |4425 | 0.000000e+00 | 1.573120e+05 |    Inf 
86.19/86.29	c  86.2s| 20000 | 19987 | 10284 |   0.5 |  97M|2419 |   0 |9123 |6222 |9123 | 784 |1519 |  12 |5317 | 0.000000e+00 | 1.573120e+05 |    Inf 
126.69/126.78	c   127s| 30000 | 29984 | 18394 |   0.6 | 129M|2419 |  38 |9123 |6226 |9123 | 630 |2795 |  16 |5948 | 0.000000e+00 | 1.573120e+05 |    Inf 
165.39/165.49	c   165s| 40000 | 39983 | 28425 |   0.7 | 159M|2419 |   0 |9123 |6227 |9123 | 757 |3978 |  17 |6380 | 0.000000e+00 | 1.573120e+05 |    Inf 
203.30/203.36	c   203s| 50000 | 49983 | 37999 |   0.7 | 188M|2419 |   0 |9123 |6227 |9123 | 773 |5023 |  17 |6724 | 0.000000e+00 | 1.573120e+05 |    Inf 
240.90/240.96	c   241s| 60000 | 59983 | 48216 |   0.8 | 217M|2419 |   0 |9123 |6227 |9123 | 763 |5992 |  17 |7082 | 0.000000e+00 | 1.573120e+05 |    Inf 
285.20/285.25	c   285s| 70000 | 69981 | 57900 |   0.8 | 246M|2419 |  95 |9123 |6228 |9123 | 630 |6954 |  18 |7522 | 0.000000e+00 | 1.573120e+05 |    Inf 
329.60/329.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
329.60/329.62	c   330s| 80000 | 79981 | 68114 |   0.8 | 275M|2419 |  33 |9123 |6228 |9123 | 630 |8050 |  18 |7852 | 0.000000e+00 | 1.573120e+05 |    Inf 
372.81/372.84	c   373s| 90000 | 89981 | 78454 |   0.9 | 304M|2419 |   0 |9123 |6228 |9123 | 745 |9114 |  18 |7949 | 0.000000e+00 | 1.573120e+05 |    Inf 
416.11/416.11	c   416s|100000 | 99981 | 89218 |   0.9 | 333M|2419 |   0 |9123 |6228 |9123 | 740 |  10k|  18 |8295 | 0.000000e+00 | 1.573120e+05 |    Inf 
458.40/458.46	c   458s|110000 |109978 |100201 |   0.9 | 362M|2419 | 148 |9123 |6230 |9123 | 630 |  10k|  20 |8599 | 0.000000e+00 | 1.573120e+05 |    Inf 
499.81/499.82	c   500s|120000 |119974 |111058 |   0.9 | 390M|2419 |   1 |9123 |6232 |9123 | 698 |  11k|  22 |8734 | 0.000000e+00 | 1.573120e+05 |    Inf 
540.81/540.83	c   541s|130000 |129971 |121431 |   0.9 | 419M|2419 | 190 |9123 |6234 |9123 | 630 |  12k|  24 |8769 | 0.000000e+00 | 1.573120e+05 |    Inf 
581.92/581.95	c   582s|140000 |139967 |131501 |   0.9 | 448M|2419 |  28 |9123 |6236 |9123 | 630 |  13k|  26 |8853 | 0.000000e+00 | 1.573120e+05 |    Inf 
623.41/623.44	c   623s|150000 |149967 |141621 |   0.9 | 477M|2419 |   0 |9123 |6236 |9123 | 699 |  13k|  26 |9073 | 0.000000e+00 | 1.573120e+05 |    Inf 
665.71/665.75	c   666s|160000 |159967 |150820 |   0.9 | 505M|2419 |   0 |9123 |6236 |9123 | 722 |  14k|  26 |9468 | 0.000000e+00 | 1.573120e+05 |    Inf 
708.12/708.19	c   708s|170000 |169967 |158817 |   0.9 | 534M|2419 | 179 |9123 |6236 |9123 | 630 |  15k|  26 |9562 | 0.000000e+00 | 1.573120e+05 |    Inf 
751.01/751.08	c   751s|180000 |179967 |166842 |   0.9 | 563M|2419 |  35 |9123 |6236 |9123 | 630 |  15k|  26 |  10k| 0.000000e+00 | 1.573120e+05 |    Inf 
793.02/793.04	c   793s|190000 |189967 |177276 |   0.9 | 592M|2419 |   1 |9123 |6236 |9123 | 682 |  16k|  26 |  10k| 0.000000e+00 | 1.573120e+05 |    Inf 
832.73/832.73	c   833s|200000 |199967 |188718 |   0.9 | 620M|2419 |   0 |9123 |6236 |9123 | 673 |  16k|  26 |  10k| 0.000000e+00 | 1.573120e+05 |    Inf 
877.62/877.69	c   878s|210000 |209966 |194109 |   0.9 | 649M|2419 |   0 |9123 |6237 |9123 | 644 |  16k|  27 |  11k| 0.000000e+00 | 1.573120e+05 |    Inf 
921.52/921.56	c   922s|220000 |219966 |200243 |   0.9 | 678M|2419 |  12 |9123 |6237 |9123 | 630 |  16k|  27 |  11k| 0.000000e+00 | 1.573120e+05 |    Inf 
963.63/963.68	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
963.63/963.68	c   964s|230000 |229966 |208802 |   0.9 | 707M|2419 |   2 |9123 |6237 |9123 | 659 |  17k|  27 |  11k| 0.000000e+00 | 1.573120e+05 |    Inf 
1008.03/1008.08	c  1008s|240000 |239966 |213963 |   0.9 | 736M|2419 |   0 |9123 |6237 |9123 | 728 |  17k|  27 |  11k| 0.000000e+00 | 1.573120e+05 |    Inf 
1054.43/1054.49	c  1054s|250000 |249964 |216895 |   0.9 | 765M|2419 | 163 |9123 |6237 |9123 | 630 |  17k|  28 |  11k| 0.000000e+00 | 1.573120e+05 |    Inf 
1101.63/1101.62	c  1102s|260000 |259964 |219572 |   0.8 | 794M|2419 |   0 |9123 |6237 |9123 | 650 |  17k|  28 |  11k| 0.000000e+00 | 1.573120e+05 |    Inf 
1146.93/1146.96	c  1147s|270000 |269964 |223437 |   0.8 | 823M|2419 |   0 |9123 |6237 |9123 | 723 |  18k|  28 |  12k| 0.000000e+00 | 1.573120e+05 |    Inf 
1189.93/1189.99	c  1190s|280000 |279964 |230627 |   0.8 | 852M|2419 |   0 |9123 |6236 |9123 | 657 |  18k|  28 |  12k| 0.000000e+00 | 1.573120e+05 |    Inf 
1235.93/1235.95	c  1236s|290000 |289964 |234436 |   0.8 | 881M|2419 |   0 |9123 |6236 |9123 | 643 |  18k|  28 |  12k| 0.000000e+00 | 1.573120e+05 |    Inf 
1281.23/1281.24	c  1281s|300000 |299964 |238963 |   0.8 | 909M|2419 |  71 |9123 |6236 |9123 | 630 |  19k|  28 |  13k| 0.000000e+00 | 1.573120e+05 |    Inf 
1323.35/1323.31	c  1323s|310000 |309964 |248387 |   0.8 | 938M|2419 |   0 |9123 |6236 |9123 | 651 |  19k|  28 |  13k| 0.000000e+00 | 1.573120e+05 |    Inf 
1364.53/1364.57	c  1365s|320000 |319964 |257836 |   0.8 | 967M|2419 |   0 |9123 |6235 |9123 | 723 |  19k|  28 |  13k| 0.000000e+00 | 1.573120e+05 |    Inf 
1412.04/1412.00	c  1412s|330000 |329964 |259625 |   0.8 | 996M|2419 |   0 |9123 |6235 |9123 | 645 |  19k|  28 |  13k| 0.000000e+00 | 1.573120e+05 |    Inf 
1457.74/1457.78	c  1458s|340000 |339964 |263926 |   0.8 |1025M|2419 |   0 |9123 |6235 |9123 | 654 |  20k|  28 |  13k| 0.000000e+00 | 1.573120e+05 |    Inf 
1501.04/1501.04	c  1501s|350000 |349964 |272579 |   0.8 |1054M|2419 |   0 |9123 |6235 |9123 | 658 |  20k|  28 |  14k| 0.000000e+00 | 1.573120e+05 |    Inf 
1547.65/1547.64	c  1548s|360000 |359964 |275669 |   0.8 |1083M|2419 |   0 |9123 |6235 |9123 | 651 |  20k|  28 |  14k| 0.000000e+00 | 1.573120e+05 |    Inf 
1594.34/1594.37	c  1594s|370000 |369964 |277564 |   0.7 |1112M|2419 | 167 |9123 |6235 |9123 | 630 |  20k|  28 |  14k| 0.000000e+00 | 1.573120e+05 |    Inf 
1641.05/1641.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1641.05/1641.06	c  1641s|380000 |379962 |281454 |   0.7 |1141M|2419 |   0 |9123 |6236 |9123 | 653 |  21k|  29 |  14k| 0.000000e+00 | 1.573120e+05 |    Inf 
1687.95/1687.99	c  1688s|390000 |389962 |283767 |   0.7 |1170M|2419 |   0 |9123 |6235 |9123 | 657 |  21k|  29 |  14k| 0.000000e+00 | 1.573120e+05 |    Inf 
1734.26/1734.25	c  1734s|400000 |399960 |286661 |   0.7 |1199M|2419 |   1 |9123 |6238 |9123 | 641 |  21k|  32 |  14k| 0.000000e+00 | 1.573120e+05 |    Inf 
1781.35/1781.32	c  1781s|410000 |409960 |288881 |   0.7 |1228M|2419 |   0 |9123 |6238 |9123 | 649 |  21k|  32 |  14k| 0.000000e+00 | 1.573120e+05 |    Inf 
1790.05/1790.00	c 
1790.05/1790.00	c SCIP Status        : solving was interrupted [time limit reached]
1790.05/1790.00	c Solving Time (sec) : 1789.95
1790.05/1790.00	c Solving Nodes      : 411836
1790.05/1790.00	c Primal Bound       : +1.57312000000000e+05 (103 solutions)
1790.05/1790.00	c Dual Bound         : +0.00000000000000e+00
1790.05/1790.00	c Gap                : infinite
1790.15/1790.16	s SATISFIABLE
1790.15/1790.16	v -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 
1790.15/1790.16	v -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 
1790.15/1790.16	v -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 
1790.15/1790.16	v -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 
1790.15/1790.16	v -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 
1790.15/1790.16	v -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 
1790.15/1790.16	v -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 
1790.15/1790.16	v -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 
1790.15/1790.16	v -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 
1790.15/1790.16	v -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 
1790.15/1790.16	v -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 
1790.15/1790.16	v -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 
1790.15/1790.16	v -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 
1790.15/1790.16	v -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 
1790.15/1790.16	v -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 
1790.15/1790.16	v -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 
1790.15/1790.16	v -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 
1790.15/1790.16	v -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 
1790.15/1790.16	v -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 
1790.15/1790.16	v -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 
1790.15/1790.16	v -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 
1790.15/1790.16	v -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 
1790.15/1790.16	v -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 
1790.15/1790.16	v -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 
1790.15/1790.16	v -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 
1790.15/1790.16	v -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 
1790.15/1790.16	v -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 
1790.15/1790.16	v -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 
1790.15/1790.16	v -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 
1790.15/1790.16	v -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 
1790.15/1790.16	v -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 
1790.15/1790.16	v -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 
1790.15/1790.16	v -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 
1790.15/1790.16	v -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 
1790.15/1790.16	v -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 
1790.15/1790.16	v -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 
1790.15/1790.16	v -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 
1790.15/1790.16	v -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 
1790.15/1790.16	v -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 
1790.15/1790.16	v -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 
1790.15/1790.16	v -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 
1790.15/1790.16	v -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 
1790.15/1790.16	v -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 
1790.15/1790.16	v -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 
1790.15/1790.16	v -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 
1790.15/1790.16	v -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 
1790.15/1790.16	v -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 
1790.15/1790.16	v -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 
1790.15/1790.16	v -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 
1790.15/1790.16	v -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 
1790.15/1790.16	v -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 
1790.15/1790.16	v -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 
1790.15/1790.16	v -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 
1790.15/1790.16	v -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 
1790.15/1790.16	v -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 
1790.15/1790.16	v -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 
1790.15/1790.16	v -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 
1790.15/1790.16	v -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 
1790.15/1790.16	v -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 
1790.15/1790.16	v -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 
1790.15/1790.16	v -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 
1790.15/1790.16	v -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 
1790.15/1790.16	v -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 
1790.15/1790.16	v -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 
1790.15/1790.16	v -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 
1790.15/1790.16	v -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 
1790.15/1790.16	v -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 
1790.15/1790.16	v -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 
1790.15/1790.16	v -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 
1790.15/1790.16	v -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 
1790.15/1790.16	v -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 
1790.15/1790.16	v -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 
1790.15/1790.16	v -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 
1790.15/1790.16	v -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 
1790.15/1790.16	v -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 
1790.15/1790.16	v -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 
1790.15/1790.16	v -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 
1790.15/1790.16	v -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 
1790.15/1790.16	v -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 
1790.15/1790.16	v -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 
1790.15/1790.16	v -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 
1790.15/1790.16	v -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 
1790.15/1790.16	v -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 
1790.15/1790.16	v -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 
1790.15/1790.16	v -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 
1790.15/1790.16	v -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 
1790.15/1790.16	v -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 
1790.15/1790.16	v -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 
1790.15/1790.16	v -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 
1790.15/1790.16	v -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 
1790.15/1790.16	v -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 
1790.15/1790.16	v -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 
1790.15/1790.16	v -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 
1790.15/1790.16	v -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 
1790.15/1790.16	v -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 
1790.15/1790.16	v -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 x1199 
1790.15/1790.16	v -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 
1790.15/1790.16	v -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 
1790.15/1790.16	v -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 
1790.15/1790.16	v -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 
1790.15/1790.16	v -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 
1790.15/1790.16	v -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 
1790.15/1790.16	v -x1091 -x1090 -x1089 -x1088 -x1087 x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 x1078 -x1077 -x1076 -x1075 x1074 -x1073 
1790.15/1790.16	v -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 
1790.15/1790.16	v -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 
1790.15/1790.16	v -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 
1790.15/1790.16	v -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 
1790.15/1790.16	v -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 
1790.15/1790.16	v -x981 -x980 -x979 -x978 -x977 -x976 x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 
1790.15/1790.16	v -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 
1790.15/1790.16	v x939 x938 x937 x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 x921 -x920 -x919 -x918 
1790.15/1790.16	v -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 
1790.15/1790.16	v -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 
1790.15/1790.16	v -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 
1790.15/1790.16	v -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 x838 -x837 -x836 -x835 -x834 
1790.15/1790.16	v -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 
1790.15/1790.16	v x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 x796 -x795 -x794 -x793 -x792 
1790.15/1790.16	v -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 x781 -x780 -x779 -x778 -x777 -x776 x775 -x774 -x773 -x772 -x771 
1790.15/1790.16	v -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 
1790.15/1790.16	v -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 
1790.15/1790.16	v -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 
1790.15/1790.16	v -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 x690 -x689 -x688 
1790.15/1790.16	v -x687 -x686 -x685 -x684 -x683 -x682 x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 x672 -x671 -x670 -x669 -x668 -x667 -x666 
1790.15/1790.16	v -x665 -x664 x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 
1790.15/1790.16	v -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 x626 -x625 -x624 
1790.15/1790.16	v -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 x607 -x606 -x605 -x604 -x603 
1790.15/1790.16	v -x602 -x601 -x600 x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 x586 -x585 -x584 x583 -x582 
1790.15/1790.16	v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 
1790.15/1790.16	v -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 
1790.15/1790.16	v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 
1790.15/1790.16	v -x518 -x517 -x516 -x515 -x514 x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 
1790.15/1790.16	v -x497 -x496 -x495 -x494 x493 x492 x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 
1790.15/1790.16	v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 
1790.15/1790.16	v -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 
1790.15/1790.16	v -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 x424 -x423 -x422 -x421 -x420 -x419 x418 -x417 -x416 -x415 -x414 
1790.15/1790.16	v -x413 x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393 
1790.15/1790.16	v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 x372 
1790.15/1790.16	v -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 x354 -x353 -x352 -x351 
1790.15/1790.16	v x350 x349 x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 x329 
1790.15/1790.16	v -x328 x327 -x326 -x325 x324 x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 -x309 -x308 -x307 
1790.15/1790.16	v -x306 -x305 -x304 -x303 -x302 x301 x300 x299 x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 x289 x288 x287 -x286 -x285 
1790.15/1790.16	v -x284 -x283 -x282 -x281 -x280 -x279 -x278 x277 x276 x275 -x274 -x273 -x272 x271 x270 x269 -x268 -x267 -x266 -x265 -x264 -x263 
1790.15/1790.16	v x262 -x261 -x260 -x259 x258 -x257 -x256 -x255 x254 -x253 -x252 -x251 -x250 -x249 x248 -x247 -x246 x245 -x244 -x243 x242 
1790.15/1790.16	v -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 
1790.15/1790.16	v -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 
1790.15/1790.16	v -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 x189 x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 
1790.15/1790.16	v -x177 -x176 -x175 -x174 -x173 x172 x171 x170 -x169 -x168 x167 x166 x165 x164 x163 x162 x161 x160 -x159 -x158 x157 -x156 
1790.15/1790.16	v -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 
1790.15/1790.16	v -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 x125 x124 -x123 -x122 -x121 -x120 -x119 x118 x117 x116 -x115 -x114 -x113 
1790.15/1790.16	v -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 x90 
1790.15/1790.16	v x89 x88 x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 x77 -x76 -x75 -x74 x73 x72 x71 x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 
1790.15/1790.16	v -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 x54 x53 x52 -x51 -x50 -x49 x48 -x47 -x46 x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 
1790.15/1790.16	v x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 x11 
1790.15/1790.16	v -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 x1 
1790.15/1790.16	c SCIP Status        : solving was interrupted [time limit reached]
1790.15/1790.16	c Solving Time       :    1789.95
1790.15/1790.16	c Original Problem   :
1790.15/1790.16	c   Problem name     : HOME/instance-2705206-1278578353.wbo
1790.15/1790.16	c   Variables        : 9123 (6018 binary, 0 integer, 3105 implicit integer, 0 continuous)
1790.15/1790.16	c   Constraints      : 6211 initial, 6211 maximal
1790.15/1790.16	c Presolved Problem  :
1790.15/1790.16	c   Problem name     : t_HOME/instance-2705206-1278578353.wbo
1790.15/1790.16	c   Variables        : 9123 (6018 binary, 0 integer, 3105 implicit integer, 0 continuous)
1790.15/1790.16	c   Constraints      : 6210 initial, 6238 maximal
1790.15/1790.16	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.15/1790.16	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1790.15/1790.16	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1790.15/1790.16	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.15/1790.16	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.15/1790.16	c   implics          :       0.00          0          0          0          0          0          0          0          0
1790.15/1790.16	c   probing          :       0.05          0          0          0          0          0          0          0          0
1790.15/1790.16	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1790.15/1790.16	c   linear           :       0.04          0          0          0       3105          0          1        514       1028
1790.15/1790.16	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1790.15/1790.16	c   bounddisjunction :       0.00          0          0          0          0          0          0          0          0
1790.15/1790.16	c   root node        :          -          0          -          -          0          -          -          -          -
1790.15/1790.16	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.15/1790.16	c   integral         :          0          0          0     418811          0          0          0          0          0     265920
1790.15/1790.16	c   varbound         :          1          6     260462      55112          0          0        339          1          0          0
1790.15/1790.16	c   linear           :       3104          6     629788     285851          0         19     224131      21818          0          0
1790.15/1790.16	c   indicator        :       3105          0     629769     285851          0          0     160066          0          0          0
1790.15/1790.16	c   bounddisjunction :          0+         0       3725          0          0          0       1011          0          0          0
1790.15/1790.16	c   countsols        :          0          0          0     278854          0          0          0          0          0          0
1790.15/1790.16	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.15/1790.16	c   integral         :      34.67       0.00       0.00      34.67       0.00
1790.15/1790.16	c   varbound         :       0.17       0.00       0.14       0.03       0.00
1790.15/1790.16	c   linear           :     213.14       0.00      25.66     187.48       0.00
1790.15/1790.16	c   indicator        :     168.65       0.02      58.87     109.76       0.00
1790.15/1790.16	c   bounddisjunction :       0.02       0.00       0.02       0.00       0.00
1790.15/1790.16	c   countsols        :       0.09       0.00       0.00       0.09       0.00
1790.15/1790.16	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.15/1790.16	c   vbounds          :      18.64     128565          0     103509
1790.15/1790.16	c   rootredcost      :       0.29          1          0          0
1790.15/1790.16	c   pseudoobj        :      40.31     629588          0          0
1790.15/1790.16	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.15/1790.16	c   propagation      :       0.00         19         19         64       27.7          0        0.0          -
1790.15/1790.16	c   infeasible LP    :       0.00          6          6          6        4.7          0        0.0          0
1790.15/1790.16	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.15/1790.16	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.15/1790.16	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.15/1790.16	c   applied globally :          -          -          -         32       17.3          -          -          -
1790.15/1790.16	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.15/1790.16	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.15/1790.16	c   cut pool         :       0.00          4          -          -         10          -    (maximal pool size: 157)
1790.15/1790.16	c   redcost          :      82.72     418815          0          0          0          0
1790.15/1790.16	c   impliedbounds    :       0.00          5          0          0          0          0
1790.15/1790.16	c   intobj           :       0.00          0          0          0          0          0
1790.15/1790.16	c   cgmip            :       0.00          0          0          0          0          0
1790.15/1790.16	c   gomory           :       0.00          5          0          0         25          0
1790.15/1790.16	c   strongcg         :       0.00          5          0          0         25          0
1790.15/1790.16	c   cmir             :       0.16          5          0          0         57          0
1790.15/1790.16	c   flowcover        :       0.34          5          0          0        118          0
1790.15/1790.16	c   clique           :       0.00          1          0          0          0          0
1790.15/1790.16	c   zerohalf         :       0.00          0          0          0          0          0
1790.15/1790.16	c   mcf              :       0.00          1          0          0          0          0
1790.15/1790.16	c   rapidlearning    :       0.30          1          0          0          0          0
1790.15/1790.16	c Pricers            :       Time      Calls       Vars
1790.15/1790.16	c   problem variables:       0.00          0          0
1790.15/1790.16	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.15/1790.16	c   relpscost        :      34.21     132960          0          0          0          0     265920
1790.15/1790.16	c   pscost           :       0.00          0          0          0          0          0          0
1790.15/1790.16	c   inference        :     425.14     278854          0          0          0          0     557714
1790.15/1790.16	c   mostinf          :       0.00          0          0          0          0          0          0
1790.15/1790.16	c   leastinf         :       0.00          0          0          0          0          0          0
1790.15/1790.16	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.15/1790.16	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.15/1790.16	c   random           :       0.00          0          0          0          0          0          0
1790.15/1790.16	c Primal Heuristics  :       Time      Calls      Found
1790.15/1790.16	c   LP solutions     :       0.00          -          0
1790.15/1790.16	c   pseudo solutions :       0.00          -          0
1790.15/1790.16	c   intshifting      :       0.00          0          0
1790.15/1790.16	c   feaspump         :       0.00          0          0
1790.15/1790.16	c   oneopt           :       0.42          1          0
1790.15/1790.16	c   crossover        :       0.90         11          0
1790.15/1790.16	c   fracdiving       :       1.30        331          0
1790.15/1790.16	c   veclendiving     :       1.34        331          0
1790.15/1790.16	c   linesearchdiving :       1.34        331          0
1790.15/1790.16	c   guideddiving     :       1.32        331          0
1790.15/1790.16	c   coefdiving       :       1.31        331          0
1790.15/1790.16	c   pscostdiving     :       1.32        331          0
1790.15/1790.16	c   objpscostdiving  :       1.36        330          0
1790.15/1790.16	c   rootsoldiving    :       1.42        330          0
1790.15/1790.16	c   trivial          :       0.11          2          2
1790.15/1790.16	c   simplerounding   :       0.52     131550          0
1790.15/1790.16	c   zirounding       :       0.25       1000          0
1790.15/1790.16	c   rounding         :       0.35       5074          0
1790.15/1790.16	c   shifting         :       2.61       1544          0
1790.15/1790.16	c   twoopt           :       0.00          0          0
1790.15/1790.16	c   fixandinfer      :       0.00          0          0
1790.15/1790.16	c   intdiving        :       0.00          0          0
1790.15/1790.16	c   actconsdiving    :       0.00          0          0
1790.15/1790.16	c   octane           :       0.00          0          0
1790.15/1790.16	c   rens             :       0.05          1          0
1790.15/1790.16	c   rins             :       0.00          0          0
1790.15/1790.16	c   localbranching   :       0.00          0          0
1790.15/1790.16	c   mutation         :       0.00          0          0
1790.15/1790.16	c   dins             :       0.00          0          0
1790.15/1790.16	c   undercover       :       0.00          0          0
1790.15/1790.16	c   nlp              :       0.14          0          0
1790.15/1790.16	c   trysol           :       0.47        681        101
1790.15/1790.16	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.15/1790.16	c   primal LP        :       0.00          0          0       0.00          -
1790.15/1790.16	c   dual LP          :     471.90     152507     288830       1.89     612.05
1790.15/1790.16	c   lex dual LP      :       0.00          0          0       0.00          -
1790.15/1790.16	c   barrier LP       :       0.00          0          0       0.00          -
1790.15/1790.16	c   diving/probing LP:       0.04         18        341      18.94    7657.24
1790.15/1790.16	c   strong branching :      30.36      14710      54718       3.72    1802.37
1790.15/1790.16	c     (at root node) :          -         33         76       2.30          -
1790.15/1790.16	c   conflict analysis:       0.00          0          0       0.00          -
1790.15/1790.16	c B&B Tree           :
1790.15/1790.16	c   number of runs   :          1
1790.15/1790.16	c   nodes            :     411836
1790.15/1790.16	c   nodes (total)    :     411836
1790.15/1790.16	c   nodes left       :     411796
1790.15/1790.16	c   max depth        :       2419
1790.15/1790.16	c   max depth (total):       2419
1790.15/1790.16	c   backtracks       :        339 (0.1%)
1790.15/1790.16	c   delayed cutoffs  :          3
1790.15/1790.16	c   repropagations   :       1313 (218 domain reductions, 3 cutoffs)
1790.15/1790.16	c   avg switch length:       2.23
1790.15/1790.16	c   switching time   :      32.38
1790.15/1790.16	c Solution           :
1790.15/1790.16	c   Solutions found  :        103 (2 improvements)
1790.15/1790.16	c   First Solution   : +1.57315000000000e+05   (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1790.15/1790.16	c   Primal Bound     : +1.57312000000000e+05   (in run 1, after 1 nodes, 0.90 seconds, depth 0, found by <trysol>)
1790.15/1790.16	c   Dual Bound       : +0.00000000000000e+00
1790.15/1790.16	c   Gap              :   infinite
1790.15/1790.16	c   Root Dual Bound  : +0.00000000000000e+00
1790.15/1790.16	c   Root Iterations  :        897
1790.65/1790.64	c Time complete: 1790.7.

Verifier Data 

OK	17170

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705206-1278578353/watcher-2705206-1278578353 -o /tmp/evaluation-result-2705206-1278578353/solver-2705206-1278578353 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705206-1278578353.wbo -t 1800 -m 3800 

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.06 2.02 1.95 4/178 24448
/proc/meminfo: memFree=29029448/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=12512 CPUtime=0
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 1975 0 0 0 0 0 0 0 22 0 1 0 26047555 12812288 1894 4089446400 4194304 10345943 140735173241968 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/24448/statm: 3128 1894 429 1502 0 1621 0

[startup+0.036516 s]
/proc/loadavg: 2.06 2.02 1.95 4/178 24448
/proc/meminfo: memFree=29029448/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=21256 CPUtime=0.03
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 4163 0 0 0 3 0 0 0 22 0 1 0 26047555 21766144 4082 4089446400 4194304 10345943 140735173241968 18446744073709551615 6328950 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/24448/statm: 5355 4108 430 1502 0 3848 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 21256

[startup+0.100504 s]
/proc/loadavg: 2.06 2.02 1.95 4/178 24448
/proc/meminfo: memFree=29029448/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=46156 CPUtime=0.09
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 10406 0 0 0 9 0 0 0 22 0 1 0 26047555 47263744 9971 4089446400 4194304 10345943 140735173241968 18446744073709551615 9138377 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24448/statm: 11539 9971 509 1502 0 10032 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 46156

[startup+0.300463 s]
/proc/loadavg: 2.06 2.02 1.95 4/178 24448
/proc/meminfo: memFree=29029448/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=59772 CPUtime=0.29
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 13841 0 0 0 29 0 0 0 22 0 1 0 26047555 61206528 13406 4089446400 4194304 10345943 140735173241968 18446744073709551615 6326861 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24448/statm: 14943 13466 632 1502 0 13436 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59772

[startup+0.700387 s]
/proc/loadavg: 2.06 2.02 1.95 4/178 24448
/proc/meminfo: memFree=29029448/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=90616 CPUtime=0.69
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 21679 0 0 0 67 2 0 0 23 0 1 0 26047555 92790784 21238 4089446400 4194304 10345943 140735173241968 18446744073709551615 5823729 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24448/statm: 22654 21238 740 1502 0 21147 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 90616

[startup+1.50024 s]
/proc/loadavg: 2.06 2.02 1.95 3/179 24449
/proc/meminfo: memFree=28946856/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=90616 CPUtime=1.49
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 21740 0 0 0 147 2 0 0 25 0 1 0 26047555 92790784 21299 4089446400 4194304 10345943 140735173241968 18446744073709551615 6518604 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24448/statm: 22654 21299 758 1502 0 21147 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 90616

[startup+3.10094 s]
/proc/loadavg: 2.06 2.02 1.95 3/179 24449
/proc/meminfo: memFree=28946480/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=90616 CPUtime=3.09
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 21740 0 0 0 306 3 0 0 25 0 1 0 26047555 92790784 21299 4089446400 4194304 10345943 140735173241968 18446744073709551615 4469793 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24448/statm: 22654 21299 758 1502 0 21147 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 90616

[startup+6.30033 s]
/proc/loadavg: 2.05 2.02 1.95 3/179 24449
/proc/meminfo: memFree=28945868/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=90616 CPUtime=6.29
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 21740 0 0 0 626 3 0 0 25 0 1 0 26047555 92790784 21299 4089446400 4194304 10345943 140735173241968 18446744073709551615 6803054 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24448/statm: 22654 21299 758 1502 0 21147 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 90616

[startup+12.7011 s]
/proc/loadavg: 2.05 2.02 1.95 3/179 24449
/proc/meminfo: memFree=28944312/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=93940 CPUtime=12.69
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 22170 0 0 0 1265 4 0 0 25 0 1 0 26047555 96194560 21729 4089446400 4194304 10345943 140735173241968 18446744073709551615 6787776 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24448/statm: 23485 21729 761 1502 0 21978 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 93940

[startup+25.5007 s]
/proc/loadavg: 2.04 2.02 1.95 3/179 24451
/proc/meminfo: memFree=28940180/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=97044 CPUtime=25.49
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 25032 0 0 0 2544 5 0 0 25 0 1 0 26047555 99373056 22816 4089446400 4194304 10345943 140735173241968 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/24448/statm: 24261 22816 768 1502 0 22754 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 97044

[startup+51.1008 s]
/proc/loadavg: 2.02 2.02 1.95 3/179 24451
/proc/meminfo: memFree=28922648/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=113536 CPUtime=51.09
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 29151 0 0 0 5101 8 0 0 25 0 1 0 26047555 116260864 26935 4089446400 4194304 10345943 140735173241968 18446744073709551615 5012568 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24448/statm: 28384 26935 769 1502 0 26877 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 113536

[startup+102.306 s]
/proc/loadavg: 2.01 2.01 1.95 3/179 24453
/proc/meminfo: memFree=28886468/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=145796 CPUtime=102.3
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 37976 0 0 0 10217 13 0 0 25 0 1 0 26047555 149295104 34883 4089446400 4194304 10345943 140735173241968 18446744073709551615 6802983 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24448/statm: 36449 34883 770 1502 0 34942 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 145796

[startup+162.301 s]
/proc/loadavg: 2.06 2.03 1.95 3/179 24453
/proc/meminfo: memFree=28838180/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=191956 CPUtime=162.3
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 49660 0 0 0 16211 19 0 0 25 0 1 0 26047555 196562944 46567 4089446400 4194304 10345943 140735173241968 18446744073709551615 4749704 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24448/statm: 47989 46567 770 1502 0 46482 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 191956

[startup+222.3 s]
/proc/loadavg: 2.02 2.02 1.95 3/179 24455
/proc/meminfo: memFree=28788652/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=238296 CPUtime=222.3
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 67590 0 0 0 22203 27 0 0 25 0 1 0 26047555 244015104 58292 4089446400 4194304 10345943 140735173241968 18446744073709551615 5619954 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24448/statm: 59574 58292 770 1502 0 58067 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 238296

[startup+282.301 s]
/proc/loadavg: 2.01 2.01 1.95 3/179 24619
/proc/meminfo: memFree=29480968/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=281196 CPUtime=282.3
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 78127 0 0 0 28196 34 0 0 25 0 1 0 26047555 287944704 68829 4089446400 4194304 10345943 140735173241968 18446744073709551615 4476316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24448/statm: 70299 68829 770 1502 0 68792 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 281196

[startup+342.301 s]
/proc/loadavg: 2.00 2.01 1.95 3/179 24621
/proc/meminfo: memFree=29399444/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=321096 CPUtime=342.31
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 87630 0 0 0 34191 40 0 0 25 0 1 0 26047555 328802304 78332 4089446400 4194304 10345943 140735173241968 18446744073709551615 6785237 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24448/statm: 80274 78332 770 1502 0 78767 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 321096

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24623
/proc/meminfo: memFree=29322176/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=358900 CPUtime=402.3
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 97399 0 0 0 40181 49 0 0 25 0 1 0 26047555 367513600 88101 4089446400 4194304 10345943 140735173241968 18446744073709551615 5614817 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24448/statm: 89725 88101 770 1502 0 88218 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 358900

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24623
/proc/meminfo: memFree=29236936/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=397472 CPUtime=462.31
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 113023 0 0 0 46175 56 0 0 25 0 1 0 26047555 407011328 97639 4089446400 4194304 10345943 140735173241968 18446744073709551615 4696445 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24448/statm: 99368 97639 770 1502 0 97861 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 397472

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 24625
/proc/meminfo: memFree=29156284/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=439028 CPUtime=522.31
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 123628 0 0 0 52168 63 0 0 25 0 1 0 26047555 449564672 108244 4089446400 4194304 10345943 140735173241968 18446744073709551615 9099894 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24448/statm: 109757 108244 770 1502 0 108250 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 439028

[startup+582.3 s]
/proc/loadavg: 2.08 2.02 1.96 3/179 24627
/proc/meminfo: memFree=29070180/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=482740 CPUtime=582.31
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 134608 0 0 0 58161 70 0 0 25 0 1 0 26047555 494325760 119224 4089446400 4194304 10345943 140735173241968 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24448/statm: 120685 119224 770 1502 0 119178 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 482740

[startup+642.301 s]
/proc/loadavg: 2.03 2.01 1.96 3/179 24629
/proc/meminfo: memFree=28987916/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=525300 CPUtime=642.32
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 145137 0 0 0 64155 77 0 0 25 0 1 0 26047555 537907200 129753 4089446400 4194304 10345943 140735173241968 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24448/statm: 131325 129753 770 1502 0 129818 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 525300

[startup+702.301 s]

################
# More data... #
################

/proc/meminfo: memFree=28421164/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=803904 CPUtime=1062.33
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 219833 0 0 0 106110 123 0 0 25 0 1 0 26047555 823197696 198590 4089446400 4194304 10345943 140735173241968 18446744073709551615 6702724 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24448/statm: 200976 198590 770 1502 0 199469 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 803904

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 24641
/proc/meminfo: memFree=28344856/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=837632 CPUtime=1122.34
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 228437 0 0 0 112105 129 0 0 25 0 1 0 26047555 857735168 207194 4089446400 4194304 10345943 140735173241968 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24448/statm: 209408 207194 770 1502 0 207901 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 837632

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 24643
/proc/meminfo: memFree=28264088/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=878264 CPUtime=1182.34
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 238368 0 0 0 118098 136 0 0 25 0 1 0 26047555 899342336 217124 4089446400 4194304 10345943 140735173241968 18446744073709551615 4476219 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24448/statm: 219566 217124 770 1502 0 218059 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 878264

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 24645
/proc/meminfo: memFree=28185044/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=915572 CPUtime=1242.34
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 247739 0 0 0 124092 142 0 0 25 0 1 0 26047555 937545728 226495 4089446400 4194304 10345943 140735173241968 18446744073709551615 6003097 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24448/statm: 228893 226495 770 1502 0 227386 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 915572

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 24647
/proc/meminfo: memFree=28102292/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=955116 CPUtime=1302.34
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 258005 0 0 0 130085 149 0 0 25 0 1 0 26047555 978038784 236601 4089446400 4194304 10345943 140735173241968 18446744073709551615 6119744 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24448/statm: 238779 236601 770 1502 0 237272 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 955116

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 24656
/proc/meminfo: memFree=28021040/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=997952 CPUtime=1362.34
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 268356 0 0 0 136079 155 0 0 25 0 1 0 26047555 1021902848 246952 4089446400 4194304 10345943 140735173241968 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24448/statm: 249488 246952 770 1502 0 247981 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 997952

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 24658
/proc/meminfo: memFree=27943632/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=1031052 CPUtime=1422.35
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 277220 0 0 0 142075 160 0 0 25 0 1 0 26047555 1055797248 255816 4089446400 4194304 10345943 140735173241968 18446744073709551615 5012734 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24448/statm: 257763 255816 770 1502 0 256256 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 1031052

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 24660
/proc/meminfo: memFree=27864592/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=1071252 CPUtime=1482.34
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 287040 0 0 0 148069 165 0 0 25 0 1 0 26047555 1096962048 265559 4089446400 4194304 10345943 140735173241968 18446744073709551615 6929854 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24448/statm: 267813 265559 770 1502 0 266306 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1071252

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 24662
/proc/meminfo: memFree=27785296/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=1112260 CPUtime=1542.35
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 296934 0 0 0 154064 171 0 0 25 0 1 0 26047555 1138954240 275453 4089446400 4194304 10345943 140735173241968 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24448/statm: 278065 275453 770 1502 0 276558 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 1112260

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 24664
/proc/meminfo: memFree=27708492/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=1145436 CPUtime=1602.35
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 305849 0 0 0 160059 176 0 0 25 0 1 0 26047555 1172926464 284368 4089446400 4194304 10345943 140735173241968 18446744073709551615 4476340 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24448/statm: 286359 284368 770 1502 0 284852 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 1145436

[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 1.97 3/179 24664
/proc/meminfo: memFree=27628844/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=1182480 CPUtime=1662.35
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 315183 0 0 0 166054 181 0 0 25 0 1 0 26047555 1210859520 293702 4089446400 4194304 10345943 140735173241968 18446744073709551615 4476219 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24448/statm: 295620 293702 770 1502 0 294113 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 1182480

[startup+1722.3 s]
/proc/loadavg: 2.09 2.03 1.97 3/179 24666
/proc/meminfo: memFree=27551640/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=1220448 CPUtime=1722.36
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 324340 0 0 0 172049 187 0 0 25 0 1 0 26047555 1249738752 302859 4089446400 4194304 10345943 140735173241968 18446744073709551615 4696431 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24448/statm: 305112 302859 770 1502 0 303605 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 1220448

[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 1.97 3/179 24668
/proc/meminfo: memFree=27475096/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=1255636 CPUtime=1782.36
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 339052 0 0 0 178042 194 0 0 25 0 1 0 26047555 1285771264 312338 4089446400 4194304 10345943 140735173241968 18446744073709551615 6119744 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24448/statm: 313909 312338 770 1502 0 312402 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 1255636

Solver just ended. Dumping a history of the last processes samples

[startup+1785.5 s]
/proc/loadavg: 2.03 2.02 1.97 3/179 24668
/proc/meminfo: memFree=27469764/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=1258036 CPUtime=1785.55
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 339358 0 0 0 178361 194 0 0 25 0 1 0 26047555 1288228864 312644 4089446400 4194304 10345943 140735173241968 18446744073709551615 4696445 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24448/statm: 314509 312644 770 1502 0 313002 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 1258036

[startup+1788.7 s]
/proc/loadavg: 2.03 2.02 1.97 3/179 24668
/proc/meminfo: memFree=27465792/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=1259216 CPUtime=1788.75
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 340063 0 0 0 178681 194 0 0 25 0 1 0 26047555 1289437184 313349 4089446400 4194304 10345943 140735173241968 18446744073709551615 4999622 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24448/statm: 314804 313349 770 1502 0 313297 0
Current children cumulated CPU time (s) 1788.75
Current children cumulated vsize (KiB) 1259216

[startup+1789.5 s]
/proc/loadavg: 2.03 2.02 1.97 3/179 24668
/proc/meminfo: memFree=27465792/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=1259216 CPUtime=1789.55
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 340066 0 0 0 178761 194 0 0 25 0 1 0 26047555 1289437184 313352 4089446400 4194304 10345943 140735173241968 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/24448/statm: 314804 313352 770 1502 0 313297 0
Current children cumulated CPU time (s) 1789.55
Current children cumulated vsize (KiB) 1259216

[startup+1790.3 s]
/proc/loadavg: 2.03 2.02 1.97 3/179 24668
/proc/meminfo: memFree=27464920/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=1260240 CPUtime=1790.35
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 340326 0 0 0 178841 194 0 0 25 0 1 0 26047555 1290485760 313612 4089446400 4194304 10345943 140735173241968 18446744073709551615 4723454 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/24448/statm: 315060 313612 774 1502 0 313553 0
Current children cumulated CPU time (s) 1790.35
Current children cumulated vsize (KiB) 1260240

[startup+1790.5 s]
/proc/loadavg: 2.03 2.02 1.97 3/179 24668
/proc/meminfo: memFree=27464920/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=1260252 CPUtime=1790.55
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 340343 0 0 0 178861 194 0 0 25 0 1 0 26047555 1290498048 313629 4089446400 4194304 10345943 140735173241968 18446744073709551615 6325647 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/24448/statm: 315063 313629 774 1502 0 313556 0
Current children cumulated CPU time (s) 1790.55
Current children cumulated vsize (KiB) 1260252

[startup+1790.6 s]
/proc/loadavg: 2.03 2.02 1.97 3/179 24668
/proc/meminfo: memFree=27464920/32951124 swapFree=67111528/67111528
[pid=24448] ppid=24446 vsize=1236072 CPUtime=1790.65
/proc/24448/stat : 24448 (pbscip.linux.x8) R 24446 24448 23451 0 -1 4202496 340369 0 0 0 178870 195 0 0 25 0 1 0 26047555 1265737728 251042 4089446400 4194304 10345943 140735173241968 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/24448/statm: 309018 250530 774 1502 0 307511 0
Current children cumulated CPU time (s) 1790.65
Current children cumulated vsize (KiB) 1236072

Child status: 0
Real time (s): 1790.64
CPU time (s): 1790.71
CPU user time (s): 1788.71
CPU system time (s): 1.9967
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 1260252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.71
system time used= 1.9967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 340372
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= 1
involuntary context switches= 5472

runsolver used 2.85057 second user time and 6.92195 second system time

The end

Launcher Data 

Begin job on node141 at 2010-07-08 10:39:13
IDJOB=2705206
IDBENCH=79321
IDSOLVER=1214
FILE ID=node141/2705206-1278578353
PBS_JOBID= 11240172
Free space on /tmp= 73632 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705206-1278578353/watcher-2705206-1278578353 -o /tmp/evaluation-result-2705206-1278578353/solver-2705206-1278578353 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705206-1278578353.wbo -t 1800 -m 3800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= c66b0d06980494e69f908f826af367b4
RANDOM SEED=461426973

node141.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5265.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29029976 kB
Buffers:        166176 kB
Cached:        2720120 kB
SwapCached:          0 kB
Active:        2105864 kB
Inactive:      1649784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29029976 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12836 kB
Writeback:           0 kB
AnonPages:      869052 kB
Mapped:          17676 kB
Slab:           101572 kB
PageTables:       6368 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1065216 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73620 MiB
End job on node141 at 2010-07-08 11:09:04