Trace number 4298978

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
MiniCPFever 2018-04-29SAT (TO)51771746 2520.14 2499.34

General information on the benchmark

NameFapp/Fapp-ext/
Fapp-ext-test01-0150_c18.xml
MD5SUM0e4565184fd00ba85c2da13ba2e2ff53
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark18299400
Best CPU time to get the best result obtained on this benchmark2519.71
Satisfiable
(Un)Satisfiability was proved
Number of variables2328
Number of constraints1459
Number of domains42
Minimum domain size2
Maximum domain size151
Distribution of domain sizes[{"size":2,"count":826},{"size":11,"count":676},{"size":12,"count":1},{"size":21,"count":68},{"size":57,"count":16},{"size":61,"count":10},{"size":67,"count":17},{"size":69,"count":10},{"size":77,"count":22},{"size":79,"count":2},{"size":81,"count":11},{"size":84,"count":3},{"size":99,"count":10},{"size":102,"count":17},{"size":104,"count":3},{"size":106,"count":17},{"size":114,"count":2},{"size":116,"count":14},{"size":117,"count":77},{"size":121,"count":12},{"size":125,"count":11},{"size":128,"count":8},{"size":129,"count":4},{"size":131,"count":118},{"size":133,"count":17},{"size":136,"count":68},{"size":138,"count":7},{"size":139,"count":11},{"size":141,"count":78},{"size":143,"count":11},{"size":144,"count":5},{"size":146,"count":98},{"size":148,"count":12},{"size":151,"count":66}]
Minimum variable degree2
Maximum variable degree677
Distribution of variable degrees[{"degree":2,"count":2027},{"degree":3,"count":2},{"degree":4,"count":7},{"degree":5,"count":12},{"degree":6,"count":22},{"degree":7,"count":33},{"degree":8,"count":30},{"degree":9,"count":30},{"degree":10,"count":30},{"degree":11,"count":34},{"degree":12,"count":37},{"degree":13,"count":48},{"degree":14,"count":15},{"degree":677,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":108},{"arity":3,"count":675},{"arity":6,"count":676}]
Number of extensional constraints1459
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":1459}]
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.13/0.13	c version: 2018-04-11
0.13/0.13	c seed: 1811631
0.13/0.13	c timeout: -1
0.13/0.13	c memlimit: -1
0.13/0.13	c nbcore: -1
161.16/144.58	o 52969637
161.16/144.58	objective:52969637
162.50/145.89	o 52969634
162.50/145.89	objective:52969634
168.15/151.37	o 52969633
168.15/151.37	objective:52969633
168.15/151.37	o 52969630
168.15/151.37	objective:52969630
169.60/152.74	o 52969625
169.60/152.74	objective:52969625
173.70/156.81	o 52962865
173.70/156.82	objective:52962865
181.81/165.00	o 52956108
181.81/165.00	objective:52956108
188.74/171.83	o 52956106
188.74/171.83	objective:52956106
196.88/180.00	o 52956104
196.88/180.00	objective:52956104
199.84/182.81	o 52956101
199.84/182.81	objective:52956101
199.84/182.81	o 52956098
199.84/182.81	objective:52956098
209.85/192.88	o 52956095
209.85/192.88	objective:52956095
211.35/194.34	o 52956092
211.35/194.34	objective:52956092
211.35/194.35	o 52956081
211.35/194.35	objective:52956081
211.35/194.35	o 52956078
211.35/194.35	objective:52956078
212.77/195.79	o 52956076
212.77/195.79	objective:52956076
212.88/195.80	o 52956071
212.88/195.80	objective:52956071
212.88/195.80	o 52956069
212.88/195.80	objective:52956069
214.28/197.26	o 52949303
214.28/197.26	objective:52949303
220.09/203.05	o 52949296
220.09/203.05	objective:52949296
224.39/207.36	o 52949294
224.39/207.36	objective:52949294
224.39/207.36	o 52949292
224.39/207.36	objective:52949292
228.73/211.66	o 52949285
228.73/211.67	objective:52949285
241.14/224.06	o 52942522
241.14/224.06	objective:52942522
246.58/229.49	o 52942520
246.58/229.49	objective:52942520
264.20/247.09	o 52942516
264.20/247.09	objective:52942516
268.30/251.16	o 52935752
268.30/251.16	objective:52935752
286.02/268.89	o 52928989
286.02/268.89	objective:52928989
286.02/268.89	o 52928987
286.02/268.89	objective:52928987
296.92/279.71	o 52928983
296.92/279.71	objective:52928983
296.92/279.71	o 52922226
296.92/279.71	objective:52922226
299.62/282.48	o 52915460
299.62/282.48	objective:52915460
299.62/282.49	o 52908700
299.62/282.49	objective:52908700
301.03/283.87	o 52901952
301.03/283.87	objective:52901952
301.03/283.87	o 52901948
301.03/283.87	objective:52901948
301.03/283.87	o 52901945
301.03/283.87	objective:52901945
305.13/287.96	o 52901943
305.13/287.96	objective:52901943
305.13/287.96	o 52895178
305.13/287.96	objective:52895178
317.58/300.30	o 52888423
317.58/300.30	objective:52888423
317.58/300.30	o 52888419
317.58/300.30	objective:52888419
317.58/300.30	o 52881662
317.58/300.30	objective:52881662
317.58/300.31	o 52881660
317.58/300.31	objective:52881660
327.09/309.80	o 52868130
327.09/309.80	objective:52868130
357.13/339.87	o 52861371
357.13/339.87	objective:52861371
357.13/339.87	o 52861368
357.13/339.87	objective:52861368
365.42/348.05	o 52861365
365.42/348.05	objective:52861365
381.92/364.51	o 52847841
381.92/364.51	objective:52847841
396.83/379.42	o 52847833
396.83/379.42	objective:52847833
396.83/379.42	o 52841073
396.83/379.42	objective:52841073
400.94/383.52	o 52834315
400.94/383.52	objective:52834315
400.94/383.52	o 52834312
400.94/383.52	objective:52834312
402.23/384.89	o 52820792
402.23/384.89	objective:52820792
414.56/397.12	o 52814032
414.56/397.12	objective:52814032
415.85/398.48	o 52814031
415.85/398.48	objective:52814031
415.85/398.49	o 52814028
415.85/398.49	objective:52814028
432.25/414.83	o 52807289
432.25/414.83	objective:52807289
432.25/414.83	o 52807283
432.25/414.83	objective:52807283
432.25/414.83	o 52807275
432.25/414.83	objective:52807275
432.25/414.83	o 52807269
432.25/414.83	objective:52807269
432.25/414.83	o 52807266
432.25/414.83	objective:52807266
432.25/414.84	o 52807265
432.25/414.84	objective:52807265
432.25/414.84	o 52807262
432.25/414.84	objective:52807262
448.64/431.16	o 52807260
448.64/431.16	objective:52807260
458.14/440.68	o 52807247
458.14/440.68	objective:52807247
477.25/459.79	o 52800501
477.25/459.79	objective:52800501
477.25/459.79	o 52800487
477.25/459.79	objective:52800487
477.25/459.79	o 52800485
477.25/459.79	objective:52800485
484.06/466.55	o 52793712
484.06/466.55	objective:52793712
484.06/466.55	o 52786944
484.06/466.55	objective:52786944
489.46/471.98	o 52780174
489.46/471.98	objective:52780174
533.29/515.71	o 52773418
533.29/515.71	objective:52773418
533.29/515.71	o 52773415
533.29/515.71	objective:52773415
546.90/529.34	o 52773413
546.90/529.34	objective:52773413
567.46/549.84	o 52766654
567.46/549.84	objective:52766654
567.46/549.84	o 52766650
567.46/549.84	objective:52766650
567.46/549.84	o 52766647
567.46/549.84	objective:52766647
567.46/549.84	o 52766643
567.46/549.84	objective:52766643
579.78/562.13	o 52759874
579.78/562.13	objective:52759874
579.78/562.13	o 52759872
579.78/562.13	objective:52759872
619.50/601.80	o 52753112
619.50/601.80	objective:52753112
619.50/601.81	o 52753109
619.50/601.81	objective:52753109
644.01/626.34	o 52753106
644.01/626.34	objective:52753106
646.72/629.09	o 52753105
646.72/629.09	objective:52753105
646.72/629.09	o 52753100
646.72/629.09	objective:52753100
646.72/629.09	o 52753097
646.72/629.09	objective:52753097
646.72/629.10	o 52746345
646.72/629.10	objective:52746345
646.72/629.10	o 52746340
646.72/629.10	objective:52746340
653.72/636.01	o 52739584
653.72/636.01	objective:52739584
653.72/636.01	o 52739581
653.72/636.01	objective:52739581
653.72/636.01	o 52739579
653.72/636.01	objective:52739579
653.72/636.01	o 52739578
653.72/636.01	objective:52739578
653.72/636.01	o 52739576
653.72/636.01	objective:52739576
653.72/636.01	o 52739575
653.72/636.01	objective:52739575
653.72/636.01	o 52739573
653.72/636.01	objective:52739573
653.72/636.01	o 52739568
653.72/636.01	objective:52739568
653.72/636.01	o 52739565
653.72/636.01	objective:52739565
653.72/636.01	o 52739563
653.72/636.01	objective:52739563
693.48/675.72	o 52732819
693.48/675.72	objective:52732819
693.48/675.72	o 52732812
693.48/675.72	objective:52732812
693.48/675.72	o 52732807
693.48/675.72	objective:52732807
693.48/675.72	o 52732803
693.48/675.72	objective:52732803
696.28/678.50	o 52726038
696.28/678.50	objective:52726038
696.28/678.50	o 52726034
696.28/678.50	objective:52726034
696.28/678.51	o 52719278
696.28/678.51	objective:52719278
696.28/678.51	o 52719274
696.28/678.51	objective:52719274
704.59/686.85	o 52719265
704.59/686.85	objective:52719265
732.11/714.37	o 52719260
732.11/714.37	objective:52719260
732.11/714.37	o 52719254
732.11/714.37	objective:52719254
732.11/714.37	o 52719253
732.11/714.37	objective:52719253
733.51/715.75	o 52719251
733.51/715.75	objective:52719251
733.51/715.75	o 52719249
733.51/715.75	objective:52719249
739.01/721.25	o 52712490
739.01/721.25	objective:52712490
739.01/721.25	o 52705713
739.01/721.25	objective:52705713
739.01/721.26	o 52698943
739.01/721.26	objective:52698943
739.01/721.26	o 52698941
739.01/721.26	objective:52698941
745.93/728.18	o 52692200
745.93/728.18	objective:52692200
746.02/728.20	o 52692193
746.02/728.20	objective:52692193
746.02/728.20	o 52685432
746.02/728.20	objective:52685432
746.02/728.21	o 52685421
746.02/728.21	objective:52685421
762.43/744.63	o 52685420
762.43/744.63	objective:52685420
762.43/744.63	o 52685418
762.43/744.63	objective:52685418
762.43/744.63	o 52685417
762.43/744.63	objective:52685417
762.43/744.63	o 52685415
762.43/744.63	objective:52685415
806.42/788.55	o 52678667
806.42/788.55	objective:52678667
818.83/800.94	o 52671906
818.83/800.94	objective:52671906
818.83/800.95	o 52671903
818.83/800.95	objective:52671903
818.83/800.95	o 52671902
818.83/800.95	objective:52671902
818.83/800.95	o 52671899
818.83/800.95	objective:52671899
818.83/800.96	o 52665136
818.83/800.96	objective:52665136
818.83/800.96	o 52665133
818.83/800.96	objective:52665133
821.63/803.73	o 52665132
821.63/803.73	objective:52665132
821.63/803.73	o 52665131
821.63/803.73	objective:52665131
821.63/803.73	o 52665130
821.63/803.73	objective:52665130
823.04/805.13	o 52658399
823.04/805.13	objective:52658399
823.04/805.13	o 52658385
823.04/805.13	objective:52658385
823.04/805.13	o 52658379
823.04/805.13	objective:52658379
823.04/805.13	o 52658373
823.04/805.13	objective:52658373
823.04/805.13	o 52658367
823.04/805.13	objective:52658367
824.43/806.50	o 52651617
824.43/806.50	objective:52651617
824.43/806.50	o 52651612
824.43/806.50	objective:52651612
824.43/806.51	o 52651608
824.43/806.51	objective:52651608
824.43/806.51	o 52644849
824.43/806.51	objective:52644849
824.43/806.51	o 52644845
824.43/806.51	objective:52644845
824.43/806.51	o 52644844
824.43/806.51	objective:52644844
824.43/806.51	o 52644840
824.43/806.51	objective:52644840
838.15/820.27	o 52638077
838.15/820.27	objective:52638077
838.15/820.27	o 52638074
838.15/820.27	objective:52638074
838.15/820.27	o 52638071
838.15/820.27	objective:52638071
838.15/820.27	o 52638068
838.15/820.27	objective:52638068
838.15/820.27	o 52631310
838.15/820.27	objective:52631310
838.15/820.27	o 52631304
838.15/820.27	objective:52631304
838.15/820.27	o 52631301
838.15/820.27	objective:52631301
838.15/820.27	o 52631299
838.15/820.27	objective:52631299
876.67/858.73	o 52631298
876.67/858.73	objective:52631298
876.67/858.73	o 52631296
876.67/858.73	objective:52631296
876.67/858.73	o 52624562
876.67/858.73	objective:52624562
876.67/858.73	o 52624560
876.67/858.73	objective:52624560
876.67/858.73	o 52624548
876.67/858.73	objective:52624548
876.67/858.73	o 52624546
876.67/858.73	objective:52624546
876.67/858.73	o 52624541
876.67/858.73	objective:52624541
876.67/858.73	o 52624539
876.67/858.73	objective:52624539
876.67/858.73	o 52624535
876.67/858.73	objective:52624535
876.67/858.73	o 52624533
876.67/858.73	objective:52624533
880.77/862.86	o 52617779
880.77/862.86	objective:52617779
880.77/862.86	o 52617775
880.77/862.86	objective:52617775
880.77/862.86	o 52617772
880.77/862.86	objective:52617772
880.77/862.86	o 52611019
880.77/862.86	objective:52611019
880.77/862.86	o 52611015
880.77/862.86	objective:52611015
880.77/862.86	o 52611012
880.77/862.86	objective:52611012
884.87/866.95	o 52604264
884.87/866.95	objective:52604264
884.87/866.95	o 52604260
884.87/866.95	objective:52604260
884.87/866.95	o 52604258
884.87/866.95	objective:52604258
886.27/868.32	o 52604255
886.27/868.32	objective:52604255
886.27/868.32	o 52604252
886.27/868.32	objective:52604252
897.28/879.34	o 52604251
897.28/879.34	objective:52604251
897.28/879.34	o 52604250
897.28/879.34	objective:52604250
897.28/879.34	o 52604249
897.28/879.34	objective:52604249
907.07/889.02	o 52604236
907.07/889.02	objective:52604236
907.07/889.03	o 52597475
907.07/889.03	objective:52597475
907.07/889.04	o 52597473
907.07/889.04	objective:52597473
907.07/889.04	o 52590712
907.07/889.04	objective:52590712
907.07/889.05	o 52590708
907.07/889.05	objective:52590708
908.46/890.42	o 52590707
908.46/890.42	objective:52590707
908.46/890.42	o 52590703
908.46/890.42	objective:52590703
909.86/891.80	o 52590701
909.86/891.80	objective:52590701
909.86/891.80	o 52590699
909.86/891.80	objective:52590699
909.86/891.80	o 52590698
909.86/891.80	objective:52590698
909.86/891.80	o 52590695
909.86/891.80	objective:52590695
909.86/891.80	o 52590693
909.86/891.80	objective:52590693
909.86/891.80	o 52583945
909.86/891.80	objective:52583945
909.86/891.80	o 52583938
909.86/891.80	objective:52583938
909.86/891.80	o 52583936
909.86/891.80	objective:52583936
909.86/891.80	o 52583935
909.86/891.80	objective:52583935
909.86/891.80	o 52583933
909.86/891.80	objective:52583933
923.56/905.57	o 52577174
923.56/905.57	objective:52577174
923.56/905.57	o 52577171
923.56/905.57	objective:52577171
923.56/905.57	o 52577170
923.56/905.57	objective:52577170
923.56/905.57	o 52577167
923.56/905.57	objective:52577167
959.29/941.29	o 52570420
959.29/941.29	objective:52570420
959.39/941.30	o 52570414
959.39/941.30	objective:52570414
959.39/941.30	o 52563654
959.39/941.30	objective:52563654
960.69/942.69	o 52563652
960.69/942.69	objective:52563652
960.69/942.69	o 52563650
960.69/942.69	objective:52563650
962.09/944.06	o 52563649
962.09/944.06	objective:52563649
962.09/944.07	o 52563647
962.09/944.07	objective:52563647
962.09/944.07	o 52563646
962.09/944.07	objective:52563646
964.88/946.83	o 52563644
964.88/946.83	objective:52563644
985.70/967.62	o 52556903
985.70/967.62	objective:52556903
985.70/967.62	o 52556896
985.70/967.62	objective:52556896
985.70/967.63	o 52550136
985.70/967.63	objective:52550136
985.70/967.64	o 52550133
985.70/967.64	objective:52550133
985.70/967.64	o 52550131
985.70/967.64	objective:52550131
985.70/967.64	o 52550128
985.70/967.64	objective:52550128
987.00/969.01	o 52543383
987.00/969.01	objective:52543383
987.11/969.01	o 52543382
987.11/969.01	objective:52543382
987.11/969.01	o 52543374
987.11/969.01	objective:52543374
987.11/969.01	o 52543373
987.11/969.01	objective:52543373
987.11/969.01	o 52536617
987.11/969.01	objective:52536617
987.11/969.01	o 52536608
987.11/969.01	objective:52536608
987.11/969.01	o 52536607
987.11/969.01	objective:52536607
989.81/971.76	o 52536603
989.81/971.76	objective:52536603
1014.77/996.68	o 52536596
1014.77/996.68	objective:52536596
1014.77/996.69	o 52536592
1014.77/996.69	objective:52536592
1018.97/1000.83	o 52536588
1018.97/1000.83	objective:52536588
1018.97/1000.83	o 52529828
1018.97/1000.83	objective:52529828
1018.97/1000.83	o 52529826
1018.97/1000.83	objective:52529826
1018.97/1000.83	o 52529824
1018.97/1000.83	objective:52529824
1018.97/1000.83	o 52529822
1018.97/1000.83	objective:52529822
1018.97/1000.83	o 52523062
1018.97/1000.83	objective:52523062
1018.97/1000.84	o 52523060
1018.97/1000.84	objective:52523060
1018.97/1000.84	o 52523058
1018.97/1000.84	objective:52523058
1018.97/1000.84	o 52523056
1018.97/1000.84	objective:52523056
1018.97/1000.84	o 52523054
1018.97/1000.84	objective:52523054
1018.97/1000.84	o 52516296
1018.97/1000.84	objective:52516296
1018.97/1000.84	o 52516294
1018.97/1000.84	objective:52516294
1018.97/1000.84	o 52516292
1018.97/1000.84	objective:52516292
1018.97/1000.85	o 52516291
1018.97/1000.85	objective:52516291
1021.77/1003.66	o 52516287
1021.77/1003.66	objective:52516287
1021.77/1003.66	o 52516280
1021.77/1003.66	objective:52516280
1021.77/1003.66	o 52509527
1021.77/1003.66	objective:52509527
1021.77/1003.66	o 52509520
1021.77/1003.66	objective:52509520
1021.77/1003.67	o 52509518
1021.77/1003.67	objective:52509518
1028.79/1010.60	o 52509513
1028.79/1010.60	objective:52509513
1028.79/1010.60	o 52509509
1028.79/1010.60	objective:52509509
1028.79/1010.60	o 52509507
1028.79/1010.60	objective:52509507
1031.48/1013.37	o 52509506
1031.48/1013.37	objective:52509506
1031.48/1013.37	o 52509505
1031.48/1013.37	objective:52509505
1031.48/1013.37	o 52502745
1031.48/1013.37	objective:52502745
1071.50/1053.35	o 52502728
1071.50/1053.35	objective:52502728
1071.50/1053.35	o 52502722
1071.50/1053.35	objective:52502722
1071.50/1053.36	o 52495976
1071.50/1053.36	objective:52495976
1071.50/1053.36	o 52495970
1071.50/1053.36	objective:52495970
1071.50/1053.36	o 52495962
1071.50/1053.36	objective:52495962
1071.50/1053.36	o 52489210
1071.50/1053.36	objective:52489210
1071.50/1053.36	o 52489199
1071.50/1053.36	objective:52489199
1071.50/1053.37	o 52482450
1071.50/1053.37	objective:52482450
1072.91/1054.74	o 52482448
1072.91/1054.74	objective:52482448
1072.91/1054.75	o 52482444
1072.91/1054.75	objective:52482444
1072.91/1054.75	o 52482443
1072.91/1054.75	objective:52482443
1072.91/1054.75	o 52482439
1072.91/1054.75	objective:52482439
1074.32/1056.14	o 52475686
1074.32/1056.14	objective:52475686
1074.32/1056.14	o 52475681
1074.32/1056.14	objective:52475681
1099.33/1081.19	o 52475680
1099.33/1081.19	objective:52475680
1099.33/1081.20	o 52475676
1099.33/1081.20	objective:52475676
1119.09/1100.86	o 52475674
1119.09/1100.86	objective:52475674
1119.09/1100.87	o 52475673
1119.09/1100.87	objective:52475673
1119.09/1100.87	o 52475669
1119.09/1100.87	objective:52475669
1119.09/1100.87	o 52475668
1119.09/1100.87	objective:52475668
1134.41/1116.18	o 52468929
1134.41/1116.18	objective:52468929
1134.41/1116.18	o 52468928
1134.41/1116.18	objective:52468928
1135.80/1117.59	o 52468926
1135.80/1117.59	objective:52468926
1135.80/1117.59	o 52468924
1135.80/1117.59	objective:52468924
1135.80/1117.59	o 52468923
1135.80/1117.59	objective:52468923
1135.80/1117.59	o 52468921
1135.80/1117.59	objective:52468921
1135.80/1117.59	o 52468919
1135.80/1117.59	objective:52468919
1135.80/1117.60	o 52468917
1135.80/1117.60	objective:52468917
1145.61/1127.33	o 52468915
1145.61/1127.33	objective:52468915
1145.61/1127.33	o 52468913
1145.61/1127.33	objective:52468913
1149.81/1131.52	o 52468912
1149.81/1131.52	objective:52468912
1149.81/1131.52	o 52468911
1149.81/1131.52	objective:52468911
1149.81/1131.52	o 52468910
1149.81/1131.52	objective:52468910
1149.81/1131.52	o 52468909
1149.81/1131.52	objective:52468909
1149.81/1131.52	o 52468908
1149.81/1131.52	objective:52468908
1149.81/1131.52	o 52468907
1149.81/1131.52	objective:52468907
1149.81/1131.53	o 52468906
1149.81/1131.53	objective:52468906
1149.81/1131.54	o 52462145
1149.81/1131.54	objective:52462145
1149.81/1131.54	o 52462144
1149.81/1131.54	objective:52462144
1149.81/1131.54	o 52462143
1149.81/1131.54	objective:52462143
1149.81/1131.54	o 52462142
1149.81/1131.54	objective:52462142
1149.81/1131.54	o 52462141
1149.81/1131.54	objective:52462141
1159.51/1141.27	o 52462140
1159.51/1141.27	objective:52462140
1159.51/1141.28	o 52462139
1159.51/1141.28	objective:52462139
1159.51/1141.28	o 52462138
1159.51/1141.28	objective:52462138
1160.91/1142.65	o 52462137
1160.91/1142.65	objective:52462137
1174.83/1156.54	o 52455389
1174.83/1156.54	objective:52455389
1174.83/1156.54	o 52455378
1174.83/1156.54	objective:52455378
1174.83/1156.54	o 52455374
1174.83/1156.54	objective:52455374
1174.83/1156.54	o 52455373
1174.83/1156.54	objective:52455373
1174.83/1156.55	o 52455372
1174.83/1156.55	objective:52455372
1174.83/1156.55	o 52455371
1174.83/1156.55	objective:52455371
1181.83/1163.51	o 52455370
1181.83/1163.51	objective:52455370
1181.83/1163.52	o 52455368
1181.83/1163.52	objective:52455368
1181.83/1163.52	o 52455367
1181.83/1163.52	objective:52455367
1187.35/1169.07	o 52455366
1187.35/1169.07	objective:52455366
1187.35/1169.07	o 52448623
1187.35/1169.07	objective:52448623
1187.35/1169.07	o 52448616
1187.35/1169.07	objective:52448616
1187.35/1169.07	o 52448612
1187.35/1169.07	objective:52448612
1187.35/1169.07	o 52448605
1187.35/1169.07	objective:52448605
1187.35/1169.07	o 52448604
1187.35/1169.07	objective:52448604
1187.35/1169.08	o 52448603
1187.35/1169.08	objective:52448603
1192.94/1174.65	o 52441860
1192.94/1174.65	objective:52441860
1192.94/1174.65	o 52441855
1192.94/1174.65	objective:52441855
1192.94/1174.65	o 52441853
1192.94/1174.65	objective:52441853
1192.94/1174.65	o 52441852
1192.94/1174.65	objective:52441852
1197.14/1178.82	o 52441851
1197.14/1178.82	objective:52441851
1197.14/1178.82	o 52441850
1197.14/1178.82	objective:52441850
1197.14/1178.82	o 52441849
1197.14/1178.82	objective:52441849
1197.14/1178.82	o 52441848
1197.14/1178.82	objective:52441848
1197.14/1178.82	o 52441847
1197.14/1178.82	objective:52441847
1198.59/1180.22	o 52441846
1198.59/1180.22	objective:52441846
1198.59/1180.22	o 52441845
1198.59/1180.22	objective:52441845
1198.59/1180.22	o 52441843
1198.59/1180.22	objective:52441843
1198.59/1180.22	o 52441841
1198.59/1180.22	objective:52441841
1198.59/1180.22	o 52441840
1198.59/1180.22	objective:52441840
1199.99/1181.60	o 52441837
1199.99/1181.60	objective:52441837
1199.99/1181.61	o 52435080
1199.99/1181.61	objective:52435080
1199.99/1181.61	o 52435079
1199.99/1181.61	objective:52435079
1199.99/1181.61	o 52435075
1199.99/1181.61	objective:52435075
1199.99/1181.61	o 52435074
1199.99/1181.61	objective:52435074
1199.99/1181.61	o 52435071
1199.99/1181.61	objective:52435071
1199.99/1181.61	o 52435070
1199.99/1181.61	objective:52435070
1199.99/1181.61	o 52428314
1199.99/1181.61	objective:52428314
1199.99/1181.61	o 52428313
1199.99/1181.61	objective:52428313
1199.99/1181.62	o 52428312
1199.99/1181.62	objective:52428312
1199.99/1181.62	o 52428311
1199.99/1181.62	objective:52428311
1209.69/1191.33	o 52428308
1209.69/1191.33	objective:52428308
1209.69/1191.33	o 52428307
1209.69/1191.33	objective:52428307
1218.00/1199.65	o 52421541
1218.00/1199.65	objective:52421541
1218.00/1199.65	o 52408003
1218.00/1199.65	objective:52408003
1218.00/1199.65	o 52408002
1218.00/1199.65	objective:52408002
1218.00/1199.65	o 52407998
1218.00/1199.65	objective:52407998
1218.00/1199.66	o 52407997
1218.00/1199.66	objective:52407997
1223.51/1205.17	o 52401240
1223.51/1205.17	objective:52401240
1223.51/1205.18	o 52401232
1223.51/1205.18	objective:52401232
1224.90/1206.58	o 52401231
1224.90/1206.58	objective:52401231
1224.90/1206.58	o 52401230
1224.90/1206.58	objective:52401230
1224.90/1206.59	o 52401229
1224.90/1206.59	objective:52401229
1224.90/1206.59	o 52401228
1224.90/1206.59	objective:52401228
1224.90/1206.59	o 52401227
1224.90/1206.59	objective:52401227
1224.90/1206.59	o 52401226
1224.90/1206.59	objective:52401226
1224.90/1206.59	o 52401225
1224.90/1206.59	objective:52401225
1224.90/1206.59	o 52401224
1224.90/1206.59	objective:52401224
1224.90/1206.59	o 52401223
1224.90/1206.59	objective:52401223
1224.90/1206.59	o 52401222
1224.90/1206.59	objective:52401222
1224.90/1206.59	o 52401221
1224.90/1206.59	objective:52401221
1224.90/1206.59	o 52401220
1224.90/1206.59	objective:52401220
1226.30/1207.98	o 52394469
1226.30/1207.98	objective:52394469
1226.30/1207.98	o 52394464
1226.30/1207.98	objective:52394464
1226.30/1207.98	o 52394463
1226.30/1207.98	objective:52394463
1233.21/1214.85	o 52394459
1233.21/1214.85	objective:52394459
1233.21/1214.85	o 52394457
1233.21/1214.85	objective:52394457
1233.21/1214.85	o 52394456
1233.21/1214.85	objective:52394456
1233.21/1214.85	o 52387705
1233.21/1214.85	objective:52387705
1233.21/1214.85	o 52387699
1233.21/1214.85	objective:52387699
1233.21/1214.85	o 52387698
1233.21/1214.85	objective:52387698
1233.21/1214.86	o 52387692
1233.21/1214.86	objective:52387692
1233.21/1214.86	o 52387690
1233.21/1214.86	objective:52387690
1233.21/1214.86	o 52387689
1233.21/1214.86	objective:52387689
1233.21/1214.86	o 52380939
1233.21/1214.86	objective:52380939
1233.21/1214.86	o 52380932
1233.21/1214.86	objective:52380932
1233.21/1214.86	o 52380930
1233.21/1214.86	objective:52380930
1233.21/1214.86	o 52380929
1233.21/1214.86	objective:52380929
1237.42/1219.05	o 52380928
1237.42/1219.05	objective:52380928
1237.42/1219.05	o 52380926
1237.42/1219.05	objective:52380926
1237.42/1219.05	o 52380925
1237.42/1219.05	objective:52380925
1238.81/1220.45	o 52374171
1238.81/1220.45	objective:52374171
1238.81/1220.45	o 52374166
1238.81/1220.45	objective:52374166
1238.81/1220.45	o 52374165
1238.81/1220.45	objective:52374165
1244.42/1226.05	o 52374162
1244.42/1226.05	objective:52374162
1247.21/1228.85	o 52374161
1247.21/1228.85	objective:52374161
1247.21/1228.85	o 52374160
1247.21/1228.85	objective:52374160
1247.21/1228.85	o 52374159
1247.21/1228.85	objective:52374159
1247.21/1228.85	o 52374158
1247.21/1228.85	objective:52374158
1255.53/1237.19	o 52374157
1255.53/1237.19	objective:52374157
1255.53/1237.19	o 52374156
1255.53/1237.19	objective:52374156
1256.93/1238.59	o 52374155
1256.93/1238.59	objective:52374155
1258.33/1239.98	o 52374154
1258.33/1239.98	objective:52374154
1261.13/1242.76	o 52374152
1261.13/1242.76	objective:52374152
1261.13/1242.76	o 52374151
1261.13/1242.76	objective:52374151
1261.13/1242.76	o 52374150
1261.13/1242.76	objective:52374150
1261.13/1242.76	o 52374147
1261.13/1242.76	objective:52374147
1268.13/1249.71	o 52374146
1268.13/1249.71	objective:52374146
1268.13/1249.71	o 52367407
1268.13/1249.71	objective:52367407
1268.13/1249.71	o 52367406
1268.13/1249.71	objective:52367406
1268.13/1249.71	o 52367405
1268.13/1249.71	objective:52367405
1268.13/1249.71	o 52367404
1268.13/1249.71	objective:52367404
1268.13/1249.71	o 52367403
1268.13/1249.71	objective:52367403
1268.13/1249.71	o 52367402
1268.13/1249.71	objective:52367402
1268.13/1249.71	o 52367400
1268.13/1249.71	objective:52367400
1268.13/1249.71	o 52367399
1268.13/1249.71	objective:52367399
1268.13/1249.72	o 52367398
1268.13/1249.72	objective:52367398
1268.13/1249.72	o 52367397
1268.13/1249.72	objective:52367397
1269.58/1251.12	o 52367385
1269.58/1251.12	objective:52367385
1269.58/1251.12	o 52367383
1269.58/1251.12	objective:52367383
1272.38/1253.91	o 52367382
1272.38/1253.91	objective:52367382
1276.50/1258.07	o 52367381
1276.50/1258.07	objective:52367381
1277.89/1259.48	o 52367378
1277.89/1259.48	objective:52367378
1277.89/1259.48	o 52367377
1277.89/1259.48	objective:52367377
1277.89/1259.49	o 52367376
1277.89/1259.49	objective:52367376
1280.69/1262.25	o 52367375
1280.69/1262.25	objective:52367375
1280.69/1262.25	o 52367374
1280.69/1262.25	objective:52367374
1280.69/1262.26	o 52367373
1280.69/1262.26	objective:52367373
1307.16/1288.61	o 52360620
1307.16/1288.61	objective:52360620
1307.16/1288.61	o 52360619
1307.16/1288.61	objective:52360619
1308.58/1290.03	o 52360618
1308.58/1290.03	objective:52360618
1308.58/1290.03	o 52360614
1308.58/1290.03	objective:52360614
1308.58/1290.03	o 52360613
1308.58/1290.03	objective:52360613
1309.97/1291.48	o 52360611
1309.97/1291.48	objective:52360611
1309.97/1291.48	o 52360609
1309.97/1291.48	objective:52360609
1312.77/1294.27	o 52360608
1312.77/1294.27	objective:52360608
1312.77/1294.27	o 52360607
1312.77/1294.27	objective:52360607
1312.77/1294.27	o 52360606
1312.77/1294.27	objective:52360606
1312.77/1294.27	o 52360605
1312.77/1294.27	objective:52360605
1312.77/1294.27	o 52360604
1312.77/1294.27	objective:52360604
1314.17/1295.69	o 52360601
1314.17/1295.69	objective:52360601
1314.17/1295.69	o 52360599
1314.17/1295.69	objective:52360599
1315.58/1297.09	o 52360598
1315.58/1297.09	objective:52360598
1317.08/1298.50	o 52353847
1317.08/1298.50	objective:52353847
1317.08/1298.51	o 52353845
1317.08/1298.51	objective:52353845
1317.08/1298.51	o 52353844
1317.08/1298.51	objective:52353844
1317.08/1298.51	o 52353843
1317.08/1298.51	objective:52353843
1317.08/1298.51	o 52353842
1317.08/1298.51	objective:52353842
1317.08/1298.51	o 52353841
1317.08/1298.51	objective:52353841
1317.08/1298.51	o 52353836
1317.08/1298.51	objective:52353836
1317.08/1298.52	o 52353835
1317.08/1298.52	objective:52353835
1317.08/1298.52	o 52353834
1317.08/1298.52	objective:52353834
1317.08/1298.52	o 52353833
1317.08/1298.52	objective:52353833
1317.08/1298.52	o 52353832
1317.08/1298.52	objective:52353832
1319.88/1301.32	o 52353830
1319.88/1301.32	objective:52353830
1319.88/1301.32	o 52353828
1319.88/1301.32	objective:52353828
1319.88/1301.32	o 52353827
1319.88/1301.32	objective:52353827
1339.40/1320.81	o 52353816
1339.40/1320.81	objective:52353816
1339.40/1320.81	o 52353815
1339.40/1320.81	objective:52353815
1339.40/1320.81	o 52353814
1339.40/1320.81	objective:52353814
1343.50/1325.00	o 52347071
1343.50/1325.00	objective:52347071
1343.50/1325.00	o 52347070
1343.50/1325.00	objective:52347070
1343.50/1325.00	o 52347060
1343.50/1325.00	objective:52347060
1343.50/1325.00	o 52347059
1343.50/1325.00	objective:52347059
1349.11/1330.55	o 52347057
1349.11/1330.55	objective:52347057
1349.11/1330.55	o 52347056
1349.11/1330.55	objective:52347056
1349.11/1330.55	o 52347055
1349.11/1330.55	objective:52347055
1349.11/1330.55	o 52347054
1349.11/1330.55	objective:52347054
1351.91/1333.36	o 52340298
1351.91/1333.36	objective:52340298
1351.91/1333.36	o 52340291
1351.91/1333.36	objective:52340291
1351.91/1333.37	o 52333536
1351.91/1333.37	objective:52333536
1351.91/1333.37	o 52333529
1351.91/1333.37	objective:52333529
1351.91/1333.37	o 52333524
1351.91/1333.37	objective:52333524
1351.91/1333.38	o 52326773
1351.91/1333.38	objective:52326773
1351.91/1333.38	o 52326768
1351.91/1333.38	objective:52326768
1351.91/1333.38	o 52326766
1351.91/1333.38	objective:52326766
1351.91/1333.38	o 52326761
1351.91/1333.38	objective:52326761
1353.31/1334.78	o 52326760
1353.31/1334.78	objective:52326760
1354.72/1336.16	o 52320036
1354.72/1336.16	objective:52320036
1354.72/1336.16	o 52320034
1354.72/1336.16	objective:52320034
1354.72/1336.17	o 52320015
1354.72/1336.17	objective:52320015
1354.72/1336.17	o 52320013
1354.72/1336.17	objective:52320013
1354.72/1336.17	o 52320010
1354.72/1336.17	objective:52320010
1354.72/1336.17	o 52320008
1354.72/1336.17	objective:52320008
1354.72/1336.17	o 52320005
1354.72/1336.17	objective:52320005
1354.72/1336.17	o 52320003
1354.72/1336.17	objective:52320003
1356.11/1337.59	o 52319999
1356.11/1337.59	objective:52319999
1356.21/1337.60	o 52319996
1356.21/1337.60	objective:52319996
1356.21/1337.61	o 52319987
1356.21/1337.61	objective:52319987
1356.21/1337.62	o 52319985
1356.21/1337.62	objective:52319985
1356.21/1337.62	o 52319978
1356.21/1337.62	objective:52319978
1356.21/1337.62	o 52319977
1356.21/1337.62	objective:52319977
1356.21/1337.62	o 52319976
1356.21/1337.62	objective:52319976
1356.21/1337.62	o 52313247
1356.21/1337.62	objective:52313247
1356.21/1337.62	o 52313246
1356.21/1337.62	objective:52313246
1357.62/1339.05	o 52313242
1357.62/1339.05	objective:52313242
1357.62/1339.05	o 52313237
1357.62/1339.05	objective:52313237
1359.01/1340.46	o 52313236
1359.01/1340.46	objective:52313236
1359.01/1340.46	o 52313232
1359.01/1340.46	objective:52313232
1359.01/1340.46	o 52313229
1359.01/1340.46	objective:52313229
1359.01/1340.46	o 52313225
1359.01/1340.46	objective:52313225
1359.01/1340.47	o 52313224
1359.01/1340.47	objective:52313224
1359.01/1340.47	o 52313220
1359.01/1340.47	objective:52313220
1359.01/1340.47	o 52313219
1359.01/1340.47	objective:52313219
1359.01/1340.47	o 52313215
1359.01/1340.47	objective:52313215
1359.01/1340.47	o 52313214
1359.01/1340.47	objective:52313214
1359.01/1340.47	o 52313213
1359.01/1340.47	objective:52313213
1363.31/1344.72	o 52313212
1363.31/1344.72	objective:52313212
1363.31/1344.72	o 52313211
1363.31/1344.72	objective:52313211
1364.72/1346.15	o 52306453
1364.72/1346.15	objective:52306453
1364.72/1346.15	o 52306445
1364.72/1346.15	objective:52306445
1364.72/1346.15	o 52306440
1364.72/1346.15	objective:52306440
1366.11/1347.54	o 52306439
1366.11/1347.54	objective:52306439
1367.51/1349.00	o 52306438
1367.51/1349.00	objective:52306438
1367.51/1349.00	o 52306437
1367.51/1349.00	objective:52306437
1378.80/1360.15	o 52306436
1378.80/1360.15	objective:52306436
1378.80/1360.15	o 52306435
1378.80/1360.15	objective:52306435
1378.80/1360.15	o 52306434
1378.80/1360.15	objective:52306434
1378.80/1360.16	o 52306433
1378.80/1360.16	objective:52306433
1378.80/1360.16	o 52306432
1378.80/1360.16	objective:52306432
1378.80/1360.16	o 52306431
1378.80/1360.16	objective:52306431
1378.80/1360.16	o 52306430
1378.80/1360.16	objective:52306430
1378.80/1360.16	o 52306429
1378.80/1360.16	objective:52306429
1385.81/1367.18	o 52306414
1385.81/1367.18	objective:52306414
1385.81/1367.18	o 52306413
1385.81/1367.18	objective:52306413
1385.81/1367.19	o 52306409
1385.81/1367.19	objective:52306409
1385.81/1367.19	o 52306408
1385.81/1367.19	objective:52306408
1385.81/1367.20	o 52299648
1385.81/1367.20	objective:52299648
1385.90/1367.20	o 52299647
1385.90/1367.20	objective:52299647
1392.90/1374.26	o 52299646
1392.90/1374.26	objective:52299646
1402.82/1384.12	o 52299645
1402.82/1384.12	objective:52299645
1402.82/1384.12	o 52299644
1402.82/1384.12	objective:52299644
1402.82/1384.14	o 52292883
1402.82/1384.14	objective:52292883
1402.82/1384.14	o 52292882
1402.82/1384.14	objective:52292882
1405.61/1386.94	o 52292881
1405.61/1386.94	objective:52292881
1408.41/1389.76	o 52292880
1408.41/1389.76	objective:52292880
1409.82/1391.18	o 52292879
1409.82/1391.18	objective:52292879
1435.13/1416.44	o 52292878
1435.13/1416.44	objective:52292878
1435.13/1416.44	o 52292877
1435.13/1416.44	objective:52292877
1437.93/1419.23	o 52286156
1437.93/1419.23	objective:52286156
1437.93/1419.23	o 52286145
1437.93/1419.23	objective:52286145
1437.93/1419.23	o 52286138
1437.93/1419.23	objective:52286138
1437.93/1419.23	o 52286127
1437.93/1419.23	objective:52286127
1437.93/1419.23	o 52286126
1437.93/1419.23	objective:52286126
1437.93/1419.23	o 52286125
1437.93/1419.23	objective:52286125
1437.93/1419.23	o 52286124
1437.93/1419.23	objective:52286124
1437.93/1419.23	o 52286123
1437.93/1419.23	objective:52286123
1437.93/1419.24	o 52279398
1437.93/1419.24	objective:52279398
1437.93/1419.24	o 52279380
1437.93/1419.24	objective:52279380
1437.93/1419.24	o 52279379
1437.93/1419.24	objective:52279379
1439.33/1420.66	o 52279378
1439.33/1420.66	objective:52279378
1439.33/1420.66	o 52279371
1439.33/1420.66	objective:52279371
1439.33/1420.67	o 52279370
1439.33/1420.67	objective:52279370
1439.33/1420.67	o 52279369
1439.33/1420.67	objective:52279369
1440.84/1422.12	o 52279363
1440.84/1422.12	objective:52279363
1440.84/1422.12	o 52279361
1440.84/1422.12	objective:52279361
1440.84/1422.13	o 52279358
1440.84/1422.13	objective:52279358
1440.84/1422.13	o 52279355
1440.84/1422.13	objective:52279355
1442.23/1423.52	o 52279354
1442.23/1423.52	objective:52279354
1442.23/1423.52	o 52279353
1442.23/1423.52	objective:52279353
1442.23/1423.52	o 52279352
1442.23/1423.52	objective:52279352
1445.04/1426.31	o 52279350
1445.04/1426.31	objective:52279350
1445.04/1426.31	o 52279349
1445.04/1426.31	objective:52279349
1447.90/1429.15	o 52279348
1447.90/1429.15	objective:52279348
1455.00/1436.22	o 52272615
1455.00/1436.22	objective:52272615
1455.00/1436.22	o 52272604
1455.00/1436.22	objective:52272604
1455.00/1436.22	o 52272600
1455.00/1436.22	objective:52272600
1455.00/1436.22	o 52272599
1455.00/1436.22	objective:52272599
1456.41/1437.67	o 52272597
1456.41/1437.67	objective:52272597
1466.21/1447.41	o 52265887
1466.21/1447.41	objective:52265887
1466.21/1447.41	o 52265873
1466.21/1447.41	objective:52265873
1466.21/1447.41	o 52265866
1466.21/1447.41	objective:52265866
1466.21/1447.41	o 52265852
1466.21/1447.41	objective:52265852
1466.21/1447.41	o 52265843
1466.21/1447.41	objective:52265843
1467.61/1448.81	o 52265842
1467.61/1448.81	objective:52265842
1467.61/1448.81	o 52265841
1467.61/1448.81	objective:52265841
1467.61/1448.81	o 52265840
1467.61/1448.81	objective:52265840
1489.94/1471.13	o 52265839
1489.94/1471.13	objective:52265839
1489.94/1471.14	o 52265838
1489.94/1471.14	objective:52265838
1489.94/1471.14	o 52265837
1489.94/1471.14	objective:52265837
1492.73/1473.94	o 52265834
1492.73/1473.94	objective:52265834
1492.73/1473.94	o 52265833
1492.73/1473.94	objective:52265833
1492.73/1473.94	o 52265832
1492.73/1473.94	objective:52265832
1495.53/1476.73	o 52265831
1495.53/1476.73	objective:52265831
1495.53/1476.73	o 52265828
1495.53/1476.73	objective:52265828
1495.53/1476.73	o 52265827
1495.53/1476.73	objective:52265827
1499.73/1481.00	o 52265822
1499.73/1481.00	objective:52265822
1499.73/1481.00	o 52265817
1499.73/1481.00	objective:52265817
1499.73/1481.00	o 52265816
1499.73/1481.00	objective:52265816
1499.73/1481.00	o 52259091
1499.73/1481.00	objective:52259091
1499.73/1481.00	o 52259084
1499.73/1481.00	objective:52259084
1499.73/1481.00	o 52259077
1499.73/1481.00	objective:52259077
1499.73/1481.00	o 52259072
1499.73/1481.00	objective:52259072
1499.73/1481.01	o 52259071
1499.73/1481.01	objective:52259071
1499.84/1481.01	o 52259070
1499.84/1481.01	objective:52259070
1499.84/1481.01	o 52259063
1499.84/1481.01	objective:52259063
1499.84/1481.01	o 52259058
1499.84/1481.01	objective:52259058
1499.84/1481.01	o 52259057
1499.84/1481.01	objective:52259057
1501.24/1482.41	o 52252324
1501.24/1482.41	objective:52252324
1501.24/1482.41	o 52252320
1501.24/1482.41	objective:52252320
1501.24/1482.41	o 52252313
1501.24/1482.41	objective:52252313
1501.24/1482.41	o 52252309
1501.24/1482.41	objective:52252309
1501.24/1482.41	o 52252306
1501.24/1482.41	objective:52252306
1501.24/1482.41	o 52252302
1501.24/1482.41	objective:52252302
1501.24/1482.41	o 52252301
1501.24/1482.41	objective:52252301
1501.24/1482.41	o 52252300
1501.24/1482.41	objective:52252300
1501.24/1482.42	o 52245556
1501.24/1482.42	objective:52245556
1501.24/1482.42	o 52245545
1501.24/1482.42	objective:52245545
1501.24/1482.42	o 52245538
1501.24/1482.42	objective:52245538
1501.24/1482.42	o 52245537
1501.24/1482.42	objective:52245537
1501.24/1482.42	o 52245534
1501.24/1482.42	objective:52245534
1501.24/1482.42	o 52245533
1501.24/1482.42	objective:52245533
1501.24/1482.42	o 52245532
1501.24/1482.42	objective:52245532
1502.64/1483.83	o 52245531
1502.64/1483.83	objective:52245531
1502.64/1483.83	o 52245530
1502.64/1483.83	objective:52245530
1502.64/1483.83	o 52245529
1502.64/1483.83	objective:52245529
1502.64/1483.83	o 52245528
1502.64/1483.83	objective:52245528
1502.64/1483.83	o 52238816
1502.64/1483.83	objective:52238816
1502.64/1483.84	o 52238809
1502.64/1483.84	objective:52238809
1502.64/1483.84	o 52238808
1502.64/1483.84	objective:52238808
1502.64/1483.84	o 52238791
1502.64/1483.84	objective:52238791
1502.64/1483.84	o 52238784
1502.64/1483.84	objective:52238784
1502.64/1483.84	o 52238783
1502.64/1483.84	objective:52238783
1502.64/1483.84	o 52238782
1502.64/1483.84	objective:52238782
1502.64/1483.84	o 52238778
1502.64/1483.84	objective:52238778
1502.64/1483.84	o 52238777
1502.64/1483.84	objective:52238777
1502.64/1483.84	o 52238776
1502.64/1483.84	objective:52238776
1502.64/1483.84	o 52238771
1502.64/1483.84	objective:52238771
1502.64/1483.84	o 52238770
1502.64/1483.84	objective:52238770
1502.64/1483.84	o 52238769
1502.64/1483.84	objective:52238769
1502.64/1483.84	o 52238768
1502.64/1483.84	objective:52238768
1502.64/1483.84	o 52238764
1502.64/1483.84	objective:52238764
1502.64/1483.84	o 52238763
1502.64/1483.84	objective:52238763
1502.64/1483.84	o 52238757
1502.64/1483.84	objective:52238757
1502.64/1483.84	o 52238756
1502.64/1483.84	objective:52238756
1502.64/1483.85	o 52238755
1502.64/1483.85	objective:52238755
1502.64/1483.85	o 52238754
1502.64/1483.85	objective:52238754
1506.95/1488.11	o 52232009
1506.95/1488.11	objective:52232009
1506.95/1488.11	o 52232008
1506.95/1488.11	objective:52232008
1506.95/1488.11	o 52232004
1506.95/1488.11	objective:52232004
1506.95/1488.11	o 52232003
1506.95/1488.11	objective:52232003
1506.95/1488.11	o 52231998
1506.95/1488.11	objective:52231998
1506.95/1488.11	o 52231993
1506.95/1488.11	objective:52231993
1506.95/1488.11	o 52231992
1506.95/1488.11	objective:52231992
1506.95/1488.11	o 52231991
1506.95/1488.11	objective:52231991
1508.34/1489.53	o 52231990
1508.34/1489.53	objective:52231990
1508.34/1489.53	o 52231989
1508.34/1489.53	objective:52231989
1508.34/1489.53	o 52231988
1508.34/1489.53	objective:52231988
1508.34/1489.53	o 52231987
1508.34/1489.53	objective:52231987
1508.34/1489.53	o 52231986
1508.34/1489.53	objective:52231986
1508.34/1489.54	o 52231985
1508.34/1489.54	objective:52231985
1519.66/1500.83	o 52231984
1519.66/1500.83	objective:52231984
1519.66/1500.83	o 52231983
1519.66/1500.83	objective:52231983
1519.66/1500.83	o 52231982
1519.66/1500.83	objective:52231982
1519.66/1500.84	o 52231981
1519.66/1500.84	objective:52231981
1519.66/1500.84	o 52231980
1519.66/1500.84	objective:52231980
1519.66/1500.84	o 52231979
1519.66/1500.84	objective:52231979
1519.66/1500.84	o 52231978
1519.66/1500.84	objective:52231978
1519.66/1500.84	o 52231977
1519.66/1500.84	objective:52231977
1522.46/1503.68	o 52231976
1522.46/1503.68	objective:52231976
1526.80/1507.94	o 52231970
1526.80/1507.94	objective:52231970
1526.80/1507.94	o 52231969
1526.80/1507.94	objective:52231969
1526.80/1507.94	o 52225233
1526.80/1507.94	objective:52225233
1526.80/1507.94	o 52225232
1526.80/1507.94	objective:52225232
1526.80/1507.94	o 52225226
1526.80/1507.94	objective:52225226
1526.80/1507.94	o 52225225
1526.80/1507.94	objective:52225225
1526.80/1507.94	o 52225217
1526.80/1507.94	objective:52225217
1526.80/1507.94	o 52225210
1526.80/1507.94	objective:52225210
1526.80/1507.94	o 52225209
1526.80/1507.94	objective:52225209
1526.80/1507.95	o 52225208
1526.80/1507.95	objective:52225208
1528.20/1509.38	o 52218464
1528.20/1509.38	objective:52218464
1528.20/1509.39	o 52218451
1528.20/1509.39	objective:52218451
1528.20/1509.39	o 52218450
1528.20/1509.39	objective:52218450
1528.20/1509.39	o 52218449
1528.20/1509.39	objective:52218449
1528.20/1509.39	o 52218448
1528.20/1509.39	objective:52218448
1532.40/1513.58	o 52211699
1532.40/1513.58	objective:52211699
1532.40/1513.58	o 52211688
1532.40/1513.58	objective:52211688
1532.50/1513.61	o 52211684
1532.50/1513.61	objective:52211684
1532.50/1513.61	o 52211680
1532.50/1513.61	objective:52211680
1532.50/1513.62	o 52204922
1532.50/1513.62	objective:52204922
1532.50/1513.63	o 52204921
1532.50/1513.63	objective:52204921
1535.38/1516.43	o 52204919
1535.38/1516.43	objective:52204919
1535.38/1516.43	o 52204918
1535.38/1516.43	objective:52204918
1535.38/1516.43	o 52204916
1535.38/1516.43	objective:52204916
1535.38/1516.43	o 52198167
1535.38/1516.43	objective:52198167
1535.38/1516.43	o 52198159
1535.38/1516.43	objective:52198159
1535.38/1516.44	o 52198158
1535.38/1516.44	objective:52198158
1536.78/1517.82	o 52191418
1536.78/1517.82	objective:52191418
1536.78/1517.82	o 52191417
1536.78/1517.82	objective:52191417
1536.78/1517.83	o 52191416
1536.78/1517.83	objective:52191416
1536.78/1517.83	o 52191415
1536.78/1517.83	objective:52191415
1553.59/1534.61	o 52191414
1553.59/1534.61	objective:52191414
1555.00/1536.04	o 52191399
1555.00/1536.04	objective:52191399
1555.00/1536.04	o 52191385
1555.00/1536.04	objective:52191385
1555.00/1536.04	o 52191383
1555.00/1536.04	objective:52191383
1555.00/1536.04	o 52191382
1555.00/1536.04	objective:52191382
1555.00/1536.05	o 52191379
1555.00/1536.05	objective:52191379
1555.00/1536.05	o 52191377
1555.00/1536.05	objective:52191377
1555.00/1536.05	o 52191376
1555.00/1536.05	objective:52191376
1555.00/1536.05	o 52184633
1555.00/1536.05	objective:52184633
1555.00/1536.05	o 52184619
1555.00/1536.05	objective:52184619
1555.00/1536.05	o 52184617
1555.00/1536.05	objective:52184617
1555.00/1536.05	o 52184616
1555.00/1536.05	objective:52184616
1555.00/1536.05	o 52177873
1555.00/1536.05	objective:52177873
1555.00/1536.05	o 52177871
1555.00/1536.05	objective:52177871
1555.00/1536.05	o 52177870
1555.00/1536.05	objective:52177870
1555.00/1536.06	o 52177859
1555.00/1536.06	objective:52177859
1555.00/1536.06	o 52177858
1555.00/1536.06	objective:52177858
1555.00/1536.06	o 52177857
1555.00/1536.06	objective:52177857
1555.00/1536.06	o 52177856
1555.00/1536.06	objective:52177856
1557.89/1538.92	o 52177846
1557.89/1538.92	objective:52177846
1577.40/1558.40	o 52177845
1577.40/1558.40	objective:52177845
1577.40/1558.40	o 52177844
1577.40/1558.40	objective:52177844
1581.50/1562.58	o 52177843
1581.50/1562.58	objective:52177843
1581.50/1562.58	o 52177840
1581.50/1562.58	objective:52177840
1581.50/1562.59	o 52177839
1581.50/1562.59	objective:52177839
1581.50/1562.59	o 52177838
1581.50/1562.59	objective:52177838
1598.27/1579.24	o 52177829
1598.27/1579.24	objective:52177829
1598.27/1579.24	o 52177828
1598.27/1579.24	objective:52177828
1598.27/1579.24	o 52177827
1598.27/1579.24	objective:52177827
1598.27/1579.24	o 52177826
1598.27/1579.24	objective:52177826
1599.67/1580.66	o 52171102
1599.67/1580.66	objective:52171102
1599.67/1580.66	o 52171095
1599.67/1580.66	objective:52171095
1599.67/1580.66	o 52171090
1599.67/1580.66	objective:52171090
1599.67/1580.66	o 52171088
1599.67/1580.66	objective:52171088
1599.67/1580.66	o 52171081
1599.67/1580.66	objective:52171081
1599.67/1580.66	o 52171076
1599.67/1580.66	objective:52171076
1599.67/1580.66	o 52171074
1599.67/1580.66	objective:52171074
1599.67/1580.66	o 52171069
1599.67/1580.66	objective:52171069
1599.67/1580.67	o 52171068
1599.67/1580.67	objective:52171068
1601.08/1582.08	o 52171067
1601.08/1582.08	objective:52171067
1601.08/1582.08	o 52171066
1601.08/1582.08	objective:52171066
1601.08/1582.08	o 52171065
1601.08/1582.08	objective:52171065
1601.08/1582.08	o 52171064
1601.08/1582.08	objective:52171064
1601.08/1582.08	o 52171063
1601.08/1582.08	objective:52171063
1601.08/1582.08	o 52171062
1601.08/1582.08	objective:52171062
1601.08/1582.08	o 52171061
1601.08/1582.08	objective:52171061
1601.08/1582.09	o 52171060
1601.08/1582.09	objective:52171060
1601.08/1582.09	o 52171059
1601.08/1582.09	objective:52171059
1601.08/1582.09	o 52171058
1601.08/1582.09	objective:52171058
1601.08/1582.09	o 52171057
1601.08/1582.09	objective:52171057
1614.97/1595.93	o 52171056
1614.97/1595.93	objective:52171056
1635.78/1616.78	o 52164304
1635.78/1616.78	objective:52164304
1635.78/1616.78	o 52164299
1635.78/1616.78	objective:52164299
1635.88/1616.80	o 52157538
1635.88/1616.80	objective:52157538
1635.88/1616.80	o 52157537
1635.88/1616.80	objective:52157537
1635.88/1616.80	o 52157536
1635.88/1616.80	objective:52157536
1635.88/1616.80	o 52157531
1635.88/1616.80	objective:52157531
1635.88/1616.80	o 52157530
1635.88/1616.80	objective:52157530
1635.88/1616.81	o 52157526
1635.88/1616.81	objective:52157526
1635.88/1616.81	o 52157525
1635.88/1616.81	objective:52157525
1635.88/1616.81	o 52150783
1635.88/1616.81	objective:52150783
1635.88/1616.81	o 52150776
1635.88/1616.81	objective:52150776
1635.88/1616.81	o 52150771
1635.88/1616.81	objective:52150771
1635.88/1616.81	o 52150770
1635.88/1616.81	objective:52150770
1635.88/1616.81	o 52150765
1635.88/1616.81	objective:52150765
1635.88/1616.81	o 52150764
1635.88/1616.81	objective:52150764
1637.19/1618.18	o 52150762
1637.19/1618.18	objective:52150762
1637.19/1618.18	o 52150760
1637.19/1618.18	objective:52150760
1646.99/1628.00	o 52150758
1646.99/1628.00	objective:52150758
1646.99/1628.00	o 52150757
1646.99/1628.00	objective:52150757
1646.99/1628.00	o 52150756
1646.99/1628.00	objective:52150756
1646.99/1628.00	o 52150755
1646.99/1628.00	objective:52150755
1646.99/1628.00	o 52150754
1646.99/1628.00	objective:52150754
1648.49/1629.43	o 52144021
1648.49/1629.43	objective:52144021
1648.49/1629.43	o 52144014
1648.49/1629.43	objective:52144014
1648.49/1629.43	o 52144008
1648.49/1629.43	objective:52144008
1648.49/1629.43	o 52144001
1648.49/1629.43	objective:52144001
1649.89/1630.86	o 52144000
1649.89/1630.86	objective:52144000
1649.89/1630.86	o 52143998
1649.89/1630.86	objective:52143998
1649.89/1630.86	o 52143996
1649.89/1630.86	objective:52143996
1649.89/1630.86	o 52137240
1649.89/1630.86	objective:52137240
1649.89/1630.86	o 52137238
1649.89/1630.86	objective:52137238
1649.89/1630.86	o 52137236
1649.89/1630.86	objective:52137236
1652.69/1633.69	o 52137235
1652.69/1633.69	objective:52137235
1659.74/1640.62	o 52130493
1659.74/1640.62	objective:52130493
1659.74/1640.62	o 52130479
1659.74/1640.62	objective:52130479
1659.74/1640.62	o 52130477
1659.74/1640.62	objective:52130477
1659.74/1640.63	o 52130469
1659.74/1640.63	objective:52130469
1672.25/1653.16	o 52130468
1672.25/1653.16	objective:52130468
1702.77/1683.67	o 52130463
1702.77/1683.67	objective:52130463
1702.77/1683.68	o 52130462
1702.77/1683.68	objective:52130462
1708.28/1689.16	o 52130461
1708.28/1689.16	objective:52130461
1708.28/1689.17	o 52123713
1708.28/1689.17	objective:52123713
1708.28/1689.17	o 52123712
1708.28/1689.17	objective:52123712
1708.28/1689.17	o 52123711
1708.28/1689.17	objective:52123711
1708.28/1689.17	o 52123703
1708.28/1689.17	objective:52123703
1708.28/1689.17	o 52123701
1708.28/1689.17	objective:52123701
1720.78/1701.66	o 52116942
1720.78/1701.66	objective:52116942
1720.78/1701.66	o 52116941
1720.78/1701.66	objective:52116941
1740.25/1721.06	o 52116936
1740.25/1721.06	objective:52116936
1740.25/1721.06	o 52116933
1740.25/1721.06	objective:52116933
1740.25/1721.06	o 52116932
1740.25/1721.06	objective:52116932
1740.25/1721.06	o 52116931
1740.25/1721.06	objective:52116931
1836.45/1817.08	o 52116930
1836.45/1817.08	objective:52116930
1837.94/1818.51	o 52110187
1837.94/1818.51	objective:52110187
1837.94/1818.51	o 52110177
1837.94/1818.51	objective:52110177
1837.94/1818.51	o 52110176
1837.94/1818.51	objective:52110176
1847.74/1828.30	o 52110171
1847.74/1828.30	objective:52110171
1847.74/1828.30	o 52110170
1847.74/1828.30	objective:52110170
1849.14/1829.71	o 52103435
1849.14/1829.71	objective:52103435
1849.14/1829.71	o 52103426
1849.14/1829.71	objective:52103426
1849.14/1829.71	o 52103424
1849.14/1829.71	objective:52103424
1849.14/1829.71	o 52096673
1849.14/1829.71	objective:52096673
1849.14/1829.71	o 52096664
1849.14/1829.71	objective:52096664
1849.14/1829.71	o 52096662
1849.14/1829.71	objective:52096662
1849.14/1829.72	o 52096661
1849.14/1829.72	objective:52096661
1849.14/1829.72	o 52096652
1849.14/1829.72	objective:52096652
1849.14/1829.72	o 52096651
1849.14/1829.72	objective:52096651
1849.14/1829.72	o 52096648
1849.14/1829.72	objective:52096648
1849.14/1829.72	o 52096638
1849.14/1829.72	objective:52096638
1849.14/1829.72	o 52096637
1849.14/1829.72	objective:52096637
1849.14/1829.72	o 52089912
1849.14/1829.72	objective:52089912
1849.14/1829.72	o 52089902
1849.14/1829.72	objective:52089902
1849.14/1829.72	o 52089898
1849.14/1829.72	objective:52089898
1849.14/1829.72	o 52089888
1849.14/1829.72	objective:52089888
1849.14/1829.72	o 52089879
1849.14/1829.72	objective:52089879
1849.14/1829.72	o 52089878
1849.14/1829.72	objective:52089878
1849.14/1829.73	o 52089877
1849.14/1829.73	objective:52089877
1849.14/1829.73	o 52089876
1849.14/1829.73	objective:52089876
1853.41/1833.94	o 52083154
1853.41/1833.94	objective:52083154
1853.41/1833.94	o 52083150
1853.41/1833.94	objective:52083150
1853.41/1833.94	o 52083147
1853.41/1833.94	objective:52083147
1853.41/1833.94	o 52083143
1853.41/1833.94	objective:52083143
1853.41/1833.95	o 52083142
1853.41/1833.95	objective:52083142
1853.41/1833.95	o 52076382
1853.41/1833.95	objective:52076382
1853.41/1833.95	o 52076378
1853.41/1833.95	objective:52076378
1853.41/1833.95	o 52076375
1853.41/1833.95	objective:52076375
1853.41/1833.95	o 52076371
1853.41/1833.95	objective:52076371
1853.41/1833.96	o 52076364
1853.41/1833.96	objective:52076364
1853.41/1833.96	o 52076360
1853.41/1833.96	objective:52076360
1853.41/1833.96	o 52076359
1853.41/1833.96	objective:52076359
1853.41/1833.96	o 52076355
1853.41/1833.96	objective:52076355
1856.21/1836.78	o 52069603
1856.21/1836.78	objective:52069603
1856.21/1836.78	o 52069602
1856.21/1836.78	objective:52069602
1856.21/1836.78	o 52069596
1856.21/1836.78	objective:52069596
1856.21/1836.78	o 52069595
1856.21/1836.78	objective:52069595
1856.21/1836.78	o 52069593
1856.21/1836.78	objective:52069593
1856.21/1836.78	o 52069592
1856.21/1836.78	objective:52069592
1856.21/1836.79	o 52069586
1856.21/1836.79	objective:52069586
1856.21/1836.79	o 52069585
1856.21/1836.79	objective:52069585
1856.21/1836.79	o 52062842
1856.21/1836.79	objective:52062842
1856.21/1836.79	o 52062835
1856.21/1836.79	objective:52062835
1856.21/1836.79	o 52062832
1856.21/1836.79	objective:52062832
1856.21/1836.79	o 52062825
1856.21/1836.79	objective:52062825
1856.21/1836.79	o 52062824
1856.21/1836.79	objective:52062824
1881.22/1861.76	o 52062812
1881.22/1861.76	objective:52062812
1881.22/1861.76	o 52056057
1881.22/1861.76	objective:52056057
1881.22/1861.76	o 52056056
1881.22/1861.76	objective:52056056
1881.22/1861.76	o 52056054
1881.22/1861.76	objective:52056054
1881.22/1861.76	o 52056053
1881.22/1861.76	objective:52056053
1881.22/1861.76	o 52056052
1881.22/1861.76	objective:52056052
1881.22/1861.76	o 52056051
1881.22/1861.76	objective:52056051
1885.53/1866.01	o 52056050
1885.53/1866.01	objective:52056050
1885.53/1866.01	o 52056049
1885.53/1866.01	objective:52056049
1885.53/1866.01	o 52056047
1885.53/1866.01	objective:52056047
1885.53/1866.01	o 52056046
1885.53/1866.01	objective:52056046
1886.92/1867.43	o 52056045
1886.92/1867.43	objective:52056045
1888.32/1868.84	o 52056042
1888.32/1868.84	objective:52056042
1888.32/1868.84	o 52056041
1888.32/1868.84	objective:52056041
1919.29/1899.73	o 52056040
1919.29/1899.73	objective:52056040
1919.29/1899.74	o 52049294
1919.29/1899.74	objective:52049294
1919.29/1899.74	o 52049280
1919.29/1899.74	objective:52049280
1919.29/1899.75	o 52049269
1919.29/1899.75	objective:52049269
1922.09/1902.56	o 52042537
1922.09/1902.56	objective:52042537
1922.09/1902.56	o 52042526
1922.09/1902.56	objective:52042526
1922.09/1902.56	o 52042525
1922.09/1902.56	objective:52042525
1922.09/1902.56	o 52042524
1922.09/1902.56	objective:52042524
1922.09/1902.57	o 52042523
1922.09/1902.57	objective:52042523
1922.09/1902.57	o 52042522
1922.09/1902.57	objective:52042522
1922.09/1902.57	o 52042517
1922.09/1902.57	objective:52042517
1922.09/1902.57	o 52042516
1922.09/1902.57	objective:52042516
1922.09/1902.57	o 52042515
1922.09/1902.57	objective:52042515
1922.09/1902.57	o 52042514
1922.09/1902.57	objective:52042514
1922.09/1902.57	o 52042513
1922.09/1902.57	objective:52042513
1922.09/1902.57	o 52042512
1922.09/1902.57	objective:52042512
1923.49/1903.95	o 52042511
1923.49/1903.95	objective:52042511
1929.00/1909.45	o 52042506
1929.00/1909.45	objective:52042506
1929.00/1909.45	o 52042505
1929.00/1909.45	objective:52042505
1929.00/1909.45	o 52042504
1929.00/1909.45	objective:52042504
1975.06/1955.49	o 52042474
1975.06/1955.49	objective:52042474
1975.16/1955.50	o 52042471
1975.16/1955.50	objective:52042471
1975.16/1955.50	o 52035708
1975.16/1955.50	objective:52035708
1975.16/1955.51	o 52028961
1975.16/1955.51	objective:52028961
1982.06/1962.45	o 52022213
1982.06/1962.45	objective:52022213
1982.06/1962.45	o 52022206
1982.06/1962.45	objective:52022206
1982.06/1962.46	o 52022203
1982.06/1962.46	objective:52022203
1982.06/1962.46	o 52022196
1982.06/1962.46	objective:52022196
1987.78/1968.15	o 52022192
1987.78/1968.15	objective:52022192
1987.78/1968.16	o 52022191
1987.78/1968.16	objective:52022191
1987.78/1968.16	o 52022190
1987.78/1968.16	objective:52022190
1987.78/1968.16	o 52022189
1987.78/1968.16	objective:52022189
1987.78/1968.16	o 52022188
1987.78/1968.16	objective:52022188
1987.78/1968.16	o 52022187
1987.78/1968.16	objective:52022187
1987.78/1968.16	o 52015442
1987.78/1968.16	objective:52015442
1987.78/1968.16	o 52015439
1987.78/1968.16	objective:52015439
1987.78/1968.17	o 52015438
1987.78/1968.17	objective:52015438
1987.78/1968.17	o 52015437
1987.78/1968.17	objective:52015437
1987.78/1968.17	o 52015431
1987.78/1968.17	objective:52015431
1987.78/1968.17	o 52015430
1987.78/1968.17	objective:52015430
1987.78/1968.17	o 52015429
1987.78/1968.17	objective:52015429
1987.78/1968.17	o 52015428
1987.78/1968.17	objective:52015428
1987.78/1968.17	o 52015427
1987.78/1968.17	objective:52015427
1987.78/1968.17	o 52015426
1987.78/1968.17	objective:52015426
1993.37/1973.73	o 52015423
1993.37/1973.73	objective:52015423
1993.37/1973.73	o 52015422
1993.37/1973.73	objective:52015422
1993.37/1973.73	o 52015421
1993.37/1973.73	objective:52015421
1994.78/1975.16	o 52015416
1994.78/1975.16	objective:52015416
1994.78/1975.16	o 52015414
1994.78/1975.16	objective:52015414
1994.78/1975.16	o 52015406
1994.78/1975.16	objective:52015406
1994.78/1975.16	o 52015405
1994.78/1975.16	objective:52015405
1994.78/1975.16	o 52015404
1994.78/1975.16	objective:52015404
1994.78/1975.16	o 52015403
1994.78/1975.16	objective:52015403
1994.78/1975.16	o 52015402
1994.78/1975.16	objective:52015402
1994.78/1975.16	o 52015401
1994.78/1975.16	objective:52015401
1994.78/1975.16	o 52015400
1994.78/1975.16	objective:52015400
1994.78/1975.16	o 52015399
1994.78/1975.16	objective:52015399
1994.78/1975.16	o 52015398
1994.78/1975.16	objective:52015398
1994.78/1975.16	o 52015397
1994.78/1975.16	objective:52015397
1994.78/1975.16	o 52015396
1994.78/1975.16	objective:52015396
1994.78/1975.17	o 52015394
1994.78/1975.17	objective:52015394
1994.78/1975.17	o 52015391
1994.78/1975.17	objective:52015391
1994.78/1975.17	o 52015389
1994.78/1975.17	objective:52015389
1994.78/1975.17	o 52015387
1994.78/1975.17	objective:52015387
1994.78/1975.17	o 52015386
1994.78/1975.17	objective:52015386
1994.78/1975.17	o 52015385
1994.78/1975.17	objective:52015385
1994.78/1975.17	o 52015383
1994.78/1975.17	objective:52015383
1994.78/1975.17	o 52015380
1994.78/1975.17	objective:52015380
1994.78/1975.17	o 52015378
1994.78/1975.17	objective:52015378
1994.78/1975.17	o 52015376
1994.78/1975.17	objective:52015376
1994.78/1975.17	o 52015375
1994.78/1975.17	objective:52015375
1994.78/1975.19	o 52008680
1994.78/1975.19	objective:52008680
1994.78/1975.19	o 52008672
1994.78/1975.19	objective:52008672
1994.78/1975.19	o 52008670
1994.78/1975.19	objective:52008670
1994.78/1975.19	o 52008662
1994.78/1975.19	objective:52008662
1994.78/1975.19	o 52008657
1994.78/1975.19	objective:52008657
1994.78/1975.19	o 52008655
1994.78/1975.19	objective:52008655
1994.78/1975.19	o 52008652
1994.78/1975.19	objective:52008652
1994.78/1975.19	o 52008647
1994.78/1975.19	objective:52008647
1994.78/1975.19	o 52008641
1994.78/1975.19	objective:52008641
1996.27/1976.60	o 52008640
1996.27/1976.60	objective:52008640
1996.27/1976.60	o 52008639
1996.27/1976.60	objective:52008639
1996.27/1976.60	o 52008638
1996.27/1976.60	objective:52008638
1996.27/1976.60	o 52008637
1996.27/1976.60	objective:52008637
1996.27/1976.60	o 52008636
1996.27/1976.60	objective:52008636
1996.27/1976.60	o 52008635
1996.27/1976.60	objective:52008635
1996.27/1976.60	o 52008634
1996.27/1976.60	objective:52008634
1996.27/1976.60	o 52008633
1996.27/1976.60	objective:52008633
1996.27/1976.60	o 52008632
1996.27/1976.60	objective:52008632
1996.27/1976.60	o 52008631
1996.27/1976.60	objective:52008631
2001.87/1982.23	o 52001932
2001.87/1982.23	objective:52001932
2001.87/1982.23	o 52001931
2001.87/1982.23	objective:52001931
2001.87/1982.23	o 52001930
2001.87/1982.23	objective:52001930
2001.87/1982.23	o 52001929
2001.87/1982.23	objective:52001929
2001.87/1982.23	o 52001928
2001.87/1982.23	objective:52001928
2001.87/1982.23	o 52001927
2001.87/1982.23	objective:52001927
2001.87/1982.23	o 52001926
2001.87/1982.23	objective:52001926
2001.87/1982.23	o 52001911
2001.87/1982.23	objective:52001911
2001.87/1982.23	o 52001910
2001.87/1982.23	objective:52001910
2001.87/1982.23	o 52001909
2001.87/1982.23	objective:52001909
2001.87/1982.24	o 52001908
2001.87/1982.24	objective:52001908
2001.87/1982.24	o 52001907
2001.87/1982.24	objective:52001907
2001.87/1982.24	o 52001901
2001.87/1982.24	objective:52001901
2001.87/1982.24	o 52001899
2001.87/1982.24	objective:52001899
2001.87/1982.24	o 52001898
2001.87/1982.24	objective:52001898
2001.87/1982.24	o 52001897
2001.87/1982.24	objective:52001897
2001.87/1982.24	o 52001889
2001.87/1982.24	objective:52001889
2001.87/1982.24	o 52001888
2001.87/1982.24	objective:52001888
2001.87/1982.24	o 52001887
2001.87/1982.24	objective:52001887
2001.87/1982.24	o 52001886
2001.87/1982.24	objective:52001886
2001.87/1982.24	o 52001885
2001.87/1982.24	objective:52001885
2001.87/1982.25	o 52001884
2001.87/1982.25	objective:52001884
2001.87/1982.25	o 52001883
2001.87/1982.25	objective:52001883
2001.87/1982.25	o 52001875
2001.87/1982.25	objective:52001875
2001.87/1982.25	o 52001874
2001.87/1982.25	objective:52001874
2001.87/1982.25	o 52001873
2001.87/1982.25	objective:52001873
2001.87/1982.25	o 52001872
2001.87/1982.25	objective:52001872
2001.87/1982.25	o 52001871
2001.87/1982.25	objective:52001871
2007.68/1988.04	o 51995118
2007.68/1988.04	objective:51995118
2007.68/1988.05	o 51988356
2007.68/1988.05	objective:51988356
2007.68/1988.05	o 51988349
2007.68/1988.05	objective:51988349
2007.68/1988.05	o 51988347
2007.68/1988.05	objective:51988347
2007.68/1988.06	o 51988346
2007.68/1988.06	objective:51988346
2007.68/1988.07	o 51981593
2007.68/1988.07	objective:51981593
2007.68/1988.07	o 51981586
2007.68/1988.07	objective:51981586
2007.68/1988.07	o 51981584
2007.68/1988.07	objective:51981584
2007.68/1988.07	o 51981583
2007.68/1988.07	objective:51981583
2011.91/1992.27	o 51974868
2011.91/1992.27	objective:51974868
2011.91/1992.27	o 51974863
2011.91/1992.27	objective:51974863
2011.91/1992.27	o 51974854
2011.91/1992.27	objective:51974854
2011.91/1992.27	o 51974849
2011.91/1992.27	objective:51974849
2011.91/1992.27	o 51974848
2011.91/1992.27	objective:51974848
2011.91/1992.27	o 51974842
2011.91/1992.27	objective:51974842
2011.91/1992.27	o 51974841
2011.91/1992.27	objective:51974841
2011.91/1992.27	o 51974837
2011.91/1992.27	objective:51974837
2011.91/1992.27	o 51974836
2011.91/1992.27	objective:51974836
2011.91/1992.28	o 51974831
2011.91/1992.28	objective:51974831
2011.91/1992.28	o 51974826
2011.91/1992.28	objective:51974826
2011.91/1992.28	o 51974825
2011.91/1992.28	objective:51974825
2017.62/1997.94	o 51968105
2017.62/1997.94	objective:51968105
2017.62/1997.94	o 51968104
2017.62/1997.94	objective:51968104
2017.62/1997.94	o 51968091
2017.62/1997.94	objective:51968091
2017.62/1997.94	o 51968090
2017.62/1997.94	objective:51968090
2017.62/1997.94	o 51968080
2017.62/1997.94	objective:51968080
2017.62/1997.94	o 51968078
2017.62/1997.94	objective:51968078
2017.62/1997.94	o 51968077
2017.62/1997.94	objective:51968077
2030.24/2010.48	o 51968073
2030.24/2010.48	objective:51968073
2030.24/2010.48	o 51968072
2030.24/2010.48	objective:51968072
2030.24/2010.49	o 51968069
2030.24/2010.49	objective:51968069
2030.24/2010.49	o 51968068
2030.24/2010.49	objective:51968068
2030.24/2010.49	o 51968067
2030.24/2010.49	objective:51968067
2030.24/2010.49	o 51968064
2030.24/2010.49	objective:51968064
2030.24/2010.49	o 51968063
2030.24/2010.49	objective:51968063
2030.24/2010.49	o 51968062
2030.24/2010.49	objective:51968062
2042.95/2023.12	o 51961324
2042.95/2023.12	objective:51961324
2042.95/2023.13	o 51961320
2042.95/2023.13	objective:51961320
2042.95/2023.16	o 51954558
2042.95/2023.16	objective:51954558
2044.34/2024.59	o 51954538
2044.34/2024.59	objective:51954538
2044.34/2024.59	o 51954528
2044.34/2024.59	objective:51954528
2044.34/2024.60	o 51954527
2044.34/2024.60	objective:51954527
2044.34/2024.60	o 51954523
2044.34/2024.60	objective:51954523
2044.44/2024.60	o 51954522
2044.44/2024.60	objective:51954522
2047.24/2027.48	o 51947785
2047.24/2027.48	objective:51947785
2047.24/2027.48	o 51947775
2047.24/2027.48	objective:51947775
2047.24/2027.48	o 51947773
2047.24/2027.48	objective:51947773
2047.24/2027.48	o 51947765
2047.24/2027.48	objective:51947765
2047.24/2027.48	o 51947763
2047.24/2027.48	objective:51947763
2047.24/2027.48	o 51947762
2047.24/2027.48	objective:51947762
2047.24/2027.48	o 51947760
2047.24/2027.48	objective:51947760
2047.24/2027.49	o 51947757
2047.24/2027.49	objective:51947757
2047.24/2027.49	o 51947755
2047.24/2027.49	objective:51947755
2048.74/2028.93	o 51947750
2048.74/2028.93	objective:51947750
2048.74/2028.93	o 51947748
2048.74/2028.93	objective:51947748
2048.74/2028.93	o 51947747
2048.74/2028.93	objective:51947747
2048.74/2028.93	o 51947745
2048.74/2028.93	objective:51947745
2048.74/2028.93	o 51947744
2048.74/2028.93	objective:51947744
2048.74/2028.93	o 51947743
2048.74/2028.93	objective:51947743
2048.74/2028.95	o 51941015
2048.74/2028.95	objective:51941015
2048.74/2028.95	o 51940994
2048.74/2028.95	objective:51940994
2048.74/2028.95	o 51940991
2048.74/2028.95	objective:51940991
2048.74/2028.95	o 51940990
2048.74/2028.95	objective:51940990
2048.74/2028.95	o 51940984
2048.74/2028.95	objective:51940984
2048.74/2028.95	o 51940981
2048.74/2028.95	objective:51940981
2048.74/2028.96	o 51940980
2048.74/2028.96	objective:51940980
2048.74/2028.96	o 51940979
2048.74/2028.96	objective:51940979
2048.74/2028.96	o 51940978
2048.74/2028.96	objective:51940978
2048.74/2028.96	o 51940977
2048.74/2028.96	objective:51940977
2050.14/2030.35	o 51940976
2050.14/2030.35	objective:51940976
2052.95/2033.19	o 51940974
2052.95/2033.19	objective:51940974
2052.95/2033.19	o 51940973
2052.95/2033.19	objective:51940973
2052.95/2033.19	o 51940972
2052.95/2033.19	objective:51940972
2052.95/2033.19	o 51940971
2052.95/2033.19	objective:51940971
2052.95/2033.19	o 51934238
2052.95/2033.19	objective:51934238
2052.95/2033.19	o 51934227
2052.95/2033.19	objective:51934227
2052.95/2033.19	o 51934220
2052.95/2033.19	objective:51934220
2052.95/2033.19	o 51934218
2052.95/2033.19	objective:51934218
2052.95/2033.19	o 51934217
2052.95/2033.19	objective:51934217
2052.95/2033.19	o 51934215
2052.95/2033.19	objective:51934215
2052.95/2033.19	o 51934214
2052.95/2033.19	objective:51934214
2053.04/2033.20	o 51934213
2053.04/2033.20	objective:51934213
2075.71/2055.82	o 51934210
2075.71/2055.82	objective:51934210
2075.71/2055.82	o 51934208
2075.71/2055.82	objective:51934208
2075.71/2055.83	o 51934207
2075.71/2055.83	objective:51934207
2075.71/2055.83	o 51934206
2075.71/2055.83	objective:51934206
2078.51/2058.62	o 51920700
2078.51/2058.62	objective:51920700
2078.51/2058.62	o 51920693
2078.51/2058.62	objective:51920693
2078.51/2058.62	o 51920679
2078.51/2058.62	objective:51920679
2078.51/2058.62	o 51920672
2078.51/2058.62	objective:51920672
2078.51/2058.63	o 51920669
2078.51/2058.63	objective:51920669
2078.51/2058.63	o 51920662
2078.51/2058.63	objective:51920662
2078.51/2058.63	o 51920661
2078.51/2058.63	objective:51920661
2078.51/2058.64	o 51920660
2078.51/2058.64	objective:51920660
2078.51/2058.64	o 51920659
2078.51/2058.64	objective:51920659
2079.92/2060.01	o 51920658
2079.92/2060.01	objective:51920658
2079.92/2060.01	o 51913902
2079.92/2060.01	objective:51913902
2079.92/2060.02	o 51913901
2079.92/2060.02	objective:51913901
2079.92/2060.02	o 51913900
2079.92/2060.02	objective:51913900
2079.92/2060.02	o 51913899
2079.92/2060.02	objective:51913899
2079.92/2060.02	o 51913898
2079.92/2060.02	objective:51913898
2079.92/2060.02	o 51913897
2079.92/2060.02	objective:51913897
2088.43/2068.51	o 51913888
2088.43/2068.51	objective:51913888
2088.43/2068.52	o 51913886
2088.43/2068.52	objective:51913886
2088.43/2068.52	o 51907126
2088.43/2068.52	objective:51907126
2088.43/2068.52	o 51907119
2088.43/2068.52	objective:51907119
2091.22/2071.35	o 51907118
2091.22/2071.35	objective:51907118
2106.73/2086.87	o 51900373
2106.73/2086.87	objective:51900373
2106.73/2086.87	o 51900371
2106.73/2086.87	objective:51900371
2106.73/2086.87	o 51900370
2106.73/2086.87	objective:51900370
2106.73/2086.87	o 51900369
2106.73/2086.87	objective:51900369
2108.20/2088.27	o 51900368
2108.20/2088.27	objective:51900368
2108.20/2088.27	o 51900367
2108.20/2088.27	objective:51900367
2108.20/2088.27	o 51900365
2108.20/2088.27	objective:51900365
2108.20/2088.27	o 51900363
2108.20/2088.27	objective:51900363
2108.20/2088.27	o 51900361
2108.20/2088.27	objective:51900361
2108.20/2088.27	o 51900360
2108.20/2088.27	objective:51900360
2108.20/2088.27	o 51900359
2108.20/2088.27	objective:51900359
2112.50/2092.53	o 51900358
2112.50/2092.53	objective:51900358
2122.40/2102.40	o 51900357
2122.40/2102.40	objective:51900357
2123.80/2103.81	o 51900356
2123.80/2103.81	objective:51900356
2123.80/2103.81	o 51900355
2123.80/2103.81	objective:51900355
2123.80/2103.81	o 51900354
2123.80/2103.81	objective:51900354
2123.80/2103.81	o 51900348
2123.80/2103.81	objective:51900348
2123.80/2103.81	o 51900347
2123.80/2103.81	objective:51900347
2123.80/2103.81	o 51900346
2123.80/2103.81	objective:51900346
2125.20/2105.21	o 51893605
2125.20/2105.21	objective:51893605
2125.20/2105.21	o 51893604
2125.20/2105.21	objective:51893604
2125.20/2105.21	o 51893598
2125.20/2105.21	objective:51893598
2125.20/2105.21	o 51893597
2125.20/2105.21	objective:51893597
2149.22/2129.22	o 51893596
2149.22/2129.22	objective:51893596
2184.50/2164.48	o 51893595
2184.50/2164.48	objective:51893595
2184.50/2164.48	o 51893594
2184.50/2164.48	objective:51893594
2184.60/2164.53	o 51886829
2184.60/2164.53	objective:51886829
2186.00/2165.94	o 51886828
2186.00/2165.94	objective:51886828
2186.00/2165.95	o 51880071
2186.00/2165.95	objective:51880071
2186.00/2165.95	o 51880069
2186.00/2165.95	objective:51880069
2186.00/2165.95	o 51880068
2186.00/2165.95	objective:51880068
2186.00/2165.95	o 51880066
2186.00/2165.95	objective:51880066
2186.00/2165.95	o 51880064
2186.00/2165.95	objective:51880064
2186.00/2165.95	o 51880063
2186.00/2165.95	objective:51880063
2186.00/2165.95	o 51873305
2186.00/2165.95	objective:51873305
2186.00/2165.95	o 51873304
2186.00/2165.95	objective:51873304
2186.00/2165.95	o 51873300
2186.00/2165.95	objective:51873300
2186.00/2165.95	o 51873299
2186.00/2165.95	objective:51873299
2187.40/2167.38	o 51873298
2187.40/2167.38	objective:51873298
2187.40/2167.39	o 51873297
2187.40/2167.39	objective:51873297
2187.40/2167.39	o 51873296
2187.40/2167.39	objective:51873296
2187.40/2167.39	o 51873295
2187.40/2167.39	objective:51873295
2187.40/2167.39	o 51873294
2187.40/2167.39	objective:51873294
2190.30/2170.20	o 51873292
2190.30/2170.20	objective:51873292
2190.30/2170.20	o 51873291
2190.30/2170.20	objective:51873291
2190.30/2170.20	o 51873290
2190.30/2170.20	objective:51873290
2190.30/2170.21	o 51873289
2190.30/2170.21	objective:51873289
2191.70/2171.65	o 51873288
2191.70/2171.65	objective:51873288
2235.59/2215.42	o 51873287
2235.59/2215.42	objective:51873287
2235.59/2215.43	o 51873286
2235.59/2215.43	objective:51873286
2235.59/2215.43	o 51873285
2235.59/2215.43	objective:51873285
2235.59/2215.43	o 51873284
2235.59/2215.43	objective:51873284
2235.59/2215.43	o 51873283
2235.59/2215.43	objective:51873283
2235.59/2215.43	o 51873282
2235.59/2215.43	objective:51873282
2238.39/2218.21	o 51873275
2238.39/2218.21	objective:51873275
2238.39/2218.22	o 51866524
2238.39/2218.22	objective:51866524
2238.39/2218.22	o 51866514
2238.39/2218.22	objective:51866514
2241.09/2221.01	o 51859778
2241.09/2221.01	objective:51859778
2241.20/2221.01	o 51859777
2241.20/2221.01	objective:51859777
2241.20/2221.01	o 51859768
2241.20/2221.01	objective:51859768
2241.20/2221.01	o 51859767
2241.20/2221.01	objective:51859767
2241.20/2221.01	o 51859763
2241.20/2221.01	objective:51859763
2241.20/2221.01	o 51859762
2241.20/2221.01	objective:51859762
2241.20/2221.01	o 51859761
2241.20/2221.01	objective:51859761
2241.20/2221.01	o 51859760
2241.20/2221.01	objective:51859760
2244.03/2223.88	o 51859759
2244.03/2223.88	objective:51859759
2248.34/2228.15	o 51859756
2248.34/2228.15	objective:51859756
2275.26/2255.10	o 51859754
2275.26/2255.10	objective:51859754
2275.36/2255.12	o 51853000
2275.36/2255.12	objective:51853000
2275.36/2255.12	o 51852990
2275.36/2255.12	objective:51852990
2276.75/2256.50	o 51852982
2276.75/2256.50	objective:51852982
2276.75/2256.50	o 51852981
2276.75/2256.50	objective:51852981
2276.75/2256.50	o 51852980
2276.75/2256.50	objective:51852980
2276.75/2256.50	o 51846232
2276.75/2256.50	objective:51846232
2276.75/2256.50	o 51846231
2276.75/2256.50	objective:51846231
2276.75/2256.50	o 51846222
2276.75/2256.50	objective:51846222
2276.75/2256.50	o 51846221
2276.75/2256.50	objective:51846221
2276.75/2256.50	o 51846220
2276.75/2256.50	objective:51846220
2276.75/2256.51	o 51839467
2276.75/2256.51	objective:51839467
2276.75/2256.51	o 51839457
2276.75/2256.51	objective:51839457
2276.75/2256.52	o 51839456
2276.75/2256.52	objective:51839456
2283.85/2263.64	o 51839455
2283.85/2263.64	objective:51839455
2315.03/2294.73	o 51839454
2315.03/2294.73	objective:51839454
2315.03/2294.73	o 51839453
2315.03/2294.73	objective:51839453
2315.03/2294.73	o 51839452
2315.03/2294.73	objective:51839452
2315.03/2294.73	o 51839451
2315.03/2294.73	objective:51839451
2315.03/2294.73	o 51839449
2315.03/2294.73	objective:51839449
2315.03/2294.73	o 51839448
2315.03/2294.73	objective:51839448
2315.03/2294.74	o 51839446
2315.03/2294.74	objective:51839446
2315.03/2294.74	o 51839445
2315.03/2294.74	objective:51839445
2315.03/2294.74	o 51839444
2315.03/2294.74	objective:51839444
2315.03/2294.74	o 51839443
2315.03/2294.74	objective:51839443
2315.03/2294.74	o 51839442
2315.03/2294.74	objective:51839442
2315.03/2294.74	o 51832706
2315.03/2294.74	objective:51832706
2315.03/2294.74	o 51832696
2315.03/2294.74	objective:51832696
2315.03/2294.74	o 51832695
2315.03/2294.74	objective:51832695
2315.03/2294.74	o 51832694
2315.03/2294.74	objective:51832694
2315.03/2294.74	o 51832693
2315.03/2294.74	objective:51832693
2315.03/2294.74	o 51832692
2315.03/2294.74	objective:51832692
2315.03/2294.74	o 51832686
2315.03/2294.74	objective:51832686
2315.03/2294.74	o 51832685
2315.03/2294.74	objective:51832685
2315.03/2294.74	o 51832684
2315.03/2294.74	objective:51832684
2315.03/2294.74	o 51832683
2315.03/2294.74	objective:51832683
2315.03/2294.74	o 51832682
2315.03/2294.74	objective:51832682
2315.03/2294.75	o 51832681
2315.03/2294.75	objective:51832681
2315.03/2294.75	o 51832679
2315.03/2294.75	objective:51832679
2316.44/2296.19	o 51832678
2316.44/2296.19	objective:51832678
2320.63/2300.37	o 51832677
2320.63/2300.37	objective:51832677
2323.53/2303.20	o 51832676
2323.53/2303.20	objective:51832676
2337.70/2317.36	o 51832674
2337.70/2317.36	objective:51832674
2337.70/2317.36	o 51832673
2337.70/2317.36	objective:51832673
2341.90/2321.52	o 51832672
2341.90/2321.52	objective:51832672
2341.90/2321.53	o 51832671
2341.90/2321.53	objective:51832671
2341.90/2321.53	o 51832670
2341.90/2321.53	objective:51832670
2341.90/2321.53	o 51832669
2341.90/2321.53	objective:51832669
2347.52/2327.17	o 51825946
2347.52/2327.17	objective:51825946
2347.52/2327.17	o 51825944
2347.52/2327.17	objective:51825944
2347.52/2327.17	o 51825943
2347.52/2327.17	objective:51825943
2347.52/2327.17	o 51825925
2347.52/2327.17	objective:51825925
2347.52/2327.17	o 51825924
2347.52/2327.17	objective:51825924
2347.52/2327.17	o 51825923
2347.52/2327.17	objective:51825923
2347.52/2327.17	o 51825922
2347.52/2327.17	objective:51825922
2347.52/2327.17	o 51825915
2347.52/2327.17	objective:51825915
2347.52/2327.17	o 51825914
2347.52/2327.17	objective:51825914
2347.52/2327.17	o 51825913
2347.52/2327.17	objective:51825913
2347.52/2327.17	o 51825912
2347.52/2327.17	objective:51825912
2347.52/2327.18	o 51825911
2347.52/2327.18	objective:51825911
2347.52/2327.18	o 51825910
2347.52/2327.18	objective:51825910
2369.96/2349.54	o 51819167
2369.96/2349.54	objective:51819167
2371.36/2350.94	o 51819165
2371.36/2350.94	objective:51819165
2371.36/2350.94	o 51819161
2371.36/2350.94	objective:51819161
2371.36/2350.94	o 51819159
2371.36/2350.94	objective:51819159
2371.36/2350.94	o 51819157
2371.36/2350.94	objective:51819157
2371.36/2350.94	o 51819155
2371.36/2350.94	objective:51819155
2371.36/2350.94	o 51819150
2371.36/2350.94	objective:51819150
2371.36/2350.94	o 51819146
2371.36/2350.94	objective:51819146
2371.36/2350.94	o 51819144
2371.36/2350.94	objective:51819144
2371.36/2350.94	o 51819143
2371.36/2350.94	objective:51819143
2372.76/2352.37	o 51819142
2372.76/2352.37	objective:51819142
2374.16/2353.79	o 51819141
2374.16/2353.79	objective:51819141
2392.48/2372.07	o 51819140
2392.48/2372.07	objective:51819140
2392.48/2372.07	o 51819138
2392.48/2372.07	objective:51819138
2392.48/2372.08	o 51819132
2392.48/2372.08	objective:51819132
2392.48/2372.08	o 51819130
2392.48/2372.08	objective:51819130
2405.32/2384.83	o 51812386
2405.32/2384.83	objective:51812386
2405.32/2384.83	o 51812384
2405.32/2384.83	objective:51812384
2418.02/2397.52	o 51812377
2418.02/2397.52	objective:51812377
2418.02/2397.52	o 51812376
2418.02/2397.52	objective:51812376
2418.02/2397.53	o 51812375
2418.02/2397.53	objective:51812375
2444.90/2424.38	o 51812369
2444.90/2424.38	objective:51812369
2444.90/2424.38	o 51812364
2444.90/2424.38	objective:51812364
2444.90/2424.38	o 51812361
2444.90/2424.38	objective:51812361
2444.90/2424.38	o 51812356
2444.90/2424.38	objective:51812356
2444.90/2424.39	o 51805609
2444.90/2424.39	objective:51805609
2444.90/2424.39	o 51805604
2444.90/2424.39	objective:51805604
2444.90/2424.39	o 51805601
2444.90/2424.39	objective:51805601
2444.90/2424.39	o 51805596
2444.90/2424.39	objective:51805596
2446.40/2425.81	o 51805595
2446.40/2425.81	objective:51805595
2449.21/2428.60	o 51805593
2449.21/2428.60	objective:51805593
2449.21/2428.60	o 51805591
2449.21/2428.60	objective:51805591
2449.21/2428.60	o 51805589
2449.21/2428.60	objective:51805589
2450.62/2430.01	o 51798844
2450.62/2430.01	objective:51798844
2450.62/2430.01	o 51798843
2450.62/2430.01	objective:51798843
2450.62/2430.01	o 51798842
2450.62/2430.01	objective:51798842
2450.62/2430.01	o 51798841
2450.62/2430.01	objective:51798841
2450.62/2430.01	o 51798834
2450.62/2430.01	objective:51798834
2450.62/2430.01	o 51798833
2450.62/2430.01	objective:51798833
2450.62/2430.01	o 51798832
2450.62/2430.01	objective:51798832
2450.62/2430.01	o 51798831
2450.62/2430.01	objective:51798831
2450.62/2430.01	o 51798830
2450.62/2430.01	objective:51798830
2450.62/2430.01	o 51798829
2450.62/2430.01	objective:51798829
2450.62/2430.01	o 51798828
2450.62/2430.01	objective:51798828
2450.62/2430.01	o 51798827
2450.62/2430.01	objective:51798827
2456.22/2435.61	o 51798822
2456.22/2435.61	objective:51798822
2456.22/2435.61	o 51798821
2456.22/2435.61	objective:51798821
2456.22/2435.61	o 51792055
2456.22/2435.61	objective:51792055
2456.22/2435.61	o 51792054
2456.22/2435.61	objective:51792054
2456.22/2435.61	o 51792052
2456.22/2435.61	objective:51792052
2456.22/2435.61	o 51792051
2456.22/2435.61	objective:51792051
2456.22/2435.61	o 51785297
2456.22/2435.61	objective:51785297
2456.22/2435.61	o 51785296
2456.22/2435.61	objective:51785296
2456.22/2435.61	o 51785289
2456.22/2435.61	objective:51785289
2456.22/2435.61	o 51785288
2456.22/2435.61	objective:51785288
2456.22/2435.62	o 51785287
2456.22/2435.62	objective:51785287
2456.22/2435.62	o 51785286
2456.22/2435.62	objective:51785286
2457.62/2437.02	o 51785283
2457.62/2437.02	objective:51785283
2457.62/2437.02	o 51785282
2457.62/2437.02	objective:51785282
2457.62/2437.02	o 51785281
2457.62/2437.02	objective:51785281
2488.60/2467.91	o 51778536
2488.60/2467.91	objective:51778536
2488.60/2467.91	o 51778531
2488.60/2467.91	objective:51778531
2488.60/2467.91	o 51778530
2488.60/2467.91	objective:51778530
2488.60/2467.91	o 51778526
2488.60/2467.91	objective:51778526
2488.60/2467.91	o 51778521
2488.60/2467.91	objective:51778521
2488.60/2467.91	o 51778520
2488.60/2467.91	objective:51778520
2488.60/2467.91	o 51778519
2488.60/2467.91	objective:51778519
2488.60/2467.92	o 51778518
2488.60/2467.92	objective:51778518
2511.02/2490.32	o 51778511
2511.02/2490.32	objective:51778511
2511.02/2490.32	o 51778510
2511.02/2490.32	objective:51778510
2511.02/2490.32	o 51771763
2511.02/2490.32	objective:51771763
2511.02/2490.32	o 51771756
2511.02/2490.32	objective:51771756
2511.02/2490.33	o 51771755
2511.02/2490.33	objective:51771755
2511.02/2490.33	o 51771754
2511.02/2490.33	objective:51771754
2511.02/2490.33	o 51771748
2511.02/2490.33	objective:51771748
2511.02/2490.33	o 51771747
2511.02/2490.33	objective:51771747
2511.02/2490.33	o 51771746
2511.02/2490.33	objective:51771746
2520.07/2499.30	s SATISFIABLE
2520.07/2499.31	v <instantiation>
2520.07/2499.31	v 	<list>
2520.07/2499.31	v 		f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] 
2520.07/2499.31	v 	</list>
2520.07/2499.31	v 	<values>
2520.07/2499.31	v 		2680 2676 2396 2288 2556 2596 2676 2548 2676 2692 2596 2636 2596 2140 2372 2636 2556 2676 2716 2640 2636 2636 2596 2696 2556 2596 2596 2596 2476 2596 2636 2636 2652 2636 2636 2556 2636 2596 2596 2636 2556 2436 2676 2596 2596 2636 2516 2280 2180 2556 2676 2556 2516 2636 2596 2716 2636 2596 2636 2676 2476 2636 2676 2344 2636 2596 2596 2700 2332 2328 2544 2660 2676 2636 2636 2636 2596 2636 2584 2676 2596 2636 2556 2676 2596 2636 2556 2636 2596 2676 2676 2596 2676 2556 2636 2596 2516 2556 2556 2636 2596 2676 2516 2556 2556 2676 2556 2304 2636 2596 2516 2556 2636 2168 2676 2556 2676 2636 2208 2596 2556 2556 2636 2676 2596 2676 2516 2656 2676 2636 2556 2556 2596 2636 2320 2596 2676 2636 2676 2596 2636 2556 2508 2556 2636 2436 2676 2636 2596 2676 0 0 1 0 0 1 1 0 1 0 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 0 0 1 1 0 1 1 1 1 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 1 1 1 0 0 1 0 0 0 1 1 1 0 1 0 1 1 1 1 0 0 0 1 0 0 0 0 1 0 1 1 1 0 1 1 0 1 0 1 1 1 0 0 1 1 1 1 0 0 0 0 0 1 1 11 0 0 1 0 0 0 1 1 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 1 0 0 1 0 1 0 0 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 1 1 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 1 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 1 1 0 0 0 0 1 1 0 0 1 0 0 1 1 1 1 0 0 0 0 1 0 0 1 0 1 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1 1 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 0 1 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 10 9 0 1 10 10 10 1 1 10 10 4 0 0 7 10 0 10 0 0 8 1 10 10 6 10 9 10 4 10 10 8 10 10 10 3 10 10 0 10 10 1 10 6 10 9 0 0 4 1 0 0 6 1 9 10 3 9 10 0 6 1 4 0 0 10 7 10 4 10 0 10 10 3 10 0 10 9 10 0 0 4 10 0 10 10 10 0 1 1 0 10 0 0 9 10 10 1 0 10 0 10 0 0 0 10 10 9 10 10 0 10 0 1 10 0 10 8 3 10 10 10 10 8 0 8 5 0 10 10 10 10 10 0 0 1 5 9 1 0 10 10 4 10 9 5 0 9 0 10 10 8 10 10 0 0 0 10 6 0 0 10 1 10 10 10 0 0 10 10 1 10 10 6 10 10 10 0 0 10 3 8 10 7 9 8 5 0 0 0 10 0 10 10 1 7 10 8 10 10 10 10 0 10 0 10 9 7 9 10 0 5 0 10 10 0 1 10 10 10 9 10 0 1 10 0 4 10 1 1 0 0 0 6 2 10 6 0 0 0 10 2 0 2 8 8 0 10 10 10 1 7 10 9 0 0 0 10 6 0 10 5 8 10 10 5 5 0 10 0 10 3 6 0 0 10 10 0 8 10 0 0 10 9 0 10 7 0 0 0 0 5 10 10 10 10 0 9 10 1 0 10 10 10 10 10 1 0 0 10 10 0 7 0 8 0 9 4 3 8 9 10 0 6 0 10 0 10 1 1 4 10 10 10 1 1 1 0 0 1 10 10 10 0 0 0 10 10 1 0 10 10 4 8 10 1 10 1 10 10 0 7 10 4 10 9 10 9 10 7 10 0 10 0 0 1 0 10 10 10 10 9 9 10 0 10 0 10 10 10 1 0 1 0 10 10 4 1 10 0 0 10 10 10 10 7 0 1 0 10 5 7 10 5 10 9 1 10 10 10 5 5 3 10 10 0 1 10 3 1 10 5 10 9 10 0 0 0 0 10 10 0 10 7 0 0 0 10 10 1 0 8 1 10 0 0 7 0 10 10 4 10 0 0 10 10 7 10 10 10 10 1 0 2 10 1 0 0 0 1 0 0 10 0 10 1 1 10 8 10 10 1 0 10 10 10 10 4 5 0 0 8 10 7 10 0 10 0 0 10 0 10 0 0 0 10 1 1 0 10 4 1 8 0 0 9 10 0 10 1 4 10 1 10 0 8 8 10 10 0 10 4 10 6 0 0 10 10 7 7 10 2 0 6 1 0 1 8 10 0 10 10 10 7 10 10 10 10 8 3 10 0 6 8 10 10 0 0 0 0 0 9 10 0 10 10 0 8 0 0 10 5 1 10 10 0 0 0 8 0 0 8 0 10 10 10 10 5 10 0 10 0 0 10 10 0 0 10 10 10 10 0 0 10 0 0 0 1 0 10 0 10 2 9 0 10 0 0 10 0 0 10 0 0 5 7 0 6 0 9 10 10 10 0 8 5 10 1 10 1 0 10 9 0 1 10 10 0 0 10 0 5 0 0 4 44 4 336 20 44 44 80 40 20 80 80 496 80 0 120 120 40 240 244 240 52 160 160 268 348 388 388 268 40 80 40 120 40 80 40 120 0 40 80 0 80 0 40 40 40 40 120 80 40 80 80 120 160 508 120 120 40 48 88 176 88 104 32 48 88 32 128 36 80 120 120 80 40 80 80 160 40 80 56 136 96 364 16 16 136 16 136 372 56 256 40 120 0 252 80 80 40 80 60 160 0 0 0 0 0 80 20 0 0 80 40 80 64 80 0 12 0 0 40 416 336 496 560 264 264 184 204 184 80 0 0 40 24 80 120 40 80 0 80 40 80 276 40 80 120 80 80 0 0 80 388 120 160 120 84 4 0 200 40 0 0 80 0 40 0 0 292 0 40 0 40 40 0 40 40 40 80 40 0 80 0 80 0 80 40 40 160 100 60 60 100 140 60 80 40 120 120 0 40 40 0 80 40 80 40 80 0 0 40 0 80 0 0 80 88 80 40 268 40 40 40 276 0 160 80 160 160 172 160 120 40 40 40 40 80 40 40 0 276 40 40 0 0 0 40 0 40 468 80 0 40 80 40 0 0 0 16 16 56 16 80 0 80 0 80 0 40 0 40 40 64 80 80 40 80 80 0 120 80 80 100 236 0 0 40 0 40 80 40 40 40 80 40 40 80 40 252 0 40 40 0 456 80 40 80 80 40 0 80 120 80 0 40 0 388 120 80 120 160 160 72 0 40 40 80 0 40 120 0 40 40 12 0 40 40 80 80 40 0 80 12 0 40 80 40 308 40 40 0 0 80 200 120 120 80 160 396 316 420 48 356 356 316 396 296 496 376 416 0 0 80 40 120 120 0 80 0 80 80 160 0 40 80 80 40 120 80 160 80 160 120 40 0 0 40 80 0 80 40 40 40 40 372 120 160 160 160 0 40 0 40 80 0 40 80 40 40 0 40 40 40 0 80 0 0 0 40 80 40 40 120 160 160 120 120 40 200 200 160 40 52 40 40 120 120 40 16 212 136 24 252 252 80 80 0 0 80 264 52 40 80 40 40 80 40 144 104 144 380 64 264 344 304 264 304 304 228 268 348 8 348 92 52 12 24 24 24 40 40 0 40 332 80 40 40 40 40 40 120 80 0 0 80 80 0 40 28 28 52 264 160 120 0 80 80 40 0 0 40 40 40 40 40 80 80 80 120 160 0 40 80 80 0 80 80 40 40 80 80 40 80 40 40 80 120 40 80 80 80 80 80 388 80 0 40 40 80 0 40 120 80 80 160 0 80 80 40 40 40 88 0 40 120 48 0 80 40 40 40 80 80 40 120 160 160 0 80 40 80 120 120 80 40 252 40 120 40 0 0 40 40 40 0 40 80 40 40 160 40 80 236 40 80 40 40 120 120 80 80 0 252 252 40 40 0 80 0 196 160 120 80 80 80 40 316 40 80 388 40 80 48 0 120 0 40 0 40 40 120 40 40 80 40 120 0 120 100 120 80 168 0 40 40 40 80 0 316 356 40 0 240 80 40 80 
2520.07/2499.31	v 	</values>
2520.07/2499.31	v </instantiation>

Verifier Data 

OK	51771746

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 (8698 MiB free)
  memory of node 1: 16384 MiB (15720 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298978-1532788867/watcher-4298978-1532788867 -o /tmp/evaluation-result-4298978-1532788867/solver-4298978-1532788867 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532776307-29142 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298978-1532788867.xml 

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

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
Current StackSize limit: 8192 KiB

solver pid=30574, runsolver pid=30571

[startup+0.100059 s]*
/proc/loadavg: 2.24 1.69 1.48 4/215 30589
/proc/meminfo: memFree=24988708/32770624 swapFree=67108860/67108860
[pid=30574] ppid=30571 vsize=10658972 memory=28212 CPUtime=0.13 cores=1,3,5,7
/proc/30574/stat : 30574 (java) S 30571 30574 29110 0 -1 1077944320 5004 0 0 0 12 1 0 0 20 0 15 0 96449877 10914787328 7053 33554432000 4194304 4196468 140727404708352 140727404690896 139831810752247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
/proc/30574/statm: 2664743 7053 2857 1 0 2627263 0
[pid=30574/tid=30576] ppid=30571 vsize=10658972 memory=-8197568871503533185 CPUtime=0.08 cores=1,3,5,7
/proc/30574/task/30576/stat : 30576 (java) S 30571 30574 29110 0 -1 1077944384 2844 0 0 0 8 0 0 0 20 0 15 0 96449877 10914787328 7053 33554432000 4194304 4196468 140727404708352 139831814980400 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30577] ppid=30571 vsize=10658972 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30577/stat : 30577 (java) S 30571 30574 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96449878 10914787328 7053 33554432000 4194304 4196468 140727404708352 139831736826256 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30578] ppid=30571 vsize=10658972 memory=140635730601600 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30578/stat : 30578 (java) S 30571 30574 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96449878 10914787328 7053 33554432000 4194304 4196468 140727404708352 139831735773456 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30579] ppid=30571 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30579/stat : 30579 (java) S 30571 30574 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96449878 10914787328 7053 33554432000 4194304 4196468 140727404708352 139831734721168 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30580] ppid=30571 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30580/stat : 30580 (java) S 30571 30574 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96449878 10914787328 7053 33554432000 4194304 4196468 140727404708352 139831733668368 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30581] ppid=30571 vsize=10658972 memory=140635730601600 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30581/stat : 30581 (java) S 30571 30574 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96449879 10914787328 7053 33554432000 4194304 4196468 140727404708352 139831047871088 139831810763394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30582] ppid=30571 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30582/stat : 30582 (java) S 30571 30574 29110 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96449880 10914787328 7053 33554432000 4194304 4196468 140727404708352 139831046817056 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30583] ppid=30571 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30583/stat : 30583 (java) S 30571 30574 29110 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96449880 10914787328 7053 33554432000 4194304 4196468 140727404708352 139831045764720 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30584] ppid=30571 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30584/stat : 30584 (java) S 30571 30574 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96449882 10914787328 7053 33554432000 4194304 4196468 140727404708352 139831044713040 139831810770843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30585] ppid=30571 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30585/stat : 30585 (java) R 30571 30574 29110 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 96449882 10914787328 7053 33554432000 4194304 4196468 140727404708352 139831043659888 139831810763394 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30586] ppid=30571 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30586/stat : 30586 (java) R 30571 30574 29110 0 -1 4202560 170 0 0 0 0 0 0 0 20 0 15 0 96449882 10914787328 7053 33554432000 4194304 4196468 140727404708352 139831042607184 139831787996992 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30587] ppid=30571 vsize=10658972 memory=140635730601600 CPUtime=0.02 cores=1,3,5,7
/proc/30574/task/30587/stat : 30587 (java) S 30571 30574 29110 0 -1 1077944384 321 0 0 0 2 0 0 0 20 0 15 0 96449882 10914787328 7053 33554432000 4194304 4196468 140727404708352 139831041554800 139831810763394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30588] ppid=30571 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30588/stat : 30588 (java) S 30571 30574 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96449883 10914787328 7053 33554432000 4194304 4196468 140727404708352 139831040502240 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30589] ppid=30571 vsize=10658972 memory=140635730601600 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30589/stat : 30589 (java) R 30571 30574 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96449883 10914787328 7053 33554432000 4194304 4196468 140727404708352 139831039450032 139831810763394 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 28212 KiB

