Trace number 4308664

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 NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2018-08-14SAT (TO)90810905 2520.71 2275.13

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-scen-07-opt_c18.xml
MD5SUMba4df16e86f19a26142e39b1a48414c8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5249896
Best CPU time to get the best result obtained on this benchmark2400.22
Satisfiable
(Un)Satisfiability was proved
Number of variables3065
Number of constraints2865
Number of domains7
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":2665},{"size":22,"count":8},{"size":36,"count":184},{"size":44,"count":208}]
Minimum variable degree2
Maximum variable degree62
Distribution of variable degrees[{"degree":2,"count":2665},{"degree":3,"count":15},{"degree":4,"count":8},{"degree":5,"count":34},{"degree":6,"count":11},{"degree":7,"count":34},{"degree":8,"count":5},{"degree":9,"count":45},{"degree":10,"count":18},{"degree":11,"count":11},{"degree":12,"count":7},{"degree":13,"count":30},{"degree":14,"count":10},{"degree":15,"count":31},{"degree":16,"count":5},{"degree":17,"count":26},{"degree":18,"count":5},{"degree":19,"count":13},{"degree":20,"count":13},{"degree":21,"count":11},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":7},{"degree":25,"count":5},{"degree":27,"count":9},{"degree":28,"count":8},{"degree":29,"count":2},{"degree":30,"count":6},{"degree":31,"count":1},{"degree":35,"count":3},{"degree":36,"count":3},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":200},{"arity":3,"count":2665}]
Number of extensional constraints0
Number of intensional constraints2865
Distribution of constraint types[{"type":"intension","count":2865}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.68/0.56	c version: 2018-08-14
0.68/0.56	c seed: 485431784
0.68/0.56	c timeout: 2520
0.68/0.56	c memlimit: 11000
0.68/0.56	c nbcore: 4
0.68/0.58	c Parsing instance...
72.08/49.49	c Parsing done, starting first complete search...
388.91/357.16	o 192675160
388.91/357.16	c First complete search done, starting ALNS search...
389.84/357.75	o 192675060
389.84/357.75	o 192675059
389.84/357.76	o 192675058
389.84/357.76	o 192675057
389.84/357.77	o 192675056
389.84/357.78	o 191675160
389.84/357.78	o 191675159
389.84/357.79	o 191675060
389.84/357.79	o 191675059
390.09/357.80	o 191675058
390.09/357.80	o 191675057
390.09/357.80	o 191675056
390.19/357.90	o 191675055
390.33/358.03	o 191675054
390.33/358.07	o 191675053
390.33/358.10	o 191675052
390.52/358.19	o 190675160
390.52/358.19	o 190675159
390.52/358.20	o 190675158
390.66/358.20	o 190675157
390.66/358.21	o 190675156
390.66/358.21	o 190675155
390.80/358.30	o 190675154
390.80/358.32	o 190675060
390.80/358.32	o 190675059
390.80/358.33	o 190675058
390.80/358.33	o 190675057
390.80/358.33	o 190675056
390.80/358.33	o 190675055
390.80/358.34	o 190675054
390.80/358.35	o 190675053
390.80/358.35	o 190675052
391.19/358.62	o 190675051
391.30/358.76	o 190665162
391.30/358.76	o 190665161
391.30/358.76	o 190665160
391.30/358.77	o 190665159
391.30/358.78	o 189675162
391.30/358.78	o 189675161
391.30/358.78	o 189675160
391.30/358.79	o 189675159
391.40/358.87	o 189675062
391.40/358.87	o 189675061
391.40/358.88	o 189675060
391.40/358.88	o 189675059
393.08/360.46	o 189675058
393.08/360.46	o 189675057
393.08/360.47	o 189675056
393.08/360.47	o 189675055
393.08/360.48	o 189675054
393.08/360.48	o 189675053
393.08/360.49	o 189675052
393.08/360.49	o 189675051
393.19/360.50	o 189675050
393.19/360.50	o 189675049
398.82/365.33	o 188675152
398.82/365.34	o 188675151
398.82/365.34	o 188675150
398.82/365.35	o 188665252
398.82/365.36	o 188665251
398.82/365.36	o 188665250
398.82/365.38	o 188655152
398.82/365.38	o 188655151
398.82/365.38	o 188655150
399.47/365.81	o 188645151
399.61/365.92	o 188635151
399.61/365.96	o 187655151
399.61/365.97	o 187645151
399.61/365.97	o 187635151
401.68/367.62	o 186665153
401.68/367.64	o 186655153
401.79/367.71	o 186645153
402.63/368.56	o 186635153
403.14/369.01	o 186625153
403.14/369.05	o 185655153
403.14/369.07	o 185645153
403.14/369.09	o 185635153
403.24/369.11	o 185625153
403.53/369.49	o 185625053
403.94/369.88	o 185615153
404.04/369.90	o 185615053
405.85/371.73	o 185614953
419.40/380.29	o 184614953
422.17/382.92	o 184614860
422.47/383.27	o 184614859
422.67/383.40	o 184614858
422.67/383.49	o 184614857
422.77/383.59	o 184604960
422.87/383.61	o 184604959
422.87/383.68	o 184604860
422.98/383.71	o 184604859
422.98/383.79	o 184604858
423.18/383.95	o 184604857
423.29/384.10	o 184594960
423.39/384.13	o 184594959
423.39/384.16	o 184594958
423.39/384.19	o 184594860
423.48/384.21	o 184594859
423.48/384.24	o 184594858
423.48/384.28	o 184594857
423.58/384.38	o 184594760
423.68/384.41	o 184594759
423.68/384.44	o 184594758
423.68/384.48	o 184594757
423.88/384.61	o 184584960
423.88/384.64	o 184584959
423.88/384.66	o 184584958
423.88/384.69	o 184584957
423.98/384.73	o 184584860
423.98/384.76	o 184584859
423.98/384.79	o 184584858
424.08/384.82	o 184584857
424.18/384.91	o 184584760
424.18/384.95	o 184584759
424.18/384.98	o 184584758
424.29/385.02	o 184584757
424.39/385.17	o 184584756
424.48/385.20	o 184584755
424.78/385.50	o 184584754
424.89/385.66	o 184574960
424.89/385.69	o 184574959
424.99/385.71	o 184574860
424.99/385.74	o 184574859
424.99/385.77	o 184574858
425.10/385.83	o 184574857
425.10/385.86	o 184574856
425.22/385.98	o 184574760
425.33/386.01	o 184574759
425.43/386.12	o 184574758
425.43/386.15	o 184574757
425.62/386.31	o 184574756
425.82/386.51	o 184574755
425.92/386.65	o 184574754
426.02/386.75	o 184564960
426.02/386.77	o 184564959
426.12/386.80	o 184564958
426.12/386.83	o 184564957
426.12/386.88	o 184564860
426.22/386.91	o 184564859
426.33/387.06	o 184564858
426.33/387.08	o 184564758
426.33/387.10	o 184564756
426.43/387.16	o 184564658
426.43/387.18	o 184564656
428.32/388.40	o 184554656
428.32/388.41	o 183564656
428.32/388.42	o 183554656
428.32/388.43	o 182564656
442.80/402.71	o 182564653
442.80/402.73	o 182564652
455.85/410.62	o 182555056
455.85/410.67	o 182555055
455.96/410.71	o 182554956
455.96/410.75	o 182554955
455.96/410.80	o 182554954
456.06/410.84	o 182554856
456.06/410.88	o 182554855
456.16/410.93	o 182554854
456.16/410.98	o 182554853
456.27/411.03	o 182554852
456.27/411.07	o 182554756
456.37/411.11	o 182554755
456.37/411.15	o 182554754
456.37/411.19	o 182554753
456.46/411.24	o 182554752
456.46/411.29	o 182554656
456.56/411.35	o 182554655
456.56/411.40	o 182554654
456.66/411.44	o 182554653
456.76/411.50	o 182554652
456.76/411.57	o 182554651
456.86/411.62	o 182545056
456.86/411.66	o 182545055
456.97/411.70	o 182545054
456.97/411.74	o 182545053
456.97/411.79	o 182545052
457.07/411.84	o 182544956
457.07/411.88	o 182544955
457.17/411.92	o 182544954
457.17/411.97	o 182544953
457.27/412.02	o 182544952
457.27/412.07	o 182544856
457.38/412.11	o 182544855
457.38/412.15	o 182544854
457.38/412.19	o 182544853
457.47/412.24	o 182544852
457.57/412.30	o 182544851
457.57/412.35	o 182544756
457.67/412.40	o 182544755
457.67/412.45	o 182544754
457.77/412.50	o 182544753
457.77/412.55	o 182544752
457.87/412.61	o 182544751
457.87/412.66	o 182544656
457.97/412.71	o 182544655
457.97/412.76	o 182544654
458.07/412.81	o 182544653
458.07/412.86	o 182544652
458.17/412.92	o 182544651
458.17/412.97	o 182535056
458.28/413.01	o 182535055
458.28/413.06	o 182535054
458.28/413.10	o 182535053
458.38/413.15	o 182534956
458.38/413.20	o 182534955
458.47/413.24	o 182534954
458.47/413.29	o 182534953
462.19/416.37	o 182524953
462.19/416.39	o 181544953
462.19/416.40	o 181534953
462.29/416.41	o 181524953
462.29/416.42	o 181524853
462.29/416.44	o 181524753
462.92/417.09	o 181515252
463.02/417.11	o 181515152
463.02/417.14	o 181515052
463.22/417.32	o 181515051
463.22/417.34	o 181514951
463.22/417.36	o 181514851
463.52/417.64	o 181514850
465.25/419.39	o 181514751
465.45/419.50	o 180514951
465.45/419.53	o 180514851
465.45/419.56	o 180514751
472.76/423.44	o 179535057
472.76/423.46	o 179535056
472.96/423.69	o 179525057
473.06/423.72	o 179525056
473.16/423.80	o 178525057
473.16/423.83	o 178525056
473.26/423.91	o 177525057
473.26/423.93	o 177525056
473.56/424.21	o 176525058
473.56/424.23	o 176525057
473.86/424.50	o 176515058
473.86/424.53	o 176515057
474.16/424.82	o 176515056
474.26/424.94	o 176515055
474.47/425.15	o 176515054
474.86/425.54	o 176514958
474.86/425.59	o 176514957
474.96/425.63	o 176514956
474.96/425.68	o 176514955
475.07/425.73	o 176514954
475.77/426.44	o 176514953
475.97/426.67	o 176514952
477.60/428.21	o 175515053
477.60/428.24	o 175515052
477.60/428.28	o 175505053
477.71/428.30	o 175505052
477.91/428.58	o 174515253
478.01/428.60	o 174515252
478.01/428.64	o 174505253
478.01/428.66	o 174505252
478.11/428.76	o 174505251
478.21/428.80	o 174505250
478.21/428.85	o 174495253
479.02/429.12	o 174495252
479.02/429.16	o 174495251
479.02/429.19	o 174495250
479.10/429.24	o 174495053
479.10/429.27	o 174495052
479.20/429.30	o 174495051
479.20/429.33	o 174495050
479.20/429.37	o 173505253
479.20/429.39	o 173505252
479.30/429.43	o 173505251
479.30/429.45	o 173505250
479.30/429.49	o 173495253
479.40/429.52	o 173495252
479.40/429.55	o 173495251
479.40/429.57	o 173495250
479.50/429.63	o 173495153
479.50/429.66	o 173495152
479.50/429.69	o 173495151
479.60/429.71	o 173495150
480.01/430.20	o 173495053
480.10/430.22	o 173495052
480.10/430.24	o 173494953
480.10/430.26	o 173494952
480.20/430.33	o 173494951
480.20/430.39	o 173494950
480.30/430.49	o 172505253
480.40/430.53	o 172505153
480.40/430.58	o 172505152
480.50/430.68	o 172505151
480.60/430.70	o 172505150
480.60/430.75	o 172495253
480.60/430.77	o 172495252
480.70/430.80	o 172495153
480.70/430.82	o 172495152
480.80/430.90	o 172495151
480.80/430.98	o 172495150
481.10/431.25	o 172495053
481.10/431.27	o 172495052
481.10/431.29	o 172494953
481.20/431.32	o 172494952
481.30/431.44	o 172494951
481.40/431.58	o 172494950
481.70/431.88	o 172494853
481.80/431.99	o 172494852
482.02/432.15	o 172494851
482.11/432.27	o 172494850
482.71/432.84	o 172485253
482.71/432.87	o 172485153
482.81/432.97	o 172485152
482.92/433.09	o 172485151
483.02/433.12	o 172485150
483.02/433.17	o 172485053
483.02/433.19	o 172485052
483.11/433.21	o 172485051
483.11/433.24	o 172485050
483.21/433.37	o 172475253
483.21/433.39	o 172475252
483.31/433.45	o 172475153
483.41/433.50	o 172475152
483.41/433.57	o 172475151
483.41/433.59	o 172475150
483.51/433.69	o 172475053
483.61/433.77	o 172475052
483.71/433.84	o 172475051
483.81/433.91	o 172475050
483.92/434.08	o 172474953
483.92/434.10	o 172474952
484.02/434.13	o 172474853
484.02/434.15	o 172474852
484.02/434.18	o 172474851
484.11/434.21	o 172474850
485.72/435.85	o 172474849
485.82/435.96	o 172474848
485.92/436.07	o 172474751
485.92/436.09	o 172474750
486.02/436.12	o 172474749
486.02/436.15	o 172474748
486.62/436.71	o 171515150
486.62/436.74	o 171505150
486.62/436.77	o 171505149
486.62/436.79	o 171505148
486.72/436.81	o 171505050
486.72/436.83	o 171505049
486.72/436.85	o 171505048
486.72/436.88	o 171505047
486.82/436.91	o 171504950
486.82/436.93	o 171504949
486.82/436.95	o 171504948
486.82/436.98	o 171504947
486.92/437.01	o 171495150
486.92/437.03	o 171495050
486.92/437.05	o 171495049
486.92/437.07	o 171495048
486.92/437.09	o 171494950
487.03/437.11	o 171494949
487.03/437.14	o 171494948
487.03/437.17	o 170505150
487.03/437.19	o 170505149
487.12/437.21	o 170505148
487.12/437.23	o 170505050
487.12/437.25	o 170505049
487.12/437.27	o 170505048
487.22/437.30	o 170504950
487.22/437.32	o 170504949
487.22/437.34	o 170504948
487.22/437.37	o 170495150
487.22/437.39	o 170495149
487.32/437.41	o 170495148
487.32/437.43	o 170495050
487.32/437.46	o 170495049
487.32/437.48	o 170495048
487.42/437.50	o 170494950
487.42/437.52	o 170494949
487.42/437.54	o 170494948
487.42/437.57	o 170494947
487.52/437.66	o 170494850
487.52/437.69	o 170494849
487.62/437.71	o 170494848
487.62/437.73	o 170494750
487.62/437.75	o 170494749
487.62/437.77	o 170494748
487.99/438.04	o 169524749
487.99/438.05	o 169524748
487.99/438.07	o 169524747
488.88/438.41	o 169514747
488.88/438.42	o 169514647
488.88/438.43	o 169514547
488.99/438.54	o 169514546
488.99/438.57	o 169514545
489.10/438.61	o 168514547
489.10/438.62	o 168514546
489.10/438.63	o 168514545
489.21/438.72	o 168504547
489.21/438.73	o 168504546
489.21/438.75	o 168504545
489.31/438.85	o 168504544
489.52/439.08	o 168504446
489.62/439.12	o 168504445
489.62/439.16	o 168504444
490.01/439.57	o 168494444
490.11/439.69	o 165494444
490.21/439.70	o 165484444
490.41/439.90	o 164494443
490.41/439.91	o 164484443
491.67/441.11	o 163504443
492.27/441.79	o 162504443
494.68/444.13	o 162504442
494.68/444.15	o 161504542
495.78/445.23	o 161484542
496.18/445.60	o 161474644
496.18/445.64	o 161474544
496.18/445.67	o 161474444
496.28/445.70	o 161464644
496.28/445.73	o 161464544
496.28/445.76	o 161464444
496.38/445.80	o 161464443
496.38/445.83	o 161464442
496.38/445.87	o 161464441
496.78/446.24	o 161464344
496.78/446.27	o 161464343
496.88/446.30	o 161464342
496.88/446.34	o 161464341
496.88/446.39	o 161464340
497.38/446.89	o 160464644
497.48/446.92	o 160464544
497.48/446.96	o 160464543
497.48/446.99	o 160464542
497.59/447.03	o 160464541
497.59/447.07	o 160464444
497.59/447.10	o 160464443
497.69/447.13	o 160464442
497.69/447.16	o 160464441
497.78/447.21	o 160464344
497.78/447.24	o 160464343
497.78/447.27	o 160464342
497.88/447.30	o 160464341
497.88/447.35	o 160454644
497.88/447.39	o 160454643
497.98/447.42	o 160454642
497.98/447.45	o 160454641
497.98/447.49	o 160454544
498.08/447.52	o 160454543
498.08/447.56	o 160454542
498.08/447.59	o 160454541
498.18/447.62	o 160454444
498.18/447.65	o 160454443
498.18/447.68	o 160454442
498.98/447.96	o 160454441
498.98/447.99	o 160454344
499.09/448.02	o 160454343
499.09/448.05	o 160454342
499.09/448.09	o 160454341
499.19/448.18	o 160454340
501.19/450.00	o 160454338
501.30/450.04	o 159454340
501.30/450.06	o 159454338
501.30/450.09	o 158454338
501.40/450.15	o 157454338
501.49/450.20	o 157454337
501.49/450.24	o 156454337
503.59/452.31	o 156444943
503.69/452.44	o 156444843
503.79/452.52	o 156444743
503.89/452.62	o 156444643
504.19/452.98	o 156444641
504.40/453.11	o 156444640
505.30/453.51	o 156444639
505.41/453.65	o 156444638
505.82/454.05	o 155524941
505.92/454.12	o 155524841
505.92/454.17	o 155514941
506.01/454.24	o 155514841
506.01/454.29	o 155504941
506.11/454.36	o 155504841
506.21/454.44	o 155504839
506.31/454.52	o 155504838
506.31/454.59	o 155504837
506.41/454.65	o 155494941
506.51/454.72	o 155494841
506.51/454.80	o 155494840
506.61/454.87	o 155494839
506.71/454.94	o 155494838
506.82/455.02	o 155494837
506.82/455.07	o 155484941
506.92/455.12	o 155484940
507.01/455.20	o 155484841
507.01/455.27	o 155484840
507.11/455.34	o 155484839
507.21/455.41	o 155484838
507.21/455.48	o 155484837
507.31/455.54	o 155474941
507.41/455.61	o 155474841
507.41/455.69	o 155474839
507.51/455.77	o 155474838
507.61/455.85	o 155474837
507.71/455.93	o 155474741
507.82/456.01	o 155474739
507.82/456.09	o 155474738
507.92/456.17	o 155474737
508.01/456.26	o 155474641
508.11/456.34	o 155474639
508.21/456.42	o 155474638
508.21/456.50	o 155474637
508.31/456.58	o 155474636
508.41/456.66	o 155474541
508.51/456.73	o 155474540
508.61/456.81	o 155474539
508.61/456.88	o 155474538
508.71/456.96	o 155474537
508.82/457.04	o 155474536
508.92/457.11	o 155464941
508.92/457.16	o 155464940
509.01/457.22	o 155464939
509.01/457.27	o 155464938
509.12/457.32	o 155464937
509.12/457.38	o 155464936
509.22/457.46	o 155464841
509.32/457.54	o 155464840
509.42/457.61	o 155464839
509.42/457.68	o 155464838
509.52/457.76	o 155464837
509.62/457.84	o 155464836
509.72/457.92	o 155464741
509.72/457.99	o 155464740
509.83/458.07	o 155464739
510.61/458.38	o 155464738
510.71/458.45	o 155464737
510.81/458.53	o 155464736
510.91/458.61	o 155464641
510.91/458.68	o 155464640
511.01/458.76	o 155464639
511.11/458.83	o 155464638
511.21/458.90	o 155464637
511.21/458.98	o 155464636
511.51/459.27	o 154464636
511.71/459.42	o 153474637
511.81/459.54	o 153464637
512.01/459.70	o 153454637
512.11/459.87	o 153454537
512.32/460.10	o 153444637
512.51/460.29	o 153444537
512.71/460.47	o 152464537
512.81/460.51	o 152454537
512.91/460.61	o 152444537
513.01/460.72	o 152434537
513.21/460.92	o 152434437
513.32/461.08	o 152424637
513.42/461.11	o 152424537
513.42/461.14	o 152424437
514.36/462.02	o 152414640
514.46/462.11	o 152414639
514.46/462.20	o 152414541
514.55/462.28	o 152414540
514.66/462.37	o 152414539
514.86/462.52	o 152414538
514.96/462.67	o 152404639
515.15/462.81	o 152404638
515.25/462.95	o 152404540
515.36/463.09	o 152404539
515.55/463.22	o 152404538
515.75/463.46	o 152404441
515.85/463.54	o 152404440
515.95/463.64	o 152404439
516.05/463.74	o 152404438
516.15/463.88	o 152404339
516.36/464.01	o 152404338
516.46/464.19	o 152394640
516.66/464.34	o 152394639
521.41/465.75	o 152394541
521.51/465.88	o 152394540
521.61/466.00	o 152394539
521.82/466.14	o 152394440
521.91/466.26	o 152394439
522.11/466.42	o 152394438
522.21/466.52	o 152394339
522.21/466.55	o 152394338
523.33/467.63	o 152394337
523.33/467.66	o 152394336
523.43/467.72	o 152394335
523.43/467.77	o 152394334
523.53/467.84	o 152394333
523.63/467.93	o 152394332
523.73/468.07	o 152394331
523.83/468.15	o 152394330
523.93/468.28	o 152394329
524.53/468.80	o 152394328
524.84/469.13	o 152394327
525.03/469.37	o 152394326
526.23/470.58	o 152394237
527.05/470.88	o 152394236
527.15/470.95	o 152394235
527.26/471.01	o 152394234
527.26/471.07	o 152394233
527.36/471.14	o 152394232
527.45/471.23	o 152394231
527.75/471.54	o 152394230
527.95/471.74	o 152394229
528.15/471.94	o 152394228
528.45/472.23	o 152394227
528.65/472.41	o 152394226
550.22/492.09	o 152384238
555.04/493.52	o 152384138
555.26/493.70	o 152384136
555.46/493.90	o 152374237
555.56/494.08	o 152374137
555.86/494.30	o 152374136
556.16/494.63	o 151394338
556.26/494.71	o 151394337
556.26/494.80	o 151384337
556.46/494.93	o 151384238
556.46/495.00	o 151384237
556.67/495.13	o 151384236
556.86/495.31	o 151384138
556.96/495.43	o 151384137
557.06/495.57	o 151384136
557.26/495.77	o 151374338
557.46/495.90	o 151374337
557.56/496.02	o 151374237
557.66/496.16	o 151374236
557.86/496.32	o 151374138
557.96/496.45	o 151374137
558.06/496.58	o 151374136
558.67/497.15	o 151374135
561.35/499.89	o 151374134
562.26/500.77	o 151374037
563.18/501.16	o 151374036
563.27/501.23	o 151374035
563.47/501.42	o 151374034
563.77/501.72	o 151373937
563.77/501.78	o 151373936
563.87/501.84	o 151373935
564.08/502.01	o 151373934
564.27/502.25	o 151364137
564.37/502.39	o 151364136
564.57/502.53	o 151364037
564.67/502.66	o 151364036
564.87/502.81	o 151364035
564.97/502.97	o 151364034
565.18/503.18	o 151363937
565.38/503.31	o 151363936
565.48/503.47	o 151363935
565.68/503.64	o 151363934
566.58/504.51	o 151363933
566.78/504.78	o 151354037
566.88/504.83	o 151354036
566.98/504.95	o 151353937
567.09/505.03	o 151353936
567.19/505.19	o 151353935
567.38/505.32	o 151353934
567.58/505.55	o 151353933
568.78/506.77	o 151353932
571.19/508.63	o 151353931
572.39/509.84	o 151353930
579.43/516.89	o 150414537
579.64/517.03	o 150414536
579.74/517.18	o 150414436
580.77/517.63	o 150414336
580.97/517.86	o 150414237
581.18/518.04	o 150414236
581.47/518.37	o 150414235
581.77/518.62	o 150414234
581.97/518.81	o 150404536
582.07/518.94	o 150404535
582.28/519.12	o 150404436
582.37/519.29	o 150404435
582.57/519.49	o 150404337
582.77/519.66	o 150404336
582.97/519.84	o 150404335
583.18/520.03	o 150404237
583.28/520.19	o 150404236
583.47/520.36	o 150404235
583.67/520.55	o 150404234
584.07/520.93	o 150394537
584.18/521.04	o 150394536
584.28/521.17	o 150394535
584.47/521.30	o 150394534
584.57/521.44	o 150394436
584.67/521.57	o 150394435
584.77/521.70	o 150394434
585.07/521.90	o 150394337
585.98/522.31	o 150394336
586.08/522.47	o 150394335
586.28/522.64	o 150394334
586.48/522.84	o 150394236
586.58/523.00	o 150394235
586.79/523.16	o 150394234
586.98/523.38	o 150384537
587.18/523.50	o 150384536
587.28/523.60	o 150384535
587.38/523.72	o 150384437
587.48/523.84	o 150384436
587.58/523.94	o 150384435
587.79/524.11	o 150384337
587.88/524.26	o 150384336
588.08/524.42	o 150384335
588.18/524.59	o 150384334
588.38/524.77	o 150384236
588.58/524.92	o 150384235
588.69/525.07	o 150384234
588.98/525.31	o 150374537
589.08/525.41	o 150374536
589.18/525.54	o 150374535
589.28/525.68	o 150374437
589.38/525.79	o 150374436
589.58/525.92	o 150374435
589.69/526.05	o 150374336
589.79/526.16	o 150374335
589.98/526.35	o 150374237
590.08/526.49	o 150374236
591.13/526.91	o 150374235
591.63/527.44	o 149374235
591.63/527.49	o 149364235
591.73/527.53	o 149364234
591.73/527.59	o 149354235
591.83/527.64	o 149344235
591.83/527.69	o 149344234
592.73/528.58	o 149334434
592.84/528.62	o 149334334
592.84/528.67	o 149334333
592.94/528.73	o 149334234
592.94/528.78	o 149334233
593.04/528.86	o 149334134
593.14/528.90	o 149334133
593.14/528.97	o 149334034
593.25/529.01	o 149334033
593.35/529.11	o 149334032
593.44/529.25	o 149324334
593.44/529.29	o 149324234
593.54/529.33	o 149324233
593.54/529.37	o 149324134
593.64/529.41	o 149324133
593.64/529.45	o 149324132
594.84/530.65	o 149324033
594.84/530.67	o 149324032
594.94/530.70	o 149324031
595.35/531.16	o 148364334
595.35/531.19	o 148354334
595.44/531.21	o 148354234
595.44/531.25	o 148354233
595.44/531.28	o 148344334
595.54/531.31	o 148344234
595.54/531.35	o 148344233
595.54/531.38	o 148344134
595.64/531.41	o 148344034
595.64/531.43	o 148344033
595.64/531.46	o 148344032
595.74/531.52	o 148343933
595.74/531.55	o 148343932
595.74/531.58	o 148343931
595.84/531.64	o 148334434
596.69/531.92	o 148334334
596.69/531.96	o 148334234
596.69/531.99	o 148334134
596.80/532.03	o 148334133
596.80/532.07	o 148334132
596.90/532.11	o 148334033
596.90/532.14	o 148334032
596.90/532.18	o 148334031
596.99/532.26	o 148333933
596.99/532.28	o 148333932
597.09/532.34	o 148333931
597.19/532.45	o 148324534
597.19/532.48	o 148324434
597.29/532.52	o 148324334
597.29/532.56	o 148324333
597.39/532.61	o 148324234
597.39/532.63	o 148324134
597.39/532.66	o 148324133
597.39/532.69	o 148324132
597.49/532.75	o 148324033
597.49/532.78	o 148324032
597.59/532.80	o 148324031
600.00/535.21	o 147344331
600.00/535.26	o 147334331
600.10/535.30	o 147334231
600.10/535.34	o 147334230
600.20/535.41	o 147334131
600.20/535.45	o 147334130
623.20/557.39	o 147324232
623.30/557.43	o 147324231
623.30/557.46	o 147324131
623.30/557.48	o 147324130
623.40/557.52	o 147324031
623.40/557.55	o 147314132
623.40/557.59	o 147314031
623.50/557.63	o 147314030
627.03/560.60	o 146333930
627.03/560.65	o 146323930
627.13/560.72	o 146323830
627.23/560.82	o 145334030
627.23/560.88	o 145334029
627.33/560.92	o 145324030
631.77/564.80	o 145323931
631.77/564.84	o 145323930
631.77/564.89	o 145313931
631.87/564.92	o 145313930
631.87/564.98	o 145313929
631.98/565.04	o 145313830
631.98/565.07	o 145313829
632.08/565.12	o 145313828
632.38/565.41	o 145313729
632.38/565.47	o 145313728
632.48/565.54	o 145303729
632.48/565.59	o 145303728
632.58/565.67	o 144323729
632.68/565.72	o 144313729
632.68/565.78	o 144303729
632.88/565.93	o 144303728
633.09/566.14	o 144303629
633.09/566.18	o 144303628
633.29/566.33	o 144303627
633.39/566.47	o 144303626
633.49/566.52	o 144303625
633.79/566.85	o 143313729
633.89/566.90	o 143313728
633.89/566.97	o 143313629
634.00/567.02	o 143313628
644.21/576.72	o 143313627
644.21/576.76	o 143313626
644.31/576.83	o 143313530
644.31/576.88	o 143313529
644.41/576.93	o 143313528
644.41/576.98	o 143313527
644.52/577.03	o 143313526
649.26/581.21	o 143313435
649.36/581.38	o 143313434
649.66/581.63	o 143313433
650.26/582.27	o 143303736
650.47/582.40	o 143303735
650.57/582.58	o 143303734
650.77/582.75	o 143303733
651.08/583.06	o 143303636
651.27/583.21	o 143303635
651.57/583.50	o 143303634
651.87/583.81	o 143303633
652.37/584.36	o 143303535
652.57/584.50	o 143303534
652.78/584.80	o 143303533
653.28/585.27	o 143303435
653.48/585.43	o 143303434
653.78/585.79	o 143303433
655.61/586.80	o 143303432
655.71/586.96	o 143303431
661.83/593.10	o 143303430
662.22/593.49	o 143303336
662.32/593.52	o 143303335
662.42/593.65	o 143303334
662.52/593.78	o 143303333
662.72/593.99	o 143303332
662.93/594.19	o 143303331
663.12/594.36	o 143303330
663.86/595.06	o 142363838
664.67/595.35	o 142353838
664.77/595.44	o 142343839
664.77/595.50	o 142343838
664.87/595.59	o 142343738
665.08/595.70	o 142343737
665.18/595.81	o 142333739
665.28/595.90	o 142333738
665.28/596.00	o 142333737
665.49/596.11	o 142323739
665.58/596.20	o 142323738
665.58/596.29	o 142323737
665.78/596.43	o 142323736
665.88/596.59	o 142323735
666.08/596.74	o 142323734
666.28/596.93	o 142323733
666.39/597.10	o 142323732
666.58/597.26	o 142323731
666.88/597.50	o 142323639
666.88/597.59	o 142323638
666.98/597.69	o 142323637
667.18/597.84	o 142323636
667.28/598.00	o 142323635
667.49/598.16	o 142323634
667.68/598.32	o 142323633
667.78/598.49	o 142323632
667.98/598.63	o 142323631
668.18/598.88	o 141353836
668.28/598.97	o 141353835
668.39/599.08	o 141353834
668.58/599.22	o 141353833
668.68/599.40	o 141353832
669.60/599.79	o 141353831
669.91/600.02	o 141343839
670.01/600.17	o 141343838
670.20/600.30	o 141343837
670.30/600.47	o 141343836
670.50/600.62	o 141343835
670.60/600.78	o 141343834
677.15/607.28	o 141343733
677.25/607.33	o 141343633
677.85/607.94	o 141343632
677.96/608.04	o 141333633
678.06/608.15	o 141333632
678.25/608.34	o 141333631
681.90/611.45	o 140343831
682.00/611.50	o 140343731
682.00/611.55	o 140343631
682.10/611.60	o 140343531
682.40/611.92	o 140343431
682.40/612.00	o 140343331
682.80/612.34	o 140333534
682.90/612.42	o 140333434
683.10/612.68	o 140333334
683.30/612.84	o 140333234
683.51/613.08	o 140333233
683.80/613.33	o 140333232
683.90/613.48	o 140333133
684.10/613.63	o 140333132
684.20/613.73	o 139373433
684.30/613.80	o 139363433
685.76/614.32	o 139363432
685.86/614.42	o 139363333
685.96/614.53	o 139363233
686.06/614.64	o 139363232
686.16/614.73	o 139353433
686.26/614.81	o 139353432
686.36/614.90	o 139353333
686.36/614.97	o 139353332
686.46/615.10	o 139353233
686.66/615.21	o 139353232
686.76/615.32	o 139353133
686.86/615.43	o 139353132
686.96/615.51	o 139343433
686.96/615.59	o 139343333
687.06/615.69	o 139343233
687.26/615.81	o 139343133
687.36/615.94	o 139343132
687.47/616.03	o 139333433
687.57/616.11	o 139333333
687.66/616.20	o 139333233
687.76/616.30	o 139333232
687.86/616.41	o 139333133
687.96/616.52	o 139333132
688.16/616.79	o 138373433
688.26/616.86	o 138363433
688.36/616.95	o 138363333
688.47/617.04	o 138363233
688.57/617.16	o 138363133
688.66/617.26	o 138353433
688.76/617.34	o 138353333
688.86/617.43	o 138353233
688.96/617.54	o 138353133
689.06/617.64	o 138343433
689.16/617.73	o 138343333
689.26/617.83	o 138343233
689.36/617.94	o 138343133
689.47/618.05	o 138333433
689.57/618.16	o 138333333
689.66/618.26	o 138333233
689.76/618.38	o 138333133
690.06/618.64	o 138333132
691.00/619.08	o 138333033
691.19/619.22	o 138332933
691.39/619.41	o 138332932
691.59/619.63	o 138332930
691.89/619.94	o 138332830
692.00/620.09	o 137373430
692.10/620.17	o 137363430
692.19/620.25	o 137363230
692.29/620.33	o 137353430
692.39/620.40	o 137353230
692.39/620.48	o 137353130
692.49/620.57	o 137353030
692.59/620.67	o 137343430
692.69/620.75	o 137343330
692.79/620.82	o 137343230
692.89/620.90	o 137343130
692.89/620.99	o 137343030
693.10/621.14	o 137342930
693.19/621.28	o 137333430
693.29/621.35	o 137333330
693.39/621.42	o 137333230
693.49/621.51	o 137333130
693.49/621.59	o 137333030
693.70/621.74	o 137332930
694.11/622.12	o 136333030
699.45/626.92	o 136323430
699.45/627.01	o 136323330
699.56/627.10	o 136323230
699.66/627.19	o 136323229
699.85/627.31	o 136313430
699.95/627.42	o 136313429
700.05/627.51	o 136313330
700.15/627.61	o 136313329
700.25/627.70	o 136313230
700.25/627.79	o 136313229
700.46/627.92	o 136313228
700.56/628.10	o 136303430
700.76/628.21	o 136303429
700.86/628.32	o 136303330
701.70/628.68	o 136303329
701.80/628.77	o 136303230
701.90/628.86	o 136303229
702.00/628.96	o 136303228
703.43/630.38	o 136293731
703.52/630.48	o 136293631
703.62/630.59	o 136293531
703.72/630.69	o 136293530
703.92/630.81	o 136293529
704.02/630.93	o 136293431
704.13/631.03	o 136293430
704.23/631.14	o 136293429
704.32/631.26	o 136293331
704.42/631.37	o 136293330
704.52/631.48	o 136293329
704.72/631.61	o 136293328
705.86/632.70	o 136293327
705.96/632.84	o 136293326
705.96/632.89	o 136293325
706.06/632.96	o 136293324
708.90/635.26	o 136293225
709.10/635.40	o 136293224
709.20/635.51	o 135323527
709.20/635.53	o 135323427
715.70/641.43	o 135323426
715.70/641.49	o 135313527
715.80/641.55	o 135313526
715.90/641.60	o 135313427
715.90/641.66	o 135313426
717.20/642.96	o 135313330
717.31/643.03	o 135313329
717.31/643.09	o 135313229
717.41/643.16	o 135313228
717.50/643.23	o 135313227
717.60/643.30	o 135313226
717.70/643.46	o 135313225
719.15/644.36	o 135313224
719.25/644.49	o 135313223
719.55/644.77	o 135303530
719.65/644.83	o 135303529
719.75/644.94	o 134313730
719.75/644.97	o 134313729
719.75/645.00	o 134313630
719.86/645.03	o 134313629
719.86/645.05	o 134313530
719.86/645.09	o 134313529
720.05/645.27	o 134303729
720.15/645.38	o 134303529
721.25/646.49	o 134303429
722.45/647.65	o 134293429
722.55/647.79	o 133293429
724.69/649.35	o 133293229
727.80/652.46	o 133283439
727.90/652.52	o 133283437
727.90/652.58	o 133283436
728.10/652.79	o 133283337
728.30/652.91	o 133283336
728.70/653.32	o 133283335
729.91/654.58	o 133283334
731.27/655.25	o 133283333
731.77/655.79	o 133283332
732.18/656.14	o 133283331
732.47/656.49	o 133283235
732.57/656.56	o 133283234
732.77/656.70	o 133283233
733.08/657.09	o 133283232
733.27/657.23	o 133283231
733.67/657.66	o 132333338
733.77/657.71	o 132333337
733.77/657.80	o 132333336
733.87/657.84	o 132333236
733.87/657.88	o 132333235
733.97/657.99	o 132333234
734.27/658.21	o 132333233
734.47/658.44	o 132323338
734.67/658.61	o 132323337
734.87/658.81	o 132323236
735.08/659.03	o 132323235
735.27/659.23	o 132323234
735.47/659.44	o 132323233
735.67/659.66	o 132323232
736.71/660.11	o 132323231
736.90/660.32	o 132313338
737.00/660.43	o 132313337
737.20/660.62	o 132313336
737.40/660.84	o 132313335
737.50/661.01	o 132313334
737.71/661.17	o 132313333
738.00/661.40	o 132313236
738.10/661.54	o 132313235
738.30/661.70	o 132313234
738.40/661.87	o 132313233
738.61/662.01	o 132313232
738.71/662.16	o 132313231
739.00/662.49	o 132303437
739.20/662.65	o 132303436
739.40/662.83	o 132303435
739.61/663.01	o 132303434
739.80/663.21	o 132303433
740.00/663.48	o 132303432
740.20/663.65	o 132303431
740.40/663.89	o 132303335
740.61/664.07	o 132303334
740.80/664.24	o 132303333
741.82/664.71	o 132303332
741.92/664.88	o 132303331
742.23/665.13	o 132303235
742.23/665.17	o 132303234
742.32/665.27	o 132303233
742.52/665.44	o 132303232
742.62/665.59	o 132303231
742.92/665.89	o 132293338
743.13/666.03	o 132293337
743.23/666.16	o 132293336
743.42/666.36	o 132293335
743.62/666.55	o 132293334
743.83/666.73	o 132293333
744.14/667.01	o 132293235
744.24/667.14	o 132293234
744.33/667.27	o 132293233
744.53/667.43	o 132293232
744.63/667.54	o 132293231
745.03/667.92	o 132283439
745.14/668.02	o 132283438
745.24/668.15	o 132283437
745.43/668.33	o 132283436
745.63/668.53	o 132283435
745.73/668.66	o 132283434
746.86/669.21	o 132283433
746.96/669.38	o 132283432
747.16/669.58	o 132283336
747.36/669.70	o 132283335
747.46/669.82	o 132283334
747.56/669.98	o 132283333
747.67/670.10	o 132283332
748.06/670.45	o 132283331
748.36/670.72	o 132283236
748.46/670.89	o 132283235
748.67/671.07	o 132283234
748.86/671.28	o 132283233
749.86/672.28	o 132282735
750.06/672.42	o 132282635
750.86/673.22	o 132282535
760.31/681.36	o 132272535
762.02/683.04	o 132272534
762.31/683.33	o 132272533
762.51/683.58	o 132272434
762.71/683.71	o 132272433
763.67/684.11	o 132262434
763.76/684.25	o 132262433
764.16/684.66	o 132262432
764.36/684.82	o 132262431
764.46/684.97	o 132262332
764.57/685.09	o 132262331
764.76/685.22	o 132252332
764.86/685.35	o 132252331
765.16/685.64	o 132252232
765.47/685.80	o 132252231
770.19/690.03	o 132242430
770.49/690.31	o 132242330
778.13/697.42	o 132232530
778.43/697.71	o 132232430
779.58/698.31	o 132232330
779.78/698.57	o 132222430
780.08/698.88	o 132222330
807.92/725.33	o 132222230
807.92/725.39	o 132222131
811.75/728.66	o 131242532
811.95/728.89	o 131242432
812.16/729.02	o 131232532
812.35/729.25	o 131232432
812.65/729.52	o 131232332
812.75/729.69	o 131222532
812.95/729.82	o 131222432
813.16/730.07	o 131222332
813.45/730.39	o 131222331
813.85/730.78	o 131222231
814.05/730.95	o 131212431
814.16/731.10	o 131212331
814.45/731.37	o 131212231
814.75/731.63	o 131202431
814.95/731.87	o 131202331
815.26/732.13	o 131202231
818.30/734.64	o 130232532
818.40/734.76	o 129232532
818.50/734.87	o 129222532
818.60/735.00	o 129222432
818.91/735.28	o 129222332
819.31/735.60	o 129212532
819.41/735.71	o 129212432
819.61/735.94	o 129212332
820.21/736.57	o 129212331
820.41/736.72	o 129202431
820.51/736.87	o 129202331
820.82/737.16	o 129202231
824.15/739.94	o 129202230
826.66/742.42	o 129202229
827.16/742.98	o 129202131
827.46/743.22	o 129202130
828.57/744.38	o 128242632
828.77/744.56	o 128242532
828.97/744.73	o 128232632
829.17/744.90	o 128232532
829.28/745.08	o 128222632
829.47/745.25	o 128222532
829.67/745.42	o 128222531
830.61/745.84	o 128222431
830.71/745.99	o 128212531
831.31/746.50	o 128212431
833.11/748.39	o 127242536
833.31/748.53	o 127242535
833.42/748.67	o 127232536
833.52/748.79	o 127232535
833.93/749.11	o 127232534
834.22/749.46	o 127232533
834.42/749.64	o 127232532
835.02/750.23	o 127232531
845.44/759.32	o 126242532
845.54/759.43	o 126242531
845.64/759.54	o 126242432
845.74/759.63	o 126242431
846.04/759.90	o 126242430
846.04/760.00	o 126242429
846.94/760.80	o 126232532
846.94/760.88	o 126232432
847.04/760.98	o 126232431
847.15/761.09	o 126232430
847.25/761.18	o 126232429
847.64/761.53	o 126232331
847.74/761.61	o 126232330
847.94/761.83	o 126232329
848.15/762.03	o 126222630
848.25/762.11	o 126222530
848.94/762.86	o 126222529
849.04/762.95	o 126222429
849.15/763.04	o 126212630
849.94/763.39	o 126212530
850.19/763.53	o 126212529
850.39/763.70	o 126212430
850.39/763.79	o 126212429
853.51/766.87	o 126212428
854.11/767.43	o 125222428
854.31/767.68	o 125222329
854.51/767.80	o 125222328
854.61/767.93	o 125222327
854.72/768.08	o 125222326
855.67/768.48	o 125212629
855.77/768.59	o 125212529
855.97/768.74	o 125212528
856.07/768.87	o 125212429
856.17/768.98	o 125212428
856.38/769.14	o 125212427
856.47/769.27	o 125212329
856.57/769.37	o 125212328
856.67/769.48	o 125212327
856.77/769.59	o 125212326
880.19/791.28	o 124232526
880.39/791.50	o 124222526
880.69/791.72	o 124222525
880.89/791.91	o 124222524
881.10/792.14	o 124212527
881.29/792.37	o 124212526
881.49/792.55	o 124212525
881.79/792.81	o 124212427
881.89/792.96	o 124212426
882.10/793.13	o 124212425
888.45/798.97	o 124212424
888.56/799.09	o 124212423
888.75/799.22	o 124212422
889.35/799.88	o 124212325
889.45/799.97	o 124212324
889.56/800.07	o 124212323
889.66/800.18	o 124212322
891.41/801.38	o 123222323
891.51/801.47	o 123222322
891.61/801.56	o 123222223
891.71/801.64	o 123222222
891.81/801.73	o 123222123
891.91/801.82	o 123222122
892.01/801.98	o 123222121
892.31/802.25	o 123212323
892.41/802.34	o 123212223
892.51/802.43	o 123212222
892.61/802.53	o 123212123
892.71/802.61	o 123212122
892.91/802.80	o 123212121
893.22/803.17	o 123212120
893.41/803.39	o 123212020
893.61/803.53	o 123212019
893.81/803.72	o 123212018
898.45/807.87	o 123212017
902.59/811.48	o 123212016
907.10/815.92	o 122282428
907.21/816.04	o 122272428
907.31/816.18	o 122272427
907.50/816.33	o 122272426
907.80/816.62	o 122262428
907.90/816.72	o 122262427
908.00/816.88	o 122262426
909.35/817.52	o 122262425
909.55/817.79	o 122262424
909.96/818.12	o 122252428
910.05/818.26	o 122252427
910.35/818.51	o 122252426
910.55/818.75	o 122252425
910.86/819.01	o 122252424
911.15/819.31	o 122252423
911.45/819.64	o 122242428
911.55/819.71	o 122242427
911.75/819.96	o 122242426
912.05/820.20	o 122242425
912.25/820.49	o 122242424
912.55/820.77	o 122242423
912.86/821.07	o 122242328
913.15/821.30	o 122242327
913.35/821.55	o 122242326
913.65/821.80	o 122242325
913.86/822.09	o 122242324
914.98/822.61	o 122242323
915.28/822.96	o 122242227
915.39/823.03	o 122242226
915.58/823.25	o 122242225
915.78/823.46	o 122242224
916.08/823.73	o 122242223
916.39/824.01	o 122242222
916.68/824.38	o 122232428
916.88/824.58	o 122232427
917.18/824.82	o 122232328
917.39/825.03	o 122232327
917.58/825.28	o 122232326
917.88/825.53	o 122232325
918.08/825.78	o 122232324
918.39/826.05	o 122232323
918.78/826.40	o 122232228
918.98/826.62	o 122232227
919.18/826.84	o 122232226
919.39/827.08	o 122232225
920.42/827.59	o 122232224
920.72/827.86	o 122232223
921.03/828.12	o 122232222
921.42/828.60	o 122232221
921.82/829.00	o 122232129
922.12/829.21	o 122232128
922.42/829.51	o 122232127
922.82/829.93	o 122232126
923.22/830.30	o 122232125
923.62/830.73	o 122232124
924.03/831.17	o 122232123
924.42/831.58	o 122232028
924.52/831.63	o 122232027
924.52/831.70	o 122232026
925.03/832.13	o 122232025
926.79/833.35	o 121262026
926.99/833.51	o 121261926
927.09/833.68	o 121252026
927.29/833.85	o 121251926
927.50/834.02	o 121251925
930.19/836.74	o 121242026
930.39/836.99	o 121242025
930.79/837.34	o 121241925
933.63/839.63	o 121232025
933.73/839.79	o 121231925
935.27/841.26	o 121231923
939.76/845.19	o 121231921
940.45/845.87	o 120252324
940.66/846.05	o 120252323
940.95/846.30	o 120242324
941.05/846.48	o 120242323
941.35/846.72	o 120242224
941.55/846.90	o 120242223
941.76/847.18	o 120242222
942.05/847.45	o 120242221
942.35/847.71	o 120232325
942.55/847.91	o 120232324
942.76/848.13	o 120232225
942.85/848.29	o 120232224
943.15/848.51	o 120232223
944.08/848.99	o 120232222
944.38/849.27	o 120232221
944.68/849.55	o 120222324
944.88/849.74	o 120222323
945.08/849.96	o 120222224
945.29/850.11	o 120222223
945.48/850.34	o 120222222
945.78/850.65	o 120222221
946.08/850.94	o 120212325
946.29/851.13	o 120212324
946.48/851.33	o 120212225
946.68/851.51	o 120212224
946.88/851.76	o 120212223
947.08/851.97	o 120212222
948.38/853.28	o 120212125
948.58/853.47	o 120212124
948.78/853.66	o 120212123
949.84/854.15	o 120212122
950.13/854.46	o 119252323
950.33/854.66	o 119252223
950.53/854.85	o 119252222
950.74/855.07	o 119242323
950.93/855.25	o 119242223
951.13/855.44	o 119242222
951.33/855.67	o 119242221
951.53/855.89	o 119232323
951.74/856.07	o 119232223
951.93/856.27	o 119232222
952.13/856.49	o 119232221
952.43/856.75	o 119222323
952.63/856.95	o 119222223
952.84/857.15	o 119222222
953.03/857.36	o 119222221
953.33/857.60	o 119212325
953.43/857.78	o 119212324
953.63/857.96	o 119212225
953.84/858.14	o 119212224
954.03/858.33	o 119212223
954.23/858.52	o 119212222
955.39/859.17	o 119212221
961.62/864.88	o 119212124
961.83/865.06	o 119212024
962.02/865.25	o 119212023
962.22/865.42	o 119212022
962.42/865.63	o 119212021
969.15/871.79	o 119212020
980.34/881.85	o 119212019
989.49/890.40	o 119211919
990.20/891.15	o 119202126
990.39/891.30	o 119202125
991.39/892.37	o 119202026
991.59/892.51	o 119202025
992.20/893.17	o 119202024
992.69/893.66	o 119202023
993.49/894.47	o 119202022
997.38/897.67	o 119201928
997.58/897.82	o 119201927
997.89/898.12	o 119201926
998.19/898.42	o 119201925
998.49/898.72	o 119201924
998.90/899.19	o 119201923
999.29/899.50	o 119201922
1002.03/901.78	o 119192128
1002.34/902.06	o 119192028
1002.63/902.30	o 119192027
1002.83/902.55	o 119192026
1003.13/902.81	o 119192025
1003.34/903.07	o 119192024
1003.73/903.48	o 119191929
1004.03/903.75	o 119191928
1004.34/904.03	o 119191927
1004.63/904.32	o 119191926
1004.93/904.60	o 119191925
1005.23/904.90	o 119191924
1005.63/905.33	o 119182028
1006.67/905.86	o 119182027
1006.98/906.13	o 119182026
1007.27/906.41	o 119182025
1007.57/906.70	o 119182024
1007.98/907.13	o 119181929
1008.17/907.39	o 119181928
1008.47/907.68	o 119181927
1008.77/907.96	o 119181926
1009.07/908.24	o 119181925
1009.37/908.53	o 119181924
1009.88/909.10	o 119181923
1010.17/909.38	o 119181922
1012.43/911.10	o 119181827
1015.53/914.13	o 119171927
1015.62/914.29	o 118242227
1015.82/914.45	o 118242127
1016.02/914.61	o 118242027
1016.12/914.77	o 118232227
1016.32/914.94	o 118232127
1016.43/915.10	o 118232027
1016.62/915.27	o 118231927
1016.82/915.45	o 118222227
1017.76/915.86	o 118222127
1017.97/916.04	o 118222027
1018.16/916.21	o 118221927
1018.36/916.42	o 118212227
1018.46/916.59	o 118212127
1018.66/916.76	o 118212027
1018.86/916.92	o 118211927
1019.26/917.30	o 118202227
1019.36/917.47	o 118202127
1019.56/917.64	o 118202027
1019.76/917.81	o 118201927
1020.16/918.24	o 118192227
1020.36/918.40	o 118192226
1020.46/918.58	o 118192225
1020.66/918.78	o 118192224
1020.86/918.91	o 118172227
1020.97/919.08	o 118172226
1021.16/919.23	o 118172225
1021.36/919.43	o 118172224
1022.49/920.53	o 118172222
1023.84/921.34	o 118172221
1024.04/921.52	o 117172322
1024.14/921.62	o 117172321
1024.24/921.71	o 117172223
1024.24/921.75	o 117172222
1024.34/921.83	o 117172221
1024.55/922.09	o 117172121
1024.74/922.29	o 117172021
1028.75/926.27	o 117172020
1028.95/926.41	o 117172019
1029.98/926.93	o 117162219
1030.19/927.12	o 117162119
1030.38/927.38	o 117162117
1032.48/929.46	o 117162020
1033.48/930.46	o 117162018
1033.98/930.98	o 117161920
1034.19/931.11	o 117161918
1036.03/932.41	o 117152220
1036.13/932.53	o 117152218
1036.33/932.78	o 117152121
1036.53/932.90	o 117152120
1036.64/933.10	o 117152119
1036.83/933.28	o 117152118
1037.64/934.06	o 117152021
1037.83/934.23	o 117152019
1038.13/934.56	o 117151921
1038.33/934.73	o 117151919
1043.09/938.92	o 117151918
1043.30/939.14	o 117151820
1043.39/939.22	o 117151818
1043.49/939.32	o 117151720
1043.49/939.39	o 117151718
1043.89/939.72	o 117151622
1044.20/940.02	o 117151621
1044.59/940.47	o 117151620
1044.80/940.67	o 117151522
1045.00/940.80	o 117151521
1045.21/941.01	o 117151520
1045.40/941.27	o 117141822
1045.60/941.45	o 117141722
1045.80/941.65	o 117141622
1046.00/941.87	o 117141621
1046.21/942.06	o 117141522
1046.40/942.27	o 117141521
1047.65/942.92	o 117141520
1047.76/943.10	o 117141519
1048.15/943.46	o 117141518
1048.45/943.77	o 117131822
1048.65/943.91	o 117131821
1048.76/944.06	o 117131722
1048.86/944.19	o 117131721
1049.15/944.41	o 117131622
1049.25/944.59	o 117131621
1049.45/944.80	o 117131522
1049.65/944.96	o 117131521
1049.95/945.24	o 117131520
1050.15/945.48	o 117131519
1051.25/946.54	o 117131518
1051.35/946.62	o 117131517
1051.45/946.77	o 117121519
1051.55/946.87	o 117121518
1051.65/946.96	o 116141518
1051.76/947.04	o 116131518
1051.86/947.12	o 116131517
1051.95/947.28	o 116131516
1054.00/948.76	o 116131418
1054.10/948.86	o 116131417
1054.50/949.21	o 116131416
1060.38/954.45	o 116131326
1060.68/954.71	o 116131325
1065.61/959.17	o 115141426
1065.80/959.31	o 115141326
1065.90/959.44	o 115141325
1066.40/959.95	o 115131426
1066.51/960.10	o 115131326
1066.70/960.27	o 115131325
1067.82/961.37	o 115121325
1068.02/961.59	o 114131325
1068.22/961.77	o 113131325
1068.42/961.97	o 113121325
1095.50/987.95	o 113121324
1095.80/988.25	o 113121323
1096.30/988.74	o 113121322
1096.61/989.09	o 113121224
1097.00/989.44	o 113121223
1098.26/990.14	o 113121222
1102.36/994.23	o 113121221
1110.17/1000.96	o 113121123
1110.47/1001.24	o 113121122
1110.87/1001.67	o 113121121
1111.97/1002.71	o 113121120
1112.77/1003.56	o 113121119
1117.94/1008.16	o 113121118
1119.33/1009.55	o 113121117
1138.43/1026.94	o 112161316
1138.83/1027.30	o 112151316
1139.23/1027.71	o 112141316
1139.64/1028.12	o 112141315
1140.03/1028.56	o 112141216
1141.19/1029.16	o 112141215
1141.88/1029.87	o 112131316
1142.28/1030.23	o 112131315
1142.68/1030.64	o 112131216
1142.98/1030.96	o 112131215
1145.68/1033.61	o 112131214
1146.09/1034.05	o 112131213
1147.33/1034.78	o 112131212
1151.75/1039.13	o 112121416
1152.14/1039.53	o 112121316
1153.78/1040.66	o 112121315
1154.29/1041.19	o 112121314
1154.48/1041.40	o 112121215
1154.68/1041.57	o 112121214
1155.19/1042.10	o 112111415
1155.38/1042.28	o 112111315
1155.58/1042.48	o 112111215
1157.38/1044.22	o 112111117
1157.48/1044.37	o 112111116
1157.68/1044.56	o 112111115
1158.29/1045.13	o 112101215
1161.64/1047.93	o 112101115
1161.94/1048.25	o 112101114
1162.85/1049.15	o 112091114
1167.60/1053.39	o 112091113
1168.00/1053.70	o 112081413
1168.20/1053.95	o 112081313
1168.50/1054.29	o 111091213
1168.80/1054.53	o 111091113
1169.10/1054.82	o 111081413
1169.31/1055.06	o 111081313
1174.27/1059.46	o 111081312
1174.77/1059.92	o 111081311
1175.27/1060.43	o 111081310
1175.87/1061.02	o 111081309
1176.37/1061.50	o 111081308
1176.98/1062.14	o 111081307
1178.78/1063.25	o 111081306
1179.48/1063.93	o 111081305
1180.08/1064.60	o 111081304
1182.78/1067.26	o 111081303
1184.36/1068.27	o 111081213
1184.86/1068.71	o 111081212
1185.36/1069.28	o 111081211
1185.96/1069.90	o 111081210
1186.56/1070.47	o 111081209
1187.17/1071.01	o 111081208
1187.76/1071.64	o 111081207
1188.36/1072.26	o 111081206
1189.89/1073.16	o 111081205
1190.58/1073.82	o 111081204
1191.28/1074.51	o 111081203
1220.42/1102.10	o 111081202
1222.31/1103.96	o 110091205
1222.52/1104.15	o 110091204
1222.71/1104.33	o 110081204
1222.91/1104.51	o 110081203
1223.11/1104.76	o 110081202
1223.31/1104.97	o 110071205
1223.52/1105.16	o 110061204
1223.71/1105.36	o 110061203
1223.91/1105.54	o 109061204
1224.11/1105.70	o 109061203
1224.31/1105.97	o 109061202
1225.37/1106.43	o 108061205
1225.57/1106.63	o 108061204
1225.77/1106.82	o 108061203
1226.08/1107.18	o 108051304
1226.27/1107.33	o 108051204
1226.37/1107.49	o 108051203
1226.67/1107.70	o 108051202
1239.30/1119.23	o 108051102
1240.70/1120.69	o 108051101
1240.80/1120.79	o 107051102
1240.90/1120.88	o 107051101
1241.11/1121.08	o 107031301
1241.30/1121.24	o 107031201
1241.50/1121.42	o 107031101
1243.24/1122.60	o 106051401
1243.35/1122.78	o 106051301
1243.55/1122.96	o 106031401
1243.65/1123.10	o 106031301
1243.85/1123.27	o 106031201
1244.45/1123.87	o 106031101
1245.25/1124.67	o 106021204
1245.45/1124.88	o 106021203
1245.85/1125.26	o 106021202
1246.25/1125.60	o 106021201
1246.45/1125.82	o 106021103
1246.75/1126.13	o 106021102
1247.05/1126.45	o 106021101
1249.43/1128.24	o 105021302
1249.53/1128.32	o 105021202
1249.53/1128.39	o 105021102
1252.93/1131.76	o 105021101
1254.70/1132.99	o 105021003
1254.91/1133.17	o 105021002
1255.10/1133.35	o 105021001
1255.40/1133.67	o 105011503
1255.60/1133.89	o 105011403
1255.91/1134.12	o 105011303
1256.10/1134.34	o 105011203
1256.30/1134.56	o 105011202
1256.50/1134.73	o 105011201
1256.70/1134.98	o 105011103
1256.91/1135.16	o 105011102
1328.14/1199.65	o 105011002
1333.41/1204.38	o 105001104
1333.71/1204.69	o 105001103
1334.01/1204.99	o 105001102
1335.71/1206.65	o 104051003
1336.01/1206.93	o 104051002
1336.22/1207.19	o 104051001
1336.51/1207.48	o 104041003
1336.81/1207.75	o 104041002
1337.12/1208.01	o 104041001
1338.18/1208.55	o 104031003
1338.48/1208.82	o 104031002
1338.69/1209.08	o 104031001
1338.98/1209.36	o 104021004
1339.28/1209.66	o 104021003
1339.58/1209.95	o 104021002
1340.18/1210.54	o 104020904
1340.48/1210.83	o 104020903
1340.79/1211.12	o 104020902
1348.85/1218.68	o 104020802
1351.42/1220.63	o 104011202
1362.63/1230.75	o 103011503
1364.43/1232.56	o 102011604
1364.63/1232.74	o 102011504
1364.83/1232.94	o 102011503
1371.97/1239.56	o 102011403
1377.35/1244.37	o 102011402
1384.37/1250.70	o 102001606
1384.47/1250.88	o 102001506
1384.68/1251.05	o 102001406
1384.87/1251.23	o 102001404
1385.17/1251.56	o 102001403
1387.23/1253.04	o 102001402
1392.79/1258.05	o 102001401
1404.24/1268.30	o 102001303
1404.34/1268.41	o 102001302
1405.24/1269.35	o 102001301
1435.51/1296.62	o 101011303
1435.71/1296.82	o 101011302
1435.91/1297.08	o 101001302
1436.21/1297.31	o 101001301
1441.47/1302.03	o 100021403
1441.76/1302.37	o 100021402
1442.16/1302.78	o 100021303
1442.47/1303.05	o 100021302
1442.76/1303.39	o 100021301
1446.71/1306.79	o 100021202
1447.32/1307.38	o 100021201
1449.13/1309.19	o 99051202
1449.32/1309.36	o 99041203
1449.52/1309.54	o 99031203
1450.79/1310.27	o 99031103
1451.39/1310.81	o 99031102
1481.94/1338.42	o 99021104
1482.04/1338.53	o 99021103
1534.71/1385.56	o 99021005
1534.81/1385.65	o 99021004
1535.11/1385.95	o 99001005
1547.73/1397.40	o 98991606
1548.23/1398.01	o 98991506
1555.39/1404.50	o 98991406
1556.39/1405.59	o 98991306
1557.09/1406.23	o 98991305
1579.49/1428.03	o 98981307
1579.68/1428.22	o 98981306
1580.64/1428.68	o 98981305
1582.99/1430.95	o 98971405
1583.19/1431.13	o 98971404
1583.28/1431.28	o 98971305
1583.48/1431.42	o 98971304
1595.67/1442.49	o 97961306
1596.17/1442.91	o 97951306
1596.57/1443.37	o 97951305
1598.05/1444.30	o 97951206
1598.55/1444.76	o 97951205
1599.05/1445.24	o 97941306
1599.55/1445.70	o 97941305
1600.05/1446.26	o 97941304
1626.03/1470.47	o 97941303
1626.43/1470.87	o 97931404
1626.74/1471.12	o 97931304
1627.03/1471.43	o 97931303
1630.59/1474.48	o 97931302
1637.17/1480.41	o 96971401
1637.37/1480.66	o 96971301
1637.67/1480.91	o 96971300
1638.07/1481.34	o 96961401
1638.47/1481.70	o 96961400
1638.78/1482.09	o 96961301
1639.17/1482.43	o 96961300
1639.67/1482.92	o 96951401
1639.97/1483.24	o 96951400
1640.37/1483.61	o 96951301
1641.46/1484.19	o 96951300
1641.96/1484.69	o 96941401
1642.26/1484.98	o 96941400
1642.66/1485.35	o 96941301
1642.96/1485.60	o 96941300
1643.56/1486.21	o 96931400
1643.86/1486.57	o 96931300
1648.98/1491.04	o 96931201
1649.27/1491.40	o 96931200
1650.98/1493.10	o 96931199
1653.87/1495.34	o 95941299
1654.07/1495.53	o 95931299
1654.37/1495.83	o 95931199
1655.07/1496.58	o 95931197
1663.71/1504.70	o 94951598
1664.12/1505.05	o 94951498
1666.86/1507.21	o 94951398
1668.16/1508.57	o 94951298
1671.89/1511.78	o 94951198
1673.24/1513.03	o 94951197
1675.83/1515.65	o 94931698
1676.03/1515.87	o 94931598
1676.34/1516.13	o 94931498
1676.63/1516.43	o 94931398
1676.93/1516.73	o 94931298
1678.10/1517.35	o 94931297
1685.58/1524.20	o 94931198
1698.02/1535.33	o 94931111
1698.62/1535.91	o 94931110
1699.51/1536.87	o 94931109
1700.92/1538.26	o 94931108
1702.50/1539.25	o 94931107
1706.10/1542.86	o 94931008
1706.70/1543.46	o 94931007
1708.19/1544.31	o 94931006
1709.39/1545.55	o 94921107
1709.59/1545.73	o 94921007
1710.00/1546.14	o 94921006
1710.49/1546.67	o 94921005
1711.19/1547.39	o 94921004
1711.90/1548.05	o 94920805
1712.09/1548.28	o 94920804
1712.59/1548.77	o 94910904
1712.90/1549.02	o 94910804
1716.43/1552.06	o 94910803
1718.03/1553.62	o 93961417
1718.73/1554.32	o 93951416
1719.44/1555.04	o 93951415
1721.33/1556.12	o 93951414
1722.23/1557.03	o 93951316
1722.92/1557.75	o 93951315
1723.72/1558.52	o 93951314
1724.62/1559.47	o 93951313
1725.62/1560.44	o 93951312
1727.42/1561.62	o 93951311
1728.62/1562.83	o 93951310
1729.72/1564.00	o 93951216
1730.62/1564.85	o 93951215
1732.52/1566.15	o 93951214
1733.52/1567.14	o 93951213
1734.52/1568.19	o 93951212
1735.61/1569.22	o 93951211
1736.61/1570.23	o 93951210
1738.71/1571.78	o 93951115
1739.71/1572.78	o 93951114
1740.61/1573.68	o 93951014
1787.74/1616.27	o 93951013
1788.34/1616.89	o 93951012
1793.49/1621.22	o 93950919
1794.49/1622.22	o 93950918
1796.09/1623.84	o 93950917
1797.69/1625.45	o 93950916
1800.47/1627.50	o 93950915
1802.37/1629.43	o 93950914
1805.04/1631.46	o 93950820
1805.54/1631.97	o 93950819
1806.65/1633.04	o 93950818
1808.04/1634.47	o 93950817
1810.51/1636.38	o 93950816
1812.11/1637.96	o 93950815
1813.71/1639.53	o 93950814
1814.11/1639.96	o 93950813
1814.41/1640.22	o 93950812
1838.15/1661.45	o 93950811
1840.91/1663.62	o 93950810
1853.45/1675.02	o 93940810
1886.82/1705.17	o 93940809
1888.52/1706.90	o 93931419
1888.92/1707.27	o 93931418
1890.64/1708.23	o 93931319
1891.24/1708.80	o 93931318
1891.94/1709.51	o 93931317
1892.84/1710.43	o 93931316
1893.84/1711.49	o 93931219
1894.45/1712.02	o 93931218
1896.19/1713.23	o 93931217
1897.10/1714.15	o 93931216
1898.20/1715.21	o 93931119
1898.90/1715.92	o 93931118
1899.80/1716.89	o 93931117
1900.22/1717.23	o 93921317
1900.32/1717.33	o 93921217
1902.18/1718.68	o 93921117
1904.18/1720.70	o 93921116
1904.69/1721.17	o 93911217
1904.98/1721.49	o 93911216
1907.54/1723.49	o 93911118
1907.94/1723.86	o 93911117
1908.34/1724.26	o 93911116
1908.85/1724.73	o 93901317
1909.16/1725.04	o 93901316
1909.65/1725.57	o 93901218
1909.95/1725.89	o 93901217
1910.45/1726.34	o 93901216
1916.84/1731.93	o 93901211
1917.14/1732.28	o 93901210
1917.54/1732.69	o 93901209
1920.62/1735.15	o 93901208
1922.63/1737.19	o 93901207
1923.82/1738.39	o 93901111
1970.36/1780.58	o 93901011
1970.56/1780.73	o 93901010
1975.33/1784.93	o 93901009
1981.44/1790.47	o 93900917
1981.64/1790.66	o 93900916
1982.34/1791.32	o 93900915
1982.94/1791.97	o 93900914
1983.74/1792.76	o 93900913
1986.16/1794.42	o 93900912
1987.66/1796.00	o 93900911
1989.46/1797.73	o 93891413
1989.77/1798.01	o 93891412
1990.84/1798.59	o 93891313
1991.14/1798.85	o 93891312
1991.74/1799.41	o 93891311
1992.35/1800.09	o 93891310
1993.14/1800.89	o 93891212
1993.95/1801.65	o 93891211
1994.65/1802.32	o 93891210
1996.42/1803.51	o 93891112
1996.62/1803.74	o 93891111
1997.42/1804.52	o 93891110
2038.70/1841.75	o 93891109
2039.11/1842.14	o 93891012
2039.50/1842.56	o 93891011
2040.20/1843.27	o 93891010
2054.56/1855.88	o 93891009
2061.66/1862.39	o 93890909
2079.05/1877.97	o 93890809
2079.95/1878.80	o 93890709
2080.55/1879.42	o 93881109
2080.95/1879.82	o 93881009
2081.35/1880.29	o 93880909
2082.72/1881.07	o 93880809
2088.70/1886.45	o 93880808
2118.43/1913.22	o 93880807
2119.73/1914.53	o 93880708
2120.44/1915.25	o 93880707
2124.11/1918.32	o 93880706
2174.11/1963.36	o 93880606
2175.11/1964.39	o 93871618
2175.71/1964.98	o 93871518
2176.32/1965.56	o 93871517
2177.02/1966.21	o 93871418
2177.62/1966.80	o 93871417
2178.32/1967.54	o 93871416
2180.13/1968.64	o 93871415
2180.93/1969.41	o 93871414
2185.93/1973.84	o 93871316
2186.83/1974.74	o 93871315
2187.93/1975.82	o 93871314
2190.71/1978.06	o 93871313
2192.20/1979.59	o 93871218
2193.00/1980.38	o 93871217
2193.90/1981.21	o 93871216
2195.01/1982.38	o 93871215
2197.29/1984.05	o 93871214
2232.24/2016.76	o 93871213
2237.91/2021.61	o 93871212
2240.21/2023.94	o 93871211
2254.80/2036.74	o 93871210
2259.75/2041.13	o 93861310
2260.34/2041.70	o 93861210
2261.04/2042.43	o 93851310
2261.44/2042.89	o 93851210
2261.94/2043.38	o 93841210
2265.44/2046.28	o 93841209
2279.00/2058.69	o 93841114
2279.70/2059.34	o 93841113
2280.20/2059.81	o 93841112
2280.60/2060.27	o 93841111
2281.10/2060.71	o 93841110
2283.50/2062.51	o 93841109
2284.20/2063.22	o 93841108
2284.50/2063.50	o 92841209
2284.70/2063.78	o 92841109
2285.01/2064.07	o 92841108
2290.10/2068.51	o 92841008
2290.30/2068.75	o 92840908
2316.56/2092.67	o 91881208
2316.86/2092.93	o 91881108
2317.94/2093.48	o 91871108
2318.34/2093.81	o 91871008
2321.35/2096.86	o 91870908
2325.17/2100.05	o 91861208
2325.46/2100.31	o 91861108
2325.96/2100.84	o 91851108
2326.27/2101.17	o 91851008
2326.86/2101.72	o 91850908
2342.86/2115.92	o 91840910
2343.07/2116.11	o 91840810
2343.56/2116.60	o 91840809
2347.73/2120.23	o 91840807
2348.54/2121.10	o 91830807
2370.75/2141.45	o 91820907
2370.84/2141.56	o 91820906
2372.24/2142.33	o 91820807
2372.64/2142.79	o 91820806
2377.99/2147.43	o 91820805
2387.49/2156.37	o 91820804
2411.33/2177.74	o 91800804
2415.13/2181.00	o 91800704
2416.53/2182.35	o 91800703
2439.16/2202.54	o 91790903
2439.96/2203.35	o 90821003
2440.36/2203.74	o 90811003
2484.64/2243.76	o 90811002
2505.92/2262.39	o 90810911
2507.12/2263.50	o 90810910
2508.22/2264.70	o 90810909
2510.58/2266.33	o 90810908
2512.79/2268.53	o 90810907
2516.12/2271.24	o 90810906
2519.03/2274.16	o 90810905
2520.58/2275.06	s SATISFIABLE
2520.58/2275.06	v <instantiation>
2520.58/2275.06	v 	<list>
2520.58/2275.06	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za1[416] za1[417] za1[418] za1[419] za1[420] za1[421] za1[422] za1[423] za1[424] za1[425] za1[426] za1[427] za1[428] za1[429] za1[430] za1[431] za1[432] za1[433] za1[434] za1[435] za1[436] za1[437] za1[438] za1[439] za1[440] za1[441] za1[442] za1[443] za1[444] za1[445] za1[446] za1[447] za1[448] za1[449] za1[450] za1[451] za1[452] za1[453] za1[454] za1[455] za1[456] za1[457] za1[458] za1[459] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za2[514] za2[515] za2[516] za2[517] za2[518] za2[519] za2[520] za2[521] za2[522] za2[523] za2[524] za2[525] za2[526] za2[527] za2[528] za2[529] za2[530] za2[531] za2[532] za2[533] za2[534] za2[535] za2[536] za2[537] za2[538] za2[539] za2[540] za2[541] za2[542] za2[543] za2[544] za2[545] za2[546] za2[547] za2[548] za2[549] za2[550] za2[551] za2[552] za2[553] za2[554] za2[555] za2[556] za2[557] za2[558] za2[559] za2[560] za2[561] za2[562] za2[563] za2[564] za2[565] za2[566] za2[567] za2[568] za2[569] za2[570] za2[571] za2[572] za2[573] za2[574] za2[575] za2[576] za2[577] za2[578] za2[579] za2[580] za2[581] za2[582] za2[583] za2[584] za2[585] za2[586] za2[587] za2[588] za2[589] za2[590] za2[591] za2[592] za2[593] za2[594] za2[595] za2[596] za2[597] za2[598] za2[599] za2[600] za2[601] za2[602] za2[603] za2[604] za2[605] za2[606] za2[607] za2[608] za2[609] za2[610] za2[611] za2[612] za2[613] za2[614] za2[615] za2[616] za2[617] za2[618] za2[619] za2[620] za2[621] za2[622] za2[623] za2[624] za2[625] za2[626] za2[627] za2[628] za2[629] za2[630] za2[631] za2[632] za2[633] za2[634] za2[635] za2[636] za2[637] za2[638] za2[639] za2[640] za2[641] za2[642] za2[643] za2[644] za2[645] za2[646] za2[647] za2[648] za2[649] za2[650] za2[651] za2[652] za2[653] za2[654] za2[655] za2[656] za2[657] za2[658] za2[659] za2[660] za2[661] za2[662] za2[663] za2[664] za2[665] za2[666] za2[667] za2[668] za2[669] za2[670] za2[671] za2[672] za2[673] za2[674] za2[675] za2[676] za2[677] za2[678] za2[679] za2[680] za2[681] za2[682] za2[683] za2[684] za2[685] za2[686] za2[687] za2[688] za2[689] za2[690] za2[691] za2[692] za2[693] za2[694] za2[695] za2[696] za2[697] za2[698] za2[699] za2[700] za2[701] za2[702] za2[703] za2[704] za2[705] za2[706] za2[707] za2[708] za2[709] za2[710] za2[711] za2[712] za2[713] za2[714] za2[715] za2[716] za2[717] za2[718] za2[719] za2[720] za2[721] za2[722] za2[723] za2[724] za2[725] za2[726] za2[727] za2[728] za2[729] za2[730] za2[731] za2[732] za2[733] za2[734] za2[735] za2[736] za2[737] za2[738] za2[739] za2[740] za2[741] za2[742] za2[743] za2[744] za2[745] za2[746] za2[747] za2[748] za2[749] za2[750] za2[751] za2[752] za2[753] za2[754] za2[755] za2[756] za2[757] za2[758] za2[759] za2[760] za2[761] za2[762] za2[763] za2[764] za2[765] za2[766] za2[767] za2[768] za2[769] za2[770] za2[771] za2[772] za2[773] za2[774] za2[775] za2[776] za2[777] za2[778] za2[779] za2[780] za2[781] za2[782] za2[783] za2[784] za2[785] za2[786] za2[787] za2[788] za2[789] za2[790] za2[791] za2[792] za2[793] za2[794] za2[795] za2[796] za2[797] za2[798] za2[799] za2[800] za2[801] za2[802] za2[803] za2[804] za2[805] za2[806] za2[807] za2[808] za2[809] za2[810] za2[811] za2[812] za2[813] za2[814] za2[815] za2[816] za2[817] za2[818] za2[819] za2[820] za2[821] za2[822] za2[823] za2[824] za2[825] za2[826] za2[827] za2[828] za2[829] za2[830] za2[831] za2[832] za2[833] za2[834] za2[835] za2[836] za2[837] za2[838] za2[839] za2[840] za2[841] za2[842] za2[843] za2[844] za2[845] za2[846] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za3[506] za3[507] za3[508] za3[509] za3[510] za3[511] za3[512] za3[513] za3[514] za3[515] za3[516] za3[517] za3[518] za3[519] za3[520] za3[521] za3[522] za3[523] za3[524] za3[525] za3[526] za3[527] za3[528] za3[529] za3[530] za3[531] za3[532] za3[533] za3[534] za3[535] za3[536] za3[537] za3[538] za3[539] za3[540] za3[541] za3[542] za3[543] za3[544] za3[545] za3[546] za3[547] za3[548] za3[549] za3[550] za3[551] za3[552] za3[553] za3[554] za3[555] za3[556] za3[557] za3[558] za3[559] za3[560] za3[561] za3[562] za3[563] za3[564] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533] za4[534] za4[535] za4[536] za4[537] za4[538] za4[539] za4[540] za4[541] za4[542] za4[543] za4[544] za4[545] za4[546] za4[547] za4[548] za4[549] za4[550] za4[551] za4[552] za4[553] za4[554] za4[555] za4[556] za4[557] za4[558] za4[559] za4[560] za4[561] za4[562] za4[563] za4[564] za4[565] za4[566] za4[567] za4[568] za4[569] za4[570] za4[571] za4[572] za4[573] za4[574] za4[575] za4[576] za4[577] za4[578] za4[579] za4[580] za4[581] za4[582] za4[583] za4[584] za4[585] za4[586] za4[587] za4[588] za4[589] za4[590] za4[591] za4[592] za4[593] za4[594] za4[595] za4[596] za4[597] za4[598] za4[599] za4[600] za4[601] za4[602] za4[603] za4[604] za4[605] za4[606] za4[607] za4[608] za4[609] za4[610] za4[611] za4[612] za4[613] za4[614] za4[615] za4[616] za4[617] za4[618] za4[619] za4[620] za4[621] za4[622] za4[623] za4[624] za4[625] za4[626] za4[627] za4[628] za4[629] za4[630] za4[631] za4[632] za4[633] za4[634] za4[635] za4[636] za4[637] za4[638] za4[639] za4[640] za4[641] za4[642] za4[643] za4[644] za4[645] za4[646] za4[647] za4[648] za4[649] za4[650] za4[651] za4[652] za4[653] za4[654] za4[655] za4[656] za4[657] za4[658] za4[659] za4[660] za4[661] za4[662] za4[663] za4[664] za4[665] za4[666] za4[667] za4[668] za4[669] za4[670] za4[671] za4[672] za4[673] za4[674] za4[675] za4[676] za4[677] za4[678] za4[679] za4[680] za4[681] za4[682] za4[683] za4[684] za4[685] za4[686] za4[687] za4[688] za4[689] za4[690] za4[691] za4[692] za4[693] za4[694] za4[695] za4[696] za4[697] za4[698] za4[699] za4[700] za4[701] za4[702] za4[703] za4[704] za4[705] za4[706] za4[707] za4[708] za4[709] za4[710] za4[711] za4[712] za4[713] za4[714] za4[715] za4[716] za4[717] za4[718] za4[719] za4[720] za4[721] za4[722] za4[723] za4[724] za4[725] za4[726] za4[727] za4[728] za4[729] za4[730] za4[731] za4[732] za4[733] za4[734] za4[735] za4[736] za4[737] za4[738] za4[739] za4[740] za4[741] za4[742] za4[743] za4[744] za4[745] za4[746] za4[747] za4[748] za4[749] za4[750] za4[751] za4[752] za4[753] za4[754] za4[755] za4[756] za4[757] za4[758] za4[759] za4[760] za4[761] za4[762] za4[763] za4[764] za4[765] za4[766] za4[767] za4[768] za4[769] za4[770] za4[771] za4[772] za4[773] za4[774] za4[775] za4[776] za4[777] za4[778] za4[779] za4[780] za4[781] za4[782] za4[783] za4[784] za4[785] za4[786] za4[787] za4[788] za4[789] za4[790] za4[791] za4[792]
2520.58/2275.06	v 	</list>
2520.58/2275.06	v 	<values>
2520.58/2275.06	v 		282 44 554 792 30 268 282 44 554 792 254 16 680 442 254 16 442 680 352 114 554 792 30 268 512 750 282 44 128 366 554 792 666 428 456 694 142 380 442 680 540 778 526 764 58 296 484 722 296 58 16 254 380 142 554 792 554 792 296 58 750 512 554 792 778 540 750 512 310 72 442 680 778 540 324 86 778 540 16 254 554 792 554 792 282 44 540 778 324 86 86 324 16 254 44 282 554 792 792 554 456 694 142 380 394 156 792 554 554 792 296 58 484 722 554 792 268 30 254 16 526 764 456 694 764 526 100 338 778 540 652 414 554 792 484 722 736 498 764 526 310 72 778 540 792 554 694 456 456 694 778 540 540 778 666 428 142 380 764 526 282 44 100 338 442 680 792 554 44 282 30 268 778 540 156 394 72 310 764 526 778 540 792 554 498 736 254 16 540 778 58 296 470 708 540 778 310 72 792 554 680 442 778 540 540 778 540 778 114 352 554 792 324 86 666 428 72 310 268 30 324 86 282 44 750 512 778 540 16 254 282 44 414 652 778 540 792 554 30 268 792 554 778 540 380 142 456 694 58 296 142 380 540 778 778 540 778 540 72 310 778 540 540 778 324 86 540 778 428 666 540 778 778 540 296 58 540 778 324 86 694 456 498 736 72 310 44 282 352 114 58 296 792 554 526 764 792 554 72 310 394 156 792 554 100 338 778 540 554 792 352 114 282 44 268 30 736 498 414 652 792 554 652 414 58 296 310 72 366 128 778 540 44 282 540 778 142 380 414 652 764 526 310 72 100 338 30 268 30 268 512 750 442 680 512 750 114 352 778 540 128 366 540 778 142 380 282 44 540 778 778 540 554 792 86 324 778 540 778 540 72 310 526 764 540 778 142 380 30 268 778 540 540 778 442 680 736 498 792 554 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 0 0 1000000 0 0 0 0 0 0 0 0 1000000 0 0 0 0 0 0 0 0 1000000 0 0 0 0 0 0 0 0 1000000 0 0 0 0 0 1000000 0 0 0 1000000 1000000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 1000000 0 1000000 0 0 0 0 0 0 1000000 1000000 0 0 1000000 0 0 0 0 0 0 0 0 0 0 0 1000000 0 0 0 0 0 1000000 0 0 0 0 0 0 0 0 0 1000000 0 1000000 0 0 0 0 0 0 0 0 0 0 1000000 0 0 0 0 0 0 0 1000000 0 0 1000000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 0 0 1000000 0 1000000 0 0 0 0 1000000 0 1000000 1000000 1000000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 0 1000000 1000000 0 0 1000000 0 0 1000000 0 0 0 0 0 0 0 1000000 0 0 1000000 0 0 0 0 1000000 0 1000000 0 1000000 0 0 0 0 1000000 1000000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 0 0 0 1000000 1000000 0 0 0 0 1000000 0 0 0 0 1000000 1000000 0 0 0 0 0 0 1000000 0 1000000 0 0 0 0 0 0 0 1000000 1000000 0 0 0 0 1000000 0 1000000 0 0 1000000 1000000 1000000 1000000 0 0 1000000 1000000 0 0 0 0 0 0 0 0 0 0 0 1000000 1000000 0 0 0 0 1000000 0 0 1000000 0 1000000 0 1000000 0 0 0 0 0 0 1000000 0 0 0 0 0 1000000 0 0 0 1000000 0 0 0 1000000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 0 0 0 1000000 0 0 0 1000000 0 1000000 0 0 1000000 0 0 0 0 0 0 1000000 1000000 1000000 0 0 1000000 1000000 1000000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 1000000 1000000 0 0 0 0 0 0 0 1000000 1000000 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 0 1000000 0 0 1000000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 0 0 0 10000 0 10000 10000 0 10000 0 0 10000 0 10000 0 10000 0 10000 0 0 0 0 0 0 10000 0 0 0 0 0 0 0 0 10000 0 0 0 0 0 0 0 10000 0 0 10000 10000 0 0 0 0 0 10000 10000 0 10000 0 0 0 0 10000 0 0 0 10000 0 0 0 10000 10000 10000 0 10000 10000 0 0 10000 0 10000 10000 10000 10000 0 10000 10000 0 10000 0 0 0 0 0 0 0 0 0 0 0 10000 10000 10000 0 0 0 0 0 0 0 0 10000 10000 0 10000 0 0 0 10000 10000 10000 0 0 0 10000 10000 10000 0 0 0 0 10000 10000 10000 10000 10000 0 0 0 10000 10000 0 0 0 10000 10000 10000 0 0 0 0 10000 0 0 0 0 10000 10000 0 0 0 0 10000 0 10000 0 0 10000 0 0 0 10000 10000 0 10000 10000 0 10000 0 10000 10000 0 10000 10000 10000 0 0 0 0 10000 0 0 0 10000 0 0 0 0 0 10000 10000 0 0 0 0 0 10000 10000 10000 0 0 0 0 0 0 0 0 10000 0 0 0 0 0 0 0 0 10000 0 10000 0 0 10000 10000 0 10000 10000 0 10000 0 0 0 0 0 0 0 0 0 10000 10000 0 0 0 0 0 0 0 10000 10000 10000 0 0 10000 0 0 10000 0 0 0 0 10000 10000 0 10000 0 0 0 0 10000 0 0 0 10000 10000 10000 10000 0 0 0 10000 10000 0 10000 0 10000 10000 0 0 0 10000 0 10000 10000 0 10000 10000 10000 10000 0 0 10000 10000 10000 10000 10000 10000 10000 0 0 0 10000 10000 10000 0 0 10000 10000 0 0 0 0 0 0 0 0 0 10000 0 0 10000 0 0 0 0 0 0 0 0 10000 0 10000 0 10000 10000 0 0 10000 10000 10000 10000 10000 10000 10000 10000 0 10000 0 0 10000 0 0 0 0 0 0 0 0 0 0 0 0 10000 0 0 0 0 0 0 10000 0 0 0 0 10000 0 0 0 0 10000 0 0 0 0 10000 0 0 0 10000 10000 0 0 0 0 0 0 0 0 10000 0 10000 0 0 0 0 0 0 0 0 0 10000 0 10000 0 10000 10000 10000 0 0 10000 0 0 10000 10000 10000 0 0 10000 0 0 10000 0 0 0 0 0 10000 0 0 10000 10000 10000 10000 0 0 10000 0 0 0 0 10000 0 10000 0 10000 0 10000 0 0 0 0 0 0 10000 0 0 0 0 0 10000 0 0 10000 0 10000 0 10000 0 10000 0 10000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10000 10000 0 0 0 0 0 10000 0 0 10000 10000 10000 0 0 10000 0 10000 0 10000 10000 10000 0 0 0 0 0 10000 0 0 0 0 10000 0 0 0 0 0 0 10000 0 0 0 0 0 10000 0 10000 10000 0 0 10000 0 10000 0 10000 0 0 10000 10000 0 0 10000 0 0 10000 0 0 10000 0 0 0 0 0 10000 10000 10000 10000 0 0 0 10000 10000 0 10000 10000 0 0 10000 0 10000 0 0 0 0 0 0 10000 10000 10000 0 10000 0 10000 10000 10000 0 0 0 10000 0 0 10000 10000 10000 0 0 0 0 0 0 0 10000 0 0 0 0 0 0 0 10000 0 0 0 10000 10000 0 0 0 0 0 0 10000 0 10000 0 10000 0 0 10000 10000 10000 10000 10000 0 10000 0 0 10000 10000 10000 0 0 0 10000 0 0 0 0 0 0 0 0 0 0 0 0 10000 0 0 0 0 0 0 0 0 0 0 10000 0 0 10000 0 0 0 10000 0 0 0 10000 0 0 10000 0 10000 0 10000 10000 0 10000 0 0 0 10000 0 10000 0 0 0 0 0 10000 0 10000 10000 0 0 10000 0 0 0 0 0 0 0 10000 0 0 0 0 10000 10000 0 10000 10000 0 0 0 0 0 10000 10000 0 0 0 0 0 0 0 0 10000 0 10000 10000 0 0 0 0 0 0 0 0 0 0 0 0 10000 10000 10000 0 0 10000 0 10000 0 0 0 0 10000 10000 0 0 0 0 0 0 0 0 0 0 0 10000 0 0 10000 0 0 10000 0 0 10000 0 0 10000 0 0 0 0 0 10000 10000 0 0 0 0 0 0 0 0 0 100 0 100 100 0 0 0 0 0 100 100 0 100 100 0 0 0 0 0 0 100 0 0 0 0 0 100 100 0 0 100 0 100 100 0 0 100 0 0 0 100 0 0 0 100 0 100 0 0 100 0 0 0 0 0 0 100 0 100 0 100 100 0 0 0 100 0 0 100 0 0 0 100 0 100 100 100 0 0 0 100 100 100 100 100 0 100 100 100 0 0 0 0 100 100 100 100 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 100 0 100 0 100 0 0 100 0 0 100 0 0 100 0 0 100 100 0 100 100 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 100 0 100 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 100 100 0 100 100 100 0 0 0 0 100 0 100 0 100 100 0 100 100 0 0 0 0 100 0 100 100 0 100 100 100 0 0 0 0 0 0 100 100 0 100 100 0 100 0 100 0 0 100 100 0 100 0 0 0 0 100 0 0 100 0 0 0 0 100 0 100 100 100 0 100 0 100 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 100 100 0 100 0 0 0 100 0 0 0 100 0 0 100 100 0 100 0 0 100 0 0 0 100 0 0 100 100 0 100 100 100 0 0 0 0 0 100 0 0 100 100 100 0 0 100 100 100 0 100 100 0 100 0 0 0 0 100 0 100 100 0 0 0 100 0 0 0 0 0 100 100 0 100 100 0 0 100 100 100 0 100 0 0 0 100 0 0 0 0 0 0 100 0 100 100 100 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 100 0 0 100 100 100 0 100 0 0 0 0 100 0 0 0 100 0 0 0 100 100 0 0 0 100 100 100 100 100 100 100 100 100 0 100 100 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 100 0 0 0 0 0 100 0 0 0 100 0 100 0 0 0 100 100 0 100 100 0 100 0 0 0 0 100 100 100 0 0 0 0 0 100 0 100 0 0 0 100 0 0 100 0 0 100 0 0 100 0 0 0 0 0 100 100 0 0 0 0 100 0 100 100 0 100 100 0 0 0 100 0 100 0 0 0 0 100 0 0 100 100 100 0 0 0 0 0 100 100 0 100 0 0 0 100 100 100 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 0 1 1 1 1 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 0 1 0 0 0 0 0 1 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 1 1 0 1 1 0 1 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 1 0 0 1 0 0 0 1 1 1 1 0 1 0 0 1 1 0 1 0 1 0 1 1 1 0 1 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 0 1 1 0 1 1 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 1 0 1 0 0 1 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 1 1 1 0 1 0 1 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 1 1 0 1 0 0 0 1 1 0 0 0 1 0 1 1 0 0 1 1 
2520.58/2275.06	v 	</values>
2520.58/2275.06	v </instantiation>

