Trace number 4291936

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)36368 2400.06 2335.73

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-graph-05-opt_c18.xml
MD5SUMd0ab6aee5f30ff70d66f863e0e3556a1
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark23688
Best CPU time to get the best result obtained on this benchmark2519.94
Satisfiable
(Un)Satisfiability was proved
Number of variables1234
Number of constraints1134
Number of domains10
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":1034},{"size":6,"count":18},{"size":22,"count":8},{"size":24,"count":4},{"size":36,"count":44},{"size":42,"count":46},{"size":44,"count":80}]
Minimum variable degree1
Maximum variable degree22
Distribution of variable degrees[{"degree":1,"count":1},{"degree":2,"count":1035},{"degree":3,"count":4},{"degree":4,"count":11},{"degree":5,"count":22},{"degree":6,"count":22},{"degree":7,"count":19},{"degree":8,"count":21},{"degree":9,"count":12},{"degree":10,"count":11},{"degree":12,"count":1},{"degree":13,"count":1},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":17,"count":8},{"degree":18,"count":13},{"degree":19,"count":16},{"degree":20,"count":18},{"degree":21,"count":14},{"degree":22,"count":3}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":100},{"arity":3,"count":1034}]
Number of extensional constraints0
Number of intensional constraints1134
Distribution of constraint types[{"type":"intension","count":1134}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.67/0.55	c version: 2018-07-02
0.67/0.55	c seed: 583042217
0.67/0.55	c timeout: 2400
0.67/0.55	c memlimit: 11000
0.67/0.55	c nbcore: 4
0.67/0.57	c Parsing instance...
6.54/2.69	c Parsing done, starting first complete search...
17.14/9.13	o 93987
17.14/9.14	o 92987
17.14/9.14	o 92977
17.14/9.15	o 92907
17.14/9.15	o 92897
17.14/9.16	o 92887
17.14/9.17	o 92878
17.14/9.17	o 92877
17.14/9.17	o 92787
17.38/9.24	o 91787
17.70/9.43	o 91697
17.99/9.64	o 91617
17.99/9.64	o 90918
17.99/9.64	o 90917
18.15/9.76	o 90817
18.30/9.88	o 89827
18.30/9.88	o 89817
18.93/10.47	o 89019
18.93/10.47	o 88918
18.93/10.47	o 88917
18.93/10.49	o 88818
18.93/10.49	o 88817
19.75/11.27	o 88718
19.75/11.27	o 88717
20.25/11.75	o 88620
20.25/11.76	o 88619
20.25/11.76	o 88618
20.25/11.76	o 88617
20.57/12.05	o 88439
20.57/12.05	o 88438
20.57/12.05	o 88437
20.57/12.06	o 88429
20.57/12.06	o 88428
20.57/12.06	o 88427
20.57/12.07	o 88417
22.86/14.21	o 87439
22.86/14.21	o 87429
22.86/14.21	o 87428
22.86/14.22	o 87419
22.86/14.23	o 87418
22.86/14.26	o 87417
25.37/16.71	o 87416
25.37/16.71	o 87406
25.83/17.16	o 87326
25.83/17.16	o 87316
25.83/17.16	o 87315
25.96/17.22	o 87306
25.96/17.24	o 87305
26.66/17.97	o 86205
27.37/18.65	o 86196
27.37/18.66	o 86195
27.78/19.07	o 85536
27.78/19.07	o 85526
27.78/19.08	o 85426
27.78/19.08	o 85326
27.78/19.08	o 85316
27.78/19.10	o 85306
27.88/19.12	o 85305
29.68/20.92	o 85296
29.79/21.01	o 85295
33.98/25.21	o 85285
37.70/28.95	o 85245
37.70/28.95	o 85235
37.70/28.96	o 85225
37.70/28.96	o 85215
37.70/28.96	o 85205
37.92/29.12	o 85196
37.92/29.14	o 85195
51.23/42.43	o 84506
51.23/42.43	o 84496
51.23/42.43	o 84396
51.23/42.43	o 83396
51.23/42.48	o 83395
93.52/84.42	c First complete search done, starting ALNS search...
93.72/84.57	o 82395
93.72/84.57	o 82394
93.72/84.57	o 82295
93.72/84.58	o 82294
93.72/84.58	o 82285
93.72/84.58	o 82284
94.13/84.77	o 82283
94.13/84.77	o 81392
94.13/84.77	o 81382
94.13/84.78	o 81262
94.13/84.78	o 81192
94.13/84.78	o 81182
94.13/84.79	o 81062
94.34/84.82	o 80962
94.66/85.06	o 80349
94.66/85.06	o 80348
94.66/85.06	o 80347
94.66/85.06	o 80149
94.66/85.06	o 80148
94.66/85.06	o 80147
94.66/85.07	o 80049
94.66/85.07	o 80048
94.66/85.07	o 80047
94.66/85.07	o 79349
94.66/85.07	o 79149
94.66/85.08	o 79148
94.66/85.08	o 79049
94.66/85.08	o 79048
94.66/85.08	o 79047
94.66/85.09	o 79046
94.66/85.09	o 79045
94.66/85.09	o 78948
94.66/85.09	o 78947
94.66/85.09	o 78946
94.97/85.20	o 78846
94.97/85.21	o 78746
94.97/85.22	o 78646
95.21/85.45	o 78546
95.53/85.74	o 77946
95.53/85.74	o 77846
95.53/85.75	o 77746
95.53/85.75	o 77646
95.53/85.76	o 76946
95.53/85.77	o 76846
95.53/85.77	o 76746
95.53/85.78	o 76646
95.63/85.80	o 76546
96.17/86.16	o 76180
96.17/86.19	o 76179
96.27/86.21	o 76178
96.27/86.29	o 76177
96.27/86.29	o 76176
96.39/86.38	o 76170
96.39/86.38	o 76169
96.39/86.39	o 76168
96.39/86.39	o 76167
96.50/86.40	o 76166
96.65/86.57	o 75281
96.65/86.58	o 75280
96.65/86.58	o 75279
96.65/86.59	o 75278
96.75/86.62	o 75277
96.85/86.76	o 75276
96.85/86.80	o 75199
96.95/86.80	o 75198
96.95/86.81	o 75197
96.95/86.81	o 75196
96.95/86.82	o 75195
96.95/86.83	o 75189
96.95/86.84	o 75188
96.95/86.84	o 75187
96.95/86.85	o 75186
96.95/86.86	o 75185
96.95/86.86	o 75184
97.27/87.16	o 75179
97.27/87.17	o 75178
97.27/87.17	o 75177
97.27/87.18	o 75176
97.27/87.19	o 75175
97.47/87.33	o 75064
97.90/87.58	o 75063
98.00/87.61	o 75053
98.00/87.63	o 75052
98.13/87.73	o 74975
98.13/87.74	o 74974
98.13/87.74	o 74964
98.13/87.75	o 74955
98.13/87.76	o 74954
98.26/87.89	o 74952
98.37/87.90	o 74942
98.37/87.90	o 74941
98.37/87.92	o 74863
98.37/87.92	o 74853
98.37/87.93	o 74844
98.37/87.94	o 74843
98.58/88.14	o 74834
98.58/88.15	o 74833
99.24/88.72	o 74832
99.24/88.74	o 74831
99.24/88.75	o 74823
99.24/88.75	o 74822
99.24/88.76	o 74821
99.24/88.78	o 74813
99.24/88.78	o 74812
99.24/88.79	o 74811
99.34/88.82	o 74803
99.34/88.82	o 74802
99.34/88.83	o 74801
99.34/88.86	o 74701
99.34/88.86	o 74601
99.46/88.91	o 74581
99.46/88.94	o 74501
99.46/88.96	o 74411
99.46/88.96	o 74399
99.46/88.98	o 74391
99.46/88.98	o 74379
99.57/89.01	o 74312
99.57/89.01	o 74311
99.57/89.02	o 74300
99.57/89.02	o 74292
99.57/89.02	o 74280
99.57/89.07	o 74278
99.57/89.07	o 74211
99.57/89.07	o 74191
99.57/89.08	o 74179
99.57/89.08	o 74178
100.80/90.21	o 73421
100.80/90.22	o 73321
100.80/90.23	o 73311
100.80/90.25	o 73221
100.80/90.26	o 73211
100.80/90.27	o 73201
100.80/90.28	o 73200
100.80/90.29	o 73199
100.90/90.31	o 73191
100.90/90.32	o 73190
100.90/90.33	o 73189
100.90/90.34	o 73111
100.90/90.35	o 73110
100.90/90.36	o 73101
100.90/90.37	o 73100
100.90/90.38	o 73091
100.90/90.39	o 73090
101.00/90.40	o 73089
101.00/90.42	o 73011
101.00/90.43	o 73010
101.00/90.44	o 73001
101.00/90.44	o 73000
101.00/90.45	o 72991
101.00/90.46	o 72990
101.00/90.47	o 72989
101.11/90.52	o 72920
101.11/90.53	o 72910
101.11/90.54	o 72909
101.11/90.55	o 72900
101.11/90.56	o 72899
101.11/90.57	o 72898
101.11/90.60	o 72890
101.22/90.61	o 72889
101.22/90.62	o 72888
101.22/90.63	o 72880
101.22/90.64	o 72879
101.22/90.65	o 72878
101.74/91.17	o 72877
101.98/91.27	o 72867
108.74/97.82	o 72279
108.74/97.83	o 72278
108.74/97.84	o 72179
108.74/97.85	o 72178
108.74/97.86	o 72079
108.74/97.87	o 72078
108.96/98.03	o 71989
108.96/98.04	o 71988
109.74/98.74	o 71987
110.06/99.04	o 70887
110.26/99.22	o 69987
110.26/99.26	o 69887
113.62/102.51	o 69886
117.97/106.82	o 69885
119.12/107.94	o 69309
119.12/107.98	o 69308
119.12/107.99	o 69209
119.12/108.00	o 69208
119.24/108.02	o 69189
119.24/108.03	o 69188
119.24/108.04	o 69089
119.24/108.06	o 69088
119.24/108.09	o 69087
119.34/108.11	o 69019
119.34/108.12	o 69008
119.34/108.15	o 69007
119.34/108.19	o 68989
119.44/108.20	o 68988
119.44/108.23	o 68987
119.44/108.24	o 68888
119.44/108.27	o 68887
119.74/108.59	o 68799
119.85/108.60	o 68798
119.85/108.62	o 68797
121.37/110.15	o 68790
121.37/110.17	o 68789
121.47/110.20	o 68770
121.47/110.22	o 68769
121.87/110.67	o 68768
121.87/110.68	o 68767
121.97/110.78	o 68679
122.08/110.80	o 68678
122.08/110.82	o 68677
129.78/118.37	o 68676
130.87/119.32	o 68596
131.02/119.44	o 68576
133.67/122.08	o 68575
134.07/122.43	o 68574
134.37/122.72	o 68573
134.99/123.34	o 68567
134.99/123.39	o 68566
135.10/123.44	o 68565
135.10/123.50	o 68564
135.20/123.55	o 68563
136.11/124.44	o 68557
136.11/124.49	o 68556
136.21/124.54	o 68555
136.21/124.59	o 68554
136.32/124.64	o 68553
137.33/125.64	o 68552
137.43/125.76	o 67633
137.53/125.82	o 67533
144.04/132.29	o 67422
144.67/132.85	o 67321
144.78/132.94	o 67320
146.30/134.49	o 66320
148.05/136.16	o 65320
151.89/139.94	o 65312
151.89/139.96	o 65311
151.89/139.98	o 65310
152.00/140.02	o 65309
160.76/148.64	o 65219
164.43/152.28	o 65129
167.73/155.45	o 65128
168.03/155.76	o 65119
168.14/155.82	o 65118
168.24/155.92	o 65117
168.45/156.11	o 65109
168.45/156.17	o 65108
168.54/156.24	o 65107
168.65/156.36	o 65100
168.75/156.42	o 65099
168.75/156.49	o 65098
169.06/156.75	o 65029
169.16/156.81	o 65028
169.16/156.88	o 65027
169.26/156.95	o 65019
169.37/157.01	o 65018
169.37/157.07	o 65017
169.47/157.15	o 65009
169.56/157.22	o 65008
169.56/157.28	o 65007
169.67/157.39	o 65000
169.77/157.45	o 64999
169.87/157.51	o 64998
170.17/157.89	o 64929
170.27/157.96	o 64928
170.38/158.04	o 64919
170.38/158.10	o 64918
170.49/158.18	o 64909
170.58/158.25	o 64908
170.68/158.33	o 64907
170.78/158.47	o 64900
170.88/158.54	o 64899
170.98/158.61	o 64898
171.40/159.08	o 64849
171.50/159.14	o 64848
171.50/159.20	o 64839
171.59/159.26	o 64838
171.70/159.33	o 64837
172.00/159.68	o 64829
172.10/159.74	o 64828
172.20/159.82	o 64827
172.31/159.98	o 64819
172.42/160.03	o 64818
172.42/160.10	o 64817
172.81/160.47	o 64810
172.91/160.53	o 64809
172.91/160.60	o 64808
182.82/170.24	o 64798
183.03/170.45	o 64617
183.03/170.46	o 64607
183.03/170.48	o 64597
183.13/170.53	o 64498
183.13/170.54	o 64497
214.05/200.84	o 63487
215.37/202.17	o 62705
215.46/202.23	o 62605
215.77/202.50	o 62595
215.87/202.68	o 62588
215.97/202.76	o 62578
217.39/204.11	o 62505
218.80/205.56	o 62504
218.90/205.64	o 62503
218.90/205.67	o 62493
220.63/207.34	o 62483
222.98/209.69	o 62478
225.01/211.63	o 62289
225.01/211.64	o 62288
225.01/211.65	o 62287
225.01/211.66	o 62279
225.01/211.67	o 62278
225.01/211.68	o 62277
225.01/211.70	o 62269
225.11/211.71	o 62268
225.11/211.72	o 62267
225.11/211.75	o 62179
225.11/211.76	o 62178
225.11/211.77	o 62177
225.11/211.78	o 62169
225.11/211.80	o 62168
225.23/211.81	o 62167
228.18/214.78	o 62161
228.28/214.82	o 62160
228.28/214.87	o 62159
228.90/215.44	o 61188
228.90/215.50	o 61088
229.00/215.56	o 61087
229.10/215.60	o 61078
229.10/215.65	o 60978
229.20/215.71	o 60977
229.20/215.77	o 60959
229.30/215.82	o 60958
229.30/215.88	o 59967
229.40/215.94	o 59966
229.40/215.98	o 59867
229.51/216.03	o 59866
229.51/216.10	o 59848
229.61/216.15	o 59847
229.70/216.22	o 59846
229.90/216.49	o 59836
230.00/216.54	o 59835
230.71/217.23	o 59834
237.20/223.67	o 59828
237.30/223.73	o 59827
237.30/223.78	o 59816
237.40/223.85	o 59815
237.51/223.99	o 59728
237.61/224.05	o 59716
237.72/224.11	o 59715
241.29/227.63	o 59714
262.79/248.78	o 59647
262.90/248.84	o 59646
263.00/248.92	o 59627
263.00/248.98	o 59626
263.11/249.05	o 59625
265.53/251.44	o 59616
265.65/251.52	o 59615
265.75/251.61	o 59614
304.12/289.38	o 59613
304.95/290.17	o 59612
321.45/306.37	o 58783
321.55/306.40	o 58683
321.55/306.50	o 57782
321.65/306.55	o 57682
321.86/306.78	o 57582
324.60/309.48	o 57581
331.94/316.68	o 56581
332.04/316.73	o 56580
332.04/316.76	o 56571
332.14/316.80	o 56570
336.22/320.82	o 56512
336.32/320.95	o 56491
336.42/321.04	o 56490
336.72/321.33	o 56482
336.72/321.40	o 56481
337.03/321.60	o 56480
348.75/333.13	o 56479
358.02/342.22	o 56467
372.68/356.64	o 56367
374.30/358.20	o 56267
399.29/382.72	o 56256
399.80/383.28	o 56248
400.31/383.78	o 56159
400.66/384.10	o 56139
400.96/384.35	o 55239
400.96/384.35	o 55139
404.11/387.44	o 54380
404.21/387.50	o 54379
404.33/387.62	o 54370
404.33/387.66	o 54369
407.99/391.22	o 54363
407.99/391.27	o 54362
409.11/392.36	o 54361
409.32/392.53	o 54360
416.76/399.83	o 54359
420.13/403.19	o 53661
420.83/403.86	o 53651
438.95/421.66	o 53550
442.20/424.85	o 53452
442.30/424.98	o 53451
447.36/429.83	o 52461
450.51/432.97	o 52372
450.62/433.04	o 52272
455.01/437.31	o 52271
458.89/441.11	o 52261
459.29/441.52	o 52260
460.61/442.89	o 52259
460.71/442.93	o 52258
460.82/443.02	o 52251
460.82/443.07	o 52250
471.30/453.37	o 52183
471.51/453.59	o 52172
471.61/453.68	o 52171
472.13/454.15	o 52170
472.32/454.36	o 52161
472.42/454.42	o 52160
474.26/456.29	o 52159
474.36/456.35	o 52158
474.47/456.46	o 52151
474.57/456.51	o 52150
477.28/459.12	o 52052
477.37/459.22	o 52051
482.45/464.05	o 52050
482.75/464.35	o 51951
493.59/474.92	o 51864
493.70/475.09	o 51853
494.82/476.18	o 51852
518.78/499.60	o 51851
530.63/511.22	o 51849
542.42/522.79	o 51839
548.18/528.34	o 50959
548.18/528.38	o 50949
548.18/528.39	o 50849
548.28/528.42	o 50839
555.21/535.14	o 50838
559.21/539.10	o 50837
572.95/552.51	o 50828
572.95/552.52	o 50728
573.26/552.84	o 50726
578.26/557.79	o 49746
581.04/560.46	o 49646
581.15/560.52	o 49645
591.25/570.49	o 49546
597.21/576.22	o 49545
597.41/576.41	o 49544
605.92/584.74	o 49445
614.55/593.13	o 49361
614.55/593.15	o 49360
614.64/593.20	o 49348
614.64/593.22	o 49347
652.84/630.24	o 48348
652.84/630.24	o 48248
669.95/647.06	o 48220
670.06/647.20	o 48219
670.45/647.57	o 48218
671.58/648.64	o 48131
671.69/648.74	o 48130
672.29/649.30	o 48129
673.31/650.37	o 48128
674.61/651.57	o 48038
676.34/653.20	o 48028
676.84/653.80	o 48026
702.22/678.54	o 48025
702.63/678.97	o 48024
702.74/679.10	o 48023
703.35/679.61	o 47937
703.55/679.81	o 47926
704.47/680.76	o 47885
705.26/681.48	o 47875
705.36/681.51	o 47835
705.36/681.53	o 47735
708.93/685.02	o 47734
717.91/693.82	o 47645
740.77/716.11	o 47545
741.27/716.65	o 47445
741.47/716.86	o 47435
747.28/722.56	o 47434
749.02/724.20	o 47344
749.33/724.59	o 47334
750.56/725.75	o 47333
760.99/735.99	o 47324
762.52/737.41	o 47323
762.94/737.82	o 47321
763.04/737.99	o 47320
763.29/738.13	o 47318
763.48/738.31	o 47317
763.58/738.49	o 47316
763.90/738.72	o 47315
764.11/738.95	o 47314
764.41/739.23	o 47312
826.67/800.14	o 47226
827.07/800.50	o 47216
827.89/801.39	o 47214
830.47/803.71	o 47204
848.29/821.17	o 47154
848.39/821.20	o 47144
848.39/821.24	o 47143
849.21/822.04	o 47135
849.21/822.08	o 47125
849.41/822.23	o 47124
875.67/847.95	o 47118
887.94/859.97	o 47116
888.06/860.03	o 47115
888.06/860.10	o 47114
888.17/860.17	o 47113
888.30/860.26	o 47112
888.40/860.39	o 47111
888.50/860.49	o 47110
888.81/860.74	o 47109
889.12/861.01	o 47009
939.97/910.89	o 47008
942.11/912.98	o 46313
942.22/913.07	o 46213
942.33/913.15	o 46212
942.43/913.22	o 46211
942.53/913.34	o 46210
942.63/913.43	o 46209
942.74/913.51	o 46208
942.84/913.61	o 46204
942.84/913.66	o 46203
942.94/913.70	o 46202
942.94/913.75	o 46201
943.04/913.80	o 46200
943.04/913.87	o 46199
945.29/916.07	o 46198
945.48/916.23	o 46111
945.59/916.32	o 46109
945.59/916.39	o 46108
945.69/916.45	o 46107
945.79/916.52	o 46102
945.79/916.58	o 46101
945.89/916.64	o 46100
945.89/916.70	o 46099
946.00/916.75	o 46098
957.27/927.70	o 46097
980.69/950.61	o 46096
981.41/951.30	o 46089
981.52/951.44	o 46088
981.62/951.58	o 46087
1013.57/982.60	o 46080
1014.91/983.95	o 46079
1021.34/990.29	o 45309
1021.86/990.77	o 45299
1022.57/991.41	o 45290
1022.98/991.88	o 45289
1023.60/992.46	o 45288
1024.33/993.11	o 45208
1024.83/993.65	o 45198
1025.45/994.23	o 45189
1026.06/994.81	o 45188
1026.68/995.42	o 45187
1027.29/996.01	o 45180
1027.80/996.59	o 45179
1028.51/997.25	o 45178
1032.01/1000.61	o 45099
1034.65/1003.22	o 45098
1037.20/1005.71	o 45089
1037.71/1006.23	o 45088
1046.18/1014.58	o 45084
1046.59/1014.92	o 45083
1047.00/1015.37	o 45082
1047.52/1015.84	o 45081
1048.03/1016.33	o 45080
1049.36/1017.60	o 45079
1049.78/1018.09	o 45072
1050.28/1018.57	o 45071
1050.80/1019.06	o 45070
1051.30/1019.58	o 45069
1051.93/1020.18	o 45068
1053.15/1021.39	o 44993
1053.56/1021.74	o 44992
1054.07/1022.23	o 44991
1054.58/1022.70	o 44990
1055.00/1023.17	o 44989
1055.51/1023.64	o 44983
1055.92/1024.05	o 44982
1056.43/1024.52	o 44981
1056.84/1025.01	o 44980
1057.36/1025.47	o 44979
1058.17/1026.26	o 44978
1063.49/1031.41	o 44977
1094.60/1061.84	o 44976
1096.04/1063.28	o 44975
1097.37/1064.50	o 44887
1097.78/1064.99	o 44886
1098.39/1065.52	o 44876
1119.69/1086.32	o 44875
1137.92/1104.11	o 44874
1145.70/1111.79	o 44873
1173.60/1139.04	o 44115
1174.01/1139.48	o 44105
1174.42/1139.88	o 44104
1174.73/1140.18	o 44094
1341.33/1302.74	o 44038
1342.04/1303.43	o 44037
1342.65/1304.05	o 44028
1343.27/1304.63	o 44027
1343.98/1305.37	o 44018
1344.61/1305.95	o 44017
1345.32/1306.60	o 44016
1345.94/1307.23	o 44007
1346.55/1307.89	o 44006
1347.26/1308.50	o 43997
1347.89/1309.15	o 43996
1349.10/1310.37	o 43995
1349.83/1311.07	o 43994
1447.96/1406.79	o 43914
1448.17/1406.97	o 43904
1484.09/1442.07	o 43903
1484.80/1442.78	o 43902
1560.33/1516.54	o 43901
1560.53/1516.72	o 43893
1560.63/1516.85	o 43892
1560.74/1517.00	o 43891
1561.88/1518.02	o 43814
1561.98/1518.16	o 43813
1562.17/1518.34	o 43804
1562.28/1518.48	o 43803
1562.48/1518.62	o 43802
1562.68/1518.83	o 43794
1562.79/1518.96	o 43793
1562.90/1519.10	o 43792
1566.26/1522.37	o 43783
1566.37/1522.41	o 43782
1580.70/1536.49	o 43686
1581.23/1536.94	o 43685
1581.63/1537.37	o 43684
1582.15/1537.83	o 43683
1587.26/1542.84	o 43197
1587.58/1543.17	o 43196
1588.08/1543.64	o 43195
1588.60/1544.13	o 43194
1588.90/1544.48	o 43096
1589.41/1544.95	o 43095
1589.93/1545.45	o 43094
1590.44/1545.93	o 43093
1590.85/1546.30	o 42996
1591.16/1546.66	o 42995
1591.46/1547.00	o 42994
1592.08/1547.51	o 42993
1592.38/1547.89	o 42897
1592.70/1548.18	o 42896
1593.00/1548.47	o 42895
1593.51/1548.93	o 42894
1658.68/1612.43	o 42825
1660.82/1614.56	o 42824
1664.92/1618.50	o 42816
1665.12/1618.74	o 42815
1665.54/1619.12	o 42814
1665.84/1619.42	o 42725
1666.15/1619.72	o 42724
1667.89/1621.40	o 42715
1668.09/1621.64	o 42714
1670.55/1624.03	o 42705
1670.75/1624.26	o 42704
1676.39/1629.78	o 42697
1676.90/1630.29	o 42696
1677.51/1630.80	o 42695
1688.57/1641.61	o 42119
1688.69/1641.75	o 42118
1688.79/1641.87	o 42117
1688.99/1642.01	o 42008
1689.11/1642.12	o 42007
1689.20/1642.27	o 42006
1689.40/1642.45	o 42005
1689.71/1642.72	o 41897
1690.01/1643.01	o 41896
1690.53/1643.58	o 41895
1690.83/1643.84	o 41799
1691.15/1644.12	o 41798
1691.45/1644.44	o 41797
1691.75/1644.72	o 41796
1692.37/1645.38	o 41795
1692.78/1645.76	o 41794
1692.88/1645.89	o 41786
1693.20/1646.14	o 41785
1693.50/1646.41	o 41784
1693.60/1646.57	o 41688
1693.70/1646.67	o 41687
1693.91/1646.81	o 41686
1694.22/1647.15	o 41685
1706.20/1658.80	o 41676
1706.41/1659.02	o 41675
1706.61/1659.22	o 41674
1709.89/1662.46	o 41666
1710.09/1662.60	o 41665
1710.40/1662.92	o 41664
1716.14/1668.54	o 41663
1716.44/1668.84	o 41653
1716.86/1669.23	o 41643
1717.68/1670.08	o 40773
1718.09/1670.48	o 40673
1718.60/1670.93	o 40663
1719.01/1671.39	o 40654
1719.43/1671.75	o 40653
1725.25/1677.48	o 40564
1727.70/1679.83	o 40563
1733.14/1685.12	o 40554
1733.43/1685.49	o 40553
1752.20/1703.60	o 39765
1752.51/1703.97	o 39665
1752.92/1704.38	o 39664
1763.38/1714.56	o 39663
1802.94/1753.14	o 39662
1816.34/1766.20	o 39582
1816.75/1766.66	o 39572
1817.28/1767.15	o 39562
1864.89/1813.62	o 39492
1867.36/1816.04	o 38491
1868.06/1816.77	o 38481
1876.46/1824.99	o 37693
1876.57/1825.05	o 37683
1876.69/1825.16	o 37591
1876.78/1825.25	o 37581
1879.03/1827.49	o 37570
1900.45/1848.25	o 37562
1901.69/1849.40	o 37561
1924.63/1871.85	o 37560
1925.54/1872.74	o 37559
1925.75/1872.97	o 37490
1925.86/1873.03	o 37489
1925.86/1873.08	o 37480
1925.96/1873.12	o 37479
2014.13/1959.12	o 36589
2020.27/1965.12	o 36500
2020.27/1965.19	o 36490
2020.37/1965.25	o 36489
2021.31/1966.12	o 36389
2038.08/1982.59	o 36379
2268.50/2207.40	o 36370
2268.81/2207.77	o 36369
2351.87/2288.77	o 36368
2400.03/2335.70	s SATISFIABLE
2400.03/2335.70	v <instantiation>
2400.03/2335.70	v 	<list>
2400.03/2335.70	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] 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] 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] 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]
2400.03/2335.70	v 	</list>
2400.03/2335.70	v 	<values>
2400.03/2335.70	v 		352 114 58 296 100 338 142 380 240 478 792 554 100 338 694 456 16 254 554 792 498 736 240 478 114 352 540 778 778 540 792 554 498 736 554 792 254 16 792 554 792 554 680 442 114 352 142 380 540 778 428 666 554 792 778 540 764 526 778 540 764 526 792 554 72 310 484 722 778 540 324 86 240 478 72 310 352 114 156 394 100 338 394 156 142 380 554 792 498 736 540 778 792 554 296 58 170 408 484 722 750 512 142 380 30 268 58 296 792 554 792 554 554 792 792 554 296 58 778 540 170 408 240 478 282 44 268 30 100 338 554 792 268 30 240 478 526 764 142 380 352 114 72 310 750 512 72 310 792 554 366 128 282 44 554 792 554 792 778 540 352 114 554 792 254 16 268 30 58 296 394 156 540 778 652 414 554 792 296 58 254 16 764 526 792 554 156 394 428 666 282 44 142 380 338 100 394 156 456 694 0 0 0 0 0 0 0 0 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 1000 1000 1000 0 0 0 0 0 0 0 1000 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 1000 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 1000 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 1000 1000 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 1000 0 1000 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 1000 0 1000 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 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 100 100 0 0 100 100 0 100 0 0 0 100 0 0 0 0 0 100 0 0 0 100 0 0 100 100 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 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 100 100 0 0 0 0 0 0 0 0 0 0 0 100 0 100 100 0 0 0 100 0 100 100 0 0 0 100 100 0 100 0 0 0 100 0 100 0 100 0 0 0 0 0 100 0 0 0 100 0 0 0 0 100 0 0 0 0 100 0 0 100 0 0 100 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 0 0 0 0 0 0 100 0 100 0 0 100 100 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 100 100 100 100 0 0 100 0 100 100 0 0 0 0 0 0 0 0 0 100 0 100 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 100 100 0 100 0 100 0 0 0 100 0 0 100 0 100 0 0 0 0 0 100 0 0 0 0 10 0 0 0 0 0 10 0 10 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 10 0 0 10 10 10 10 0 10 0 0 0 10 0 10 0 10 0 10 10 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 10 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 10 10 10 0 0 0 0 0 0 10 0 0 0 10 10 0 10 10 0 0 10 10 0 10 0 10 0 0 0 0 0 0 0 10 0 0 0 10 0 10 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 0 0 0 0 10 10 0 0 10 0 0 0 0 0 0 0 0 10 0 10 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 0 0 10 10 0 0 10 0 10 0 0 10 0 10 0 10 0 0 0 0 0 10 10 0 10 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 0 1 1 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 1 1 1 0 0 0 0 1 0 
2400.03/2335.71	v 	</values>
2400.03/2335.71	v </instantiation>

