Trace number 4291956

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-07-02SAT (TO)21768 2400.05 2337.92

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.69/0.54	c version: 2018-07-02
0.69/0.55	c seed: 1759362317
0.69/0.55	c timeout: 2400
0.69/0.55	c memlimit: 11000
0.69/0.55	c nbcore: 4
0.69/0.57	c Parsing instance...
7.24/2.82	c Parsing done, starting first complete search...
47.10/38.81	o 109300
47.10/38.81	o 109290
47.10/38.81	o 109280
47.10/38.81	o 109180
47.10/38.82	o 109170
47.10/38.82	o 109169
47.10/38.82	o 109159
47.10/38.82	o 109059
47.10/38.83	o 109049
47.10/38.83	o 109048
47.10/38.83	o 109047
47.10/38.83	o 108947
47.10/38.84	o 108946
47.10/38.84	o 108936
47.10/38.84	o 107935
47.10/38.85	o 107843
47.10/38.85	o 107833
47.10/38.86	o 107114
47.10/38.86	o 107113
47.10/38.86	o 107112
47.10/38.86	o 107012
47.10/38.87	o 106230
47.10/38.87	o 106229
47.10/38.87	o 106119
47.10/38.87	o 106118
47.10/38.88	o 106008
47.10/38.88	o 105908
47.10/38.88	o 105898
47.10/38.88	o 105797
47.10/38.89	o 105787
47.10/38.89	o 105122
47.38/38.90	o 105029
47.38/38.90	o 104929
47.38/38.90	o 104919
47.38/38.91	o 104399
47.38/38.91	o 104389
47.38/38.91	o 104290
47.38/38.91	o 104110
47.38/38.92	o 104011
47.38/38.92	o 103115
47.38/38.92	o 103015
47.38/38.94	o 102915
47.65/39.06	o 102902
47.65/39.06	o 102801
47.65/39.07	o 102800
47.65/39.07	o 102701
47.65/39.10	o 102114
47.65/39.11	o 102015
47.77/39.15	o 101915
47.86/39.23	o 101908
47.86/39.23	o 101907
47.86/39.23	o 101906
47.86/39.24	o 101905
47.86/39.24	o 101895
47.86/39.24	o 101894
47.86/39.25	o 101893
47.86/39.25	o 101794
47.86/39.25	o 101614
47.86/39.25	o 101515
47.99/39.33	o 100513
47.99/39.34	o 100512
47.99/39.38	o 99615
47.99/39.38	o 99516
48.39/39.70	o 99512
48.39/39.70	o 99502
48.39/39.70	o 99501
48.39/39.71	o 99402
48.39/39.71	o 99401
49.15/40.43	o 99302
49.15/40.43	o 99301
49.15/40.49	o 99300
50.06/41.38	o 98683
50.06/41.38	o 98584
50.87/42.14	o 98493
50.87/42.14	o 98492
50.87/42.14	o 98491
50.87/42.14	o 98391
50.87/42.15	o 98390
54.08/45.38	o 98369
55.28/46.57	o 98290
59.09/50.33	o 97659
59.09/50.33	o 97658
59.39/50.65	o 97581
59.39/50.65	o 97481
59.39/50.65	o 97381
59.80/51.05	o 96685
59.80/51.05	o 96585
59.80/51.05	o 96575
59.80/51.06	o 96564
60.20/51.43	o 96499
60.20/51.43	o 96489
60.20/51.43	o 96389
60.30/51.58	o 95392
60.30/51.58	o 95391
60.30/51.59	o 95390
60.50/51.74	o 95380
60.60/51.88	o 95290
60.60/51.88	o 95280
61.41/52.66	o 94882
61.41/52.66	o 94873
61.41/52.66	o 94872
61.41/52.67	o 94862
61.41/52.67	o 94852
61.41/52.67	o 94841
62.01/53.23	o 94764
62.01/53.23	o 94664
62.01/53.23	o 94564
63.22/54.41	o 94477
63.22/54.41	o 94476
63.22/54.41	o 94465
64.12/55.35	o 94385
64.12/55.36	o 94375
64.12/55.36	o 94365
64.12/55.36	o 94275
64.12/55.36	o 94185
64.22/55.43	o 94184
64.33/55.52	o 94175
64.33/55.53	o 94174
64.33/55.53	o 94094
65.64/56.86	o 93947
65.64/56.86	o 93937
65.64/56.86	o 93936
65.64/56.86	o 93846
65.64/56.86	o 93746
65.64/56.86	o 93736
65.64/56.87	o 93636
65.64/56.88	o 93635
66.75/57.98	o 93548
66.75/57.98	o 93547
66.75/57.99	o 93546
66.86/58.06	o 93369
66.86/58.09	o 93269
67.05/58.21	o 93268
67.65/58.81	o 93259
67.65/58.82	o 93249
67.65/58.82	o 93248
105.07/96.05	o 93009
105.07/96.05	o 93008
105.07/96.05	o 93007
105.07/96.05	o 92997
105.07/96.06	o 92898
105.07/96.06	o 92798
105.26/96.23	o 92700
105.26/96.23	o 92699
105.26/96.25	o 92698
201.45/191.95	c First complete search done, starting ALNS search...
201.79/192.12	o 91698
201.79/192.12	o 90698
201.90/192.22	o 89698
202.26/192.46	o 89688
202.26/192.47	o 89678
202.54/192.57	o 88779
202.54/192.57	o 88679
202.54/192.58	o 87770
202.68/192.67	o 87746
202.68/192.67	o 87745
202.68/192.68	o 87738
202.68/192.68	o 87737
203.08/192.89	o 87736
203.08/192.89	o 87735
203.08/192.90	o 87734
203.39/192.90	o 87733
203.39/192.92	o 87732
203.39/192.92	o 87731
203.39/192.94	o 87730
203.39/192.94	o 87729
203.39/192.97	o 87728
203.39/192.99	o 87727
203.56/193.01	o 87726
203.56/193.04	o 87725
203.56/193.07	o 87635
203.56/193.07	o 87634
203.56/193.08	o 87633
203.56/193.09	o 87632
203.56/193.09	o 87631
203.56/193.10	o 87630
203.71/193.11	o 87629
203.71/193.12	o 87628
203.71/193.13	o 87627
203.71/193.16	o 87536
203.71/193.16	o 87535
203.71/193.17	o 87534
203.71/193.17	o 87533
203.71/193.18	o 87532
203.71/193.19	o 87531
203.71/193.20	o 87530
203.82/193.21	o 87529
203.82/193.23	o 87528
203.82/193.24	o 87527
204.15/193.48	o 87518
204.15/193.49	o 87517
204.15/193.50	o 87509
204.26/193.50	o 87508
204.26/193.51	o 87447
204.26/193.52	o 87446
204.26/193.52	o 87445
204.26/193.53	o 87437
204.26/193.53	o 87436
204.26/193.54	o 87435
204.26/193.54	o 87428
204.26/193.55	o 87427
204.26/193.55	o 87426
204.26/193.56	o 87418
204.26/193.57	o 87417
204.37/193.60	o 87347
204.67/193.74	o 87346
204.67/193.79	o 86476
204.67/193.79	o 86475
204.67/193.80	o 86474
204.82/193.80	o 86473
204.93/193.93	o 86472
204.93/193.94	o 86471
205.19/194.14	o 84570
205.19/194.15	o 84569
205.19/194.16	o 84470
205.19/194.16	o 84469
205.41/194.31	o 84460
205.41/194.32	o 84459
217.22/205.61	o 84361
217.22/205.62	o 84261
217.22/205.63	o 83570
217.22/205.64	o 83470
217.22/205.67	o 82471
217.22/205.67	o 82371
217.22/205.70	o 82271
217.33/205.71	o 82270
217.33/205.72	o 82170
217.33/205.75	o 82160
217.33/205.77	o 81570
217.33/205.78	o 81470
217.33/205.79	o 81370
217.43/205.80	o 81369
217.43/205.81	o 81269
217.43/205.83	o 81181
217.43/205.84	o 81170
217.43/205.85	o 80471
217.43/205.86	o 80371
217.56/205.96	o 80156
217.56/205.97	o 80155
217.56/205.98	o 80154
217.56/206.00	o 80153
217.68/206.01	o 80045
217.68/206.02	o 80044
217.68/206.03	o 80043
217.68/206.05	o 79945
217.68/206.07	o 79944
217.68/206.09	o 79943
217.81/206.11	o 79942
217.81/206.13	o 79941
218.23/206.54	o 79841
218.53/206.85	o 79779
218.53/206.85	o 79778
218.53/206.86	o 79777
218.53/206.88	o 79768
218.53/206.88	o 79767
218.53/206.89	o 79766
218.64/206.91	o 79765
218.64/206.92	o 79758
218.64/206.92	o 79757
218.64/206.93	o 79756
218.64/206.93	o 79755
218.64/206.94	o 79754
218.64/206.95	o 79753
218.85/207.11	o 79752
218.96/207.24	o 78752
219.28/207.57	o 78454
219.28/207.59	o 78354
219.39/207.60	o 78254
219.39/207.61	o 78253
219.39/207.64	o 78154
219.39/207.65	o 78153
219.50/207.70	o 78152
219.50/207.71	o 78053
219.50/207.72	o 78052
219.50/207.74	o 77953
219.50/207.75	o 77952
219.60/207.86	o 77855
219.70/207.90	o 77755
219.70/207.94	o 77754
219.70/207.98	o 77753
219.81/208.01	o 77455
219.81/208.02	o 77355
219.81/208.03	o 77354
219.81/208.04	o 77254
219.81/208.05	o 77253
219.81/208.06	o 77154
219.81/208.07	o 77153
219.81/208.08	o 77054
219.81/208.09	o 77053
219.92/208.11	o 76954
219.92/208.11	o 76953
220.01/208.22	o 76368
220.01/208.23	o 76367
220.01/208.24	o 76366
220.01/208.25	o 76267
220.01/208.26	o 76266
220.01/208.26	o 76166
220.01/208.28	o 76066
220.01/208.29	o 75966
220.11/208.31	o 75867
220.11/208.32	o 75866
220.11/208.33	o 75368
220.11/208.34	o 75268
220.11/208.35	o 75267
220.11/208.36	o 75168
220.11/208.37	o 75167
220.11/208.38	o 75067
220.11/208.39	o 74967
220.21/208.41	o 74867
220.21/208.42	o 74767
220.21/208.43	o 74766
220.21/208.44	o 74765
220.21/208.46	o 74756
220.21/208.47	o 74755
220.21/208.49	o 74368
220.21/208.50	o 74268
220.32/208.51	o 74169
220.32/208.52	o 74168
220.32/208.53	o 74068
220.32/208.55	o 74067
220.32/208.56	o 73968
220.32/208.58	o 73967
220.32/208.59	o 73867
220.42/208.60	o 73767
220.42/208.62	o 73766
220.42/208.63	o 73757
220.42/208.64	o 73756
220.42/208.67	o 73469
220.42/208.68	o 73468
220.42/208.70	o 73368
220.52/208.71	o 73268
220.52/208.72	o 73169
220.52/208.73	o 73168
220.52/208.74	o 73068
220.52/208.75	o 73067
220.52/208.76	o 72968
220.52/208.77	o 72967
220.52/208.78	o 72966
220.52/208.79	o 72957
220.52/208.79	o 72956
220.72/208.90	o 72569
220.72/208.91	o 72568
220.72/208.92	o 72469
220.72/208.93	o 72468
220.72/208.94	o 72369
220.72/208.95	o 72368
220.72/208.96	o 72269
220.72/208.97	o 72268
220.72/208.98	o 72168
220.72/208.99	o 72167
220.72/209.01	o 72158
220.83/209.02	o 72157
220.95/209.16	o 72057
225.08/213.26	o 71070
225.18/213.35	o 71069
225.18/213.38	o 70969
225.18/213.39	o 70968
225.29/213.45	o 70869
225.29/213.46	o 70868
225.49/213.63	o 70859
225.59/213.76	o 70858
225.70/213.80	o 70857
225.70/213.85	o 70856
225.80/213.91	o 70855
225.80/213.98	o 70854
225.94/214.10	o 70853
226.04/214.17	o 70852
226.77/214.82	o 70850
226.77/214.84	o 70849
226.77/214.85	o 70848
226.98/215.01	o 70759
226.98/215.04	o 70758
226.98/215.06	o 70749
226.98/215.09	o 70748
227.08/215.11	o 70747
227.22/215.22	o 69959
227.22/215.26	o 69958
227.22/215.29	o 69957
227.31/215.34	o 69949
227.31/215.36	o 69948
227.31/215.40	o 69947
227.41/215.44	o 69946
227.51/215.51	o 69939
227.51/215.53	o 69938
227.51/215.57	o 69937
227.62/215.61	o 69936
227.62/215.68	o 69870
227.73/215.70	o 69869
227.73/215.73	o 69868
227.73/215.76	o 69860
227.73/215.78	o 69859
227.83/215.80	o 69858
227.83/215.83	o 69857
227.83/215.86	o 69850
227.83/215.88	o 69849
227.93/215.90	o 69848
227.93/215.93	o 69847
227.93/215.96	o 69840
227.93/215.99	o 69839
228.05/216.02	o 69838
228.05/216.09	o 69760
228.15/216.12	o 69759
228.15/216.14	o 69749
228.15/216.17	o 69748
228.24/216.20	o 69739
228.24/216.23	o 69738
228.24/216.26	o 69737
229.25/217.20	o 69158
229.25/217.22	o 69148
229.25/217.24	o 69147
229.35/217.31	o 69137
229.35/217.33	o 69136
229.35/217.38	o 69049
229.45/217.40	o 69048
229.45/217.42	o 69039
229.45/217.43	o 69038
229.45/217.46	o 68958
229.45/217.48	o 68957
229.55/217.50	o 68948
229.55/217.52	o 68947
229.55/217.53	o 68938
229.55/217.55	o 68937
232.59/220.54	o 68837
232.80/220.70	o 68737
232.80/220.74	o 68637
232.80/220.77	o 68537
232.90/220.87	o 68437
233.00/220.94	o 68337
235.14/223.05	o 68329
235.14/223.06	o 68328
235.24/223.13	o 68321
235.24/223.14	o 68320
235.24/223.16	o 68319
235.44/223.38	o 68318
235.85/223.72	o 68317
236.04/223.98	o 67718
236.04/223.99	o 67708
236.04/224.00	o 67618
236.15/224.01	o 67608
236.15/224.04	o 67438
236.15/224.05	o 67338
236.15/224.05	o 67328
236.15/224.08	o 67327
236.15/224.09	o 67317
238.39/226.22	o 67117
243.16/230.98	o 66649
243.16/230.98	o 66639
243.16/230.99	o 66629
243.16/231.00	o 66628
243.28/231.01	o 66548
243.28/231.02	o 66538
243.28/231.03	o 66528
243.28/231.04	o 66527
243.28/231.05	o 66518
243.28/231.06	o 66517
243.38/231.13	o 66508
243.38/231.14	o 66507
243.38/231.16	o 66506
243.47/231.22	o 66498
243.47/231.23	o 66497
243.47/231.24	o 66496
243.68/231.43	o 65832
243.68/231.44	o 65822
243.68/231.45	o 65812
243.68/231.46	o 65811
243.68/231.47	o 65802
243.68/231.48	o 65801
243.68/231.49	o 65792
243.78/231.50	o 65791
243.78/231.51	o 65782
243.93/231.60	o 65781
243.93/231.63	o 65780
244.13/231.87	o 65779
244.38/232.05	o 65778
244.48/232.11	o 65777
245.46/233.09	o 65677
245.58/233.16	o 65668
245.58/233.18	o 65667
245.67/233.20	o 65657
245.77/233.33	o 64932
245.77/233.35	o 64842
245.77/233.36	o 64833
245.77/233.37	o 64822
245.77/233.39	o 64743
245.77/233.39	o 64732
245.98/233.51	o 64035
245.98/233.53	o 63934
245.98/233.54	o 63923
246.08/233.63	o 63822
246.08/233.68	o 63732
246.61/234.12	o 63726
246.61/234.14	o 63716
246.73/234.20	o 63715
246.73/234.25	o 63714
246.83/234.31	o 63713
246.83/234.37	o 63627
246.93/234.41	o 63626
246.93/234.46	o 63625
247.03/234.51	o 63617
247.03/234.54	o 63616
247.03/234.58	o 63615
247.13/234.63	o 63614
247.13/234.66	o 63613
247.23/234.73	o 63612
247.23/234.79	o 63611
247.59/235.01	o 63610
247.59/235.08	o 63609
247.70/235.14	o 63608
247.79/235.25	o 63529
247.89/235.30	o 63519
247.89/235.38	o 63509
248.10/235.50	o 63508
248.10/235.58	o 63507
250.02/237.48	o 63497
250.12/237.50	o 63496
250.12/237.53	o 63495
250.64/238.07	o 63307
250.64/238.09	o 63306
250.74/238.11	o 63296
250.74/238.14	o 63295
253.45/240.80	o 63294
253.45/240.84	o 63293
253.45/240.90	o 63292
253.55/240.94	o 63291
253.55/241.00	o 63290
253.87/241.27	o 62733
253.87/241.28	o 62732
253.97/241.32	o 62731
253.97/241.37	o 62722
253.97/241.38	o 62721
254.07/241.41	o 62622
254.07/241.42	o 62621
254.07/241.46	o 62601
254.07/241.47	o 62600
254.17/241.50	o 62524
254.17/241.52	o 62504
254.17/241.53	o 62503
254.17/241.54	o 62502
254.17/241.57	o 62501
254.17/241.58	o 62500
254.27/241.63	o 62424
254.27/241.64	o 62403
254.27/241.66	o 62402
254.27/241.68	o 62401
254.27/241.69	o 62400
254.98/242.38	o 61286
255.08/242.40	o 61285
255.08/242.43	o 61284
255.08/242.46	o 61186
255.08/242.48	o 61185
255.20/242.52	o 61086
255.20/242.54	o 61085
257.75/244.91	o 61084
257.75/244.95	o 61083
257.86/245.06	o 61082
258.05/245.22	o 61081
258.05/245.25	o 61080
258.47/245.61	o 61071
258.47/245.65	o 61070
259.07/246.27	o 61069
259.17/246.34	o 60990
259.17/246.36	o 60980
259.17/246.38	o 60979
259.27/246.40	o 60970
259.27/246.42	o 60969
259.47/246.69	o 60968
259.57/246.76	o 60513
259.57/246.79	o 60413
259.68/246.82	o 60403
259.68/246.86	o 60393
259.68/246.90	o 60392
259.78/246.92	o 60382
259.78/246.95	o 60302
259.78/246.97	o 60292
259.78/246.99	o 60282
259.89/247.03	o 60202
259.89/247.05	o 60192
259.89/247.07	o 60182
259.89/247.10	o 60101
259.99/247.13	o 60091
259.99/247.15	o 60081
259.99/247.19	o 60080
260.08/247.21	o 60070
260.08/247.24	o 59990
260.08/247.26	o 59980
260.08/247.29	o 59970
260.18/247.33	o 59969
261.81/248.95	o 59201
261.81/248.98	o 59191
262.62/249.74	o 59091
264.45/251.59	o 58990
264.55/251.62	o 58989
272.88/259.84	o 58988
272.98/259.96	o 58987
272.98/260.00	o 58986
273.09/260.02	o 58977
273.09/260.02	o 58976
274.23/261.13	o 58975
274.23/261.20	o 58966
274.33/261.22	o 58965
284.03/270.79	o 58907
284.13/270.83	o 58897
284.13/270.87	o 58887
284.24/270.93	o 58886
284.35/271.09	o 58879
284.45/271.13	o 58878
284.45/271.17	o 58877
284.54/271.23	o 58876
284.54/271.27	o 58867
284.64/271.31	o 58866
284.64/271.34	o 58865
284.95/271.62	o 58861
284.95/271.66	o 58860
284.95/271.69	o 58851
285.05/271.72	o 58850
285.05/271.77	o 58849
285.05/271.79	o 58848
285.15/271.83	o 58842
285.15/271.85	o 58841
285.15/271.89	o 58840
285.26/271.91	o 58839
285.26/271.97	o 58838
285.37/272.03	o 58832
285.37/272.06	o 58831
285.37/272.11	o 58830
285.47/272.15	o 58829
285.47/272.17	o 58828
285.76/272.42	o 58827
285.76/272.44	o 58826
285.76/272.46	o 58820
285.76/272.48	o 58819
285.76/272.50	o 58818
285.87/272.53	o 58817
285.87/272.58	o 58816
285.97/272.60	o 58810
285.97/272.62	o 58809
285.97/272.63	o 58808
286.50/273.11	o 58711
286.50/273.12	o 57711
287.00/273.63	o 57708
287.00/273.65	o 57707
287.00/273.67	o 57706
287.46/273.81	o 57705
287.46/273.84	o 57704
287.46/273.88	o 57703
287.56/273.94	o 57702
287.67/274.02	o 57701
287.77/274.11	o 57700
288.00/274.31	o 57699
288.10/274.43	o 57698
289.42/275.77	o 57598
289.42/275.78	o 57588
289.62/275.97	o 57581
289.62/275.98	o 57580
289.62/275.99	o 57579
289.74/276.02	o 57578
289.74/276.03	o 57577
290.03/276.30	o 57488
290.03/276.33	o 57487
290.03/276.37	o 57401
290.13/276.41	o 57400
290.45/276.76	o 57103
290.45/276.78	o 57003
290.55/276.80	o 56993
290.55/276.82	o 56983
290.55/276.82	o 56973
290.55/276.84	o 56873
290.55/276.87	o 56863
290.55/276.88	o 56853
290.65/276.90	o 56842
290.65/276.93	o 56832
290.65/276.96	o 56822
290.65/276.97	o 56763
290.65/276.98	o 56752
290.65/277.00	o 56742
290.75/277.02	o 56732
290.75/277.03	o 56722
290.85/277.11	o 56721
290.85/277.13	o 56711
290.85/277.15	o 56632
290.85/277.17	o 56631
290.85/277.19	o 56621
290.94/277.20	o 56611
291.04/277.35	o 56562
291.04/277.37	o 56552
291.04/277.38	o 56551
291.04/277.39	o 56541
291.15/277.41	o 56531
291.15/277.43	o 56530
291.15/277.44	o 56520
291.15/277.46	o 56461
291.15/277.47	o 56441
291.15/277.49	o 56430
293.67/279.96	o 56353
293.67/279.99	o 56352
293.78/280.02	o 56351
293.78/280.05	o 56344
293.78/280.08	o 56343
294.16/280.30	o 56322
294.70/280.89	o 56321
294.81/280.92	o 56312
294.81/280.97	o 56311
294.92/281.07	o 56302
295.02/281.12	o 56301
295.11/281.22	o 56296
295.11/281.25	o 56295
295.11/281.29	o 56294
297.09/283.17	o 55825
297.18/283.22	o 55824
297.18/283.28	o 55724
297.59/283.63	o 55723
298.10/284.14	o 55663
298.10/284.19	o 55662
298.19/284.23	o 55661
298.19/284.27	o 55653
298.29/284.31	o 55652
298.29/284.36	o 55651
298.39/284.40	o 55643
298.39/284.44	o 55642
298.39/284.49	o 55633
298.49/284.53	o 55632
298.49/284.58	o 55623
298.60/284.62	o 55622
298.60/284.68	o 55621
300.12/286.14	o 55619
300.12/286.19	o 55609
300.22/286.26	o 55608
300.93/286.99	o 55607
301.94/287.96	o 55525
302.05/288.03	o 55524
302.55/288.50	o 55427
303.36/289.37	o 55420
303.47/289.40	o 55328
303.47/289.42	o 55318
303.47/289.45	o 55316
303.47/289.47	o 55306
303.57/289.57	o 55235
303.57/289.59	o 55233
303.67/289.61	o 55225
303.67/289.63	o 55223
303.67/289.65	o 55133
303.67/289.67	o 55123
303.67/289.69	o 54618
303.77/289.71	o 54608
303.77/289.73	o 54516
303.88/289.81	o 54332
303.88/289.85	o 54322
303.88/289.89	o 54232
303.98/289.93	o 54222
303.98/289.99	o 54220
304.10/290.09	o 54212
304.19/290.14	o 54210
304.19/290.18	o 54202
304.28/290.23	o 54200
304.28/290.27	o 54112
304.39/290.31	o 54110
304.39/290.35	o 54102
304.39/290.39	o 54100
304.49/290.47	o 54099
304.59/290.52	o 54009
304.59/290.56	o 53999
304.79/290.78	o 53949
304.89/290.83	o 53849
304.89/290.87	o 53839
305.00/290.92	o 53749
305.25/291.11	o 53742
305.54/291.42	o 53703
305.54/291.47	o 53693
305.65/291.52	o 53683
305.65/291.56	o 53603
305.75/291.61	o 53593
305.75/291.64	o 53583
305.75/291.69	o 53573
305.85/291.74	o 53563
305.95/291.84	o 53553
306.06/291.94	o 53517
306.06/291.97	o 53507
306.16/292.01	o 53497
306.16/292.03	o 53487
306.16/292.06	o 53477
306.16/292.09	o 53467
306.76/292.70	o 53466
306.96/292.83	o 53465
307.18/293.01	o 53456
307.18/293.09	o 53455
307.37/293.29	o 52576
307.47/293.33	o 52476
307.47/293.39	o 52466
307.57/293.46	o 52456
307.67/293.57	o 52455
308.48/294.36	o 51584
308.68/294.51	o 51582
308.78/294.61	o 51574
308.78/294.62	o 51564
308.78/294.63	o 51563
308.78/294.64	o 51562
308.78/294.65	o 51561
308.99/294.82	o 51560
309.99/295.87	o 51490
310.10/295.98	o 51480
310.21/296.02	o 51470
310.80/296.62	o 51469
310.80/296.64	o 51459
311.61/297.43	o 51458
311.61/297.47	o 51457
311.72/297.51	o 51448
311.72/297.54	o 51447
312.12/297.99	o 51446
312.23/298.02	o 51445
312.33/298.11	o 51376
312.33/298.13	o 51367
312.33/298.14	o 51366
312.33/298.18	o 51357
312.42/298.21	o 51356
312.42/298.25	o 51346
312.42/298.28	o 51336
312.52/298.32	o 51335
313.03/298.83	o 50788
313.03/298.84	o 50778
313.03/298.86	o 50768
313.25/299.02	o 50690
313.25/299.03	o 50680
313.25/299.05	o 50670
313.35/299.11	o 50666
313.35/299.13	o 50656
313.44/299.24	o 50578
313.44/299.26	o 50568
313.44/299.29	o 50558
313.74/299.55	o 50549
313.84/299.62	o 50547
313.84/299.68	o 50538
313.95/299.74	o 50537
314.05/299.88	o 50536
314.15/299.93	o 50535
314.75/300.54	o 50477
314.75/300.56	o 50467
314.75/300.58	o 50457
314.96/300.70	o 50448
314.96/300.78	o 50446
315.06/300.83	o 50437
315.06/300.89	o 50436
315.16/300.99	o 50367
315.16/301.00	o 50357
315.27/301.03	o 50347
315.37/301.15	o 50338
315.47/301.22	o 50336
315.47/301.28	o 50327
315.57/301.34	o 50326
319.48/305.06	o 49650
319.58/305.17	o 49649
319.68/305.24	o 49550
321.02/306.54	o 49544
321.12/306.64	o 49543
322.14/307.62	o 49463
322.14/307.66	o 49453
322.65/308.17	o 49363
322.74/308.22	o 49353
322.94/308.43	o 48563
323.04/308.56	o 48463
324.66/310.13	o 47663
324.66/310.17	o 47561
324.76/310.25	o 47461
324.96/310.48	o 47460
326.17/311.65	o 47459
327.59/313.03	o 47396
327.59/313.08	o 47395
327.69/313.13	o 47387
327.69/313.17	o 47386
327.78/313.22	o 47377
327.78/313.26	o 47376
327.88/313.31	o 47375
327.88/313.38	o 47374
328.12/313.57	o 47367
328.22/313.62	o 47366
328.22/313.67	o 47365
328.32/313.73	o 47364
328.42/313.85	o 47357
328.42/313.89	o 47356
328.52/313.94	o 47355
328.52/314.00	o 47354
329.24/314.65	o 47353
329.55/314.91	o 46580
329.55/314.96	o 46570
329.66/315.06	o 46569
329.81/315.14	o 46568
329.90/315.25	o 46567
330.01/315.39	o 46480
330.11/315.48	o 46479
330.21/315.57	o 46478
330.31/315.68	o 46477
330.53/315.81	o 46471
330.53/315.85	o 46470
330.63/315.93	o 46469
330.74/316.03	o 46468
330.84/316.11	o 46467
331.04/316.36	o 46466
331.14/316.43	o 46465
331.24/316.53	o 46458
331.34/316.60	o 46457
331.44/316.71	o 46456
331.54/316.82	o 46455
331.78/317.09	o 46454
332.11/317.31	o 46453
332.11/317.35	o 46452
332.21/317.48	o 46444
332.31/317.52	o 46443
332.31/317.57	o 46434
332.41/317.60	o 46433
332.41/317.67	o 46424
332.51/317.72	o 46423
332.51/317.79	o 46393
332.61/317.83	o 46392
332.61/317.89	o 46383
332.74/317.94	o 46382
332.74/317.98	o 46373
332.85/318.02	o 46363
332.85/318.05	o 46362
332.85/318.10	o 46353
332.95/318.14	o 46352
332.95/318.18	o 46344
333.04/318.22	o 46343
333.04/318.26	o 46334
333.04/318.29	o 46333
333.14/318.35	o 46324
333.24/318.40	o 46323
333.34/318.55	o 46316
333.44/318.63	o 46315
333.91/319.01	o 46314
334.10/319.26	o 46313
336.67/321.76	o 46303
337.18/322.24	o 46302
340.13/325.17	o 46243
340.52/325.52	o 46242
340.62/325.63	o 46241
340.72/325.74	o 46233
340.82/325.81	o 46232
340.82/325.88	o 46231
340.92/326.00	o 46223
341.03/326.07	o 46222
341.13/326.15	o 46221
341.22/326.28	o 46212
341.32/326.35	o 46211
341.42/326.46	o 46210
342.14/327.16	o 46145
342.23/327.24	o 46135
342.33/327.32	o 46125
342.33/327.40	o 46124
342.43/327.48	o 46114
342.53/327.55	o 46113
342.63/327.64	o 46112
343.14/328.17	o 46104
343.23/328.24	o 46103
343.33/328.31	o 46102
343.53/328.53	o 46101
348.77/333.71	o 46094
348.77/333.78	o 46093
348.87/333.86	o 46092
348.99/333.95	o 46091
350.20/335.17	o 46044
350.29/335.26	o 46043
350.39/335.35	o 46034
350.50/335.43	o 46033
350.60/335.52	o 46032
350.70/335.62	o 46023
350.80/335.70	o 46022
350.90/335.81	o 46013
350.90/335.89	o 46012
351.00/335.98	o 46011
351.30/336.25	o 45243
351.40/336.34	o 45242
351.50/336.45	o 45233
351.60/336.53	o 45232
351.70/336.64	o 45222
351.80/336.76	o 45212
351.91/336.86	o 45211
352.01/336.97	o 45210
352.41/337.36	o 45145
352.51/337.45	o 45144
352.61/337.54	o 45143
352.71/337.65	o 45135
352.81/337.73	o 45134
352.91/337.82	o 45133
353.01/337.93	o 45124
353.12/338.01	o 45123
357.77/342.66	o 44936
357.87/342.70	o 44926
357.87/342.74	o 44925
357.87/342.78	o 44915
367.35/352.07	o 44914
367.45/352.11	o 44913
367.45/352.15	o 44903
386.54/370.88	o 44571
386.75/371.07	o 44461
387.78/372.02	o 44451
387.98/372.28	o 44450
388.38/372.69	o 44367
388.58/372.82	o 44357
388.68/372.99	o 44247
394.51/378.60	o 44179
394.51/378.67	o 44169
394.92/379.01	o 44167
395.88/379.96	o 44163
396.09/380.13	o 44162
396.29/380.33	o 44153
396.39/380.40	o 44152
400.95/385.00	o 44142
401.06/385.06	o 44141
404.20/388.13	o 44140
404.90/388.84	o 44139
405.51/389.42	o 44138
406.23/390.16	o 43351
406.32/390.24	o 43350
406.42/390.32	o 43341
406.42/390.39	o 43340
406.53/390.46	o 43339
406.62/390.56	o 43338
408.16/392.10	o 43132
408.26/392.17	o 43131
408.36/392.24	o 43130
408.36/392.29	o 43129
408.46/392.36	o 43128
408.56/392.43	o 43127
414.09/397.81	o 43126
416.96/400.18	o 43125
423.28/406.33	o 41111
423.48/406.50	o 41110
424.50/407.50	o 41109
424.60/407.60	o 40163
424.81/407.82	o 40153
424.91/407.97	o 40152
425.12/408.12	o 40151
425.31/408.37	o 40144
425.42/408.43	o 40143
425.42/408.49	o 40134
425.52/408.54	o 40133
425.52/408.60	o 40132
425.83/408.80	o 40131
425.83/408.86	o 40130
425.93/408.91	o 40122
425.93/408.96	o 40121
426.03/409.01	o 40120
426.14/409.17	o 40119
426.84/409.80	o 39449
426.84/409.82	o 39446
426.94/409.92	o 39348
426.94/409.96	o 39338
427.06/410.02	o 39328
427.56/410.60	o 36657
427.66/410.60	o 36647
427.66/410.61	o 36560
427.66/410.62	o 36550
427.76/410.71	o 36543
427.76/410.72	o 36533
427.76/410.73	o 36465
427.76/410.74	o 36464
427.76/410.74	o 36455
427.76/410.74	o 36454
427.76/410.76	o 36446
427.76/410.77	o 36368
427.86/410.80	o 36358
427.86/410.82	o 36357
427.86/410.84	o 36331
427.86/410.84	o 36321
427.86/410.88	o 36311
427.98/410.90	o 36234
427.98/410.91	o 36224
427.98/410.91	o 36214
427.98/410.95	o 36207
427.98/410.98	o 36141
427.98/410.98	o 36140
427.98/410.98	o 36131
427.98/410.99	o 36130
427.98/410.99	o 36120
427.98/411.00	o 36110
428.09/411.01	o 36043
428.09/411.02	o 36033
428.09/411.03	o 36023
428.09/411.04	o 36022
428.09/411.05	o 36012
428.69/411.61	o 36011
428.69/411.61	o 36001
428.69/411.61	o 35991
428.69/411.63	o 35911
428.69/411.63	o 35901
428.69/411.66	o 35891
428.69/411.68	o 35890
428.80/411.71	o 35880
428.90/411.87	o 35813
428.90/411.87	o 35803
428.90/411.88	o 35802
429.00/411.93	o 35801
429.00/411.94	o 35792
429.00/411.95	o 35791
429.81/412.78	o 35790
430.07/413.00	o 35789
430.28/413.13	o 35788
430.48/413.38	o 35787
435.52/418.30	o 35779
435.62/418.41	o 35778
436.84/419.62	o 35777
436.94/419.75	o 35776
442.10/424.89	o 35775
442.20/425.00	o 35774
444.17/426.83	o 35773
444.27/426.98	o 35772
444.49/427.17	o 35771
444.68/427.35	o 35770
444.98/427.64	o 35769
448.44/431.04	o 35764
448.54/431.12	o 35763
448.64/431.20	o 35762
448.64/431.27	o 35761
448.74/431.35	o 35760
448.84/431.44	o 35759
448.94/431.59	o 35758
449.34/431.93	o 35695
449.45/432.01	o 35694
449.45/432.08	o 35685
449.56/432.15	o 35684
454.23/436.71	o 35619
454.23/436.77	o 35618
454.33/436.87	o 35617
454.43/436.94	o 35608
454.54/437.02	o 35607
456.47/438.92	o 34708
456.67/439.13	o 34707
456.67/439.19	o 34697
456.87/439.37	o 34619
456.98/439.42	o 34618
456.98/439.46	o 34608
457.49/439.98	o 33684
457.60/440.03	o 33683
457.60/440.06	o 33673
457.79/440.23	o 33595
457.79/440.27	o 33594
457.89/440.33	o 33584
458.10/440.55	o 33583
458.30/440.78	o 33582
458.64/441.05	o 33581
459.04/441.44	o 33580
459.24/441.69	o 33579
459.55/441.95	o 33578
459.85/442.20	o 33577
460.06/442.43	o 33576
460.26/442.69	o 33575
461.57/443.95	o 33488
461.57/443.99	o 33487
461.68/444.04	o 33486
462.07/444.41	o 33478
462.07/444.43	o 33477
462.07/444.45	o 33476
462.68/445.01	o 33475
462.83/445.17	o 33474
463.02/445.32	o 33473
463.22/445.53	o 33472
463.42/445.74	o 33471
463.74/446.06	o 33470
464.03/446.39	o 33467
464.13/446.46	o 33466
464.23/446.55	o 33465
464.33/446.67	o 33464
464.44/446.78	o 33463
464.64/446.98	o 33462
465.15/447.41	o 33461
465.35/447.68	o 33460
465.76/448.04	o 33459
466.06/448.36	o 33458
469.30/451.51	o 33389
469.40/451.62	o 33380
469.50/451.71	o 33379
469.60/451.81	o 33378
469.70/451.91	o 33371
469.70/451.99	o 33370
469.82/452.07	o 33369
469.92/452.15	o 33368
470.01/452.22	o 33096
470.01/452.29	o 33005
470.11/452.33	o 32995
470.21/452.40	o 32894
470.21/452.47	o 32893
470.31/452.53	o 32884
470.31/452.57	o 32793
470.41/452.61	o 32783
470.41/452.66	o 32782
470.51/452.70	o 32781
470.61/452.81	o 32683
470.71/452.90	o 32682
470.82/453.01	o 32681
470.82/453.11	o 32680
470.93/453.18	o 32591
471.02/453.23	o 32590
471.02/453.27	o 32582
471.12/453.30	o 32581
471.12/453.35	o 32580
471.22/453.42	o 32573
471.22/453.46	o 32572
471.32/453.50	o 32571
471.32/453.55	o 32570
473.87/456.10	o 32000
473.97/456.13	o 31990
473.97/456.15	o 31911
473.97/456.18	o 31901
474.06/456.22	o 31900
474.06/456.23	o 31821
474.06/456.26	o 31811
474.06/456.27	o 31810
474.17/456.33	o 31771
474.17/456.37	o 31770
474.17/456.39	o 31681
474.27/456.40	o 31680
474.27/456.48	o 31648
474.37/456.58	o 31646
474.37/456.59	o 31645
474.37/456.59	o 31625
474.47/456.60	o 31624
474.47/456.62	o 31536
474.47/456.62	o 31535
474.68/456.88	o 31530
474.68/456.89	o 31528
474.78/456.90	o 31517
474.78/456.94	o 30810
474.78/456.95	o 30719
474.89/457.02	o 30627
474.89/457.02	o 30606
481.92/463.95	o 30595
500.72/482.35	o 30536
500.82/482.40	o 30526
500.82/482.49	o 30516
500.92/482.58	o 30515
501.02/482.68	o 30514
501.23/482.85	o 30512
501.33/482.92	o 30511
501.44/483.03	o 30502
501.44/483.09	o 30501
501.54/483.19	o 30500
501.74/483.37	o 30499
501.84/483.46	o 30498
502.84/484.48	o 30497
502.96/484.56	o 30319
503.06/484.61	o 30309
503.06/484.67	o 30308
503.16/484.74	o 30307
503.99/485.58	o 30306
504.61/486.16	o 30305
504.71/486.30	o 30304
504.91/486.47	o 30303
505.02/486.60	o 30302
505.22/486.75	o 30301
505.32/486.86	o 30300
505.53/487.09	o 30299
505.73/487.28	o 30298
506.14/487.61	o 30297
511.11/492.51	o 30215
511.11/492.59	o 30205
511.31/492.72	o 30195
511.41/492.87	o 30185
516.66/498.00	o 30184
517.17/498.43	o 30183
517.37/498.66	o 30182
539.73/520.62	o 30180
539.83/520.75	o 30173
540.04/520.93	o 30172
540.34/521.23	o 30170
540.54/521.44	o 30169
544.61/525.45	o 30168
551.85/532.54	o 30159
551.95/532.63	o 30158
552.05/532.75	o 30156
564.66/544.88	o 29283
564.76/544.98	o 29274
564.89/545.10	o 29273
565.07/545.20	o 29184
565.07/545.28	o 29174
565.27/545.41	o 29173
565.38/545.54	o 29172
565.48/545.68	o 29171
565.68/545.85	o 29170
565.89/546.05	o 29169
566.09/546.27	o 29168
566.39/546.54	o 29167
566.59/546.75	o 29166
566.79/546.92	o 29165
567.10/547.21	o 29164
567.40/547.55	o 29163
567.81/547.90	o 29162
568.10/548.24	o 29161
568.41/548.52	o 29160
568.72/548.83	o 29159
569.56/549.65	o 29110
569.66/549.80	o 29102
569.76/549.83	o 29100
576.56/556.53	o 28882
576.66/556.60	o 28881
576.76/556.73	o 28781
576.86/556.81	o 28780
577.67/557.69	o 28770
585.23/565.10	o 27980
585.33/565.17	o 27970
585.43/565.24	o 27880
585.53/565.30	o 27870
586.05/565.81	o 27860
586.15/565.90	o 27850
598.01/577.60	o 27849
598.21/577.78	o 27848
618.76/597.92	o 26848
642.26/620.99	o 26161
642.37/621.06	o 26061
642.56/621.20	o 26051
642.56/621.28	o 25961
642.67/621.37	o 25951
642.88/621.54	o 25950
642.98/621.63	o 25860
643.08/621.73	o 25850
655.67/634.08	o 25675
655.86/634.27	o 25665
656.37/634.79	o 25664
656.57/634.94	o 25663
656.79/635.18	o 25662
657.08/635.49	o 25661
657.28/635.68	o 25660
657.59/636.00	o 25659
658.19/636.55	o 25575
658.29/636.62	o 25574
658.29/636.67	o 25565
658.39/636.72	o 25564
658.39/636.77	o 25563
658.49/636.82	o 25562
658.49/636.86	o 25555
658.59/636.92	o 25554
658.59/636.97	o 25553
658.59/637.00	o 25552
658.70/637.06	o 25551
658.81/637.15	o 25550
658.90/637.27	o 25549
660.22/638.58	o 25544
660.32/638.64	o 25543
660.42/638.70	o 25542
660.42/638.76	o 25541
660.53/638.82	o 25540
660.63/638.93	o 25539
661.75/640.04	o 25533
661.75/640.09	o 25532
661.86/640.15	o 25531
661.95/640.21	o 25530
662.05/640.32	o 25529
670.06/648.04	o 25519
670.35/648.34	o 25441
670.46/648.41	o 25431
670.46/648.49	o 25430
670.56/648.56	o 25420
670.87/648.82	o 25419
672.20/650.17	o 24420
672.91/650.85	o 24419
692.47/669.78	o 24350
692.68/669.98	o 24340
693.39/670.66	o 24330
695.03/672.26	o 24329
701.57/678.65	o 24280
701.67/678.76	o 24279
701.78/678.85	o 24270
701.88/678.96	o 24269
702.09/679.13	o 24259
702.28/679.30	o 24258
702.38/679.45	o 24250
702.48/679.59	o 24249
703.50/680.59	o 24248
704.32/681.37	o 24247
704.63/681.64	o 24239
704.73/681.72	o 24238
730.84/707.03	o 24237
730.94/707.12	o 24236
804.72/779.53	o 24195
804.82/779.62	o 24194
804.92/779.77	o 24185
805.03/779.84	o 24184
805.13/779.92	o 24183
805.13/779.98	o 24182
805.24/780.05	o 24174
805.34/780.15	o 24172
805.44/780.23	o 24171
807.18/781.92	o 24170
807.18/781.98	o 24163
807.29/782.04	o 24162
807.29/782.10	o 24161
807.38/782.14	o 24160
842.27/816.34	o 24095
842.47/816.59	o 24094
842.78/816.84	o 24093
842.98/817.10	o 24092
843.28/817.36	o 24075
843.58/817.61	o 24074
843.79/817.86	o 24073
844.00/818.10	o 24072
844.30/818.38	o 24065
844.60/818.60	o 24064
844.81/818.85	o 24063
845.01/819.09	o 24062
848.79/822.77	o 24061
849.00/822.94	o 24054
849.11/823.06	o 24053
849.21/823.18	o 24052
849.31/823.26	o 24051
849.62/823.52	o 23964
849.72/823.69	o 23954
849.92/823.87	o 23953
852.58/826.43	o 23866
852.78/826.69	o 23865
853.08/826.90	o 23855
853.50/827.37	o 23854
881.74/855.02	o 23798
881.74/855.09	o 23797
881.84/855.15	o 23788
881.93/855.21	o 23787
882.05/855.30	o 23778
882.05/855.39	o 23777
882.15/855.47	o 23768
882.25/855.56	o 23767
882.46/855.70	o 23698
882.46/855.76	o 23688
882.56/855.82	o 23687
882.56/855.87	o 23678
882.66/855.94	o 23677
882.66/855.99	o 23668
882.77/856.06	o 23667
883.37/856.61	o 23658
883.48/856.70	o 23657
883.68/856.92	o 23308
883.68/857.00	o 23307
883.79/857.06	o 23298
883.90/857.11	o 23297
883.90/857.17	o 23288
883.99/857.23	o 23287
883.99/857.27	o 23278
884.09/857.32	o 23277
884.09/857.38	o 23208
884.19/857.45	o 23198
884.30/857.52	o 23188
884.30/857.58	o 23178
884.40/857.64	o 23177
884.50/857.71	o 23168
884.50/857.76	o 23167
884.60/857.82	o 23098
884.60/857.90	o 23088
884.71/857.97	o 23078
884.81/858.03	o 23068
884.81/858.10	o 22998
884.92/858.16	o 22988
885.01/858.21	o 22978
885.01/858.26	o 22968
885.11/858.35	o 22958
885.21/858.42	o 22957
885.31/858.51	o 22908
885.31/858.58	o 22898
885.41/858.66	o 22897
885.51/858.73	o 22888
885.62/858.81	o 22887
885.62/858.88	o 22878
885.72/858.95	o 22877
885.83/859.04	o 22868
885.93/859.11	o 22867
885.93/859.19	o 22858
886.03/859.25	o 22857
886.23/859.40	o 22856
886.23/859.46	o 22797
886.33/859.52	o 22787
886.33/859.59	o 22777
886.45/859.66	o 22767
886.55/859.73	o 22757
886.65/859.81	o 22756
886.75/859.90	o 22697
886.75/859.96	o 22687
886.87/860.03	o 22677
886.87/860.10	o 22667
886.97/860.16	o 22657
887.06/860.23	o 22656
887.27/860.41	o 22655
887.47/860.67	o 22654
925.35/897.57	o 22652
928.62/900.73	o 22634
928.72/900.82	o 22624
938.33/910.25	o 22616
938.94/910.82	o 22615
940.28/912.16	o 22614
940.58/912.40	o 22613
974.73/945.91	o 22612
974.85/946.08	o 22610
995.29/966.06	o 22542
995.48/966.23	o 22532
995.69/966.45	o 22531
996.00/966.80	o 22522
996.31/967.09	o 22521
996.71/967.45	o 22512
997.11/967.81	o 22511
997.52/968.21	o 22442
997.73/968.50	o 22441
998.04/968.78	o 22432
998.45/969.15	o 22431
998.75/969.49	o 22422
999.26/969.91	o 22421
999.57/970.24	o 22412
999.87/970.57	o 22411
1020.55/990.88	o 22404
1020.65/990.99	o 22403
1020.76/991.10	o 22402
1020.87/991.18	o 22401
1036.61/1006.50	o 22329
1036.82/1006.73	o 22319
1037.02/1006.97	o 22309
1037.32/1007.27	o 22308
1037.63/1007.57	o 22229
1037.83/1007.78	o 22228
1038.15/1008.01	o 22219
1038.35/1008.25	o 22218
1038.55/1008.48	o 22209
1038.85/1008.71	o 22208
1039.98/1009.86	o 22199
1040.20/1010.08	o 22198
1040.70/1010.53	o 22129
1040.91/1010.74	o 22128
1041.12/1011.00	o 22119
1041.43/1011.22	o 22118
1041.63/1011.49	o 22109
1041.93/1011.70	o 22108
1042.25/1012.02	o 22099
1042.44/1012.27	o 22098
1042.95/1012.77	o 22021
1043.15/1012.96	o 22011
1043.45/1013.21	o 22010
1044.28/1014.01	o 21931
1044.47/1014.23	o 21921
1044.67/1014.48	o 21920
1044.98/1014.75	o 21911
1045.18/1014.96	o 21910
1045.49/1015.29	o 21901
1045.79/1015.54	o 21900
1110.80/1078.93	o 21899
1205.82/1171.87	o 21898
1363.96/1326.27	o 21897
1364.16/1326.48	o 21896
1364.47/1326.73	o 21895
1364.69/1326.92	o 21894
1364.89/1327.16	o 21893
1365.08/1327.35	o 21892
1365.29/1327.57	o 21891
1365.49/1327.75	o 21890
1366.21/1328.48	o 21889
1373.27/1335.35	o 21880
1373.37/1335.49	o 21879
1621.95/1578.32	o 21871
1636.57/1592.63	o 21870
1689.13/1643.89	o 21869
1689.64/1644.34	o 21868
1715.75/1669.89	o 21768
2400.01/2337.90	s SATISFIABLE
2400.01/2337.90	v <instantiation>
2400.01/2337.90	v 	<list>
2400.01/2337.90	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]
2400.01/2337.90	v 	</list>
2400.01/2337.90	v 	<values>
2400.01/2337.90	v 		456 694 526 764 792 554 394 156 554 792 310 72 666 428 414 652 792 554 254 16 484 722 778 540 128 366 554 792 254 16 792 554 156 394 16 254 16 254 792 554 554 792 30 268 526 764 722 484 282 44 792 554 58 296 554 792 554 792 310 72 268 30 512 750 156 394 764 526 554 792 540 778 526 764 456 694 296 58 268 30 778 540 128 366 16 254 540 778 778 540 778 540 268 30 484 722 380 142 778 540 792 554 554 792 282 44 30 268 44 282 394 156 142 380 540 778 540 778 352 114 380 142 30 268 296 58 778 540 666 428 324 86 310 72 778 540 540 778 30 268 470 708 86 324 778 540 268 30 86 324 792 554 792 554 310 72 708 470 114 352 128 366 128 366 156 394 16 254 512 750 540 778 512 750 380 142 792 554 736 498 366 128 778 540 456 694 380 142 442 680 86 324 778 540 86 324 512 750 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 1000 0 1000 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 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 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 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 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 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 100 100 0 100 100 100 100 0 100 0 0 100 0 0 0 100 0 0 0 0 100 100 0 0 0 0 0 0 0 0 100 0 100 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 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 0 0 0 0 100 0 0 0 0 100 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 100 0 100 0 0 0 100 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 0 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 0 0 0 0 0 100 0 0 0 0 0 0 100 100 0 0 0 100 0 0 0 100 100 100 0 100 0 0 0 0 100 100 0 0 0 0 100 100 0 100 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 100 100 0 100 100 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 100 100 0 100 100 100 100 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 0 10 10 10 0 10 10 10 10 10 10 10 10 0 0 10 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 10 0 10 0 0 0 0 0 10 0 0 0 0 0 0 10 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 10 0 0 0 0 0 0 10 0 0 0 10 10 10 0 0 10 0 0 0 0 0 0 10 0 10 0 0 0 10 0 0 0 0 10 0 0 10 10 0 0 10 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 10 10 0 10 10 0 10 10 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 10 0 10 0 0 10 0 0 10 10 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 10 0 10 10 0 10 0 0 0 10 0 0 0 10 10 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 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 1 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 0 0 0 0 1 0 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 1 1 1 1 1 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 1 1 
2400.01/2337.90	v 	</values>
2400.01/2337.90	v </instantiation>