Verifier Data 

OK	90810905

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13502 MiB free)
  memory of node 1: 16384 MiB (7717 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308664-1534286300/watcher-4308664-1534286300 -o /tmp/evaluation-result-4308664-1534286300/solver-4308664-1534286300 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534270673-20077 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 485431784 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308664-1534286300.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=21876, runsolver pid=21873
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 1.20 1.31 1.46 3/215 21891
/proc/meminfo: memFree=21709956/32770624 swapFree=67108796/67108860
[pid=21876] ppid=21873 vsize=14082736 memory=32636 CPUtime=0.11 cores=0,2,4,6
/proc/21876/stat : 21876 (java) S 21873 21876 18471 0 -1 1077944320 7074 0 0 0 11 0 0 0 20 0 15 0 246193220 14420721664 8159 33554432000 4194304 4196468 140736594825808 140736594808352 140516073172727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
/proc/21876/statm: 3520684 8159 3138 1 0 3482761 0
[pid=21876/tid=21878] ppid=21873 vsize=14082736 memory=-6966721798027829888 CPUtime=0.09 cores=0,2,4,6
/proc/21876/task/21878/stat : 21878 (java) R 21873 21876 18471 0 -1 4202560 5207 0 0 0 9 0 0 0 20 0 15 0 246193220 14420721664 8225 33554432000 4194304 4196468 140736594825808 140516077398416 140516053448448 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21879] ppid=21873 vsize=14082736 memory=5793855232864733625 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21879/stat : 21879 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193221 14420721664 8225 33554432000 4194304 4196468 140736594825808 140515668847248 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21880] ppid=21873 vsize=14082736 memory=139981854840448 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21880/stat : 21880 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193221 14420721664 8225 33554432000 4194304 4196468 140736594825808 140515667794448 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21881] ppid=21873 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21881/stat : 21881 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193221 14420721664 8225 33554432000 4194304 4196468 140736594825808 140515666741648 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21882] ppid=21873 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21882/stat : 21882 (java) S 21873 21876 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246193221 14420721664 8225 33554432000 4194304 4196468 140736594825808 140515665688848 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21883] ppid=21873 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21883/stat : 21883 (java) S 21873 21876 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246193222 14420721664 8225 33554432000 4194304 4196468 140736594825808 140515053091696 140516073183874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21884] ppid=21873 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21884/stat : 21884 (java) S 21873 21876 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246193223 14420721664 8225 33554432000 4194304 4196468 140736594825808 140515052037664 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21885] ppid=21873 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21885/stat : 21885 (java) S 21873 21876 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246193223 14420721664 8225 33554432000 4194304 4196468 140736594825808 140515050984816 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21886] ppid=21873 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21886/stat : 21886 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193225 14420721664 8225 33554432000 4194304 4196468 140736594825808 140515049933136 140516073191323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21887] ppid=21873 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21887/stat : 21887 (java) S 21873 21876 18471 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 246193225 14420721664 8291 33554432000 4194304 4196468 140736594825808 140515048880496 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21888] ppid=21873 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21888/stat : 21888 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193225 14420721664 8291 33554432000 4194304 4196468 140736594825808 140515047827696 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21889] ppid=21873 vsize=14082736 memory=139981854840448 CPUtime=0.01 cores=0,2,4,6
/proc/21876/task/21889/stat : 21889 (java) S 21873 21876 18471 0 -1 1077944384 238 0 0 0 1 0 0 0 20 0 15 0 246193225 14420721664 8291 33554432000 4194304 4196468 140736594825808 140515046774896 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21890] ppid=21873 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21890/stat : 21890 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193226 14420721664 8291 33554432000 4194304 4196468 140736594825808 140515045722336 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21891] ppid=21873 vsize=14082736 memory=139981854840448 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21891/stat : 21891 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193226 14420721664 8291 33554432000 4194304 4196468 140736594825808 140515044670640 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32636 KiB

