Trace number 4308666

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2018-08-14SAT (TO)28280 2520.09 2451.62

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-scen-06-opt_c18.xml
MD5SUMfd86b7eb5950840b127d09215950c850
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10458
Best CPU time to get the best result obtained on this benchmark2400.27
Satisfiable
(Un)Satisfiability was proved
Number of variables1422
Number of constraints1322
Number of domains7
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":1222},{"size":22,"count":2},{"size":36,"count":92},{"size":44,"count":106}]
Minimum variable degree1
Maximum variable degree44
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":1225},{"degree":3,"count":9},{"degree":4,"count":5},{"degree":5,"count":12},{"degree":6,"count":11},{"degree":7,"count":15},{"degree":8,"count":5},{"degree":9,"count":12},{"degree":10,"count":17},{"degree":11,"count":9},{"degree":12,"count":7},{"degree":13,"count":15},{"degree":14,"count":1},{"degree":15,"count":18},{"degree":17,"count":11},{"degree":19,"count":8},{"degree":20,"count":3},{"degree":21,"count":2},{"degree":22,"count":1},{"degree":23,"count":6},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":27,"count":4},{"degree":28,"count":8},{"degree":30,"count":4},{"degree":35,"count":2},{"degree":36,"count":2},{"degree":39,"count":1},{"degree":44,"count":1}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":100},{"arity":3,"count":1222}]
Number of extensional constraints0
Number of intensional constraints1322
Distribution of constraint types[{"type":"intension","count":1322}]
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.67/0.56	c version: 2018-08-14
0.67/0.56	c seed: 276186297
0.67/0.56	c timeout: 2520
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
4.68/2.10	c Parsing done, starting first complete search...
43.81/37.59	o 109300
43.81/37.59	o 109290
43.81/37.59	o 109280
43.81/37.60	o 109180
43.81/37.60	o 109170
43.81/37.60	o 109169
43.81/37.60	o 109159
43.97/37.61	o 109059
43.97/37.61	o 109049
43.97/37.61	o 109048
43.97/37.61	o 109047
43.97/37.61	o 108947
43.97/37.62	o 108946
43.97/37.62	o 108936
43.97/37.62	o 107935
43.97/37.62	o 107843
43.97/37.63	o 107833
43.97/37.63	o 107114
43.97/37.63	o 107113
43.97/37.64	o 107112
43.97/37.64	o 107012
43.97/37.65	o 106230
43.97/37.65	o 106229
43.97/37.65	o 106119
43.97/37.65	o 106118
43.97/37.65	o 106008
43.97/37.66	o 105908
43.97/37.66	o 105898
43.97/37.66	o 105797
43.97/37.66	o 105787
43.97/37.67	o 105122
43.97/37.67	o 105029
43.97/37.67	o 104929
43.97/37.68	o 104919
43.97/37.68	o 104399
43.97/37.68	o 104389
43.97/37.68	o 104290
43.97/37.69	o 104110
43.97/37.69	o 104011
43.97/37.69	o 103115
43.97/37.69	o 103015
44.25/37.71	o 102915
44.45/37.81	o 102902
44.45/37.82	o 102801
44.45/37.82	o 102800
44.45/37.83	o 102701
44.45/37.85	o 102114
44.45/37.85	o 102015
44.61/37.90	o 101915
44.61/37.96	o 101908
44.61/37.97	o 101907
44.61/37.97	o 101906
44.61/37.97	o 101905
44.61/37.97	o 101895
44.61/37.97	o 101894
44.61/37.98	o 101893
44.61/37.98	o 101794
44.61/37.99	o 101614
44.61/37.99	o 101515
44.78/38.06	o 100513
44.78/38.06	o 100512
44.78/38.10	o 99615
44.78/38.10	o 99516
45.08/38.37	o 99512
45.08/38.37	o 99502
45.08/38.37	o 99501
45.08/38.38	o 99402
45.08/38.38	o 99401
45.70/39.01	o 99302
45.83/39.01	o 99301
45.83/39.06	o 99300
46.63/39.85	o 98683
46.63/39.85	o 98584
47.33/40.52	o 98493
47.33/40.52	o 98492
47.33/40.52	o 98491
47.33/40.53	o 98391
47.33/40.53	o 98390
50.13/43.36	o 98369
51.13/44.38	o 98290
54.44/47.66	o 97659
54.44/47.67	o 97658
54.74/47.94	o 97581
54.74/47.94	o 97481
54.74/47.94	o 97381
55.04/48.29	o 96685
55.04/48.29	o 96585
55.04/48.29	o 96575
55.04/48.29	o 96564
55.44/48.63	o 96499
55.44/48.63	o 96489
55.44/48.63	o 96389
55.55/48.77	o 95392
55.55/48.77	o 95391
55.55/48.77	o 95390
55.75/48.91	o 95380
55.86/49.03	o 95290
55.86/49.04	o 95280
56.55/49.72	o 94882
56.55/49.72	o 94873
56.55/49.72	o 94872
56.55/49.73	o 94862
56.55/49.73	o 94852
56.55/49.73	o 94841
57.05/50.23	o 94764
57.05/50.23	o 94664
57.05/50.23	o 94564
58.06/51.27	o 94477
58.06/51.27	o 94476
58.06/51.28	o 94465
58.97/52.11	o 94385
58.97/52.11	o 94375
58.97/52.11	o 94365
58.97/52.12	o 94275
58.97/52.12	o 94185
58.97/52.18	o 94184
59.07/52.25	o 94175
59.07/52.27	o 94174
59.07/52.27	o 94094
60.27/53.45	o 93947
60.27/53.45	o 93937
60.27/53.45	o 93936
60.27/53.45	o 93846
60.27/53.46	o 93746
60.27/53.46	o 93736
60.27/53.46	o 93636
60.27/53.48	o 93635
61.28/54.46	o 93548
61.28/54.46	o 93547
61.28/54.46	o 93546
61.38/54.53	o 93369
61.38/54.54	o 93269
61.48/54.65	o 93268
61.99/55.18	o 93259
61.99/55.18	o 93249
61.99/55.18	o 93248
95.64/88.75	o 93009
95.64/88.76	o 93008
95.64/88.76	o 93007
95.64/88.76	o 92997
95.64/88.76	o 92898
95.64/88.76	o 92798
95.84/88.91	o 92700
95.84/88.91	o 92699
95.84/88.93	o 92698
184.61/177.29	c First complete search done, starting ALNS search...
184.93/177.43	o 91698
184.93/177.43	o 91687
184.93/177.43	o 91676
185.81/177.75	o 91671
185.81/177.76	o 91670
185.81/177.77	o 91669
186.69/178.20	o 91667
186.69/178.21	o 90667
188.72/180.15	o 90567
191.52/182.77	o 90559
191.52/182.78	o 90558
191.52/182.79	o 90549
191.63/182.80	o 90548
191.63/182.86	o 89650
191.63/182.87	o 89649
195.31/186.29	o 89551
195.44/186.30	o 89549
195.44/186.33	o 89547
195.44/186.34	o 89451
195.44/186.34	o 89449
200.10/190.85	o 89349
200.10/190.86	o 89348
200.10/190.86	o 89347
200.10/190.87	o 88449
200.10/190.88	o 88349
203.56/194.19	o 88346
203.66/194.20	o 88345
203.66/194.22	o 88344
203.66/194.27	o 88343
203.66/194.29	o 88342
203.82/194.32	o 88341
203.82/194.34	o 88340
203.82/194.37	o 88339
203.82/194.39	o 88338
203.92/194.40	o 88337
203.92/194.43	o 88336
203.92/194.46	o 88335
204.03/194.51	o 88334
205.16/195.61	o 87760
205.16/195.63	o 87660
205.16/195.65	o 87560
205.16/195.66	o 87551
205.26/195.71	o 87542
205.26/195.73	o 87460
205.26/195.76	o 87451
205.26/195.78	o 87450
205.37/195.81	o 87441
205.37/195.84	o 87440
205.48/195.99	o 87431
205.59/196.02	o 87359
205.59/196.04	o 87349
205.59/196.06	o 87348
205.59/196.09	o 87340
205.70/196.11	o 87339
205.70/196.15	o 87338
205.70/196.16	o 87337
205.80/196.23	o 87336
205.80/196.26	o 87328
205.80/196.27	o 87327
205.80/196.29	o 87267
205.90/196.31	o 87257
205.90/196.33	o 87247
205.90/196.36	o 87237
205.90/196.38	o 87236
206.00/196.41	o 87235
206.00/196.43	o 87234
206.00/196.46	o 87233
206.00/196.50	o 86659
206.12/196.51	o 86658
206.12/196.52	o 86558
206.12/196.54	o 86557
206.12/196.56	o 86458
206.12/196.58	o 86457
206.12/196.59	o 86448
206.22/196.60	o 86447
206.22/196.62	o 86358
206.22/196.64	o 86357
206.22/196.66	o 86348
206.22/196.67	o 86347
206.22/196.69	o 86338
206.32/196.70	o 86337
206.32/196.73	o 86329
206.32/196.75	o 86328
206.32/196.79	o 86258
206.42/196.81	o 86248
206.42/196.82	o 86247
206.42/196.83	o 86238
206.42/196.85	o 86237
206.42/196.87	o 86236
206.52/196.90	o 86235
206.52/196.92	o 86234
206.52/196.95	o 86229
206.52/196.97	o 86228
206.52/197.00	o 86227
206.63/197.02	o 86226
206.63/197.05	o 86225
206.82/197.27	o 85660
206.82/197.28	o 85659
206.82/197.29	o 85650
206.92/197.31	o 85649
206.92/197.32	o 85640
206.92/197.34	o 85639
206.92/197.35	o 85560
206.92/197.37	o 85550
206.92/197.38	o 85549
206.92/197.40	o 85540
207.03/197.41	o 85539
207.03/197.43	o 85460
207.03/197.44	o 85450
207.03/197.46	o 85440
207.03/197.48	o 85439
207.14/197.50	o 85438
207.14/197.52	o 85359
207.14/197.53	o 85349
207.14/197.54	o 85339
207.14/197.56	o 85338
207.14/197.58	o 85330
207.14/197.59	o 85329
207.24/197.61	o 85259
207.24/197.63	o 85249
207.24/197.65	o 85239
207.24/197.68	o 85238
207.35/197.70	o 85237
207.35/197.74	o 85159
207.35/197.75	o 85149
207.35/197.75	o 85139
207.35/197.76	o 84257
207.35/197.77	o 84247
207.57/197.97	o 84147
207.78/198.14	o 83947
207.78/198.18	o 82847
207.98/198.38	o 81847
210.73/201.10	o 81370
210.83/201.12	o 81369
210.83/201.13	o 81368
210.83/201.16	o 81361
210.83/201.17	o 81360
210.83/201.19	o 81359
210.92/201.21	o 81358
210.92/201.24	o 81357
210.92/201.29	o 81271
211.02/201.30	o 81261
211.02/201.32	o 81260
211.02/201.34	o 81259
211.02/201.35	o 81258
211.02/201.37	o 81257
211.12/201.42	o 81251
211.12/201.44	o 81250
211.12/201.46	o 81249
211.12/201.48	o 81248
213.66/204.00	o 80638
213.89/204.12	o 80628
213.89/204.13	o 80538
213.89/204.14	o 80528
215.51/205.75	o 80514
215.51/205.76	o 80513
215.51/205.77	o 80503
215.51/205.79	o 80502
215.62/205.80	o 80501
215.62/205.82	o 80500
215.62/205.83	o 80493
215.62/205.85	o 80492
215.62/205.86	o 80491
215.62/205.88	o 80490
215.62/205.89	o 80489
215.72/205.91	o 80482
215.72/205.92	o 80481
215.72/205.93	o 80480
215.72/205.95	o 80479
215.83/206.10	o 80478
216.12/206.31	o 80477
217.60/207.74	o 80476
217.60/207.75	o 80377
217.60/207.75	o 80376
217.60/207.76	o 80375
218.24/208.32	o 79385
218.24/208.33	o 79375
218.36/208.49	o 78575
218.91/209.00	o 78574
219.24/209.22	o 76561
219.24/209.24	o 76559
219.24/209.26	o 76551
219.24/209.29	o 76549
219.65/209.62	o 76540
219.65/209.62	o 76530
219.65/209.64	o 76528
220.27/210.24	o 76428
220.69/210.59	o 76159
220.80/210.60	o 75948
220.80/210.61	o 75947
221.75/211.52	o 75059
221.75/211.53	o 75049
221.75/211.55	o 75048
221.75/211.59	o 74959
221.85/211.60	o 74958
221.85/211.62	o 74949
221.85/211.63	o 74948
222.05/211.89	o 74918
222.16/211.97	o 74917
222.27/212.07	o 74906
222.37/212.13	o 74896
225.01/214.77	o 74895
225.83/215.56	o 74894
226.35/216.08	o 73896
226.35/216.10	o 73895
226.46/216.13	o 73894
227.47/217.13	o 73796
227.47/217.15	o 73795
227.47/217.17	o 73794
228.28/217.96	o 73596
228.28/217.98	o 73595
228.39/218.01	o 73594
228.39/218.04	o 73496
228.39/218.06	o 73495
228.39/218.08	o 73494
229.30/218.93	o 73394
229.52/219.12	o 72807
229.52/219.15	o 72796
229.52/219.17	o 72795
230.37/219.95	o 72697
230.37/219.97	o 71805
230.37/219.97	o 71795
230.37/219.98	o 71707
230.37/219.98	o 71697
230.37/220.01	o 71687
230.50/220.02	o 71587
230.50/220.04	o 71497
230.50/220.05	o 71487
230.50/220.06	o 71387
230.60/220.11	o 71286
230.60/220.15	o 71285
230.60/220.18	o 71186
230.96/220.42	o 71185
230.96/220.45	o 71095
230.96/220.48	o 71085
231.37/220.90	o 71084
231.47/220.96	o 70994
231.47/220.99	o 70984
233.41/222.90	o 70618
233.52/222.95	o 70608
233.63/223.01	o 70518
233.63/223.07	o 70508
233.73/223.13	o 70507
233.83/223.22	o 70506
233.93/223.30	o 70498
233.93/223.36	o 70497
234.04/223.44	o 70496
234.13/223.54	o 70495
234.23/223.64	o 70418
234.34/223.70	o 70408
234.34/223.76	o 70398
234.43/223.82	o 70397
234.43/223.87	o 70396
234.54/223.96	o 70388
234.65/224.02	o 70387
234.65/224.08	o 70386
235.77/225.18	o 70308
235.86/225.23	o 70307
235.97/225.31	o 70298
235.97/225.36	o 70297
236.07/225.42	o 70288
236.07/225.48	o 70287
236.17/225.54	o 70286
237.19/226.51	o 70281
237.19/226.55	o 70280
237.29/226.60	o 70279
237.40/226.73	o 70204
237.50/226.83	o 70194
237.60/226.94	o 70184
237.71/227.08	o 70183
237.91/227.21	o 69514
237.91/227.26	o 69504
238.01/227.32	o 69494
238.01/227.37	o 69404
238.11/227.43	o 69394
238.11/227.48	o 69384
238.21/227.54	o 69383
238.31/227.62	o 69304
238.31/227.68	o 69294
238.42/227.74	o 69293
238.52/227.80	o 69284
238.52/227.85	o 69283
238.63/227.93	o 69282
246.00/235.17	o 69227
246.09/235.22	o 69226
247.11/236.26	o 69216
247.31/236.40	o 69207
247.42/236.54	o 69199
247.52/236.60	o 69197
247.52/236.67	o 69189
247.62/236.72	o 69187
247.72/236.80	o 69186
247.72/236.86	o 69185
247.83/236.92	o 69180
247.83/236.96	o 69179
247.83/237.00	o 69178
247.94/237.05	o 69177
247.94/237.08	o 69176
248.33/237.47	o 69138
248.44/237.50	o 69137
248.44/237.54	o 69127
248.44/237.58	o 69118
248.54/237.65	o 69116
248.64/237.71	o 69107
248.64/237.76	o 69026
248.74/237.82	o 69025
248.74/237.86	o 69015
248.85/237.91	o 69006
248.85/237.98	o 68997
248.96/238.03	o 68989
248.96/238.08	o 68987
249.06/238.14	o 68916
249.06/238.18	o 68915
249.15/238.22	o 68907
249.15/238.27	o 68906
249.25/238.31	o 68905
249.25/238.35	o 68896
249.35/238.41	o 68887
249.45/238.50	o 68880
249.45/238.53	o 68879
249.45/238.57	o 68878
249.56/238.61	o 68869
249.56/238.67	o 68867
249.66/238.73	o 68866
249.76/238.87	o 68865
249.86/238.93	o 68864
249.97/239.01	o 68863
250.17/239.24	o 68820
250.17/239.28	o 68819
250.27/239.32	o 68809
250.27/239.37	o 68807
250.38/239.42	o 68800
250.38/239.46	o 68798
250.48/239.50	o 68797
250.59/239.60	o 68791
250.59/239.64	o 68789
250.59/239.68	o 68788
250.69/239.73	o 68782
250.69/239.77	o 68780
250.80/239.81	o 68779
250.80/239.86	o 68778
250.80/239.89	o 68777
250.90/239.95	o 68776
251.01/240.06	o 68722
251.01/240.10	o 68720
251.11/240.15	o 68719
251.11/240.18	o 68713
251.21/240.22	o 68712
251.21/240.25	o 68711
251.21/240.28	o 68710
251.31/240.34	o 68709
251.31/240.38	o 68702
251.41/240.42	o 68700
251.41/240.47	o 68699
251.51/240.53	o 68698
251.51/240.59	o 68697
251.61/240.63	o 68696
251.61/240.67	o 68689
251.71/240.71	o 68688
251.71/240.75	o 68687
251.71/240.78	o 68686
251.81/240.83	o 68680
251.81/240.86	o 68679
251.81/240.90	o 68678
251.92/240.92	o 68677
251.92/240.96	o 68676
252.13/241.12	o 68631
252.13/241.16	o 68629
252.13/241.19	o 68628
252.23/241.24	o 68622
252.23/241.27	o 68621
252.33/241.30	o 68620
252.33/241.33	o 68619
252.33/241.37	o 68618
252.43/241.41	o 68611
252.43/241.45	o 68609
252.53/241.50	o 68608
252.53/241.57	o 68607
252.63/241.60	o 68606
252.63/241.63	o 68605
252.63/241.67	o 68604
252.74/241.70	o 68603
252.74/241.74	o 68597
252.74/241.77	o 68596
252.85/241.80	o 68595
252.85/241.83	o 68594
252.85/241.88	o 68588
252.95/241.92	o 68586
252.95/241.97	o 68585
252.95/242.00	o 68521
253.06/242.06	o 68520
253.06/242.09	o 68519
253.16/242.12	o 68518
253.16/242.16	o 68517
253.16/242.19	o 68512
253.26/242.22	o 68511
253.26/242.26	o 68510
253.26/242.29	o 68509
253.36/242.32	o 68508
253.36/242.37	o 68501
253.46/242.41	o 68499
253.46/242.46	o 68498
253.56/242.50	o 68497
253.56/242.54	o 68496
253.56/242.59	o 68495
253.66/242.63	o 68488
253.66/242.67	o 68486
253.77/242.72	o 68421
253.77/242.76	o 68420
253.87/242.80	o 68419
253.87/242.84	o 68418
253.87/242.87	o 68412
253.97/242.90	o 68410
253.97/242.94	o 68409
253.97/242.98	o 68408
254.08/243.01	o 68401
254.08/243.05	o 68399
254.18/243.12	o 68398
254.28/243.20	o 68391
254.28/243.23	o 68389
254.28/243.27	o 68388
254.38/243.34	o 68387
254.38/243.37	o 68386
254.48/243.41	o 68379
254.48/243.44	o 68377
254.48/243.48	o 68376
254.58/243.56	o 68375
254.58/243.60	o 68369
254.70/243.63	o 68368
254.70/243.66	o 68367
254.70/243.69	o 68366
254.80/243.75	o 68365
255.31/244.21	o 68286
255.52/244.42	o 68285
255.52/244.44	o 67386
255.52/244.47	o 67286
255.73/244.64	o 67066
256.55/245.40	o 67065
256.87/245.73	o 67064
260.09/248.89	o 66964
260.19/248.92	o 66874
260.30/249.03	o 66773
261.83/250.52	o 66772
262.03/250.74	o 65773
262.13/250.83	o 65772
262.35/251.01	o 65771
262.45/251.13	o 65770
268.91/257.48	o 65684
269.42/257.94	o 65683
269.42/257.96	o 65673
269.83/258.34	o 65672
296.11/283.99	o 64672
302.15/289.89	o 64572
302.86/290.51	o 63572
303.68/291.39	o 63472
315.24/302.65	o 63470
315.35/302.70	o 63469
315.35/302.75	o 63468
315.35/302.80	o 63467
315.45/302.84	o 63466
315.55/302.90	o 63465
315.55/302.95	o 63464
315.55/302.99	o 63463
324.26/311.49	o 63273
324.36/311.52	o 63272
324.36/311.55	o 63174
324.36/311.57	o 63173
324.36/311.59	o 63172
324.46/311.63	o 62474
324.46/311.65	o 62473
324.46/311.66	o 62374
324.46/311.68	o 62373
324.46/311.70	o 62174
324.57/311.72	o 62173
324.57/311.73	o 62172
324.57/311.79	o 62074
324.67/311.81	o 62073
324.67/311.83	o 61173
324.67/311.86	o 61074
324.67/311.88	o 61073
324.77/311.92	o 61072
324.77/311.96	o 61071
324.89/312.05	o 60374
324.89/312.09	o 60274
324.99/312.11	o 60074
324.99/312.15	o 60073
324.99/312.18	o 60072
325.08/312.25	o 60071
325.28/312.43	o 59464
325.28/312.46	o 59365
325.28/312.48	o 59364
325.38/312.52	o 59265
325.38/312.54	o 59264
325.49/312.61	o 59263
325.49/312.64	o 59164
325.49/312.67	o 59065
325.49/312.68	o 59064
325.59/312.73	o 59063
325.59/312.76	o 59062
326.04/313.16	o 59060
326.13/313.29	o 59059
328.53/315.58	o 59058
328.84/315.82	o 59057
329.87/316.85	o 58957
329.97/316.95	o 58956
330.08/317.08	o 58947
331.90/318.83	o 58946
339.40/326.18	o 58846
339.49/326.29	o 58836
343.27/329.96	o 58745
343.39/330.02	o 58735
353.93/340.37	o 58734
354.44/340.81	o 58645
354.44/340.83	o 58635
357.61/343.93	o 58625
358.94/345.22	o 57997
361.39/347.64	o 57996
361.39/347.69	o 57995
361.81/348.08	o 57985
392.24/377.67	o 57972
397.12/382.34	o 57115
397.22/382.49	o 57105
397.32/382.56	o 57104
397.84/383.06	o 57006
397.94/383.11	o 57005
400.84/385.97	o 57004
401.06/386.17	o 56994
401.86/386.98	o 56993
402.37/387.40	o 56984
402.47/387.53	o 56983
403.41/388.37	o 56978
404.44/389.34	o 56890
404.44/389.39	o 56880
404.54/389.49	o 56790
404.64/389.58	o 56789
404.75/389.64	o 56779
405.06/389.91	o 56778
405.27/390.19	o 56687
405.37/390.28	o 56677
414.29/399.01	o 56599
414.41/399.10	o 56598
415.11/399.70	o 56589
415.22/399.81	o 56588
415.83/400.47	o 56577
415.93/400.57	o 56576
416.13/400.74	o 56567
416.24/400.86	o 56566
416.56/401.12	o 56558
416.75/401.34	o 56557
435.08/419.20	o 56514
435.18/419.32	o 56504
435.29/419.43	o 56493
435.39/419.54	o 56483
435.49/419.69	o 56473
436.41/420.57	o 56472
436.51/420.69	o 56471
436.93/421.02	o 56463
437.03/421.12	o 56462
441.73/425.77	o 55462
442.15/426.16	o 55438
442.15/426.19	o 55428
442.25/426.25	o 55328
442.35/426.39	o 55318
442.45/426.45	o 55228
442.55/426.50	o 55225
442.55/426.55	o 55194
442.65/426.61	o 55104
442.65/426.64	o 55094
442.75/426.79	o 55039
442.87/426.82	o 55029
442.87/426.87	o 55026
442.97/426.96	o 54995
443.08/427.02	o 54905
443.08/427.05	o 54895
443.27/427.21	o 54894
443.77/427.73	o 54893
445.23/429.16	o 54892
445.23/429.18	o 54882
446.53/430.37	o 54880
446.93/430.78	o 54879
447.97/431.75	o 54780
448.28/432.07	o 54680
448.88/432.64	o 54672
448.88/432.67	o 54671
448.98/432.70	o 54582
448.98/432.73	o 54572
448.98/432.76	o 54571
478.13/461.29	o 54561
478.33/461.42	o 54560
478.43/461.54	o 54559
478.96/462.06	o 54558
479.16/462.26	o 53774
479.36/462.41	o 53773
479.46/462.54	o 53764
479.56/462.67	o 53763
479.66/462.79	o 53762
479.87/462.96	o 53672
479.98/463.06	o 53671
480.08/463.16	o 53662
480.18/463.26	o 53661
480.28/463.37	o 53660
480.49/463.58	o 53659
480.69/463.75	o 53570
480.79/463.87	o 53560
480.90/463.98	o 53559
481.01/464.10	o 53558
481.62/464.67	o 53471
481.73/464.79	o 53461
481.93/464.90	o 53460
482.04/465.03	o 53459
507.58/489.97	o 53340
507.69/490.08	o 53319
510.96/493.25	o 53230
510.96/493.29	o 53220
511.06/493.31	o 53130
511.16/493.41	o 53120
526.08/507.80	o 52020
532.92/514.53	o 52014
533.02/514.62	o 51924
533.13/514.71	o 51914
533.55/515.17	o 51912
534.35/515.93	o 51564
534.35/515.99	o 51554
534.47/516.06	o 51454
534.57/516.13	o 51344
534.66/516.20	o 51334
535.17/516.76	o 50564
535.27/516.84	o 50554
535.37/516.90	o 50454
535.37/516.97	o 50444
535.49/517.06	o 50344
535.59/517.12	o 50334
541.01/522.43	o 50324
567.12/547.96	o 50322
567.75/548.56	o 49322
570.33/551.04	o 48454
570.33/551.09	o 48453
570.43/551.18	o 48452
570.62/551.30	o 48443
571.54/552.12	o 48441
571.73/552.36	o 48440
572.16/552.76	o 48439
572.59/553.19	o 48438
573.09/553.67	o 48437
573.60/554.11	o 48436
574.00/554.56	o 48435
574.62/555.12	o 48432
574.81/555.30	o 48427
574.91/555.40	o 48426
575.01/555.51	o 48425
575.87/556.39	o 48424
582.04/562.38	o 48422
582.14/562.47	o 48421
582.34/562.61	o 48420
582.44/562.79	o 48419
582.64/562.97	o 48418
582.85/563.20	o 48417
583.18/563.49	o 48416
583.58/563.83	o 48415
584.20/564.42	o 48335
584.30/564.54	o 48325
586.53/566.73	o 48324
586.84/567.08	o 48317
586.94/567.18	o 48316
587.13/567.32	o 48217
587.23/567.43	o 48216
588.55/568.73	o 48207
589.36/569.56	o 48206
590.16/570.22	o 48117
591.59/571.64	o 48116
592.50/572.58	o 48115
592.75/572.77	o 48112
592.86/572.87	o 48111
593.07/573.04	o 48110
595.30/575.13	o 48108
595.39/575.23	o 48107
595.49/575.37	o 48106
595.69/575.57	o 48105
596.04/575.85	o 48104
597.99/577.57	o 48103
607.48/586.83	o 48102
633.95/612.67	o 47352
634.05/612.77	o 47342
634.15/612.88	o 47341
636.62/615.27	o 47331
671.30/649.28	o 47330
675.82/653.63	o 47329
675.82/653.67	o 47328
679.11/656.80	o 47327
679.51/657.25	o 47326
682.87/660.60	o 47325
685.04/662.60	o 47315
706.36/683.68	o 47305
713.20/690.33	o 47304
713.44/690.55	o 47302
714.27/691.40	o 47295
714.67/691.78	o 47294
715.21/692.22	o 47293
715.61/692.67	o 47292
716.24/693.28	o 47290
718.17/695.19	o 47289
718.56/695.55	o 47288
719.37/696.31	o 47287
727.98/704.85	o 47286
768.48/744.15	o 47162
810.17/784.95	o 47161
836.80/811.05	o 47160
846.71/820.65	o 47038
846.93/820.81	o 46938
847.03/820.97	o 46838
847.24/821.16	o 46837
847.43/821.32	o 46828
847.63/821.50	o 46827
847.73/821.64	o 46826
847.93/821.81	o 46825
848.03/821.97	o 46818
848.14/822.10	o 46817
848.33/822.26	o 46816
848.55/822.45	o 46815
848.75/822.67	o 46808
848.95/822.82	o 46807
849.05/822.98	o 46806
849.26/823.14	o 46805
849.45/823.35	o 46798
849.55/823.49	o 46797
849.75/823.64	o 46796
849.95/823.80	o 46795
850.06/824.00	o 46794
850.26/824.14	o 46787
850.36/824.30	o 46786
850.56/824.44	o 46785
850.76/824.60	o 46784
850.86/824.76	o 46783
851.06/824.96	o 46777
851.27/825.13	o 46776
851.36/825.29	o 46775
851.57/825.45	o 46774
851.77/825.60	o 46773
853.48/827.39	o 46772
853.68/827.53	o 46771
854.89/828.75	o 46770
855.09/828.98	o 46732
855.30/829.15	o 46722
855.49/829.34	o 46721
855.59/829.48	o 46720
855.81/829.61	o 46712
855.91/829.75	o 46711
856.11/829.91	o 46710
856.22/830.09	o 46709
856.41/830.22	o 46708
856.51/830.36	o 46701
856.71/830.50	o 46700
856.81/830.64	o 46699
857.02/830.80	o 46698
857.12/830.98	o 46691
857.32/831.14	o 46690
857.41/831.27	o 46689
857.61/831.41	o 46688
857.81/831.60	o 46687
857.91/831.74	o 46686
858.24/832.06	o 46680
858.43/832.20	o 46679
858.53/832.33	o 46678
858.63/832.46	o 46677
858.83/832.67	o 46676
859.03/832.85	o 46675
859.13/832.97	o 46674
859.35/833.19	o 46673
860.14/833.94	o 46671
860.25/834.07	o 46670
860.45/834.25	o 46669
860.55/834.38	o 46668
860.75/834.52	o 46667
860.85/834.65	o 46666
861.15/834.93	o 46665
861.26/835.06	o 46664
861.46/835.20	o 46663
861.56/835.35	o 46660
861.66/835.47	o 46659
861.86/835.61	o 46658
862.06/835.81	o 46657
862.16/835.95	o 46651
878.68/852.14	o 46623
879.28/852.77	o 46621
879.48/852.99	o 46613
879.70/853.19	o 46611
879.99/853.50	o 46601
880.40/853.89	o 46591
880.72/854.19	o 46590
890.21/863.42	o 46581
890.54/863.76	o 46580
890.74/863.99	o 46579
891.25/864.40	o 46490
891.45/864.63	o 46480
891.66/864.88	o 46479
891.87/865.11	o 46478
893.92/867.03	o 45590
894.02/867.16	o 45580
894.21/867.33	o 45579
894.42/867.52	o 45570
894.52/867.70	o 45569
894.82/867.90	o 45560
894.94/868.07	o 45559
895.13/868.25	o 45489
895.33/868.40	o 45488
895.44/868.56	o 45479
895.64/868.72	o 45469
895.74/868.88	o 45468
895.96/869.07	o 45459
896.15/869.25	o 45458
904.83/877.51	o 45368
904.95/877.60	o 45358
904.95/877.69	o 45278
905.05/877.78	o 45268
907.36/879.98	o 45258
913.02/885.52	o 45178
913.22/885.71	o 45168
913.42/885.91	o 45167
913.63/886.16	o 45166
916.57/889.01	o 45158
916.77/889.25	o 45157
916.97/889.49	o 45156
928.92/901.13	o 45155
929.41/901.62	o 45103
929.53/901.72	o 45093
930.14/902.30	o 45084
930.24/902.44	o 45074
930.34/902.59	o 45064
930.64/902.80	o 45054
930.86/903.06	o 45044
932.07/904.26	o 45043
944.89/916.70	o 45037
945.10/916.94	o 45036
945.40/917.28	o 45035
945.81/917.66	o 45027
946.12/917.93	o 45026
946.33/918.15	o 45025
946.52/918.35	o 45017
946.74/918.56	o 45016
946.94/918.77	o 45015
947.26/919.09	o 45006
947.55/919.35	o 45005
947.96/919.77	o 44996
948.37/920.12	o 44995
952.26/923.91	o 44994
953.29/924.92	o 44985
953.60/925.28	o 44984
954.42/926.01	o 44975
954.73/926.34	o 44974
957.18/928.79	o 44973
965.99/937.32	o 44901
966.20/937.50	o 44891
966.40/937.71	o 44890
966.91/938.24	o 44881
967.01/938.37	o 44880
968.14/939.40	o 44871
968.24/939.55	o 44870
997.11/967.72	o 44801
998.56/969.14	o 44800
998.95/969.55	o 44791
999.27/969.86	o 44790
999.68/970.25	o 44780
999.98/970.56	o 44779
1013.29/983.54	o 44775
1013.59/983.86	o 44774
1050.36/1019.48	o 44765
1050.66/1019.75	o 44764
1050.88/1019.99	o 44763
1056.40/1025.38	o 44672
1056.50/1025.45	o 44662
1056.70/1025.65	o 44661
1056.91/1025.83	o 44564
1058.34/1027.23	o 44563
1058.34/1027.27	o 44562
1058.44/1027.31	o 44561
1059.99/1028.83	o 44465
1059.99/1028.88	o 44464
1061.94/1030.78	o 44463
1062.76/1031.58	o 44462
1065.10/1033.88	o 44402
1065.33/1034.10	o 44401
1065.52/1034.21	o 43832
1065.62/1034.33	o 43822
1066.55/1035.23	o 43821
1066.65/1035.33	o 43730
1080.27/1048.69	o 43709
1083.54/1051.83	o 43698
1084.57/1052.80	o 43579
1084.57/1052.89	o 43568
1085.19/1053.40	o 43567
1086.22/1054.48	o 43566
1088.77/1056.99	o 43565
1088.88/1057.10	o 43564
1089.17/1057.30	o 43563
1089.39/1057.53	o 43506
1089.59/1057.71	o 43496
1089.69/1057.88	o 43495
1089.89/1058.08	o 43486
1090.09/1058.27	o 43485
1090.30/1058.46	o 43484
1093.46/1061.54	o 43416
1093.56/1061.69	o 43415
1093.78/1061.89	o 43406
1093.99/1062.01	o 43405
1094.09/1062.19	o 43404
1094.30/1062.38	o 43396
1094.40/1062.49	o 43395
1094.60/1062.66	o 43394
1094.91/1062.97	o 43386
1095.02/1063.09	o 43385
1095.21/1063.24	o 43384
1097.89/1065.82	o 43376
1097.98/1065.97	o 43375
1098.19/1066.14	o 43374
1098.48/1066.44	o 43296
1098.58/1066.59	o 43295
1098.80/1066.75	o 43286
1098.90/1066.88	o 43285
1099.11/1067.06	o 43284
1099.32/1067.28	o 43276
1099.52/1067.47	o 43275
1099.72/1067.64	o 43274
1101.35/1069.20	o 43273
1106.23/1073.94	o 43272
1106.74/1074.47	o 43271
1107.45/1075.14	o 43270
1108.07/1075.75	o 43269
1115.00/1082.57	o 43180
1115.63/1083.12	o 43179
1115.92/1083.40	o 43169
1118.81/1086.29	o 43168
1121.16/1088.57	o 43161
1121.46/1088.85	o 43160
1121.80/1089.13	o 43159
1122.09/1089.45	o 43158
1123.94/1091.23	o 43157
1124.14/1091.50	o 43150
1124.44/1091.79	o 43149
1124.87/1092.18	o 43148
1125.26/1092.54	o 43147
1125.68/1092.92	o 43146
1139.71/1106.61	o 41742
1152.93/1119.52	o 41741
1167.17/1133.23	o 41733
1167.47/1133.53	o 41732
1167.88/1133.90	o 41731
1173.84/1139.78	o 41730
1174.15/1140.04	o 41729
1176.88/1142.72	o 41724
1185.30/1150.97	o 41626
1186.02/1151.60	o 41625
1186.63/1152.23	o 41624
1205.48/1170.69	o 41623
1209.79/1174.82	o 41554
1209.89/1174.97	o 41553
1210.50/1175.55	o 41544
1210.70/1175.75	o 41534
1210.92/1175.96	o 41533
1211.84/1176.85	o 41532
1212.04/1177.11	o 41531
1214.48/1179.41	o 41530
1240.41/1204.74	o 41529
1266.07/1229.60	o 41528
1272.10/1235.54	o 41519
1277.22/1240.57	o 41518
1279.07/1242.35	o 41517
1306.76/1269.36	o 41516
1330.98/1293.02	o 41452
1331.08/1293.14	o 41442
1331.17/1293.28	o 41441
1331.27/1293.39	o 41440
1331.47/1293.51	o 41439
1331.57/1293.67	o 41431
1331.69/1293.76	o 41430
1331.79/1293.87	o 41429
1331.89/1293.98	o 41428
1332.29/1294.31	o 41381
1332.39/1294.41	o 41380
1332.50/1294.57	o 41379
1332.90/1295.00	o 41371
1333.11/1295.11	o 41370
1333.20/1295.24	o 41369
1334.74/1296.79	o 41360
1334.86/1296.89	o 41359
1334.96/1297.00	o 41358
1335.26/1297.22	o 41357
1335.67/1297.66	o 41350
1335.77/1297.74	o 41349
1335.87/1297.84	o 41340
1335.97/1297.95	o 41339
1336.08/1298.06	o 41338
1336.91/1298.88	o 41337
1337.83/1299.77	o 41330
1337.93/1299.89	o 41329
1338.14/1300.01	o 41328
1338.24/1300.12	o 41327
1338.54/1300.48	o 41326
1361.11/1322.52	o 40910
1361.43/1322.90	o 40890
1361.82/1323.21	o 40889
1362.02/1323.48	o 40690
1362.44/1323.84	o 40689
1362.75/1324.11	o 40680
1363.06/1324.41	o 40679
1363.36/1324.75	o 40678
1363.97/1325.35	o 40670
1364.28/1325.60	o 40669
1364.57/1325.91	o 40668
1365.82/1327.17	o 39910
1366.11/1327.43	o 39909
1366.33/1327.66	o 39900
1366.63/1327.91	o 39899
1366.94/1328.24	o 39890
1367.24/1328.55	o 39889
1367.87/1329.14	o 39791
1368.06/1329.36	o 39790
1368.38/1329.61	o 39781
1368.58/1329.84	o 39780
1368.91/1330.16	o 39710
1369.20/1330.47	o 39700
1369.50/1330.73	o 39699
1369.82/1331.01	o 39690
1370.01/1331.26	o 39689
1370.44/1331.66	o 39680
1370.74/1331.91	o 39679
1370.95/1332.18	o 39670
1371.24/1332.48	o 39669
1371.66/1332.82	o 39668
1376.69/1337.50	o 39175
1376.79/1337.60	o 39174
1376.90/1337.73	o 39164
1377.10/1337.90	o 39154
1377.21/1338.04	o 39153
1377.31/1338.16	o 39075
1377.40/1338.25	o 39074
1377.52/1338.35	o 39065
1377.62/1338.44	o 39064
1377.72/1338.55	o 39055
1377.82/1338.64	o 39054
1377.92/1338.75	o 39044
1378.02/1338.88	o 39043
1378.14/1338.99	o 39042
1378.54/1339.36	o 39041
1378.64/1339.47	o 39040
1378.95/1339.71	o 38985
1379.05/1339.80	o 38975
1379.05/1339.88	o 38974
1379.15/1339.94	o 38973
1379.26/1340.05	o 38972
1379.36/1340.18	o 38965
1379.45/1340.28	o 38964
1379.55/1340.38	o 38963
1379.67/1340.48	o 38962
1379.87/1340.63	o 38954
1379.97/1340.72	o 38953
1380.07/1340.80	o 38952
1398.30/1358.69	o 38911
1398.71/1359.07	o 38901
1399.22/1359.51	o 38900
1399.64/1359.91	o 38891
1400.04/1360.33	o 38890
1400.55/1360.87	o 38889
1400.88/1361.16	o 38880
1401.17/1361.45	o 38879
1401.59/1361.81	o 38878
1401.99/1362.29	o 38877
1402.60/1362.80	o 38876
1405.06/1365.27	o 38875
1406.39/1366.52	o 38869
1406.79/1367.00	o 38868
1407.41/1367.50	o 38867
1407.82/1367.96	o 38866
1408.54/1368.66	o 38865
1411.20/1371.21	o 38858
1411.72/1371.75	o 38857
1412.24/1372.28	o 38856
1412.75/1372.75	o 38855
1413.57/1373.59	o 38854
1428.94/1388.59	o 38853
1487.70/1445.63	o 38773
1487.80/1445.72	o 38763
1517.51/1474.74	o 38758
1517.61/1474.88	o 38757
1517.84/1475.02	o 38756
1518.43/1475.65	o 38755
1519.98/1477.11	o 38754
1520.17/1477.38	o 38748
1520.29/1477.43	o 38747
1520.39/1477.57	o 38746
1520.79/1477.91	o 38745
1538.02/1494.73	o 38634
1538.43/1495.17	o 38624
1546.41/1503.01	o 38567
1546.52/1503.09	o 38557
1546.74/1503.23	o 38556
1546.94/1503.43	o 38555
1547.44/1503.99	o 38547
1547.56/1504.05	o 38546
1547.66/1504.18	o 38545
1547.95/1504.44	o 38537
1548.05/1504.52	o 38536
1548.25/1504.72	o 38535
1637.36/1591.51	o 38532
1637.46/1591.68	o 38531
1637.88/1592.02	o 38530
1638.17/1592.31	o 38529
1638.79/1592.96	o 38528
1640.63/1594.70	o 38527
1640.84/1595.00	o 38521
1641.05/1595.19	o 38520
1641.24/1595.38	o 38519
1641.86/1595.98	o 38518
1642.58/1596.62	o 38517
1708.14/1660.49	o 38516
1748.44/1699.78	o 38515
1779.19/1729.75	o 38514
1863.24/1811.62	o 38513
1902.94/1850.39	o 38144
1903.17/1850.56	o 38143
1903.27/1850.70	o 38044
1903.47/1850.81	o 38043
1903.57/1850.96	o 38042
1903.67/1851.06	o 38041
1904.09/1851.45	o 37961
1904.28/1851.63	o 37960
1904.38/1851.76	o 37943
1904.48/1851.86	o 37942
1904.69/1852.01	o 37941
1904.79/1852.11	o 37940
1905.40/1852.73	o 37831
1905.60/1852.96	o 37733
1905.71/1853.08	o 37731
1906.03/1853.33	o 37630
1906.33/1853.63	o 37629
1906.43/1853.78	o 37608
1906.63/1853.91	o 37508
1906.86/1854.13	o 37507
1906.95/1854.28	o 37407
1907.15/1854.40	o 37406
1907.45/1854.73	o 37405
1958.98/1904.81	o 37304
1959.31/1905.16	o 37303
1960.11/1905.93	o 36304
1960.51/1906.36	o 36303
1961.24/1907.08	o 36293
1961.66/1907.44	o 36292
2018.00/1962.43	o 36291
2018.20/1962.60	o 36290
2018.30/1962.76	o 36289
2018.51/1962.97	o 36288
2019.01/1963.44	o 36287
2019.54/1963.96	o 36286
2037.57/1981.54	o 36285
2136.07/2077.52	o 36280
2136.17/2077.68	o 36279
2136.47/2077.90	o 36278
2137.09/2078.52	o 36230
2137.29/2078.70	o 36229
2137.39/2078.82	o 36228
2137.49/2078.98	o 36219
2137.72/2079.19	o 36218
2137.91/2079.35	o 36217
2138.64/2080.02	o 36216
2276.20/2213.90	o 36173
2276.50/2214.24	o 36073
2276.91/2214.61	o 35171
2277.22/2214.99	o 35071
2277.73/2215.41	o 35070
2278.13/2215.84	o 35069
2278.46/2216.17	o 35059
2278.95/2216.63	o 34970
2279.38/2217.02	o 34969
2279.77/2217.43	o 34960
2280.19/2217.81	o 34959
2280.59/2218.20	o 34950
2280.91/2218.54	o 34949
2281.31/2218.94	o 34861
2281.61/2219.29	o 34860
2282.03/2219.62	o 34859
2282.33/2219.99	o 34850
2282.75/2220.34	o 34849
2284.28/2221.89	o 34760
2284.80/2222.36	o 34071
2285.20/2222.71	o 34070
2285.63/2223.14	o 33960
2286.12/2223.65	o 33860
2286.65/2224.14	o 33761
2287.04/2224.51	o 33760
2287.46/2224.98	o 33759
2287.98/2225.44	o 33750
2288.28/2225.78	o 33749
2288.81/2226.28	o 33670
2289.21/2226.61	o 33669
2289.51/2226.97	o 33668
2290.03/2227.40	o 33659
2290.33/2227.72	o 33658
2325.78/2262.35	o 32654
2331.63/2268.02	o 32556
2350.96/2286.74	o 32456
2368.09/2303.44	o 31589
2369.33/2304.61	o 31489
2370.45/2305.72	o 31488
2371.90/2307.17	o 30498
2372.41/2307.66	o 29488
2372.91/2308.16	o 29487
2374.65/2309.85	o 29486
2376.50/2311.63	o 29478
2377.01/2312.11	o 29477
2377.42/2312.58	o 29476
2382.43/2317.43	o 29467
2382.95/2317.91	o 29466
2383.46/2318.42	o 29465
2383.76/2318.78	o 29061
2385.93/2320.83	o 28959
2386.43/2321.31	o 28939
2387.56/2322.48	o 28867
2388.58/2323.47	o 28838
2389.21/2324.01	o 28828
2389.80/2324.60	o 28767
2390.53/2325.36	o 28758
2391.03/2325.84	o 28739
2391.44/2326.29	o 28738
2392.05/2326.83	o 28728
2392.57/2327.32	o 28629
2392.97/2327.72	o 28628
2393.59/2328.35	o 28627
2393.99/2328.73	o 28617
2394.71/2329.41	o 28556
2428.51/2362.48	o 28555
2434.75/2368.58	o 28456
2444.49/2378.01	o 28378
2444.60/2378.17	o 28377
2444.91/2378.42	o 28376
2445.11/2378.63	o 28368
2445.21/2378.78	o 28367
2445.41/2378.93	o 28366
2514.87/2446.52	o 28302
2515.28/2446.92	o 28301
2515.79/2447.40	o 28300
2516.29/2447.93	o 28292
2516.69/2448.36	o 28291
2517.22/2448.80	o 28290
2518.23/2449.88	o 28289
2519.46/2451.07	o 28281
2519.85/2451.48	o 28280
2520.05/2451.60	s SATISFIABLE
2520.05/2451.60	v <instantiation>
2520.05/2451.60	v 	<list>
2520.05/2451.60	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382]
2520.05/2451.60	v 	</list>
2520.05/2451.60	v 	<values>
2520.05/2451.60	v 		366 128 428 666 792 554 394 156 554 792 394 156 792 554 414 652 792 554 268 30 428 666 540 778 142 380 554 792 268 30 58 296 792 554 254 16 114 352 792 554 554 792 72 310 540 778 792 554 554 792 554 792 296 58 554 792 254 16 352 114 324 86 380 142 708 470 394 156 792 554 554 792 526 764 30 268 296 58 268 30 540 778 282 44 16 254 540 778 778 540 44 282 268 30 526 764 296 58 750 512 554 792 792 554 296 58 268 30 254 16 394 156 512 750 540 778 540 778 86 324 456 694 72 310 30 268 540 778 778 540 428 666 324 86 722 484 540 778 30 268 470 708 100 338 114 352 456 694 156 394 792 554 792 554 254 16 554 792 142 380 16 254 86 324 254 16 156 394 540 778 498 736 72 310 296 58 268 30 792 554 680 442 30 268 778 540 58 296 498 736 142 380 778 540 100 338 456 694 540 778 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 100 0 100 0 100 0 100 100 0 100 0 0 0 0 0 0 100 0 0 0 0 100 100 0 0 0 0 0 0 0 100 100 100 100 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 100 0 0 100 100 0 0 0 100 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 100 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 100 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 100 100 0 0 0 100 100 0 0 100 100 100 0 100 0 0 0 0 0 0 0 0 0 100 100 100 0 100 0 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 100 100 0 100 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 10 0 10 10 10 10 10 10 10 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 10 0 10 10 0 0 0 0 10 0 0 0 10 0 10 10 10 10 10 0 0 0 10 10 0 0 0 10 0 0 10 0 0 0 0 10 10 0 0 0 10 10 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 10 10 0 0 10 10 0 10 10 0 10 10 10 0 0 0 0 0 0 0 0 0 0 10 0 10 10 0 0 0 0 0 0 0 10 0 0 0 10 0 10 0 10 10 10 0 10 0 10 10 0 0 0 0 0 0 10 10 10 0 0 10 0 0 10 0 0 10 10 10 0 0 0 0 0 0 0 10 10 0 0 10 0 10 0 0 0 10 10 0 0 0 10 0 10 0 10 10 0 0 0 10 10 0 10 0 10 10 0 10 0 0 0 0 10 10 10 10 10 10 0 10 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 10 0 10 10 10 10 10 0 10 10 10 0 10 0 0 0 0 0 0 0 10 0 10 0 10 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 1 0 1 0 0 1 0 1 0 0 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 
2520.05/2451.60	v 	</values>
2520.05/2451.60	v </instantiation>