Verifier Data 

OK	21768

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291956-1532267951/watcher-4291956-1532267951 -o /tmp/evaluation-result-4291956-1532267951/solver-4291956-1532267951 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532260876-3288 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1759362317 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291956-1532267951.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=4331, runsolver pid=4328

[startup+0.101016 s]*
/proc/loadavg: 1.88 1.52 1.52 3/215 4346
/proc/meminfo: memFree=19363728/32770624 swapFree=67108860/67108860
[pid=4331] ppid=4328 vsize=14082740 memory=34384 CPUtime=0.11 cores=1,3,5,7
/proc/4331/stat : 4331 (java) S 4328 4331 3256 0 -1 1077944320 6968 0 0 0 10 1 0 0 20 0 15 0 44358268 14420725760 8596 33554432000 4194304 4196468 140722071503840 140722071486384 140094206050039 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
/proc/4331/statm: 3520685 8596 3164 1 0 3482761 0
[pid=4331/tid=4333] ppid=4328 vsize=14082740 memory=-8679948816207410368 CPUtime=0.09 cores=1,3,5,7
/proc/4331/task/4333/stat : 4333 (java) R 4328 4331 3256 0 -1 4202560 5031 0 0 0 8 1 0 0 20 0 15 0 44358268 14420725760 8596 33554432000 4194304 4196468 140722071503840 140094210244848 140094190130556 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4334] ppid=4328 vsize=14082740 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4334/stat : 4334 (java) S 4328 4331 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44358269 14420725760 8596 33554432000 4194304 4196468 140722071503840 140094121118480 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4335] ppid=4328 vsize=14082740 memory=140641650230912 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4335/stat : 4335 (java) S 4328 4331 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44358269 14420725760 8596 33554432000 4194304 4196468 140722071503840 140094120065936 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4336] ppid=4328 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4336/stat : 4336 (java) S 4328 4331 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44358269 14420725760 8596 33554432000 4194304 4196468 140722071503840 140094119013392 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4337] ppid=4328 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4337/stat : 4337 (java) S 4328 4331 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44358269 14420725760 8596 33554432000 4194304 4196468 140722071503840 140094117960848 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4338] ppid=4328 vsize=14082740 memory=140641650230912 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4338/stat : 4338 (java) S 4328 4331 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44358271 14420725760 8596 33554432000 4194304 4196468 140722071503840 140093681014768 140094206061186 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4339] ppid=4328 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4339/stat : 4339 (java) S 4328 4331 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44358271 14420725760 8596 33554432000 4194304 4196468 140722071503840 140093679960992 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4340] ppid=4328 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4340/stat : 4340 (java) S 4328 4331 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44358271 14420725760 8596 33554432000 4194304 4196468 140722071503840 140093678908400 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4341] ppid=4328 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4341/stat : 4341 (java) S 4328 4331 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358274 14420725760 8596 33554432000 4194304 4196468 140722071503840 140093677856976 140094206068635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4342] ppid=4328 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4342/stat : 4342 (java) S 4328 4331 3256 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 15 0 44358274 14420725760 8596 33554432000 4194304 4196468 140722071503840 140093676804592 140094206061186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4343] ppid=4328 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4343/stat : 4343 (java) S 4328 4331 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358274 14420725760 8596 33554432000 4194304 4196468 140722071503840 140093675752048 140094206061186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4344] ppid=4328 vsize=14082740 memory=140641650230912 CPUtime=0.01 cores=1,3,5,7
/proc/4331/task/4344/stat : 4344 (java) R 4328 4331 3256 0 -1 4202560 273 0 0 0 1 0 0 0 20 0 15 0 44358274 14420725760 8596 33554432000 4194304 4196468 140722071503840 140093674699504 140094184075266 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4345] ppid=4328 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4345/stat : 4345 (java) S 4328 4331 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358274 14420725760 8596 33554432000 4194304 4196468 140722071503840 140093673647200 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4346] ppid=4328 vsize=14082740 memory=140641650230912 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4346/stat : 4346 (java) S 4328 4331 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44358274 14420725760 8596 33554432000 4194304 4196468 140722071503840 140093672593712 140094206061186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 34384 KiB