Verifier Data 

OK	36368

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291936-1532266872/watcher-4291936-1532266872 -o /tmp/evaluation-result-4291936-1532266872/solver-4291936-1532266872 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532262189-32665 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 583042217 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291936-1532266872.xml 

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

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=1014, runsolver pid=1011

[startup+0.100727 s]*
/proc/loadavg: 1.90 1.67 1.58 7/219 1029
/proc/meminfo: memFree=22983248/32770624 swapFree=67108860/67108860
[pid=1014] ppid=1011 vsize=14082740 memory=32804 CPUtime=0.11 cores=0,2,4,6
/proc/1014/stat : 1014 (java) S 1011 1014 32634 0 -1 1077944320 6587 0 0 0 10 1 0 0 20 0 15 0 44250355 14420725760 8201 33554432000 4194304 4196468 140729662784768 140729662767312 139635022696183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
/proc/1014/statm: 3520685 8201 3137 1 0 3482761 0
[pid=1014/tid=1016] ppid=1011 vsize=14082740 memory=8389772277269004345 CPUtime=0.09 cores=0,2,4,6
/proc/1014/task/1016/stat : 1016 (java) R 1011 1014 32634 0 -1 4202560 5023 0 0 0 8 1 0 0 20 0 15 0 44250355 14420725760 8531 33554432000 4194304 4196468 140729662784768 139635026897848 139635022718109 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1017] ppid=1011 vsize=14082740 memory=4294967661 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1017/stat : 1017 (java) S 1011 1014 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44250356 14420725760 8531 33554432000 4194304 4196468 140729662784768 139634960296336 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1018] ppid=1011 vsize=14082740 memory=288370575922316928 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1018/stat : 1018 (java) S 1011 1014 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44250356 14420725760 8531 33554432000 4194304 4196468 140729662784768 139634959243536 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1019] ppid=1011 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1019/stat : 1019 (java) S 1011 1014 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44250356 14420725760 8531 33554432000 4194304 4196468 140729662784768 139634958191248 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1020] ppid=1011 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1020/stat : 1020 (java) S 1011 1014 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44250356 14420725760 8531 33554432000 4194304 4196468 140729662784768 139634615523856 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1021] ppid=1011 vsize=14082740 memory=140199770605184 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1021/stat : 1021 (java) S 1011 1014 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44250358 14420725760 8531 33554432000 4194304 4196468 140729662784768 139634564647536 139635022707330 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1022] ppid=1011 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1022/stat : 1022 (java) S 1011 1014 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44250358 14420725760 8531 33554432000 4194304 4196468 140729662784768 139634563593504 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1023] ppid=1011 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1023/stat : 1023 (java) S 1011 1014 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44250358 14420725760 8531 33554432000 4194304 4196468 140729662784768 139634562541168 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1024] ppid=1011 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1024/stat : 1024 (java) S 1011 1014 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44250361 14420725760 8531 33554432000 4194304 4196468 140729662784768 139634561489488 139635022714779 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1025] ppid=1011 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1025/stat : 1025 (java) S 1011 1014 32634 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 44250361 14420725760 8531 33554432000 4194304 4196468 140729662784768 139634560436336 139635022707330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1026] ppid=1011 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1026/stat : 1026 (java) S 1011 1014 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44250361 14420725760 8531 33554432000 4194304 4196468 140729662784768 139634559383536 139635022707330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1027] ppid=1011 vsize=14082740 memory=140199770605184 CPUtime=0.01 cores=0,2,4,6
/proc/1014/task/1027/stat : 1027 (java) R 1011 1014 32634 0 -1 4202560 252 0 0 0 1 0 0 0 20 0 15 0 44250361 14420725760 8531 33554432000 4194304 4196468 140729662784768 139634558331248 139635002159790 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1028] ppid=1011 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1028/stat : 1028 (java) S 1011 1014 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44250361 14420725760 8531 33554432000 4194304 4196468 140729662784768 139634557278688 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1029] ppid=1011 vsize=14082740 memory=140199770605184 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1029/stat : 1029 (java) S 1011 1014 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44250361 14420725760 8531 33554432000 4194304 4196468 140729662784768 139634556226480 139635022707330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 32804 KiB