[startup+0.210464 s]*
/proc/loadavg: 2.24 1.69 1.48 4/215 30589
/proc/meminfo: memFree=24977668/32770624 swapFree=67108860/67108860
[pid=30574] ppid=30571 vsize=10658972 memory=40568 CPUtime=0.35 cores=1,3,5,7
/proc/30574/stat : 30574 (java) S 30571 30574 29110 0 -1 1077944320 7740 0 0 0 33 2 0 0 20 0 15 0 96449877 10914787328 10142 33554432000 4194304 4196468 140727404708352 140727404690896 139831810752247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
/proc/30574/statm: 2664743 10142 2997 1 0 2627263 0
[pid=30574/tid=30576] ppid=30571 vsize=10658972 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/30574/task/30576/stat : 30576 (java) R 30571 30574 29110 0 -1 4202560 4610 0 0 0 19 1 0 0 20 0 15 0 96449877 10914787328 10142 33554432000 4194304 4196468 140727404708352 139831814991312 139831810774173 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30577] ppid=30571 vsize=10658972 memory=331 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30577/stat : 30577 (java) S 30571 30574 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96449878 10914787328 10142 33554432000 4194304 4196468 140727404708352 139831736826256 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30578] ppid=30571 vsize=10658972 memory=140635731126573 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30578/stat : 30578 (java) S 30571 30574 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96449878 10914787328 10142 33554432000 4194304 4196468 140727404708352 139831735773456 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30579] ppid=30571 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30579/stat : 30579 (java) S 30571 30574 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96449878 10914787328 10142 33554432000 4194304 4196468 140727404708352 139831734721168 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30580] ppid=30571 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30580/stat : 30580 (java) S 30571 30574 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96449878 10914787328 10142 33554432000 4194304 4196468 140727404708352 139831733668368 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30581] ppid=30571 vsize=10658972 memory=140635730601600 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30581/stat : 30581 (java) S 30571 30574 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96449879 10914787328 10142 33554432000 4194304 4196468 140727404708352 139831047871088 139831810763394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30582] ppid=30571 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30582/stat : 30582 (java) S 30571 30574 29110 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96449880 10914787328 10142 33554432000 4194304 4196468 140727404708352 139831046817056 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30583] ppid=30571 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30583/stat : 30583 (java) S 30571 30574 29110 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96449880 10914787328 10142 33554432000 4194304 4196468 140727404708352 139831045764720 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30584] ppid=30571 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30584/stat : 30584 (java) S 30571 30574 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96449882 10914787328 10142 33554432000 4194304 4196468 140727404708352 139831044713040 139831810770843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30585] ppid=30571 vsize=10658972 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/30574/task/30585/stat : 30585 (java) R 30571 30574 29110 0 -1 4202560 643 0 0 0 3 0 0 0 20 0 15 0 96449882 10914787328 10142 33554432000 4194304 4196468 140727404708352 139831043651144 139831788346992 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30586] ppid=30571 vsize=10658972 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/30574/task/30586/stat : 30586 (java) R 30571 30574 29110 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 15 0 96449882 10914787328 10142 33554432000 4194304 4196468 140727404708352 139831042607088 139831810763394 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30587] ppid=30571 vsize=10658972 memory=140635730601600 CPUtime=0.08 cores=1,3,5,7
/proc/30574/task/30587/stat : 30587 (java) R 30571 30574 29110 0 -1 4202560 842 0 0 0 8 0 0 0 20 0 15 0 96449882 10914787328 10142 33554432000 4194304 4196468 140727404708352 139831041549144 139831789290699 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30588] ppid=30571 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30588/stat : 30588 (java) S 30571 30574 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96449883 10914787328 10142 33554432000 4194304 4196468 140727404708352 139831040502240 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30589] ppid=30571 vsize=10658972 memory=140635730601600 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30589/stat : 30589 (java) S 30571 30574 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96449883 10914787328 10142 33554432000 4194304 4196468 140727404708352 139831039450032 139831810763394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 40568 KiB

