Trace number 3290666

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
CryptoMiniSat TechDemo-Alpha-mtSAT 243.58 62.8513

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E05F18.cnf
MD5SUM0219a55415ff7fae71350d03c49bcd06
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.15582
Satisfiable
(Un)Satisfiability was proved
Number of variables7794
Number of clauses126826
Sum of the clauses size748100
Maximum clause length55
Minimum clause length1
Number of clauses of size 120
Number of clauses of size 220345
Number of clauses of size 317319
Number of clauses of size 46552
Number of clauses of size 515318
Number of clauses of size over 567272

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c Using 4 thread(s)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3290666-1304135443.cnf'
0.00/0.00	c -- header says num vars:           7794
0.00/0.00	c -- header says num clauses:      126826
0.19/0.23	c -- clauses added:            0 learnts,       126826 normals,            0 xors
0.19/0.23	c -- vars added       7794
0.19/0.23	c Parsing time:  0.22 s
0.19/0.25	c  N st     0         0      7794    106441     19625         0    745842         0   no data   no data  --
0.47/0.33	c asymm  cl-useful: 0/478/106073 lits-rem:0 time: 0.37
3.67/1.13	c Flit:    45 Blit:      0 bXBeca:    0 bXProp:   72 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 31.1M T:  3.08
3.67/1.16	c Calc non-exist non-lernt bins v-fix:     0 done:   7323 time:  0.10 s
3.67/1.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3.67/1.19	c Subs w/ non-existent bins:      2 time:  0.12 s
4.07/1.21	c Replacing       72 vars Replaced    68848 lits Time:     0.08 s 
4.07/1.25	c bin-w-bin subsume rem          378 bins  time:  0.01 s
4.07/1.26	c subs with bin:      996  lits-rem:       290  v-fix:    0  time:  0.04 s
4.07/1.27	c Removed useless bin:      33  fixed:     0  bprops:   1.20M  time:  0.05 s
11.60/3.15	c lits-rem:         0  cl-subs:      111  v-elim:   2828  v-fix:    0  time:  7.49 s
11.60/3.15	c learnt bin added due to v-elim: 0
11.60/3.16	c Finding binary XORs  T:     0.04 s  found:       0
12.00/3.29	c Finding non-binary XORs:     0.45 s (found:       0, avg size: nan)
12.00/3.29	c calculated reachability. Time: 0.01
12.00/3.29	c Calc default polars -  time:   0.02 s pos:     266 undec:    1605 neg:    5923
12.00/3.29	c =========================================================================================
12.00/3.29	c types(t): F = full restart, N = normal restart
12.00/3.29	c types(t): S = simplification begin/end, E = solution found
12.00/3.29	c restart types(rt): st = static, dy = dynamic
12.00/3.29	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
12.00/3.29	c  B st     0         0      6189    106868     15794         0    763521         0   no data   no data  --
12.82/3.45	c Decided on static restart strategy
13.59/3.61	c  N dy    20      4021      6189    106868     15906      3817    763520    115134     26.11     10.10  --
15.19/4.04	c  N dy    49      8022      6189    106868     15982      7674    763520    245483     32.69     10.30  --
17.21/4.54	c  N dy    79     12130      6186    106868     16077     11617    763520    368949     31.07     10.06  --
19.18/5.06	c  N dy   109     16266      6185    106868     16444     15600    763520    493470     30.58     10.06  --
21.59/5.68	c  N dy   138     20318      6185    106868     16482      9930    763520    201657     38.80     10.29  --
23.58/6.13	c  N dy   167     24358      6185    106868     16541     13820    763519    327002     38.54     10.37  --
25.99/6.71	c  N dy   196     28441      6185    106868     16584     17780    763519    489359     41.44     10.47  --
27.16/7.01	c  S st   208     30000      6185    106868     16608     19295    763519    557105     46.36     10.51  --
27.96/7.25	c  S st   208     30501      6185    106868     16652     19750    763519    566017     46.36     10.51  --
27.96/7.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
27.96/7.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.95/9.28	c Flit:    11 Blit:      0 bXBeca:    0 bXProp:    8 Bin:  19956 BRemL:    555 BRemN:      0 CBin:       0 P: 60.0M T:  8.09
36.36/9.31	c Calc non-exist non-lernt bins v-fix:     0 done:   6142 time:  0.10 s
36.36/9.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.36/9.39	c Subs w/ non-existent bins:     92 time:  0.33 s
36.76/9.41	c Replacing        8 vars Replaced     4315 lits Time:     0.10 s 
36.76/9.45	c bin-w-bin subsume rem           35 bins  time:  0.02 s
38.78/9.93	c subs with bin:     2938  lits-rem:     23502  v-fix:    0  time:  1.90 s
38.78/9.94	c Removed useless bin:       1  fixed:     0  bprops:   0.32M  time:  0.03 s
47.97/12.22	c lits-rem:       772  cl-subs:     8371  v-elim:   1226  v-fix:    0  time:  9.12 s
47.97/12.22	c learnt bin added due to v-elim: 0
47.97/12.27	c vivif2 --  cl tried   100725 cl shrink      465 lits rem        522 time: 0.18
47.97/12.29	c vivif2 --  cl tried    14306 cl shrink     2703 lits rem       7992 time: 0.11
48.34/12.38	c asymm  cl-useful: 27/612/100712 lits-rem:267 time: 0.33
48.34/12.39	c calculated reachability. Time: 0.02
48.34/12.39	c  N dy   208     30501      6060    100712     34818     14303    718212    395152     46.36     10.51  --
48.34/12.39	c  F st   208     30501      6060    100712     34818     14303    718212    395152     46.36     10.51  --
49.54/12.67	c Decided on static restart strategy
50.74/12.96	c  N dy   228     34550      6059    100712     34830     18276    718212    557049     34.76     10.61  --
53.13/13.55	c  N dy   256     38588      6059    100712     35935     22345    718216    691610     34.38     10.73  --
55.93/14.24	c  N dy   284     42629      6058    100712     35939     26304    718216    831307     32.73     10.80  --
58.72/14.93	c  S st   306     45752      6055    100712     36777     29506    718218    942282     42.39     10.92  --
59.93/15.22	c  S st   306     46253      6055    100712     36779     30004    718218    955319     42.39     10.92  --
59.93/15.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
59.93/15.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
67.91/17.21	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:    4 Bin:    694 BRemL:   1125 BRemN:      5 CBin:       0 P: 60.0M T:  7.92
67.91/17.24	c Calc non-exist non-lernt bins v-fix:     0 done:   6035 time:  0.10 s
67.91/17.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
68.31/17.33	c Subs w/ non-existent bins:     81 time:  0.39 s
68.31/17.36	c Replacing        4 vars Replaced     3464 lits Time:     0.10 s 
68.72/17.40	c bin-w-bin subsume rem           47 bins  time:  0.02 s
71.50/18.15	c subs with bin:     1107  lits-rem:     12351  v-fix:    0  time:  2.98 s
71.50/18.16	c Removed useless bin:       0  fixed:     0  bprops:   0.29M  time:  0.02 s
83.12/21.08	c lits-rem:       822  cl-subs:     7363  v-elim:   1184  v-fix:    0  time: 11.66 s
83.12/21.08	c learnt bin added due to v-elim: 0
83.49/21.12	c vivif2 --  cl tried    98254 cl shrink       78 lits rem        115 time: 0.19
83.49/21.17	c vivif2 --  cl tried    23423 cl shrink     2385 lits rem       3666 time: 0.17
83.89/21.27	c asymm  cl-useful: 33/782/98254 lits-rem:52 time: 0.42
83.89/21.28	c calculated reachability. Time: 0.02
83.89/21.28	c  N dy   306     46253      5970     98254     35246     23421    699404    693892     42.39     10.92  --
87.11/22.06	c  N dy   334     50268      5970     98254     35257     27359    699404    857284     38.78     10.87  --
90.28/22.81	c  N dy   363     54333      5970     98254     35271     16335    699404    341820     32.03     10.87  --
92.27/23.36	c  N dy   391     58343      5969     98254     35284     20261    699404    482753     35.41     10.82  --
94.67/23.98	c  N dy   420     62472      5969     98254     35291     24324    699403    630167     39.98     10.81  --
97.47/24.68	c  N dy   448     66488      5969     98254     35293     28269    699403    800895     38.99     10.95  --
99.87/25.29	c  S st   469     69379      5968     98254     35299     31116    699403    910921     36.14     10.97  --
101.07/25.54	c  S st   469     69881      5968     98254     35300     31614    699402    922130     36.14     10.97  --
101.07/25.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
101.07/25.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
108.66/27.45	c Flit:     5 Blit:      0 bXBeca:    0 bXProp:    2 Bin:    736 BRemL:    399 BRemN:     16 CBin:       0 P: 60.0M T:  7.62
108.66/27.48	c Calc non-exist non-lernt bins v-fix:     0 done:   5955 time:  0.10 s
108.66/27.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
109.08/27.58	c Subs w/ non-existent bins:     26 time:  0.40 s
109.48/27.61	c Replacing        2 vars Replaced     3811 lits Time:     0.10 s 
109.48/27.65	c bin-w-bin subsume rem           18 bins  time:  0.02 s
112.25/28.35	c subs with bin:      515  lits-rem:      3966  v-fix:    0  time:  2.78 s
112.25/28.35	c Removed useless bin:       0  fixed:     0  bprops:   0.27M  time:  0.02 s
126.24/31.81	c ORs :   5104 avg-s:  2.2 cl-sh: 232081 l-rem: 232081 b-add:  12444 v-rep:   0 cl-rem: 2 avg s: 6.0 T:    3.12
129.43/32.65	c Added 51 vars  tried: 80000 time: 3.35
129.43/32.67	c ORs :     51 avg-s:  0.0 cl-sh: 10401 l-rem:  10401 b-add:    103 v-rep:   0 cl-rem: 62 avg s: 3.8 T:    3.43
129.83/32.70	c lits-rem:      1040  cl-subs:     5362  v-elim:   1035  v-fix:    0  time: 17.36 s
129.83/32.70	c learnt bin added due to v-elim: 0
129.83/32.74	c vivif2 --  cl tried    83793 cl shrink       53 lits rem         76 time: 0.17
130.23/32.80	c vivif2 --  cl tried    26982 cl shrink     5392 lits rem      31960 time: 0.25
130.63/32.93	c asymm  cl-useful: 35/925/83788 lits-rem:35 time: 0.50
130.63/32.94	c calculated reachability. Time: 0.02
130.63/32.94	c  N dy   469     69881      5981     83788     47219     26932    461429    727963     36.14     10.97  --
130.63/32.94	c  F st   469     69881      5981     83788     47219     26932    461429    727963     36.14     10.97  --
131.82/33.26	c Decided on static restart strategy
133.82/33.73	c  N dy   493     74468      5981     83788     49200     39195    461439    918153     37.33     11.04  --
137.42/34.63	c  N dy   526     79301      5981     83788     49225     43917    461439   1093379     35.10     11.32  --
140.60/35.41	c  N dy   561     84431      5981     83788     49237     26865    461438    499468     45.24     11.86  --
143.00/36.02	c Finding binary XORs  T:     0.04 s  found:       0
145.00/36.56	c  N dy   597     89886      5981     83788     49250     32207    461438    784673     40.21     12.11  --
150.20/37.89	c  N dy   636     95709      5981     83788     49275     37869    461437   1015605     46.73     12.37  --
156.99/39.58	c  N dy   676    101829      5981     83788     49280     43908    461437   1339890     57.74     12.85  --
159.78/40.21	c  S st   697    104822      5981     83788     49284     24505    461437    347429     60.11     12.91  --
160.18/40.35	c  S st   697    105325      5981     83788     49295     24997    461437    357315     60.11     12.91  --
160.18/40.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
160.18/40.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
164.57/41.45	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bin:   1936 BRemL:    783 BRemN:    127 CBin:       0 P: 33.2M T:  4.35
164.57/41.48	c Calc non-exist non-lernt bins v-fix:     0 done:   5980 time:  0.13 s
164.57/41.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
164.97/41.58	c Subs w/ non-existent bins:    539 time:  0.41 s
165.37/41.62	c bin-w-bin subsume rem         7434 bins  time:  0.04 s
166.20/41.82	c subs with bin:      352  lits-rem:      1759  v-fix:    0  time:  0.79 s
166.20/41.83	c Removed useless bin:      11  fixed:     0  bprops:   0.37M  time:  0.04 s
174.17/43.89	c ORs :   5149 avg-s:  2.2 cl-sh:  5029 l-rem:   5029 b-add:   4971 v-rep:   0 cl-rem: 46 avg s: 3.2 T:    0.65
174.57/43.91	c lits-rem:       724  cl-subs:     1113  v-elim:   1886  v-fix:    0  time:  8.32 s
174.57/43.91	c learnt bin added due to v-elim: 0
174.57/43.95	c vivif2 --  cl tried    83591 cl shrink       54 lits rem         62 time: 0.18
174.57/43.98	c vivif2 --  cl tried    18198 cl shrink      965 lits rem       3441 time: 0.09
174.98/44.09	c asymm  cl-useful: 43/1451/83590 lits-rem:56 time: 0.43
174.98/44.09	c calculated reachability. Time: 0.02
174.98/44.09	c  N dy   697    105325      5973     83590     47712     18197    460126    303280     60.11     12.91  --
179.37/45.16	c  N dy   744    112091      5973     83590     48040     24870    460140    573850     42.61     13.02  --
185.34/46.62	c  N dy   794    119349      5972     83590     48701     32045    460176    910009     47.26     13.10  --
192.96/48.54	c  N dy   847    127096      5972     83590     48709     39640    460176   1310044     51.45     13.09  --
200.93/50.50	c  N dy   902    135268      5972     83590     48717     24915    460176    454382     36.14     13.16  --
207.32/52.19	c  N dy   961    143938      5972     83590     48722     33377    460176    766236     38.35     13.24  --
215.31/54.19	c  N dy  1023    153138      5972     83590     48727     42405    460176   1176783     47.25     13.41  --
216.51/54.50	c Finding binary XORs  T:     0.04 s  found:       0
221.30/55.67	c  S st  1057    157988      5968     83586     48550     47012    460028   1396894     41.05     13.43  --
222.10/55.88	c  S st  1057    158488      5968     83586     48804     23909    460036    345676     41.05     13.43  --
222.10/55.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
222.10/55.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
227.29/57.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:    405 BRemL:    512 BRemN:     34 CBin:       0 P: 44.6M T:  5.16
227.70/57.22	c Calc non-exist non-lernt bins v-fix:     0 done:   5968 time:  0.12 s
227.70/57.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
228.11/57.32	c Subs w/ non-existent bins:    491 time:  0.42 s
228.11/57.35	c bin-w-bin subsume rem         4940 bins  time:  0.04 s
228.88/57.54	c subs with bin:      137  lits-rem:       642  v-fix:    0  time:  0.76 s
228.88/57.55	c Removed useless bin:       0  fixed:     0  bprops:   0.36M  time:  0.04 s
234.88/59.02	c ORs :   5140 avg-s:  2.2 cl-sh:     9 l-rem:      9 b-add:      4 v-rep:   0 cl-rem: 5 avg s: 6.4 T:    0.73
234.88/59.03	c lits-rem:      1259  cl-subs:     1071  v-elim:   1784  v-fix:    0  time:  5.92 s
234.88/59.03	c learnt bin added due to v-elim: 0
234.88/59.08	c vivif2 --  cl tried    83106 cl shrink        9 lits rem         10 time: 0.18
235.28/59.10	c vivif2 --  cl tried    22687 cl shrink      422 lits rem        529 time: 0.10
235.68/59.20	c asymm  cl-useful: 48/903/83106 lits-rem:59 time: 0.40
235.68/59.21	c calculated reachability. Time: 0.02
235.68/59.21	c  N dy  1057    158488      5966     83106     43676     22686    457925    318095     41.05     13.43  --
240.08/60.35	c  E dy  1102    165012         0     83106     43685     29094    457925    621315     68.00     13.45  --
240.08/60.35	c Verified 83106 clauses.
240.08/60.35	c Solution needs extension. Extending.
243.42/62.81	c Verified 83106 clauses.
243.42/62.81	c Following stats are for *FIRST FINISHED THREAD ONLY*
243.42/62.81	c num threads              : 4          
243.42/62.81	c restarts                 : 1102       
243.42/62.81	c dynamic restarts         : 1084       
243.42/62.81	c static restarts          : 18         
243.42/62.81	c full restarts            : 2          
243.42/62.81	c total simplify time      : 0.13       
243.42/62.81	c learnts DL2              : 0          
243.42/62.81	c learnts size 2           : 67984      
243.42/62.81	c learnts size 1           : 565         (7.20      % of vars)
243.42/62.81	c filedLit time            : 36.23       (14.90     % time)
243.42/62.81	c v-elim SatELite          : 1229        (15.67     % vars)
243.42/62.81	c SatELite time            : 58.94       (24.24     % time)
243.42/62.81	c v-elim xor               : 0           (0.00      % vars)
243.42/62.81	c xor elim time            : 0.14        (0.06      % time)
243.42/62.81	c num binary xor trees     : 79         
243.42/62.81	c binxor trees' crown      : 86          (1.09      leafs/tree)
243.42/62.81	c bin xor find time        : 0.12       
243.42/62.81	c OTF clause subsumed      : 2876        (0.02      clauses/conflict)
243.42/62.81	c OTF subs. size diff      : 4166        (1.45       lits/clause)
243.42/62.81	c OTF cl watch-shrink      : 109402      (0.66      clauses/conflict)
243.42/62.81	c OTF cl watch-sh-lit      : 727105      (6.65       lits/clause)
243.42/62.81	c tried to recurMin cls    : 164976      (99.98      % of conflicts)
243.42/62.81	c updated cache            : 82          (0.00       lits/tried recurMin)
243.42/62.81	c OTF Gate-Rem cl          : 12715       (0.08      clauses/conflict)
243.42/62.81	c OTF Gate-rem lits        : 14796       (1.16      lits/confl)
243.42/62.81	c unit cls received        : 17          (3.01      % of units)
243.42/62.81	c unit cls sent            : 544         (96.28     % of units)
243.42/62.81	c bin cls received         : 5393       
243.42/62.81	c bin cls sent             : 43153      
243.42/62.81	c tri cls recevied         : 8608       
243.42/62.81	c tri cls sent             : 37309      
243.42/62.81	c clauses over max glue    : 0           (0.00      % of all clauses)
243.42/62.81	c conflicts                : 165012      (678.61    / sec)
243.42/62.81	c decisions                : 661872      (0.99      % random)
243.42/62.81	c bogo-props               : 1244863476  (5119523.37 / sec)
243.42/62.81	c props                    : 64219870    (264105.37 / sec)
243.42/62.81	c conflict literals        : 6811548     (32.52     % deleted)
243.42/62.81	c Memory used              : 858.21      MB
243.42/62.81	c single-thread CPU time   : 243.16      s
243.42/62.81	c all-threads sum CPU time : 243.16      s
243.42/62.81	s SATISFIABLE
243.42/62.81	v -1 2 -3 -4 5 -6 -7 -8 9 -10 -11 12 13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 26 -27 28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 54 -55 -56 57 -58 -59 -60 -61 -62 -63 64 -65 -66 67 -68 -69 70 71 -72 -73 -74 75 76 -77 -78 79 -80 -81 82 83 -84 -85 86 -87 88 -89 90 -91 92 93 94 95 96 97 98 -99 100 -101 -102 103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 119 120 121 122 123 124 125 -126 127 -128 -129 -130 -131 -132 133 134 -135 -136 -137 138 139 140 141 142 143 -144 -145 146 147 148 -149 -150 -151 -152 -153 154 -155 156 157 -158 159 160 161 -162 163 164 -165 -166 -167 168 169 -170 171 172 173 174 175 176 177 178 -179 180 -181 182 183 184 185 186 187 -188 189 -190 191 -192 193 -194 -195 196 197 198 199 -200 201 202 203 204 205 206 -207 208 209 -210 211 212 213 214 215 -216 -217 218 219 -220 -221 222 -223 -224 -225 226 227 -228 -229 230 -231 -232 -233 -234 -235 -236 237 -238 -239 240 -241 242 -243 244 -245 -246 -247 -248 -249 -250 -251 252 -253 -254 255 -256 257 258 259 260 261 -262 263 264 -265 -266 -267 268 269 -270 -271 -272 -273 -274 -275 -276 -277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 289 290 -291 -292 -293 -294 -295 -296 -297 298 -299 -300 -301 -302 303 304 -305 -306 -307 -308 -309 -310 -311 -312 -313 314 315 -316 -317 -318 -319 -320 -321 -322 -323 -324 325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 351 352 -353 -354 -355 -356 -357 -358 -359 -360 -361 362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 403 404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 -416 417 418 419 420 421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 436 -437 -438 -439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 460 -461 -462 -463 -464 -465 -466 -467 -468 -469 470 471 472 473 474 475 476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 523 524 525 526 527 528 529 530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 545 546 547 548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 601 -602 -603 -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 617 618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 635 636 637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 650 651 652 653 654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 -666 667 668 669 670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 687 688 689 690 691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 744 745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 759 760 761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 779 780 781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 794 -795 -796 -797 -798 -799 -800 -801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 -815 -816 817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 833 -834 -835 -836 -837 -838 -839 -840 -841 -842 -843 -844 -845 -846 847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858 -859 -860 -861 -862 -863 -864 -865 -866 -867 868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 885 -886 -887 -888 -889 -890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903 904 905 -906 -907 -908 -909 -910 -911 -912 -913 -914 -915 -916 -917 -918 -919 -920 -921 -922 923 -924 -925 -926 -927 -928 -929 -930 -931 -932 -933 -934 -935 -936 -937 -938 939 -940 -941 -942 -943 -944 -945 -946 -947 -948 -949 -950 -951 -952 -953 -954 -955 -956 -957 -958 -959 -960 -961 -962 -963 -964 -965 -966 -967 -968 -969 -970 -971 -972 -973 -974 -975 -976 -977 -978 -979 -980 981 -982 -983 -984 -985 -986 -987 -988 -989 -990 -991 -992 -993 -994 -995 -996 -997 -998 -999 -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023 -1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031 -1032 -1033 1034 -1035 -1036 -1037 -1038 -1039 -1040 -1041 -1042 -1043 -1044 -1045 -1046 -1047 -1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060 -1061 -1062 -1063 -1064 -1065 -1066 -1067 -1068 -1069 -1070 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 -1079 -1080 -1081 -1082 -1083 -1084 -1085 -1086 -1087 -1088 -1089 -1090 -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100 -1101 -1102 -1103 -1104 -1105 1106 -1107 -1108 -1109 -1110 -1111 -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119 -1120 -1121 -1122 -1123 -1124 -1125 -1126 -1127 -1128 -1129 -1130 -1131 -1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139 -1140 -1141 -1142 -1143 -1144 -1145 -1146 -1147 -1148 -1149 -1150 -1151 -1152 -1153 -1154 -1155 -1156 -1157 -1158 -1159 1160 -1161 -1162 -1163 -1164 -1165 -1166 -1167 -1168 -1169 -1170 -1171 -1172 -1173 -1174 -1175 -1176 -1177 1178 -1179 -1180 -1181 -1182 -1183 -1184 -1185 -1186 -1187 -1188 -1189 -1190 -1191 -1192 -1193 -1194 -1195 -1196 -1197 -1198 -1199 -1200 -1201 -1202 -1203 -1204 -1205 -1206 -1207 -1208 -1209 -1210 -1211 -1212 -1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220 -1221 -1222 -1223 -1224 -1225 -1226 -1227 -1228 -1229 -1230 -1231 -1232 -1233 -1234 -1235 -1236 -1237 -1238 -1239 -1240 -1241 -1242 -1243 -1244 -1245 -1246 -1247 -1248 -1249 -1250 -1251 -1252 -1253 -1254 -1255 -1256 -1257 -1258 -1259 -1260 -1261 -1262 -1263 -1264 -1265 -1266 -1267 -1268 -1269 -1270 -1271 -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279 -1280 -1281 -1282 -1283 -1284 -1285 -1286 -1287 -1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295 -1296 -1297 -1298 -1299 -1300 -1301 -1302 -1303 -1304 -1305 -1306 -1307 -1308 -1309 -1310 -1311 -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319 -1320 -1321 -1322 -1323 -1324 -1325 -1326 -1327 -1328 -1329 -1330 -1331 -1332 -1333 -1334 -1335 -1336 -1337 -1338 -1339 -1340 -1341 -1342 -1343 -1344 -1345 -1346 -1347 -1348 -1349 -1350 -1351 -1352 -1353 -1354 -1355 -1356 -1357 -1358 -1359 -1360 -1361 -1362 -1363 -1364 -1365 -1366 -1367 -1368 -1369 -1370 -1371 -1372 -1373 -1374 -1375 -1376 -1377 -1378 -1379 -1380 -1381 -1382 -1383 -1384 -1385 -1386 -1387 -1388 -1389 -1390 -1391 -1392 -1393 -1394 -1395 -1396 -1397 -1398 -1399 -1400 -1401 -1402 -1403 -1404 1405 -1406 -1407 -1408 -1409 -1410 -1411 -1412 -1413 -1414 -1415 -1416 -1417 -1418 -1419 -1420 -1421 -1422 -1423 -1424 -1425 -1426 -1427 -1428 -1429 -1430 -1431 -1432 -1433 -1434 -1435 -1436 -1437 -1438 -1439 -1440 1441 -1442 -1443 -1444 -1445 -1446 -1447 -1448 -1449 -1450 -1451 -1452 -1453 -1454 -1455 -1456 -1457 -1458 -1459 -1460 -1461 -1462 -1463 -1464 -1465 -1466 -1467 -1468 -1469 -1470 -1471 -1472 -1473 -1474 -1475 -1476 -1477 -1478 -1479 -1480 -1481 -1482 -1483 -1484 -1485 -1486 -1487 -1488 -1489 -1490 -1491 -1492 -1493 -1494 -1495 -1496 -1497 -1498 -1499 -1500 -1501 -1502 -1503 -1504 -1505 -1506 -1507 -1508 -1509 -1510 -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520 -1521 -1522 -1523 -1524 -1525 -1526 -1527 -1528 -1529 -1530 -1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540 -1541 -1542 -1543 -1544 -1545 -1546 -1547 -1548 -1549 -1550 -1551 -1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559 -1560 -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568 -1569 -1570 -1571 -1572 -1573 -1574 -1575 -1576 -1577 -1578 -1579 -1580 -1581 -1582 -1583 -1584 -1585 -1586 -1587 -1588 -1589 -1590 -1591 -1592 -1593 -1594 -1595 -1596 -1597 -1598 -1599 -1600 -1601 -1602 -1603 -1604 -1605 -1606 -1607 -1608 -1609 -1610 -1611 -1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620 -1621 -1622 -1623 -1624 -1625 -1626 -1627 -1628 -1629 -1630 -1631 -1632 -1633 -1634 -1635 -1636 -1637 -1638 -1639 -1640 -1641 -1642 -1643 -1644 -1645 -1646 -1647 1648 -1649 -1650 -1651 -1652 -1653 -1654 -1655 -1656 -1657 -1658 -1659 -1660 -1661 -1662 -1663 -1664 -1665 -1666 -1667 -1668 -1669 -1670 -1671 -1672 -1673 -1674 -1675 -1676 -1677 -1678 -1679 -1680 -1681 -1682 -1683 -1684 -1685 -1686 -1687 -1688 -1689 -1690 -1691 -1692 -1693 -1694 -1695 -1696 -1697 -1698 -1699 -1700 -1701 -1702 -1703 -1704 -1705 -1706 -1707 -1708 -1709 -1710 -1711 -1712 -1713 -1714 -1715 -1716 -1717 -1718 -1719 -1720 -1721 -1722 -1723 -1724 -1725 -1726 -1727 -1728 -1729 -1730 -1731 -1732 -1733 -1734 -1735 -1736 -1737 -1738 -1739 -1740 -1741 -1742 -1743 -1744 -1745 -1746 -1747 -1748 -1749 -1750 -1751 -1752 -1753 -1754 -1755 -1756 -1757 -1758 -1759 -1760 -1761 -1762 -1763 -1764 -1765 -1766 -1767 -1768 -1769 -1770 -1771 -1772 -1773 -1774 -1775 -1776 -1777 -1778 -1779 -1780 -1781 -1782 -1783 -1784 -1785 -1786 -1787 -1788 -1789 -1790 -1791 -1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799 -1800 -1801 -1802 -1803 -1804 -1805 -1806 -1807 -1808 -1809 -1810 -1811 -1812 -1813 -1814 -1815 -1816 -1817 -1818 -1819 -1820 -1821 -1822 -1823 -1824 -1825 -1826 -1827 -1828 -1829 -1830 -1831 -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839 -1840 -1841 -1842 -1843 -1844 -1845 -1846 -1847 -1848 -1849 -1850 -1851 -1852 -1853 -1854 -1855 -1856 -1857 -1858 -1859 -1860 -1861 -1862 -1863 -1864 -1865 -1866 -1867 -1868 -1869 -1870 -1871 -1872 -1873 -1874 -1875 -1876 -1877 -1878 -1879 -1880 -1881 -1882 -1883 -1884 -1885 -1886 -1887 -1888 -1889 -1890 -1891 -1892 -1893 -1894 -1895 -1896 -1897 -1898 -1899 -1900 -1901 -1902 -1903 -1904 -1905 -1906 -1907 -1908 -1909 1910 -1911 -1912 -1913 -1914 -1915 -1916 -1917 -1918 -1919 -1920 -1921 -1922 -1923 -1924 -1925 -1926 -1927 -1928 -1929 -1930 -1931 -1932 -1933 -1934 -1935 -1936 -1937 -1938 -1939 -1940 -1941 -1942 -1943 -1944 -1945 -1946 -1947 -1948 -1949 -1950 -1951 -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959 -1960 -1961 -1962 -1963 1964 -1965 -1966 -1967 -1968 -1969 -1970 -1971 -1972 -1973 -1974 -1975 -1976 -1977 -1978 -1979 -1980 -1981 -1982 -1983 -1984 -1985 -1986 -1987 -1988 -1989 -1990 -1991 -1992 -1993 -1994 -1995 -1996 -1997 -1998 -1999 -2000 -2001 -2002 -2003 -2004 -2005 -2006 -2007 -2008 -2009 -2010 -2011 -2012 -2013 -2014 -2015 -2016 -2017 -2018 -2019 -2020 -2021 -2022 -2023 -2024 -2025 -2026 -2027 -2028 -2029 -2030 -2031 -2032 -2033 -2034 -2035 -2036 -2037 -2038 -2039 -2040 -2041 -2042 -2043 -2044 -2045 -2046 -2047 -2048 -2049 -2050 -2051 -2052 -2053 -2054 -2055 -2056 -2057 -2058 -2059 -2060 -2061 -2062 -2063 -2064 -2065 -2066 -2067 -2068 -2069 -2070 -2071 -2072 -2073 -2074 -2075 -2076 -2077 -2078 -2079 -2080 -2081 -2082 -2083 -2084 -2085 -2086 -2087 -2088 -2089 -2090 -2091 -2092 2093 -2094 -2095 -2096 -2097 -2098 -2099 -2100 -2101 -2102 -2103 -2104 -2105 -2106 -2107 -2108 -2109 -2110 -2111 -2112 -2113 -2114 -2115 -2116 -2117 -2118 -2119 -2120 -2121 -2122 -2123 -2124 -2125 -2126 -2127 -2128 -2129 -2130 -2131 -2132 -2133 -2134 -2135 -2136 -2137 -2138 -2139 -2140 -2141 -2142 -2143 -2144 -2145 -2146 2147 -2148 -2149 -2150 -2151 -2152 -2153 -2154 -2155 -2156 -2157 -2158 -2159 -2160 -2161 -2162 -2163 -2164 -2165 -2166 -2167 -2168 -2169 -2170 -2171 -2172 -2173 -2174 -2175 -2176 -2177 -2178 -2179 -2180 -2181 -2182 -2183 -2184 -2185 -2186 -2187 -2188 -2189 -2190 -2191 -2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199 -2200 2201 -2202 -2203 -2204 -2205 -2206 -2207 -2208 -2209 -2210 -2211 -2212 -2213 -2214 -2215 -2216 -2217 -2218 2219 -2220 -2221 -2222 -2223 -2224 -2225 -2226 -2227 -2228 -2229 -2230 -2231 -2232 -2233 -2234 -2235 -2236 -2237 -2238 -2239 -2240 -2241 -2242 -2243 -2244 -2245 -2246 -2247 -2248 -2249 -2250 -2251 -2252 -2253 -2254 -2255 -2256 -2257 -2258 -2259 -2260 -2261 -2262 -2263 -2264 -2265 -2266 -2267 -2268 -2269 -2270 -2271 -2272 -2273 -2274 -2275 -2276 -2277 -2278 -2279 -2280 -2281 -2282 -2283 -2284 -2285 -2286 -2287 -2288 -2289 -2290 2291 -2292 -2293 -2294 -2295 -2296 -2297 -2298 -2299 -2300 -2301 -2302 -2303 -2304 -2305 -2306 -2307 -2308 -2309 -2310 2311 -2312 -2313 -2314 -2315 -2316 -2317 -2318 -2319 -2320 -2321 -2322 -2323 -2324 -2325 -2326 -2327 -2328 -2329 -2330 -2331 -2332 -2333 -2334 -2335 -2336 -2337 -2338 -2339 -2340 -2341 -2342 -2343 -2344 -2345 -2346 -2347 -2348 -2349 -2350 -2351 -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359 -2360 -2361 -2362 -2363 -2364 2365 2366 -2367 -2368 -2369 -2370 -2371 -2372 -2373 -2374 -2375 -2376 -2377 -2378 -2379 -2380 -2381 -2382 -2383 -2384 -2385 -2386 -2387 -2388 -2389 -2390 -2391 -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399 -2400 -2401 -2402 -2403 -2404 -2405 -2406 -2407 -2408 -2409 -2410 -2411 -2412 -2413 -2414 -2415 -2416 -2417 -2418 2419 2420 -2421 -2422 -2423 -2424 -2425 -2426 -2427 -2428 -2429 -2430 -2431 -2432 -2433 -2434 -2435 -2436 2437 2438 -2439 -2440 -2441 -2442 -2443 -2444 -2445 -2446 -2447 -2448 -2449 -2450 -2451 -2452 -2453 -2454 -2455 -2456 -2457 -2458 -2459 -2460 -2461 -2462 -2463 -2464 -2465 -2466 -2467 -2468 -2469 -2470 -2471 -2472 -2473 -2474 -2475 -2476 -2477 -2478 -2479 -2480 -2481 -2482 -2483 -2484 -2485 -2486 -2487 -2488 -2489 -2490 2491 -2492 -2493 -2494 -2495 -2496 -2497 -2498 -2499 -2500 -2501 -2502 -2503 -2504 -2505 -2506 -2507 -2508 -2509 -2510 -2511 -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519 -2520 -2521 -2522 -2523 2524 -2525 -2526 -2527 -2528 -2529 -2530 -2531 -2532 -2533 -2534 -2535 -2536 -2537 -2538 -2539 -2540 -2541 -2542 -2543 -2544 -2545 -2546 -2547 -2548 -2549 -2550 -2551 -2552 -2553 -2554 -2555 -2556 -2557 -2558 2559 2560 2561 2562 2563 -2564 -2565 -2566 -2567 -2568 -2569 -2570 -2571 -2572 -2573 -2574 -2575 -2576 -2577 -2578 -2579 -2580 -2581 -2582 -2583 -2584 -2585 -2586 -2587 -2588 -2589 -2590 -2591 -2592 -2593 -2594 -2595 -2596 -2597 2598 -2599 -2600 -2601 -2602 -2603 -2604 -2605 -2606 -2607 -2608 -2609 -2610 -2611 -2612 2613 2614 2615 2616 2617 -2618 -2619 -2620 -2621 -2622 -2623 -2624 -2625 -2626 -2627 -2628 -2629 -2630 -2631 -2632 2633 2634 2635 -2636 -2637 -2638 -2639 -2640 -2641 -2642 -2643 -2644 -2645 -2646 -2647 -2648 2649 -2650 -2651 -2652 -2653 -2654 -2655 -2656 -2657 -2658 -2659 -2660 -2661 -2662 -2663 -2664 -2665 -2666 2667 -2668 -2669 -2670 -2671 -2672 -2673 -2674 -2675 -2676 -2677 -2678 -2679 -2680 -2681 -2682 -2683 -2684 -2685 -2686 -2687 -2688 2689 -2690 -2691 -2692 -2693 -2694 -2695 -2696 -2697 -2698 -2699 -2700 -2701 -2702 -2703 -2704 2705 2706 -2707 -2708 -2709 -2710 -2711 -2712 -2713 -2714 -2715 -2716 -2717 -2718 -2719 -2720 -2721 -2722 -2723 -2724 -2725 -2726 -2727 -2728 -2729 -2730 -2731 -2732 -2733 -2734 -2735 -2736 -2737 -2738 -2739 2740 -2741 -2742 -2743 -2744 -2745 -2746 -2747 -2748 -2749 -2750 -2751 -2752 -2753 -2754 -2755 -2756 -2757 -2758 -2759 -2760 -2761 -2762 -2763 -2764 -2765 -2766 -2767 -2768 -2769 -2770 -2771 -2772 -2773 -2774 -2775 -2776 -2777 -2778 -2779 -2780 -2781 -2782 -2783 -2784 -2785 -2786 -2787 -2788 -2789 -2790 -2791 -2792 -2793 2794 -2795 -2796 -2797 -2798 -2799 -2800 -2801 -2802 -2803 -2804 -2805 -2806 -2807 -2808 -2809 -2810 -2811 -2812 -2813 -2814 -2815 -2816 -2817 -2818 -2819 -2820 -2821 -2822 -2823 -2824 -2825 -2826 -2827 -2828 -2829 -2830 -2831 -2832 -2833 -2834 -2835 -2836 -2837 -2838 -2839 -2840 -2841 -2842 -2843 -2844 -2845 -2846 -2847 -2848 -2849 -2850 -2851 -2852 -2853 -2854 -2855 -2856 -2857 -2858 -2859 -2860 -2861 -2862 -2863 -2864 -2865 -2866 -2867 -2868 -2869 -2870 -2871 -2872 -2873 -2874 -2875 -2876 -2877 -2878 -2879 -2880 -2881 -2882 -2883 -2884 -2885 -2886 -2887 -2888 -2889 -2890 -2891 -2892 -2893 -2894 -2895 -2896 -2897 -2898 -2899 -2900 -2901 -2902 -2903 -2904 -2905 -2906 -2907 -2908 -2909 -2910 -2911 -2912 -2913 -2914 -2915 -2916 -2917 -2918 -2919 -2920 -2921 -2922 -2923 -2924 -2925 -2926 -2927 -2928 -2929 -2930 -2931 -2932 -2933 -2934 -2935 -2936 -2937 -2938 -2939 -2940 -2941 -2942 -2943 -2944 -2945 -2946 -2947 -2948 -2949 -2950 -2951 -2952 -2953 -2954 -2955 -2956 -2957 -2958 -2959 -2960 -2961 -2962 -2963 -2964 -2965 -2966 -2967 -2968 -2969 -2970 -2971 -2972 -2973 -2974 -2975 -2976 -2977 -2978 -2979 -2980 -2981 -2982 -2983 -2984 -2985 -2986 -2987 -2988 -2989 -2990 -2991 -2992 -2993 -2994 -2995 -2996 -2997 -2998 -2999 -3000 -3001 -3002 -3003 -3004 -3005 -3006 -3007 -3008 -3009 -3010 -3011 -3012 -3013 -3014 -3015 -3016 -3017 -3018 -3019 -3020 -3021 -3022 -3023 -3024 -3025 -3026 -3027 -3028 -3029 -3030 -3031 -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039 -3040 -3041 -3042 -3043 -3044 -3045 -3046 -3047 -3048 -3049 -3050 -3051 -3052 -3053 -3054 -3055 -3056 -3057 -3058 -3059 -3060 -3061 -3062 -3063 -3064 -3065 -3066 -3067 -3068 -3069 -3070 -3071 -3072 -3073 -3074 -3075 -3076 -3077 -3078 -3079 -3080 -3081 -3082 -3083 3084 -3085 -3086 -3087 -3088 -3089 -3090 -3091 -3092 -3093 -3094 -3095 -3096 -3097 3098 3099 3100 3101 3102 3103 3104 -3105 -3106 -3107 -3108 -3109 -3110 -3111 -3112 -3113 -3114 -3115 -3116 -3117 -3118 3119 3120 3121 3122 -3123 -3124 -3125 -3126 -3127 -3128 -3129 -3130 -3131 -3132 -3133 -3134 3135 -3136 -3137 -3138 -3139 -3140 -3141 -3142 -3143 -3144 -3145 -3146 -3147 -3148 -3149 -3150 -3151 -3152 3153 -3154 -3155 -3156 -3157 -3158 -3159 -3160 -3161 -3162 -3163 -3164 -3165 -3166 -3167 -3168 -3169 -3170 -3171 -3172 -3173 -3174 3175 -3176 -3177 -3178 -3179 -3180 -3181 -3182 -3183 -3184 -3185 -3186 -3187 -3188 -3189 -3190 3191 3192 -3193 -3194 -3195 -3196 -3197 -3198 -3199 -3200 -3201 -3202 -3203 -3204 -3205 -3206 -3207 -3208 -3209 -3210 -3211 -3212 -3213 -3214 -3215 -3216 -3217 -3218 -3219 -3220 -3221 -3222 3223 -3224 -3225 -3226 -3227 -3228 -3229 -3230 -3231 -3232 -3233 -3234 -3235 -3236 -3237 -3238 -3239 -3240 -3241 -3242 -3243 -3244 -3245 -3246 -3247 -3248 -3249 -3250 -3251 -3252 -3253 -3254 -3255 -3256 -3257 -3258 -3259 -3260 -3261 -3262 -3263 -3264 -3265 -3266 -3267 -3268 -3269 -3270 -3271 -3272 -3273 -3274 -3275 -3276 -3277 -3278 -3279 -3280 -3281 -3282 -3283 -3284 -3285 -3286 -3287 -3288 -3289 -3290 -3291 -3292 -3293 -3294 -3295 -3296 -3297 -3298 -3299 -3300 -3301 -3302 -3303 -3304 -3305 -3306 -3307 -3308 -3309 -3310 -3311 -3312 -3313 -3314 -3315 -3316 -3317 -3318 -3319 -3320 -3321 -3322 -3323 -3324 -3325 -3326 -3327 -3328 -3329 -3330 -3331 -3332 -3333 -3334 -3335 3336 -3337 -3338 -3339 -3340 -3341 -3342 -3343 -3344 -3345 -3346 -3347 -3348 -3349 -3350 -3351 -3352 -3353 3354 -3355 -3356 -3357 -3358 -3359 -3360 -3361 -3362 -3363 -3364 -3365 -3366 -3367 -3368 -3369 -3370 -3371 -3372 -3373 -3374 -3375 -3376 -3377 -3378 -3379 -3380 -3381 -3382 -3383 -3384 -3385 -3386 -3387 -3388 -3389 -3390 -3391 -3392 -3393 -3394 -3395 -3396 -3397 -3398 -3399 -3400 -3401 -3402 -3403 -3404 -3405 -3406 -3407 -3408 -3409 -3410 -3411 -3412 -3413 -3414 -3415 -3416 -3417 -3418 -3419 -3420 -3421 -3422 -3423 -3424 -3425 3426 -3427 -3428 -3429 -3430 -3431 -3432 -3433 -3434 -3435 -3436 -3437 -3438 -3439 -3440 -3441 -3442 3443 3444 3445 3446 -3447 -3448 -3449 -3450 -3451 -3452 -3453 -3454 -3455 -3456 -3457 -3458 3459 -3460 -3461 -3462 -3463 -3464 -3465 -3466 -3467 -3468 -3469 -3470 -3471 -3472 -3473 -3474 -3475 -3476 3477 -3478 -3479 -3480 -3481 -3482 -3483 -3484 -3485 -3486 -3487 -3488 -3489 -3490 -3491 -3492 -3493 -3494 -3495 -3496 -3497 -3498 3499 -3500 -3501 -3502 -3503 -3504 -3505 -3506 -3507 -3508 -3509 -3510 -3511 -3512 -3513 -3514 3515 3516 -3517 -3518 -3519 -3520 -3521 -3522 -3523 -3524 -3525 -3526 -3527 -3528 -3529 -3530 -3531 -3532 -3533 -3534 -3535 -3536 -3537 -3538 -3539 -3540 -3541 -3542 -3543 -3544 -3545 -3546 -3547 -3548 -3549 -3550 -3551 -3552 -3553 -3554 -3555 -3556 -3557 -3558 -3559 -3560 -3561 -3562 -3563 -3564 -3565 -3566 -3567 -3568 -3569 -3570 3571 -3572 -3573 -3574 -3575 -3576 -3577 -3578 -3579 -3580 -3581 -3582 -3583 -3584 -3585 -3586 3587 3588 -3589 -3590 -3591 -3592 -3593 -3594 -3595 -3596 -3597 -3598 -3599 -3600 -3601 -3602 3603 -3604 -3605 -3606 -3607 -3608 -3609 -3610 -3611 -3612 -3613 -3614 -3615 -3616 -3617 -3618 -3619 -3620 -3621 -3622 -3623 -3624 -3625 -3626 -3627 -3628 -3629 -3630 -3631 -3632 -3633 -3634 -3635 -3636 -3637 -3638 -3639 -3640 -3641 -3642 -3643 -3644 -3645 -3646 -3647 -3648 -3649 -3650 -3651 -3652 -3653 -3654 -3655 -3656 -3657 -3658 -3659 -3660 -3661 -3662 -3663 -3664 -3665 -3666 -3667 -3668 -3669 -3670 -3671 -3672 -3673 -3674 -3675 -3676 -3677 -3678 -3679 -3680 -3681 -3682 -3683 -3684 -3685 -3686 -3687 -3688 -3689 -3690 -3691 -3692 -3693 -3694 -3695 -3696 -3697 -3698 -3699 -3700 -3701 -3702 -3703 -3704 -3705 -3706 -3707 -3708 -3709 -3710 -3711 -3712 3713 3714 -3715 -3716 -3717 -3718 -3719 -3720 -3721 -3722 -3723 -3724 -3725 -3726 -3727 -3728 -3729 -3730 -3731 -3732 -3733 -3734 -3735 -3736 -3737 -3738 -3739 -3740 -3741 -3742 -3743 -3744 -3745 -3746 -3747 -3748 3749 3750 3751 -3752 -3753 -3754 -3755 -3756 -3757 -3758 -3759 -3760 -3761 -3762 -3763 -3764 -3765 -3766 3767 -3768 -3769 -3770 -3771 -3772 -3773 -3774 -3775 -3776 -3777 -3778 -3779 -3780 -3781 -3782 -3783 -3784 -3785 -3786 -3787 -3788 -3789 -3790 -3791 -3792 -3793 -3794 -3795 -3796 -3797 -3798 -3799 -3800 -3801 -3802 -3803 3804 3805 -3806 -3807 -3808 -3809 -3810 -3811 -3812 -3813 -3814 -3815 -3816 -3817 -3818 -3819 -3820 3821 -3822 -3823 -3824 -3825 -3826 -3827 -3828 -3829 -3830 -3831 -3832 -3833 -3834 -3835 -3836 -3837 -3838 3839 3840 3841 -3842 -3843 -3844 -3845 -3846 -3847 -3848 -3849 -3850 -3851 -3852 -3853 -3854 -3855 -3856 -3857 -3858 -3859 -3860 -3861 -3862 -3863 -3864 -3865 -3866 -3867 -3868 -3869 -3870 -3871 -3872 -3873 -3874 -3875 -3876 3877 -3878 -3879 -3880 -3881 -3882 -3883 -3884 -3885 -3886 -3887 -3888 -3889 -3890 -3891 -3892 3893 -3894 -3895 -3896 -3897 -3898 -3899 -3900 -3901 -3902 -3903 -3904 -3905 -3906 -3907 -3908 -3909 -3910 -3911 -3912 -3913 -3914 -3915 -3916 -3917 -3918 -3919 -3920 -3921 -3922 -3923 -3924 -3925 -3926 -3927 -3928 -3929 -3930 -3931 -3932 -3933 -3934 -3935 -3936 -3937 -3938 -3939 -3940 -3941 -3942 -3943 -3944 -3945 -3946 -3947 -3948 -3949 -3950 -3951 -3952 -3953 -3954 -3955 -3956 -3957 -3958 -3959 -3960 -3961 -3962 -3963 -3964 3965 -3966 -3967 -3968 -3969 -3970 -3971 -3972 -3973 -3974 -3975 -3976 -3977 -3978 -3979 -3980 -3981 -3982 3983 -3984 -3985 -3986 -3987 -3988 -3989 -3990 -3991 -3992 -3993 -3994 -3995 -3996 -3997 -3998 -3999 -4000 -4001 -4002 -4003 -4004 -4005 -4006 -4007 -4008 -4009 -4010 -4011 -4012 -4013 -4014 -4015 4016 4017 4018 -4019 -4020 -4021 -4022 -4023 -4024 -4025 -4026 -4027 -4028 -4029 -4030 -4031 -4032 -4033 -4034 4035 4036 4037 4038 -4039 -4040 -4041 -4042 -4043 -4044 -4045 -4046 -4047 -4048 -4049 -4050 -4051 -4052 -4053 -4054 4055 -4056 -4057 -4058 -4059 -4060 -4061 -4062 -4063 -4064 -4065 -4066 -4067 -4068 -4069 -4070 4071 -4072 -4073 -4074 -4075 -4076 -4077 -4078 -4079 -4080 -4081 -4082 -4083 -4084 -4085 -4086 -4087 -4088 -4089 -4090 -4091 4092 -4093 -4094 -4095 -4096 -4097 -4098 -4099 -4100 -4101 -4102 -4103 -4104 -4105 -4106 4107 4108 4109 -4110 -4111 -4112 -4113 -4114 -4115 -4116 -4117 -4118 -4119 -4120 -4121 -4122 -4123 -4124 -4125 -4126 4127 4128 -4129 -4130 -4131 -4132 -4133 -4134 -4135 -4136 -4137 -4138 -4139 -4140 -4141 4142 -4143 -4144 -4145 -4146 -4147 -4148 -4149 -4150 -4151 -4152 -4153 -4154 -4155 -4156 -4157 -4158 -4159 -4160 -4161 -4162 -4163 -4164 -4165 -4166 -4167 -4168 -4169 -4170 -4171 -4172 -4173 -4174 -4175 -4176 -4177 -4178 -4179 -4180 4181 -4182 -4183 -4184 -4185 -4186 -4187 -4188 -4189 -4190 -4191 -4192 -4193 -4194 -4195 -4196 -4197 -4198 -4199 -4200 -4201 -4202 -4203 -4204 -4205 -4206 -4207 -4208 -4209 -4210 -4211 -4212 -4213 -4214 -4215 4216 -4217 -4218 -4219 -4220 -4221 -4222 -4223 -4224 -4225 -4226 -4227 -4228 -4229 -4230 -4231 -4232 4233 -4234 -4235 -4236 -4237 -4238 -4239 -4240 -4241 -4242 -4243 -4244 -4245 -4246 -4247 -4248 -4249 -4250 -4251 4252 4253 -4254 -4255 -4256 -4257 -4258 -4259 -4260 -4261 -4262 -4263 -4264 -4265 -4266 -4267 -4268 -4269 -4270 4271 -4272 -4273 -4274 -4275 -4276 -4277 -4278 -4279 -4280 -4281 -4282 -4283 -4284 -4285 -4286 4287 -4288 -4289 -4290 -4291 -4292 -4293 -4294 -4295 -4296 -4297 -4298 -4299 -4300 -4301 -4302 -4303 -4304 4305 4306 -4307 -4308 -4309 -4310 -4311 -4312 -4313 -4314 -4315 -4316 -4317 -4318 -4319 -4320 -4321 -4322 -4323 -4324 -4325 -4326 -4327 -4328 -4329 -4330 -4331 -4332 -4333 -4334 -4335 -4336 -4337 -4338 -4339 -4340 4341 -4342 -4343 -4344 -4345 -4346 -4347 -4348 -4349 -4350 -4351 -4352 -4353 -4354 -4355 -4356 -4357 -4358 -4359 -4360 -4361 -4362 -4363 -4364 -4365 -4366 -4367 -4368 -4369 -4370 -4371 -4372 -4373 -4374 -4375 -4376 4377 4378 -4379 -4380 -4381 -4382 -4383 -4384 -4385 -4386 -4387 -4388 -4389 -4390 -4391 -4392 -4393 -4394 -4395 -4396 -4397 -4398 -4399 -4400 -4401 -4402 -4403 -4404 -4405 -4406 -4407 -4408 -4409 -4410 -4411 4412 -4413 -4414 -4415 -4416 -4417 -4418 -4419 -4420 -4421 -4422 -4423 -4424 -4425 -4426 -4427 -4428 -4429 -4430 -4431 -4432 -4433 -4434 -4435 -4436 -4437 -4438 -4439 -4440 -4441 -4442 -4443 -4444 -4445 -4446 -4447 -4448 -4449 -4450 -4451 -4452 -4453 -4454 -4455 -4456 -4457 -4458 -4459 -4460 -4461 -4462 -4463 -4464 4465 -4466 -4467 -4468 -4469 -4470 -4471 -4472 -4473 -4474 -4475 -4476 -4477 -4478 -4479 -4480 -4481 -4482 -4483 -4484 -4485 4486 -4487 -4488 -4489 -4490 -4491 -4492 -4493 -4494 -4495 -4496 -4497 -4498 -4499 -4500 -4501 -4502 4503 -4504 -4505 -4506 -4507 -4508 -4509 -4510 -4511 -4512 -4513 -4514 -4515 -4516 -4517 -4518 -4519 -4520 -4521 4522 -4523 -4524 -4525 -4526 -4527 -4528 -4529 -4530 -4531 -4532 -4533 -4534 -4535 -4536 -4537 -4538 -4539 -4540 -4541 -4542 -4543 -4544 -4545 -4546 -4547 -4548 -4549 -4550 -4551 -4552 -4553 -4554 -4555 -4556 4557 -4558 -4559 -4560 -4561 -4562 -4563 -4564 -4565 -4566 -4567 -4568 -4569 -4570 -4571 -4572 -4573 -4574 -4575 -4576 4577 -4578 -4579 -4580 -4581 -4582 -4583 -4584 -4585 -4586 -4587 -4588 -4589 -4590 -4591 -4592 4593 -4594 -4595 -4596 -4597 -4598 -4599 -4600 -4601 -4602 -4603 -4604 -4605 -4606 -4607 -4608 -4609 -4610 -4611 -4612 -4613 4614 4615 -4616 -4617 -4618 -4619 -4620 -4621 -4622 -4623 -4624 -4625 -4626 -4627 -4628 4629 4630 4631 -4632 -4633 -4634 -4635 -4636 -4637 -4638 -4639 -4640 -4641 -4642 -4643 -4644 -4645 -4646 -4647 -4648 4649 4650 4651 -4652 -4653 -4654 -4655 -4656 -4657 -4658 -4659 -4660 -4661 -4662 -4663 -4664 -4665 -4666 -4667 -4668 -4669 -4670 -4671 -4672 -4673 -4674 -4675 -4676 -4677 -4678 -4679 -4680 -4681 -4682 -4683 -4684 -4685 -4686 4687 -4688 -4689 -4690 -4691 -4692 -4693 -4694 -4695 -4696 -4697 -4698 -4699 -4700 -4701 -4702 4703 -4704 -4705 -4706 -4707 -4708 -4709 -4710 -4711 -4712 -4713 -4714 -4715 -4716 -4717 -4718 -4719 -4720 -4721 -4722 -4723 -4724 -4725 -4726 -4727 -4728 -4729 -4730 -4731 -4732 -4733 -4734 -4735 -4736 -4737 4738 -4739 -4740 -4741 -4742 -4743 -4744 -4745 -4746 -4747 -4748 -4749 -4750 -4751 -4752 -4753 -4754 4755 -4756 -4757 -4758 -4759 -4760 -4761 -4762 -4763 -4764 -4765 -4766 -4767 -4768 -4769 -4770 -4771 -4772 -4773 4774 4775 -4776 -4777 -4778 -4779 -4780 -4781 -4782 -4783 -4784 -4785 -4786 -4787 -4788 -4789 -4790 -4791 -4792 4793 -4794 -4795 -4796 -4797 -4798 -4799 -4800 -4801 -4802 -4803 -4804 -4805 -4806 -4807 -4808 4809 -4810 -4811 -4812 -4813 -4814 -4815 -4816 -4817 -4818 -4819 -4820 -4821 -4822 -4823 -4824 -4825 -4826 -4827 -4828 -4829 -4830 -4831 -4832 -4833 -4834 -4835 -4836 -4837 -4838 -4839 -4840 -4841 -4842 -4843 -4844 -4845 -4846 -4847 -4848 -4849 -4850 -4851 -4852 -4853 -4854 -4855 -4856 -4857 -4858 -4859 -4860 -4861 -4862 -4863 -4864 4865 -4866 -4867 -4868 -4869 -4870 -4871 -4872 -4873 -4874 -4875 -4876 -4877 -4878 -4879 -4880 -4881 -4882 4883 -4884 -4885 -4886 -4887 -4888 -4889 -4890 -4891 -4892 -4893 -4894 -4895 -4896 -4897 -4898 -4899 -4900 -4901 -4902 -4903 -4904 -4905 -4906 -4907 -4908 -4909 -4910 -4911 -4912 -4913 -4914 -4915 -4916 -4917 -4918 -4919 -4920 -4921 -4922 -4923 -4924 -4925 -4926 -4927 -4928 -4929 -4930 -4931 -4932 -4933 -4934 -4935 -4936 4937 -4938 -4939 -4940 -4941 -4942 -4943 -4944 -4945 -4946 -4947 -4948 -4949 -4950 -4951 -4952 -4953 -4954 -4955 -4956 -4957 -4958 -4959 -4960 -4961 -4962 -4963 -4964 -4965 -4966 -4967 -4968 -4969 -4970 -4971 -4972 -4973 -4974 -4975 -4976 -4977 -4978 -4979 -4980 -4981 -4982 -4983 -4984 -4985 -4986 -4987 -4988 -4989 -4990 -4991 -4992 -4993 -4994 -4995 -4996 -4997 -4998 -4999 -5000 -5001 -5002 -5003 -5004 -5005 -5006 -5007 -5008 5009 -5010 -5011 -5012 -5013 -5014 -5015 -5016 -5017 -5018 -5019 -5020 -5021 -5022 -5023 -5024 -5025 -5026 5027 -5028 -5029 -5030 -5031 -5032 -5033 -5034 -5035 -5036 -5037 -5038 -5039 -5040 -5041 -5042 -5043 -5044 -5045 -5046 -5047 -5048 -5049 -5050 -5051 -5052 -5053 -5054 -5055 -5056 -5057 -5058 -5059 -5060 -5061 -5062 -5063 -5064 -5065 -5066 -5067 -5068 -5069 -5070 -5071 -5072 -5073 -5074 -5075 -5076 -5077 -5078 5079 -5080 -5081 -5082 -5083 -5084 -5085 -5086 -5087 -5088 -5089 -5090 -5091 -5092 -5093 -5094 -5095 -5096 -5097 -5098 -5099 -5100 -5101 -5102 -5103 -5104 -5105 -5106 -5107 -5108 -5109 -5110 -5111 -5112 -5113 -5114 -5115 -5116 -5117 -5118 -5119 -5120 -5121 -5122 -5123 -5124 -5125 -5126 -5127 -5128 -5129 -5130 -5131 -5132 -5133 -5134 -5135 -5136 -5137 -5138 -5139 -5140 -5141 -5142 -5143 -5144 -5145 -5146 -5147 -5148 -5149 -5150 -5151 -5152 -5153 -5154 -5155 -5156 -5157 -5158 -5159 -5160 -5161 -5162 -5163 -5164 -5165 -5166 -5167 -5168 -5169 -5170 -5171 -5172 -5173 -5174 -5175 -5176 -5177 -5178 -5179 -5180 -5181 -5182 -5183 -5184 -5185 -5186 -5187 -5188 -5189 -5190 -5191 -5192 -5193 -5194 -5195 -5196 -5197 -5198 -5199 -5200 -5201 -5202 -5203 -5204 5205 -5206 -5207 -5208 -5209 -5210 -5211 -5212 -5213 -5214 -5215 -5216 -5217 -5218 -5219 -5220 -5221 -5222 -5223 -5224 -5225 -5226 -5227 -5228 -5229 -5230 -5231 -5232 -5233 -5234 -5235 -5236 -5237 -5238 -5239 -5240 -5241 -5242 -5243 -5244 -5245 -5246 -5247 -5248 -5249 -5250 -5251 -5252 -5253 -5254 -5255 -5256 -5257 -5258 5259 -5260 -5261 -5262 -5263 -5264 -5265 -5266 -5267 -5268 -5269 -5270 -5271 -5272 -5273 -5274 -5275 -5276 -5277 -5278 -5279 -5280 -5281 -5282 -5283 -5284 -5285 -5286 -5287 -5288 -5289 -5290 -5291 -5292 -5293 -5294 -5295 -5296 -5297 5298 5299 -5300 -5301 -5302 -5303 -5304 -5305 -5306 -5307 -5308 -5309 -5310 -5311 -5312 -5313 -5314 -5315 -5316 -5317 -5318 -5319 -5320 -5321 -5322 -5323 -5324 -5325 -5326 -5327 -5328 -5329 -5330 -5331 -5332 -5333 -5334 5335 -5336 -5337 -5338 -5339 -5340 -5341 -5342 -5343 -5344 -5345 -5346 -5347 -5348 -5349 -5350 -5351 -5352 -5353 -5354 -5355 -5356 -5357 -5358 -5359 -5360 -5361 -5362 -5363 -5364 -5365 -5366 -5367 -5368 -5369 -5370 -5371 -5372 -5373 -5374 -5375 -5376 -5377 -5378 -5379 -5380 -5381 -5382 -5383 -5384 -5385 -5386 -5387 -5388 -5389 -5390 -5391 -5392 -5393 -5394 -5395 -5396 -5397 -5398 -5399 -5400 -5401 -5402 -5403 -5404 -5405 -5406 -5407 -5408 -5409 -5410 -5411 -5412 -5413 -5414 -5415 -5416 -5417 -5418 -5419 -5420 -5421 -5422 -5423 -5424 -5425 -5426 -5427 -5428 -5429 -5430 -5431 -5432 -5433 -5434 -5435 -5436 -5437 -5438 -5439 -5440 -5441 -5442 -5443 -5444 -5445 -5446 -5447 -5448 -5449 -5450 -5451 -5452 -5453 -5454 -5455 -5456 -5457 -5458 -5459 -5460 -5461 -5462 -5463 -5464 -5465 -5466 -5467 -5468 -5469 -5470 -5471 -5472 -5473 -5474 -5475 -5476 5477 -5478 -5479 -5480 -5481 -5482 -5483 -5484 -5485 -5486 -5487 -5488 -5489 -5490 -5491 -5492 -5493 -5494 -5495 -5496 -5497 -5498 -5499 -5500 -5501 -5502 -5503 -5504 -5505 -5506 -5507 -5508 -5509 -5510 -5511 -5512 -5513 -5514 -5515 -5516 -5517 -5518 -5519 -5520 -5521 -5522 -5523 -5524 -5525 -5526 -5527 -5528 -5529 -5530 5531 -5532 -5533 -5534 -5535 -5536 -5537 -5538 -5539 -5540 -5541 -5542 -5543 -5544 -5545 -5546 -5547 -5548 -5549 -5550 -5551 -5552 -5553 -5554 -5555 -5556 -5557 -5558 -5559 -5560 -5561 -5562 -5563 -5564 -5565 5566 -5567 -5568 -5569 -5570 -5571 -5572 -5573 -5574 -5575 -5576 -5577 -5578 -5579 -5580 -5581 -5582 5583 -5584 -5585 -5586 -5587 -5588 -5589 -5590 -5591 -5592 -5593 -5594 -5595 -5596 -5597 -5598 -5599 -5600 -5601 5602 5603 -5604 -5605 -5606 -5607 -5608 -5609 -5610 -5611 -5612 -5613 -5614 -5615 -5616 -5617 -5618 -5619 -5620 5621 -5622 -5623 -5624 -5625 -5626 -5627 -5628 -5629 -5630 -5631 -5632 -5633 -5634 -5635 -5636 5637 -5638 -5639 -5640 -5641 -5642 -5643 -5644 -5645 -5646 -5647 -5648 -5649 -5650 -5651 -5652 -5653 -5654 -5655 -5656 -5657 -5658 -5659 -5660 -5661 -5662 -5663 -5664 -5665 -5666 -5667 -5668 -5669 -5670 -5671 -5672 -5673 -5674 -5675 -5676 5677 -5678 -5679 -5680 -5681 -5682 -5683 -5684 -5685 -5686 -5687 -5688 -5689 -5690 -5691 -5692 5693 -5694 -5695 -5696 -5697 -5698 -5699 -5700 -5701 -5702 -5703 -5704 -5705 -5706 -5707 -5708 -5709 -5710 -5711 -5712 -5713 -5714 -5715 -5716 -5717 -5718 -5719 -5720 -5721 -5722 -5723 -5724 -5725 -5726 -5727 -5728 -5729 -5730 -5731 -5732 -5733 -5734 -5735 -5736 -5737 -5738 -5739 -5740 -5741 -5742 -5743 -5744 -5745 -5746 -5747 -5748 -5749 -5750 -5751 -5752 -5753 -5754 -5755 -5756 -5757 -5758 -5759 -5760 -5761 -5762 -5763 -5764 5765 -5766 -5767 -5768 -5769 -5770 -5771 -5772 -5773 -5774 -5775 -5776 -5777 -5778 -5779 -5780 -5781 -5782 5783 -5784 -5785 -5786 -5787 -5788 -5789 -5790 -5791 -5792 -5793 -5794 -5795 -5796 -5797 -5798 -5799 -5800 -5801 -5802 -5803 -5804 -5805 -5806 -5807 -5808 -5809 -5810 -5811 -5812 -5813 -5814 -5815 -5816 -5817 -5818 -5819 -5820 -5821 -5822 -5823 -5824 -5825 -5826 -5827 -5828 -5829 -5830 -5831 -5832 -5833 -5834 -5835 -5836 -5837 -5838 -5839 -5840 -5841 -5842 -5843 -5844 -5845 -5846 -5847 -5848 -5849 -5850 -5851 -5852 -5853 -5854 -5855 -5856 -5857 -5858 -5859 -5860 -5861 -5862 -5863 -5864 -5865 -5866 -5867 -5868 -5869 -5870 -5871 -5872 -5873 -5874 -5875 -5876 -5877 -5878 -5879 -5880 -5881 -5882 -5883 -5884 -5885 -5886 -5887 -5888 -5889 -5890 -5891 -5892 -5893 -5894 -5895 -5896 -5897 -5898 -5899 -5900 -5901 -5902 -5903 -5904 -5905 -5906 -5907 -5908 -5909 -5910 -5911 -5912 -5913 -5914 -5915 -5916 -5917 -5918 -5919 -5920 -5921 -5922 -5923 -5924 -5925 -5926 -5927 -5928 -5929 -5930 -5931 -5932 -5933 -5934 -5935 -5936 -5937 -5938 -5939 -5940 -5941 -5942 -5943 -5944 -5945 -5946 -5947 -5948 -5949 -5950 -5951 -5952 -5953 -5954 -5955 -5956 -5957 -5958 -5959 -5960 -5961 -5962 -5963 -5964 -5965 -5966 -5967 -5968 -5969 -5970 -5971 -5972 -5973 -5974 -5975 -5976 -5977 -5978 -5979 -5980 -5981 -5982 -5983 -5984 -5985 -5986 -5987 -5988 -5989 -5990 -5991 -5992 -5993 -5994 -5995 -5996 -5997 -5998 -5999 -6000 -6001 -6002 -6003 -6004 -6005 -6006 -6007 -6008 -6009 -6010 -6011 -6012 -6013 -6014 -6015 -6016 -6017 -6018 -6019 -6020 -6021 -6022 -6023 -6024 -6025 -6026 -6027 -6028 -6029 -6030 -6031 -6032 -6033 -6034 -6035 -6036 -6037 -6038 -6039 -6040 -6041 -6042 -6043 -6044 -6045 -6046 -6047 -6048 -6049 -6050 -6051 -6052 -6053 -6054 -6055 -6056 -6057 -6058 -6059 -6060 -6061 -6062 -6063 -6064 -6065 -6066 -6067 -6068 -6069 -6070 -6071 -6072 -6073 -6074 -6075 -6076 -6077 -6078 -6079 -6080 -6081 -6082 -6083 -6084 -6085 -6086 -6087 -6088 -6089 -6090 -6091 -6092 -6093 -6094 -6095 -6096 -6097 -6098 -6099 -6100 -6101 -6102 -6103 -6104 -6105 -6106 -6107 -6108 -6109 -6110 -6111 -6112 -6113 -6114 -6115 -6116 -6117 -6118 -6119 -6120 -6121 -6122 -6123 -6124 -6125 -6126 -6127 -6128 -6129 -6130 -6131 -6132 -6133 -6134 -6135 -6136 -6137 -6138 -6139 -6140 -6141 -6142 6143 -6144 -6145 -6146 -6147 -6148 -6149 -6150 -6151 -6152 -6153 -6154 -6155 -6156 -6157 -6158 -6159 -6160 6161 -6162 -6163 -6164 -6165 -6166 -6167 -6168 -6169 -6170 -6171 -6172 -6173 -6174 -6175 -6176 -6177 -6178 -6179 -6180 -6181 -6182 -6183 -6184 -6185 -6186 -6187 -6188 -6189 -6190 -6191 -6192 -6193 -6194 -6195 -6196 -6197 -6198 -6199 -6200 -6201 -6202 -6203 -6204 -6205 -6206 -6207 -6208 -6209 -6210 -6211 -6212 -6213 -6214 -6215 -6216 -6217 -6218 -6219 -6220 -6221 -6222 -6223 -6224 -6225 -6226 -6227 -6228 -6229 -6230 -6231 -6232 -6233 -6234 -6235 -6236 -6237 -6238 -6239 -6240 -6241 -6242 -6243 -6244 -6245 -6246 -6247 -6248 -6249 -6250 -6251 -6252 -6253 -6254 -6255 -6256 -6257 -6258 -6259 -6260 -6261 -6262 -6263 -6264 -6265 -6266 -6267 -6268 -6269 -6270 -6271 -6272 -6273 -6274 -6275 -6276 -6277 -6278 -6279 -6280 -6281 -6282 -6283 -6284 -6285 -6286 -6287 -6288 -6289 -6290 -6291 -6292 -6293 -6294 -6295 -6296 -6297 -6298 -6299 -6300 -6301 -6302 -6303 6304 -6305 -6306 -6307 -6308 -6309 -6310 -6311 -6312 -6313 -6314 -6315 -6316 -6317 -6318 -6319 -6320 -6321 -6322 -6323 -6324 -6325 -6326 -6327 -6328 -6329 -6330 -6331 -6332 -6333 -6334 -6335 -6336 -6337 -6338 -6339 -6340 -6341 -6342 -6343 -6344 -6345 -6346 -6347 -6348 -6349 -6350 -6351 -6352 -6353 -6354 -6355 -6356 -6357 -6358 -6359 -6360 -6361 -6362 -6363 -6364 -6365 -6366 -6367 -6368 -6369 -6370 -6371 -6372 -6373 -6374 -6375 -6376 -6377 -6378 -6379 -6380 -6381 -6382 -6383 -6384 -6385 -6386 -6387 -6388 -6389 -6390 -6391 -6392 6393 -6394 -6395 -6396 -6397 -6398 -6399 -6400 -6401 -6402 -6403 -6404 -6405 -6406 -6407 -6408 -6409 -6410 -6411 -6412 6413 -6414 -6415 -6416 -6417 -6418 -6419 -6420 -6421 -6422 -6423 -6424 -6425 -6426 -6427 -6428 -6429 -6430 -6431 -6432 -6433 -6434 -6435 -6436 -6437 -6438 -6439 -6440 -6441 -6442 -6443 -6444 -6445 -6446 -6447 -6448 -6449 -6450 -6451 -6452 -6453 -6454 -6455 -6456 -6457 -6458 -6459 -6460 -6461 -6462 -6463 -6464 -6465 -6466 -6467 -6468 -6469 6470 -6471 -6472 -6473 -6474 -6475 -6476 -6477 -6478 -6479 -6480 6481 -6482 -6483 -6484 -6485 -6486 -6487 -6488 -6489 -6490 -6491 -6492 -6493 -6494 -6495 -6496 -6497 -6498 -6499 -6500 -6501 -6502 -6503 -6504 -6505 -6506 6507 -6508 -6509 -6510 -6511 -6512 -6513 -6514 -6515 -6516 -6517 6518 -6519 -6520 -6521 -6522 -6523 -6524 -6525 -6526 -6527 -6528 -6529 -6530 -6531 -6532 -6533 -6534 -6535 -6536 -6537 -6538 6539 -6540 -6541 -6542 -6543 -6544 -6545 -6546 -6547 -6548 -6549 -6550 -6551 -6552 -6553 -6554 -6555 -6556 -6557 -6558 6559 -6560 -6561 -6562 -6563 -6564 -6565 -6566 -6567 -6568 -6569 -6570 -6571 -6572 6573 -6574 -6575 -6576 -6577 -6578 -6579 -6580 -6581 -6582 -6583 -6584 -6585 -6586 -6587 -6588 -6589 -6590 -6591 6592 -6593 -6594 -6595 -6596 -6597 -6598 -6599 -6600 -6601 -6602 -6603 -6604 -6605 -6606 -6607 -6608 -6609 -6610 -6611 -6612 -6613 -6614 -6615 6616 -6617 -6618 -6619 -6620 -6621 -6622 -6623 -6624 -6625 6626 -6627 -6628 -6629 -6630 -6631 -6632 -6633 -6634 -6635 -6636 -6637 -6638 -6639 -6640 -6641 -6642 6643 -6644 -6645 -6646 -6647 -6648 -6649 -6650 -6651 -6652 -6653 -6654 -6655 -6656 -6657 -6658 -6659 -6660 -6661 -6662 -6663 -6664 -6665 6666 -6667 -6668 -6669 -6670 -6671 -6672 -6673 -6674 -6675 -6676 -6677 -6678 6679 -6680 -6681 -6682 -6683 -6684 -6685 -6686 -6687 -6688 -6689 -6690 -6691 -6692 -6693 -6694 -6695 -6696 -6697 -6698 -6699 -6700 6701 -6702 -6703 -6704 -6705 -6706 -6707 -6708 -6709 -6710 -6711 -6712 -6713 -6714 -6715 -6716 6717 -6718 -6719 -6720 -6721 -6722 -6723 -6724 -6725 -6726 -6727 -6728 -6729 -6730 -6731 -6732 -6733 -6734 6735 -6736 -6737 -6738 -6739 -6740 -6741 -6742 -6743 -6744 -6745 -6746 -6747 -6748 -6749 -6750 -6751 -6752 -6753 -6754 -6755 -6756 6757 -6758 -6759 -6760 -6761 -6762 -6763 -6764 -6765 -6766 -6767 -6768 -6769 -6770 -6771 -6772 6773 -6774 -6775 -6776 -6777 -6778 -6779 -6780 -6781 -6782 -6783 -6784 -6785 -6786 -6787 -6788 -6789 -6790 6791 -6792 -6793 -6794 -6795 -6796 -6797 -6798 -6799 -6800 -6801 -6802 -6803 -6804 -6805 6806 -6807 -6808 -6809 -6810 -6811 -6812 -6813 -6814 -6815 -6816 -6817 -6818 -6819 -6820 -6821 -6822 6823 -6824 -6825 -6826 -6827 -6828 -6829 -6830 -6831 -6832 -6833 -6834 -6835 -6836 -6837 -6838 -6839 -6840 -6841 -6842 6843 -6844 -6845 -6846 -6847 -6848 -6849 -6850 -6851 -6852 -6853 -6854 -6855 -6856 -6857 -6858 -6859 -6860 -6861 -6862 6863 -6864 -6865 -6866 -6867 -6868 -6869 -6870 -6871 -6872 -6873 -6874 -6875 -6876 -6877 -6878 6879 -6880 -6881 -6882 -6883 -6884 -6885 -6886 -6887 -6888 -6889 -6890 -6891 -6892 -6893 -6894 -6895 -6896 -6897 -6898 -6899 6900 -6901 -6902 -6903 -6904 -6905 -6906 -6907 -6908 -6909 -6910 -6911 -6912 -6913 -6914 6915 -6916 -6917 -6918 -6919 -6920 -6921 -6922 -6923 -6924 -6925 -6926 -6927 -6928 -6929 -6930 -6931 -6932 -6933 -6934 6935 -6936 -6937 -6938 -6939 -6940 -6941 -6942 -6943 -6944 -6945 -6946 -6947 -6948 -6949 6950 -6951 -6952 -6953 -6954 -6955 -6956 -6957 -6958 -6959 -6960 -6961 -6962 -6963 -6964 -6965 -6966 -6967 -6968 -6969 -6970 -6971 -6972 6973 -6974 -6975 -6976 -6977 -6978 -6979 -6980 -6981 -6982 -6983 -6984 -6985 -6986 -6987 -6988 6989 -6990 -6991 -6992 -6993 -6994 -6995 -6996 -6997 -6998 -6999 -7000 -7001 -7002 7003 -7004 -7005 -7006 -7007 -7008 -7009 -7010 -7011 -7012 -7013 -7014 -7015 -7016 -7017 -7018 -7019 -7020 -7021 -7022 -7023 7024 -7025 -7026 -7027 -7028 -7029 -7030 -7031 -7032 -7033 -7034 -7035 -7036 -7037 -7038 -7039 -7040 7041 -7042 -7043 -7044 -7045 -7046 -7047 -7048 -7049 -7050 -7051 -7052 -7053 -7054 -7055 -7056 -7057 -7058 -7059 7060 -7061 -7062 -7063 -7064 -7065 -7066 -7067 -7068 -7069 -7070 -7071 -7072 -7073 -7074 -7075 -7076 -7077 -7078 7079 -7080 -7081 -7082 -7083 -7084 -7085 -7086 -7087 -7088 -7089 -7090 -7091 -7092 -7093 -7094 7095 -7096 -7097 -7098 -7099 -7100 -7101 -7102 -7103 -7104 -7105 -7106 -7107 -7108 -7109 -7110 -7111 -7112 -7113 -7114 -7115 -7116 -7117 -7118 7119 -7120 -7121 -7122 -7123 -7124 -7125 -7126 -7127 -7128 7129 -7130 -7131 -7132 -7133 -7134 -7135 -7136 -7137 -7138 -7139 -7140 -7141 -7142 -7143 -7144 -7145 -7146 -7147 -7148 -7149 -7150 -7151 -7152 -7153 -7154 -7155 7156 -7157 -7158 -7159 -7160 -7161 -7162 -7163 -7164 -7165 7166 -7167 -7168 -7169 -7170 -7171 -7172 -7173 -7174 -7175 -7176 -7177 -7178 -7179 -7180 -7181 -7182 -7183 -7184 -7185 -7186 7187 -7188 -7189 -7190 -7191 -7192 -7193 -7194 -7195 -7196 -7197 -7198 -7199 -7200 -7201 -7202 -7203 -7204 -7205 -7206 -7207 7208 -7209 -7210 -7211 -7212 -7213 -7214 -7215 -7216 -7217 -7218 -7219 -7220 -7221 -7222 -7223 -7224 7225 -7226 -7227 -7228 -7229 -7230 -7231 -7232 -7233 -7234 -7235 -7236 -7237 -7238 -7239 7240 -7241 -7242 -7243 -7244 -7245 -7246 -7247 -7248 -7249 -7250 -7251 -7252 -7253 -7254 -7255 -7256 -7257 -7258 -7259 -7260 -7261 -7262 -7263 7264 -7265 -7266 -7267 -7268 -7269 -7270 -7271 -7272 -7273 -7274 -7275 -7276 -7277 -7278 -7279 7280 -7281 -7282 -7283 -7284 -7285 -7286 -7287 -7288 -7289 -7290 7291 -7292 -7293 -7294 -7295 -7296 -7297 -7298 -7299 -7300 -7301 -7302 -7303 -7304 -7305 -7306 -7307 -7308 -7309 -7310 -7311 -7312 -7313 7314 -7315 -7316 -7317 -7318 -7319 -7320 -7321 -7322 -7323 -7324 -7325 -7326 -7327 -7328 -7329 -7330 -7331 -7332 -7333 7334 -7335 -7336 -7337 -7338 -7339 -7340 -7341 -7342 -7343 -7344 -7345 -7346 -7347 -7348 -7349 -7350 -7351 7352 -7353 -7354 -7355 -7356 -7357 -7358 -7359 -7360 -7361 -7362 -7363 -7364 7365 -7366 -7367 -7368 -7369 -7370 -7371 -7372 -7373 -7374 -7375 -7376 -7377 -7378 -7379 -7380 -7381 -7382 7383 -7384 -7385 -7386 -7387 -7388 -7389 -7390 -7391 -7392 -7393 -7394 -7395 -7396 -7397 -7398 -7399 -7400 -7401 -7402 -7403 -7404 7405 -7406 -7407 -7408 -7409 -7410 -7411 -7412 -7413 -7414 -7415 -7416 -7417 -7418 -7419 -7420 -7421 7422 -7423 -7424 -7425 -7426 -7427 -7428 -7429 -7430 -7431 -7432 -7433 -7434 -7435 -7436 -7437 -7438 -7439 -7440 7441 -7442 -7443 -7444 -7445 -7446 -7447 -7448 -7449 -7450 -7451 -7452 -7453 -7454 -7455 -7456 -7457 7458 -7459 -7460 -7461 -7462 -7463 -7464 -7465 -7466 -7467 -7468 -7469 -7470 -7471 -7472 -7473 7474 -7475 -7476 -7477 -7478 -7479 -7480 -7481 -7482 -7483 -7484 -7485 -7486 -7487 -7488 -7489 -7490 -7491 -7492 -7493 -7494 7495 -7496 -7497 -7498 -7499 -7500 -7501 -7502 -7503 -7504 -7505 -7506 -7507 -7508 -7509 -7510 7511 -7512 -7513 -7514 -7515 -7516 -7517 -7518 -7519 -7520 -7521 -7522 -7523 -7524 -7525 -7526 7527 -7528 -7529 -7530 -7531 -7532 -7533 -7534 -7535 -7536 -7537 -7538 -7539 -7540 -7541 -7542 -7543 -7544 -7545 -7546 -7547 -7548 7549 -7550 -7551 -7552 -7553 -7554 -7555 -7556 -7557 -7558 -7559 -7560 -7561 -7562 -7563 -7564 7565 -7566 -7567 -7568 -7569 -7570 -7571 -7572 -7573 -7574 -7575 -7576 -7577 -7578 -7579 -7580 -7581 -7582 -7583 -7584 7585 -7586 -7587 -7588 -7589 -7590 -7591 -7592 -7593 -7594 -7595 -7596 -7597 7598 -7599 -7600 -7601 -7602 -7603 -7604 -7605 -7606 -7607 -7608 -7609 -7610 -7611 -7612 -7613 -7614 -7615 -7616 -7617 -7618 -7619 -7620 7621 -7622 -7623 -7624 -7625 -7626 -7627 -7628 -7629 -7630 -7631 -7632 -7633 -7634 -7635 -7636 7637 -7638 -7639 -7640 -7641 -7642 -7643 -7644 -7645 -7646 -7647 -7648 -7649 -7650 7651 -7652 -7653 -7654 -7655 -7656 -7657 -7658 -7659 -7660 -7661 -7662 -7663 -7664 -7665 -7666 -7667 -7668 -7669 -7670 -7671 7672 -7673 -7674 -7675 -7676 -7677 -7678 -7679 -7680 -7681 -7682 -7683 -7684 -7685 -7686 -7687 -7688 7689 -7690 -7691 -7692 -7693 -7694 -7695 -7696 -7697 -7698 -7699 -7700 -7701 -7702 -7703 -7704 -7705 -7706 -7707 -7708 7709 -7710 -7711 -7712 -7713 -7714 -7715 -7716 -7717 -7718 -7719 -7720 -7721 -7722 -7723 -7724 -7725 -7726 7727 -7728 -7729 -7730 -7731 -7732 -7733 -7734 -7735 -7736 -7737 -7738 -7739 -7740 -7741 -7742 7743 -7744 -7745 -7746 -7747 -7748 -7749 -7750 -7751 -7752 -7753 -7754 -7755 -7756 -7757 -7758 -7759 -7760 -7761 -7762 -7763 -7764 -7765 -7766 -7767 -7768 7769 7770 7771 7772 7773 7774 7775 7776 -7777 -7778 -7779 -7780 -7781 -7782 -7783 7784 7785 7786 7787 7788 7789 7790 7791 7792 7793 7794 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3290666-1304135443/watcher-3290666-1304135443 -o /tmp/evaluation-result-3290666-1304135443/solver-3290666-1304135443 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3290666-1304135443.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 6.84 7.80 7.92 3/174 29742
/proc/meminfo: memFree=29736040/32950928 swapFree=67111364/67111528
[pid=29742] ppid=29740 vsize=51244 CPUtime=0 cores=1,3,5,7
/proc/29742/stat : 29742 (techdemo) R 29740 29742 29250 0 -1 4202496 1137 0 0 0 0 0 0 0 21 0 1 0 603775016 52473856 1068 33554432000 4194304 4797429 140735226903040 18446744073709551615 4629040 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29742/statm: 12811 1069 347 148 0 7740 0

