Trace number 4308656

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2018-08-14SAT (TO)35159 2520.1 2451.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.68/0.55	c version: 2018-08-14
0.68/0.55	c seed: 1446892269
0.68/0.55	c timeout: 2520
0.68/0.55	c memlimit: 11000
0.68/0.56	c nbcore: 4
0.68/0.58	c Parsing instance...
5.14/2.19	c Parsing done, starting first complete search...
13.55/8.22	o 93987
13.55/8.22	o 92987
13.55/8.23	o 92977
13.55/8.23	o 92907
13.55/8.23	o 92897
13.55/8.24	o 92887
13.55/8.24	o 92878
13.55/8.25	o 92877
13.55/8.25	o 92787
13.83/8.31	o 91787
13.96/8.48	o 91697
14.17/8.67	o 91617
14.17/8.68	o 90918
14.17/8.68	o 90917
14.27/8.78	o 90817
14.47/8.90	o 89827
14.47/8.90	o 89817
15.00/9.48	o 89019
15.00/9.48	o 88918
15.00/9.48	o 88917
15.00/9.50	o 88818
15.10/9.50	o 88817
15.84/10.27	o 88718
15.84/10.28	o 88717
16.34/10.75	o 88620
16.34/10.75	o 88619
16.34/10.75	o 88618
16.34/10.76	o 88617
16.66/11.04	o 88439
16.66/11.04	o 88438
16.66/11.04	o 88437
16.66/11.05	o 88429
16.66/11.05	o 88428
16.66/11.05	o 88427
16.66/11.06	o 88417
18.81/13.19	o 87439
18.81/13.19	o 87429
18.81/13.20	o 87428
18.95/13.21	o 87419
18.95/13.21	o 87418
18.95/13.24	o 87417
21.35/15.62	o 87416
21.35/15.62	o 87406
21.80/16.06	o 87326
21.80/16.06	o 87316
21.80/16.07	o 87315
21.92/16.12	o 87306
21.92/16.15	o 87305
22.66/16.86	o 86205
23.36/17.54	o 86196
23.36/17.54	o 86195
23.77/17.94	o 85536
23.77/17.94	o 85526
23.77/17.94	o 85426
23.77/17.94	o 85326
23.77/17.94	o 85316
23.77/17.97	o 85306
23.77/17.99	o 85305
25.57/19.72	o 85296
25.68/19.80	o 85295
29.68/23.88	o 85285
33.39/27.52	o 85245
33.39/27.52	o 85235
33.39/27.52	o 85225
33.39/27.53	o 85215
33.39/27.53	o 85205
33.50/27.69	o 85196
33.60/27.71	o 85195
46.72/40.87	o 84506
46.72/40.87	o 84496
46.72/40.87	o 84396
46.72/40.88	o 83396
46.82/40.93	o 83395
87.32/81.30	c First complete search done, starting ALNS search...
87.54/81.43	o 83305
87.54/81.43	o 83304
87.54/81.44	o 83295
87.54/81.44	o 83294
87.54/81.44	o 83293
87.54/81.46	o 83292
87.54/81.47	o 82505
87.54/81.47	o 82504
87.54/81.47	o 82495
87.54/81.47	o 82494
87.54/81.47	o 82493
87.54/81.47	o 82492
87.54/81.47	o 82405
87.54/81.47	o 82404
87.54/81.48	o 82395
87.54/81.48	o 82394
87.54/81.48	o 82393
87.54/81.48	o 82392
87.54/81.48	o 82305
87.54/81.49	o 82304
87.54/81.49	o 82303
87.54/81.49	o 82295
87.54/81.49	o 82294
87.54/81.49	o 82293
87.54/81.49	o 82292
87.76/81.50	o 82284
87.76/81.50	o 82283
87.76/81.50	o 82282
87.76/81.53	o 81505
87.76/81.53	o 81504
87.76/81.53	o 81503
87.76/81.53	o 80505
87.76/81.53	o 80504
87.76/81.54	o 80503
87.76/81.54	o 80494
87.76/81.54	o 80493
87.76/81.55	o 80484
87.76/81.55	o 80483
87.76/81.55	o 80405
87.76/81.55	o 80404
87.76/81.55	o 80394
87.76/81.55	o 80393
87.76/81.55	o 80384
87.76/81.56	o 80383
87.76/81.56	o 80305
87.76/81.56	o 80304
87.76/81.56	o 80294
87.76/81.56	o 80293
87.76/81.56	o 80284
87.76/81.56	o 80283
87.76/81.57	o 80282
87.76/81.58	o 80275
87.76/81.58	o 80274
87.76/81.59	o 80273
87.88/81.60	o 80196
87.88/81.60	o 80186
87.88/81.60	o 80185
87.88/81.60	o 80184
88.77/82.45	o 80084
88.77/82.45	o 79984
88.77/82.45	o 79184
88.77/82.46	o 79084
88.77/82.46	o 78984
90.64/83.92	o 78974
90.64/83.93	o 78884
90.64/83.93	o 78874
90.64/83.93	o 78873
90.64/83.94	o 78864
90.64/83.94	o 78863
90.64/83.94	o 78784
90.64/83.95	o 78774
90.64/83.95	o 78773
90.64/83.95	o 78764
90.64/83.96	o 78763
90.64/83.96	o 78754
90.64/83.97	o 78753
90.64/83.97	o 78752
91.10/84.13	o 77755
91.10/84.13	o 77754
91.10/84.13	o 77753
91.10/84.13	o 77752
91.10/84.14	o 77751
91.10/84.14	o 77744
91.10/84.14	o 77743
91.10/84.14	o 77742
91.10/84.14	o 77741
91.10/84.14	o 77655
91.10/84.15	o 77654
91.10/84.15	o 77653
91.10/84.15	o 77652
91.10/84.16	o 77651
91.10/84.16	o 77644
91.10/84.16	o 77643
91.10/84.16	o 77642
91.10/84.16	o 77641
91.23/84.23	o 77640
91.23/84.23	o 77639
91.68/84.42	o 77582
92.40/85.01	o 76582
93.65/86.27	o 76092
93.77/86.32	o 76091
93.77/86.34	o 76082
93.77/86.35	o 76081
93.77/86.37	o 75982
93.77/86.38	o 75981
93.77/86.39	o 75980
95.50/88.08	o 75979
96.00/88.42	o 75978
96.00/88.44	o 75977
96.00/88.47	o 75976
96.00/88.49	o 75975
96.11/88.51	o 75974
96.11/88.53	o 75973
96.11/88.54	o 75972
96.11/88.56	o 75971
96.11/88.59	o 75970
96.21/88.61	o 75969
96.21/88.62	o 75968
96.21/88.64	o 75967
96.21/88.69	o 75965
96.21/88.69	o 75964
96.21/88.69	o 75963
96.31/88.70	o 75962
96.31/88.71	o 75961
96.31/88.71	o 75960
96.31/88.72	o 75959
96.31/88.73	o 75958
96.31/88.73	o 75957
96.31/88.74	o 75956
96.31/88.75	o 75954
96.31/88.76	o 75953
96.31/88.76	o 75952
96.31/88.77	o 75951
96.31/88.77	o 75950
96.31/88.78	o 75949
96.31/88.79	o 75948
96.31/88.80	o 75947
96.43/88.81	o 75946
96.43/88.82	o 75875
96.43/88.83	o 75874
96.43/88.83	o 75865
96.43/88.83	o 75864
96.43/88.84	o 75863
96.43/88.84	o 75862
96.43/88.85	o 75861
96.43/88.85	o 75860
96.43/88.86	o 75859
96.43/88.87	o 75858
96.43/88.87	o 75857
96.43/88.88	o 75854
96.43/88.89	o 75853
96.43/88.89	o 75852
96.53/88.90	o 75851
96.85/89.24	o 75842
96.85/89.27	o 74932
96.95/89.33	o 74832
96.95/89.35	o 74753
96.95/89.36	o 74752
96.95/89.37	o 74743
96.95/89.37	o 74742
96.95/89.38	o 73932
96.95/89.39	o 73833
96.95/89.39	o 73832
97.08/89.41	o 73823
97.08/89.42	o 73822
97.08/89.43	o 73732
97.08/89.43	o 73722
97.31/89.60	o 73632
97.31/89.60	o 73622
97.31/89.61	o 73621
97.44/89.77	o 73620
97.86/90.18	o 73541
97.86/90.19	o 73440
97.86/90.19	o 73439
97.97/90.20	o 73429
97.97/90.20	o 73419
97.97/90.26	o 72831
97.97/90.27	o 72821
97.97/90.27	o 72731
97.97/90.27	o 72721
97.97/90.28	o 72630
97.97/90.28	o 72620
99.19/91.44	o 72521
99.19/91.45	o 72520
99.19/91.48	o 72512
99.19/91.48	o 72511
101.09/93.26	o 72510
102.32/94.50	o 72432
102.43/94.50	o 71532
102.43/94.51	o 71432
102.43/94.52	o 71332
102.43/94.53	o 71322
102.43/94.54	o 70532
102.43/94.55	o 70432
102.43/94.56	o 70332
102.43/94.57	o 70311
102.43/94.59	o 70310
102.53/94.60	o 70231
102.53/94.61	o 70210
102.53/94.62	o 70209
102.53/94.64	o 70208
102.53/94.65	o 70207
102.64/94.73	o 69107
102.80/94.82	o 69098
102.90/94.95	o 69097
103.14/95.19	o 69077
103.27/95.29	o 69076
103.27/95.30	o 69068
104.96/96.85	o 68370
104.96/96.89	o 68369
105.06/96.92	o 68368
105.06/96.97	o 68260
105.06/97.00	o 68259
105.17/97.04	o 68258
105.17/97.09	o 68160
105.27/97.12	o 68159
105.27/97.16	o 68158
105.36/97.20	o 68060
105.36/97.24	o 68059
105.36/97.28	o 68058
105.78/97.68	o 68057
105.88/97.70	o 68047
105.88/97.76	o 67958
105.88/97.79	o 67948
106.08/97.91	o 67947
106.08/97.93	o 66948
106.08/97.94	o 66947
112.54/104.27	o 66946
112.54/104.27	o 66936
113.67/105.39	o 66836
113.97/105.64	o 65936
114.07/105.70	o 65836
115.19/106.85	o 65736
115.70/107.32	o 65636
116.20/107.86	o 64936
116.31/107.93	o 64836
116.41/108.01	o 64736
116.41/108.10	o 64636
118.96/110.50	o 64635
118.96/110.53	o 64633
123.99/115.41	o 64626
124.09/115.55	o 64625
124.19/115.69	o 64624
124.39/115.83	o 64623
125.00/116.45	o 64617
125.00/116.47	o 64616
125.00/116.49	o 64615
125.10/116.51	o 64614
127.13/118.56	o 64607
127.23/118.69	o 64606
127.33/118.71	o 64517
127.33/118.73	o 64516
127.33/118.74	o 64507
127.33/118.75	o 64506
127.33/118.79	o 64505
127.43/118.81	o 64504
127.43/118.86	o 64495
127.43/118.87	o 64494
130.22/121.52	o 64405
137.31/128.40	o 64396
137.31/128.44	o 64395
138.77/129.86	o 64387
138.77/129.89	o 64385
138.87/129.90	o 64384
138.87/129.99	o 64382
138.99/130.01	o 64372
138.99/130.02	o 64362
139.19/130.24	o 63794
139.19/130.25	o 63684
139.19/130.25	o 62794
139.19/130.25	o 62684
139.19/130.27	o 62583
139.29/130.30	o 62574
139.29/130.32	o 62473
139.29/130.36	o 62464
139.39/130.48	o 62461
139.49/130.52	o 62372
139.49/130.54	o 62370
139.49/130.55	o 62360
139.59/130.68	o 62351
172.86/163.29	o 62251
177.46/167.75	o 62211
177.46/167.79	o 62210
177.56/167.80	o 62200
177.77/168.08	o 62199
177.77/168.09	o 62189
183.78/173.94	o 62182
199.94/189.61	o 62093
199.94/189.65	o 62092
200.04/189.74	o 61856
200.04/189.76	o 61846
200.04/189.78	o 61756
200.15/189.80	o 61746
200.25/189.95	o 61745
200.40/190.01	o 61744
200.60/190.22	o 61743
200.71/190.33	o 61742
200.81/190.47	o 61741
200.91/190.57	o 61740
201.02/190.68	o 61739
201.12/190.78	o 61738
201.22/190.87	o 61737
201.32/190.94	o 61736
201.43/191.02	o 61735
201.53/191.11	o 61734
201.53/191.19	o 61733
203.86/193.43	o 61732
204.17/193.71	o 61731
205.98/195.51	o 60722
205.98/195.59	o 60721
206.09/195.67	o 60720
208.81/198.30	o 60718
208.81/198.38	o 60717
208.91/198.45	o 60716
211.88/201.37	o 60645
211.88/201.39	o 60635
211.99/201.41	o 60626
212.29/201.75	o 60157
212.29/201.77	o 60156
212.29/201.79	o 60147
213.11/202.58	o 60047
213.31/202.71	o 59947
213.42/202.80	o 59147
214.18/203.52	o 59146
214.59/203.92	o 58256
214.59/203.98	o 58156
216.52/205.88	o 58136
216.62/205.91	o 58046
217.23/206.51	o 57956
217.74/207.07	o 57946
220.66/209.99	o 57945
224.93/214.18	o 57936
225.12/214.34	o 57846
228.07/217.22	o 57845
230.07/219.16	o 57745
231.18/220.23	o 57645
233.31/222.30	o 57557
233.31/222.39	o 57555
233.41/222.44	o 57545
239.90/228.87	o 57446
240.04/228.92	o 57436
245.10/233.89	o 57435
245.20/233.92	o 57336
245.20/233.97	o 57335
256.55/245.09	o 56335
263.53/251.81	o 56334
267.90/256.13	o 55638
267.90/256.16	o 55538
267.90/256.19	o 55537
267.99/256.23	o 55536
267.99/256.27	o 55535
268.09/256.32	o 55534
268.09/256.35	o 55437
268.09/256.39	o 55436
268.19/256.42	o 55435
268.19/256.45	o 55434
268.29/256.50	o 55337
268.29/256.53	o 55336
268.29/256.56	o 55335
268.29/256.60	o 55334
270.18/258.37	o 55331
270.38/258.56	o 55330
270.58/258.72	o 55329
270.58/258.76	o 55328
270.68/258.80	o 55320
270.68/258.85	o 55319
270.79/258.90	o 55318
270.79/258.94	o 55317
270.90/259.04	o 55310
271.00/259.11	o 55309
271.00/259.17	o 55308
271.09/259.25	o 55307
279.63/267.63	o 55268
279.84/267.87	o 55267
280.55/268.58	o 55266
281.17/269.11	o 55265
288.32/276.19	o 55246
288.73/276.57	o 55236
290.87/278.62	o 55235
311.53/298.86	o 54135
320.82/307.99	o 54035
323.38/310.42	o 53935
326.15/313.15	o 53835
329.50/316.48	o 53834
329.83/316.73	o 53833
330.44/317.30	o 53735
330.44/317.34	o 53734
330.54/317.43	o 53733
345.97/332.54	o 53729
345.97/332.56	o 53728
346.07/332.61	o 53727
346.21/332.73	o 53726
373.40/359.30	o 53626
392.93/378.40	o 53619
392.93/378.43	o 53609
393.03/378.50	o 53608
395.07/380.50	o 53607
395.07/380.53	o 53597
396.91/382.37	o 53596
401.00/386.38	o 53499
401.10/386.46	o 53498
401.62/386.94	o 53418
401.62/386.97	o 53417
430.92/415.63	o 53317
444.42/428.87	o 53308
444.59/428.94	o 53307
452.16/436.37	o 53298
452.46/436.60	o 53297
468.22/452.04	o 53295
468.22/452.06	o 53185
468.22/452.08	o 53183
468.52/452.31	o 53182
468.52/452.39	o 52182
468.62/452.46	o 52181
468.72/452.52	o 52173
468.72/452.54	o 52172
468.72/452.56	o 52171
468.86/452.64	o 52170
469.06/452.80	o 52169
471.79/455.36	o 52159
471.92/455.45	o 52158
473.25/456.78	o 52157
481.23/464.57	o 52156
481.94/465.02	o 52057
482.57/465.60	o 51968
542.28/523.71	o 51959
542.28/523.76	o 51958
545.97/527.39	o 51949
546.07/527.48	o 51948
551.32/532.51	o 51892
551.32/532.54	o 51882
551.32/532.58	o 51081
551.42/532.63	o 50991
551.42/532.67	o 50981
551.42/532.69	o 50891
551.52/532.72	o 50881
551.63/532.83	o 50871
551.73/532.97	o 50462
551.83/533.01	o 50372
551.83/533.07	o 50261
551.95/533.11	o 50171
551.95/533.17	o 50102
552.04/533.25	o 50061
552.14/533.30	o 49992
552.24/533.40	o 49991
560.51/541.55	o 49979
568.79/549.67	o 49968
576.17/556.84	o 49961
588.23/568.66	o 49960
597.78/577.94	o 49950
598.19/578.38	o 49941
619.49/599.17	o 49932
620.29/599.97	o 49931
634.42/613.77	o 49904
634.42/613.79	o 49903
634.53/613.82	o 49894
634.53/613.84	o 49893
634.53/613.89	o 49883
634.63/613.92	o 49873
634.63/613.97	o 49872
635.46/614.77	o 49871
635.46/614.78	o 49870
635.56/614.83	o 49869
635.66/614.90	o 49868
635.66/614.95	o 49867
635.77/615.01	o 49866
636.00/615.25	o 49865
636.20/615.43	o 49864
636.63/615.85	o 49863
636.83/616.04	o 49862
637.75/616.91	o 49853
637.75/616.94	o 49843
637.75/616.98	o 49842
637.86/617.03	o 49763
637.86/617.06	o 49743
637.86/617.10	o 49742
665.10/643.54	o 49661
665.10/643.58	o 49651
665.62/644.06	o 49613
665.81/644.25	o 49603
666.02/644.44	o 49602
666.22/644.62	o 49601
666.53/644.90	o 49592
666.64/645.07	o 49591
666.94/645.36	o 49584
667.15/645.53	o 49583
667.35/645.70	o 49582
667.45/645.84	o 49573
667.57/645.99	o 49572
667.78/646.20	o 49571
668.89/647.23	o 49563
669.10/647.40	o 49562
669.40/647.73	o 49561
672.17/650.45	o 49470
678.19/656.33	o 49467
704.36/681.71	o 49466
704.46/681.89	o 49465
704.67/682.07	o 49186
704.86/682.26	o 49086
705.18/682.57	o 49085
705.38/682.72	o 49084
705.58/682.94	o 49083
705.68/683.09	o 49082
710.94/688.15	o 49073
711.13/688.36	o 48974
718.30/695.39	o 48887
718.50/695.50	o 48886
718.61/695.63	o 48877
718.71/695.72	o 48876
718.81/695.82	o 48875
718.91/695.96	o 48776
719.02/696.02	o 48775
720.15/697.15	o 48697
720.24/697.22	o 48696
720.34/697.36	o 48687
720.44/697.48	o 48686
720.55/697.59	o 48677
720.65/697.68	o 48676
764.29/740.29	o 48667
764.39/740.35	o 48666
767.19/743.07	o 48658
767.29/743.15	o 48657
767.60/743.40	o 48569
767.60/743.47	o 48568
767.90/743.70	o 48567
791.16/766.33	o 48566
794.31/769.06	o 48467
799.42/774.10	o 46193
800.33/774.97	o 46093
800.44/775.09	o 46083
805.12/779.66	o 45993
805.33/779.86	o 45893
805.43/779.99	o 45883
806.46/780.91	o 45873
809.93/784.30	o 44023
810.03/784.47	o 43923
810.25/784.60	o 43913
810.35/784.75	o 43823
810.45/784.86	o 43813
810.65/785.03	o 43723
810.77/785.16	o 43713
810.96/785.38	o 42561
811.16/785.57	o 42461
811.37/785.73	o 42460
811.47/785.88	o 42451
811.69/786.02	o 42450
811.79/786.18	o 42361
811.99/786.33	o 42351
812.20/786.50	o 42350
812.40/786.71	o 42349
813.31/787.61	o 42341
813.42/787.74	o 42340
813.62/787.90	o 42339
862.55/835.79	o 42307
862.65/835.83	o 42306
862.76/835.94	o 42197
862.76/836.00	o 42196
862.87/836.10	o 42195
862.97/836.15	o 42097
911.87/883.98	o 41597
911.99/884.07	o 41497
912.18/884.21	o 41417
912.18/884.28	o 41397
915.58/887.55	o 41396
922.65/894.45	o 41306
923.05/894.88	o 41296
924.19/895.87	o 41295
951.52/922.52	o 41195
997.13/967.08	o 41116
1008.18/977.89	o 41106
1011.06/980.67	o 41098
1012.50/982.07	o 41097
1038.21/1007.14	o 41096
1038.82/1007.72	o 41095
1039.33/1008.21	o 41050
1039.43/1008.34	o 41049
1039.63/1008.50	o 41048
1040.87/1009.74	o 41047
1041.17/1010.09	o 41046
1042.08/1010.95	o 41045
1042.40/1011.27	o 41019
1042.60/1011.43	o 41018
1043.36/1012.02	o 41017
1043.87/1012.56	o 41009
1043.97/1012.67	o 41008
1044.27/1012.93	o 41007
1044.49/1013.13	o 41006
1044.88/1013.59	o 41005
1065.46/1033.63	o 40997
1066.07/1034.28	o 40988
1066.69/1034.80	o 40987
1123.47/1090.26	o 40983
1123.77/1090.52	o 40982
1127.68/1094.39	o 40981
1129.27/1095.85	o 40980
1130.81/1097.32	o 40979
1131.44/1097.89	o 40978
1133.35/1099.60	o 40974
1134.07/1100.32	o 40973
1134.91/1101.14	o 40972
1140.47/1106.68	o 40971
1141.32/1107.40	o 40970
1143.25/1109.37	o 40960
1143.49/1109.50	o 40959
1144.93/1110.98	o 40958
1168.86/1134.41	o 40957
1183.20/1148.50	o 40880
1183.30/1148.55	o 40879
1183.63/1148.80	o 40878
1184.86/1150.09	o 40877
1184.96/1150.17	o 40869
1185.05/1150.21	o 40868
1185.05/1150.24	o 40867
1186.79/1151.96	o 40866
1186.89/1152.10	o 40859
1186.99/1152.18	o 40858
1187.08/1152.26	o 40857
1187.18/1152.35	o 40856
1188.02/1153.11	o 40769
1188.02/1153.15	o 40768
1188.11/1153.21	o 40767
1188.60/1153.76	o 40759
1188.70/1153.83	o 40758
1188.80/1153.94	o 40757
1214.02/1178.55	o 40389
1214.44/1178.99	o 40379
1225.69/1189.91	o 40290
1226.10/1190.38	o 40270
1230.08/1194.21	o 40267
1242.20/1206.02	o 40219
1244.54/1208.39	o 40210
1245.77/1209.52	o 40209
1255.90/1219.41	o 40208
1256.00/1219.51	o 40119
1256.00/1219.60	o 40109
1256.20/1219.76	o 40108
1257.34/1220.80	o 40107
1261.85/1225.25	o 40106
1316.94/1278.83	o 40097
1317.46/1279.34	o 40096
1318.06/1279.93	o 40087
1321.14/1282.96	o 40086
1332.81/1294.38	o 40085
1342.36/1303.61	o 40075
1342.46/1303.72	o 39175
1342.56/1303.81	o 39075
1376.82/1337.15	o 38997
1377.21/1337.58	o 38996
1381.10/1341.30	o 38987
1381.52/1341.70	o 38986
1386.53/1346.64	o 38977
1386.75/1346.86	o 38976
1388.90/1348.90	o 38975
1393.81/1353.80	o 38974
1395.97/1355.88	o 38116
1396.07/1355.99	o 38114
1396.18/1356.07	o 38113
1396.39/1356.23	o 38103
1396.48/1356.34	o 38102
1396.58/1356.44	o 38093
1396.68/1356.50	o 38092
1396.78/1356.66	o 38091
1397.41/1357.29	o 38084
1397.51/1357.38	o 38083
1397.61/1357.43	o 38082
1398.74/1358.51	o 38034
1398.74/1358.55	o 38024
1399.27/1359.05	o 38023
1399.46/1359.21	o 38013
1399.97/1359.70	o 38012
1401.09/1360.87	o 38004
1401.19/1360.97	o 38003
1401.61/1361.36	o 37164
1401.71/1361.41	o 37154
1401.81/1361.58	o 37153
1401.93/1361.69	o 37143
1402.03/1361.76	o 37142
1402.13/1361.88	o 37133
1402.33/1362.01	o 37132
1402.74/1362.48	o 37131
1402.84/1362.52	o 37122
1402.84/1362.57	o 37121
1403.37/1363.09	o 37120
1404.58/1364.22	o 37113
1404.58/1364.30	o 37112
1404.68/1364.35	o 37111
1429.89/1388.93	o 37021
1430.29/1389.34	o 37011
1430.80/1389.86	o 37010
1508.16/1465.24	o 37002
1508.26/1465.38	o 37001
1508.46/1465.56	o 37000
1511.24/1468.26	o 36966
1511.74/1468.72	o 36956
1512.17/1469.16	o 36946
1512.77/1469.75	o 36945
1513.39/1470.31	o 36944
1513.79/1470.74	o 36934
1514.32/1471.27	o 36933
1515.33/1472.28	o 36924
1515.85/1472.75	o 36923
1520.46/1477.25	o 36866
1521.07/1477.86	o 36856
1521.69/1478.43	o 36846
1522.52/1479.29	o 36845
1523.23/1479.99	o 36844
1523.65/1480.36	o 36843
1524.15/1480.86	o 36834
1524.67/1481.33	o 36833
1528.76/1485.30	o 36747
1528.76/1485.40	o 36746
1529.79/1486.30	o 36735
1529.89/1486.41	o 36734
1531.78/1488.22	o 35734
1563.18/1518.94	o 35726
1563.49/1519.22	o 35725
1563.70/1519.49	o 35724
1564.02/1519.75	o 35723
1573.30/1528.61	o 35645
1576.37/1531.67	o 35644
1637.34/1591.13	o 35547
1638.66/1592.47	o 35546
1639.79/1593.58	o 35545
1640.71/1594.48	o 35544
1675.54/1628.30	o 35543
1704.65/1656.76	o 35443
1728.64/1680.12	o 35442
1736.51/1687.81	o 35433
1736.83/1688.11	o 35333
1781.49/1731.61	o 35331
1837.68/1786.54	o 35330
1840.03/1788.82	o 35321
1840.24/1789.01	o 35311
1840.43/1789.21	o 35310
1840.85/1789.61	o 35309
1841.77/1790.58	o 35300
1842.17/1790.99	o 35299
1881.13/1828.89	o 35298
1908.93/1856.09	o 35291
1909.22/1856.38	o 35290
1909.52/1856.65	o 35289
1916.61/1863.51	o 35280
1917.12/1864.06	o 35279
1917.93/1864.80	o 35271
1918.45/1865.35	o 35270
1926.35/1873.03	o 35180
1927.06/1873.71	o 35170
1947.22/1893.40	o 35160
2073.18/2016.23	o 35159
2520.07/2451.70	s SATISFIABLE
2520.07/2451.70	v <instantiation>
2520.07/2451.70	v 	<list>
2520.07/2451.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]
2520.07/2451.70	v 	</list>
2520.07/2451.70	v 	<values>
2520.07/2451.70	v 		58 296 792 554 310 72 478 240 408 170 792 554 324 86 86 324 16 254 554 792 540 778 240 478 44 282 282 44 526 764 156 394 394 156 100 338 554 792 268 30 652 414 680 442 792 554 86 324 540 778 470 708 554 792 778 540 792 554 778 540 778 540 442 680 72 310 428 666 764 526 310 72 240 478 268 30 512 750 30 268 778 540 30 268 554 792 554 792 792 554 498 736 792 554 296 58 170 408 282 44 44 282 694 456 30 268 792 554 750 512 58 296 366 128 16 254 442 680 554 792 170 408 170 408 58 296 380 142 142 380 554 792 268 30 142 380 778 540 268 30 792 554 114 352 30 268 156 394 792 554 366 128 498 736 554 792 554 792 736 498 352 114 792 554 282 44 338 100 58 296 296 58 540 778 352 114 268 30 324 86 268 30 156 394 554 792 156 394 366 128 394 156 240 478 736 498 792 554 792 554 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 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 1000 1000 1000 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 1000 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 1000 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 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 100 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 100 100 0 0 100 0 0 100 0 0 0 100 0 0 100 0 0 100 0 0 100 100 0 0 100 100 100 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 100 100 0 0 0 0 0 0 100 0 0 0 100 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 100 100 0 0 0 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 100 100 100 100 0 0 100 0 0 0 100 0 0 100 0 0 0 0 0 100 100 100 100 0 100 0 100 0 100 100 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 10 0 0 10 0 0 0 0 0 10 10 10 10 0 0 0 0 0 10 0 10 10 0 0 0 10 10 0 10 0 10 10 0 10 10 0 0 10 10 10 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 10 0 10 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 10 0 10 10 10 0 0 0 0 0 0 10 10 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 10 0 0 10 0 10 0 0 10 0 0 10 0 0 10 0 0 0 0 0 0 10 0 0 10 0 10 0 0 0 0 0 0 0 10 10 0 0 0 10 0 10 10 0 0 10 0 0 0 0 0 0 10 0 0 0 0 10 10 10 0 0 10 0 10 0 0 0 0 0 0 0 10 0 0 10 10 10 10 0 10 0 10 0 10 10 0 0 0 0 10 10 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 0 1 1 1 0 0 1 0 0 1 1 1 0 1 1 0 0 0 1 0 1 1 1 1 0 0 0 
2520.07/2451.70	v 	</values>
2520.07/2451.70	v </instantiation>