Verifier Data 

OK	28280

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308666-1534288210/watcher-4308666-1534288210 -o /tmp/evaluation-result-4308666-1534288210/solver-4308666-1534288210 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534270838-13462 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 276186297 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308666-1534288210.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=15433, runsolver pid=15430

[startup+0.100093 s]*
/proc/loadavg: 1.61 1.61 1.59 3/215 15448
/proc/meminfo: memFree=23511736/32770624 swapFree=67108368/67108860
[pid=15433] ppid=15430 vsize=14082736 memory=32120 CPUtime=0.11 cores=0,2,4,6
/proc/15433/stat : 15433 (java) S 15430 15433 11932 0 -1 1077944320 6998 0 0 0 10 1 0 0 20 0 15 0 246384201 14420721664 8030 33554432000 4194304 4196468 140728227489200 140728227471744 140337951543031 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
/proc/15433/statm: 3520684 8030 3132 1 0 3482761 0
[pid=15433/tid=15435] ppid=15430 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=0,2,4,6
/proc/15433/task/15435/stat : 15435 (java) R 15430 15433 11932 0 -1 4202560 5096 0 0 0 8 1 0 0 20 0 15 0 246384202 14420721664 8096 33554432000 4194304 4196468 140728227489200 140337955745088 140337931818738 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15436] ppid=15430 vsize=14082736 memory=5793855108151151033 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15436/stat : 15436 (java) S 15430 15433 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246384202 14420721664 8096 33554432000 4194304 4196468 140728227489200 140337923386384 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15437] ppid=15430 vsize=14082736 memory=139857141257856 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15437/stat : 15437 (java) S 15430 15433 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246384202 14420721664 8096 33554432000 4194304 4196468 140728227489200 140337546632336 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15438] ppid=15430 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15438/stat : 15438 (java) S 15430 15433 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246384202 14420721664 8096 33554432000 4194304 4196468 140728227489200 140337545579280 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15439] ppid=15430 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15439/stat : 15439 (java) S 15430 15433 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246384202 14420721664 8096 33554432000 4194304 4196468 140728227489200 140337544526736 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15440] ppid=15430 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15440/stat : 15440 (java) S 15430 15433 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246384204 14420721664 8096 33554432000 4194304 4196468 140728227489200 140337426295024 140337951554178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15441] ppid=15430 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15441/stat : 15441 (java) S 15430 15433 11932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246384204 14420721664 8096 33554432000 4194304 4196468 140728227489200 140337425241248 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15442] ppid=15430 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15442/stat : 15442 (java) S 15430 15433 11932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246384204 14420721664 8096 33554432000 4194304 4196468 140728227489200 140337424188144 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15443] ppid=15430 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15443/stat : 15443 (java) S 15430 15433 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246384207 14420721664 8096 33554432000 4194304 4196468 140728227489200 140337423136720 140337951561627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15444] ppid=15430 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15444/stat : 15444 (java) S 15430 15433 11932 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 246384207 14420721664 8096 33554432000 4194304 4196468 140728227489200 140337422084848 140337951554178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15445] ppid=15430 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15445/stat : 15445 (java) S 15430 15433 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246384207 14420721664 8096 33554432000 4194304 4196468 140728227489200 140337421032304 140337951554178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15446] ppid=15430 vsize=14082736 memory=139857141257856 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15446/stat : 15446 (java) S 15430 15433 11932 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 15 0 246384207 14420721664 8096 33554432000 4194304 4196468 140728227489200 140337419979248 140337951554178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15447] ppid=15430 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15447/stat : 15447 (java) S 15430 15433 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246384207 14420721664 8096 33554432000 4194304 4196468 140728227489200 140337418926944 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15448] ppid=15430 vsize=14082736 memory=139857141257856 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15448/stat : 15448 (java) S 15430 15433 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246384207 14420721664 8096 33554432000 4194304 4196468 140728227489200 140337417873968 140337951554178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32120 KiB