[startup+0.104086 s]
/proc/loadavg: 6.84 7.80 7.92 3/174 29742
/proc/meminfo: memFree=29736040/32950928 swapFree=67111364/67111528
[pid=29742] ppid=29740 vsize=68532 CPUtime=0.09 cores=1,3,5,7
/proc/29742/stat : 29742 (techdemo) R 29740 29742 29250 0 -1 4202496 6905 0 0 0 9 0 0 0 21 0 1 0 603775016 70176768 6186 33554432000 4194304 4797429 140735226903040 18446744073709551615 4629040 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29742/statm: 17133 6186 350 148 0 12062 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 68532

[startup+0.201058 s]
/proc/loadavg: 6.84 7.80 7.92 3/174 29742
/proc/meminfo: memFree=29736040/32950928 swapFree=67111364/67111528
[pid=29742] ppid=29740 vsize=77736 CPUtime=0.19 cores=1,3,5,7
/proc/29742/stat : 29742 (techdemo) R 29740 29742 29250 0 -1 4202496 11280 0 0 0 18 1 0 0 21 0 1 0 603775016 79601664 10189 33554432000 4194304 4797429 140735226903040 18446744073709551615 4629040 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29742/statm: 19434 10189 350 148 0 14363 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 77736

[startup+0.300971 s]
/proc/loadavg: 6.84 7.80 7.92 3/174 29742
/proc/meminfo: memFree=29736040/32950928 swapFree=67111364/67111528
[pid=29742] ppid=29740 vsize=178788 CPUtime=0.47 cores=1,3,5,7
/proc/29742/stat : 29742 (techdemo) R 29740 29742 29250 0 -1 4202496 13128 0 0 0 46 1 0 0 23 0 4 0 603775016 183078912 11902 33554432000 4194304 4797429 140735226903040 18446744073709551615 4429150 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29742/statm: 44697 11902 376 148 0 39626 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 178788