Verifier Data 

OK	35159

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308656-1534287872/watcher-4308656-1534287872 -o /tmp/evaluation-result-4308656-1534287872/solver-4308656-1534287872 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534270607-2649 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1446892269 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308656-1534287872.xml 

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

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


[startup+0.108019 s]*
/proc/loadavg: 1.57 1.64 1.67 3/216 4845
/proc/meminfo: memFree=15416944/32770624 swapFree=67108504/67108860
[pid=4830] ppid=4827 vsize=14082736 memory=33708 CPUtime=0.12 cores=0,2,4,6
/proc/4830/stat : 4830 (java) S 4827 4830 875 0 -1 1077944320 7347 0 0 0 11 1 0 0 20 0 15 0 246350425 14420721664 8427 33554432000 4194304 4196468 140734234372576 140734234355120 140695064178423 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
/proc/4830/statm: 3520684 8427 3134 1 0 3482761 0
[pid=4830/tid=4832] ppid=4827 vsize=14082736 memory=8389772277269004345 CPUtime=0.09 cores=0,2,4,6
/proc/4830/task/4832/stat : 4832 (java) D 4827 4830 875 0 -1 1077944384 5420 0 0 0 9 0 0 0 20 0 15 0 246350425 14420721664 8427 33554432000 4194304 4196468 140734234372576 140695068405744 140695064202301 0 4 0 16800975 18446744072101588516 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4833] ppid=4827 vsize=14082736 memory=288293255295270935 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4833/stat : 4833 (java) S 4827 4830 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246350426 14420721664 8427 33554432000 4194304 4196468 140734234372576 140695016798608 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4834] ppid=4827 vsize=14082736 memory=4122678230353938080 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4834/stat : 4834 (java) S 4827 4830 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246350426 14420721664 8427 33554432000 4194304 4196468 140734234372576 140695015745808 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4835] ppid=4827 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4835/stat : 4835 (java) S 4827 4830 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246350426 14420721664 8427 33554432000 4194304 4196468 140734234372576 140695014693520 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4836] ppid=4827 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4836/stat : 4836 (java) S 4827 4830 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246350426 14420721664 8427 33554432000 4194304 4196468 140734234372576 140695013640720 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4837] ppid=4827 vsize=14082736 memory=140517395891840 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4837/stat : 4837 (java) S 4827 4830 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246350427 14420721664 8427 33554432000 4194304 4196468 140734234372576 140694537624176 140695064189570 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4838] ppid=4827 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4838/stat : 4838 (java) S 4827 4830 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246350428 14420721664 8427 33554432000 4194304 4196468 140734234372576 140694536570144 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4839] ppid=4827 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4839/stat : 4839 (java) S 4827 4830 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246350428 14420721664 8427 33554432000 4194304 4196468 140734234372576 140694535517808 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4840] ppid=4827 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4840/stat : 4840 (java) S 4827 4830 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246350430 14420721664 8427 33554432000 4194304 4196468 140734234372576 140694534466128 140695064197019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4841] ppid=4827 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4841/stat : 4841 (java) S 4827 4830 875 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 246350430 14420721664 8427 33554432000 4194304 4196468 140734234372576 140694533412976 140695064189570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4842] ppid=4827 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4842/stat : 4842 (java) S 4827 4830 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246350430 14420721664 8427 33554432000 4194304 4196468 140734234372576 140694532360176 140695064189570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4843] ppid=4827 vsize=14082736 memory=140517395891840 CPUtime=0.01 cores=0,2,4,6
/proc/4830/task/4843/stat : 4843 (java) R 4827 4830 875 0 -1 4202560 254 0 0 0 1 0 0 0 20 0 15 0 246350430 14420721664 8427 33554432000 4194304 4196468 140734234372576 140694531307888 140695056895575 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4844] ppid=4827 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4844/stat : 4844 (java) S 4827 4830 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246350431 14420721664 8427 33554432000 4194304 4196468 140734234372576 140694530255328 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4845] ppid=4827 vsize=14082736 memory=140517395891840 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4845/stat : 4845 (java) S 4827 4830 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246350431 14420721664 8427 33554432000 4194304 4196468 140734234372576 140694529203120 140695064189570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33708 KiB