[startup+0.310392 s]*
/proc/loadavg: 2.24 1.69 1.48 3/215 30589
/proc/meminfo: memFree=24916416/32770624 swapFree=67108860/67108860
[pid=30574] ppid=30571 vsize=10658972 memory=109172 CPUtime=0.55 cores=1,3,5,7
/proc/30574/stat : 30574 (java) S 30571 30574 29110 0 -1 1077944320 7957 0 0 0 51 4 0 0 20 0 15 0 96449877 10914787328 27293 33554432000 4194304 4196468 140727404708352 140727404690896 139831810752247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
/proc/30574/statm: 2664743 27293 3017 1 0 2627263 0
[pid=30574/tid=30576] ppid=30571 vsize=10658972 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/30574/task/30576/stat : 30576 (java) R 30571 30574 29110 0 -1 4202560 4646 0 0 0 27 3 0 0 20 0 15 0 96449877 10914787328 27293 33554432000 4194304 4196468 140727404708352 139831814990320 139831810774173 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30577] ppid=30571 vsize=10658972 memory=4294977825 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30577/stat : 30577 (java) S 30571 30574 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96449878 10914787328 27293 33554432000 4194304 4196468 140727404708352 139831736826256 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30578] ppid=30571 vsize=10658972 memory=140635731143217 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30578/stat : 30578 (java) S 30571 30574 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96449878 10914787328 27293 33554432000 4194304 4196468 140727404708352 139831735773456 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30579] ppid=30571 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30579/stat : 30579 (java) S 30571 30574 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96449878 10914787328 27293 33554432000 4194304 4196468 140727404708352 139831734721168 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30580] ppid=30571 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30580/stat : 30580 (java) S 30571 30574 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96449878 10914787328 27293 33554432000 4194304 4196468 140727404708352 139831733668368 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30581] ppid=30571 vsize=10658972 memory=140635730601600 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30581/stat : 30581 (java) S 30571 30574 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96449879 10914787328 27293 33554432000 4194304 4196468 140727404708352 139831047871088 139831810763394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30582] ppid=30571 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30582/stat : 30582 (java) S 30571 30574 29110 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96449880 10914787328 27293 33554432000 4194304 4196468 140727404708352 139831046817056 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30583] ppid=30571 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30583/stat : 30583 (java) S 30571 30574 29110 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96449880 10914787328 27293 33554432000 4194304 4196468 140727404708352 139831045764720 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30584] ppid=30571 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30584/stat : 30584 (java) S 30571 30574 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96449882 10914787328 27293 33554432000 4194304 4196468 140727404708352 139831044713040 139831810770843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30585] ppid=30571 vsize=10658972 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/30574/task/30585/stat : 30585 (java) R 30571 30574 29110 0 -1 4202560 657 0 0 0 6 0 0 0 20 0 15 0 96449882 10914787328 27293 33554432000 4194304 4196468 140727404708352 139831043652744 139831795151786 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30586] ppid=30571 vsize=10658972 memory=-1 CPUtime=0.06 cores=1,3,5,7
/proc/30574/task/30586/stat : 30586 (java) R 30571 30574 29110 0 -1 4202560 419 0 0 0 6 0 0 0 20 0 15 0 96449882 10914787328 27293 33554432000 4194304 4196468 140727404708352 139831042607088 139831790605921 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30587] ppid=30571 vsize=10658972 memory=140635730601600 CPUtime=0.11 cores=1,3,5,7
/proc/30574/task/30587/stat : 30587 (java) R 30571 30574 29110 0 -1 1077944384 866 0 0 0 11 0 0 0 20 0 15 0 96449882 10914787328 27293 33554432000 4194304 4196468 140727404708352 139831041554800 139831810763394 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30588] ppid=30571 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30588/stat : 30588 (java) S 30571 30574 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96449883 10914787328 27293 33554432000 4194304 4196468 140727404708352 139831040502240 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30589] ppid=30571 vsize=10658972 memory=140635730601600 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30589/stat : 30589 (java) S 30571 30574 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96449883 10914787328 27293 33554432000 4194304 4196468 140727404708352 139831039450032 139831810763394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 109172 KiB