[startup+0.700897 s]
/proc/loadavg: 6.84 7.80 7.92 3/174 29742
/proc/meminfo: memFree=29736040/32950928 swapFree=67111364/67111528
[pid=29742] ppid=29740 vsize=733080 CPUtime=2.06 cores=1,3,5,7
/proc/29742/stat : 29742 (techdemo) R 29740 29742 29250 0 -1 4202496 25585 0 0 0 201 5 0 0 18 0 4 0 603775016 750673920 17637 33554432000 4194304 4797429 140735226903040 18446744073709551615 4428751 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29742/statm: 183270 17639 384 148 0 178199 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 733080

[startup+1.50075 s]
/proc/loadavg: 6.84 7.80 7.92 10/184 29755
/proc/meminfo: memFree=29570172/32950928 swapFree=67111364/67111528
[pid=29742] ppid=29740 vsize=748284 CPUtime=5.2 cores=1,3,5,7
/proc/29742/stat : 29742 (techdemo) R 29740 29742 29250 0 -1 4202496 35585 0 0 0 512 8 0 0 18 0 4 0 603775016 766242816 27624 33554432000 4194304 4797429 140735226903040 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29742/statm: 187071 27624 405 148 0 182000 0
[pid=29742/tid=29750] ppid=29740 vsize=748284 CPUtime=1.23 cores=1,3,5,7
/proc/29742/task/29750/stat : 29750 (techdemo) R 29740 29742 29250 0 -1 4202560 5361 0 0 0 123 0 0 0 18 0 4 0 603775040 766242816 27624 33554432000 4194304 4797429 140735226903040 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29742/tid=29751] ppid=29740 vsize=748284 CPUtime=1.23 cores=1,3,5,7
/proc/29742/task/29751/stat : 29751 (techdemo) R 29740 29742 29250 0 -1 4202560 5820 0 0 0 122 1 0 0 18 0 4 0 603775040 766242816 27624 33554432000 4194304 4797429 140735226903040 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29742/tid=29752] ppid=29740 vsize=748284 CPUtime=1.24 cores=1,3,5,7
/proc/29742/task/29752/stat : 29752 (techdemo) R 29740 29742 29250 0 -1 4202560 5627 0 0 0 122 2 0 0 18 0 4 0 603775040 766242816 27624 33554432000 4194304 4797429 140735226903040 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.2
Current children cumulated vsize (KiB) 748284