[startup+0.211825 s]*
/proc/loadavg: 1.88 1.52 1.52 6/215 4346
/proc/meminfo: memFree=19349216/32770624 swapFree=67108860/67108860
[pid=4331] ppid=4328 vsize=14082740 memory=47492 CPUtime=0.31 cores=1,3,5,7
/proc/4331/stat : 4331 (java) S 4328 4331 3256 0 -1 1077944320 10009 0 0 0 29 2 0 0 20 0 15 0 44358268 14420725760 11873 33554432000 4194304 4196468 140722071503840 140722071486384 140094206050039 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
/proc/4331/statm: 3520685 11873 3368 1 0 3482761 0
[pid=4331/tid=4333] ppid=4328 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/4331/task/4333/stat : 4333 (java) R 4328 4331 3256 0 -1 4202560 7735 0 0 0 19 1 0 0 20 0 15 0 44358268 14420725760 11937 33554432000 4194304 4196468 140722071503840 140094210280016 140094190130526 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4334] ppid=4328 vsize=14082740 memory=331 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4334/stat : 4334 (java) S 4328 4331 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44358269 14420725760 11937 33554432000 4194304 4196468 140722071503840 140094121118480 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4335] ppid=4328 vsize=14082740 memory=140641650235180 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4335/stat : 4335 (java) S 4328 4331 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44358269 14420725760 11937 33554432000 4194304 4196468 140722071503840 140094120065936 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4336] ppid=4328 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4336/stat : 4336 (java) S 4328 4331 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44358269 14420725760 11937 33554432000 4194304 4196468 140722071503840 140094119013392 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4337] ppid=4328 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4337/stat : 4337 (java) S 4328 4331 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44358269 14420725760 11937 33554432000 4194304 4196468 140722071503840 140094117960848 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4338] ppid=4328 vsize=14082740 memory=140641650230912 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4338/stat : 4338 (java) S 4328 4331 3256 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 44358271 14420725760 11937 33554432000 4194304 4196468 140722071503840 140093681014768 140094206061186 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4339] ppid=4328 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4339/stat : 4339 (java) S 4328 4331 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44358271 14420725760 11937 33554432000 4194304 4196468 140722071503840 140093679960992 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4340] ppid=4328 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4340/stat : 4340 (java) S 4328 4331 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44358271 14420725760 11937 33554432000 4194304 4196468 140722071503840 140093678908400 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4341] ppid=4328 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4341/stat : 4341 (java) S 4328 4331 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358274 14420725760 11937 33554432000 4194304 4196468 140722071503840 140093677856976 140094206068635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4342] ppid=4328 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4331/task/4342/stat : 4342 (java) S 4328 4331 3256 0 -1 1077944384 481 0 0 0 2 0 0 0 20 0 15 0 44358274 14420725760 11937 33554432000 4194304 4196468 140722071503840 140093676804592 140094206061186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4343] ppid=4328 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/4331/task/4343/stat : 4343 (java) S 4328 4331 3256 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 15 0 44358274 14420725760 11937 33554432000 4194304 4196468 140722071503840 140093675752048 140094206061186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4344] ppid=4328 vsize=14082740 memory=140641650230912 CPUtime=0.06 cores=1,3,5,7
/proc/4331/task/4344/stat : 4344 (java) R 4328 4331 3256 0 -1 4202560 301 0 0 0 6 0 0 0 20 0 15 0 44358274 14420725760 11937 33554432000 4194304 4196468 140722071503840 140093674696440 140094185321008 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4345] ppid=4328 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4345/stat : 4345 (java) S 4328 4331 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358274 14420725760 11937 33554432000 4194304 4196468 140722071503840 140093673647200 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4346] ppid=4328 vsize=14082740 memory=140641650230912 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4346/stat : 4346 (java) S 4328 4331 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44358274 14420725760 11937 33554432000 4194304 4196468 140722071503840 140093672593712 140094206061186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47492 KiB