[startup+0.210315 s]*
/proc/loadavg: 1.57 1.64 1.67 4/216 4845
/proc/meminfo: memFree=15404416/32770624 swapFree=67108504/67108860
[pid=4830] ppid=4827 vsize=14082736 memory=46564 CPUtime=0.31 cores=0,2,4,6
/proc/4830/stat : 4830 (java) S 4827 4830 875 0 -1 1077944320 10265 0 0 0 29 2 0 0 20 0 15 0 246350425 14420721664 11641 33554432000 4194304 4196468 140734234372576 140734234355120 140695064178423 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
/proc/4830/statm: 3520684 11641 3359 1 0 3482761 0
[pid=4830/tid=4832] ppid=4827 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/4830/task/4832/stat : 4832 (java) R 4827 4830 875 0 -1 4202560 8065 0 0 0 19 1 0 0 20 0 15 0 246350425 14420721664 11707 33554432000 4194304 4196468 140734234372576 140695068406784 140695056419813 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4833] ppid=4827 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4833/stat : 4833 (java) S 4827 4830 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246350426 14420721664 11707 33554432000 4194304 4196468 140734234372576 140695016798608 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4834] ppid=4827 vsize=14082736 memory=3905944688720053920 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4834/stat : 4834 (java) S 4827 4830 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246350426 14420721664 11707 33554432000 4194304 4196468 140734234372576 140695015745808 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4835] ppid=4827 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4835/stat : 4835 (java) S 4827 4830 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246350426 14420721664 11707 33554432000 4194304 4196468 140734234372576 140695014693520 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4836] ppid=4827 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4836/stat : 4836 (java) S 4827 4830 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246350426 14420721664 11707 33554432000 4194304 4196468 140734234372576 140695013640720 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4837] ppid=4827 vsize=14082736 memory=140517395891840 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4837/stat : 4837 (java) S 4827 4830 875 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246350427 14420721664 11707 33554432000 4194304 4196468 140734234372576 140694537624176 140695064189570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4838] ppid=4827 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4838/stat : 4838 (java) S 4827 4830 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246350428 14420721664 11707 33554432000 4194304 4196468 140734234372576 140694536570144 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4839] ppid=4827 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4839/stat : 4839 (java) S 4827 4830 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246350428 14420721664 11707 33554432000 4194304 4196468 140734234372576 140694535517808 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4840] ppid=4827 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4840/stat : 4840 (java) S 4827 4830 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246350430 14420721664 11707 33554432000 4194304 4196468 140734234372576 140694534466128 140695064197019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4841] ppid=4827 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4830/task/4841/stat : 4841 (java) R 4827 4830 875 0 -1 4202560 335 0 0 0 2 0 0 0 20 0 15 0 246350430 14420721664 11707 33554432000 4194304 4196468 140734234372576 140694533411376 140695045708640 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4842] ppid=4827 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/4830/task/4842/stat : 4842 (java) R 4827 4830 875 0 -1 1077944384 207 0 0 0 1 0 0 0 20 0 15 0 246350430 14420721664 11707 33554432000 4194304 4196468 140734234372576 140694532360272 140695064188629 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4843] ppid=4827 vsize=14082736 memory=140517395891840 CPUtime=0.06 cores=0,2,4,6
/proc/4830/task/4843/stat : 4843 (java) R 4827 4830 875 0 -1 4202560 284 0 0 0 6 0 0 0 20 0 15 0 246350430 14420721664 11707 33554432000 4194304 4196468 140734234372576 140694531305424 140695049319061 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4844] ppid=4827 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4844/stat : 4844 (java) S 4827 4830 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246350431 14420721664 11707 33554432000 4194304 4196468 140734234372576 140694530255328 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4845] ppid=4827 vsize=14082736 memory=140517395891840 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4845/stat : 4845 (java) S 4827 4830 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246350431 14420721664 11707 33554432000 4194304 4196468 140734234372576 140694529203120 140695064189570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46564 KiB