[startup+0.210288 s]*
/proc/loadavg: 1.20 1.31 1.46 4/215 21891
/proc/meminfo: memFree=21642360/32770624 swapFree=67108796/67108860
[pid=21876] ppid=21873 vsize=14082736 memory=47108 CPUtime=0.3 cores=0,2,4,6
/proc/21876/stat : 21876 (java) S 21873 21876 18471 0 -1 1077944320 10305 0 0 0 29 1 0 0 20 0 15 0 246193220 14420721664 11777 33554432000 4194304 4196468 140736594825808 140736594808352 140516073172727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
/proc/21876/statm: 3520684 11777 3410 1 0 3482761 0
[pid=21876/tid=21878] ppid=21873 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/21876/task/21878/stat : 21878 (java) S 21873 21876 18471 0 -1 1077944384 8028 0 0 0 19 1 0 0 20 0 15 0 246193220 14420721664 11777 33554432000 4194304 4196468 140736594825808 140516077401168 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21879] ppid=21873 vsize=14082736 memory=4211973708059630986 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21879/stat : 21879 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193221 14420721664 11777 33554432000 4194304 4196468 140736594825808 140515668847248 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21880] ppid=21873 vsize=14082736 memory=139981854840448 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21880/stat : 21880 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193221 14420721664 11777 33554432000 4194304 4196468 140736594825808 140515667794448 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21881] ppid=21873 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21881/stat : 21881 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193221 14420721664 11777 33554432000 4194304 4196468 140736594825808 140515666741648 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21882] ppid=21873 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21882/stat : 21882 (java) S 21873 21876 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246193221 14420721664 11777 33554432000 4194304 4196468 140736594825808 140515665688848 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21883] ppid=21873 vsize=14082736 memory=139981854840448 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21883/stat : 21883 (java) S 21873 21876 18471 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246193222 14420721664 11777 33554432000 4194304 4196468 140736594825808 140515053091696 140516073183874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21884] ppid=21873 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21884/stat : 21884 (java) S 21873 21876 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246193223 14420721664 11777 33554432000 4194304 4196468 140736594825808 140515052037664 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21885] ppid=21873 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21885/stat : 21885 (java) S 21873 21876 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246193223 14420721664 11777 33554432000 4194304 4196468 140736594825808 140515050984816 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21886] ppid=21873 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21886/stat : 21886 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193225 14420721664 11777 33554432000 4194304 4196468 140736594825808 140515049933136 140516073191323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21887] ppid=21873 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21876/task/21887/stat : 21887 (java) R 21873 21876 18471 0 -1 1077944384 466 0 0 0 1 0 0 0 20 0 15 0 246193225 14420721664 11777 33554432000 4194304 4196468 140736594825808 140515048880496 140516073183874 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21888] ppid=21873 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/21876/task/21888/stat : 21888 (java) R 21873 21876 18471 0 -1 4202560 132 0 0 0 1 0 0 0 20 0 15 0 246193225 14420721664 11777 33554432000 4194304 4196468 140736594825808 140515047827696 140516054690549 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21889] ppid=21873 vsize=14082736 memory=139981854840448 CPUtime=0.06 cores=0,2,4,6
/proc/21876/task/21889/stat : 21889 (java) S 21873 21876 18471 0 -1 1077944384 297 0 0 0 6 0 0 0 20 0 15 0 246193225 14420721664 11777 33554432000 4194304 4196468 140736594825808 140515046774896 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21890] ppid=21873 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21890/stat : 21890 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193226 14420721664 11777 33554432000 4194304 4196468 140736594825808 140515045722336 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21891] ppid=21873 vsize=14082736 memory=139981854840448 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21891/stat : 21891 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193226 14420721664 11777 33554432000 4194304 4196468 140736594825808 140515044670640 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47108 KiB