[startup+0.310551 s]*
/proc/loadavg: 1.88 1.52 1.52 3/215 4346
/proc/meminfo: memFree=19343744/32770624 swapFree=67108860/67108860
[pid=4331] ppid=4328 vsize=14082740 memory=50976 CPUtime=0.43 cores=1,3,5,7
/proc/4331/stat : 4331 (java) S 4328 4331 3256 0 -1 1077944320 10361 0 0 0 41 2 0 0 20 0 15 0 44358268 14420725760 12744 33554432000 4194304 4196468 140722071503840 140722071486384 140094206050039 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
/proc/4331/statm: 3520685 12744 3371 1 0 3482761 0
[pid=4331/tid=4333] ppid=4328 vsize=14082740 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/4331/task/4333/stat : 4333 (java) R 4328 4331 3256 0 -1 4202560 8074 0 0 0 28 2 0 0 20 0 15 0 44358268 14420725760 12744 33554432000 4194304 4196468 140722071503840 140094210271136 140094191419663 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4334] ppid=4328 vsize=14082740 memory=304556140472303639 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4334/stat : 4334 (java) S 4328 4331 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44358269 14420725760 12744 33554432000 4194304 4196468 140722071503840 140094121118480 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4335] ppid=4328 vsize=14082740 memory=15960660619708056 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4335/stat : 4335 (java) S 4328 4331 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44358269 14420725760 12744 33554432000 4194304 4196468 140722071503840 140094120065936 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4336] ppid=4328 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4336/stat : 4336 (java) S 4328 4331 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44358269 14420725760 12744 33554432000 4194304 4196468 140722071503840 140094119013392 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4337] ppid=4328 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4337/stat : 4337 (java) S 4328 4331 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44358269 14420725760 12744 33554432000 4194304 4196468 140722071503840 140094117960848 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4338] ppid=4328 vsize=14082740 memory=140641650230912 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4338/stat : 4338 (java) S 4328 4331 3256 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 44358271 14420725760 12744 33554432000 4194304 4196468 140722071503840 140093681014768 140094206061186 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4339] ppid=4328 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4339/stat : 4339 (java) S 4328 4331 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44358271 14420725760 12744 33554432000 4194304 4196468 140722071503840 140093679960992 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4340] ppid=4328 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4340/stat : 4340 (java) S 4328 4331 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44358271 14420725760 12744 33554432000 4194304 4196468 140722071503840 140093678908400 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4341] ppid=4328 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4341/stat : 4341 (java) S 4328 4331 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358274 14420725760 12744 33554432000 4194304 4196468 140722071503840 140093677856976 140094206068635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4342] ppid=4328 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4331/task/4342/stat : 4342 (java) S 4328 4331 3256 0 -1 1077944384 486 0 0 0 2 0 0 0 20 0 15 0 44358274 14420725760 12744 33554432000 4194304 4196468 140722071503840 140093676804592 140094206061186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4343] ppid=4328 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4331/task/4343/stat : 4343 (java) S 4328 4331 3256 0 -1 1077944384 111 0 0 0 2 0 0 0 20 0 15 0 44358274 14420725760 12744 33554432000 4194304 4196468 140722071503840 140093675752048 140094206061186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4344] ppid=4328 vsize=14082740 memory=140641650230912 CPUtime=0.08 cores=1,3,5,7
/proc/4331/task/4344/stat : 4344 (java) R 4328 4331 3256 0 -1 4202560 308 0 0 0 8 0 0 0 20 0 15 0 44358274 14420725760 12744 33554432000 4194304 4196468 140722071503840 140093674699504 140094206071386 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4345] ppid=4328 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4345/stat : 4345 (java) S 4328 4331 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358274 14420725760 12744 33554432000 4194304 4196468 140722071503840 140093673647200 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4346] ppid=4328 vsize=14082740 memory=140641650230912 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4346/stat : 4346 (java) S 4328 4331 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44358274 14420725760 12744 33554432000 4194304 4196468 140722071503840 140093672593712 140094206061186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50976 KiB