[startup+0.310399 s]*
/proc/loadavg: 1.57 1.64 1.67 3/216 4845
/proc/meminfo: memFree=15401500/32770624 swapFree=67108504/67108860
[pid=4830] ppid=4827 vsize=14082736 memory=50168 CPUtime=0.44 cores=0,2,4,6
/proc/4830/stat : 4830 (java) S 4827 4830 875 0 -1 1077944320 10715 0 0 0 42 2 0 0 20 0 15 0 246350425 14420721664 12542 33554432000 4194304 4196468 140734234372576 140734234355120 140695064178423 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
/proc/4830/statm: 3520684 12542 3381 1 0 3482761 0
[pid=4830/tid=4832] ppid=4827 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/4830/task/4832/stat : 4832 (java) R 4827 4830 875 0 -1 4202560 8413 0 0 0 29 1 0 0 20 0 15 0 246350425 14420721664 12542 33554432000 4194304 4196468 140734234372576 140695068359472 140695045741998 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4833] ppid=4827 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4833/stat : 4833 (java) S 4827 4830 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246350426 14420721664 12542 33554432000 4194304 4196468 140734234372576 140695016798608 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4834] ppid=4827 vsize=14082736 memory=3546778224668935840 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4834/stat : 4834 (java) S 4827 4830 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246350426 14420721664 12542 33554432000 4194304 4196468 140734234372576 140695015745808 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4835] ppid=4827 vsize=14082736 memory=9796 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4835/stat : 4835 (java) S 4827 4830 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246350426 14420721664 12542 33554432000 4194304 4196468 140734234372576 140695014693520 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4836] ppid=4827 vsize=14082736 memory=35 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4836/stat : 4836 (java) S 4827 4830 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246350426 14420721664 12542 33554432000 4194304 4196468 140734234372576 140695013640720 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4837] ppid=4827 vsize=14082736 memory=140517395906176 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4837/stat : 4837 (java) S 4827 4830 875 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246350427 14420721664 12542 33554432000 4194304 4196468 140734234372576 140694537624176 140695064189570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4838] ppid=4827 vsize=14082736 memory=35 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4838/stat : 4838 (java) S 4827 4830 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246350428 14420721664 12542 33554432000 4194304 4196468 140734234372576 140694536570144 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4839] ppid=4827 vsize=14082736 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4839/stat : 4839 (java) S 4827 4830 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246350428 14420721664 12542 33554432000 4194304 4196468 140734234372576 140694535517808 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4840] ppid=4827 vsize=14082736 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4840/stat : 4840 (java) S 4827 4830 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246350430 14420721664 12542 33554432000 4194304 4196468 140734234372576 140694534466128 140695064197019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4841] ppid=4827 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4830/task/4841/stat : 4841 (java) S 4827 4830 875 0 -1 1077944384 379 0 0 0 2 0 0 0 20 0 15 0 246350430 14420721664 12542 33554432000 4194304 4196468 140734234372576 140694533412976 140695064189570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4842] ppid=4827 vsize=14082736 memory=35 CPUtime=0.02 cores=0,2,4,6
/proc/4830/task/4842/stat : 4842 (java) S 4827 4830 875 0 -1 1077944384 237 0 0 0 2 0 0 0 20 0 15 0 246350430 14420721664 12542 33554432000 4194304 4196468 140734234372576 140694532360176 140695064189570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4843] ppid=4827 vsize=14082736 memory=140517395898656 CPUtime=0.08 cores=0,2,4,6
/proc/4830/task/4843/stat : 4843 (java) S 4827 4830 875 0 -1 1077944384 303 0 0 0 8 0 0 0 20 0 15 0 246350430 14420721664 12542 33554432000 4194304 4196468 140734234372576 140694531307888 140695064189570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4844] ppid=4827 vsize=14082736 memory=35 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4844/stat : 4844 (java) S 4827 4830 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246350431 14420721664 12542 33554432000 4194304 4196468 140734234372576 140694530255328 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4845] ppid=4827 vsize=14082736 memory=140517395891840 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4845/stat : 4845 (java) S 4827 4830 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246350431 14420721664 12542 33554432000 4194304 4196468 140734234372576 140694529203120 140695064189570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50168 KiB