[startup+0.210485 s]*
/proc/loadavg: 1.61 1.61 1.59 4/215 15448
/proc/meminfo: memFree=23496100/32770624 swapFree=67108368/67108860
[pid=15433] ppid=15430 vsize=14082736 memory=46316 CPUtime=0.3 cores=0,2,4,6
/proc/15433/stat : 15433 (java) S 15430 15433 11932 0 -1 1077944320 10189 0 0 0 28 2 0 0 20 0 15 0 246384201 14420721664 11579 33554432000 4194304 4196468 140728227489200 140728227471744 140337951543031 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
/proc/15433/statm: 3520684 11579 3401 1 0 3482761 0
[pid=15433/tid=15435] ppid=15430 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/15433/task/15435/stat : 15435 (java) R 15430 15433 11932 0 -1 1077944384 7802 0 0 0 19 1 0 0 20 0 15 0 246384202 14420721664 11579 33554432000 4194304 4196468 140728227489200 140337955768704 140337951553237 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15436] ppid=15430 vsize=14082736 memory=4211973583346048394 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15436/stat : 15436 (java) S 15430 15433 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246384202 14420721664 11579 33554432000 4194304 4196468 140728227489200 140337923386384 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15437] ppid=15430 vsize=14082736 memory=139857141257856 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15437/stat : 15437 (java) S 15430 15433 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246384202 14420721664 11579 33554432000 4194304 4196468 140728227489200 140337546632336 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15438] ppid=15430 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15438/stat : 15438 (java) S 15430 15433 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246384202 14420721664 11579 33554432000 4194304 4196468 140728227489200 140337545579280 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15439] ppid=15430 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15439/stat : 15439 (java) S 15430 15433 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246384202 14420721664 11579 33554432000 4194304 4196468 140728227489200 140337544526736 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15440] ppid=15430 vsize=14082736 memory=139857141257856 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15440/stat : 15440 (java) S 15430 15433 11932 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246384204 14420721664 11579 33554432000 4194304 4196468 140728227489200 140337426295024 140337951554178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15441] ppid=15430 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15441/stat : 15441 (java) S 15430 15433 11932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246384204 14420721664 11579 33554432000 4194304 4196468 140728227489200 140337425241248 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15442] ppid=15430 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15442/stat : 15442 (java) S 15430 15433 11932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246384204 14420721664 11579 33554432000 4194304 4196468 140728227489200 140337424188144 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15443] ppid=15430 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15443/stat : 15443 (java) S 15430 15433 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246384207 14420721664 11579 33554432000 4194304 4196468 140728227489200 140337423136720 140337951561627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15444] ppid=15430 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/15433/task/15444/stat : 15444 (java) R 15430 15433 11932 0 -1 4202560 411 0 0 0 1 0 0 0 20 0 15 0 246384207 14420721664 11579 33554432000 4194304 4196468 140728227489200 140337422084848 140337943832480 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15445] ppid=15430 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/15433/task/15445/stat : 15445 (java) R 15430 15433 11932 0 -1 4202560 209 0 0 0 1 0 0 0 20 0 15 0 246384207 14420721664 11579 33554432000 4194304 4196468 140728227489200 140337421032400 140337932913344 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15446] ppid=15430 vsize=14082736 memory=139857141257856 CPUtime=0.06 cores=0,2,4,6
/proc/15433/task/15446/stat : 15446 (java) R 15430 15433 11932 0 -1 4202560 384 0 0 0 6 0 0 0 20 0 15 0 246384207 14420721664 11579 33554432000 4194304 4196468 140728227489200 140337419979248 140337930374054 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15447] ppid=15430 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15447/stat : 15447 (java) S 15430 15433 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246384207 14420721664 11579 33554432000 4194304 4196468 140728227489200 140337418926944 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15448] ppid=15430 vsize=14082736 memory=139857141257856 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15448/stat : 15448 (java) S 15430 15433 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246384207 14420721664 11579 33554432000 4194304 4196468 140728227489200 140337417873968 140337951554178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46316 KiB