[startup+0.700874 s]
/proc/loadavg: 1.88 1.52 1.52 3/215 4346
/proc/meminfo: memFree=19319932/32770624 swapFree=67108860/67108860
[pid=4331] ppid=4328 vsize=14084808 memory=88808 CPUtime=0.99 cores=1,3,5,7
/proc/4331/stat : 4331 (java) S 4328 4331 3256 0 -1 1077944320 17089 0 0 0 95 4 0 0 20 0 15 0 44358268 14422843392 22202 33554432000 4194304 4196468 140722071503840 140722071486384 140094206050039 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
/proc/4331/statm: 3521202 22202 3504 1 0 3483273 0
[pid=4331/tid=4333] ppid=4328 vsize=14084808 memory=1728 CPUtime=0.68 cores=1,3,5,7
/proc/4331/task/4333/stat : 4333 (java) R 4328 4331 3256 0 -1 4202560 14406 0 0 0 64 4 0 0 20 0 15 0 44358268 14422843392 22202 33554432000 4194304 4196468 140722071503840 140094210277104 140094190130526 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4334] ppid=4328 vsize=14084808 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4334/stat : 4334 (java) S 4328 4331 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44358269 14422843392 22202 33554432000 4194304 4196468 140722071503840 140094121118480 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4335] ppid=4328 vsize=14084808 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4335/stat : 4335 (java) S 4328 4331 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44358269 14422843392 22202 33554432000 4194304 4196468 140722071503840 140094120065936 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4336] ppid=4328 vsize=14084808 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4336/stat : 4336 (java) S 4328 4331 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44358269 14422843392 22202 33554432000 4194304 4196468 140722071503840 140094119013392 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4337] ppid=4328 vsize=14084808 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4337/stat : 4337 (java) S 4328 4331 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44358269 14422843392 22202 33554432000 4194304 4196468 140722071503840 140094117960848 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4338] ppid=4328 vsize=14084808 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4338/stat : 4338 (java) S 4328 4331 3256 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 44358271 14422843392 22202 33554432000 4194304 4196468 140722071503840 140093681014768 140094206061186 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4339] ppid=4328 vsize=14084808 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4339/stat : 4339 (java) S 4328 4331 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44358271 14422843392 22202 33554432000 4194304 4196468 140722071503840 140093679960992 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4340] ppid=4328 vsize=14084808 memory=8372 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4340/stat : 4340 (java) S 4328 4331 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44358271 14422843392 22202 33554432000 4194304 4196468 140722071503840 140093678908400 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4341] ppid=4328 vsize=14084808 memory=7518026621751089001 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4341/stat : 4341 (java) S 4328 4331 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358274 14422843392 22202 33554432000 4194304 4196468 140722071503840 140093677856976 140094206068635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4342] ppid=4328 vsize=14084808 memory=7236547281622689387 CPUtime=0.07 cores=1,3,5,7
/proc/4331/task/4342/stat : 4342 (java) S 4328 4331 3256 0 -1 1077944384 648 0 0 0 7 0 0 0 20 0 15 0 44358274 14422843392 22202 33554432000 4194304 4196468 140722071503840 140093676804592 140094206061186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4343] ppid=4328 vsize=14084808 memory=5787213827063244903 CPUtime=0.08 cores=1,3,5,7
/proc/4331/task/4343/stat : 4343 (java) S 4328 4331 3256 0 -1 1077944384 267 0 0 0 8 0 0 0 20 0 15 0 44358274 14422843392 22202 33554432000 4194304 4196468 140722071503840 140093675752048 140094206061186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4344] ppid=4328 vsize=14084808 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/4331/task/4344/stat : 4344 (java) S 4328 4331 3256 0 -1 1077944384 386 0 0 0 15 0 0 0 20 0 15 0 44358274 14422843392 22202 33554432000 4194304 4196468 140722071503840 140093674699504 140094206061186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4345] ppid=4328 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4345/stat : 4345 (java) S 4328 4331 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358274 14422843392 22202 33554432000 4194304 4196468 140722071503840 140093673647200 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4346] ppid=4328 vsize=14084808 memory=33 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4346/stat : 4346 (java) S 4328 4331 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44358274 14422843392 22202 33554432000 4194304 4196468 140722071503840 140093672593712 140094206061186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88808 KiB