[startup+0.700719 s]
/proc/loadavg: 1.57 1.64 1.67 4/216 4845
/proc/meminfo: memFree=15378892/32770624 swapFree=67108504/67108860
[pid=4830] ppid=4827 vsize=14084804 memory=88812 CPUtime=1 cores=0,2,4,6
/proc/4830/stat : 4830 (java) S 4827 4830 875 0 -1 1077944320 17579 0 0 0 96 4 0 0 20 0 15 0 246350425 14422839296 22203 33554432000 4194304 4196468 140734234372576 140734234355120 140695064178423 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
/proc/4830/statm: 3521201 22203 3505 1 0 3483273 0
[pid=4830/tid=4832] ppid=4827 vsize=14084804 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/4830/task/4832/stat : 4832 (java) R 4827 4830 875 0 -1 4202560 14857 0 0 0 64 3 0 0 20 0 15 0 246350425 14422839296 22203 33554432000 4194304 4196468 140734234372576 140695068384640 140695064202013 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4833] ppid=4827 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4833/stat : 4833 (java) S 4827 4830 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246350426 14422839296 22203 33554432000 4194304 4196468 140734234372576 140695016798608 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4834] ppid=4827 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4834/stat : 4834 (java) S 4827 4830 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246350426 14422839296 22203 33554432000 4194304 4196468 140734234372576 140695015745808 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4835] ppid=4827 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4835/stat : 4835 (java) S 4827 4830 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246350426 14422839296 22237 33554432000 4194304 4196468 140734234372576 140695014693520 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4836] ppid=4827 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4836/stat : 4836 (java) S 4827 4830 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246350426 14422839296 22237 33554432000 4194304 4196468 140734234372576 140695013640720 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4837] ppid=4827 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4837/stat : 4837 (java) S 4827 4830 875 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246350427 14422839296 22237 33554432000 4194304 4196468 140734234372576 140694537624176 140695064189570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4838] ppid=4827 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4838/stat : 4838 (java) S 4827 4830 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246350428 14422839296 22237 33554432000 4194304 4196468 140734234372576 140694536570144 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4839] ppid=4827 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4839/stat : 4839 (java) S 4827 4830 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246350428 14422839296 22237 33554432000 4194304 4196468 140734234372576 140694535517808 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4840] ppid=4827 vsize=14084804 memory=281034475004528 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4840/stat : 4840 (java) S 4827 4830 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246350430 14422839296 22237 33554432000 4194304 4196468 140734234372576 140694534466128 140695064197019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4841] ppid=4827 vsize=14084804 memory=281034475004592 CPUtime=0.08 cores=0,2,4,6
/proc/4830/task/4841/stat : 4841 (java) S 4827 4830 875 0 -1 1077944384 530 0 0 0 8 0 0 0 20 0 15 0 246350430 14422839296 22237 33554432000 4194304 4196468 140734234372576 140694533412976 140695064189570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4842] ppid=4827 vsize=14084804 memory=281034475004644 CPUtime=0.07 cores=0,2,4,6
/proc/4830/task/4842/stat : 4842 (java) S 4827 4830 875 0 -1 1077944384 389 0 0 0 7 0 0 0 20 0 15 0 246350430 14422839296 22237 33554432000 4194304 4196468 140734234372576 140694532360176 140695064189570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4843] ppid=4827 vsize=14084804 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/4830/task/4843/stat : 4843 (java) S 4827 4830 875 0 -1 1077944384 420 0 0 0 16 0 0 0 20 0 15 0 246350430 14422839296 22237 33554432000 4194304 4196468 140734234372576 140694531307888 140695064189570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4844] ppid=4827 vsize=14084804 memory=161291994018564 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4844/stat : 4844 (java) S 4827 4830 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246350431 14422839296 22237 33554432000 4194304 4196468 140734234372576 140694530255328 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4845] ppid=4827 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4845/stat : 4845 (java) S 4827 4830 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246350431 14422839296 22237 33554432000 4194304 4196468 140734234372576 140694529203120 140695064189570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88812 KiB