[startup+0.219662 s]*
/proc/loadavg: 1.90 1.67 1.58 5/219 1029
/proc/meminfo: memFree=22967136/32770624 swapFree=67108860/67108860
[pid=1014] ppid=1011 vsize=14082740 memory=47796 CPUtime=0.32 cores=0,2,4,6
/proc/1014/stat : 1014 (java) S 1011 1014 32634 0 -1 1077944320 10031 0 0 0 30 2 0 0 20 0 15 0 44250355 14420725760 11949 33554432000 4194304 4196468 140729662784768 140729662767312 139635022696183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
/proc/1014/statm: 3520685 11949 3378 1 0 3482761 0
[pid=1014/tid=1016] ppid=1011 vsize=14082740 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/1014/task/1016/stat : 1016 (java) R 1011 1014 32634 0 -1 4202560 7768 0 0 0 19 1 0 0 20 0 15 0 44250355 14420725760 11949 33554432000 4194304 4196468 140729662784768 139635026926160 139635014933310 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1017] ppid=1011 vsize=14082740 memory=4294967661 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1017/stat : 1017 (java) S 1011 1014 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44250356 14420725760 11949 33554432000 4194304 4196468 140729662784768 139634960296336 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1018] ppid=1011 vsize=14082740 memory=288370575922316928 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1018/stat : 1018 (java) S 1011 1014 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44250356 14420725760 11949 33554432000 4194304 4196468 140729662784768 139634959243536 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1019] ppid=1011 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1019/stat : 1019 (java) S 1011 1014 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44250356 14420725760 11949 33554432000 4194304 4196468 140729662784768 139634958191248 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1020] ppid=1011 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1020/stat : 1020 (java) S 1011 1014 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44250356 14420725760 11949 33554432000 4194304 4196468 140729662784768 139634615523856 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1021] ppid=1011 vsize=14082740 memory=140199770605184 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1021/stat : 1021 (java) S 1011 1014 32634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44250358 14420725760 11949 33554432000 4194304 4196468 140729662784768 139634564647536 139635022707330 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1022] ppid=1011 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1022/stat : 1022 (java) S 1011 1014 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44250358 14420725760 11949 33554432000 4194304 4196468 140729662784768 139634563593504 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1023] ppid=1011 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1023/stat : 1023 (java) S 1011 1014 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44250358 14420725760 11949 33554432000 4194304 4196468 140729662784768 139634562541168 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1024] ppid=1011 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1024/stat : 1024 (java) S 1011 1014 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44250361 14420725760 11949 33554432000 4194304 4196468 140729662784768 139634561489488 139635022714779 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1025] ppid=1011 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1014/task/1025/stat : 1025 (java) S 1011 1014 32634 0 -1 1077944384 357 0 0 0 2 0 0 0 20 0 15 0 44250361 14420725760 11949 33554432000 4194304 4196468 140729662784768 139634560436336 139635022707330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1026] ppid=1011 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/1014/task/1026/stat : 1026 (java) S 1011 1014 32634 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 15 0 44250361 14420725760 11949 33554432000 4194304 4196468 140729662784768 139634559383536 139635022707330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1027] ppid=1011 vsize=14082740 memory=140199770605184 CPUtime=0.07 cores=0,2,4,6
/proc/1014/task/1027/stat : 1027 (java) R 1011 1014 32634 0 -1 4202560 285 0 0 0 7 0 0 0 20 0 15 0 44250361 14420725760 11949 33554432000 4194304 4196468 140729662784768 139634558328184 139635008386825 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1028] ppid=1011 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1028/stat : 1028 (java) S 1011 1014 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44250361 14420725760 11949 33554432000 4194304 4196468 140729662784768 139634557278688 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1029] ppid=1011 vsize=14082740 memory=140199770605184 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1029/stat : 1029 (java) S 1011 1014 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44250361 14420725760 11949 33554432000 4194304 4196468 140729662784768 139634556226480 139635022707330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47796 KiB