[startup+3.10045 s]
/proc/loadavg: 6.84 7.80 7.92 10/184 29755
/proc/meminfo: memFree=29463784/32950928 swapFree=67111364/67111528
[pid=29742] ppid=29740 vsize=817660 CPUtime=11.6 cores=1,3,5,7
/proc/29742/stat : 29742 (techdemo) R 29740 29742 29250 0 -1 4202496 38560 0 0 0 1149 11 0 0 18 0 4 0 603775016 837283840 30513 33554432000 4194304 4797429 140735226903040 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29742/statm: 204415 30513 404 148 0 199344 0
[pid=29742/tid=29750] ppid=29740 vsize=817660 CPUtime=2.83 cores=1,3,5,7
/proc/29742/task/29750/stat : 29750 (techdemo) R 29740 29742 29250 0 -1 4202560 6230 0 0 0 282 1 0 0 20 0 4 0 603775040 837283840 30513 33554432000 4194304 4797429 140735226903040 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29742/tid=29751] ppid=29740 vsize=817660 CPUtime=2.83 cores=1,3,5,7
/proc/29742/task/29751/stat : 29751 (techdemo) R 29740 29742 29250 0 -1 4202560 6622 0 0 0 281 2 0 0 18 0 4 0 603775040 837283840 30513 33554432000 4194304 4797429 140735226903040 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29742/tid=29752] ppid=29740 vsize=817660 CPUtime=2.84 cores=1,3,5,7
/proc/29742/task/29752/stat : 29752 (techdemo) R 29740 29742 29250 0 -1 4202560 6241 0 0 0 281 3 0 0 18 0 4 0 603775040 837283840 30513 33554432000 4194304 4797429 140735226903040 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.6
Current children cumulated vsize (KiB) 817660