[startup+1.50075 s]
/proc/loadavg: 1.57 1.64 1.67 5/216 4845
/proc/meminfo: memFree=15340240/32770624 swapFree=67108504/67108860
[pid=4830] ppid=4827 vsize=14088900 memory=183540 CPUtime=3.45 cores=0,2,4,6
/proc/4830/stat : 4830 (java) S 4827 4830 875 0 -1 1077944320 26857 0 0 0 339 6 0 0 20 0 15 0 246350425 14427033600 45885 33554432000 4194304 4196468 140734234372576 140734234355120 140695064178423 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
/proc/4830/statm: 3522225 45885 3548 1 0 3484297 0
[pid=4830/tid=4832] ppid=4827 vsize=14088900 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/4830/task/4832/stat : 4832 (java) R 4827 4830 875 0 -1 4202560 17561 0 0 0 143 4 0 0 20 0 15 0 246350425 14427033600 45885 33554432000 4194304 4196468 140734234372576 140695068415256 140694696165174 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4833] ppid=4827 vsize=14088900 memory=170926128 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4833/stat : 4833 (java) S 4827 4830 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246350426 14427033600 45885 33554432000 4194304 4196468 140734234372576 140695016798608 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4834] ppid=4827 vsize=14088900 memory=6011581402601046114 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4834/stat : 4834 (java) S 4827 4830 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246350426 14427033600 45885 33554432000 4194304 4196468 140734234372576 140695015745808 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4835] ppid=4827 vsize=14088900 memory=7014751519734585681 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4835/stat : 4835 (java) S 4827 4830 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246350426 14427033600 45885 33554432000 4194304 4196468 140734234372576 140695014693520 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4836] ppid=4827 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4836/stat : 4836 (java) S 4827 4830 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246350426 14427033600 45885 33554432000 4194304 4196468 140734234372576 140695013640720 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4837] ppid=4827 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6

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

/proc/4830/task/4832/stat : 4832 (java) R 4827 4830 875 0 -1 4202560 151767 0 0 0 235640 74 0 0 20 0 15 0 246350425 14431227904 208090 33554432000 4194304 4196468 140734234372576 140695068415600 140694692133584 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4833] ppid=4827 vsize=14092996 memory=932 CPUtime=19.16 cores=0,2,4,6
/proc/4830/task/4833/stat : 4833 (java) S 4827 4830 875 0 -1 1077944384 21325 0 0 0 1845 71 0 0 20 0 15 0 246350426 14431227904 208090 33554432000 4194304 4196468 140734234372576 140695016798608 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4834] ppid=4827 vsize=14092996 memory=836976 CPUtime=19.17 cores=0,2,4,6
/proc/4830/task/4834/stat : 4834 (java) S 4827 4830 875 0 -1 1077944384 25747 0 0 0 1847 70 0 0 20 0 15 0 246350426 14431227904 208090 33554432000 4194304 4196468 140734234372576 140695015745808 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4835] ppid=4827 vsize=14092996 memory=856984 CPUtime=19.15 cores=0,2,4,6
/proc/4830/task/4835/stat : 4835 (java) S 4827 4830 875 0 -1 1077944384 23710 0 0 0 1843 72 0 0 20 0 15 0 246350426 14431227904 208090 33554432000 4194304 4196468 140734234372576 140695014693520 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4836] ppid=4827 vsize=14092996 memory=842620 CPUtime=19.15 cores=0,2,4,6
/proc/4830/task/4836/stat : 4836 (java) S 4827 4830 875 0 -1 1077944384 25322 0 0 0 1843 72 0 0 20 0 15 0 246350426 14431227904 208090 33554432000 4194304 4196468 140734234372576 140695013640720 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4837] ppid=4827 vsize=14092996 memory=836976 CPUtime=3.56 cores=0,2,4,6
/proc/4830/task/4837/stat : 4837 (java) S 4827 4830 875 0 -1 1077944384 64849 0 0 0 304 52 0 0 20 0 15 0 246350427 14431227904 208090 33554432000 4194304 4196468 140734234372576 140694537624176 140695064189570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4838] ppid=4827 vsize=14092996 memory=832360 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4838/stat : 4838 (java) S 4827 4830 875 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 246350428 14431227904 208090 33554432000 4194304 4196468 140734234372576 140694536570208 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4839] ppid=4827 vsize=14092996 memory=836976 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4839/stat : 4839 (java) S 4827 4830 875 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 246350428 14431227904 208090 33554432000 4194304 4196468 140734234372576 140694535517824 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4840] ppid=4827 vsize=14092996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4840/stat : 4840 (java) S 4827 4830 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246350430 14431227904 208090 33554432000 4194304 4196468 140734234372576 140694534466128 140695064197019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4841] ppid=4827 vsize=14092996 memory=0 CPUtime=4 cores=0,2,4,6
/proc/4830/task/4841/stat : 4841 (java) S 4827 4830 875 0 -1 1077944384 24189 0 0 0 397 3 0 0 20 0 15 0 246350430 14431227904 208090 33554432000 4194304 4196468 140734234372576 140694533412976 140695064189570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 47 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4842] ppid=4827 vsize=14092996 memory=836976 CPUtime=4.34 cores=0,2,4,6
/proc/4830/task/4842/stat : 4842 (java) S 4827 4830 875 0 -1 1077944384 26597 0 0 0 430 4 0 0 20 0 15 0 246350430 14431227904 208090 33554432000 4194304 4196468 140734234372576 140694532360176 140695064189570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4843] ppid=4827 vsize=14092996 memory=832360 CPUtime=1.59 cores=0,2,4,6
/proc/4830/task/4843/stat : 4843 (java) S 4827 4830 875 0 -1 1077944384 34847 0 0 0 155 4 0 0 20 0 15 0 246350430 14431227904 208090 33554432000 4194304 4196468 140734234372576 140694531307888 140695064189570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 42 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4844] ppid=4827 vsize=14092996 memory=832360 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4844/stat : 4844 (java) S 4827 4830 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246350431 14431227904 208090 33554432000 4194304 4196468 140734234372576 140694530255328 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4845] ppid=4827 vsize=14092996 memory=832360 CPUtime=1.49 cores=0,2,4,6
/proc/4830/task/4845/stat : 4845 (java) S 4827 4830 875 0 -1 1077944384 1087 0 0 0 76 73 0 0 20 0 15 0 246350431 14431227904 208090 33554432000 4194304 4196468 140734234372576 140694529203120 140695064189570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 44 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
Current children cumulated CPU time: 2448.85 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 832360 KiB