[startup+0.311445 s]*
/proc/loadavg: 1.20 1.31 1.46 6/215 21891
/proc/meminfo: memFree=21555392/32770624 swapFree=67108796/67108860
[pid=21876] ppid=21873 vsize=14082736 memory=50312 CPUtime=0.44 cores=0,2,4,6
/proc/21876/stat : 21876 (java) S 21873 21876 18471 0 -1 1077944320 10704 0 0 0 42 2 0 0 20 0 15 0 246193220 14420721664 12578 33554432000 4194304 4196468 140736594825808 140736594808352 140516073172727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
/proc/21876/statm: 3520684 12578 3411 1 0 3482761 0
[pid=21876/tid=21878] ppid=21873 vsize=14082736 memory=4871374705135476842 CPUtime=0.29 cores=0,2,4,6
/proc/21876/task/21878/stat : 21878 (java) R 21873 21876 18471 0 -1 4202560 8388 0 0 0 28 1 0 0 20 0 15 0 246193220 14420721664 12578 33554432000 4194304 4196468 140736594825808 140516077383328 140516053448608 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21879] ppid=21873 vsize=14082736 memory=4211973708059630986 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21879/stat : 21879 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193221 14420721664 12578 33554432000 4194304 4196468 140736594825808 140515668847248 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21880] ppid=21873 vsize=14082736 memory=139981854842812 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21880/stat : 21880 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193221 14420721664 12578 33554432000 4194304 4196468 140736594825808 140515667794448 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21881] ppid=21873 vsize=14082736 memory=139981708456503 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21881/stat : 21881 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193221 14420721664 12578 33554432000 4194304 4196468 140736594825808 140515666741648 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21882] ppid=21873 vsize=14082736 memory=139981708447183 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21882/stat : 21882 (java) S 21873 21876 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246193221 14420721664 12578 33554432000 4194304 4196468 140736594825808 140515665688848 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21883] ppid=21873 vsize=14082736 memory=139981854858946 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21883/stat : 21883 (java) S 21873 21876 18471 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246193222 14420721664 12578 33554432000 4194304 4196468 140736594825808 140515053091696 140516073183874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21884] ppid=21873 vsize=14082736 memory=139981708456367 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21884/stat : 21884 (java) S 21873 21876 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246193223 14420721664 12578 33554432000 4194304 4196468 140736594825808 140515052037664 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21885] ppid=21873 vsize=14082736 memory=279963416903568 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21885/stat : 21885 (java) S 21873 21876 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246193223 14420721664 12578 33554432000 4194304 4196468 140736594825808 140515050984816 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21886] ppid=21873 vsize=14082736 memory=279963416901264 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21886/stat : 21886 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193225 14420721664 12578 33554432000 4194304 4196468 140736594825808 140515049933136 140516073191323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21887] ppid=21873 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21876/task/21887/stat : 21887 (java) S 21873 21876 18471 0 -1 1077944384 468 0 0 0 2 0 0 0 20 0 15 0 246193225 14420721664 12578 33554432000 4194304 4196468 140736594825808 140515048880496 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21888] ppid=21873 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/21876/task/21888/stat : 21888 (java) S 21873 21876 18471 0 -1 1077944384 146 0 0 0 1 0 0 0 20 0 15 0 246193225 14420721664 12578 33554432000 4194304 4196468 140736594825808 140515047827696 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21889] ppid=21873 vsize=14082736 memory=139981854840448 CPUtime=0.08 cores=0,2,4,6
/proc/21876/task/21889/stat : 21889 (java) S 21873 21876 18471 0 -1 1077944384 320 0 0 0 8 0 0 0 20 0 15 0 246193225 14420721664 12578 33554432000 4194304 4196468 140736594825808 140515046774896 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21890] ppid=21873 vsize=14082736 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21890/stat : 21890 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193226 14420721664 12578 33554432000 4194304 4196468 140736594825808 140515045722336 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21891] ppid=21873 vsize=14082736 memory=139981854840448 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21891/stat : 21891 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193226 14420721664 12578 33554432000 4194304 4196468 140736594825808 140515044670640 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50312 KiB