[startup+0.310541 s]*
/proc/loadavg: 1.90 1.67 1.58 5/219 1029
/proc/meminfo: memFree=22963476/32770624 swapFree=67108860/67108860
[pid=1014] ppid=1011 vsize=14082740 memory=50744 CPUtime=0.43 cores=0,2,4,6
/proc/1014/stat : 1014 (java) S 1011 1014 32634 0 -1 1077944320 10335 0 0 0 41 2 0 0 20 0 15 0 44250355 14420725760 12686 33554432000 4194304 4196468 140729662784768 140729662767312 139635022696183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
/proc/1014/statm: 3520685 12686 3379 1 0 3482761 0
[pid=1014/tid=1016] ppid=1011 vsize=14082740 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/1014/task/1016/stat : 1016 (java) R 1011 1014 32634 0 -1 4202560 8047 0 0 0 28 1 0 0 20 0 15 0 44250355 14420725760 12686 33554432000 4194304 4196468 140729662784768 139635026877232 139635002972064 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1017] ppid=1011 vsize=14082740 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1017/stat : 1017 (java) S 1011 1014 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44250356 14420725760 12686 33554432000 4194304 4196468 140729662784768 139634960296336 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1018] ppid=1011 vsize=14082740 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1018/stat : 1018 (java) S 1011 1014 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44250356 14420725760 12686 33554432000 4194304 4196468 140729662784768 139634959243536 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1019] ppid=1011 vsize=14082740 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1019/stat : 1019 (java) S 1011 1014 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44250356 14420725760 12686 33554432000 4194304 4196468 140729662784768 139634958191248 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1020] ppid=1011 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1020/stat : 1020 (java) S 1011 1014 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44250356 14420725760 12686 33554432000 4194304 4196468 140729662784768 139634615523856 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1021] ppid=1011 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1021/stat : 1021 (java) S 1011 1014 32634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44250358 14420725760 12686 33554432000 4194304 4196468 140729662784768 139634564647536 139635022707330 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1022] ppid=1011 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1022/stat : 1022 (java) S 1011 1014 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44250358 14420725760 12686 33554432000 4194304 4196468 140729662784768 139634563593504 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1023] ppid=1011 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1023/stat : 1023 (java) S 1011 1014 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44250358 14420725760 12686 33554432000 4194304 4196468 140729662784768 139634562541168 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1024] ppid=1011 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1024/stat : 1024 (java) S 1011 1014 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44250361 14420725760 12686 33554432000 4194304 4196468 140729662784768 139634561489488 139635022714779 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1025] ppid=1011 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1014/task/1025/stat : 1025 (java) S 1011 1014 32634 0 -1 1077944384 357 0 0 0 2 0 0 0 20 0 15 0 44250361 14420725760 12686 33554432000 4194304 4196468 140729662784768 139634560436336 139635022707330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1026] ppid=1011 vsize=14082740 memory=140199610901039 CPUtime=0.02 cores=0,2,4,6
/proc/1014/task/1026/stat : 1026 (java) S 1011 1014 32634 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 15 0 44250361 14420725760 12686 33554432000 4194304 4196468 140729662784768 139634559383536 139635022707330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1027] ppid=1011 vsize=14082740 memory=140199610910159 CPUtime=0.08 cores=0,2,4,6
/proc/1014/task/1027/stat : 1027 (java) S 1011 1014 32634 0 -1 1077944384 290 0 0 0 8 0 0 0 20 0 15 0 44250361 14420725760 12686 33554432000 4194304 4196468 140729662784768 139634558331248 139635022707330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1028] ppid=1011 vsize=14082740 memory=140199770606194 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1028/stat : 1028 (java) S 1011 1014 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44250361 14420725760 12686 33554432000 4194304 4196468 140729662784768 139634557278688 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1029] ppid=1011 vsize=14082740 memory=140199610907951 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1029/stat : 1029 (java) S 1011 1014 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44250361 14420725760 12686 33554432000 4194304 4196468 140729662784768 139634556226480 139635022707330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50744 KiB