[startup+0.701232 s]
/proc/loadavg: 2.24 1.69 1.48 4/215 30589
/proc/meminfo: memFree=24727324/32770624 swapFree=67108860/67108860
[pid=30574] ppid=30571 vsize=10658972 memory=479720 CPUtime=1.6 cores=1,3,5,7
/proc/30574/stat : 30574 (java) S 30571 30574 29110 0 -1 1077944320 10574 0 0 0 120 40 0 0 20 0 15 0 96449877 10914787328 119930 33554432000 4194304 4196468 140727404708352 140727404690896 139831810752247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
/proc/30574/statm: 2664743 119930 3068 1 0 2627263 0
[pid=30574/tid=30576] ppid=30571 vsize=10658972 memory=15604 CPUtime=0.51 cores=1,3,5,7
/proc/30574/task/30576/stat : 30576 (java) S 30571 30574 29110 0 -1 1077944384 4676 0 0 0 46 5 0 0 20 0 15 0 96449877 10914787328 119930 33554432000 4194304 4196468 140727404708352 139831814991504 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30577] ppid=30571 vsize=10658972 memory=2324 CPUtime=0.12 cores=1,3,5,7
/proc/30574/task/30577/stat : 30577 (java) R 30571 30574 29110 0 -1 4202560 197 0 0 0 6 6 0 0 20 0 15 0 96449878 10914787328 119930 33554432000 4194304 4196468 140727404708352 139831736826256 139831803855271 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30578] ppid=30571 vsize=10658972 memory=1584 CPUtime=0.15 cores=1,3,5,7
/proc/30574/task/30578/stat : 30578 (java) R 30571 30574 29110 0 -1 4202560 227 0 0 0 6 9 0 0 20 0 15 0 96449878 10914787328 119930 33554432000 4194304 4196468 140727404708352 139831735773456 139831803848948 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30579] ppid=30571 vsize=10658972 memory=496 CPUtime=0.14 cores=1,3,5,7
/proc/30574/task/30579/stat : 30579 (java) R 30571 30574 29110 0 -1 4202560 224 0 0 0 6 8 0 0 20 0 15 0 96449878 10914787328 119930 33554432000 4194304 4196468 140727404708352 139831734721168 139831803855240 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30580] ppid=30571 vsize=10658972 memory=928 CPUtime=0.12 cores=1,3,5,7
/proc/30574/task/30580/stat : 30580 (java) R 30571 30574 29110 0 -1 4202560 183 0 0 0 5 7 0 0 20 0 15 0 96449878 10914787328 119930 33554432000 4194304 4196468 140727404708352 139831733668568 139831803851947 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30581] ppid=30571 vsize=10658972 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30581/stat : 30581 (java) S 30571 30574 29110 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 96449879 10914787328 119930 33554432000 4194304 4196468 140727404708352 139831047869632 139831810762453 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30582] ppid=30571 vsize=10658972 memory=1968 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30582/stat : 30582 (java) S 30571 30574 29110 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96449880 10914787328 119930 33554432000 4194304 4196468 140727404708352 139831046817056 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30583] ppid=30571 vsize=10658972 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30583/stat : 30583 (java) S 30571 30574 29110 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96449880 10914787328 119930 33554432000 4194304 4196468 140727404708352 139831045764720 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30584] ppid=30571 vsize=10658972 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30584/stat : 30584 (java) S 30571 30574 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96449882 10914787328 119930 33554432000 4194304 4196468 140727404708352 139831044713040 139831810770843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30585] ppid=30571 vsize=10658972 memory=6081108994580573287 CPUtime=0.22 cores=1,3,5,7
/proc/30574/task/30585/stat : 30585 (java) S 30571 30574 29110 0 -1 1077944384 1666 0 0 0 22 0 0 0 20 0 15 0 96449882 10914787328 119930 33554432000 4194304 4196468 140727404708352 139831043659888 139831810763394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30586] ppid=30571 vsize=10658972 memory=5860705283049084265 CPUtime=0.13 cores=1,3,5,7
/proc/30574/task/30586/stat : 30586 (java) S 30571 30574 29110 0 -1 1077944384 986 0 0 0 13 0 0 0 20 0 15 0 96449882 10914787328 119930 33554432000 4194304 4196468 140727404708352 139831042607088 139831810763394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30587] ppid=30571 vsize=10658972 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/30574/task/30587/stat : 30587 (java) S 30571 30574 29110 0 -1 1077944384 961 0 0 0 12 0 0 0 20 0 15 0 96449882 10914787328 119930 33554432000 4194304 4196468 140727404708352 139831041554800 139831810763394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30588] ppid=30571 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30588/stat : 30588 (java) S 30571 30574 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96449883 10914787328 120442 33554432000 4194304 4196468 140727404708352 139831040502240 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30589] ppid=30571 vsize=10658972 memory=756 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30589/stat : 30589 (java) S 30571 30574 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96449883 10914787328 120442 33554432000 4194304 4196468 140727404708352 139831039450032 139831810763394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 479720 KiB