[startup+0.700731 s]
/proc/loadavg: 1.20 1.31 1.46 3/215 21891
/proc/meminfo: memFree=21534948/32770624 swapFree=67108796/67108860
[pid=21876] ppid=21873 vsize=14084804 memory=88720 CPUtime=0.99 cores=0,2,4,6
/proc/21876/stat : 21876 (java) S 21873 21876 18471 0 -1 1077944320 17560 0 0 0 95 4 0 0 20 0 15 0 246193220 14422839296 22180 33554432000 4194304 4196468 140736594825808 140736594808352 140516073172727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
/proc/21876/statm: 3521201 22180 3496 1 0 3483273 0
[pid=21876/tid=21878] ppid=21873 vsize=14084804 memory=796 CPUtime=0.67 cores=0,2,4,6
/proc/21876/task/21878/stat : 21878 (java) R 21873 21876 18471 0 -1 4202560 14830 0 0 0 64 3 0 0 20 0 15 0 246193220 14422839296 22180 33554432000 4194304 4196468 140736594825808 140516077387664 140516057253214 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21879] ppid=21873 vsize=14084804 memory=1592 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21879/stat : 21879 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193221 14422839296 22180 33554432000 4194304 4196468 140736594825808 140515668847248 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21880] ppid=21873 vsize=14084804 memory=3780 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21880/stat : 21880 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193221 14422839296 22180 33554432000 4194304 4196468 140736594825808 140515667794448 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21881] ppid=21873 vsize=14084804 memory=7236533984234661184 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21881/stat : 21881 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193221 14422839296 22180 33554432000 4194304 4196468 140736594825808 140515666741648 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21882] ppid=21873 vsize=14084804 memory=8099279071866868837 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21882/stat : 21882 (java) S 21873 21876 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246193221 14422839296 22180 33554432000 4194304 4196468 140736594825808 140515665688848 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21883] ppid=21873 vsize=14084804 memory=4641330296368681045 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21883/stat : 21883 (java) S 21873 21876 18471 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246193222 14422839296 22180 33554432000 4194304 4196468 140736594825808 140515053091696 140516073183874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21884] ppid=21873 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21884/stat : 21884 (java) S 21873 21876 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246193223 14422839296 22180 33554432000 4194304 4196468 140736594825808 140515052037664 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21885] ppid=21873 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21885/stat : 21885 (java) S 21873 21876 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246193223 14422839296 22180 33554432000 4194304 4196468 140736594825808 140515050984816 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21886] ppid=21873 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21886/stat : 21886 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193225 14422839296 22180 33554432000 4194304 4196468 140736594825808 140515049933136 140516073191323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21887] ppid=21873 vsize=14084804 memory=572 CPUtime=0.06 cores=0,2,4,6
/proc/21876/task/21887/stat : 21887 (java) S 21873 21876 18471 0 -1 1077944384 613 0 0 0 6 0 0 0 20 0 15 0 246193225 14422839296 22180 33554432000 4194304 4196468 140736594825808 140515048880496 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21888] ppid=21873 vsize=14084804 memory=7 CPUtime=0.08 cores=0,2,4,6
/proc/21876/task/21888/stat : 21888 (java) S 21873 21876 18471 0 -1 1077944384 307 0 0 0 8 0 0 0 20 0 15 0 246193225 14422839296 22180 33554432000 4194304 4196468 140736594825808 140515047827696 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21889] ppid=21873 vsize=14084804 memory=703 CPUtime=0.15 cores=0,2,4,6
/proc/21876/task/21889/stat : 21889 (java) S 21873 21876 18471 0 -1 1077944384 428 0 0 0 15 0 0 0 20 0 15 0 246193225 14422839296 22180 33554432000 4194304 4196468 140736594825808 140515046774896 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21890] ppid=21873 vsize=14084804 memory=279963417087472 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21890/stat : 21890 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193226 14422839296 22180 33554432000 4194304 4196468 140736594825808 140515045722336 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21891] ppid=21873 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21891/stat : 21891 (java) S 21873 21876 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246193226 14422839296 22180 33554432000 4194304 4196468 140736594825808 140515044670640 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88720 KiB