[startup+6.30084 s]
/proc/loadavg: 6.93 7.81 7.92 9/184 29755
/proc/meminfo: memFree=29420760/32950928 swapFree=67111364/67111528
[pid=29742] ppid=29740 vsize=840308 CPUtime=24.38 cores=1,3,5,7
/proc/29742/stat : 29742 (techdemo) R 29740 29742 29250 0 -1 4202496 47554 0 0 0 2422 16 0 0 25 0 4 0 603775016 860475392 37389 33554432000 4194304 4797429 140735226903040 18446744073709551615 4351775 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29742/statm: 210077 37389 418 148 0 205006 0
[pid=29742/tid=29750] ppid=29740 vsize=840308 CPUtime=6.01 cores=1,3,5,7
/proc/29742/task/29750/stat : 29750 (techdemo) R 29740 29742 29250 0 -1 4202560 8146 0 0 0 599 2 0 0 19 0 4 0 603775040 860475392 37389 33554432000 4194304 4797429 140735226903040 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29742/tid=29751] ppid=29740 vsize=840308 CPUtime=6.03 cores=1,3,5,7
/proc/29742/task/29751/stat : 29751 (techdemo) R 29740 29742 29250 0 -1 4202560 8500 0 0 0 599 4 0 0 19 0 4 0 603775040 860475392 37389 33554432000 4194304 4797429 140735226903040 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29742/tid=29752] ppid=29740 vsize=840308 CPUtime=6.04 cores=1,3,5,7
/proc/29742/task/29752/stat : 29752 (techdemo) R 29740 29742 29250 0 -1 4202560 7972 0 0 0 600 4 0 0 19 0 4 0 603775040 860475392 37389 33554432000 4194304 4797429 140735226903040 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.38
Current children cumulated vsize (KiB) 840308