[startup+0.700774 s]
/proc/loadavg: 1.90 1.67 1.58 5/219 1029
/proc/meminfo: memFree=22938796/32770624 swapFree=67108860/67108860
[pid=1014] ppid=1011 vsize=14084808 memory=90836 CPUtime=1 cores=0,2,4,6
/proc/1014/stat : 1014 (java) S 1011 1014 32634 0 -1 1077944320 17066 0 0 0 95 5 0 0 20 0 15 0 44250355 14422843392 22709 33554432000 4194304 4196468 140729662784768 140729662767312 139635022696183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
/proc/1014/statm: 3521202 22709 3498 1 0 3483273 0
[pid=1014/tid=1016] ppid=1011 vsize=14084808 memory=6296683646897251149 CPUtime=0.67 cores=0,2,4,6
/proc/1014/task/1016/stat : 1016 (java) R 1011 1014 32634 0 -1 4202560 14382 0 0 0 64 3 0 0 20 0 15 0 44250355 14422843392 22709 33554432000 4194304 4196468 140729662784768 139635026921264 139635006776670 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1017] ppid=1011 vsize=14084808 memory=7373607972643291238 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1017/stat : 1017 (java) S 1011 1014 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44250356 14422843392 22709 33554432000 4194304 4196468 140729662784768 139634960296336 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1018] ppid=1011 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1018/stat : 1018 (java) S 1011 1014 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44250356 14422843392 22709 33554432000 4194304 4196468 140729662784768 139634959243536 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1019] ppid=1011 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1019/stat : 1019 (java) S 1011 1014 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44250356 14422843392 22709 33554432000 4194304 4196468 140729662784768 139634958191248 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1020] ppid=1011 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1020/stat : 1020 (java) S 1011 1014 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44250356 14422843392 22709 33554432000 4194304 4196468 140729662784768 139634615523856 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1021] ppid=1011 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1021/stat : 1021 (java) S 1011 1014 32634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44250358 14422843392 22709 33554432000 4194304 4196468 140729662784768 139634564647536 139635022707330 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1022] ppid=1011 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1022/stat : 1022 (java) S 1011 1014 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44250358 14422843392 22709 33554432000 4194304 4196468 140729662784768 139634563593504 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1023] ppid=1011 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1023/stat : 1023 (java) S 1011 1014 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44250358 14422843392 22709 33554432000 4194304 4196468 140729662784768 139634562541168 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1024] ppid=1011 vsize=14084808 memory=-9174445032661854264 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1024/stat : 1024 (java) S 1011 1014 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44250361 14422843392 22709 33554432000 4194304 4196468 140729662784768 139634561489488 139635022714779 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1025] ppid=1011 vsize=14084808 memory=6655300316396806240 CPUtime=0.06 cores=0,2,4,6
/proc/1014/task/1025/stat : 1025 (java) S 1011 1014 32634 0 -1 1077944384 518 0 0 0 6 0 0 0 20 0 15 0 44250361 14422843392 22709 33554432000 4194304 4196468 140729662784768 139634560436336 139635022707330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1026] ppid=1011 vsize=14084808 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/1014/task/1026/stat : 1026 (java) S 1011 1014 32634 0 -1 1077944384 411 0 0 0 8 0 0 0 20 0 15 0 44250361 14422843392 22709 33554432000 4194304 4196468 140729662784768 139634559383536 139635022707330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1027] ppid=1011 vsize=14084808 memory=6655300316396806240 CPUtime=0.15 cores=0,2,4,6
/proc/1014/task/1027/stat : 1027 (java) S 1011 1014 32634 0 -1 1077944384 372 0 0 0 15 0 0 0 20 0 15 0 44250361 14422843392 22709 33554432000 4194304 4196468 140729662784768 139634558331248 139635022707330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1028] ppid=1011 vsize=14084808 memory=7896318971486248851 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1028/stat : 1028 (java) S 1011 1014 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44250361 14422843392 22709 33554432000 4194304 4196468 140729662784768 139634557278688 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1029] ppid=1011 vsize=14084808 memory=-7523660553960122769 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1029/stat : 1029 (java) S 1011 1014 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44250361 14422843392 22709 33554432000 4194304 4196468 140729662784768 139634556226480 139635022707330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 90836 KiB