[startup+1.5008 s]
/proc/loadavg: 1.88 1.52 1.52 6/215 4346
/proc/meminfo: memFree=19280908/32770624 swapFree=67108860/67108860
[pid=4331] ppid=4328 vsize=14088904 memory=193924 CPUtime=3.58 cores=1,3,5,7
/proc/4331/stat : 4331 (java) S 4328 4331 3256 0 -1 1077944320 27527 0 0 0 350 8 0 0 20 0 15 0 44358268 14427037696 48481 33554432000 4194304 4196468 140722071503840 140722071486384 140094206050039 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
/proc/4331/statm: 3522226 48481 3548 1 0 3484297 0
[pid=4331/tid=4333] ppid=4328 vsize=14088904 memory=8112282956445269571 CPUtime=1.47 cores=1,3,5,7
/proc/4331/task/4333/stat : 4333 (java) R 4328 4331 3256 0 -1 4202560 16972 0 0 0 141 6 0 0 20 0 15 0 44358268 14427037696 48481 33554432000 4194304 4196468 140722071503840 140094210285536 140093800579359 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4334] ppid=4328 vsize=14088904 memory=-8754540793456063680 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4334/stat : 4334 (java) S 4328 4331 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44358269 14427037696 48481 33554432000 4194304 4196468 140722071503840 140094121118480 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4335] ppid=4328 vsize=14088904 memory=-2843869621055772062 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4335/stat : 4335 (java) S 4328 4331 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44358269 14427037696 48481 33554432000 4194304 4196468 140722071503840 140094120065936 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4336] ppid=4328 vsize=14088904 memory=5450919713671312938 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4336/stat : 4336 (java) S 4328 4331 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44358269 14427037696 48481 33554432000 4194304 4196468 140722071503840 140094119013392 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4337] ppid=4328 vsize=14088904 memory=7005738693937936738 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4337/stat : 4337 (java) S 4328 4331 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44358269 14427037696 48481 33554432000 4194304 4196468 140722071503840 140094117960848 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4338] ppid=4328 vsize=14088904 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4338/stat : 4338 (java) S 4328 4331 3256 0 -1 1077944384 184 0 0 0 0 0 0 0 20 0 15 0 44358271 14427037696 48481 33554432000 4194304 4196468 140722071503840 140093681014768 140094206061186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0

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