[startup+2442.3 s]
/proc/loadavg: 1.63 1.70 1.70 4/215 4993
/proc/meminfo: memFree=14123536/32770624 swapFree=67108504/67108860
[pid=4830] ppid=4827 vsize=14092996 memory=901400 CPUtime=2510.45 cores=0,2,4,6
/proc/4830/stat : 4830 (java) S 4827 4830 875 0 -1 1077944320 407599 0 0 0 250568 477 0 0 20 0 15 0 246350425 14431227904 225350 33554432000 4194304 4196468 140734234372576 140734234355120 140695064178423 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
/proc/4830/statm: 3523249 225350 3625 1 0 3485321 0
[pid=4830/tid=4832] ppid=4827 vsize=14092996 memory=904988 CPUtime=2416.47 cores=0,2,4,6
/proc/4830/task/4832/stat : 4832 (java) R 4827 4830 875 0 -1 4202560 153824 0 0 0 241570 77 0 0 20 0 15 0 246350425 14431227904 225350 33554432000 4194304 4196468 140734234372576 140695068415488 140694692127819 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4833] ppid=4827 vsize=14092996 memory=906016 CPUtime=19.69 cores=0,2,4,6
/proc/4830/task/4833/stat : 4833 (java) S 4827 4830 875 0 -1 1077944384 21845 0 0 0 1897 72 0 0 20 0 15 0 246350426 14431227904 225350 33554432000 4194304 4196468 140734234372576 140695016798608 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4834] ppid=4827 vsize=14092996 memory=919868 CPUtime=19.71 cores=0,2,4,6
/proc/4830/task/4834/stat : 4834 (java) S 4827 4830 875 0 -1 1077944384 26012 0 0 0 1900 71 0 0 20 0 15 0 246350426 14431227904 225350 33554432000 4194304 4196468 140734234372576 140695015745808 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4835] ppid=4827 vsize=14092996 memory=935256 CPUtime=19.69 cores=0,2,4,6
/proc/4830/task/4835/stat : 4835 (java) S 4827 4830 875 0 -1 1077944384 24111 0 0 0 1896 73 0 0 20 0 15 0 246350426 14431227904 225350 33554432000 4194304 4196468 140734234372576 140695014693520 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4836] ppid=4827 vsize=14092996 memory=930640 CPUtime=19.68 cores=0,2,4,6
/proc/4830/task/4836/stat : 4836 (java) S 4827 4830 875 0 -1 1077944384 25900 0 0 0 1895 73 0 0 20 0 15 0 246350426 14431227904 225350 33554432000 4194304 4196468 140734234372576 140695013640720 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4837] ppid=4827 vsize=14092996 memory=904988 CPUtime=3.63 cores=0,2,4,6
/proc/4830/task/4837/stat : 4837 (java) S 4827 4830 875 0 -1 1077944384 67409 0 0 0 310 53 0 0 20 0 15 0 246350427 14431227904 225350 33554432000 4194304 4196468 140734234372576 140694537624176 140695064189570 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4838] ppid=4827 vsize=14092996 memory=904988 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4838/stat : 4838 (java) S 4827 4830 875 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 246350428 14431227904 225350 33554432000 4194304 4196468 140734234372576 140694536570208 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4839] ppid=4827 vsize=14092996 memory=901400 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4839/stat : 4839 (java) S 4827 4830 875 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 246350428 14431227904 225350 33554432000 4194304 4196468 140734234372576 140694535517824 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4840] ppid=4827 vsize=14092996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4840/stat : 4840 (java) S 4827 4830 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246350430 14431227904 225350 33554432000 4194304 4196468 140734234372576 140694534466128 140695064197019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4841] ppid=4827 vsize=14092996 memory=0 CPUtime=4 cores=0,2,4,6
/proc/4830/task/4841/stat : 4841 (java) S 4827 4830 875 0 -1 1077944384 24189 0 0 0 397 3 0 0 20 0 15 0 246350430 14431227904 225350 33554432000 4194304 4196468 140734234372576 140694533412976 140695064189570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 47 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4842] ppid=4827 vsize=14092996 memory=924484 CPUtime=4.34 cores=0,2,4,6
/proc/4830/task/4842/stat : 4842 (java) S 4827 4830 875 0 -1 1077944384 26922 0 0 0 430 4 0 0 20 0 15 0 246350430 14431227904 225350 33554432000 4194304 4196468 140734234372576 140694532360176 140695064189570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4843] ppid=4827 vsize=14092996 memory=901400 CPUtime=1.6 cores=0,2,4,6
/proc/4830/task/4843/stat : 4843 (java) S 4827 4830 875 0 -1 1077944384 34847 0 0 0 155 5 0 0 20 0 15 0 246350430 14431227904 225350 33554432000 4194304 4196468 140734234372576 140694531307888 140695064189570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 42 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4844] ppid=4827 vsize=14092996 memory=1820 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4844/stat : 4844 (java) S 4827 4830 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246350431 14431227904 225350 33554432000 4194304 4196468 140734234372576 140694530255328 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4845] ppid=4827 vsize=14092996 memory=910632 CPUtime=1.53 cores=0,2,4,6
/proc/4830/task/4845/stat : 4845 (java) S 4827 4830 875 0 -1 1077944384 1093 0 0 0 78 75 0 0 20 0 15 0 246350431 14431227904 225350 33554432000 4194304 4196468 140734234372576 140694529203120 140695064189570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 44 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
Current children cumulated CPU time: 2510.45 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 901400 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2451.7 s]
/proc/loadavg: 1.61 1.69 1.69 4/215 4993
/proc/meminfo: memFree=14131592/32770624 swapFree=67108504/67108860
[pid=4830] ppid=4827 vsize=14092996 memory=885704 CPUtime=2520.07 cores=0,2,4,6
/proc/4830/stat : 4830 (java) S 4827 4830 875 0 -1 1077944320 408364 0 0 0 251530 477 0 0 20 0 15 0 246350425 14431227904 221426 33554432000 4194304 4196468 140734234372576 140734234355120 140695064178423 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
/proc/4830/statm: 3523249 221426 3625 1 0 3485321 0
[pid=4830/tid=4832] ppid=4827 vsize=14092996 memory=2144 CPUtime=2425.78 cores=0,2,4,6
/proc/4830/task/4832/stat : 4832 (java) R 4827 4830 875 0 -1 4202560 154177 0 0 0 242501 77 0 0 20 0 15 0 246350425 14431227904 221426 33554432000 4194304 4196468 140734234372576 140695068415600 140694690789680 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4833] ppid=4827 vsize=14092996 memory=889808 CPUtime=19.75 cores=0,2,4,6
/proc/4830/task/4833/stat : 4833 (java) S 4827 4830 875 0 -1 1077944384 21848 0 0 0 1903 72 0 0 20 0 15 0 246350426 14431227904 221426 33554432000 4194304 4196468 140734234372576 140695016798608 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4834] ppid=4827 vsize=14092996 memory=889808 CPUtime=19.79 cores=0,2,4,6
/proc/4830/task/4834/stat : 4834 (java) S 4827 4830 875 0 -1 1077944384 26047 0 0 0 1908 71 0 0 20 0 15 0 246350426 14431227904 221426 33554432000 4194304 4196468 140734234372576 140695015745808 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4835] ppid=4827 vsize=14092996 memory=904988 CPUtime=19.76 cores=0,2,4,6
/proc/4830/task/4835/stat : 4835 (java) S 4827 4830 875 0 -1 1077944384 24233 0 0 0 1903 73 0 0 20 0 15 0 246350426 14431227904 221426 33554432000 4194304 4196468 140734234372576 140695014693520 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4836] ppid=4827 vsize=14092996 memory=935256 CPUtime=19.76 cores=0,2,4,6
/proc/4830/task/4836/stat : 4836 (java) S 4827 4830 875 0 -1 1077944384 25913 0 0 0 1903 73 0 0 20 0 15 0 246350426 14431227904 221426 33554432000 4194304 4196468 140734234372576 140695013640720 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4837] ppid=4827 vsize=14092996 memory=889808 CPUtime=3.64 cores=0,2,4,6
/proc/4830/task/4837/stat : 4837 (java) S 4827 4830 875 0 -1 1077944384 67566 0 0 0 311 53 0 0 20 0 15 0 246350427 14431227904 221426 33554432000 4194304 4196468 140734234372576 140694537624176 140695064189570 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4838] ppid=4827 vsize=14092996 memory=748 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4838/stat : 4838 (java) S 4827 4830 875 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 246350428 14431227904 221426 33554432000 4194304 4196468 140734234372576 140694536570208 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4839] ppid=4827 vsize=14092996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4839/stat : 4839 (java) S 4827 4830 875 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 246350428 14431227904 221426 33554432000 4194304 4196468 140734234372576 140694535517824 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4840] ppid=4827 vsize=14092996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4840/stat : 4840 (java) S 4827 4830 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246350430 14431227904 221426 33554432000 4194304 4196468 140734234372576 140694534466128 140695064197019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4841] ppid=4827 vsize=14092996 memory=896780 CPUtime=4 cores=0,2,4,6
/proc/4830/task/4841/stat : 4841 (java) S 4827 4830 875 0 -1 1077944384 24259 0 0 0 397 3 0 0 20 0 15 0 246350430 14431227904 221426 33554432000 4194304 4196468 140734234372576 140694533412976 140695064189570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 47 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4842] ppid=4827 vsize=14092996 memory=930640 CPUtime=4.34 cores=0,2,4,6
/proc/4830/task/4842/stat : 4842 (java) S 4827 4830 875 0 -1 1077944384 26922 0 0 0 430 4 0 0 20 0 15 0 246350430 14431227904 221426 33554432000 4194304 4196468 140734234372576 140694532360176 140695064189570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4843] ppid=4827 vsize=14092996 memory=895244 CPUtime=1.6 cores=0,2,4,6
/proc/4830/task/4843/stat : 4843 (java) S 4827 4830 875 0 -1 1077944384 34847 0 0 0 155 5 0 0 20 0 15 0 246350430 14431227904 221426 33554432000 4194304 4196468 140734234372576 140694531307888 140695064189570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 42 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4844] ppid=4827 vsize=14092996 memory=3816 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4844/stat : 4844 (java) S 4827 4830 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246350431 14431227904 221426 33554432000 4194304 4196468 140734234372576 140694530255328 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4845] ppid=4827 vsize=14092996 memory=8112282956445269571 CPUtime=1.53 cores=0,2,4,6
/proc/4830/task/4845/stat : 4845 (java) S 4827 4830 875 0 -1 1077944384 1105 0 0 0 78 75 0 0 20 0 15 0 246350431 14431227904 221426 33554432000 4194304 4196468 140734234372576 140694529203120 140695064189570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 44 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 885704 KiB

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