[startup+1.50072 s]
/proc/loadavg: 1.90 1.67 1.58 6/219 1029
/proc/meminfo: memFree=22898656/32770624 swapFree=67108860/67108860
[pid=1014] ppid=1011 vsize=14088904 memory=187168 CPUtime=3.46 cores=0,2,4,6
/proc/1014/stat : 1014 (java) S 1011 1014 32634 0 -1 1077944320 25985 0 0 0 338 8 0 0 20 0 15 0 44250355 14427037696 46792 33554432000 4194304 4196468 140729662784768 140729662767312 139635022696183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
/proc/1014/statm: 3522226 46792 3547 1 0 3484297 0
[pid=1014/tid=1016] ppid=1011 vsize=14088904 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/1014/task/1016/stat : 1016 (java) R 1011 1014 32634 0 -1 4202560 17075 0 0 0 142 5 0 0 20 0 15 0 44250355 14427037696 46792 33554432000 4194304 4196468 140729662784768 139635026931648 139634639195774 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1017] ppid=1011 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1017/stat : 1017 (java) S 1011 1014 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44250356 14427037696 46792 33554432000 4194304 4196468 140729662784768 139634960296336 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1018] ppid=1011 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1018/stat : 1018 (java) S 1011 1014 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44250356 14427037696 46792 33554432000 4194304 4196468 140729662784768 139634959243536 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1019] ppid=1011 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1019/stat : 1019 (java) S 1011 1014 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44250356 14427037696 46792 33554432000 4194304 4196468 140729662784768 139634958191248 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1020] ppid=1011 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1020/stat : 1020 (java) S 1011 1014 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44250356 14427037696 46792 33554432000 4194304 4196468 140729662784768 139634615523856 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1021] ppid=1011 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1021/stat : 1021 (java) S 1011 1014 32634 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 15 0 44250358 14427037696 46792 33554432000 4194304 4196468 140729662784768 139634564647536 139635022707330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0

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

/proc/1014/task/1016/stat : 1016 (java) R 1011 1014 32634 0 -1 4202560 256054 0 0 0 223827 65 0 0 20 0 15 0 44250355 14431232000 166043 33554432000 4194304 4196468 140729662784768 139635026933328 139634650172571 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1017] ppid=1011 vsize=14093000 memory=664172 CPUtime=17.13 cores=0,2,4,6
/proc/1014/task/1017/stat : 1017 (java) S 1011 1014 32634 0 -1 1077944384 25662 0 0 0 1661 52 0 0 20 0 15 0 44250356 14431232000 166043 33554432000 4194304 4196468 140729662784768 139634960296336 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1018] ppid=1011 vsize=14093000 memory=683404 CPUtime=17.12 cores=0,2,4,6
/proc/1014/task/1018/stat : 1018 (java) S 1011 1014 32634 0 -1 1077944384 29525 0 0 0 1660 52 0 0 20 0 15 0 44250356 14431232000 166043 33554432000 4194304 4196468 140729662784768 139634959243536 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1019] ppid=1011 vsize=14093000 memory=675712 CPUtime=17.07 cores=0,2,4,6
/proc/1014/task/1019/stat : 1019 (java) S 1011 1014 32634 0 -1 1077944384 30085 0 0 0 1658 49 0 0 20 0 15 0 44250356 14431232000 166043 33554432000 4194304 4196468 140729662784768 139634958191248 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1020] ppid=1011 vsize=14093000 memory=664172 CPUtime=17.14 cores=0,2,4,6
/proc/1014/task/1020/stat : 1020 (java) S 1011 1014 32634 0 -1 1077944384 30970 0 0 0 1663 51 0 0 20 0 15 0 44250356 14431232000 166043 33554432000 4194304 4196468 140729662784768 139634615523856 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1021] ppid=1011 vsize=14093000 memory=139 CPUtime=4.38 cores=0,2,4,6
/proc/1014/task/1021/stat : 1021 (java) S 1011 1014 32634 0 -1 1077944384 76238 0 0 0 383 55 0 0 20 0 15 0 44250358 14431232000 166043 33554432000 4194304 4196468 140729662784768 139634564647536 139635022707330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1022] ppid=1011 vsize=14093000 memory=280399223439136 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1022/stat : 1022 (java) S 1011 1014 32634 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 44250358 14431232000 166043 33554432000 4194304 4196468 140729662784768 139634563593568 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1023] ppid=1011 vsize=14093000 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1023/stat : 1023 (java) S 1011 1014 32634 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 44250358 14431232000 166043 33554432000 4194304 4196468 140729662784768 139634562541184 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1024] ppid=1011 vsize=14093000 memory=666736 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1024/stat : 1024 (java) S 1011 1014 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44250361 14431232000 166043 33554432000 4194304 4196468 140729662784768 139634561489488 139635022714779 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1025] ppid=1011 vsize=14093000 memory=666736 CPUtime=4.93 cores=0,2,4,6
/proc/1014/task/1025/stat : 1025 (java) S 1011 1014 32634 0 -1 1077944384 24370 0 0 0 490 3 0 0 20 0 15 0 44250361 14431232000 166043 33554432000 4194304 4196468 140729662784768 139634560436336 139635022707330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1026] ppid=1011 vsize=14093000 memory=666736 CPUtime=4.91 cores=0,2,4,6
/proc/1014/task/1026/stat : 1026 (java) S 1011 1014 32634 0 -1 1077944384 28326 0 0 0 487 4 0 0 20 0 15 0 44250361 14431232000 166043 33554432000 4194304 4196468 140729662784768 139634559383536 139635022707330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1027] ppid=1011 vsize=14093000 memory=669300 CPUtime=1.73 cores=0,2,4,6
/proc/1014/task/1027/stat : 1027 (java) S 1011 1014 32634 0 -1 1077944384 37303 0 0 0 168 5 0 0 20 0 15 0 44250361 14431232000 166043 33554432000 4194304 4196468 140729662784768 139634558331248 139635022707330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1028] ppid=1011 vsize=14093000 memory=672632 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1028/stat : 1028 (java) S 1011 1014 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44250361 14431232000 166043 33554432000 4194304 4196468 140729662784768 139634557278688 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1029] ppid=1011 vsize=14093000 memory=15012 CPUtime=1.4 cores=0,2,4,6
/proc/1014/task/1029/stat : 1029 (java) S 1011 1014 32634 0 -1 1077944384 1059 0 0 0 66 74 0 0 20 0 15 0 44250361 14431232000 166043 33554432000 4194304 4196468 140729662784768 139634556226480 139635022707330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
Current children cumulated CPU time: 2324.83 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 664172 KiB