[startup+0.319765 s]*
/proc/loadavg: 1.61 1.61 1.59 3/215 15448
/proc/meminfo: memFree=23492688/32770624 swapFree=67108368/67108860
[pid=15433] ppid=15430 vsize=14082736 memory=50100 CPUtime=0.44 cores=0,2,4,6
/proc/15433/stat : 15433 (java) S 15430 15433 11932 0 -1 1077944320 10612 0 0 0 42 2 0 0 20 0 15 0 246384201 14420721664 12525 33554432000 4194304 4196468 140728227489200 140728227471744 140337951543031 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
/proc/15433/statm: 3520684 12525 3404 1 0 3482761 0
[pid=15433/tid=15435] ppid=15430 vsize=14082736 memory=4871374705135476842 CPUtime=0.31 cores=0,2,4,6
/proc/15433/task/15435/stat : 15435 (java) R 15430 15433 11932 0 -1 4202560 8163 0 0 0 29 2 0 0 20 0 15 0 246384202 14420721664 12525 33554432000 4194304 4196468 140728227489200 140337955731880 140337935623518 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15436] ppid=15430 vsize=14082736 memory=4211973583346048394 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15436/stat : 15436 (java) S 15430 15433 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246384202 14420721664 12525 33554432000 4194304 4196468 140728227489200 140337923386384 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15437] ppid=15430 vsize=14082736 memory=139857141260207 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15437/stat : 15437 (java) S 15430 15433 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246384202 14420721664 12525 33554432000 4194304 4196468 140728227489200 140337546632336 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15438] ppid=15430 vsize=14082736 memory=139857020180652 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15438/stat : 15438 (java) S 15430 15433 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246384202 14420721664 12525 33554432000 4194304 4196468 140728227489200 140337545579280 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15439] ppid=15430 vsize=14082736 memory=139857020177871 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15439/stat : 15439 (java) S 15430 15433 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246384202 14420721664 12525 33554432000 4194304 4196468 140728227489200 140337544526736 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15440] ppid=15430 vsize=14082736 memory=139857141269815 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15440/stat : 15440 (java) S 15430 15433 11932 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246384204 14420721664 12525 33554432000 4194304 4196468 140728227489200 140337426295024 140337951554178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15441] ppid=15430 vsize=14082736 memory=139857020187055 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15441/stat : 15441 (java) S 15430 15433 11932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246384204 14420721664 12525 33554432000 4194304 4196468 140728227489200 140337425241248 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15442] ppid=15430 vsize=14082736 memory=279714040364944 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15442/stat : 15442 (java) S 15430 15433 11932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246384204 14420721664 12525 33554432000 4194304 4196468 140728227489200 140337424188144 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15443] ppid=15430 vsize=14082736 memory=279714040362640 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15443/stat : 15443 (java) S 15430 15433 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246384207 14420721664 12525 33554432000 4194304 4196468 140728227489200 140337423136720 140337951561627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15444] ppid=15430 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15433/task/15444/stat : 15444 (java) S 15430 15433 11932 0 -1 1077944384 431 0 0 0 2 0 0 0 20 0 15 0 246384207 14420721664 12525 33554432000 4194304 4196468 140728227489200 140337422084848 140337951554178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15445] ppid=15430 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/15433/task/15445/stat : 15445 (java) R 15430 15433 11932 0 -1 1077944384 213 0 0 0 2 0 0 0 20 0 15 0 246384207 14420721664 12525 33554432000 4194304 4196468 140728227489200 140337421032304 140337951554178 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15446] ppid=15430 vsize=14082736 memory=139857141257856 CPUtime=0.08 cores=0,2,4,6
/proc/15433/task/15446/stat : 15446 (java) R 15430 15433 11932 0 -1 4202560 425 0 0 0 8 0 0 0 20 0 15 0 246384207 14420721664 12525 33554432000 4194304 4196468 140728227489200 140337419979248 140337951554966 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15447] ppid=15430 vsize=14082736 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15447/stat : 15447 (java) S 15430 15433 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246384207 14420721664 12525 33554432000 4194304 4196468 140728227489200 140337418926944 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15448] ppid=15430 vsize=14082736 memory=139857141257856 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15448/stat : 15448 (java) S 15430 15433 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246384207 14420721664 12525 33554432000 4194304 4196468 140728227489200 140337417873968 140337951554178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50100 KiB