/proc/4331/task/4333/stat : 4333 (java) R 4328 4331 3256 0 -1 4202560 130784 0 0 0 223854 69 0 0 20 0 15 0 44358268 14431232000 180035 33554432000 4194304 4196468 140722071503840 140094210287168 140093809009634 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4334] ppid=4328 vsize=14093000 memory=728348 CPUtime=16.63 cores=1,3,5,7
/proc/4331/task/4334/stat : 4334 (java) S 4328 4331 3256 0 -1 1077944384 27242 0 0 0 1600 63 0 0 20 0 15 0 44358269 14431232000 180035 33554432000 4194304 4196468 140722071503840 140094121118480 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4335] ppid=4328 vsize=14093000 memory=732452 CPUtime=16.65 cores=1,3,5,7
/proc/4331/task/4335/stat : 4335 (java) S 4328 4331 3256 0 -1 1077944384 30553 0 0 0 1603 62 0 0 20 0 15 0 44358269 14431232000 180035 33554432000 4194304 4196468 140722071503840 140094120065936 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4336] ppid=4328 vsize=14093000 memory=722192 CPUtime=16.62 cores=1,3,5,7
/proc/4331/task/4336/stat : 4336 (java) S 4328 4331 3256 0 -1 1077944384 32010 0 0 0 1600 62 0 0 20 0 15 0 44358269 14431232000 180035 33554432000 4194304 4196468 140722071503840 140094119013392 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4337] ppid=4328 vsize=14093000 memory=724244 CPUtime=16.63 cores=1,3,5,7
/proc/4331/task/4337/stat : 4337 (java) S 4328 4331 3256 0 -1 1077944384 25932 0 0 0 1602 61 0 0 20 0 15 0 44358269 14431232000 180035 33554432000 4194304 4196468 140722071503840 140094117960848 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4338] ppid=4328 vsize=14093000 memory=722192 CPUtime=3.93 cores=1,3,5,7
/proc/4331/task/4338/stat : 4338 (java) S 4328 4331 3256 0 -1 1077944384 47801 0 0 0 332 61 0 0 20 0 15 0 44358271 14431232000 180035 33554432000 4194304 4196468 140722071503840 140093681014768 140094206061186 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4339] ppid=4328 vsize=14093000 memory=736556 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4339/stat : 4339 (java) S 4328 4331 3256 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 44358271 14431232000 180035 33554432000 4194304 4196468 140722071503840 140093679961056 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4340] ppid=4328 vsize=14093000 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4340/stat : 4340 (java) S 4328 4331 3256 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 44358271 14431232000 180035 33554432000 4194304 4196468 140722071503840 140093678908416 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4341] ppid=4328 vsize=14093000 memory=3172 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4341/stat : 4341 (java) S 4328 4331 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358274 14431232000 180035 33554432000 4194304 4196468 140722071503840 140093677856976 140094206068635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4342] ppid=4328 vsize=14093000 memory=1679212 CPUtime=4.92 cores=1,3,5,7
/proc/4331/task/4342/stat : 4342 (java) S 4328 4331 3256 0 -1 1077944384 17049 0 0 0 490 2 0 0 20 0 15 0 44358274 14431232000 180035 33554432000 4194304 4196468 140722071503840 140093676804592 140094206061186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4343] ppid=4328 vsize=14093000 memory=744764 CPUtime=4.91 cores=1,3,5,7
/proc/4331/task/4343/stat : 4343 (java) S 4328 4331 3256 0 -1 1077944384 16859 0 0 0 489 2 0 0 20 0 15 0 44358274 14431232000 180035 33554432000 4194304 4196468 140722071503840 140093675752048 140094206061186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4344] ppid=4328 vsize=14093000 memory=15020 CPUtime=1.69 cores=1,3,5,7
/proc/4331/task/4344/stat : 4344 (java) S 4328 4331 3256 0 -1 1077944384 24517 0 0 0 165 4 0 0 20 0 15 0 44358274 14431232000 180035 33554432000 4194304 4196468 140722071503840 140093674699504 140094206061186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4345] ppid=4328 vsize=14093000 memory=722192 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4345/stat : 4345 (java) S 4328 4331 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358274 14431232000 180035 33554432000 4194304 4196468 140722071503840 140093673647200 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4346] ppid=4328 vsize=14093000 memory=726296 CPUtime=1.35 cores=1,3,5,7
/proc/4331/task/4346/stat : 4346 (java) S 4328 4331 3256 0 -1 1077944384 1406 0 0 0 61 74 0 0 20 0 15 0 44358274 14431232000 180035 33554432000 4194304 4196468 140722071503840 140093672593712 140094206061186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
Current children cumulated CPU time: 2322.64 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 720140 KiB

[startup+2322.3 s]
/proc/loadavg: 1.51 1.44 1.44 3/215 4518
/proc/meminfo: memFree=19288268/32770624 swapFree=67108860/67108860
[pid=4331] ppid=4328 vsize=14093000 memory=833192 CPUtime=2384.06 cores=1,3,5,7
/proc/4331/stat : 4331 (java) S 4328 4331 3256 0 -1 1077944320 362922 0 0 0 237968 438 0 0 20 0 15 0 44358268 14431232000 208298 33554432000 4194304 4196468 140722071503840 140722071486384 140094206050039 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
/proc/4331/statm: 3523250 208298 3619 1 0 3485321 0
[pid=4331/tid=4333] ppid=4328 vsize=14093000 memory=719944 CPUtime=2298.6 cores=1,3,5,7
/proc/4331/task/4333/stat : 4333 (java) R 4328 4331 3256 0 -1 4202560 136121 0 0 0 229788 72 0 0 20 0 15 0 44358268 14431232000 208298 33554432000 4194304 4196468 140722071503840 140094210287168 140093805405996 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4334] ppid=4328 vsize=14093000 memory=717892 CPUtime=17.11 cores=1,3,5,7
/proc/4331/task/4334/stat : 4334 (java) S 4328 4331 3256 0 -1 1077944384 27824 0 0 0 1647 64 0 0 20 0 15 0 44358269 14431232000 208298 33554432000 4194304 4196468 140722071503840 140094121118480 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4335] ppid=4328 vsize=14093000 memory=713448 CPUtime=17.12 cores=1,3,5,7
/proc/4331/task/4335/stat : 4335 (java) S 4328 4331 3256 0 -1 1077944384 30985 0 0 0 1649 63 0 0 20 0 15 0 44358269 14431232000 208298 33554432000 4194304 4196468 140722071503840 140094120065936 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4336] ppid=4328 vsize=14093000 memory=841912 CPUtime=17.09 cores=1,3,5,7
/proc/4331/task/4336/stat : 4336 (java) S 4328 4331 3256 0 -1 1077944384 32363 0 0 0 1646 63 0 0 20 0 15 0 44358269 14431232000 208298 33554432000 4194304 4196468 140722071503840 140094119013392 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4337] ppid=4328 vsize=14093000 memory=780708 CPUtime=17.1 cores=1,3,5,7
/proc/4331/task/4337/stat : 4337 (java) S 4328 4331 3256 0 -1 1077944384 26161 0 0 0 1648 62 0 0 20 0 15 0 44358269 14431232000 208298 33554432000 4194304 4196468 140722071503840 140094117960848 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4338] ppid=4328 vsize=14093000 memory=784804 CPUtime=4.02 cores=1,3,5,7
/proc/4331/task/4338/stat : 4338 (java) S 4328 4331 3256 0 -1 1077944384 48101 0 0 0 340 62 0 0 20 0 15 0 44358271 14431232000 208298 33554432000 4194304 4196468 140722071503840 140093681014768 140094206061186 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4339] ppid=4328 vsize=14093000 memory=837296 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4339/stat : 4339 (java) S 4328 4331 3256 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 44358271 14431232000 208298 33554432000 4194304 4196468 140722071503840 140093679961056 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4340] ppid=4328 vsize=14093000 memory=835244 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4340/stat : 4340 (java) S 4328 4331 3256 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 44358271 14431232000 208298 33554432000 4194304 4196468 140722071503840 140093678908416 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4341] ppid=4328 vsize=14093000 memory=687316 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4341/stat : 4341 (java) S 4328 4331 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358274 14431232000 208298 33554432000 4194304 4196468 140722071503840 140093677856976 140094206068635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4342] ppid=4328 vsize=14093000 memory=835244 CPUtime=4.93 cores=1,3,5,7
/proc/4331/task/4342/stat : 4342 (java) S 4328 4331 3256 0 -1 1077944384 17106 0 0 0 490 3 0 0 20 0 15 0 44358274 14431232000 208298 33554432000 4194304 4196468 140722071503840 140093676804592 140094206061186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4343] ppid=4328 vsize=14093000 memory=780708 CPUtime=4.91 cores=1,3,5,7
/proc/4331/task/4343/stat : 4343 (java) S 4328 4331 3256 0 -1 1077944384 16861 0 0 0 489 2 0 0 20 0 15 0 44358274 14431232000 208298 33554432000 4194304 4196468 140722071503840 140093675752048 140094206061186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4344] ppid=4328 vsize=14093000 memory=15020 CPUtime=1.69 cores=1,3,5,7
/proc/4331/task/4344/stat : 4344 (java) S 4328 4331 3256 0 -1 1077944384 24537 0 0 0 165 4 0 0 20 0 15 0 44358274 14431232000 208298 33554432000 4194304 4196468 140722071503840 140093674699504 140094206061186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4345] ppid=4328 vsize=14093000 memory=840892 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4345/stat : 4345 (java) S 4328 4331 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358274 14431232000 208298 33554432000 4194304 4196468 140722071503840 140093673647200 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4346] ppid=4328 vsize=14093000 memory=2200 CPUtime=1.39 cores=1,3,5,7
/proc/4331/task/4346/stat : 4346 (java) S 4328 4331 3256 0 -1 1077944384 1435 0 0 0 63 76 0 0 20 0 15 0 44358274 14431232000 208298 33554432000 4194304 4196468 140722071503840 140093672593712 140094206061186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
Current children cumulated CPU time: 2384.06 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 833192 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2337.9 s]
/proc/loadavg: 1.39 1.42 1.43 4/215 4518
/proc/meminfo: memFree=19329704/32770624 swapFree=67108860/67108860
[pid=4331] ppid=4328 vsize=14093000 memory=817332 CPUtime=2400.01 cores=1,3,5,7
/proc/4331/stat : 4331 (java) S 4328 4331 3256 0 -1 1077944320 363556 0 0 0 239559 442 0 0 20 0 15 0 44358268 14431232000 204333 33554432000 4194304 4196468 140722071503840 140722071486384 140094206050039 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
/proc/4331/statm: 3523250 204333 3619 1 0 3485321 0
[pid=4331/tid=4333] ppid=4328 vsize=14093000 memory=816320 CPUtime=2314.05 cores=1,3,5,7
/proc/4331/task/4333/stat : 4333 (java) R 4328 4331 3256 0 -1 4202560 136198 0 0 0 231333 72 0 0 20 0 15 0 44358268 14431232000 204333 33554432000 4194304 4196468 140722071503840 140094210287168 140093805495680 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4334] ppid=4328 vsize=14093000 memory=8112282956445269571 CPUtime=17.22 cores=1,3,5,7
/proc/4331/task/4334/stat : 4334 (java) S 4328 4331 3256 0 -1 1077944384 27997 0 0 0 1658 64 0 0 20 0 15 0 44358269 14431232000 204333 33554432000 4194304 4196468 140722071503840 140094121118480 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4335] ppid=4328 vsize=14093000 memory=831140 CPUtime=17.24 cores=1,3,5,7
/proc/4331/task/4335/stat : 4335 (java) S 4328 4331 3256 0 -1 1077944384 31116 0 0 0 1660 64 0 0 20 0 15 0 44358269 14431232000 204333 33554432000 4194304 4196468 140722071503840 140094120065936 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4336] ppid=4328 vsize=14093000 memory=719944 CPUtime=17.22 cores=1,3,5,7
/proc/4331/task/4336/stat : 4336 (java) S 4328 4331 3256 0 -1 1077944384 32473 0 0 0 1658 64 0 0 20 0 15 0 44358269 14431232000 204333 33554432000 4194304 4196468 140722071503840 140094119013392 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4337] ppid=4328 vsize=14093000 memory=841912 CPUtime=17.21 cores=1,3,5,7
/proc/4331/task/4337/stat : 4337 (java) S 4328 4331 3256 0 -1 1077944384 26265 0 0 0 1658 63 0 0 20 0 15 0 44358269 14431232000 204333 33554432000 4194304 4196468 140722071503840 140094117960848 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4338] ppid=4328 vsize=14093000 memory=811408 CPUtime=4.04 cores=1,3,5,7
/proc/4331/task/4338/stat : 4338 (java) S 4328 4331 3256 0 -1 1077944384 48138 0 0 0 342 62 0 0 20 0 15 0 44358271 14431232000 204333 33554432000 4194304 4196468 140722071503840 140093681014768 140094206061186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4339] ppid=4328 vsize=14093000 memory=809356 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4339/stat : 4339 (java) S 4328 4331 3256 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 44358271 14431232000 204333 33554432000 4194304 4196468 140722071503840 140093679961056 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4340] ppid=4328 vsize=14093000 memory=809552 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4340/stat : 4340 (java) S 4328 4331 3256 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 44358271 14431232000 204333 33554432000 4194304 4196468 140722071503840 140093678908416 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4341] ppid=4328 vsize=14093000 memory=818364 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4341/stat : 4341 (java) S 4328 4331 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358274 14431232000 204333 33554432000 4194304 4196468 140722071503840 140093677856976 140094206068635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4342] ppid=4328 vsize=14093000 memory=1424 CPUtime=4.93 cores=1,3,5,7
/proc/4331/task/4342/stat : 4342 (java) S 4328 4331 3256 0 -1 1077944384 17106 0 0 0 490 3 0 0 20 0 15 0 44358274 14431232000 204333 33554432000 4194304 4196468 140722071503840 140093676804592 140094206061186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4343] ppid=4328 vsize=14093000 memory=806280 CPUtime=4.91 cores=1,3,5,7
/proc/4331/task/4343/stat : 4343 (java) S 4328 4331 3256 0 -1 1077944384 16861 0 0 0 489 2 0 0 20 0 15 0 44358274 14431232000 204333 33554432000 4194304 4196468 140722071503840 140093675752048 140094206061186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4344] ppid=4328 vsize=14093000 memory=687316 CPUtime=1.69 cores=1,3,5,7
/proc/4331/task/4344/stat : 4344 (java) S 4328 4331 3256 0 -1 1077944384 24537 0 0 0 165 4 0 0 20 0 15 0 44358274 14431232000 204333 33554432000 4194304 4196468 140722071503840 140093674699504 140094206061186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4345] ppid=4328 vsize=14093000 memory=813768 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4345/stat : 4345 (java) S 4328 4331 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358274 14431232000 204333 33554432000 4194304 4196468 140722071503840 140093673647200 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4346] ppid=4328 vsize=14093000 memory=816320 CPUtime=1.41 cores=1,3,5,7
/proc/4331/task/4346/stat : 4346 (java) S 4328 4331 3256 0 -1 1077944384 1437 0 0 0 64 77 0 0 20 0 15 0 44358274 14431232000 204333 33554432000 4194304 4196468 140722071503840 140093672593712 140094206061186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 817332 KiB

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