[startup+2451.73 s]
# the end of solver process 4830 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.32 s, system=4.78465 s

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

[startup+2451.7 s]
/proc/loadavg: 1.61 1.69 1.69 4/215 4993
/proc/meminfo: memFree=14131592/32770624 swapFree=67108504/67108860
[pid=4830] ppid=4827 vsize=14092996 memory=885704 CPUtime=2520.07 cores=0,2,4,6
/proc/4830/stat : 4830 (java) S 4827 4830 875 0 -1 1077944320 408364 0 0 0 251530 477 0 0 20 0 15 0 246350425 14431227904 221426 33554432000 4194304 4196468 140734234372576 140734234355120 140695064178423 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
/proc/4830/statm: 3523249 221426 3625 1 0 3485321 0
[pid=4830/tid=4832] ppid=4827 vsize=14092996 memory=2144 CPUtime=2425.78 cores=0,2,4,6
/proc/4830/task/4832/stat : 4832 (java) R 4827 4830 875 0 -1 4202560 154177 0 0 0 242501 77 0 0 20 0 15 0 246350425 14431227904 221426 33554432000 4194304 4196468 140734234372576 140695068415600 140694690789680 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4833] ppid=4827 vsize=14092996 memory=889808 CPUtime=19.75 cores=0,2,4,6
/proc/4830/task/4833/stat : 4833 (java) S 4827 4830 875 0 -1 1077944384 21848 0 0 0 1903 72 0 0 20 0 15 0 246350426 14431227904 221426 33554432000 4194304 4196468 140734234372576 140695016798608 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4834] ppid=4827 vsize=14092996 memory=889808 CPUtime=19.79 cores=0,2,4,6
/proc/4830/task/4834/stat : 4834 (java) S 4827 4830 875 0 -1 1077944384 26047 0 0 0 1908 71 0 0 20 0 15 0 246350426 14431227904 221426 33554432000 4194304 4196468 140734234372576 140695015745808 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4835] ppid=4827 vsize=14092996 memory=904988 CPUtime=19.76 cores=0,2,4,6
/proc/4830/task/4835/stat : 4835 (java) S 4827 4830 875 0 -1 1077944384 24233 0 0 0 1903 73 0 0 20 0 15 0 246350426 14431227904 221426 33554432000 4194304 4196468 140734234372576 140695014693520 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4836] ppid=4827 vsize=14092996 memory=935256 CPUtime=19.76 cores=0,2,4,6
/proc/4830/task/4836/stat : 4836 (java) S 4827 4830 875 0 -1 1077944384 25913 0 0 0 1903 73 0 0 20 0 15 0 246350426 14431227904 221426 33554432000 4194304 4196468 140734234372576 140695013640720 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4837] ppid=4827 vsize=14092996 memory=889808 CPUtime=3.64 cores=0,2,4,6
/proc/4830/task/4837/stat : 4837 (java) S 4827 4830 875 0 -1 1077944384 67566 0 0 0 311 53 0 0 20 0 15 0 246350427 14431227904 221426 33554432000 4194304 4196468 140734234372576 140694537624176 140695064189570 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4838] ppid=4827 vsize=14092996 memory=748 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4838/stat : 4838 (java) S 4827 4830 875 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 246350428 14431227904 221426 33554432000 4194304 4196468 140734234372576 140694536570208 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4839] ppid=4827 vsize=14092996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4839/stat : 4839 (java) S 4827 4830 875 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 246350428 14431227904 221426 33554432000 4194304 4196468 140734234372576 140694535517824 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4840] ppid=4827 vsize=14092996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4840/stat : 4840 (java) S 4827 4830 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246350430 14431227904 221426 33554432000 4194304 4196468 140734234372576 140694534466128 140695064197019 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4841] ppid=4827 vsize=14092996 memory=896780 CPUtime=4 cores=0,2,4,6
/proc/4830/task/4841/stat : 4841 (java) S 4827 4830 875 0 -1 1077944384 24259 0 0 0 397 3 0 0 20 0 15 0 246350430 14431227904 221426 33554432000 4194304 4196468 140734234372576 140694533412976 140695064189570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 47 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4842] ppid=4827 vsize=14092996 memory=930640 CPUtime=4.34 cores=0,2,4,6
/proc/4830/task/4842/stat : 4842 (java) S 4827 4830 875 0 -1 1077944384 26922 0 0 0 430 4 0 0 20 0 15 0 246350430 14431227904 221426 33554432000 4194304 4196468 140734234372576 140694532360176 140695064189570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4843] ppid=4827 vsize=14092996 memory=895244 CPUtime=1.6 cores=0,2,4,6
/proc/4830/task/4843/stat : 4843 (java) S 4827 4830 875 0 -1 1077944384 34847 0 0 0 155 5 0 0 20 0 15 0 246350430 14431227904 221426 33554432000 4194304 4196468 140734234372576 140694531307888 140695064189570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 42 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4844] ppid=4827 vsize=14092996 memory=3816 CPUtime=0 cores=0,2,4,6
/proc/4830/task/4844/stat : 4844 (java) S 4827 4830 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246350431 14431227904 221426 33554432000 4194304 4196468 140734234372576 140694530255328 140695064188629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
[pid=4830/tid=4845] ppid=4827 vsize=14092996 memory=8112282956445269571 CPUtime=1.53 cores=0,2,4,6
/proc/4830/task/4845/stat : 4845 (java) S 4827 4830 875 0 -1 1077944384 1105 0 0 0 78 75 0 0 20 0 15 0 246350431 14431227904 221426 33554432000 4194304 4196468 140734234372576 140694529203120 140695064189570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 44 0 0 6293624 6294260 21479424 140734234375252 140734234375433 140734234375433 140734234378191 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 885704 KiB

Child status: 143
Real time (s): 2451.73
CPU time (s): 2520.1
CPU user time (s): 2515.32
CPU system time (s): 4.78465
CPU usage (%): 102.789
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 1194876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.32
system time used= 4.78465
maximum resident set size= 1200792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 409088
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 126494
involuntary context switches= 6766


# summary of solver processes directly reported to runsolver:
#   pid: 4830
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2515.32
#   total CPU system time (s): 4.78465

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4498 second user time and 23.0017 second system time

The end

Launcher Data 

Begin job on node104 at 2018-08-15 01:04:32
IDJOB=4308656
IDBENCH=141204
IDSOLVER=2792
FILE ID=node104/4308656-1534287872
RUNJOBID= node104-1534270607-2649
PBS_JOBID= 21038129
Free space on /tmp= 40048 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
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-4308656-1534287872/watcher-4308656-1534287872 -o /tmp/evaluation-result-4308656-1534287872/solver-4308656-1534287872 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534270607-2649 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1446892269 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308656-1534287872.xml

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

MD5SUM BENCH= d0ab6aee5f30ff70d66f863e0e3556a1
RANDOM SEED=1446892269

node104.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.11
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.11
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.11
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.11
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:        15438132 kB
MemAvailable:   31665856 kB
Buffers:          241208 kB
Cached:         16033284 kB
SwapCached:            8 kB
Active:          8022600 kB
Inactive:        8546296 kB
Active(anon):     244392 kB
Inactive(anon):   102508 kB
Active(file):    7778208 kB
Inactive(file):  8443788 kB
Unevictable:        7304 kB
Mlocked:            7304 kB
SwapTotal:      67108860 kB
SwapFree:       67108504 kB
Dirty:             35940 kB
Writeback:            16 kB
AnonPages:        301640 kB
Mapped:            68260 kB
Shmem:             49636 kB
Slab:             462956 kB
SReclaimable:     434188 kB
SUnreclaim:        28768 kB
KernelStack:        3552 kB
PageTables:         5992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1457428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    165888 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 40016 MiB
End job on node104 at 2018-08-15 01:45:24