[startup+1.50319 s]
/proc/loadavg: 2.24 1.69 1.48 5/215 30589
/proc/meminfo: memFree=24484284/32770624 swapFree=67108860/67108860
[pid=30574] ppid=30571 vsize=10659048 memory=651596 CPUtime=3.31 cores=1,3,5,7
/proc/30574/stat : 30574 (java) S 30571 30574 29110 0 -1 1077944320 12459 0 0 0 283 48 0 0 20 0 15 0 96449877 10914865152 162899 33554432000 4194304 4196468 140727404708352 140727404690896 139831810752247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
/proc/30574/statm: 2664762 162899 3133 1 0 2627263 0
[pid=30574/tid=30576] ppid=30571 vsize=10659048 memory=635008 CPUtime=1.24 cores=1,3,5,7
/proc/30574/task/30576/stat : 30576 (java) S 30571 30574 29110 0 -1 1077944384 5071 0 0 0 117 7 0 0 20 0 15 0 96449877 10914865152 162899 33554432000 4194304 4196468 140727404708352 139831814990000 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30577] ppid=30571 vsize=10659048 memory=6791534058613427641 CPUtime=0.19 cores=1,3,5,7
/proc/30574/task/30577/stat : 30577 (java) R 30571 30574 29110 0 -1 4202560 332 0 0 0 11 8 0 0 20 0 15 0 96449878 10914865152 162899 33554432000 4194304 4196468 140727404708352 139831736826456 139831803852192 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30578] ppid=30571 vsize=10659048 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/30574/task/30578/stat : 30578 (java) R 30571 30574 29110 0 -1 4202560 275 0 0 0 11 10 0 0 20 0 15 0 96449878 10914865152 162899 33554432000 4194304 4196468 140727404708352 139831735773456 139831795779666 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30579] ppid=30571 vsize=10659048 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/30574/task/30579/stat : 30579 (java) R 30571 30574 29110 0 -1 4202560 340 0 0 0 11 10 0 0 20 0 15 0 96449878 10914865152 162899 33554432000 4194304 4196468 140727404708352 139831734721168 139831795780130 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30580] ppid=30571 vsize=10659048 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/30574/task/30580/stat : 30580 (java) R 30571 30574 29110 0 -1 4202560 267 0 0 0 10 9 0 0 20 0 15 0 96449878 10914865152 162899 33554432000 4194304 4196468 140727404708352 139831733668368 139831803855525 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30581] ppid=30571 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30581/stat : 30581 (java) S 30571 30574 29110 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 15 0 96449879 10914865152 162899 33554432000 4194304 4196468 140727404708352 139831047869600 139831810762453 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0

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