[startup+0.700702 s]
/proc/loadavg: 1.61 1.61 1.59 3/215 15448
/proc/meminfo: memFree=23470800/32770624 swapFree=67108368/67108860
[pid=15433] ppid=15430 vsize=14084804 memory=85728 CPUtime=0.98 cores=0,2,4,6
/proc/15433/stat : 15433 (java) S 15430 15433 11932 0 -1 1077944320 17343 0 0 0 93 5 0 0 20 0 15 0 246384201 14422839296 21432 33554432000 4194304 4196468 140728227489200 140728227471744 140337951543031 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
/proc/15433/statm: 3521201 21432 3491 1 0 3483273 0
[pid=15433/tid=15435] ppid=15430 vsize=14084804 memory=872 CPUtime=0.68 cores=0,2,4,6
/proc/15433/task/15435/stat : 15435 (java) R 15430 15433 11932 0 -1 4202560 14442 0 0 0 64 4 0 0 20 0 15 0 246384202 14422839296 21432 33554432000 4194304 4196468 140728227489200 140337955758336 140337944528109 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15436] ppid=15430 vsize=14084804 memory=1920 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15436/stat : 15436 (java) S 15430 15433 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246384202 14422839296 21432 33554432000 4194304 4196468 140728227489200 140337923386384 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15437] ppid=15430 vsize=14084804 memory=6276 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15437/stat : 15437 (java) S 15430 15433 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246384202 14422839296 21432 33554432000 4194304 4196468 140728227489200 140337546632336 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15438] ppid=15430 vsize=14084804 memory=7014751519600366929 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15438/stat : 15438 (java) S 15430 15433 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246384202 14422839296 21432 33554432000 4194304 4196468 140728227489200 140337545579280 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15439] ppid=15430 vsize=14084804 memory=7019257425709197167 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15439/stat : 15439 (java) S 15430 15433 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246384202 14422839296 21432 33554432000 4194304 4196468 140728227489200 140337544526736 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15440] ppid=15430 vsize=14084804 memory=5787213831426565969 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15440/stat : 15440 (java) S 15430 15433 11932 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246384204 14422839296 21432 33554432000 4194304 4196468 140728227489200 140337426295024 140337951554178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15441] ppid=15430 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15441/stat : 15441 (java) S 15430 15433 11932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246384204 14422839296 21432 33554432000 4194304 4196468 140728227489200 140337425241248 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15442] ppid=15430 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15442/stat : 15442 (java) S 15430 15433 11932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246384204 14422839296 21432 33554432000 4194304 4196468 140728227489200 140337424188144 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15443] ppid=15430 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15443/stat : 15443 (java) S 15430 15433 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246384207 14422839296 21432 33554432000 4194304 4196468 140728227489200 140337423136720 140337951561627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15444] ppid=15430 vsize=14084804 memory=219 CPUtime=0.06 cores=0,2,4,6
/proc/15433/task/15444/stat : 15444 (java) S 15430 15433 11932 0 -1 1077944384 588 0 0 0 6 0 0 0 20 0 15 0 246384207 14422839296 21432 33554432000 4194304 4196468 140728227489200 140337422084848 140337951554178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15445] ppid=15430 vsize=14084804 memory=7 CPUtime=0.07 cores=0,2,4,6
/proc/15433/task/15445/stat : 15445 (java) S 15430 15433 11932 0 -1 1077944384 380 0 0 0 7 0 0 0 20 0 15 0 246384207 14422839296 21432 33554432000 4194304 4196468 140728227489200 140337421032304 140337951554178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15446] ppid=15430 vsize=14084804 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/15433/task/15446/stat : 15446 (java) R 15430 15433 11932 0 -1 1077944384 550 0 0 0 14 0 0 0 20 0 15 0 246384207 14422839296 21432 33554432000 4194304 4196468 140728227489200 140337419979248 140337951554178 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15447] ppid=15430 vsize=14084804 memory=279714040548848 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15447/stat : 15447 (java) S 15430 15433 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246384207 14422839296 21432 33554432000 4194304 4196468 140728227489200 140337418926944 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15448] ppid=15430 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15448/stat : 15448 (java) S 15430 15433 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246384207 14422839296 21432 33554432000 4194304 4196468 140728227489200 140337417873968 140337951554178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 85728 KiB