[startup+2322.3 s]
/proc/loadavg: 1.37 1.36 1.46 3/218 1121
/proc/meminfo: memFree=19459584/32770624 swapFree=67108860/67108860
[pid=1014] ppid=1011 vsize=14093000 memory=651576 CPUtime=2386.29 cores=0,2,4,6
/proc/1014/stat : 1014 (java) S 1011 1014 32634 0 -1 1077944320 550298 0 0 0 238243 386 0 0 20 0 15 0 44250355 14431232000 162894 33554432000 4194304 4196468 140729662784768 140729662767312 139635022696183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
/proc/1014/statm: 3523250 162894 3619 1 0 3485321 0
[pid=1014/tid=1016] ppid=1011 vsize=14093000 memory=604152 CPUtime=2298.33 cores=0,2,4,6
/proc/1014/task/1016/stat : 1016 (java) R 1011 1014 32634 0 -1 4202560 263251 0 0 0 229766 67 0 0 20 0 15 0 44250355 14431232000 162894 33554432000 4194304 4196468 140729662784768 139635026933328 139634654286087 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1017] ppid=1011 vsize=14093000 memory=603124 CPUtime=17.61 cores=0,2,4,6
/proc/1014/task/1017/stat : 1017 (java) S 1011 1014 32634 0 -1 1077944384 26003 0 0 0 1708 53 0 0 20 0 15 0 44250356 14431232000 162894 33554432000 4194304 4196468 140729662784768 139634960296336 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1018] ppid=1011 vsize=14093000 memory=660168 CPUtime=17.61 cores=0,2,4,6
/proc/1014/task/1018/stat : 1018 (java) S 1011 1014 32634 0 -1 1077944384 29823 0 0 0 1709 52 0 0 20 0 15 0 44250356 14431232000 162894 33554432000 4194304 4196468 140729662784768 139634959243536 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1019] ppid=1011 vsize=14093000 memory=657732 CPUtime=17.55 cores=0,2,4,6
/proc/1014/task/1019/stat : 1019 (java) S 1011 1014 32634 0 -1 1077944384 30924 0 0 0 1705 50 0 0 20 0 15 0 44250356 14431232000 162894 33554432000 4194304 4196468 140729662784768 139634958191248 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1020] ppid=1011 vsize=14093000 memory=0 CPUtime=17.63 cores=0,2,4,6
/proc/1014/task/1020/stat : 1020 (java) S 1011 1014 32634 0 -1 1077944384 31459 0 0 0 1711 52 0 0 20 0 15 0 44250356 14431232000 162894 33554432000 4194304 4196468 140729662784768 139634615523856 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1021] ppid=1011 vsize=14093000 memory=654140 CPUtime=4.46 cores=0,2,4,6
/proc/1014/task/1021/stat : 1021 (java) S 1011 1014 32634 0 -1 1077944384 76337 0 0 0 390 56 0 0 20 0 15 0 44250358 14431232000 162894 33554432000 4194304 4196468 140729662784768 139634564647536 139635022707330 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1022] ppid=1011 vsize=14093000 memory=651576 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1022/stat : 1022 (java) S 1011 1014 32634 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 44250358 14431232000 162894 33554432000 4194304 4196468 140729662784768 139634563593568 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1023] ppid=1011 vsize=14093000 memory=651576 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1023/stat : 1023 (java) S 1011 1014 32634 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 44250358 14431232000 162894 33554432000 4194304 4196468 140729662784768 139634562541184 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1024] ppid=1011 vsize=14093000 memory=651576 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1024/stat : 1024 (java) S 1011 1014 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44250361 14431232000 162894 33554432000 4194304 4196468 140729662784768 139634561489488 139635022714779 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1025] ppid=1011 vsize=14093000 memory=4132 CPUtime=4.93 cores=0,2,4,6
/proc/1014/task/1025/stat : 1025 (java) S 1011 1014 32634 0 -1 1077944384 24370 0 0 0 490 3 0 0 20 0 15 0 44250361 14431232000 162894 33554432000 4194304 4196468 140729662784768 139634560436336 139635022707330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1026] ppid=1011 vsize=14093000 memory=2196 CPUtime=4.91 cores=0,2,4,6
/proc/1014/task/1026/stat : 1026 (java) S 1011 1014 32634 0 -1 1077944384 28326 0 0 0 487 4 0 0 20 0 15 0 44250361 14431232000 162894 33554432000 4194304 4196468 140729662784768 139634559383536 139635022707330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1027] ppid=1011 vsize=14093000 memory=657732 CPUtime=1.73 cores=0,2,4,6
/proc/1014/task/1027/stat : 1027 (java) S 1011 1014 32634 0 -1 1077944384 37303 0 0 0 168 5 0 0 20 0 15 0 44250361 14431232000 162894 33554432000 4194304 4196468 140729662784768 139634558331248 139635022707330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1028] ppid=1011 vsize=14093000 memory=657732 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1028/stat : 1028 (java) S 1011 1014 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44250361 14431232000 162894 33554432000 4194304 4196468 140729662784768 139634557278688 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1029] ppid=1011 vsize=14093000 memory=792 CPUtime=1.43 cores=0,2,4,6
/proc/1014/task/1029/stat : 1029 (java) S 1011 1014 32634 0 -1 1077944384 1072 0 0 0 68 75 0 0 20 0 15 0 44250361 14431232000 162894 33554432000 4194304 4196468 140729662784768 139634556226480 139635022707330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
Current children cumulated CPU time: 2386.29 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 651576 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2335.7 s]
/proc/loadavg: 1.39 1.37 1.46 3/219 1129
/proc/meminfo: memFree=19505300/32770624 swapFree=67108860/67108860
[pid=1014] ppid=1011 vsize=14093000 memory=633864 CPUtime=2400.03 cores=0,2,4,6
/proc/1014/stat : 1014 (java) S 1011 1014 32634 0 -1 1077944320 550358 0 0 0 239615 388 0 0 20 0 15 0 44250355 14431232000 158466 33554432000 4194304 4196468 140729662784768 140729662767312 139635022696183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
/proc/1014/statm: 3523250 158466 3619 1 0 3485321 0
[pid=1014/tid=1016] ppid=1011 vsize=14093000 memory=633864 CPUtime=2311.59 cores=0,2,4,6
/proc/1014/task/1016/stat : 1016 (java) R 1011 1014 32634 0 -1 4202560 263280 0 0 0 231092 67 0 0 20 0 15 0 44250355 14431232000 158466 33554432000 4194304 4196468 140729662784768 139635026933328 139634654306455 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1017] ppid=1011 vsize=14093000 memory=639928 CPUtime=17.72 cores=0,2,4,6
/proc/1014/task/1017/stat : 1017 (java) S 1011 1014 32634 0 -1 1077944384 26007 0 0 0 1719 53 0 0 20 0 15 0 44250356 14431232000 158466 33554432000 4194304 4196468 140729662784768 139634960296336 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1018] ppid=1011 vsize=14093000 memory=636428 CPUtime=17.72 cores=0,2,4,6
/proc/1014/task/1018/stat : 1018 (java) S 1011 1014 32634 0 -1 1077944384 29828 0 0 0 1720 52 0 0 20 0 15 0 44250356 14431232000 158466 33554432000 4194304 4196468 140729662784768 139634959243536 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1019] ppid=1011 vsize=14093000 memory=636428 CPUtime=17.67 cores=0,2,4,6
/proc/1014/task/1019/stat : 1019 (java) S 1011 1014 32634 0 -1 1077944384 30932 0 0 0 1716 51 0 0 20 0 15 0 44250356 14431232000 158466 33554432000 4194304 4196468 140729662784768 139634958191248 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1020] ppid=1011 vsize=14093000 memory=639928 CPUtime=17.73 cores=0,2,4,6
/proc/1014/task/1020/stat : 1020 (java) S 1011 1014 32634 0 -1 1077944384 31469 0 0 0 1721 52 0 0 20 0 15 0 44250356 14431232000 158466 33554432000 4194304 4196468 140729662784768 139634615523856 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1021] ppid=1011 vsize=14093000 memory=646596 CPUtime=4.48 cores=0,2,4,6
/proc/1014/task/1021/stat : 1021 (java) S 1011 1014 32634 0 -1 1077944384 76339 0 0 0 392 56 0 0 20 0 15 0 44250358 14431232000 158466 33554432000 4194304 4196468 140729662784768 139634564647536 139635022707330 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1022] ppid=1011 vsize=14093000 memory=642492 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1022/stat : 1022 (java) S 1011 1014 32634 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 44250358 14431232000 158466 33554432000 4194304 4196468 140729662784768 139634563593568 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1023] ppid=1011 vsize=14093000 memory=638904 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1023/stat : 1023 (java) S 1011 1014 32634 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 44250358 14431232000 158466 33554432000 4194304 4196468 140729662784768 139634562541184 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1024] ppid=1011 vsize=14093000 memory=3232 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1024/stat : 1024 (java) S 1011 1014 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44250361 14431232000 158466 33554432000 4194304 4196468 140729662784768 139634561489488 139635022714779 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1025] ppid=1011 vsize=14093000 memory=633864 CPUtime=4.93 cores=0,2,4,6
/proc/1014/task/1025/stat : 1025 (java) S 1011 1014 32634 0 -1 1077944384 24370 0 0 0 490 3 0 0 20 0 15 0 44250361 14431232000 158466 33554432000 4194304 4196468 140729662784768 139634560436336 139635022707330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1026] ppid=1011 vsize=14093000 memory=643520 CPUtime=4.91 cores=0,2,4,6
/proc/1014/task/1026/stat : 1026 (java) S 1011 1014 32634 0 -1 1077944384 28326 0 0 0 487 4 0 0 20 0 15 0 44250361 14431232000 158466 33554432000 4194304 4196468 140729662784768 139634559383536 139635022707330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1027] ppid=1011 vsize=14093000 memory=0 CPUtime=1.73 cores=0,2,4,6
/proc/1014/task/1027/stat : 1027 (java) S 1011 1014 32634 0 -1 1077944384 37303 0 0 0 168 5 0 0 20 0 15 0 44250361 14431232000 158466 33554432000 4194304 4196468 140729662784768 139634558331248 139635022707330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1028] ppid=1011 vsize=14093000 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1028/stat : 1028 (java) S 1011 1014 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44250361 14431232000 158466 33554432000 4194304 4196468 140729662784768 139634557278688 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1029] ppid=1011 vsize=14093000 memory=636428 CPUtime=1.45 cores=0,2,4,6
/proc/1014/task/1029/stat : 1029 (java) S 1011 1014 32634 0 -1 1077944384 1074 0 0 0 69 76 0 0 20 0 15 0 44250361 14431232000 158466 33554432000 4194304 4196468 140729662784768 139634556226480 139635022707330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 633864 KiB

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