/proc/30574/task/30576/stat : 30576 (java) R 30571 30574 29110 0 -1 4202560 1190049 0 0 0 237615 92 0 0 20 0 15 0 96449877 10914865152 736810 33554432000 4194304 4196468 140727404708352 139831814983792 139831407929200 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30577] ppid=30571 vsize=10659048 memory=2947240 CPUtime=4.55 cores=1,3,5,7
/proc/30574/task/30577/stat : 30577 (java) S 30571 30574 29110 0 -1 1077944384 37240 0 0 0 390 65 0 0 20 0 15 0 96449878 10914865152 736810 33554432000 4194304 4196468 140727404708352 139831736826256 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30578] ppid=30571 vsize=10659048 memory=2947240 CPUtime=4.56 cores=1,3,5,7
/proc/30574/task/30578/stat : 30578 (java) S 30571 30574 29110 0 -1 1077944384 36010 0 0 0 393 63 0 0 20 0 15 0 96449878 10914865152 736810 33554432000 4194304 4196468 140727404708352 139831735773456 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30579] ppid=30571 vsize=10659048 memory=2947240 CPUtime=4.59 cores=1,3,5,7
/proc/30574/task/30579/stat : 30579 (java) S 30571 30574 29110 0 -1 1077944384 27491 0 0 0 397 62 0 0 20 0 15 0 96449878 10914865152 736810 33554432000 4194304 4196468 140727404708352 139831734721168 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30580] ppid=30571 vsize=10659048 memory=2947240 CPUtime=4.55 cores=1,3,5,7
/proc/30574/task/30580/stat : 30580 (java) S 30571 30574 29110 0 -1 1077944384 37042 0 0 0 392 63 0 0 20 0 15 0 96449878 10914865152 736810 33554432000 4194304 4196468 140727404708352 139831733668368 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30581] ppid=30571 vsize=10659048 memory=2947240 CPUtime=0.55 cores=1,3,5,7
/proc/30574/task/30581/stat : 30581 (java) S 30571 30574 29110 0 -1 1077944384 12603 0 0 0 51 4 0 0 20 0 15 0 96449879 10914865152 736810 33554432000 4194304 4196468 140727404708352 139831047871088 139831810763394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30582] ppid=30571 vsize=10659048 memory=2947240 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30582/stat : 30582 (java) S 30571 30574 29110 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 96449880 10914865152 736810 33554432000 4194304 4196468 140727404708352 139831046817120 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30583] ppid=30571 vsize=10659048 memory=2947240 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30583/stat : 30583 (java) S 30571 30574 29110 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 96449880 10914865152 736810 33554432000 4194304 4196468 140727404708352 139831045764720 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30584] ppid=30571 vsize=10659048 memory=281271234737616 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30584/stat : 30584 (java) S 30571 30574 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96449882 10914865152 736810 33554432000 4194304 4196468 140727404708352 139831044713040 139831810770843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30585] ppid=30571 vsize=10659048 memory=1256 CPUtime=2.15 cores=1,3,5,7
/proc/30574/task/30585/stat : 30585 (java) S 30571 30574 29110 0 -1 1077944384 16944 0 0 0 213 2 0 0 20 0 15 0 96449882 10914865152 736810 33554432000 4194304 4196468 140727404708352 139831043659888 139831810763394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30586] ppid=30571 vsize=10659048 memory=10368 CPUtime=2.55 cores=1,3,5,7
/proc/30574/task/30586/stat : 30586 (java) S 30571 30574 29110 0 -1 1077944384 19582 0 0 0 253 2 0 0 20 0 15 0 96449882 10914865152 736810 33554432000 4194304 4196468 140727404708352 139831042607088 139831810763394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30587] ppid=30571 vsize=10659048 memory=2947240 CPUtime=0.71 cores=1,3,5,7
/proc/30574/task/30587/stat : 30587 (java) S 30571 30574 29110 0 -1 1077944384 16574 0 0 0 69 2 0 0 20 0 15 0 96449882 10914865152 736810 33554432000 4194304 4196468 140727404708352 139831041554800 139831810763394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30588] ppid=30571 vsize=10659048 memory=12708 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30588/stat : 30588 (java) S 30571 30574 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96449883 10914865152 736810 33554432000 4194304 4196468 140727404708352 139831040502240 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30589] ppid=30571 vsize=10659048 memory=15644 CPUtime=1.4 cores=1,3,5,7
/proc/30574/task/30589/stat : 30589 (java) S 30571 30574 29110 0 -1 1077944384 2671 0 0 0 66 74 0 0 20 0 15 0 96449883 10914865152 736810 33554432000 4194304 4196468 140727404708352 139831039450032 139831810763394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
Current children cumulated CPU time: 2402.79 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 2947240 KiB