[startup+12.7006 s]
/proc/loadavg: 7.01 7.81 7.92 10/184 29755
/proc/meminfo: memFree=29403376/32950928 swapFree=67111364/67111528
[pid=29742] ppid=29740 vsize=848444 CPUtime=49.94 cores=1,3,5,7
/proc/29742/stat : 29742 (techdemo) R 29740 29742 29250 0 -1 4202496 51127 0 0 0 4976 18 0 0 25 0 4 0 603775016 868806656 40772 33554432000 4194304 4797429 140735226903040 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29742/statm: 212111 40772 419 148 0 207040 0
[pid=29742/tid=29750] ppid=29740 vsize=848444 CPUtime=12.36 cores=1,3,5,7
/proc/29742/task/29750/stat : 29750 (techdemo) R 29740 29742 29250 0 -1 4202560 8642 0 0 0 1234 2 0 0 25 0 4 0 603775040 868806656 40772 33554432000 4194304 4797429 140735226903040 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29742/tid=29751] ppid=29740 vsize=848444 CPUtime=12.43 cores=1,3,5,7
/proc/29742/task/29751/stat : 29751 (techdemo) R 29740 29742 29250 0 -1 4202560 9166 0 0 0 1239 4 0 0 25 0 4 0 603775040 868806656 40772 33554432000 4194304 4797429 140735226903040 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29742/tid=29752] ppid=29740 vsize=848444 CPUtime=12.44 cores=1,3,5,7
/proc/29742/task/29752/stat : 29752 (techdemo) R 29740 29742 29250 0 -1 4202560 8650 0 0 0 1240 4 0 0 25 0 4 0 603775040 868806656 40772 33554432000 4194304 4797429 140735226903040 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 49.94
Current children cumulated vsize (KiB) 848444