[startup+1.50076 s]
/proc/loadavg: 1.64 1.62 1.60 5/215 15448
/proc/meminfo: memFree=23430008/32770624 swapFree=67108368/67108860
[pid=15433] ppid=15430 vsize=14088900 memory=185592 CPUtime=3.49 cores=0,2,4,6
/proc/15433/stat : 15433 (java) S 15430 15433 11932 0 -1 1077944320 27679 0 0 0 341 8 0 0 20 0 15 0 246384201 14427033600 46398 33554432000 4194304 4196468 140728227489200 140728227471744 140337951543031 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
/proc/15433/statm: 3522225 46398 3546 1 0 3484297 0
[pid=15433/tid=15435] ppid=15430 vsize=14088900 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/15433/task/15435/stat : 15435 (java) R 15430 15433 11932 0 -1 4202560 17200 0 0 0 141 5 0 0 20 0 15 0 246384202 14427033600 46398 33554432000 4194304 4196468 140728227489200 140337955778736 140337594702860 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15436] ppid=15430 vsize=14088900 memory=-1088251628401078322 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15436/stat : 15436 (java) S 15430 15433 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246384202 14427033600 46398 33554432000 4194304 4196468 140728227489200 140337923386384 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15437] ppid=15430 vsize=14088900 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15437/stat : 15437 (java) S 15430 15433 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246384202 14427033600 46398 33554432000 4194304 4196468 140728227489200 140337546632336 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15438] ppid=15430 vsize=14088900 memory=-6585528546044026665 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15438/stat : 15438 (java) S 15430 15433 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246384202 14427033600 46398 33554432000 4194304 4196468 140728227489200 140337545579280 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15439] ppid=15430 vsize=14088900 memory=-7305238106465063470 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15439/stat : 15439 (java) S 15430 15433 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246384202 14427033600 46398 33554432000 4194304 4196468 140728227489200 140337544526736 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15440] ppid=15430 vsize=14088900 memory=-6007061419333673573 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15440/stat : 15440 (java) S 15430 15433 11932 0 -1 1077944384 256 0 0 0 0 0 0 0 20 0 15 0 246384204 14427033600 46398 33554432000 4194304 4196468 140728227489200 140337426295024 140337951554178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0

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