[startup+2335.73 s]
# the end of solver process 1014 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2396.17 s, system=3.8923 s

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

[startup+2335.7 s]
/proc/loadavg: 1.39 1.37 1.46 3/219 1129
/proc/meminfo: memFree=19505300/32770624 swapFree=67108860/67108860
[pid=1014] ppid=1011 vsize=14093000 memory=633864 CPUtime=2400.03 cores=0,2,4,6
/proc/1014/stat : 1014 (java) S 1011 1014 32634 0 -1 1077944320 550358 0 0 0 239615 388 0 0 20 0 15 0 44250355 14431232000 158466 33554432000 4194304 4196468 140729662784768 140729662767312 139635022696183 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
/proc/1014/statm: 3523250 158466 3619 1 0 3485321 0
[pid=1014/tid=1016] ppid=1011 vsize=14093000 memory=633864 CPUtime=2311.59 cores=0,2,4,6
/proc/1014/task/1016/stat : 1016 (java) R 1011 1014 32634 0 -1 4202560 263280 0 0 0 231092 67 0 0 20 0 15 0 44250355 14431232000 158466 33554432000 4194304 4196468 140729662784768 139635026933328 139634654306455 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1017] ppid=1011 vsize=14093000 memory=639928 CPUtime=17.72 cores=0,2,4,6
/proc/1014/task/1017/stat : 1017 (java) S 1011 1014 32634 0 -1 1077944384 26007 0 0 0 1719 53 0 0 20 0 15 0 44250356 14431232000 158466 33554432000 4194304 4196468 140729662784768 139634960296336 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1018] ppid=1011 vsize=14093000 memory=636428 CPUtime=17.72 cores=0,2,4,6
/proc/1014/task/1018/stat : 1018 (java) S 1011 1014 32634 0 -1 1077944384 29828 0 0 0 1720 52 0 0 20 0 15 0 44250356 14431232000 158466 33554432000 4194304 4196468 140729662784768 139634959243536 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1019] ppid=1011 vsize=14093000 memory=636428 CPUtime=17.67 cores=0,2,4,6
/proc/1014/task/1019/stat : 1019 (java) S 1011 1014 32634 0 -1 1077944384 30932 0 0 0 1716 51 0 0 20 0 15 0 44250356 14431232000 158466 33554432000 4194304 4196468 140729662784768 139634958191248 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1020] ppid=1011 vsize=14093000 memory=639928 CPUtime=17.73 cores=0,2,4,6
/proc/1014/task/1020/stat : 1020 (java) S 1011 1014 32634 0 -1 1077944384 31469 0 0 0 1721 52 0 0 20 0 15 0 44250356 14431232000 158466 33554432000 4194304 4196468 140729662784768 139634615523856 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1021] ppid=1011 vsize=14093000 memory=646596 CPUtime=4.48 cores=0,2,4,6
/proc/1014/task/1021/stat : 1021 (java) S 1011 1014 32634 0 -1 1077944384 76339 0 0 0 392 56 0 0 20 0 15 0 44250358 14431232000 158466 33554432000 4194304 4196468 140729662784768 139634564647536 139635022707330 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1022] ppid=1011 vsize=14093000 memory=642492 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1022/stat : 1022 (java) S 1011 1014 32634 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 44250358 14431232000 158466 33554432000 4194304 4196468 140729662784768 139634563593568 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1023] ppid=1011 vsize=14093000 memory=638904 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1023/stat : 1023 (java) S 1011 1014 32634 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 44250358 14431232000 158466 33554432000 4194304 4196468 140729662784768 139634562541184 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1024] ppid=1011 vsize=14093000 memory=3232 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1024/stat : 1024 (java) S 1011 1014 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44250361 14431232000 158466 33554432000 4194304 4196468 140729662784768 139634561489488 139635022714779 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1025] ppid=1011 vsize=14093000 memory=633864 CPUtime=4.93 cores=0,2,4,6
/proc/1014/task/1025/stat : 1025 (java) S 1011 1014 32634 0 -1 1077944384 24370 0 0 0 490 3 0 0 20 0 15 0 44250361 14431232000 158466 33554432000 4194304 4196468 140729662784768 139634560436336 139635022707330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1026] ppid=1011 vsize=14093000 memory=643520 CPUtime=4.91 cores=0,2,4,6
/proc/1014/task/1026/stat : 1026 (java) S 1011 1014 32634 0 -1 1077944384 28326 0 0 0 487 4 0 0 20 0 15 0 44250361 14431232000 158466 33554432000 4194304 4196468 140729662784768 139634559383536 139635022707330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1027] ppid=1011 vsize=14093000 memory=0 CPUtime=1.73 cores=0,2,4,6
/proc/1014/task/1027/stat : 1027 (java) S 1011 1014 32634 0 -1 1077944384 37303 0 0 0 168 5 0 0 20 0 15 0 44250361 14431232000 158466 33554432000 4194304 4196468 140729662784768 139634558331248 139635022707330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1028] ppid=1011 vsize=14093000 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/1014/task/1028/stat : 1028 (java) S 1011 1014 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44250361 14431232000 158466 33554432000 4194304 4196468 140729662784768 139634557278688 139635022706389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
[pid=1014/tid=1029] ppid=1011 vsize=14093000 memory=636428 CPUtime=1.45 cores=0,2,4,6
/proc/1014/task/1029/stat : 1029 (java) S 1011 1014 32634 0 -1 1077944384 1074 0 0 0 69 76 0 0 20 0 15 0 44250361 14431232000 158466 33554432000 4194304 4196468 140729662784768 139634556226480 139635022707330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13565952 140729662788693 140729662788873 140729662788873 140729662791631 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 633864 KiB

Child status: 143
Real time (s): 2335.73
CPU time (s): 2400.06
CPU user time (s): 2396.17
CPU system time (s): 3.8923
CPU usage (%): 102.754
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 815720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.17
system time used= 3.8923
maximum resident set size= 817776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 552062
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 143536
involuntary context switches= 6893


# summary of solver processes directly reported to runsolver:
#   pid: 1014
#   total CPU time (s): 2400.06
#   total CPU user time (s): 2396.17
#   total CPU system time (s): 3.8923

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.061 second user time and 23.0305 second system time

The end

Launcher Data 

Begin job on node135 at 2018-07-22 15:41:12
IDJOB=4291936
IDBENCH=141204
IDSOLVER=2746
FILE ID=node135/4291936-1532266872
RUNJOBID= node135-1532262189-32665
PBS_JOBID= 21018977
Free space on /tmp= 52900 MiB

SOLVER NAME= OscaR - Hybrid 2018-07-02
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-05-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-4291936-1532266872/watcher-4291936-1532266872 -o /tmp/evaluation-result-4291936-1532266872/solver-4291936-1532266872 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532262189-32665 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 583042217 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291936-1532266872.xml

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

MD5SUM BENCH= d0ab6aee5f30ff70d66f863e0e3556a1
RANDOM SEED=583042217

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23001288 kB
MemAvailable:   31566576 kB
Buffers:          160968 kB
Cached:          8608852 kB
SwapCached:            0 kB
Active:          1812188 kB
Inactive:        7384172 kB
Active(anon):     376836 kB
Inactive(anon):    69912 kB
Active(file):    1435352 kB
Inactive(file):  7314260 kB
Unevictable:        7188 kB
Mlocked:            7188 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             36248 kB
Writeback:             0 kB
AnonPages:        528496 kB
Mapped:            49408 kB
Shmem:             17056 kB
Slab:             271520 kB
SReclaimable:     244136 kB
SUnreclaim:        27384 kB
KernelStack:        3856 kB
PageTables:         6500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1681264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    399360 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 52864 MiB
End job on node135 at 2018-07-22 16:20:08