[startup+25.5012 s]
/proc/loadavg: 7.23 7.82 7.92 10/184 29755
/proc/meminfo: memFree=29335472/32950928 swapFree=67111364/67111528
[pid=29742] ppid=29740 vsize=866396 CPUtime=101.07 cores=1,3,5,7
/proc/29742/stat : 29742 (techdemo) R 29740 29742 29250 0 -1 4202496 60143 0 0 0 10086 21 0 0 25 0 4 0 603775016 887189504 46820 33554432000 4194304 4797429 140735226903040 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29742/statm: 216599 46820 421 148 0 211528 0
[pid=29742/tid=29750] ppid=29740 vsize=866396 CPUtime=25.1 cores=1,3,5,7
/proc/29742/task/29750/stat : 29750 (techdemo) R 29740 29742 29250 0 -1 4202560 10258 0 0 0 2507 3 0 0 25 0 4 0 603775040 887189504 46820 33554432000 4194304 4797429 140735226903040 18446744073709551615 4524057 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29742/tid=29751] ppid=29740 vsize=866396 CPUtime=25.23 cores=1,3,5,7
/proc/29742/task/29751/stat : 29751 (techdemo) R 29740 29742 29250 0 -1 4202560 10876 0 0 0 2518 5 0 0 25 0 4 0 603775040 887189504 46820 33554432000 4194304 4797429 140735226903040 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29742/tid=29752] ppid=29740 vsize=866396 CPUtime=25.23 cores=1,3,5,7
/proc/29742/task/29752/stat : 29752 (techdemo) R 29740 29742 29250 0 -1 4202560 10199 0 0 0 2519 4 0 0 25 0 4 0 603775040 887189504 46820 33554432000 4194304 4797429 140735226903040 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.07
Current children cumulated vsize (KiB) 866396