[startup+1.50072 s]
/proc/loadavg: 1.20 1.31 1.46 5/215 21891
/proc/meminfo: memFree=21479416/32770624 swapFree=67108796/67108860
[pid=21876] ppid=21873 vsize=14086852 memory=225500 CPUtime=3.48 cores=0,2,4,6
/proc/21876/stat : 21876 (java) S 21873 21876 18471 0 -1 1077944320 23423 0 0 0 340 8 0 0 20 0 15 0 246193220 14424936448 56375 33554432000 4194304 4196468 140736594825808 140736594808352 140516073172727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
/proc/21876/statm: 3521713 56375 3550 1 0 3483785 0
[pid=21876/tid=21878] ppid=21873 vsize=14086852 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/21876/task/21878/stat : 21878 (java) R 21873 21876 18471 0 -1 4202560 16048 0 0 0 140 5 0 0 20 0 15 0 246193220 14424936448 56375 33554432000 4194304 4196468 140736594825808 140516077406344 140515715923448 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21879] ppid=21873 vsize=14086852 memory=-2746958450906831424 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21879/stat : 21879 (java) S 21873 21876 18471 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 15 0 246193221 14424936448 56375 33554432000 4194304 4196468 140736594825808 140515668847248 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21880] ppid=21873 vsize=14086852 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21880/stat : 21880 (java) S 21873 21876 18471 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 246193221 14424936448 56375 33554432000 4194304 4196468 140736594825808 140515667794448 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21881] ppid=21873 vsize=14086852 memory=4947373097178930048 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21881/stat : 21881 (java) S 21873 21876 18471 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 246193221 14424936448 56375 33554432000 4194304 4196468 140736594825808 140515666741648 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21882] ppid=21873 vsize=14086852 memory=-3472574513799858003 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21882/stat : 21882 (java) S 21873 21876 18471 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 246193221 14424936448 56375 33554432000 4194304 4196468 140736594825808 140515665688848 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21883] ppid=21873 vsize=14086852 memory=-6305710620164973696 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21883/stat : 21883 (java) S 21873 21876 18471 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 246193222 14424936448 56375 33554432000 4194304 4196468 140736594825808 140515053091696 140516073183874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0

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