[startup+2337.92 s]
# the end of solver process 4331 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2395.61 s, system=4.43599 s

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

[startup+2337.9 s]
/proc/loadavg: 1.39 1.42 1.43 4/215 4518
/proc/meminfo: memFree=19329704/32770624 swapFree=67108860/67108860
[pid=4331] ppid=4328 vsize=14093000 memory=817332 CPUtime=2400.01 cores=1,3,5,7
/proc/4331/stat : 4331 (java) S 4328 4331 3256 0 -1 1077944320 363556 0 0 0 239559 442 0 0 20 0 15 0 44358268 14431232000 204333 33554432000 4194304 4196468 140722071503840 140722071486384 140094206050039 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
/proc/4331/statm: 3523250 204333 3619 1 0 3485321 0
[pid=4331/tid=4333] ppid=4328 vsize=14093000 memory=816320 CPUtime=2314.05 cores=1,3,5,7
/proc/4331/task/4333/stat : 4333 (java) R 4328 4331 3256 0 -1 4202560 136198 0 0 0 231333 72 0 0 20 0 15 0 44358268 14431232000 204333 33554432000 4194304 4196468 140722071503840 140094210287168 140093805495680 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4334] ppid=4328 vsize=14093000 memory=8112282956445269571 CPUtime=17.22 cores=1,3,5,7
/proc/4331/task/4334/stat : 4334 (java) S 4328 4331 3256 0 -1 1077944384 27997 0 0 0 1658 64 0 0 20 0 15 0 44358269 14431232000 204333 33554432000 4194304 4196468 140722071503840 140094121118480 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4335] ppid=4328 vsize=14093000 memory=831140 CPUtime=17.24 cores=1,3,5,7
/proc/4331/task/4335/stat : 4335 (java) S 4328 4331 3256 0 -1 1077944384 31116 0 0 0 1660 64 0 0 20 0 15 0 44358269 14431232000 204333 33554432000 4194304 4196468 140722071503840 140094120065936 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4336] ppid=4328 vsize=14093000 memory=719944 CPUtime=17.22 cores=1,3,5,7
/proc/4331/task/4336/stat : 4336 (java) S 4328 4331 3256 0 -1 1077944384 32473 0 0 0 1658 64 0 0 20 0 15 0 44358269 14431232000 204333 33554432000 4194304 4196468 140722071503840 140094119013392 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4337] ppid=4328 vsize=14093000 memory=841912 CPUtime=17.21 cores=1,3,5,7
/proc/4331/task/4337/stat : 4337 (java) S 4328 4331 3256 0 -1 1077944384 26265 0 0 0 1658 63 0 0 20 0 15 0 44358269 14431232000 204333 33554432000 4194304 4196468 140722071503840 140094117960848 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4338] ppid=4328 vsize=14093000 memory=811408 CPUtime=4.04 cores=1,3,5,7
/proc/4331/task/4338/stat : 4338 (java) S 4328 4331 3256 0 -1 1077944384 48138 0 0 0 342 62 0 0 20 0 15 0 44358271 14431232000 204333 33554432000 4194304 4196468 140722071503840 140093681014768 140094206061186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4339] ppid=4328 vsize=14093000 memory=809356 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4339/stat : 4339 (java) S 4328 4331 3256 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 44358271 14431232000 204333 33554432000 4194304 4196468 140722071503840 140093679961056 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4340] ppid=4328 vsize=14093000 memory=809552 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4340/stat : 4340 (java) S 4328 4331 3256 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 44358271 14431232000 204333 33554432000 4194304 4196468 140722071503840 140093678908416 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4341] ppid=4328 vsize=14093000 memory=818364 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4341/stat : 4341 (java) S 4328 4331 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358274 14431232000 204333 33554432000 4194304 4196468 140722071503840 140093677856976 140094206068635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4342] ppid=4328 vsize=14093000 memory=1424 CPUtime=4.93 cores=1,3,5,7
/proc/4331/task/4342/stat : 4342 (java) S 4328 4331 3256 0 -1 1077944384 17106 0 0 0 490 3 0 0 20 0 15 0 44358274 14431232000 204333 33554432000 4194304 4196468 140722071503840 140093676804592 140094206061186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4343] ppid=4328 vsize=14093000 memory=806280 CPUtime=4.91 cores=1,3,5,7
/proc/4331/task/4343/stat : 4343 (java) S 4328 4331 3256 0 -1 1077944384 16861 0 0 0 489 2 0 0 20 0 15 0 44358274 14431232000 204333 33554432000 4194304 4196468 140722071503840 140093675752048 140094206061186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4344] ppid=4328 vsize=14093000 memory=687316 CPUtime=1.69 cores=1,3,5,7
/proc/4331/task/4344/stat : 4344 (java) S 4328 4331 3256 0 -1 1077944384 24537 0 0 0 165 4 0 0 20 0 15 0 44358274 14431232000 204333 33554432000 4194304 4196468 140722071503840 140093674699504 140094206061186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4345] ppid=4328 vsize=14093000 memory=813768 CPUtime=0 cores=1,3,5,7
/proc/4331/task/4345/stat : 4345 (java) S 4328 4331 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358274 14431232000 204333 33554432000 4194304 4196468 140722071503840 140093673647200 140094206060245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
[pid=4331/tid=4346] ppid=4328 vsize=14093000 memory=816320 CPUtime=1.41 cores=1,3,5,7
/proc/4331/task/4346/stat : 4346 (java) S 4328 4331 3256 0 -1 1077944384 1437 0 0 0 64 77 0 0 20 0 15 0 44358274 14431232000 204333 33554432000 4194304 4196468 140722071503840 140093672593712 140094206061186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140722071512148 140722071512329 140722071512329 140722071515087 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 817332 KiB

Child status: 143
Real time (s): 2337.92
CPU time (s): 2400.05
CPU user time (s): 2395.61
CPU system time (s): 4.43599
CPU usage (%): 102.658
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 1270520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.61
system time used= 4.43598
maximum resident set size= 1272060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 363968
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 140132
involuntary context switches= 5964


# summary of solver processes directly reported to runsolver:
#   pid: 4331
#   total CPU time (s): 2400.05
#   total CPU user time (s): 2395.61
#   total CPU system time (s): 4.43599

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8873 second user time and 22.6635 second system time

The end

Launcher Data 

Begin job on node137 at 2018-07-22 15:59:11
IDJOB=4291956
IDBENCH=141208
IDSOLVER=2746
FILE ID=node137/4291956-1532267951
RUNJOBID= node137-1532260876-3288
PBS_JOBID= 21018969
Free space on /tmp= 56856 MiB

SOLVER NAME= OscaR - Hybrid 2018-07-02
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-4291956-1532267951/watcher-4291956-1532267951 -o /tmp/evaluation-result-4291956-1532267951/solver-4291956-1532267951 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532260876-3288 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1759362317 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291956-1532267951.xml

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

MD5SUM BENCH= fd86b7eb5950840b127d09215950c850
RANDOM SEED=1759362317

node137.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.54
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.56
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.54
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.56
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.54
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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        19383624 kB
MemAvailable:   29618316 kB
Buffers:          240024 kB
Cached:         10193036 kB
SwapCached:            0 kB
Active:          4098156 kB
Inactive:        8703724 kB
Active(anon):    2371472 kB
Inactive(anon):    16944 kB
Active(file):    1726684 kB
Inactive(file):  8686780 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             35828 kB
Writeback:             0 kB
AnonPages:       2392184 kB
Mapped:            49172 kB
Shmem:             17036 kB
Slab:             277036 kB
SReclaimable:     249688 kB
SUnreclaim:        27348 kB
KernelStack:        3808 kB
PageTables:        10708 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3672552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2318336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 56820 MiB
End job on node137 at 2018-07-22 16:38:09