[startup+51.1004 s]
/proc/loadavg: 7.64 7.86 7.93 10/184 29756
/proc/meminfo: memFree=29290616/32950928 swapFree=67111364/67111528
[pid=29742] ppid=29740 vsize=876780 CPUtime=203.32 cores=1,3,5,7
/proc/29742/stat : 29742 (techdemo) R 29740 29742 29250 0 -1 4202496 72301 0 0 0 20307 25 0 0 25 0 4 0 603775016 897822720 49925 33554432000 4194304 4797429 140735226903040 18446744073709551615 4425054 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29742/statm: 219195 49925 422 148 0 214124 0
[pid=29742/tid=29750] ppid=29740 vsize=876780 CPUtime=50.56 cores=1,3,5,7
/proc/29742/task/29750/stat : 29750 (techdemo) R 29740 29742 29250 0 -1 4202560 10975 0 0 0 5053 3 0 0 25 0 4 0 603775040 897822720 49925 33554432000 4194304 4797429 140735226903040 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29742/tid=29751] ppid=29740 vsize=876780 CPUtime=50.83 cores=1,3,5,7
/proc/29742/task/29751/stat : 29751 (techdemo) R 29740 29742 29250 0 -1 4202560 11532 0 0 0 5077 6 0 0 25 0 4 0 603775040 897822720 49925 33554432000 4194304 4797429 140735226903040 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29742/tid=29752] ppid=29740 vsize=876780 CPUtime=50.83 cores=1,3,5,7
/proc/29742/task/29752/stat : 29752 (techdemo) R 29740 29742 29250 0 -1 4202560 12137 0 0 0 5078 5 0 0 25 0 4 0 603775040 897822720 49925 33554432000 4194304 4797429 140735226903040 18446744073709551615 4509279 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.32
Current children cumulated vsize (KiB) 876780

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

[startup+51.2004 s]
/proc/loadavg: 7.64 7.86 7.93 10/184 29756
/proc/meminfo: memFree=29290616/32950928 swapFree=67111364/67111528
[pid=29742] ppid=29740 vsize=876780 CPUtime=203.72 cores=1,3,5,7
/proc/29742/stat : 29742 (techdemo) R 29740 29742 29250 0 -1 4202496 72332 0 0 0 20347 25 0 0 25 0 4 0 603775016 897822720 49956 33554432000 4194304 4797429 140735226903040 18446744073709551615 4423101 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29742/statm: 219195 49956 422 148 0 214124 0
[pid=29742/tid=29750] ppid=29740 vsize=876780 CPUtime=50.66 cores=1,3,5,7
/proc/29742/task/29750/stat : 29750 (techdemo) R 29740 29742 29250 0 -1 4202560 10984 0 0 0 5063 3 0 0 25 0 4 0 603775040 897822720 49956 33554432000 4194304 4797429 140735226903040 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29742/tid=29751] ppid=29740 vsize=876780 CPUtime=50.93 cores=1,3,5,7
/proc/29742/task/29751/stat : 29751 (techdemo) R 29740 29742 29250 0 -1 4202560 11533 0 0 0 5087 6 0 0 25 0 4 0 603775040 897822720 49956 33554432000 4194304 4797429 140735226903040 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29742/tid=29752] ppid=29740 vsize=876780 CPUtime=50.93 cores=1,3,5,7
/proc/29742/task/29752/stat : 29752 (techdemo) R 29740 29742 29250 0 -1 4202560 12137 0 0 0 5088 5 0 0 25 0 4 0 603775040 897822720 49956 33554432000 4194304 4797429 140735226903040 18446744073709551615 4647959 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.72
Current children cumulated vsize (KiB) 876780

[startup+57.6012 s]
/proc/loadavg: 7.67 7.87 7.93 10/184 29756
/proc/meminfo: memFree=29277960/32950928 swapFree=67111364/67111528
[pid=29742] ppid=29740 vsize=877156 CPUtime=229.28 cores=1,3,5,7
/proc/29742/stat : 29742 (techdemo) R 29740 29742 29250 0 -1 4202496 74713 0 0 0 22902 26 0 0 25 0 4 0 603775016 898207744 50227 33554432000 4194304 4797429 140735226903040 18446744073709551615 4524576 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29742/statm: 219289 50227 422 148 0 214218 0
[pid=29742/tid=29750] ppid=29740 vsize=877156 CPUtime=57.02 cores=1,3,5,7
/proc/29742/task/29750/stat : 29750 (techdemo) R 29740 29742 29250 0 -1 4202560 11149 0 0 0 5699 3 0 0 25 0 4 0 603775040 898207744 50227 33554432000 4194304 4797429 140735226903040 18446744073709551615 4429754 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29742/tid=29751] ppid=29740 vsize=877156 CPUtime=57.33 cores=1,3,5,7
/proc/29742/task/29751/stat : 29751 (techdemo) R 29740 29742 29250 0 -1 4202560 11593 0 0 0 5727 6 0 0 25 0 4 0 603775040 898207744 50227 33554432000 4194304 4797429 140735226903040 18446744073709551615 4642204 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29742/tid=29752] ppid=29740 vsize=877156 CPUtime=57.33 cores=1,3,5,7
/proc/29742/task/29752/stat : 29752 (techdemo) R 29740 29742 29250 0 -1 4202560 12325 0 0 0 5728 5 0 0 25 0 4 0 603775040 898207744 50227 33554432000 4194304 4797429 140735226903040 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 229.28
Current children cumulated vsize (KiB) 877156

[startup+60.8006 s]
/proc/loadavg: 7.70 7.87 7.93 8/184 29756
/proc/meminfo: memFree=29269772/32950928 swapFree=67111364/67111528
[pid=29742] ppid=29740 vsize=878808 CPUtime=241.31 cores=1,3,5,7
/proc/29742/stat : 29742 (techdemo) S 29740 29742 29250 0 -1 4202496 75548 0 0 0 24104 27 0 0 21 0 4 0 603775016 899899392 51052 33554432000 4194304 4797429 140735226903040 18446744073709551615 256427220593 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29742/statm: 219702 51052 425 148 0 214631 0
[pid=29742/tid=29750] ppid=29740 vsize=878808 CPUtime=60.21 cores=1,3,5,7
/proc/29742/task/29750/stat : 29750 (techdemo) R 29740 29742 29250 0 -1 4202560 11164 0 0 0 6018 3 0 0 25 0 4 0 603775040 899899392 51052 33554432000 4194304 4797429 140735226903040 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29742/tid=29751] ppid=29740 vsize=878808 CPUtime=60.53 cores=1,3,5,7
/proc/29742/task/29751/stat : 29751 (techdemo) R 29740 29742 29250 0 -1 4202560 11594 0 0 0 6047 6 0 0 25 0 4 0 603775040 899899392 51052 33554432000 4194304 4797429 140735226903040 18446744073709551615 256415058906 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29742/tid=29752] ppid=29740 vsize=878808 CPUtime=60.19 cores=1,3,5,7
/proc/29742/task/29752/stat : 29752 (techdemo) S 29740 29742 29250 0 -1 4202560 12370 0 0 0 6014 5 0 0 25 0 4 0 603775040 899899392 51052 33554432000 4194304 4797429 140735226903040 18446744073709551615 47377548801588 0 0 4096 2 18446604466602709952 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 241.31
Current children cumulated vsize (KiB) 878808

[startup+61.6005 s]
/proc/loadavg: 7.70 7.87 7.93 7/184 29756
/proc/meminfo: memFree=29268532/32950928 swapFree=67111364/67111528
[pid=29742] ppid=29740 vsize=878808 CPUtime=242.22 cores=1,3,5,7
/proc/29742/stat : 29742 (techdemo) S 29740 29742 29250 0 -1 4202496 75548 0 0 0 24195 27 0 0 15 0 4 0 603775016 899899392 51052 33554432000 4194304 4797429 140735226903040 18446744073709551615 256427220593 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29742/statm: 219702 51052 425 148 0 214631 0
[pid=29742/tid=29750] ppid=29740 vsize=878808 CPUtime=61.01 cores=1,3,5,7
/proc/29742/task/29750/stat : 29750 (techdemo) R 29740 29742 29250 0 -1 4202560 11164 0 0 0 6098 3 0 0 25 0 4 0 603775040 899899392 51052 33554432000 4194304 4797429 140735226903040 18446744073709551615 4517686 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29742/tid=29751] ppid=29740 vsize=878808 CPUtime=60.64 cores=1,3,5,7
/proc/29742/task/29751/stat : 29751 (techdemo) S 29740 29742 29250 0 -1 4202560 11594 0 0 0 6058 6 0 0 25 0 4 0 603775040 899899392 51052 33554432000 4194304 4797429 140735226903040 18446744073709551615 47377548801588 0 0 4096 2 18446604466602709952 0 0 -1 3 0 0 0
[pid=29742/tid=29752] ppid=29740 vsize=878808 CPUtime=60.19 cores=1,3,5,7
/proc/29742/task/29752/stat : 29752 (techdemo) S 29740 29742 29250 0 -1 4202560 12370 0 0 0 6014 5 0 0 25 0 4 0 603775040 899899392 51052 33554432000 4194304 4797429 140735226903040 18446744073709551615 47377548801588 0 0 4096 2 18446604466602709952 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 242.22
Current children cumulated vsize (KiB) 878808

[startup+62.4003 s]
/proc/loadavg: 7.70 7.87 7.93 7/184 29756
/proc/meminfo: memFree=29268532/32950928 swapFree=67111364/67111528
[pid=29742] ppid=29740 vsize=878808 CPUtime=243.02 cores=1,3,5,7
/proc/29742/stat : 29742 (techdemo) S 29740 29742 29250 0 -1 4202496 75589 0 0 0 24275 27 0 0 15 0 4 0 603775016 899899392 51093 33554432000 4194304 4797429 140735226903040 18446744073709551615 256427220593 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29742/statm: 219702 51093 425 148 0 214631 0
[pid=29742/tid=29750] ppid=29740 vsize=878808 CPUtime=61.81 cores=1,3,5,7
/proc/29742/task/29750/stat : 29750 (techdemo) R 29740 29742 29250 0 -1 4202560 11205 0 0 0 6178 3 0 0 25 0 4 0 603775040 899899392 51093 33554432000 4194304 4797429 140735226903040 18446744073709551615 4495452 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29742/tid=29751] ppid=29740 vsize=878808 CPUtime=60.64 cores=1,3,5,7
/proc/29742/task/29751/stat : 29751 (techdemo) S 29740 29742 29250 0 -1 4202560 11594 0 0 0 6058 6 0 0 25 0 4 0 603775040 899899392 51093 33554432000 4194304 4797429 140735226903040 18446744073709551615 47377548801588 0 0 4096 2 18446604466602709952 0 0 -1 3 0 0 0
[pid=29742/tid=29752] ppid=29740 vsize=878808 CPUtime=60.19 cores=1,3,5,7
/proc/29742/task/29752/stat : 29752 (techdemo) S 29740 29742 29250 0 -1 4202560 12370 0 0 0 6014 5 0 0 25 0 4 0 603775040 899899392 51093 33554432000 4194304 4797429 140735226903040 18446744073709551615 47377548801588 0 0 4096 2 18446604466602709952 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 243.02
Current children cumulated vsize (KiB) 878808

[startup+62.8062 s]
/proc/loadavg: 7.70 7.87 7.93 7/184 29756
/proc/meminfo: memFree=29271136/32950928 swapFree=67111364/67111528
[pid=29742] ppid=29740 vsize=878808 CPUtime=243.42 cores=1,3,5,7
/proc/29742/stat : 29742 (techdemo) S 29740 29742 29250 0 -1 4202496 75591 0 0 0 24315 27 0 0 15 0 4 0 603775016 899899392 51086 33554432000 4194304 4797429 140735226903040 18446744073709551615 256427220593 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29742/statm: 219702 51086 425 148 0 214631 0
[pid=29742/tid=29750] ppid=29740 vsize=878808 CPUtime=62.21 cores=1,3,5,7
/proc/29742/task/29750/stat : 29750 (techdemo) R 29740 29742 29250 0 -1 4202560 11207 0 0 0 6218 3 0 0 25 0 4 0 603775040 899899392 51086 33554432000 4194304 4797429 140735226903040 18446744073709551615 47377548801561 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29742/tid=29751] ppid=29740 vsize=878808 CPUtime=60.64 cores=1,3,5,7
/proc/29742/task/29751/stat : 29751 (techdemo) S 29740 29742 29250 0 -1 4202560 11594 0 0 0 6058 6 0 0 25 0 4 0 603775040 899899392 51086 33554432000 4194304 4797429 140735226903040 18446744073709551615 47377548801588 0 0 4096 2 18446604466602709952 0 0 -1 3 0 0 0
[pid=29742/tid=29752] ppid=29740 vsize=878808 CPUtime=60.19 cores=1,3,5,7
/proc/29742/task/29752/stat : 29752 (techdemo) S 29740 29742 29250 0 -1 4202560 12370 0 0 0 6014 5 0 0 25 0 4 0 603775040 899899392 51086 33554432000 4194304 4797429 140735226903040 18446744073709551615 47377548801588 0 0 4096 2 18446604466602709952 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 243.42
Current children cumulated vsize (KiB) 878808

Child status: 10
Real time (s): 62.8513
CPU time (s): 243.58
CPU user time (s): 243.294
CPU system time (s): 0.285956
CPU usage (%): 387.55
Max. virtual memory (cumulated for all children) (KiB): 986556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.294
system time used= 0.285956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75601
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= 10911
involuntary context switches= 1710

runsolver used 0.114982 second user time and 0.236963 second system time

The end

Launcher Data 

Begin job on node115 at 2011-04-30 05:50:43
IDJOB=3290666
IDBENCH=83445
IDSOLVER=1584
FILE ID=node115/3290666-1304135443
RUNJOBID= node115-1304135443-29729
PBS_JOBID= 13170791
Free space on /tmp= 72872 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F18.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290666-1304135443/watcher-3290666-1304135443 -o /tmp/evaluation-result-3290666-1304135443/solver-3290666-1304135443 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3290666-1304135443.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 0219a55415ff7fae71350d03c49bcd06
RANDOM SEED=1888501766

node115.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.811
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.62
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.811
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	: 5226.15
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.811
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.75
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.811
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.75
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.811
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.77
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.811
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.74
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.811
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.75
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.811
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29736320 kB
Buffers:        825972 kB
Cached:        1895948 kB
SwapCached:          0 kB
Active:         199552 kB
Inactive:      2590004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29736320 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           16800 kB
Writeback:           0 kB
AnonPages:       67304 kB
Mapped:          14524 kB
Slab:           361312 kB
PageTables:       4828 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   191912 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= 72852 MiB
End job on node115 at 2011-04-30 05:51:46