/proc/15433/task/15435/stat : 15435 (java) R 15430 15433 11932 0 -1 4202560 138023 0 0 0 229851 85 0 0 20 0 15 0 246384202 14431227904 273645 33554432000 4194304 4196468 140728227489200 140337955780112 140337594465743 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15436] ppid=15430 vsize=14092996 memory=1046460 CPUtime=18.34 cores=0,2,4,6
/proc/15433/task/15436/stat : 15436 (java) S 15430 15433 11932 0 -1 1077944384 19882 0 0 0 1762 72 0 0 20 0 15 0 246384202 14431227904 273645 33554432000 4194304 4196468 140728227489200 140337923386384 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15437] ppid=15430 vsize=14092996 memory=1024868 CPUtime=18.4 cores=0,2,4,6
/proc/15433/task/15437/stat : 15437 (java) S 15430 15433 11932 0 -1 1077944384 22876 0 0 0 1763 77 0 0 20 0 15 0 246384202 14431227904 273645 33554432000 4194304 4196468 140728227489200 140337546632336 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15438] ppid=15430 vsize=14092996 memory=1018712 CPUtime=18.36 cores=0,2,4,6
/proc/15433/task/15438/stat : 15438 (java) S 15430 15433 11932 0 -1 1077944384 22044 0 0 0 1764 72 0 0 20 0 15 0 246384202 14431227904 273645 33554432000 4194304 4196468 140728227489200 140337545579280 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15439] ppid=15430 vsize=14092996 memory=1017688 CPUtime=18.36 cores=0,2,4,6
/proc/15433/task/15439/stat : 15439 (java) S 15430 15433 11932 0 -1 1077944384 25839 0 0 0 1762 74 0 0 20 0 15 0 246384202 14431227904 273645 33554432000 4194304 4196468 140728227489200 140337544526736 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15440] ppid=15430 vsize=14092996 memory=1004348 CPUtime=2.86 cores=0,2,4,6
/proc/15433/task/15440/stat : 15440 (java) S 15430 15433 11932 0 -1 1077944384 61691 0 0 0 241 45 0 0 20 0 15 0 246384204 14431227904 273645 33554432000 4194304 4196468 140728227489200 140337426295024 140337951554178 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15441] ppid=15430 vsize=14092996 memory=1005376 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15441/stat : 15441 (java) S 15430 15433 11932 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 246384204 14431227904 273645 33554432000 4194304 4196468 140728227489200 140337425241312 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15442] ppid=15430 vsize=14092996 memory=1094580 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15442/stat : 15442 (java) S 15430 15433 11932 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 246384204 14431227904 273645 33554432000 4194304 4196468 140728227489200 140337424188160 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15443] ppid=15430 vsize=14092996 memory=999220 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15443/stat : 15443 (java) S 15430 15433 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246384207 14431227904 273645 33554432000 4194304 4196468 140728227489200 140337423136720 140337951561627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15444] ppid=15430 vsize=14092996 memory=999220 CPUtime=4.17 cores=0,2,4,6
/proc/15433/task/15444/stat : 15444 (java) S 15430 15433 11932 0 -1 1077944384 23548 0 0 0 414 3 0 0 20 0 15 0 246384207 14431227904 273645 33554432000 4194304 4196468 140728227489200 140337422084848 140337951554178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15445] ppid=15430 vsize=14092996 memory=999220 CPUtime=4.62 cores=0,2,4,6
/proc/15433/task/15445/stat : 15445 (java) S 15430 15433 11932 0 -1 1077944384 21905 0 0 0 458 4 0 0 20 0 15 0 246384207 14431227904 273645 33554432000 4194304 4196468 140728227489200 140337421032304 140337951554178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15446] ppid=15430 vsize=14092996 memory=999220 CPUtime=1.6 cores=0,2,4,6
/proc/15433/task/15446/stat : 15446 (java) S 15430 15433 11932 0 -1 1077944384 28325 0 0 0 156 4 0 0 20 0 15 0 246384207 14431227904 273645 33554432000 4194304 4196468 140728227489200 140337419979248 140337951554178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15447] ppid=15430 vsize=14092996 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15447/stat : 15447 (java) S 15430 15433 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246384207 14431227904 273645 33554432000 4194304 4196468 140728227489200 140337418926944 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15448] ppid=15430 vsize=14092996 memory=1764 CPUtime=1.29 cores=0,2,4,6
/proc/15433/task/15448/stat : 15448 (java) S 15430 15433 11932 0 -1 1077944384 1277 0 0 0 68 61 0 0 20 0 15 0 246384207 14431227904 273645 33554432000 4194304 4196468 140728227489200 140337417873968 140337951554178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
Current children cumulated CPU time: 2387.46 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1094580 KiB

[startup+2382.3 s]
/proc/loadavg: 1.64 1.63 1.63 3/215 15665
/proc/meminfo: memFree=22543720/32770624 swapFree=67108368/67108860
[pid=15433] ppid=15430 vsize=14092996 memory=1106956 CPUtime=2449.07 cores=0,2,4,6
/proc/15433/stat : 15433 (java) S 15430 15433 11932 0 -1 1077944320 372333 0 0 0 244428 479 0 0 20 0 15 0 246384201 14431227904 276739 33554432000 4194304 4196468 140728227489200 140728227471744 140337951543031 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
/proc/15433/statm: 3523249 276739 3622 1 0 3485321 0
[pid=15433/tid=15435] ppid=15430 vsize=14092996 memory=1129008 CPUtime=2358.71 cores=0,2,4,6
/proc/15433/task/15435/stat : 15435 (java) R 15430 15433 11932 0 -1 4202560 139795 0 0 0 235784 87 0 0 20 0 15 0 246384202 14431227904 276739 33554432000 4194304 4196468 140728227489200 140337955780000 140337601483143 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15436] ppid=15430 vsize=14092996 memory=1119776 CPUtime=18.88 cores=0,2,4,6
/proc/15433/task/15436/stat : 15436 (java) S 15430 15433 11932 0 -1 1077944384 20166 0 0 0 1815 73 0 0 20 0 15 0 246384202 14431227904 276739 33554432000 4194304 4196468 140728227489200 140337923386384 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15437] ppid=15430 vsize=14092996 memory=1119776 CPUtime=18.93 cores=0,2,4,6
/proc/15433/task/15437/stat : 15437 (java) S 15430 15433 11932 0 -1 1077944384 23161 0 0 0 1816 77 0 0 20 0 15 0 246384202 14431227904 276739 33554432000 4194304 4196468 140728227489200 140337546632336 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15438] ppid=15430 vsize=14092996 memory=1112592 CPUtime=18.91 cores=0,2,4,6
/proc/15433/task/15438/stat : 15438 (java) S 15430 15433 11932 0 -1 1077944384 22467 0 0 0 1818 73 0 0 20 0 15 0 246384202 14431227904 276739 33554432000 4194304 4196468 140728227489200 140337545579280 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15439] ppid=15430 vsize=14092996 memory=1107468 CPUtime=18.91 cores=0,2,4,6
/proc/15433/task/15439/stat : 15439 (java) S 15430 15433 11932 0 -1 1077944384 26010 0 0 0 1816 75 0 0 20 0 15 0 246384202 14431227904 276739 33554432000 4194304 4196468 140728227489200 140337544526736 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15440] ppid=15430 vsize=14092996 memory=1106956 CPUtime=2.92 cores=0,2,4,6
/proc/15433/task/15440/stat : 15440 (java) S 15430 15433 11932 0 -1 1077944384 64198 0 0 0 247 45 0 0 20 0 15 0 246384204 14431227904 276739 33554432000 4194304 4196468 140728227489200 140337426295024 140337951554178 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15441] ppid=15430 vsize=14092996 memory=1141320 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15441/stat : 15441 (java) S 15430 15433 11932 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 246384204 14431227904 276739 33554432000 4194304 4196468 140728227489200 140337425241312 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15442] ppid=15430 vsize=14092996 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15442/stat : 15442 (java) S 15430 15433 11932 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 246384204 14431227904 276739 33554432000 4194304 4196468 140728227489200 140337424188160 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15443] ppid=15430 vsize=14092996 memory=3684 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15443/stat : 15443 (java) S 15430 15433 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246384207 14431227904 276739 33554432000 4194304 4196468 140728227489200 140337423136720 140337951561627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15444] ppid=15430 vsize=14092996 memory=67040 CPUtime=4.17 cores=0,2,4,6
/proc/15433/task/15444/stat : 15444 (java) S 15430 15433 11932 0 -1 1077944384 23550 0 0 0 414 3 0 0 20 0 15 0 246384207 14431227904 276739 33554432000 4194304 4196468 140728227489200 140337422084848 140337951554178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15445] ppid=15430 vsize=14092996 memory=1106956 CPUtime=4.62 cores=0,2,4,6
/proc/15433/task/15445/stat : 15445 (java) S 15430 15433 11932 0 -1 1077944384 21907 0 0 0 458 4 0 0 20 0 15 0 246384207 14431227904 276739 33554432000 4194304 4196468 140728227489200 140337421032304 140337951554178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15446] ppid=15430 vsize=14092996 memory=1107468 CPUtime=1.6 cores=0,2,4,6
/proc/15433/task/15446/stat : 15446 (java) S 15430 15433 11932 0 -1 1077944384 28327 0 0 0 156 4 0 0 20 0 15 0 246384207 14431227904 276739 33554432000 4194304 4196468 140728227489200 140337419979248 140337951554178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15447] ppid=15430 vsize=14092996 memory=139857020486848 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15447/stat : 15447 (java) S 15430 15433 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246384207 14431227904 276739 33554432000 4194304 4196468 140728227489200 140337418926944 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15448] ppid=15430 vsize=14092996 memory=6003389985106455144 CPUtime=1.32 cores=0,2,4,6
/proc/15433/task/15448/stat : 15448 (java) S 15430 15433 11932 0 -1 1077944384 1289 0 0 0 69 63 0 0 20 0 15 0 246384207 14431227904 276739 33554432000 4194304 4196468 140728227489200 140337417873968 140337951554178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
Current children cumulated CPU time: 2449.07 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1106956 KiB