[startup+2442.3 s]
/proc/loadavg: 2.13 2.09 1.95 3/216 30862
/proc/meminfo: memFree=24086748/32770624 swapFree=67108860/67108860
[pid=30574] ppid=30571 vsize=10659048 memory=2925180 CPUtime=2462.92 cores=1,3,5,7
/proc/30574/stat : 30574 (java) S 30571 30574 29110 0 -1 1077944320 1403861 0 0 0 245870 422 0 0 20 0 15 0 96449877 10914865152 731295 33554432000 4194304 4196468 140727404708352 140727404690896 139831810752247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
/proc/30574/statm: 2664762 731295 3185 1 0 2627263 0
[pid=30574/tid=30576] ppid=30571 vsize=10659048 memory=2925180 CPUtime=2437.04 cores=1,3,5,7
/proc/30574/task/30576/stat : 30576 (java) R 30571 30574 29110 0 -1 4202560 1193500 0 0 0 243611 93 0 0 20 0 15 0 96449877 10914865152 731295 33554432000 4194304 4196468 140727404708352 139831814983792 139831407995847 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30577] ppid=30571 vsize=10659048 memory=2925180 CPUtime=4.58 cores=1,3,5,7
/proc/30574/task/30577/stat : 30577 (java) S 30571 30574 29110 0 -1 1077944384 37778 0 0 0 393 65 0 0 20 0 15 0 96449878 10914865152 731295 33554432000 4194304 4196468 140727404708352 139831736826256 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30578] ppid=30571 vsize=10659048 memory=2925180 CPUtime=4.59 cores=1,3,5,7
/proc/30574/task/30578/stat : 30578 (java) S 30571 30574 29110 0 -1 1077944384 36881 0 0 0 396 63 0 0 20 0 15 0 96449878 10914865152 731295 33554432000 4194304 4196468 140727404708352 139831735773456 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30579] ppid=30571 vsize=10659048 memory=2941596 CPUtime=4.63 cores=1,3,5,7
/proc/30574/task/30579/stat : 30579 (java) S 30571 30574 29110 0 -1 1077944384 28033 0 0 0 401 62 0 0 20 0 15 0 96449878 10914865152 731295 33554432000 4194304 4196468 140727404708352 139831734721168 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30580] ppid=30571 vsize=10659048 memory=4140 CPUtime=4.58 cores=1,3,5,7
/proc/30574/task/30580/stat : 30580 (java) S 30571 30574 29110 0 -1 1077944384 37560 0 0 0 395 63 0 0 20 0 15 0 96449878 10914865152 731295 33554432000 4194304 4196468 140727404708352 139831733668368 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30581] ppid=30571 vsize=10659048 memory=2941596 CPUtime=0.55 cores=1,3,5,7
/proc/30574/task/30581/stat : 30581 (java) S 30571 30574 29110 0 -1 1077944384 12834 0 0 0 51 4 0 0 20 0 15 0 96449879 10914865152 731295 33554432000 4194304 4196468 140727404708352 139831047871088 139831810763394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30582] ppid=30571 vsize=10659048 memory=2925180 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30582/stat : 30582 (java) S 30571 30574 29110 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 96449880 10914865152 731295 33554432000 4194304 4196468 140727404708352 139831046817120 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30583] ppid=30571 vsize=10659048 memory=2925180 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30583/stat : 30583 (java) S 30571 30574 29110 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 96449880 10914865152 731295 33554432000 4194304 4196468 140727404708352 139831045764720 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30584] ppid=30571 vsize=10659048 memory=2925180 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30584/stat : 30584 (java) S 30571 30574 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96449882 10914865152 731295 33554432000 4194304 4196468 140727404708352 139831044713040 139831810770843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30585] ppid=30571 vsize=10659048 memory=2925180 CPUtime=2.15 cores=1,3,5,7
/proc/30574/task/30585/stat : 30585 (java) S 30571 30574 29110 0 -1 1077944384 16951 0 0 0 213 2 0 0 20 0 15 0 96449882 10914865152 731295 33554432000 4194304 4196468 140727404708352 139831043659888 139831810763394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30586] ppid=30571 vsize=10659048 memory=2925180 CPUtime=2.55 cores=1,3,5,7
/proc/30574/task/30586/stat : 30586 (java) S 30571 30574 29110 0 -1 1077944384 19585 0 0 0 253 2 0 0 20 0 15 0 96449882 10914865152 731295 33554432000 4194304 4196468 140727404708352 139831042607088 139831810763394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30587] ppid=30571 vsize=10659048 memory=2925180 CPUtime=0.71 cores=1,3,5,7
/proc/30574/task/30587/stat : 30587 (java) S 30571 30574 29110 0 -1 1077944384 16578 0 0 0 69 2 0 0 20 0 15 0 96449882 10914865152 731295 33554432000 4194304 4196468 140727404708352 139831041554800 139831810763394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30588] ppid=30571 vsize=10659048 memory=2925180 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30588/stat : 30588 (java) S 30571 30574 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96449883 10914865152 731295 33554432000 4194304 4196468 140727404708352 139831040502240 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30589] ppid=30571 vsize=10659048 memory=4140 CPUtime=1.43 cores=1,3,5,7
/proc/30574/task/30589/stat : 30589 (java) S 30571 30574 29110 0 -1 1077944384 2701 0 0 0 67 76 0 0 20 0 15 0 96449883 10914865152 731295 33554432000 4194304 4196468 140727404708352 139831039450032 139831810763394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
Current children cumulated CPU time: 2462.92 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 2925180 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2499.3 s]
/proc/loadavg: 1.84 2.01 1.94 3/216 30863
/proc/meminfo: memFree=24089868/32770624 swapFree=67108860/67108860
[pid=30574] ppid=30571 vsize=10659048 memory=2903152 CPUtime=2520.07 cores=1,3,5,7
/proc/30574/stat : 30574 (java) S 30571 30574 29110 0 -1 1077944320 1408838 0 0 0 251583 424 0 0 20 0 15 0 96449877 10914865152 725788 33554432000 4194304 4196468 140727404708352 140727404690896 139831810752247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
/proc/30574/statm: 2664762 725788 3185 1 0 2627263 0
[pid=30574/tid=30576] ppid=30571 vsize=10659048 memory=2903152 CPUtime=2493.99 cores=1,3,5,7
/proc/30574/task/30576/stat : 30576 (java) R 30571 30574 29110 0 -1 4202560 1195692 0 0 0 249305 94 0 0 20 0 15 0 96449877 10914865152 725788 33554432000 4194304 4196468 140727404708352 139831814991760 139831407929290 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30577] ppid=30571 vsize=10659048 memory=2917516 CPUtime=4.63 cores=1,3,5,7
/proc/30574/task/30577/stat : 30577 (java) S 30571 30574 29110 0 -1 1077944384 38614 0 0 0 398 65 0 0 20 0 15 0 96449878 10914865152 725788 33554432000 4194304 4196468 140727404708352 139831736826256 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30578] ppid=30571 vsize=10659048 memory=2917516 CPUtime=4.63 cores=1,3,5,7
/proc/30574/task/30578/stat : 30578 (java) S 30571 30574 29110 0 -1 1077944384 37268 0 0 0 400 63 0 0 20 0 15 0 96449878 10914865152 725788 33554432000 4194304 4196468 140727404708352 139831735773456 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30579] ppid=30571 vsize=10659048 memory=2917516 CPUtime=4.67 cores=1,3,5,7
/proc/30574/task/30579/stat : 30579 (java) S 30571 30574 29110 0 -1 1077944384 28703 0 0 0 405 62 0 0 20 0 15 0 96449878 10914865152 725788 33554432000 4194304 4196468 140727404708352 139831734721168 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30580] ppid=30571 vsize=10659048 memory=2917516 CPUtime=4.62 cores=1,3,5,7
/proc/30574/task/30580/stat : 30580 (java) S 30571 30574 29110 0 -1 1077944384 38153 0 0 0 399 63 0 0 20 0 15 0 96449878 10914865152 725788 33554432000 4194304 4196468 140727404708352 139831733668368 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30581] ppid=30571 vsize=10659048 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/30574/task/30581/stat : 30581 (java) S 30571 30574 29110 0 -1 1077944384 13096 0 0 0 51 4 0 0 20 0 15 0 96449879 10914865152 725788 33554432000 4194304 4196468 140727404708352 139831047871088 139831810763394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30582] ppid=30571 vsize=10659048 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30582/stat : 30582 (java) S 30571 30574 29110 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 96449880 10914865152 725788 33554432000 4194304 4196468 140727404708352 139831046817120 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30583] ppid=30571 vsize=10659048 memory=2903152 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30583/stat : 30583 (java) S 30571 30574 29110 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 96449880 10914865152 725788 33554432000 4194304 4196468 140727404708352 139831045764720 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30584] ppid=30571 vsize=10659048 memory=2903152 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30584/stat : 30584 (java) S 30571 30574 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96449882 10914865152 725788 33554432000 4194304 4196468 140727404708352 139831044713040 139831810770843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30585] ppid=30571 vsize=10659048 memory=2917516 CPUtime=2.15 cores=1,3,5,7
/proc/30574/task/30585/stat : 30585 (java) S 30571 30574 29110 0 -1 1077944384 16959 0 0 0 213 2 0 0 20 0 15 0 96449882 10914865152 725788 33554432000 4194304 4196468 140727404708352 139831043659888 139831810763394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30586] ppid=30571 vsize=10659048 memory=3360 CPUtime=2.55 cores=1,3,5,7
/proc/30574/task/30586/stat : 30586 (java) S 30571 30574 29110 0 -1 1077944384 19587 0 0 0 253 2 0 0 20 0 15 0 96449882 10914865152 725788 33554432000 4194304 4196468 140727404708352 139831042607088 139831810763394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30587] ppid=30571 vsize=10659048 memory=2724 CPUtime=0.71 cores=1,3,5,7
/proc/30574/task/30587/stat : 30587 (java) S 30571 30574 29110 0 -1 1077944384 16582 0 0 0 69 2 0 0 20 0 15 0 96449882 10914865152 725788 33554432000 4194304 4196468 140727404708352 139831041554800 139831810763394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30588] ppid=30571 vsize=10659048 memory=2917516 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30588/stat : 30588 (java) S 30571 30574 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96449883 10914865152 725788 33554432000 4194304 4196468 140727404708352 139831040502240 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30589] ppid=30571 vsize=10659048 memory=2917516 CPUtime=1.47 cores=1,3,5,7
/proc/30574/task/30589/stat : 30589 (java) S 30571 30574 29110 0 -1 1077944384 2724 0 0 0 69 78 0 0 20 0 15 0 96449883 10914865152 725788 33554432000 4194304 4196468 140727404708352 139831039450032 139831810763394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 2903152 KiB

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