[pid=21876/tid=21882] ppid=21873 vsize=14092996 memory=11724816 CPUtime=75.22 cores=0,2,4,6
/proc/21876/task/21882/stat : 21882 (java) S 21873 21876 18471 0 -1 1077944384 30608 0 0 0 7386 136 0 0 20 0 15 0 246193221 14431227904 2931206 33554432000 4194304 4196468 140736594825808 140515665688848 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21883] ppid=21873 vsize=14092996 memory=11724788 CPUtime=25.05 cores=0,2,4,6
/proc/21876/task/21883/stat : 21883 (java) S 21873 21876 18471 0 -1 1077944384 523872 0 0 0 2472 33 0 0 20 0 15 0 246193222 14431227904 2931206 33554432000 4194304 4196468 140736594825808 140515053091696 140516073183874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21884] ppid=21873 vsize=14092996 memory=11724792 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21884/stat : 21884 (java) S 21873 21876 18471 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 246193223 14431227904 2931206 33554432000 4194304 4196468 140736594825808 140515052037728 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21885] ppid=21873 vsize=14092996 memory=11724824 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21885/stat : 21885 (java) S 21873 21876 18471 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 246193223 14431227904 2931206 33554432000 4194304 4196468 140736594825808 140515050984832 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21886] ppid=21873 vsize=14092996 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21886/stat : 21886 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193225 14431227904 2931206 33554432000 4194304 4196468 140736594825808 140515049933136 140516073191323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21887] ppid=21873 vsize=14092996 memory=1080 CPUtime=4.53 cores=0,2,4,6
/proc/21876/task/21887/stat : 21887 (java) S 21873 21876 18471 0 -1 1077944384 20008 0 0 0 451 2 0 0 20 0 15 0 246193225 14431227904 2931206 33554432000 4194304 4196468 140736594825808 140515048880496 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21888] ppid=21873 vsize=14092996 memory=11724780 CPUtime=4.88 cores=0,2,4,6
/proc/21876/task/21888/stat : 21888 (java) S 21873 21876 18471 0 -1 1077944384 23198 0 0 0 484 4 0 0 20 0 15 0 246193225 14431227904 2931206 33554432000 4194304 4196468 140736594825808 140515047827696 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21889] ppid=21873 vsize=14092996 memory=11724756 CPUtime=1.68 cores=0,2,4,6
/proc/21876/task/21889/stat : 21889 (java) S 21873 21876 18471 0 -1 1077944384 19861 0 0 0 164 4 0 0 20 0 15 0 246193225 14431227904 2931206 33554432000 4194304 4196468 140736594825808 140515046774896 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21890] ppid=21873 vsize=14092996 memory=11724824 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21890/stat : 21890 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193226 14431227904 2931206 33554432000 4194304 4196468 140736594825808 140515045722336 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21891] ppid=21873 vsize=14092996 memory=11724816 CPUtime=1.29 cores=0,2,4,6
/proc/21876/task/21891/stat : 21891 (java) S 21873 21876 18471 0 -1 1077944384 2437 0 0 0 66 63 0 0 20 0 15 0 246193226 14431227904 2931206 33554432000 4194304 4196468 140736594825808 140515044670640 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
Current children cumulated CPU time: 2438.96 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 11724824 KiB