[startup+2442.3 s]
/proc/loadavg: 1.25 1.53 1.59 3/216 15674
/proc/meminfo: memFree=22507224/32770624 swapFree=67108368/67108860
[pid=15433] ppid=15430 vsize=14092996 memory=1014020 CPUtime=2510.57 cores=0,2,4,6
/proc/15433/stat : 15433 (java) S 15430 15433 11932 0 -1 1077944320 373810 0 0 0 250575 482 0 0 20 0 15 0 246384201 14431227904 253505 33554432000 4194304 4196468 140728227489200 140728227471744 140337951543031 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
/proc/15433/statm: 3523249 253505 3622 1 0 3485321 0
[pid=15433/tid=15435] ppid=15430 vsize=14092996 memory=1014020 CPUtime=2418.1 cores=0,2,4,6
/proc/15433/task/15435/stat : 15435 (java) R 15430 15433 11932 0 -1 4202560 140418 0 0 0 241723 87 0 0 20 0 15 0 246384202 14431227904 253505 33554432000 4194304 4196468 140728227489200 140337955780000 140337594465861 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15436] ppid=15430 vsize=14092996 memory=1024340 CPUtime=19.38 cores=0,2,4,6
/proc/15433/task/15436/stat : 15436 (java) S 15430 15433 11932 0 -1 1077944384 20328 0 0 0 1865 73 0 0 20 0 15 0 246384202 14431227904 253505 33554432000 4194304 4196468 140728227489200 140337923386384 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15437] ppid=15430 vsize=14092996 memory=1129008 CPUtime=19.44 cores=0,2,4,6
/proc/15433/task/15437/stat : 15437 (java) S 15430 15433 11932 0 -1 1077944384 23285 0 0 0 1866 78 0 0 20 0 15 0 246384202 14431227904 253505 33554432000 4194304 4196468 140728227489200 140337546632336 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15438] ppid=15430 vsize=14092996 memory=1119776 CPUtime=19.4 cores=0,2,4,6
/proc/15433/task/15438/stat : 15438 (java) S 15430 15433 11932 0 -1 1077944384 22634 0 0 0 1867 73 0 0 20 0 15 0 246384202 14431227904 253505 33554432000 4194304 4196468 140728227489200 140337545579280 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15439] ppid=15430 vsize=14092996 memory=1094132 CPUtime=19.41 cores=0,2,4,6
/proc/15433/task/15439/stat : 15439 (java) S 15430 15433 11932 0 -1 1077944384 26163 0 0 0 1866 75 0 0 20 0 15 0 246384202 14431227904 253505 33554432000 4194304 4196468 140728227489200 140337544526736 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15440] ppid=15430 vsize=14092996 memory=1024340 CPUtime=2.97 cores=0,2,4,6
/proc/15433/task/15440/stat : 15440 (java) S 15430 15433 11932 0 -1 1077944384 64380 0 0 0 251 46 0 0 20 0 15 0 246384204 14431227904 253505 33554432000 4194304 4196468 140728227489200 140337426295024 140337951554178 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15441] ppid=15430 vsize=14092996 memory=1011516 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15441/stat : 15441 (java) S 15430 15433 11932 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 246384204 14431227904 253505 33554432000 4194304 4196468 140728227489200 140337425241312 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15442] ppid=15430 vsize=14092996 memory=1017672 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15442/stat : 15442 (java) S 15430 15433 11932 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 246384204 14431227904 253505 33554432000 4194304 4196468 140728227489200 140337424188160 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15443] ppid=15430 vsize=14092996 memory=1007412 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15443/stat : 15443 (java) S 15430 15433 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246384207 14431227904 253505 33554432000 4194304 4196468 140728227489200 140337423136720 140337951561627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15444] ppid=15430 vsize=14092996 memory=1014020 CPUtime=4.17 cores=0,2,4,6
/proc/15433/task/15444/stat : 15444 (java) S 15430 15433 11932 0 -1 1077944384 23550 0 0 0 414 3 0 0 20 0 15 0 246384207 14431227904 253505 33554432000 4194304 4196468 140728227489200 140337422084848 140337951554178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15445] ppid=15430 vsize=14092996 memory=1007412 CPUtime=4.62 cores=0,2,4,6
/proc/15433/task/15445/stat : 15445 (java) S 15430 15433 11932 0 -1 1077944384 21908 0 0 0 458 4 0 0 20 0 15 0 246384207 14431227904 253505 33554432000 4194304 4196468 140728227489200 140337421032304 140337951554178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15446] ppid=15430 vsize=14092996 memory=1011516 CPUtime=1.6 cores=0,2,4,6
/proc/15433/task/15446/stat : 15446 (java) S 15430 15433 11932 0 -1 1077944384 28379 0 0 0 156 4 0 0 20 0 15 0 246384207 14431227904 253505 33554432000 4194304 4196468 140728227489200 140337419979248 140337951554178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15447] ppid=15430 vsize=14092996 memory=1007412 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15447/stat : 15447 (java) S 15430 15433 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246384207 14431227904 253505 33554432000 4194304 4196468 140728227489200 140337418926944 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15448] ppid=15430 vsize=14092996 memory=1011516 CPUtime=1.35 cores=0,2,4,6
/proc/15433/task/15448/stat : 15448 (java) S 15430 15433 11932 0 -1 1077944384 1302 0 0 0 71 64 0 0 20 0 15 0 246384207 14431227904 253505 33554432000 4194304 4196468 140728227489200 140337417873968 140337951554178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
Current children cumulated CPU time: 2510.57 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1014020 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2451.6 s]
/proc/loadavg: 1.23 1.52 1.59 3/216 15674
/proc/meminfo: memFree=22200512/32770624 swapFree=67108368/67108860
[pid=15433] ppid=15430 vsize=14092996 memory=1289572 CPUtime=2520.05 cores=0,2,4,6
/proc/15433/stat : 15433 (java) S 15430 15433 11932 0 -1 1077944320 374728 0 0 0 251515 490 0 0 20 0 15 0 246384201 14431227904 322393 33554432000 4194304 4196468 140728227489200 140728227471744 140337951543031 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
/proc/15433/statm: 3523249 322393 3622 1 0 3485321 0
[pid=15433/tid=15435] ppid=15430 vsize=14092996 memory=1616 CPUtime=2427.32 cores=0,2,4,6
/proc/15433/task/15435/stat : 15435 (java) R 15430 15433 11932 0 -1 4202560 141195 0 0 0 242641 91 0 0 20 0 15 0 246384202 14431227904 322393 33554432000 4194304 4196468 140728227489200 140337955780224 140337594465988 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15436] ppid=15430 vsize=14092996 memory=756 CPUtime=19.45 cores=0,2,4,6
/proc/15433/task/15436/stat : 15436 (java) S 15430 15433 11932 0 -1 1077944384 20341 0 0 0 1871 74 0 0 20 0 15 0 246384202 14431227904 322393 33554432000 4194304 4196468 140728227489200 140337923386384 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15437] ppid=15430 vsize=14092996 memory=6791534058613427641 CPUtime=19.51 cores=0,2,4,6
/proc/15433/task/15437/stat : 15437 (java) S 15430 15433 11932 0 -1 1077944384 23297 0 0 0 1872 79 0 0 20 0 15 0 246384202 14431227904 322393 33554432000 4194304 4196468 140728227489200 140337546632336 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15438] ppid=15430 vsize=14092996 memory=1012544 CPUtime=19.46 cores=0,2,4,6
/proc/15433/task/15438/stat : 15438 (java) S 15430 15433 11932 0 -1 1077944384 22648 0 0 0 1872 74 0 0 20 0 15 0 246384202 14431227904 322393 33554432000 4194304 4196468 140728227489200 140337545579280 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15439] ppid=15430 vsize=14092996 memory=3364 CPUtime=19.48 cores=0,2,4,6
/proc/15433/task/15439/stat : 15439 (java) S 15430 15433 11932 0 -1 1077944384 26175 0 0 0 1872 76 0 0 20 0 15 0 246384202 14431227904 322393 33554432000 4194304 4196468 140728227489200 140337544526736 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15440] ppid=15430 vsize=14092996 memory=37020 CPUtime=2.98 cores=0,2,4,6
/proc/15433/task/15440/stat : 15440 (java) S 15430 15433 11932 0 -1 1077944384 64470 0 0 0 252 46 0 0 20 0 15 0 246384204 14431227904 322393 33554432000 4194304 4196468 140728227489200 140337426295024 140337951554178 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15441] ppid=15430 vsize=14092996 memory=1164408 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15441/stat : 15441 (java) S 15430 15433 11932 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 246384204 14431227904 322393 33554432000 4194304 4196468 140728227489200 140337425241312 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15442] ppid=15430 vsize=14092996 memory=2032 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15442/stat : 15442 (java) S 15430 15433 11932 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 246384204 14431227904 322393 33554432000 4194304 4196468 140728227489200 140337424188160 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15443] ppid=15430 vsize=14092996 memory=7540 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15443/stat : 15443 (java) S 15430 15433 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246384207 14431227904 322393 33554432000 4194304 4196468 140728227489200 140337423136720 140337951561627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15444] ppid=15430 vsize=14092996 memory=808 CPUtime=4.17 cores=0,2,4,6
/proc/15433/task/15444/stat : 15444 (java) S 15430 15433 11932 0 -1 1077944384 23550 0 0 0 414 3 0 0 20 0 15 0 246384207 14431227904 322393 33554432000 4194304 4196468 140728227489200 140337422084848 140337951554178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15445] ppid=15430 vsize=14092996 memory=1796 CPUtime=4.62 cores=0,2,4,6
/proc/15433/task/15445/stat : 15445 (java) S 15430 15433 11932 0 -1 1077944384 21908 0 0 0 458 4 0 0 20 0 15 0 246384207 14431227904 322393 33554432000 4194304 4196468 140728227489200 140337421032304 140337951554178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15446] ppid=15430 vsize=14092996 memory=1007412 CPUtime=1.6 cores=0,2,4,6
/proc/15433/task/15446/stat : 15446 (java) S 15430 15433 11932 0 -1 1077944384 28379 0 0 0 156 4 0 0 20 0 15 0 246384207 14431227904 322393 33554432000 4194304 4196468 140728227489200 140337419979248 140337951554178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15447] ppid=15430 vsize=14092996 memory=1007412 CPUtime=0 cores=0,2,4,6
/proc/15433/task/15447/stat : 15447 (java) S 15430 15433 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246384207 14431227904 322393 33554432000 4194304 4196468 140728227489200 140337418926944 140337951553237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
[pid=15433/tid=15448] ppid=15430 vsize=14092996 memory=3364 CPUtime=1.36 cores=0,2,4,6
/proc/15433/task/15448/stat : 15448 (java) S 15430 15433 11932 0 -1 1077944384 1302 0 0 0 72 64 0 0 20 0 15 0 246384207 14431227904 322393 33554432000 4194304 4196468 140728227489200 140337417873968 140337951554178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22048768 140728227497045 140728227497225 140728227497225 140728227499983 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1289572 KiB

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

[startup+2451.62 s]
# the end of solver process 15433 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.17 s, system=4.91868 s

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

Child status: 143
Real time (s): 2451.62
CPU time (s): 2520.09
CPU user time (s): 2515.17
CPU system time (s): 4.91868
CPU usage (%): 102.793
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 1532112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.17
system time used= 4.91868
maximum resident set size= 1534716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 374884
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117407
involuntary context switches= 5935


# summary of solver processes directly reported to runsolver:
#   pid: 15433
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2515.17
#   total CPU system time (s): 4.91868

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.213 second user time and 19.2807 second system time

The end

Launcher Data 

Begin job on node148 at 2018-08-15 01:10:10
IDJOB=4308666
IDBENCH=141208
IDSOLVER=2792
FILE ID=node148/4308666-1534288210
RUNJOBID= node148-1534270838-13462
PBS_JOBID= 21038117
Free space on /tmp= 42612 MiB

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

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

MD5SUM BENCH= fd86b7eb5950840b127d09215950c850
RANDOM SEED=276186297

node148.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:        23528764 kB
MemAvailable:   31638632 kB
Buffers:          164980 kB
Cached:          8151056 kB
SwapCached:            4 kB
Active:          4678668 kB
Inactive:        3957988 kB
Active(anon):     274088 kB
Inactive(anon):    98752 kB
Active(file):    4404580 kB
Inactive(file):  3859236 kB
Unevictable:        7348 kB
Mlocked:            7348 kB
SwapTotal:      67108860 kB
SwapFree:       67108368 kB
Dirty:             35636 kB
Writeback:             0 kB
AnonPages:        327888 kB
Mapped:            68136 kB
Shmem:             49588 kB
Slab:             303416 kB
SReclaimable:     274512 kB
SUnreclaim:        28904 kB
KernelStack:        3536 kB
PageTables:         5744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1306676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    176128 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 42576 MiB
End job on node148 at 2018-08-15 01:51:02