[startup+2499.34 s]
# the end of solver process 30574 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.88 s, system=4.26457 s

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

[startup+2499.3 s]
/proc/loadavg: 1.84 2.01 1.94 3/216 30863
/proc/meminfo: memFree=24089868/32770624 swapFree=67108860/67108860
[pid=30574] ppid=30571 vsize=10659048 memory=2903152 CPUtime=2520.07 cores=1,3,5,7
/proc/30574/stat : 30574 (java) S 30571 30574 29110 0 -1 1077944320 1408838 0 0 0 251583 424 0 0 20 0 15 0 96449877 10914865152 725788 33554432000 4194304 4196468 140727404708352 140727404690896 139831810752247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
/proc/30574/statm: 2664762 725788 3185 1 0 2627263 0
[pid=30574/tid=30576] ppid=30571 vsize=10659048 memory=2903152 CPUtime=2493.99 cores=1,3,5,7
/proc/30574/task/30576/stat : 30576 (java) R 30571 30574 29110 0 -1 4202560 1195692 0 0 0 249305 94 0 0 20 0 15 0 96449877 10914865152 725788 33554432000 4194304 4196468 140727404708352 139831814991760 139831407929290 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30577] ppid=30571 vsize=10659048 memory=2917516 CPUtime=4.63 cores=1,3,5,7
/proc/30574/task/30577/stat : 30577 (java) S 30571 30574 29110 0 -1 1077944384 38614 0 0 0 398 65 0 0 20 0 15 0 96449878 10914865152 725788 33554432000 4194304 4196468 140727404708352 139831736826256 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30578] ppid=30571 vsize=10659048 memory=2917516 CPUtime=4.63 cores=1,3,5,7
/proc/30574/task/30578/stat : 30578 (java) S 30571 30574 29110 0 -1 1077944384 37268 0 0 0 400 63 0 0 20 0 15 0 96449878 10914865152 725788 33554432000 4194304 4196468 140727404708352 139831735773456 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30579] ppid=30571 vsize=10659048 memory=2917516 CPUtime=4.67 cores=1,3,5,7
/proc/30574/task/30579/stat : 30579 (java) S 30571 30574 29110 0 -1 1077944384 28703 0 0 0 405 62 0 0 20 0 15 0 96449878 10914865152 725788 33554432000 4194304 4196468 140727404708352 139831734721168 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30580] ppid=30571 vsize=10659048 memory=2917516 CPUtime=4.62 cores=1,3,5,7
/proc/30574/task/30580/stat : 30580 (java) S 30571 30574 29110 0 -1 1077944384 38153 0 0 0 399 63 0 0 20 0 15 0 96449878 10914865152 725788 33554432000 4194304 4196468 140727404708352 139831733668368 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30581] ppid=30571 vsize=10659048 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/30574/task/30581/stat : 30581 (java) S 30571 30574 29110 0 -1 1077944384 13096 0 0 0 51 4 0 0 20 0 15 0 96449879 10914865152 725788 33554432000 4194304 4196468 140727404708352 139831047871088 139831810763394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30582] ppid=30571 vsize=10659048 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30582/stat : 30582 (java) S 30571 30574 29110 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 96449880 10914865152 725788 33554432000 4194304 4196468 140727404708352 139831046817120 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30583] ppid=30571 vsize=10659048 memory=2903152 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30583/stat : 30583 (java) S 30571 30574 29110 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 96449880 10914865152 725788 33554432000 4194304 4196468 140727404708352 139831045764720 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30584] ppid=30571 vsize=10659048 memory=2903152 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30584/stat : 30584 (java) S 30571 30574 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96449882 10914865152 725788 33554432000 4194304 4196468 140727404708352 139831044713040 139831810770843 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30585] ppid=30571 vsize=10659048 memory=2917516 CPUtime=2.15 cores=1,3,5,7
/proc/30574/task/30585/stat : 30585 (java) S 30571 30574 29110 0 -1 1077944384 16959 0 0 0 213 2 0 0 20 0 15 0 96449882 10914865152 725788 33554432000 4194304 4196468 140727404708352 139831043659888 139831810763394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30586] ppid=30571 vsize=10659048 memory=3360 CPUtime=2.55 cores=1,3,5,7
/proc/30574/task/30586/stat : 30586 (java) S 30571 30574 29110 0 -1 1077944384 19587 0 0 0 253 2 0 0 20 0 15 0 96449882 10914865152 725788 33554432000 4194304 4196468 140727404708352 139831042607088 139831810763394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30587] ppid=30571 vsize=10659048 memory=2724 CPUtime=0.71 cores=1,3,5,7
/proc/30574/task/30587/stat : 30587 (java) S 30571 30574 29110 0 -1 1077944384 16582 0 0 0 69 2 0 0 20 0 15 0 96449882 10914865152 725788 33554432000 4194304 4196468 140727404708352 139831041554800 139831810763394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30588] ppid=30571 vsize=10659048 memory=2917516 CPUtime=0 cores=1,3,5,7
/proc/30574/task/30588/stat : 30588 (java) S 30571 30574 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96449883 10914865152 725788 33554432000 4194304 4196468 140727404708352 139831040502240 139831810762453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
[pid=30574/tid=30589] ppid=30571 vsize=10659048 memory=2917516 CPUtime=1.47 cores=1,3,5,7
/proc/30574/task/30589/stat : 30589 (java) S 30571 30574 29110 0 -1 1077944384 2724 0 0 0 69 78 0 0 20 0 15 0 96449883 10914865152 725788 33554432000 4194304 4196468 140727404708352 139831039450032 139831810763394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11591680 140727404713133 140727404713225 140727404713225 140727404715983 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 2903152 KiB

Child status: 143
Real time (s): 2499.34
CPU time (s): 2520.14
CPU user time (s): 2515.88
CPU system time (s): 4.26457
CPU usage (%): 100.832
Max. virtual memory (cumulated for all children) (KiB): 10659048
Max. memory (cumulated for all children) (KiB): 4530792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.88
system time used= 4.26457
maximum resident set size= 4530792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1410465
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59034
involuntary context switches= 1341


# summary of solver processes directly reported to runsolver:
#   pid: 30574
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2515.88
#   total CPU system time (s): 4.26457

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8801 second user time and 22.9186 second system time

The end

Launcher Data 

Begin job on node136 at 2018-07-28 16:41:07
IDJOB=4298978
IDBENCH=141278
IDSOLVER=2763
FILE ID=node136/4298978-1532788867
RUNJOBID= node136-1532776307-29142
PBS_JOBID= 21022471
Free space on /tmp= 55664 MiB

SOLVER NAME= MiniCPFever 2018-04-29
BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-test01-0150_c18.xml
COMMAND LINE= java -jar minicp-1.0.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298978-1532788867/watcher-4298978-1532788867 -o /tmp/evaluation-result-4298978-1532788867/solver-4298978-1532788867 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532776307-29142 --watchdog 2580  java -jar minicp-1.0.jar HOME/instance-4298978-1532788867.xml

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

MD5SUM BENCH= 0e4565184fd00ba85c2da13ba2e2ff53
RANDOM SEED=425077792

node136.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.50
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.50
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.50
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.50
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:        25006244 kB
MemAvailable:   28933824 kB
Buffers:          190464 kB
Cached:          3997396 kB
SwapCached:            0 kB
Active:          4879120 kB
Inactive:        2385348 kB
Active(anon):    3027876 kB
Inactive(anon):    76472 kB
Active(file):    1851244 kB
Inactive(file):  2308876 kB
Unevictable:        7336 kB
Mlocked:            7336 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            137380 kB
Writeback:             4 kB
AnonPages:       3084312 kB
Mapped:            45160 kB
Shmem:             25228 kB
Slab:             194756 kB
SReclaimable:     166592 kB
SUnreclaim:        28164 kB
KernelStack:        3696 kB
PageTables:        11392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3989416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2975744 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= 55660 MiB
End job on node136 at 2018-07-28 17:22:47