[startup+2262.3 s]
/proc/loadavg: 1.33 1.56 1.59 3/215 22064
/proc/meminfo: memFree=12603752/32770624 swapFree=67108796/67108860
[pid=21876] ppid=21873 vsize=14092996 memory=11724844 CPUtime=2505.92 cores=0,2,4,6
/proc/21876/stat : 21876 (java) S 21873 21876 18471 0 -1 1077944320 949474 0 0 0 249878 714 0 0 20 0 15 0 246193220 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140736594808352 140516073172727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
/proc/21876/statm: 3523249 2931211 3624 1 0 3485321 0
[pid=21876/tid=21878] ppid=21873 vsize=14092996 memory=11724840 CPUtime=2157.15 cores=0,2,4,6
/proc/21876/task/21878/stat : 21878 (java) R 21873 21876 18471 0 -1 4202560 218045 0 0 0 215638 77 0 0 20 0 15 0 246193220 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140516077410192 140515718341661 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21879] ppid=21873 vsize=14092996 memory=11724844 CPUtime=77.59 cores=0,2,4,6
/proc/21876/task/21879/stat : 21879 (java) S 21873 21876 18471 0 -1 1077944384 29417 0 0 0 7625 134 0 0 20 0 15 0 246193221 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515668847248 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21880] ppid=21873 vsize=14092996 memory=11724844 CPUtime=77.71 cores=0,2,4,6
/proc/21876/task/21880/stat : 21880 (java) S 21873 21876 18471 0 -1 1077944384 36259 0 0 0 7639 132 0 0 20 0 15 0 246193221 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515667794448 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21881] ppid=21873 vsize=14092996 memory=11724844 CPUtime=77.54 cores=0,2,4,6
/proc/21876/task/21881/stat : 21881 (java) S 21873 21876 18471 0 -1 1077944384 29765 0 0 0 7611 143 0 0 20 0 15 0 246193221 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515666741648 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21882] ppid=21873 vsize=14092996 memory=11724844 CPUtime=77.52 cores=0,2,4,6
/proc/21876/task/21882/stat : 21882 (java) S 21873 21876 18471 0 -1 1077944384 31291 0 0 0 7616 136 0 0 20 0 15 0 246193221 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515665688848 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21883] ppid=21873 vsize=14092996 memory=796 CPUtime=25.87 cores=0,2,4,6
/proc/21876/task/21883/stat : 21883 (java) S 21873 21876 18471 0 -1 1077944384 537546 0 0 0 2554 33 0 0 20 0 15 0 246193222 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515053091696 140516073183874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21884] ppid=21873 vsize=14092996 memory=1592 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21884/stat : 21884 (java) S 21873 21876 18471 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 246193223 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515052037728 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21885] ppid=21873 vsize=14092996 memory=11724840 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21885/stat : 21885 (java) S 21873 21876 18471 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 246193223 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515050984832 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21886] ppid=21873 vsize=14092996 memory=11724840 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21886/stat : 21886 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193225 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515049933136 140516073191323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21887] ppid=21873 vsize=14092996 memory=288230574492221466 CPUtime=4.53 cores=0,2,4,6
/proc/21876/task/21887/stat : 21887 (java) S 21873 21876 18471 0 -1 1077944384 20010 0 0 0 451 2 0 0 20 0 15 0 246193225 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515048880496 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21888] ppid=21873 vsize=14092996 memory=288230596050944315 CPUtime=4.88 cores=0,2,4,6
/proc/21876/task/21888/stat : 21888 (java) S 21873 21876 18471 0 -1 1077944384 23200 0 0 0 484 4 0 0 20 0 15 0 246193225 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515047827696 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21889] ppid=21873 vsize=14092996 memory=11724840 CPUtime=1.68 cores=0,2,4,6
/proc/21876/task/21889/stat : 21889 (java) S 21873 21876 18471 0 -1 1077944384 19990 0 0 0 164 4 0 0 20 0 15 0 246193225 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515046774896 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21890] ppid=21873 vsize=14092996 memory=11724840 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21890/stat : 21890 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193226 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515045722336 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21891] ppid=21873 vsize=14092996 memory=6791534058613427641 CPUtime=1.34 cores=0,2,4,6
/proc/21876/task/21891/stat : 21891 (java) S 21873 21876 18471 0 -1 1077944384 2477 0 0 0 69 65 0 0 20 0 15 0 246193226 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515044670640 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
Current children cumulated CPU time: 2505.92 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 11724844 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2274.91 s]
/proc/loadavg: 1.36 1.56 1.59 3/215 22065
/proc/meminfo: memFree=12603256/32770624 swapFree=67108796/67108860
[pid=21876] ppid=21873 vsize=14092996 memory=11724844 CPUtime=2520.2 cores=0,2,4,6
/proc/21876/stat : 21876 (java) S 21873 21876 18471 0 -1 1077944320 952056 0 0 0 251305 715 0 0 20 0 15 0 246193220 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140736594808352 140516073172727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
/proc/21876/statm: 3523249 2931211 3624 1 0 3485321 0
[pid=21876/tid=21878] ppid=21873 vsize=14092996 memory=11724844 CPUtime=2169.03 cores=0,2,4,6
/proc/21876/task/21878/stat : 21878 (java) S 21873 21876 18471 0 -1 1077944384 218634 0 0 0 216826 77 0 0 20 0 15 0 246193220 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140516077410304 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21879] ppid=21873 vsize=14092996 memory=11724844 CPUtime=78.15 cores=0,2,4,6
/proc/21876/task/21879/stat : 21879 (java) R 21873 21876 18471 0 -1 4202560 29670 0 0 0 7681 134 0 0 20 0 15 0 246193221 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515668847448 140516057873731 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21880] ppid=21873 vsize=14092996 memory=11724844 CPUtime=78.26 cores=0,2,4,6
/proc/21876/task/21880/stat : 21880 (java) R 21873 21876 18471 0 -1 4202560 36506 0 0 0 7694 132 0 0 20 0 15 0 246193221 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515667794448 140516057872544 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21881] ppid=21873 vsize=14092996 memory=11724844 CPUtime=78.1 cores=0,2,4,6
/proc/21876/task/21881/stat : 21881 (java) R 21873 21876 18471 0 -1 4202560 30009 0 0 0 7667 143 0 0 20 0 15 0 246193221 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515666741648 140516058169236 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21882] ppid=21873 vsize=14092996 memory=11724844 CPUtime=78.09 cores=0,2,4,6
/proc/21876/task/21882/stat : 21882 (java) R 21873 21876 18471 0 -1 4202560 31507 0 0 0 7673 136 0 0 20 0 15 0 246193221 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515665688848 140516058162389 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21883] ppid=21873 vsize=14092996 memory=41740 CPUtime=26.04 cores=0,2,4,6
/proc/21876/task/21883/stat : 21883 (java) S 21873 21876 18471 0 -1 1077944384 538571 0 0 0 2570 34 0 0 20 0 15 0 246193222 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515053090240 140516073182933 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21884] ppid=21873 vsize=14092996 memory=15116 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21884/stat : 21884 (java) S 21873 21876 18471 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 246193223 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515052037728 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21885] ppid=21873 vsize=14092996 memory=66840 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21885/stat : 21885 (java) S 21873 21876 18471 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 246193223 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515050984832 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21886] ppid=21873 vsize=14092996 memory=3632 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21886/stat : 21886 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193225 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515049933136 140516073191323 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21887] ppid=21873 vsize=14092996 memory=11724844 CPUtime=4.53 cores=0,2,4,6
/proc/21876/task/21887/stat : 21887 (java) S 21873 21876 18471 0 -1 1077944384 20010 0 0 0 451 2 0 0 20 0 15 0 246193225 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515048880496 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21888] ppid=21873 vsize=14092996 memory=11724844 CPUtime=4.88 cores=0,2,4,6
/proc/21876/task/21888/stat : 21888 (java) S 21873 21876 18471 0 -1 1077944384 23200 0 0 0 484 4 0 0 20 0 15 0 246193225 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515047827696 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21889] ppid=21873 vsize=14092996 memory=2180 CPUtime=1.68 cores=0,2,4,6
/proc/21876/task/21889/stat : 21889 (java) S 21873 21876 18471 0 -1 1077944384 19990 0 0 0 164 4 0 0 20 0 15 0 246193225 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515046774896 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21890] ppid=21873 vsize=14092996 memory=11724844 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21890/stat : 21890 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193226 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515045722336 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21891] ppid=21873 vsize=14092996 memory=2684 CPUtime=1.34 cores=0,2,4,6
/proc/21876/task/21891/stat : 21891 (java) S 21873 21876 18471 0 -1 1077944384 2485 0 0 0 69 65 0 0 20 0 15 0 246193226 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515044670640 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
Current children cumulated CPU time: 2520.2 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 11724844 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2275.13 s]
# the end of solver process 21876 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2513.5 s, system=7.21058 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2275.01 s]*
/proc/loadavg: 1.36 1.56 1.59 3/215 22065
/proc/meminfo: memFree=12603256/32770624 swapFree=67108796/67108860
[pid=21876] ppid=21873 vsize=14092996 memory=11724844 CPUtime=2520.58 cores=0,2,4,6
/proc/21876/stat : 21876 (java) S 21873 21876 18471 0 -1 1077944320 952062 0 0 0 251343 715 0 0 20 0 15 0 246193220 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140736594808352 140516073172727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
/proc/21876/statm: 3523249 2931211 3624 1 0 3485321 0
[pid=21876/tid=21878] ppid=21873 vsize=14092996 memory=6791534058613427641 CPUtime=2169.03 cores=0,2,4,6
/proc/21876/task/21878/stat : 21878 (java) S 21873 21876 18471 0 -1 1077944384 218634 0 0 0 216826 77 0 0 20 0 15 0 246193220 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140516077410304 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21879] ppid=21873 vsize=14092996 memory=-7003737579269690708 CPUtime=78.24 cores=0,2,4,6
/proc/21876/task/21879/stat : 21879 (java) S 21873 21876 18471 0 -1 1077944384 29670 0 0 0 7690 134 0 0 20 0 15 0 246193221 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515668847248 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21880] ppid=21873 vsize=14092996 memory=279963418445200 CPUtime=78.35 cores=0,2,4,6
/proc/21876/task/21880/stat : 21880 (java) S 21873 21876 18471 0 -1 1077944384 36506 0 0 0 7703 132 0 0 20 0 15 0 246193221 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515667794448 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21881] ppid=21873 vsize=14092996 memory=6791534058613427641 CPUtime=78.19 cores=0,2,4,6
/proc/21876/task/21881/stat : 21881 (java) S 21873 21876 18471 0 -1 1077944384 30009 0 0 0 7676 143 0 0 20 0 15 0 246193221 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515666741648 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21882] ppid=21873 vsize=14092996 memory=932 CPUtime=78.18 cores=0,2,4,6
/proc/21876/task/21882/stat : 21882 (java) S 21873 21876 18471 0 -1 1077944384 31507 0 0 0 7682 136 0 0 20 0 15 0 246193221 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515665688848 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21883] ppid=21873 vsize=14092996 memory=1728 CPUtime=26.06 cores=0,2,4,6
/proc/21876/task/21883/stat : 21883 (java) R 21873 21876 18471 0 -1 4202560 538571 0 0 0 2572 34 0 0 20 0 15 0 246193222 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515053090240 140516051542907 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21884] ppid=21873 vsize=14092996 memory=8628 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21884/stat : 21884 (java) S 21873 21876 18471 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 246193223 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515052037728 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21885] ppid=21873 vsize=14092996 memory=1080 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21885/stat : 21885 (java) S 21873 21876 18471 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 246193223 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515050984832 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21886] ppid=21873 vsize=14092996 memory=752 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21886/stat : 21886 (java) S 21873 21876 18471 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 246193225 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515049932784 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21887] ppid=21873 vsize=14092996 memory=796 CPUtime=4.53 cores=0,2,4,6
/proc/21876/task/21887/stat : 21887 (java) S 21873 21876 18471 0 -1 1077944384 20010 0 0 0 451 2 0 0 20 0 15 0 246193225 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515048880496 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21888] ppid=21873 vsize=14092996 memory=66840 CPUtime=4.88 cores=0,2,4,6
/proc/21876/task/21888/stat : 21888 (java) S 21873 21876 18471 0 -1 1077944384 23200 0 0 0 484 4 0 0 20 0 15 0 246193225 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515047827696 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21889] ppid=21873 vsize=14092996 memory=66840 CPUtime=1.68 cores=0,2,4,6
/proc/21876/task/21889/stat : 21889 (java) S 21873 21876 18471 0 -1 1077944384 19990 0 0 0 164 4 0 0 20 0 15 0 246193225 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515046774896 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21890] ppid=21873 vsize=14092996 memory=2056 CPUtime=0 cores=0,2,4,6
/proc/21876/task/21890/stat : 21890 (java) S 21873 21876 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246193226 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515045722336 140516073182933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
[pid=21876/tid=21891] ppid=21873 vsize=14092996 memory=6500 CPUtime=1.34 cores=0,2,4,6
/proc/21876/task/21891/stat : 21891 (java) S 21873 21876 18471 0 -1 1077944384 2485 0 0 0 69 65 0 0 20 0 15 0 246193226 14431227904 2931211 33554432000 4194304 4196468 140736594825808 140515044670640 140516073183874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 24752128 140736594830421 140736594830601 140736594830601 140736594833359 0
Current children cumulated CPU time: 2520.58 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 11724844 KiB

[startup+2275.11 s]*
/proc/loadavg: 1.36 1.56 1.59 3/202 22067
/proc/meminfo: memFree=21610564/32770624 swapFree=67108796/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2275.13
CPU time (s): 2520.71
CPU user time (s): 2513.5
CPU system time (s): 7.21058
CPU usage (%): 110.794
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 11725496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.5
system time used= 7.21058
maximum resident set size= 11725496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 952786
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68777
involuntary context switches= 7774


# summary of solver processes directly reported to runsolver:
#   pid: 21876
#   total CPU time (s): 2520.71
#   total CPU user time (s): 2513.5
#   total CPU system time (s): 7.21058

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1778 second user time and 21.8643 second system time

The end

Launcher Data 

Begin job on node138 at 2018-08-15 00:38:20
IDJOB=4308664
IDBENCH=141200
IDSOLVER=2792
FILE ID=node138/4308664-1534286300
RUNJOBID= node138-1534270673-20077
PBS_JOBID= 21038119
Free space on /tmp= 27360 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-07-opt_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308664-1534286300/watcher-4308664-1534286300 -o /tmp/evaluation-result-4308664-1534286300/solver-4308664-1534286300 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534270673-20077 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 485431784 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308664-1534286300.xml

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

MD5SUM BENCH= ba4df16e86f19a26142e39b1a48414c8
RANDOM SEED=485431784

node138.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21729588 kB
MemAvailable:   29114728 kB
Buffers:          135076 kB
Cached:          7427016 kB
SwapCached:           12 kB
Active:          6732292 kB
Inactive:        3670148 kB
Active(anon):    2783972 kB
Inactive(anon):   108392 kB
Active(file):    3948320 kB
Inactive(file):  3561756 kB
Unevictable:        7276 kB
Mlocked:            7276 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:             35876 kB
Writeback:             0 kB
AnonPages:       2891812 kB
Mapped:            67132 kB
Shmem:             49740 kB
Slab:             331528 kB
SReclaimable:     303524 kB
SUnreclaim:        28004 kB
KernelStack:        3792 kB
PageTables:        11460 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3862208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2711552 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 27324 MiB
End job on node138 at 2018-08-15 01:16:16