Trace number 4291881

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2018-07-02SAT (TO)101845 2400.12 2334.16

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-graph-07-opt_c18.xml
MD5SUM8413fdc9a9128e0623052c10493da036
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark14479
Best CPU time to get the best result obtained on this benchmark2520.05
Satisfiable
(Un)Satisfiability was proved
Number of variables2554
Number of constraints2355
Number of domains11
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":2154},{"size":6,"count":34},{"size":22,"count":16},{"size":24,"count":18},{"size":36,"count":98},{"size":42,"count":76},{"size":44,"count":158}]
Minimum variable degree2
Maximum variable degree24
Distribution of variable degrees[{"degree":2,"count":2157},{"degree":3,"count":7},{"degree":4,"count":10},{"degree":5,"count":31},{"degree":6,"count":34},{"degree":7,"count":44},{"degree":8,"count":53},{"degree":9,"count":42},{"degree":10,"count":16},{"degree":11,"count":21},{"degree":12,"count":6},{"degree":13,"count":4},{"degree":14,"count":2},{"degree":15,"count":1},{"degree":17,"count":5},{"degree":18,"count":18},{"degree":19,"count":17},{"degree":20,"count":28},{"degree":21,"count":35},{"degree":22,"count":12},{"degree":23,"count":7},{"degree":24,"count":4}]
Minimum constraint arity2
Maximum constraint arity118
Distribution of constraint arities[{"arity":2,"count":384},{"arity":3,"count":1970},{"arity":118,"count":1}]
Number of extensional constraints0
Number of intensional constraints2354
Distribution of constraint types[{"type":"intension","count":2354},{"type":"instantiation","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.67/0.56	c version: 2018-07-02
0.67/0.56	c seed: 429139484
0.67/0.56	c timeout: 2400
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.59	c Parsing instance...
8.78/4.33	c Parsing done, starting first complete search...
13.56/6.29	o 205239
13.56/6.29	o 205238
13.71/6.30	o 205229
13.71/6.31	o 205228
13.71/6.31	o 204339
13.71/6.32	o 204338
13.71/6.32	o 204328
13.71/6.33	o 203218
13.71/6.33	o 203217
13.71/6.34	o 203117
13.71/6.35	o 203017
13.71/6.35	o 201917
13.71/6.37	o 201118
13.71/6.38	o 201018
13.71/6.38	o 200918
13.95/6.40	o 200818
13.95/6.41	o 199828
13.95/6.42	o 199728
13.95/6.42	o 199718
13.95/6.44	o 199632
13.95/6.44	o 199629
13.95/6.45	o 199628
13.95/6.45	o 199618
13.95/6.48	o 199507
14.15/6.52	o 199506
14.15/6.57	o 199505
14.15/6.60	o 199417
14.28/6.60	o 199416
14.28/6.62	o 199406
14.28/6.63	o 199405
14.28/6.69	o 199396
14.28/6.69	o 199395
14.84/7.02	o 198608
14.84/7.03	o 198607
14.84/7.03	o 198507
14.84/7.03	o 198407
14.84/7.07	o 198406
14.84/7.08	o 198396
14.84/7.08	o 198395
15.15/7.33	o 198193
15.15/7.34	o 197193
15.15/7.37	o 197183
15.25/7.40	o 197108
15.25/7.40	o 197098
15.25/7.40	o 197096
15.25/7.40	o 197095
15.25/7.41	o 197094
15.25/7.46	o 196395
15.25/7.47	o 196298
15.25/7.47	o 196295
15.25/7.47	o 196294
15.25/7.48	o 196195
15.25/7.48	o 196194
15.25/7.49	o 196094
15.36/7.58	o 196093
15.36/7.58	o 196074
15.36/7.58	o 196073
15.82/7.97	o 195182
15.82/7.97	o 195181
15.82/7.98	o 195177
15.82/7.98	o 195176
15.82/7.98	o 195175
15.82/7.99	o 195165
15.82/7.99	o 195163
15.82/7.99	o 195162
15.82/7.99	o 195161
15.93/8.03	o 195072
17.12/9.19	o 194972
17.21/9.20	o 193972
17.31/9.30	o 193971
17.31/9.30	o 193970
17.31/9.30	o 193950
25.96/17.89	o 193941
26.06/17.90	o 193940
27.17/19.07	o 193073
27.17/19.07	o 193072
27.17/19.08	o 193071
27.17/19.08	o 192983
27.17/19.09	o 192982
27.27/19.18	o 192960
27.47/19.36	o 192942
27.47/19.37	o 192941
27.47/19.37	o 192940
28.67/20.52	o 192261
28.67/20.52	o 192260
28.67/20.53	o 192259
28.67/20.53	o 192250
28.67/20.55	o 191792
28.67/20.55	o 191682
28.67/20.55	o 191562
28.67/20.55	o 191561
28.67/20.56	o 191461
28.67/20.56	o 191361
28.67/20.57	o 191250
28.67/20.57	o 191150
28.67/20.58	o 191130
28.67/20.58	o 191051
28.67/20.59	o 191050
28.67/20.59	o 191040
28.67/20.59	o 190941
28.77/20.62	o 189941
28.77/20.64	o 189919
29.47/21.33	o 189910
29.47/21.34	o 189909
30.07/21.96	o 189062
30.07/21.96	o 188962
30.18/22.06	o 188940
31.01/22.89	o 188928
31.01/22.89	o 188927
31.11/22.94	o 188919
31.61/23.42	o 188762
31.61/23.42	o 188761
31.61/23.42	o 188741
31.72/23.56	o 188729
34.02/25.87	o 188569
34.02/25.88	o 188470
34.02/25.88	o 188469
34.02/25.88	o 188159
34.02/25.89	o 188070
34.12/25.93	o 187581
34.12/25.93	o 187480
34.12/25.93	o 187380
34.12/25.94	o 187280
34.12/25.94	o 187069
34.12/25.95	o 186970
34.23/26.02	o 186948
34.52/26.35	o 186940
35.02/26.86	o 186770
35.02/26.86	o 186769
35.02/26.86	o 186749
35.02/26.88	o 186737
35.92/27.78	o 186730
35.92/27.78	o 186729
38.64/30.44	o 186720
38.64/30.44	o 186719
48.36/40.17	o 186021
48.36/40.17	o 186020
48.36/40.17	o 185920
48.36/40.18	o 185919
48.36/40.19	o 185909
48.45/40.20	o 185908
48.45/40.21	o 185819
48.45/40.27	o 185727
48.45/40.27	o 185719
51.27/43.10	o 185339
51.27/43.10	o 185239
51.27/43.10	o 185238
51.37/43.11	o 185138
51.37/43.11	o 184938
51.37/43.12	o 184928
51.46/43.26	o 184926
51.46/43.26	o 184925
51.46/43.26	o 184924
51.46/43.26	o 184923
51.46/43.26	o 184921
51.46/43.27	o 184920
54.16/45.93	o 184271
54.16/45.93	o 184171
54.16/45.94	o 184151
54.16/45.98	o 184059
54.16/45.98	o 184051
54.16/45.99	o 184031
54.37/46.14	o 183958
54.37/46.14	o 183957
54.37/46.15	o 183948
54.37/46.15	o 183858
54.46/46.20	o 183851
54.46/46.20	o 183850
54.46/46.27	o 183839
54.46/46.27	o 183838
54.46/46.28	o 183830
55.56/47.31	o 183819
55.56/47.31	o 183818
55.56/47.32	o 183810
57.37/49.15	o 183807
57.37/49.15	o 183806
57.37/49.15	o 183798
60.86/52.69	o 183797
60.86/52.69	o 183796
61.27/53.08	o 183789
61.27/53.08	o 183788
75.18/66.96	o 183665
75.18/66.96	o 183555
75.18/66.96	o 183355
75.18/66.97	o 183353
75.18/66.97	o 183352
75.18/66.97	o 183252
75.18/66.97	o 183251
75.18/66.97	o 183231
75.18/66.98	o 183221
75.18/66.98	o 183211
75.18/66.98	o 183111
75.18/66.98	o 183012
75.18/66.99	o 183011
75.18/67.00	o 182011
78.09/69.82	o 182001
79.40/71.17	o 181911
79.40/71.18	o 181910
79.40/71.18	o 181810
79.40/71.18	o 181798
84.50/76.23	o 181791
84.50/76.23	o 181790
84.50/76.25	o 181786
84.50/76.28	o 181778
104.23/95.97	o 181777
104.23/95.98	o 181776
104.34/96.02	o 181768
130.38/122.11	o 181139
130.48/122.11	o 181138
130.48/122.12	o 181130
130.48/122.15	o 181126
130.48/122.16	o 181118
130.57/122.29	o 181111
130.57/122.29	o 181110
130.67/122.31	o 181106
130.67/122.36	o 181099
130.67/122.36	o 181098
141.88/133.57	o 181019
141.88/133.57	o 181018
141.88/133.57	o 180998
141.88/133.57	o 180997
141.88/133.58	o 180908
141.88/133.58	o 180905
141.88/133.59	o 180897
141.88/133.59	o 180798
150.10/141.78	o 180797
150.10/141.78	o 180796
150.20/141.84	o 180789
150.20/141.84	o 180788
153.21/144.88	o 180787
153.21/144.88	o 180786
153.21/144.88	o 180778
175.35/166.98	o 180769
175.35/166.98	o 180768
252.31/243.43	c First complete search done, starting ALNS search...
252.73/243.60	o 180728
252.73/243.60	o 180718
252.73/243.61	o 180717
252.73/243.61	o 180716
252.73/243.61	o 180715
252.73/243.61	o 180714
252.73/243.62	o 180708
252.73/243.62	o 180707
252.73/243.62	o 180706
252.73/243.62	o 180705
252.73/243.63	o 180704
252.73/243.63	o 180698
252.73/243.63	o 180697
252.73/243.63	o 180696
252.73/243.64	o 180695
252.73/243.64	o 180694
252.73/243.64	o 180693
252.73/243.65	o 180628
252.73/243.65	o 180627
252.73/243.65	o 180626
252.73/243.66	o 180625
252.73/243.66	o 180624
252.73/243.66	o 180618
252.73/243.66	o 180617
252.73/243.67	o 180616
252.73/243.67	o 180615
252.73/243.67	o 180614
252.73/243.67	o 180613
252.73/243.68	o 180608
252.73/243.68	o 180607
252.73/243.68	o 180606
252.73/243.68	o 180605
252.73/243.68	o 180604
252.73/243.69	o 180603
252.73/243.69	o 180598
252.73/243.69	o 180597
252.73/243.69	o 180596
252.73/243.70	o 180595
252.87/243.71	o 180594
252.87/243.71	o 180593
252.87/243.71	o 180592
252.87/243.72	o 180588
252.87/243.72	o 180587
252.87/243.72	o 180586
252.87/243.72	o 180585
252.87/243.73	o 180584
252.87/243.73	o 180583
252.87/243.73	o 180582
252.87/243.74	o 180581
252.87/243.75	o 180039
252.87/243.75	o 180029
252.87/243.75	o 180028
252.87/243.75	o 180027
252.87/243.75	o 180026
252.87/243.75	o 180025
252.87/243.76	o 180024
252.87/243.76	o 180019
252.87/243.76	o 180018
252.87/243.76	o 180017
252.87/243.76	o 180016
252.87/243.76	o 180015
252.87/243.77	o 180014
252.87/243.77	o 180009
252.87/243.77	o 180008
252.87/243.77	o 180007
252.87/243.77	o 180006
252.87/243.78	o 180005
252.87/243.78	o 180004
252.87/243.78	o 180003
252.87/243.79	o 179939
252.87/243.79	o 179938
252.87/243.79	o 179937
252.87/243.79	o 179936
252.87/243.79	o 179935
253.01/243.80	o 179929
253.01/243.80	o 179928
253.01/243.80	o 179927
253.01/243.80	o 179926
253.01/243.80	o 179925
253.01/243.81	o 179919
253.01/243.81	o 179918
253.01/243.81	o 179917
253.01/243.81	o 179916
253.01/243.81	o 179915
253.01/243.82	o 179914
253.01/243.82	o 179909
253.01/243.82	o 179908
253.01/243.82	o 179907
253.01/243.82	o 179906
253.01/243.83	o 179905
253.01/243.83	o 179904
253.01/243.83	o 179903
253.01/243.84	o 179902
253.01/243.84	o 179838
253.01/243.84	o 179828
253.01/243.84	o 179818
253.01/243.84	o 179817
253.01/243.85	o 179816
253.01/243.85	o 179815
253.01/243.85	o 179814
253.01/243.85	o 179813
253.01/243.85	o 179812
253.01/243.86	o 179808
253.01/243.86	o 179807
254.03/244.48	o 179758
254.03/244.49	o 179658
254.03/244.49	o 179648
254.03/244.49	o 179558
254.03/244.49	o 179548
254.03/244.49	o 179458
254.03/244.49	o 179448
254.14/244.50	o 179359
254.14/244.50	o 179349
254.14/244.51	o 179348
254.14/244.51	o 179259
254.14/244.51	o 179249
254.14/244.52	o 179248
254.14/244.52	o 179148
254.14/244.52	o 179049
254.14/244.53	o 178950
254.14/244.54	o 178932
254.14/244.54	o 178931
254.14/244.58	o 178842
254.14/244.58	o 178841
254.14/244.58	o 178743
254.14/244.58	o 178742
254.14/244.59	o 178741
254.14/244.59	o 178643
254.14/244.59	o 178642
254.36/244.73	o 178633
254.36/244.73	o 178632
254.49/244.87	o 177852
254.49/244.87	o 177752
254.49/244.87	o 177751
254.49/244.88	o 177731
254.49/244.88	o 176850
254.49/244.88	o 176750
255.22/245.22	o 176650
255.22/245.22	o 175650
255.22/245.23	o 175550
258.22/247.65	o 175450
258.22/247.65	o 175440
258.22/247.66	o 175439
258.22/247.67	o 175438
258.40/247.70	o 174650
258.40/247.71	o 174649
258.40/247.71	o 174648
258.40/247.72	o 174550
258.40/247.72	o 174549
258.40/247.73	o 174548
258.40/247.74	o 174540
258.40/247.74	o 174539
258.40/247.75	o 174538
258.40/247.75	o 174537
258.40/247.76	o 174450
258.40/247.76	o 174449
258.40/247.77	o 174448
258.40/247.78	o 174440
258.40/247.78	o 174439
258.40/247.79	o 174438
258.40/247.79	o 174437
258.51/247.80	o 174430
258.51/247.80	o 174429
258.51/247.81	o 174428
258.51/247.81	o 174420
258.51/247.82	o 174419
258.51/247.82	o 174418
258.82/248.11	o 174417
258.82/248.14	o 174416
258.82/248.16	o 174415
258.82/248.18	o 174414
258.91/248.21	o 174413
258.91/248.23	o 174412
258.91/248.26	o 174411
258.91/248.28	o 174410
259.12/248.40	o 174409
259.22/248.52	o 174408
259.54/248.89	o 174407
259.65/248.96	o 174406
259.88/249.16	o 174405
259.97/249.25	o 174404
260.44/249.61	o 174403
260.44/249.64	o 174402
260.44/249.66	o 174401
261.05/250.24	o 174115
261.05/250.24	o 174016
261.05/250.25	o 174015
261.05/250.26	o 173916
261.05/250.26	o 173915
261.05/250.27	o 173904
261.05/250.27	o 173013
261.05/250.28	o 172913
261.05/250.28	o 172902
261.05/250.29	o 172814
261.05/250.29	o 172803
261.19/250.30	o 172793
261.19/250.31	o 172013
261.19/250.31	o 172003
261.19/250.32	o 172001
261.19/250.32	o 171992
261.19/250.33	o 171913
261.19/250.34	o 171903
261.19/250.34	o 171902
261.19/250.35	o 171892
261.19/250.35	o 171814
261.19/250.36	o 171812
261.19/250.36	o 171803
261.19/250.37	o 171802
261.19/250.37	o 171793
261.19/250.39	o 171791
261.29/250.41	o 171789
261.29/250.43	o 171712
261.29/250.43	o 171711
261.29/250.44	o 171702
261.29/250.44	o 171701
261.29/250.45	o 171692
261.29/250.46	o 171690
261.29/250.47	o 171689
261.39/250.54	o 171682
261.39/250.55	o 171681
261.39/250.56	o 171605
261.39/250.57	o 171603
261.39/250.58	o 171593
261.39/250.59	o 171592
261.58/250.60	o 171583
261.58/250.60	o 171582
261.58/250.61	o 171581
261.58/250.62	o 171580
261.58/250.63	o 171579
261.58/250.64	o 171578
261.58/250.65	o 171502
261.58/250.65	o 171492
261.58/250.66	o 171482
261.58/250.67	o 171481
261.58/250.68	o 171480
261.58/250.69	o 171479
261.71/250.74	o 171472
261.71/250.74	o 171462
261.71/250.75	o 171461
261.71/250.76	o 171460
261.71/250.76	o 171459
262.28/251.22	o 171453
262.28/251.22	o 171452
262.28/251.23	o 171451
262.28/251.24	o 171450
262.28/251.27	o 171449
262.40/251.30	o 171367
262.40/251.32	o 171366
262.40/251.34	o 171357
262.40/251.36	o 171356
262.40/251.39	o 171355
262.50/251.41	o 171348
262.50/251.43	o 171347
262.50/251.45	o 171346
262.50/251.48	o 171345
262.60/251.51	o 171344
262.60/251.54	o 171343
262.91/251.80	o 171342
262.91/251.83	o 171341
263.12/252.04	o 171340
263.38/252.13	o 171333
263.38/252.15	o 171332
263.38/252.18	o 171331
263.47/252.20	o 171330
263.47/252.22	o 171329
263.47/252.25	o 171328
263.47/252.28	o 171327
265.49/254.15	o 170238
265.49/254.16	o 170218
265.49/254.17	o 169238
265.49/254.18	o 169227
265.94/254.55	o 169226
267.15/255.77	o 169218
267.15/255.78	o 169217
267.15/255.79	o 169216
268.50/257.06	o 168549
268.50/257.09	o 168449
268.79/257.31	o 168435
268.79/257.34	o 168415
268.79/257.38	o 168335
269.10/257.67	o 168334
269.30/257.82	o 168314
269.30/257.86	o 168234
269.90/258.47	o 168233
270.32/258.82	o 168223
270.32/258.83	o 168222
270.32/258.85	o 167448
270.32/258.87	o 167334
270.32/258.89	o 167233
270.42/258.90	o 167232
270.42/258.97	o 167213
270.42/258.98	o 167212
270.52/259.02	o 167133
270.52/259.03	o 167132
271.12/259.60	o 167125
271.12/259.61	o 167124
271.22/259.75	o 167045
271.22/259.76	o 167044
273.84/262.39	o 167034
273.94/262.47	o 166045
273.94/262.48	o 166035
274.05/262.50	o 165045
274.05/262.51	o 165035
274.05/262.58	o 162356
274.05/262.59	o 162256
274.15/262.60	o 162046
274.15/262.61	o 162034
274.85/263.40	o 161034
275.05/263.59	o 161025
275.15/263.62	o 161024
275.25/263.72	o 160934
275.25/263.76	o 160044
275.25/263.77	o 159945
275.36/263.80	o 159944
275.36/263.83	o 159845
275.36/263.86	o 159836
285.45/273.87	o 158836
289.90/278.29	o 156736
295.45/283.78	o 156635
295.55/283.82	o 155736
295.55/283.84	o 155635
295.76/284.08	o 155634
295.86/284.18	o 155633
296.38/284.63	o 155632
296.38/284.64	o 154632
296.38/284.66	o 154631
296.38/284.68	o 154611
297.51/285.76	o 154511
297.61/285.84	o 154501
297.61/285.85	o 154401
297.92/286.20	o 153403
298.01/286.29	o 153309
298.12/286.36	o 153308
298.22/286.46	o 153307
300.38/288.59	o 153217
300.48/288.62	o 153207
300.59/288.77	o 153199
300.59/288.79	o 153197
300.72/288.81	o 151309
300.72/288.82	o 151308
300.72/288.82	o 151307
300.72/288.84	o 151208
300.72/288.86	o 151198
300.72/288.88	o 151197
300.82/288.90	o 151196
303.56/291.64	o 150516
304.69/292.75	o 150506
312.76/300.63	o 150497
312.76/300.67	o 150496
315.12/302.97	o 149929
315.23/303.02	o 149919
315.23/303.08	o 149909
315.34/303.13	o 149829
315.34/303.17	o 149819
315.43/303.22	o 149809
315.83/303.60	o 149728
315.83/303.64	o 149718
315.94/303.72	o 149708
317.07/304.89	o 148929
317.17/304.93	o 148919
317.17/304.97	o 148828
317.28/305.01	o 148818
317.28/305.05	o 148808
317.38/305.12	o 148798
317.38/305.16	o 148788
317.47/305.20	o 148787
317.47/305.27	o 148728
317.58/305.30	o 148718
317.58/305.34	o 148708
317.68/305.40	o 148698
317.68/305.44	o 148688
323.14/310.73	o 148687
328.15/315.66	o 147698
328.26/315.72	o 147688
328.26/315.78	o 147678
328.57/316.03	o 146698
328.57/316.09	o 146688
330.36/317.78	o 146014
330.56/317.92	o 146013
330.87/318.24	o 145914
330.97/318.32	o 145913
331.07/318.43	o 145912
331.38/318.72	o 145911
331.58/318.93	o 145813
331.58/319.00	o 145812
331.69/319.08	o 145811
334.33/321.69	o 145713
334.43/321.74	o 145711
335.35/322.68	o 144813
335.45/322.70	o 144713
335.45/322.76	o 144711
338.95/326.16	o 144691
339.05/326.21	o 144681
339.05/326.28	o 144674
339.17/326.32	o 144673
339.17/326.38	o 144672
339.37/326.57	o 144671
339.78/327.00	o 144651
343.58/330.69	o 144642
343.68/330.76	o 144641
345.42/332.40	o 144542
345.52/332.50	o 144541
347.16/334.18	o 144451
347.26/334.26	o 144351
347.36/334.39	o 144350
349.21/336.18	o 143950
349.30/336.26	o 143850
349.40/336.35	o 143750
349.50/336.43	o 143650
349.61/336.55	o 143649
349.71/336.66	o 143558
349.81/336.75	o 143557
349.92/336.85	o 143459
350.02/336.94	o 143458
350.33/337.30	o 143428
350.43/337.37	o 143427
350.53/337.49	o 143329
350.63/337.58	o 143328
368.78/355.34	o 143298
368.89/355.40	o 143288
369.09/355.68	o 143278
369.29/355.80	o 143277
369.39/355.93	o 143268
369.39/355.98	o 143267
369.50/356.03	o 143259
369.50/356.07	o 143258
369.62/356.12	o 143249
369.62/356.17	o 143248
369.71/356.25	o 143239
369.81/356.32	o 143140
370.03/356.56	o 143050
370.14/356.67	o 143040
390.20/376.27	o 143039
390.71/376.73	o 143030
390.71/376.78	o 143029
391.13/377.16	o 143028
391.32/377.37	o 143020
391.43/377.44	o 143019
391.53/377.51	o 143018
391.63/377.61	o 142939
391.63/377.67	o 142938
391.73/377.73	o 142937
391.83/377.80	o 142929
391.83/377.86	o 142928
391.93/377.93	o 142927
392.16/378.13	o 142827
392.96/378.99	o 142807
393.40/379.31	o 142806
393.51/379.41	o 142805
393.51/379.44	o 142706
393.51/379.47	o 142705
393.72/379.62	o 140947
393.72/379.68	o 140927
393.82/379.73	o 140726
393.82/379.79	o 140706
393.92/379.85	o 140625
393.92/379.89	o 140605
394.76/380.60	o 140538
394.76/380.63	o 140528
394.76/380.69	o 140527
394.86/380.79	o 140526
394.96/380.81	o 140517
394.96/380.83	o 140516
395.57/381.47	o 140515
396.19/382.04	o 140506
396.19/382.06	o 140496
396.19/382.08	o 140495
398.12/383.94	o 140486
398.12/383.96	o 140485
398.44/384.23	o 140476
398.44/384.25	o 140466
398.44/384.28	o 140465
398.54/384.31	o 139607
398.54/384.34	o 139606
398.54/384.37	o 139507
398.64/384.42	o 139506
398.64/384.44	o 139497
398.64/384.47	o 139496
398.64/384.50	o 139495
398.75/384.53	o 139486
398.75/384.55	o 139485
398.75/384.58	o 139476
398.85/384.60	o 139466
398.85/384.62	o 139465
404.59/390.19	o 139456
404.68/390.27	o 139455
404.79/390.37	o 139454
404.90/390.47	o 139453
404.90/390.48	o 139444
405.02/390.50	o 139443
405.02/390.59	o 138445
405.14/390.66	o 138435
405.24/390.74	o 138434
405.35/390.81	o 136445
405.35/390.88	o 136444
405.45/390.96	o 136435
405.56/391.03	o 136434
405.66/391.12	o 136433
406.58/392.05	o 136423
406.58/392.09	o 136363
406.58/392.10	o 136353
406.78/392.21	o 136333
406.78/392.22	o 136323
407.61/393.02	o 136253
407.61/393.04	o 136243
407.81/393.20	o 136223
407.91/393.32	o 136213
408.83/394.26	o 136212
409.99/394.90	o 136211
410.29/395.28	o 136210
410.90/395.82	o 136102
411.00/396.00	o 136101
411.31/396.21	o 136100
411.51/396.41	o 136099
411.61/396.52	o 135100
411.61/396.58	o 135000
431.24/415.94	o 133900
431.95/416.60	o 132900
434.93/419.51	o 132000
458.08/442.18	o 131991
458.17/442.21	o 131990
458.17/442.23	o 131980
458.17/442.27	o 131979
459.11/443.15	o 131978
459.20/443.29	o 131970
459.30/443.32	o 131960
459.30/443.36	o 131959
460.52/444.57	o 131949
466.99/450.86	o 131921
467.62/451.43	o 131901
468.35/452.11	o 130801
469.97/453.77	o 130652
470.07/453.86	o 130651
470.17/453.98	o 130551
470.29/454.06	o 130550
470.39/454.18	o 130541
470.48/454.27	o 130540
471.92/455.61	o 130539
472.63/456.33	o 130538
472.93/456.62	o 130537
473.65/457.27	o 130528
473.75/457.30	o 130519
473.75/457.34	o 130518
473.75/457.39	o 130517
473.87/457.45	o 130428
473.87/457.49	o 130418
473.97/457.54	o 130417
474.07/457.60	o 130416
476.83/460.30	o 130316
503.32/486.36	o 130315
503.73/486.71	o 130314
504.15/487.11	o 130313
504.46/487.46	o 130312
516.82/499.55	o 130247
517.02/499.77	o 130246
517.23/500.00	o 130245
517.54/500.25	o 130244
517.85/500.53	o 130237
518.05/500.72	o 130236
518.26/500.91	o 130235
519.80/502.46	o 130145
520.00/502.60	o 130135
520.31/502.91	o 130035
520.42/503.10	o 130025
520.61/503.23	o 129935
520.82/503.44	o 129925
525.72/508.13	o 129915
525.81/508.26	o 129905
526.92/509.34	o 129827
527.12/509.53	o 129807
527.22/509.65	o 129797
535.15/517.49	o 129787
535.27/517.53	o 129777
535.27/517.59	o 129776
556.12/537.94	o 129517
556.12/537.99	o 129516
556.32/538.15	o 129515
556.73/538.57	o 129427
558.06/539.87	o 129426
558.78/540.60	o 129337
558.88/540.65	o 129336
559.08/540.81	o 129327
559.19/540.94	o 129317
559.30/541.09	o 129316
564.67/546.25	o 129306
565.07/546.61	o 129305
565.89/547.47	o 129297
566.20/547.75	o 129208
566.20/547.77	o 129198
566.61/548.19	o 129197
574.29/555.54	o 129189
574.29/555.59	o 129188
574.39/555.67	o 129187
574.49/555.79	o 129089
574.69/555.91	o 129088
574.80/556.02	o 129087
575.83/557.03	o 128998
575.93/557.11	o 128997
576.34/557.52	o 128988
576.34/557.58	o 128987
576.44/557.68	o 128898
576.66/557.85	o 128897
577.10/558.24	o 128798
578.02/559.14	o 128718
578.11/559.20	o 128708
579.76/560.80	o 128698
586.63/567.58	o 128408
587.15/568.08	o 128197
592.37/573.14	o 127922
592.47/573.21	o 127821
592.57/573.34	o 127820
592.66/573.42	o 127720
592.76/573.50	o 127710
593.18/573.92	o 127510
593.69/574.43	o 127490
594.70/575.45	o 127489
596.97/577.61	o 127488
599.55/580.13	o 127378
633.59/612.71	o 127377
633.69/612.89	o 127376
633.91/613.01	o 127277
634.01/613.11	o 127276
652.83/631.36	o 127216
653.03/631.55	o 127196
662.08/640.47	o 127096
662.19/640.53	o 127095
662.29/640.63	o 126995
662.90/641.25	o 126987
663.10/641.41	o 126986
672.51/650.60	o 126985
672.72/650.86	o 126975
673.12/651.24	o 126531
673.33/651.46	o 126431
673.53/651.67	o 126421
673.73/651.87	o 126411
673.95/652.09	o 126401
674.14/652.28	o 126391
674.34/652.48	o 126390
674.56/652.67	o 126380
674.86/652.93	o 126378
675.17/653.21	o 126309
675.37/653.41	o 126299
675.58/653.65	o 126289
675.88/653.90	o 126288
676.10/654.13	o 126278
676.40/654.43	o 126209
676.60/654.67	o 126199
676.81/654.90	o 126198
677.12/655.11	o 126188
677.31/655.35	o 126178
677.73/655.76	o 126176
678.04/656.02	o 126107
679.07/657.07	o 126106
679.26/657.28	o 126096
679.57/657.50	o 126086
679.77/657.76	o 126076
681.01/659.00	o 126039
681.32/659.23	o 126038
681.52/659.45	o 126028
681.72/659.68	o 126019
682.04/659.91	o 126018
682.25/660.13	o 126008
682.44/660.39	o 125998
682.85/660.79	o 125996
683.27/661.17	o 125986
707.39/684.62	o 125976
707.60/684.86	o 125975
711.47/688.68	o 125885
711.57/688.70	o 125875
718.05/695.03	o 124887
718.05/695.10	o 124886
718.15/695.17	o 124877
718.24/695.27	o 124876
718.34/695.38	o 124875
719.47/696.42	o 123875
719.47/696.46	o 122875
724.07/701.00	o 122874
724.20/701.06	o 122865
724.49/701.31	o 122864
726.26/703.03	o 122863
742.02/718.40	o 122807
742.22/718.64	o 122806
742.64/719.01	o 122805
743.05/719.42	o 122804
744.06/720.43	o 122797
744.38/720.76	o 122796
744.79/721.11	o 122795
745.39/721.70	o 122777
745.61/721.93	o 122776
745.82/722.19	o 122768
746.11/722.46	o 122767
746.52/722.89	o 122766
747.12/723.41	o 122568
747.24/723.52	o 122567
766.19/741.71	o 122560
766.29/741.87	o 122559
766.52/742.03	o 122558
766.81/742.37	o 122557
769.67/745.13	o 122550
769.76/745.27	o 122549
769.98/745.43	o 122548
772.43/747.83	o 122547
772.53/747.97	o 122546
772.84/748.26	o 122540
773.05/748.41	o 122539
773.15/748.55	o 122538
778.26/753.59	o 121728
778.36/753.69	o 121547
778.88/754.11	o 121537
779.59/754.87	o 121457
779.69/754.94	o 121447
819.86/794.27	o 121446
820.58/794.94	o 121436
821.08/795.47	o 121426
860.99/834.47	o 121337
861.29/834.71	o 121327
861.80/835.26	o 121326
863.13/836.52	o 121325
864.16/837.59	o 121316
921.49/893.25	o 120317
921.69/893.43	o 120316
923.02/894.67	o 120315
932.21/903.67	o 120314
932.31/903.76	o 120294
932.51/903.91	o 120284
932.62/904.09	o 119404
932.72/904.15	o 119304
932.81/904.25	o 119284
938.23/909.50	o 118496
938.23/909.55	o 118486
938.74/910.08	o 118386
939.04/910.35	o 118285
939.14/910.46	o 118284
945.54/916.61	o 118194
946.77/917.83	o 118184
961.81/932.55	o 117585
962.53/933.25	o 117485
968.97/939.56	o 116506
969.38/939.97	o 116505
969.70/940.22	o 116496
969.80/940.30	o 116495
969.90/940.45	o 116476
970.00/940.53	o 116475
970.09/940.65	o 116286
970.20/940.71	o 116285
970.20/940.78	o 116276
970.31/940.86	o 116256
970.41/940.92	o 116255
971.42/941.96	o 116245
978.72/949.06	o 116145
978.72/949.10	o 116045
978.82/949.14	o 116035
978.82/949.16	o 116034
1015.46/984.76	o 116021
1015.79/985.03	o 116010
1015.89/985.19	o 116009
1016.59/985.86	o 115927
1017.09/986.33	o 115916
1017.29/986.55	o 115915
1017.61/986.87	o 115908
1018.11/987.36	o 115808
1018.72/987.96	o 115714
1019.22/988.48	o 115694
1019.64/988.84	o 115675
1020.24/989.40	o 115575
1020.75/989.99	o 115481
1022.28/991.42	o 115470
1051.97/1020.07	o 114529
1052.26/1020.35	o 114448
1052.48/1020.53	o 113449
1092.12/1059.28	o 113372
1094.66/1061.77	o 113371
1097.34/1064.35	o 113362
1098.17/1065.19	o 113360
1098.68/1065.60	o 113350
1102.37/1069.24	o 113349
1106.88/1073.69	o 113226
1107.39/1074.16	o 113225
1107.80/1074.59	o 113224
1109.24/1075.95	o 113125
1109.64/1076.36	o 113124
1110.37/1077.02	o 113115
1111.18/1077.82	o 113114
1111.28/1077.94	o 113113
1111.49/1078.17	o 113112
1112.12/1078.69	o 113111
1114.57/1081.10	o 113110
1114.77/1081.24	o 113102
1114.97/1081.45	o 113101
1118.52/1084.95	o 113100
1118.84/1085.21	o 113098
1123.39/1089.78	o 113088
1127.76/1094.02	o 113087
1128.06/1094.36	o 113079
1128.06/1094.39	o 113078
1130.28/1096.51	o 113077
1133.85/1100.03	o 112988
1133.95/1100.13	o 112987
1134.70/1100.45	o 112986
1134.85/1100.52	o 112985
1135.06/1100.74	o 112984
1135.26/1100.92	o 112983
1135.47/1101.16	o 112982
1135.76/1101.45	o 112981
1136.06/1101.74	o 112980
1136.38/1102.01	o 112979
1136.67/1102.30	o 112888
1136.77/1102.47	o 112887
1136.97/1102.60	o 112886
1137.07/1102.77	o 112885
1137.27/1102.97	o 112884
1137.48/1103.17	o 112883
1137.69/1103.35	o 112882
1137.89/1103.58	o 112881
1138.19/1103.87	o 112880
1138.50/1104.13	o 112879
1138.89/1104.53	o 112878
1139.51/1105.12	o 112877
1142.15/1107.72	o 111996
1142.46/1108.05	o 111986
1142.95/1108.52	o 111896
1143.25/1108.86	o 111886
1144.07/1109.62	o 111876
1145.00/1110.52	o 111875
1186.53/1151.30	o 111782
1186.85/1151.56	o 111781
1187.36/1152.07	o 111780
1187.98/1152.67	o 111779
1188.18/1152.86	o 111778
1188.80/1153.48	o 111777
1189.41/1154.08	o 111776
1190.11/1154.72	o 111775
1204.42/1168.89	o 111773
1204.73/1169.16	o 111772
1206.55/1170.98	o 111771
1215.83/1180.03	o 111770
1220.33/1184.32	o 111760
1262.26/1225.42	o 111750
1263.41/1226.26	o 110957
1263.75/1226.47	o 110956
1264.05/1226.70	o 110955
1264.26/1227.00	o 110954
1264.78/1227.48	o 110953
1265.28/1227.94	o 110758
1265.58/1228.23	o 110757
1266.00/1228.65	o 110756
1266.40/1229.07	o 110755
1266.89/1229.58	o 110754
1267.29/1229.97	o 110753
1267.81/1230.42	o 110752
1268.52/1231.11	o 110751
1268.93/1231.52	o 110750
1271.15/1233.71	o 110649
1285.62/1247.79	o 110648
1308.71/1270.43	o 110557
1308.71/1270.48	o 110547
1314.11/1275.20	o 110543
1315.13/1276.20	o 110542
1315.23/1276.38	o 110532
1315.73/1276.86	o 110522
1316.14/1277.22	o 110512
1316.34/1277.45	o 110502
1316.84/1277.99	o 110501
1317.06/1278.19	o 110500
1317.76/1278.81	o 110493
1317.86/1278.97	o 110483
1318.16/1279.24	o 110481
1319.07/1280.18	o 109964
1319.26/1280.34	o 109963
1319.46/1280.53	o 109864
1319.66/1280.70	o 109863
1319.86/1280.94	o 109766
1319.99/1281.06	o 109765
1320.09/1281.19	o 109764
1320.28/1281.33	o 109763
1320.48/1281.53	o 109755
1320.58/1281.65	o 109753
1320.78/1281.86	o 109745
1320.88/1281.99	o 109743
1325.02/1286.11	o 109741
1325.53/1286.46	o 109740
1325.93/1286.80	o 109739
1326.24/1287.14	o 109738
1326.73/1287.62	o 109737
1327.33/1288.23	o 109736
1327.73/1288.66	o 109735
1328.74/1289.51	o 109734
1329.44/1290.24	o 109732
1329.74/1290.51	o 109731
1341.35/1301.86	o 109724
1342.28/1302.80	o 109632
1342.38/1302.87	o 109622
1342.98/1303.44	o 109613
1343.48/1303.97	o 109532
1343.58/1304.06	o 109522
1344.28/1304.74	o 109513
1359.01/1319.34	o 109510
1359.41/1319.76	o 109500
1359.91/1320.29	o 109499
1360.52/1320.88	o 109480
1361.12/1321.42	o 109479
1361.52/1321.84	o 109478
1361.83/1322.18	o 109459
1362.22/1322.51	o 109458
1362.62/1323.00	o 109439
1362.95/1323.28	o 109438
1363.55/1323.83	o 109429
1364.76/1325.04	o 109428
1365.25/1325.50	o 109427
1366.70/1326.81	o 109426
1369.76/1329.71	o 109417
1372.32/1332.11	o 109317
1372.71/1332.53	o 109217
1402.91/1361.77	o 109216
1408.65/1367.30	o 109124
1408.75/1367.44	o 109123
1409.05/1367.71	o 109122
1409.36/1368.03	o 109121
1409.75/1368.44	o 109120
1410.25/1368.99	o 109119
1410.96/1369.67	o 109118
1411.67/1370.26	o 109117
1412.48/1371.03	o 109116
1434.31/1392.41	o 109115
1435.04/1393.04	o 109105
1435.63/1393.68	o 109095
1436.43/1394.41	o 108367
1436.43/1394.50	o 108357
1436.93/1394.94	o 108348
1437.14/1395.17	o 108337
1437.53/1395.56	o 108327
1437.83/1395.88	o 108256
1438.34/1396.40	o 108227
1439.47/1397.34	o 108226
1439.77/1397.62	o 108216
1440.67/1398.52	o 108207
1441.47/1399.31	o 108206
1441.87/1399.70	o 108196
1470.42/1427.39	o 108146
1471.72/1428.61	o 108117
1547.19/1503.06	o 108112
1547.29/1503.13	o 108111
1547.38/1503.22	o 108110
1547.58/1503.42	o 108109
1550.10/1505.91	o 108098
1550.60/1506.46	o 108089
1551.12/1506.98	o 108088
1603.49/1558.41	o 107988
1603.69/1558.68	o 107987
1608.81/1563.67	o 107909
1608.91/1563.70	o 107907
1616.67/1571.22	o 107017
1616.67/1571.29	o 107007
1618.51/1573.09	o 107006
1618.70/1573.24	o 106986
1621.92/1576.49	o 106886
1622.03/1576.59	o 106876
1635.95/1590.28	o 106875
1640.52/1594.78	o 106874
1640.93/1595.12	o 106873
1641.22/1595.49	o 106865
1641.65/1595.82	o 106864
1658.47/1611.98	o 106863
1664.96/1618.36	o 105975
1665.38/1618.73	o 105973
1666.08/1619.42	o 105873
1667.51/1620.89	o 105783
1667.81/1621.11	o 105773
1669.13/1622.44	o 105673
1687.38/1640.30	o 104883
1687.60/1640.52	o 104783
1688.11/1641.01	o 104773
1688.30/1641.22	o 104683
1688.72/1641.67	o 104673
1714.94/1667.25	o 104653
1715.64/1667.99	o 104633
1716.78/1669.04	o 104623
1717.90/1670.12	o 104613
1720.75/1672.90	o 104603
1721.38/1673.53	o 104593
1728.55/1680.53	o 104503
1728.65/1680.68	o 104493
1760.28/1711.57	o 104403
1762.95/1714.14	o 104393
1764.46/1715.64	o 104383
1787.81/1738.49	o 104264
1791.27/1741.85	o 104263
1866.52/1814.95	o 104253
1876.43/1824.66	o 103232
1903.27/1850.81	o 103222
1908.43/1855.58	o 103220
1967.54/1913.29	o 103212
1968.67/1914.33	o 103211
1969.81/1915.41	o 103210
1982.96/1928.29	o 103201
1983.45/1928.74	o 103200
1998.84/1943.73	o 102202
1999.44/1944.31	o 102200
2001.17/1946.10	o 102091
2001.28/1946.17	o 102090
2016.76/1960.93	o 102079
2022.39/1966.43	o 102078
2031.63/1975.47	o 101988
2032.87/1976.68	o 101978
2092.00/2034.49	o 101968
2100.70/2042.94	o 101906
2100.91/2043.13	o 101905
2101.10/2043.36	o 101886
2101.33/2043.53	o 101885
2101.53/2043.77	o 101865
2101.73/2043.92	o 101864
2213.54/2152.76	o 101855
2214.14/2153.32	o 101854
2233.81/2172.50	o 101845
2400.01/2334.13	s SATISFIABLE
2400.01/2334.13	v <instantiation>
2400.01/2334.13	v 	<list>
2400.01/2334.13	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] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] zb1[0] zb1[1] zb1[2] zb1[3] zb1[4] zb1[5] zb1[6] zb1[7] zb1[8] zb1[9] zb1[10] zb1[11] zb1[12] zb1[13] zb1[14] zb1[15] zb1[16] zb1[17] zb1[18] zb1[19] zb1[20] zb1[21] zb1[22] zb1[23] zb1[24] zb1[25] zb1[26] zb1[27] zb1[28] zb1[29] zb1[30] zb1[31] zb1[32] zb1[33] zb1[34] zb1[35] zb1[36] zb1[37] zb1[38] zb1[39] zb1[40] zb1[41] zb2[0] zb2[1] zb2[2] zb2[3] zb2[4] zb2[5] zb2[6] zb2[7] zb2[8] zb2[9] zb2[10] zb2[11] zb2[12] zb2[13] zb2[14] zb2[15] zb2[16] zb2[17] zb2[18] zb2[19] zb2[20] zb2[21] zb2[22] zb2[23] zb3[0] zb3[1] zb3[2] zb3[3] zb3[4] zb3[5] zb3[6] zb3[7] zb3[8] zb3[9] zb3[10] zb3[11] zb3[12] zb3[13] zb3[14] zb3[15] zb3[16] zb3[17] zb3[18] zb3[19] zb3[20] zb3[21] zb3[22] zb3[23] zb3[24] zb3[25] zb3[26] zb3[27] zb3[28] zb3[29] zb3[30] zb3[31] zb3[32] zb3[33] zb3[34] zb3[35] zb3[36] zb3[37] zb3[38] zb3[39] zb3[40] zb3[41] zb3[42] zb3[43] zb3[44] zb3[45] zb3[46] zb3[47] zb3[48] zb3[49] zb3[50] zb3[51] zb3[52] zb3[53] zb3[54] zb3[55] zb3[56] zb3[57] zb3[58] zb3[59] zb3[60] zb3[61] zb3[62] zb3[63] zb3[64] zb3[65] zb3[66] zb3[67] zb3[68] zb3[69] zb3[70] zb3[71] zb3[72] zb3[73] zb3[74] zb3[75] zb3[76] zb3[77] zb3[78] zb3[79] zb3[80] zb3[81] zb3[82] zb3[83] zb3[84] zb3[85] zb3[86] zb3[87] zb3[88] zb3[89] zb3[90] zb3[91] zb3[92] zb3[93] zb3[94] zb3[95] zb3[96] zb3[97] zb3[98] zb3[99] zb3[100] zb3[101] zb3[102] zb3[103] zb3[104] zb3[105] zb3[106] zb3[107] zb3[108] zb3[109] zb3[110] zb3[111] zb3[112] zb3[113] zb3[114] zb3[115] zb3[116] zb3[117] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533]
2400.01/2334.13	v 	</list>
2400.01/2334.13	v 	<values>
2400.01/2334.13	v 		72 310 666 428 778 540 58 296 414 652 30 268 554 792 30 268 736 498 792 554 680 442 30 268 792 554 792 554 100 338 750 512 778 540 324 86 792 554 16 254 156 394 58 296 170 408 540 778 394 156 240 478 16 254 666 428 366 128 498 736 240 478 736 498 16 254 778 540 764 526 792 554 764 526 16 254 394 156 156 394 792 554 736 498 778 540 680 442 352 114 128 366 296 58 282 44 680 442 16 254 792 554 470 708 442 680 44 282 764 526 240 478 296 58 30 268 680 442 736 498 778 540 114 352 268 30 652 414 100 338 722 484 722 484 72 310 708 470 44 282 652 414 142 380 352 114 240 478 778 540 44 282 778 540 792 554 128 366 352 114 128 366 310 72 708 470 100 338 170 408 170 408 694 456 16 254 16 254 708 470 240 478 778 540 652 414 72 310 708 470 554 792 240 478 16 254 554 792 114 352 512 750 156 394 694 456 100 338 792 554 764 526 554 792 792 554 142 380 142 380 792 554 764 526 44 282 540 778 366 128 792 554 58 296 86 324 750 512 58 296 268 30 554 792 128 366 170 408 708 470 44 282 240 478 58 296 652 414 554 792 30 268 792 554 58 296 16 254 296 58 380 142 240 478 142 380 100 338 100 338 666 428 240 478 666 428 750 512 114 352 156 394 680 442 554 792 722 484 792 554 736 498 16 254 792 554 708 470 792 554 498 736 352 114 708 470 470 708 736 498 722 484 128 366 428 666 30 268 128 366 442 680 128 366 778 540 694 456 58 296 100 338 128 366 254 16 16 254 324 86 268 30 30 268 554 792 44 282 170 408 16 254 114 352 792 554 792 554 324 86 792 554 58 296 296 58 268 30 778 540 86 324 156 394 478 240 554 792 554 792 680 442 170 408 114 352 310 72 282 44 1000 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 1000 1000 0 0 1000 1000 0 0 0 0 1000 1000 1000 1000 0 0 1000 1000 0 0 0 0 1000 1000 0 0 100 100 100 100 100 100 0 0 100 100 0 0 0 0 0 0 0 0 100 100 0 0 100 100 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 0 0 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 1000 0 0 1000 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 1000 1000 0 1000 1000 1000 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 1000 1000 1000 0 0 0 1000 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 0 1000 0 1000 0 0 0 1000 1000 1000 0 0 0 0 1000 1000 0 0 0 1000 0 1000 0 0 0 0 1000 1000 1000 0 0 0 0 1000 0 1000 0 1000 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 1000 0 0 1000 0 0 0 0 1000 0 0 100 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 100 0 0 100 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 100 0 100 0 0 0 0 0 0 100 0 0 100 0 0 0 100 0 100 0 0 0 0 100 100 100 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 100 0 100 0 0 0 0 100 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 100 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 100 100 0 100 100 100 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 100 0 100 100 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 100 0 0 100 0 0 100 0 100 0 0 0 0 0 0 0 100 0 100 100 0 0 100 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 100 0 100 0 0 0 0 0 100 0 0 100 100 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 100 0 100 0 0 0 0 0 0 100 100 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 10 0 0 0 0 0 0 10 10 10 0 0 10 10 0 0 10 10 0 0 0 0 0 0 10 10 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 10 0 10 0 10 10 10 10 0 0 0 0 10 10 0 0 10 0 0 0 0 10 0 0 10 10 0 10 10 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 10 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 10 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 10 0 0 0 0 10 0 0 10 0 10 10 0 0 10 0 0 0 0 10 0 0 0 10 10 0 10 0 10 0 10 0 0 10 0 0 0 0 0 0 10 0 0 0 10 0 0 10 10 10 0 0 0 10 0 10 10 10 0 0 0 0 10 10 0 10 0 0 0 0 0 0 10 0 10 0 10 0 0 0 10 0 0 0 10 0 0 10 10 0 0 10 0 10 0 0 0 0 10 10 10 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 10 10 0 0 10 10 10 0 0 0 0 10 0 0 0 0 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 10 0 10 0 0 0 0 0 10 0 0 0 10 0 10 10 10 0 10 0 10 0 0 10 0 10 10 10 0 0 0 0 0 10 0 0 10 0 0 0 10 0 0 0 0 0 0 10 0 0 10 10 10 0 10 10 10 0 10 0 0 10 10 0 0 0 10 10 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 1 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 1 1 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 0 0 0 1 1 1 0 0 0 1 0 0 1 0 1 1 1 1 0 0 0 0 1 1 0 0 1 1 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 
2400.01/2334.13	v 	</values>
2400.01/2334.13	v </instantiation>

Verifier Data 

OK	101845

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291881-1532263728/watcher-4291881-1532263728 -o /tmp/evaluation-result-4291881-1532263728/solver-4291881-1532263728 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532261360-2532 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 429139484 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291881-1532263728.xml 

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

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

solver pid=3111, runsolver pid=3108

[startup+0.100513 s]*
/proc/loadavg: 1.77 1.61 1.49 3/215 3126
/proc/meminfo: memFree=23856048/32770624 swapFree=67108852/67108860
[pid=3111] ppid=3108 vsize=14082740 memory=30380 CPUtime=0.11 cores=0,2,4,6
/proc/3111/stat : 3111 (java) S 3108 3111 2501 0 -1 1077944320 6509 0 0 0 9 2 0 0 20 0 15 0 43936000 14420725760 7595 33554432000 4194304 4196468 140735663631744 140735663614288 140561233534711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
/proc/3111/statm: 3520685 7595 3142 1 0 3482761 0
[pid=3111/tid=3113] ppid=3108 vsize=14082740 memory=-8968179209538991296 CPUtime=0.08 cores=0,2,4,6
/proc/3111/task/3113/stat : 3113 (java) R 3108 3111 2501 0 -1 4202560 4620 0 0 0 7 1 0 0 20 0 15 0 43936000 14420725760 7595 33554432000 4194304 4196468 140735663631744 140561237737720 140561213810460 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3114] ppid=3108 vsize=14082740 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3114/stat : 3114 (java) S 3108 3111 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43936001 14420725760 7595 33554432000 4194304 4196468 140735663631744 140561194494224 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3115] ppid=3108 vsize=14082740 memory=140169878902400 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3115/stat : 3115 (java) S 3108 3111 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43936001 14420725760 7595 33554432000 4194304 4196468 140735663631744 140560828705168 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3116] ppid=3108 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3116/stat : 3116 (java) S 3108 3111 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43936001 14420725760 7595 33554432000 4194304 4196468 140735663631744 140560827652624 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3117] ppid=3108 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3117/stat : 3117 (java) S 3108 3111 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43936001 14420725760 7660 33554432000 4194304 4196468 140735663631744 140560826600080 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3118] ppid=3108 vsize=14082740 memory=140169878902400 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3118/stat : 3118 (java) S 3108 3111 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43936002 14420725760 7660 33554432000 4194304 4196468 140735663631744 140560347802096 140561233545858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3119] ppid=3108 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3119/stat : 3119 (java) S 3108 3111 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43936003 14420725760 7660 33554432000 4194304 4196468 140735663631744 140560346748320 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3120] ppid=3108 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3120/stat : 3120 (java) S 3108 3111 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43936003 14420725760 7660 33554432000 4194304 4196468 140735663631744 140560345695728 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3121] ppid=3108 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3121/stat : 3121 (java) S 3108 3111 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43936005 14420725760 7660 33554432000 4194304 4196468 140735663631744 140560344644304 140561233553307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3122] ppid=3108 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3122/stat : 3122 (java) S 3108 3111 2501 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 15 0 43936005 14420725760 7660 33554432000 4194304 4196468 140735663631744 140560343590896 140561233545858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3123] ppid=3108 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3123/stat : 3123 (java) S 3108 3111 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43936005 14420725760 7660 33554432000 4194304 4196468 140735663631744 140560342538352 140561233545858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3124] ppid=3108 vsize=14082740 memory=140169878902400 CPUtime=0.01 cores=0,2,4,6
/proc/3111/task/3124/stat : 3124 (java) S 3108 3111 2501 0 -1 1077944384 232 0 0 0 1 0 0 0 20 0 15 0 43936005 14420725760 7660 33554432000 4194304 4196468 140735663631744 140560341485808 140561233545858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3125] ppid=3108 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3125/stat : 3125 (java) S 3108 3111 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43936005 14420725760 7660 33554432000 4194304 4196468 140735663631744 140560340433504 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3126] ppid=3108 vsize=14082740 memory=140169878902400 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3126/stat : 3126 (java) S 3108 3111 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43936005 14420725760 7660 33554432000 4194304 4196468 140735663631744 140560339381040 140561233545858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 30380 KiB

[startup+0.21248 s]*
/proc/loadavg: 1.77 1.61 1.49 5/215 3126
/proc/meminfo: memFree=23840868/32770624 swapFree=67108852/67108860
[pid=3111] ppid=3108 vsize=14082740 memory=46896 CPUtime=0.29 cores=0,2,4,6
/proc/3111/stat : 3111 (java) S 3108 3111 2501 0 -1 1077944320 10285 0 0 0 26 3 0 0 20 0 15 0 43936000 14420725760 11724 33554432000 4194304 4196468 140735663631744 140735663614288 140561233534711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
/proc/3111/statm: 3520685 11724 3366 1 0 3482761 0
[pid=3111/tid=3113] ppid=3108 vsize=14082740 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/3111/task/3113/stat : 3113 (java) S 3108 3111 2501 0 -1 1077944384 8040 0 0 0 17 2 0 0 20 0 15 0 43936000 14420725760 11724 33554432000 4194304 4196468 140735663631744 140561237763056 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3114] ppid=3108 vsize=14082740 memory=343 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3114/stat : 3114 (java) S 3108 3111 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43936001 14420725760 11724 33554432000 4194304 4196468 140735663631744 140561194494224 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3115] ppid=3108 vsize=14082740 memory=140169878905768 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3115/stat : 3115 (java) S 3108 3111 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43936001 14420725760 11724 33554432000 4194304 4196468 140735663631744 140560828705168 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3116] ppid=3108 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3116/stat : 3116 (java) S 3108 3111 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43936001 14420725760 11724 33554432000 4194304 4196468 140735663631744 140560827652624 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3117] ppid=3108 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3117/stat : 3117 (java) S 3108 3111 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43936001 14420725760 11724 33554432000 4194304 4196468 140735663631744 140560826600080 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3118] ppid=3108 vsize=14082740 memory=140169878902400 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3118/stat : 3118 (java) S 3108 3111 2501 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43936002 14420725760 11724 33554432000 4194304 4196468 140735663631744 140560347802096 140561233545858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3119] ppid=3108 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3119/stat : 3119 (java) S 3108 3111 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43936003 14420725760 11724 33554432000 4194304 4196468 140735663631744 140560346748320 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3120] ppid=3108 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3120/stat : 3120 (java) S 3108 3111 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43936003 14420725760 11724 33554432000 4194304 4196468 140735663631744 140560345695728 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3121] ppid=3108 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3121/stat : 3121 (java) S 3108 3111 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43936005 14420725760 11724 33554432000 4194304 4196468 140735663631744 140560344644304 140561233553307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3122] ppid=3108 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3111/task/3122/stat : 3122 (java) R 3108 3111 2501 0 -1 1077944384 339 0 0 0 1 0 0 0 20 0 15 0 43936005 14420725760 11724 33554432000 4194304 4196468 140735663631744 140560343590992 140561233544917 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3123] ppid=3108 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/3111/task/3123/stat : 3123 (java) R 3108 3111 2501 0 -1 4202560 237 0 0 0 1 0 0 0 20 0 15 0 43936005 14420725760 11724 33554432000 4194304 4196468 140735663631744 140560342519368 140561217097800 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3124] ppid=3108 vsize=14082740 memory=140169878902400 CPUtime=0.06 cores=0,2,4,6
/proc/3111/task/3124/stat : 3124 (java) R 3108 3111 2501 0 -1 4202560 307 0 0 0 6 0 0 0 20 0 15 0 43936005 14420725760 11724 33554432000 4194304 4196468 140735663631744 140560341482744 140561212070392 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3125] ppid=3108 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3125/stat : 3125 (java) S 3108 3111 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43936005 14420725760 11724 33554432000 4194304 4196468 140735663631744 140560340433504 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3126] ppid=3108 vsize=14082740 memory=140169878902400 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3126/stat : 3126 (java) S 3108 3111 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43936005 14420725760 11724 33554432000 4194304 4196468 140735663631744 140560339381040 140561233545858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46896 KiB

[startup+0.310698 s]*
/proc/loadavg: 1.77 1.61 1.49 3/215 3126
/proc/meminfo: memFree=23837564/32770624 swapFree=67108852/67108860
[pid=3111] ppid=3108 vsize=14082740 memory=50592 CPUtime=0.43 cores=0,2,4,6
/proc/3111/stat : 3111 (java) S 3108 3111 2501 0 -1 1077944320 10758 0 0 0 40 3 0 0 20 0 15 0 43936000 14420725760 12648 33554432000 4194304 4196468 140735663631744 140735663614288 140561233534711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
/proc/3111/statm: 3520685 12648 3414 1 0 3482761 0
[pid=3111/tid=3113] ppid=3108 vsize=14082740 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/3111/task/3113/stat : 3113 (java) R 3108 3111 2501 0 -1 4202560 8421 0 0 0 27 2 0 0 20 0 15 0 43936000 14420725760 12648 33554432000 4194304 4196468 140735663631744 140561237746288 140561213810049 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3114] ppid=3108 vsize=14082740 memory=290763879498383383 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3114/stat : 3114 (java) S 3108 3111 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43936001 14420725760 12648 33554432000 4194304 4196468 140735663631744 140561194494224 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3115] ppid=3108 vsize=14082740 memory=14548411606570648 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3115/stat : 3115 (java) S 3108 3111 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43936001 14420725760 12648 33554432000 4194304 4196468 140735663631744 140560828705168 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3116] ppid=3108 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3116/stat : 3116 (java) S 3108 3111 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43936001 14420725760 12648 33554432000 4194304 4196468 140735663631744 140560827652624 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3117] ppid=3108 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3117/stat : 3117 (java) S 3108 3111 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43936001 14420725760 12648 33554432000 4194304 4196468 140735663631744 140560826600080 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3118] ppid=3108 vsize=14082740 memory=140169878902400 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3118/stat : 3118 (java) S 3108 3111 2501 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43936002 14420725760 12648 33554432000 4194304 4196468 140735663631744 140560347802096 140561233545858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3119] ppid=3108 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3119/stat : 3119 (java) S 3108 3111 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43936003 14420725760 12648 33554432000 4194304 4196468 140735663631744 140560346748320 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3120] ppid=3108 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3120/stat : 3120 (java) S 3108 3111 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43936003 14420725760 12648 33554432000 4194304 4196468 140735663631744 140560345695728 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3121] ppid=3108 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3121/stat : 3121 (java) S 3108 3111 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43936005 14420725760 12648 33554432000 4194304 4196468 140735663631744 140560344644304 140561233553307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3122] ppid=3108 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3111/task/3122/stat : 3122 (java) S 3108 3111 2501 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 15 0 43936005 14420725760 12648 33554432000 4194304 4196468 140735663631744 140560343590896 140561233545858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3123] ppid=3108 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/3111/task/3123/stat : 3123 (java) S 3108 3111 2501 0 -1 1077944384 270 0 0 0 2 0 0 0 20 0 15 0 43936005 14420725760 12648 33554432000 4194304 4196468 140735663631744 140560342538352 140561233545858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3124] ppid=3108 vsize=14082740 memory=140169878902400 CPUtime=0.08 cores=0,2,4,6
/proc/3111/task/3124/stat : 3124 (java) S 3108 3111 2501 0 -1 1077944384 326 0 0 0 8 0 0 0 20 0 15 0 43936005 14420725760 12648 33554432000 4194304 4196468 140735663631744 140560341485808 140561233545858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3125] ppid=3108 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3125/stat : 3125 (java) S 3108 3111 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43936005 14420725760 12648 33554432000 4194304 4196468 140735663631744 140560340433504 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3126] ppid=3108 vsize=14082740 memory=140169878902400 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3126/stat : 3126 (java) S 3108 3111 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43936005 14420725760 12648 33554432000 4194304 4196468 140735663631744 140560339381040 140561233545858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50592 KiB

[startup+0.700746 s]
/proc/loadavg: 1.77 1.61 1.49 3/215 3126
/proc/meminfo: memFree=23815320/32770624 swapFree=67108852/67108860
[pid=3111] ppid=3108 vsize=14084808 memory=86664 CPUtime=0.98 cores=0,2,4,6
/proc/3111/stat : 3111 (java) S 3108 3111 2501 0 -1 1077944320 17552 0 0 0 92 6 0 0 20 0 15 0 43936000 14422843392 21666 33554432000 4194304 4196468 140735663631744 140735663614288 140561233534711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
/proc/3111/statm: 3521202 21666 3497 1 0 3483273 0
[pid=3111/tid=3113] ppid=3108 vsize=14084808 memory=9224 CPUtime=0.67 cores=0,2,4,6
/proc/3111/task/3113/stat : 3113 (java) R 3108 3111 2501 0 -1 4202560 14833 0 0 0 62 5 0 0 20 0 15 0 43936000 14422843392 21666 33554432000 4194304 4196468 140735663631744 140561237753952 140560871453888 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3114] ppid=3108 vsize=14084808 memory=16432 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3114/stat : 3114 (java) S 3108 3111 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43936001 14422843392 22178 33554432000 4194304 4196468 140735663631744 140561194494224 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3115] ppid=3108 vsize=14084808 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3115/stat : 3115 (java) S 3108 3111 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43936001 14422843392 22178 33554432000 4194304 4196468 140735663631744 140560828705168 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3116] ppid=3108 vsize=14084808 memory=644 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3116/stat : 3116 (java) S 3108 3111 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43936001 14422843392 22178 33554432000 4194304 4196468 140735663631744 140560827652624 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3117] ppid=3108 vsize=14084808 memory=956 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3117/stat : 3117 (java) S 3108 3111 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43936001 14422843392 22178 33554432000 4194304 4196468 140735663631744 140560826600080 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3118] ppid=3108 vsize=14084808 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3118/stat : 3118 (java) S 3108 3111 2501 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43936002 14422843392 22178 33554432000 4194304 4196468 140735663631744 140560347802096 140561233545858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3119] ppid=3108 vsize=14084808 memory=2336 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3119/stat : 3119 (java) S 3108 3111 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43936003 14422843392 22178 33554432000 4194304 4196468 140735663631744 140560346748320 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3120] ppid=3108 vsize=14084808 memory=1580 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3120/stat : 3120 (java) S 3108 3111 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43936003 14422843392 22178 33554432000 4194304 4196468 140735663631744 140560345695728 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3121] ppid=3108 vsize=14084808 memory=7379241883359864663 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3121/stat : 3121 (java) S 3108 3111 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43936005 14422843392 22178 33554432000 4194304 4196468 140735663631744 140560344644304 140561233553307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3122] ppid=3108 vsize=14084808 memory=6081387179578519657 CPUtime=0.06 cores=0,2,4,6
/proc/3111/task/3122/stat : 3122 (java) S 3108 3111 2501 0 -1 1077944384 521 0 0 0 6 0 0 0 20 0 15 0 43936005 14422843392 22178 33554432000 4194304 4196468 140735663631744 140560343590896 140561233545858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3123] ppid=3108 vsize=14084808 memory=6076878065162868073 CPUtime=0.08 cores=0,2,4,6
/proc/3111/task/3123/stat : 3123 (java) S 3108 3111 2501 0 -1 1077944384 417 0 0 0 8 0 0 0 20 0 15 0 43936005 14422843392 22178 33554432000 4194304 4196468 140735663631744 140560342538352 140561233545858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3124] ppid=3108 vsize=14084808 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/3111/task/3124/stat : 3124 (java) S 3108 3111 2501 0 -1 1077944384 399 0 0 0 15 0 0 0 20 0 15 0 43936005 14422843392 22178 33554432000 4194304 4196468 140735663631744 140560341485808 140561233545858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3125] ppid=3108 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3125/stat : 3125 (java) S 3108 3111 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43936005 14422843392 22178 33554432000 4194304 4196468 140735663631744 140560340433504 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3126] ppid=3108 vsize=14084808 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3126/stat : 3126 (java) S 3108 3111 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43936005 14422843392 22178 33554432000 4194304 4196468 140735663631744 140560339381040 140561233545858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 86664 KiB

[startup+1.51051 s]
/proc/loadavg: 1.77 1.61 1.49 5/215 3126
/proc/meminfo: memFree=23762892/32770624 swapFree=67108852/67108860
[pid=3111] ppid=3108 vsize=14086856 memory=222548 CPUtime=3.42 cores=0,2,4,6
/proc/3111/stat : 3111 (java) S 3108 3111 2501 0 -1 1077944320 24593 0 0 0 332 10 0 0 20 0 15 0 43936000 14424940544 55637 33554432000 4194304 4196468 140735663631744 140735663614288 140561233534711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
/proc/3111/statm: 3521714 55637 3560 1 0 3483785 0
[pid=3111/tid=3113] ppid=3108 vsize=14086856 memory=154280 CPUtime=1.46 cores=0,2,4,6
/proc/3111/task/3113/stat : 3113 (java) R 3108 3111 2501 0 -1 4202560 16962 0 0 0 139 7 0 0 20 0 15 0 43936000 14424940544 55637 33554432000 4194304 4196468 140735663631744 140561237768536 140560873773862 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3114] ppid=3108 vsize=14086856 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3114/stat : 3114 (java) S 3108 3111 2501 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 15 0 43936001 14424940544 55637 33554432000 4194304 4196468 140735663631744 140561194494224 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3115] ppid=3108 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3115/stat : 3115 (java) S 3108 3111 2501 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 43936001 14424940544 55637 33554432000 4194304 4196468 140735663631744 140560828705168 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3116] ppid=3108 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3116/stat : 3116 (java) S 3108 3111 2501 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 43936001 14424940544 55637 33554432000 4194304 4196468 140735663631744 140560827652624 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3117] ppid=3108 vsize=14086856 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3117/stat : 3117 (java) S 3108 3111 2501 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 43936001 14424940544 55637 33554432000 4194304 4196468 140735663631744 140560826600080 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3118] ppid=3108 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3118/stat : 3118 (java) S 3108 3111 2501 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 43936002 14424940544 55637 33554432000 4194304 4196468 140735663631744 140560347802096 140561233545858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0

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

/proc/3111/task/3113/stat : 3113 (java) R 3108 3111 2501 0 -1 4202560 181500 0 0 0 224030 94 0 0 20 0 15 0 43936000 14431232000 443675 33554432000 4194304 4196468 140735663631744 140561237771856 140560875635038 0 4 0 16800975 0 0 0 -1 2 0 0 45 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3114] ppid=3108 vsize=14093000 memory=1794708 CPUtime=17.4 cores=0,2,4,6
/proc/3111/task/3114/stat : 3114 (java) S 3108 3111 2501 0 -1 1077944384 63570 0 0 0 1666 74 0 0 20 0 15 0 43936001 14431232000 443675 33554432000 4194304 4196468 140735663631744 140561194494224 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3115] ppid=3108 vsize=14093000 memory=1788040 CPUtime=17.34 cores=0,2,4,6
/proc/3111/task/3115/stat : 3115 (java) S 3108 3111 2501 0 -1 1077944384 57984 0 0 0 1659 75 0 0 20 0 15 0 43936001 14431232000 443675 33554432000 4194304 4196468 140735663631744 140560828705168 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3116] ppid=3108 vsize=14093000 memory=1200 CPUtime=17.35 cores=0,2,4,6
/proc/3111/task/3116/stat : 3116 (java) S 3108 3111 2501 0 -1 1077944384 59746 0 0 0 1661 74 0 0 20 0 15 0 43936001 14431232000 443675 33554432000 4194304 4196468 140735663631744 140560827652624 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3117] ppid=3108 vsize=14093000 memory=1781368 CPUtime=17.34 cores=0,2,4,6
/proc/3111/task/3117/stat : 3117 (java) S 3108 3111 2501 0 -1 1077944384 59828 0 0 0 1662 72 0 0 20 0 15 0 43936001 14431232000 443675 33554432000 4194304 4196468 140735663631744 140560826600080 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3118] ppid=3108 vsize=14093000 memory=1781368 CPUtime=2.12 cores=0,2,4,6
/proc/3111/task/3118/stat : 3118 (java) S 3108 3111 2501 0 -1 1077944384 89934 0 0 0 176 36 0 0 20 0 15 0 43936002 14431232000 443675 33554432000 4194304 4196468 140735663631744 140560347802096 140561233545858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3119] ppid=3108 vsize=14093000 memory=1840876 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3119/stat : 3119 (java) S 3108 3111 2501 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 43936003 14431232000 443675 33554432000 4194304 4196468 140735663631744 140560346748384 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3120] ppid=3108 vsize=14093000 memory=1781368 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3120/stat : 3120 (java) S 3108 3111 2501 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 43936003 14431232000 443675 33554432000 4194304 4196468 140735663631744 140560345695744 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3121] ppid=3108 vsize=14093000 memory=1781368 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3121/stat : 3121 (java) S 3108 3111 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43936005 14431232000 443675 33554432000 4194304 4196468 140735663631744 140560344644304 140561233553307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3122] ppid=3108 vsize=14093000 memory=14908 CPUtime=5.11 cores=0,2,4,6
/proc/3111/task/3122/stat : 3122 (java) S 3108 3111 2501 0 -1 1077944384 27343 0 0 0 507 4 0 0 20 0 15 0 43936005 14431232000 443675 33554432000 4194304 4196468 140735663631744 140560343590896 140561233545858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3123] ppid=3108 vsize=14093000 memory=2416 CPUtime=5.02 cores=0,2,4,6
/proc/3111/task/3123/stat : 3123 (java) S 3108 3111 2501 0 -1 1077944384 27064 0 0 0 499 3 0 0 20 0 15 0 43936005 14431232000 443675 33554432000 4194304 4196468 140735663631744 140560342538352 140561233545858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3124] ppid=3108 vsize=14093000 memory=1801376 CPUtime=1.82 cores=0,2,4,6
/proc/3111/task/3124/stat : 3124 (java) S 3108 3111 2501 0 -1 1077944384 39386 0 0 0 177 5 0 0 20 0 15 0 43936005 14431232000 443675 33554432000 4194304 4196468 140735663631744 140560341485808 140561233545858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3125] ppid=3108 vsize=14093000 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3125/stat : 3125 (java) S 3108 3111 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43936005 14431232000 443675 33554432000 4194304 4196468 140735663631744 140560340433504 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3126] ppid=3108 vsize=14093000 memory=4126316290023845779 CPUtime=1.29 cores=0,2,4,6
/proc/3111/task/3126/stat : 3126 (java) S 3108 3111 2501 0 -1 1077944384 1689 0 0 0 66 63 0 0 20 0 15 0 43936005 14431232000 443675 33554432000 4194304 4196468 140735663631744 140560339381040 140561233545858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
Current children cumulated CPU time: 2326.12 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1774700 KiB

[startup+2322.3 s]
/proc/loadavg: 1.55 1.47 1.55 3/215 3297
/proc/meminfo: memFree=23090304/32770624 swapFree=67108852/67108860
[pid=3111] ppid=3108 vsize=14093000 memory=1763656 CPUtime=2387.52 cores=0,2,4,6
/proc/3111/stat : 3111 (java) S 3108 3111 2501 0 -1 1077944320 626018 0 0 0 238255 497 0 0 20 0 15 0 43936000 14431232000 440914 33554432000 4194304 4196468 140735663631744 140735663614288 140561233534711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
/proc/3111/statm: 3523250 440914 3617 1 0 3485321 0
[pid=3111/tid=3113] ppid=3108 vsize=14093000 memory=1764732 CPUtime=2300.72 cores=0,2,4,6
/proc/3111/task/3113/stat : 3113 (java) R 3108 3111 2501 0 -1 4202560 189013 0 0 0 229977 95 0 0 20 0 15 0 43936000 14431232000 440914 33554432000 4194304 4196468 140735663631744 140561237771712 140560878270848 0 4 0 16800975 0 0 0 -1 4 0 0 45 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3114] ppid=3108 vsize=14093000 memory=1763168 CPUtime=17.87 cores=0,2,4,6
/proc/3111/task/3114/stat : 3114 (java) S 3108 3111 2501 0 -1 1077944384 65303 0 0 0 1709 78 0 0 20 0 15 0 43936001 14431232000 440914 33554432000 4194304 4196468 140735663631744 140561194494224 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3115] ppid=3108 vsize=14093000 memory=1763168 CPUtime=17.81 cores=0,2,4,6
/proc/3111/task/3115/stat : 3115 (java) S 3108 3111 2501 0 -1 1077944384 60070 0 0 0 1703 78 0 0 20 0 15 0 43936001 14431232000 440914 33554432000 4194304 4196468 140735663631744 140560828705168 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3116] ppid=3108 vsize=14093000 memory=1756492 CPUtime=17.82 cores=0,2,4,6
/proc/3111/task/3116/stat : 3116 (java) S 3108 3111 2501 0 -1 1077944384 61660 0 0 0 1705 77 0 0 20 0 15 0 43936001 14431232000 440914 33554432000 4194304 4196468 140735663631744 140560827652624 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3117] ppid=3108 vsize=14093000 memory=1756492 CPUtime=17.79 cores=0,2,4,6
/proc/3111/task/3117/stat : 3117 (java) S 3108 3111 2501 0 -1 1077944384 62010 0 0 0 1705 74 0 0 20 0 15 0 43936001 14431232000 440914 33554432000 4194304 4196468 140735663631744 140560826600080 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3118] ppid=3108 vsize=14093000 memory=1763656 CPUtime=2.14 cores=0,2,4,6
/proc/3111/task/3118/stat : 3118 (java) S 3108 3111 2501 0 -1 1077944384 90326 0 0 0 178 36 0 0 20 0 15 0 43936002 14431232000 440914 33554432000 4194304 4196468 140735663631744 140560347802096 140561233545858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3119] ppid=3108 vsize=14093000 memory=1763656 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3119/stat : 3119 (java) S 3108 3111 2501 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 43936003 14431232000 440914 33554432000 4194304 4196468 140735663631744 140560346748384 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3120] ppid=3108 vsize=14093000 memory=1840876 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3120/stat : 3120 (java) S 3108 3111 2501 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 43936003 14431232000 440914 33554432000 4194304 4196468 140735663631744 140560345695744 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3121] ppid=3108 vsize=14093000 memory=1716220 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3121/stat : 3121 (java) S 3108 3111 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43936005 14431232000 440914 33554432000 4194304 4196468 140735663631744 140560344644304 140561233553307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3122] ppid=3108 vsize=14093000 memory=4012 CPUtime=5.11 cores=0,2,4,6
/proc/3111/task/3122/stat : 3122 (java) S 3108 3111 2501 0 -1 1077944384 27345 0 0 0 507 4 0 0 20 0 15 0 43936005 14431232000 440914 33554432000 4194304 4196468 140735663631744 140560343590896 140561233545858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3123] ppid=3108 vsize=14093000 memory=1756492 CPUtime=5.02 cores=0,2,4,6
/proc/3111/task/3123/stat : 3123 (java) S 3108 3111 2501 0 -1 1077944384 27764 0 0 0 499 3 0 0 20 0 15 0 43936005 14431232000 440914 33554432000 4194304 4196468 140735663631744 140560342538352 140561233545858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3124] ppid=3108 vsize=14093000 memory=1756492 CPUtime=1.82 cores=0,2,4,6
/proc/3111/task/3124/stat : 3124 (java) S 3108 3111 2501 0 -1 1077944384 39388 0 0 0 177 5 0 0 20 0 15 0 43936005 14431232000 440914 33554432000 4194304 4196468 140735663631744 140560341485808 140561233545858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3125] ppid=3108 vsize=14093000 memory=1756492 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3125/stat : 3125 (java) S 3108 3111 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43936005 14431232000 440914 33554432000 4194304 4196468 140735663631744 140560340433504 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3126] ppid=3108 vsize=14093000 memory=1756492 CPUtime=1.33 cores=0,2,4,6
/proc/3111/task/3126/stat : 3126 (java) S 3108 3111 2501 0 -1 1077944384 1710 0 0 0 68 65 0 0 20 0 15 0 43936005 14431232000 440914 33554432000 4194304 4196468 140735663631744 140560339381040 140561233545858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
Current children cumulated CPU time: 2387.52 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1763656 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2334.11 s]
/proc/loadavg: 1.50 1.46 1.55 3/215 3297
/proc/meminfo: memFree=23143868/32770624 swapFree=67108852/67108860
[pid=3111] ppid=3108 vsize=14093000 memory=1754736 CPUtime=2400.01 cores=0,2,4,6
/proc/3111/stat : 3111 (java) S 3108 3111 2501 0 -1 1077944320 637361 0 0 0 239501 500 0 0 20 0 15 0 43936000 14431232000 438684 33554432000 4194304 4196468 140735663631744 140735663614288 140561233534711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
/proc/3111/statm: 3523250 438684 3617 1 0 3485321 0
[pid=3111/tid=3113] ppid=3108 vsize=14093000 memory=956 CPUtime=2312.27 cores=0,2,4,6
/proc/3111/task/3113/stat : 3113 (java) R 3108 3111 2501 0 -1 4202560 189177 0 0 0 231132 95 0 0 20 0 15 0 43936000 14431232000 438684 33554432000 4194304 4196468 140735663631744 140561237771744 140560873206496 0 4 0 16800975 0 0 0 -1 2 0 0 45 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3114] ppid=3108 vsize=14093000 memory=1754736 CPUtime=18.09 cores=0,2,4,6
/proc/3111/task/3114/stat : 3114 (java) S 3108 3111 2501 0 -1 1077944384 67355 0 0 0 1731 78 0 0 20 0 15 0 43936001 14431232000 438684 33554432000 4194304 4196468 140735663631744 140561194494224 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3115] ppid=3108 vsize=14093000 memory=1754736 CPUtime=18.03 cores=0,2,4,6
/proc/3111/task/3115/stat : 3115 (java) S 3108 3111 2501 0 -1 1077944384 60978 0 0 0 1725 78 0 0 20 0 15 0 43936001 14431232000 438684 33554432000 4194304 4196468 140735663631744 140560828705168 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3116] ppid=3108 vsize=14093000 memory=1762428 CPUtime=18.04 cores=0,2,4,6
/proc/3111/task/3116/stat : 3116 (java) S 3108 3111 2501 0 -1 1077944384 62122 0 0 0 1727 77 0 0 20 0 15 0 43936001 14431232000 438684 33554432000 4194304 4196468 140735663631744 140560827652624 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3117] ppid=3108 vsize=14093000 memory=1762428 CPUtime=18.02 cores=0,2,4,6
/proc/3111/task/3117/stat : 3117 (java) S 3108 3111 2501 0 -1 1077944384 63105 0 0 0 1727 75 0 0 20 0 15 0 43936001 14431232000 438684 33554432000 4194304 4196468 140735663631744 140560826600080 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3118] ppid=3108 vsize=14093000 memory=1762428 CPUtime=2.17 cores=0,2,4,6
/proc/3111/task/3118/stat : 3118 (java) S 3108 3111 2501 0 -1 1077944384 96978 0 0 0 180 37 0 0 20 0 15 0 43936002 14431232000 438684 33554432000 4194304 4196468 140735663631744 140560347802096 140561233545858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3119] ppid=3108 vsize=14093000 memory=1754736 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3119/stat : 3119 (java) S 3108 3111 2501 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 43936003 14431232000 438684 33554432000 4194304 4196468 140735663631744 140560346748384 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3120] ppid=3108 vsize=14093000 memory=1840876 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3120/stat : 3120 (java) S 3108 3111 2501 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 43936003 14431232000 438684 33554432000 4194304 4196468 140735663631744 140560345695744 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3121] ppid=3108 vsize=14093000 memory=7594869225918261605 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3121/stat : 3121 (java) S 3108 3111 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43936005 14431232000 438684 33554432000 4194304 4196468 140735663631744 140560344644304 140561233553307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3122] ppid=3108 vsize=14093000 memory=0 CPUtime=5.11 cores=0,2,4,6
/proc/3111/task/3122/stat : 3122 (java) S 3108 3111 2501 0 -1 1077944384 27346 0 0 0 507 4 0 0 20 0 15 0 43936005 14431232000 438684 33554432000 4194304 4196468 140735663631744 140560343590896 140561233545858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3123] ppid=3108 vsize=14093000 memory=1755264 CPUtime=5.02 cores=0,2,4,6
/proc/3111/task/3123/stat : 3123 (java) S 3108 3111 2501 0 -1 1077944384 27764 0 0 0 499 3 0 0 20 0 15 0 43936005 14431232000 438684 33554432000 4194304 4196468 140735663631744 140560342538352 140561233545858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3124] ppid=3108 vsize=14093000 memory=1756492 CPUtime=1.82 cores=0,2,4,6
/proc/3111/task/3124/stat : 3124 (java) S 3108 3111 2501 0 -1 1077944384 39389 0 0 0 177 5 0 0 20 0 15 0 43936005 14431232000 438684 33554432000 4194304 4196468 140735663631744 140560341485808 140561233545858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3125] ppid=3108 vsize=14093000 memory=1754732 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3125/stat : 3125 (java) S 3108 3111 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43936005 14431232000 438684 33554432000 4194304 4196468 140735663631744 140560340433504 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3126] ppid=3108 vsize=14093000 memory=1754732 CPUtime=1.33 cores=0,2,4,6
/proc/3111/task/3126/stat : 3126 (java) S 3108 3111 2501 0 -1 1077944384 1718 0 0 0 68 65 0 0 20 0 15 0 43936005 14431232000 438684 33554432000 4194304 4196468 140735663631744 140560339381040 140561233545858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1754736 KiB

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

[startup+2334.16 s]
# the end of solver process 3111 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2395.08 s, system=5.03619 s

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

[startup+2334.11 s]
/proc/loadavg: 1.50 1.46 1.55 3/215 3297
/proc/meminfo: memFree=23143868/32770624 swapFree=67108852/67108860
[pid=3111] ppid=3108 vsize=14093000 memory=1754736 CPUtime=2400.01 cores=0,2,4,6
/proc/3111/stat : 3111 (java) S 3108 3111 2501 0 -1 1077944320 637361 0 0 0 239501 500 0 0 20 0 15 0 43936000 14431232000 438684 33554432000 4194304 4196468 140735663631744 140735663614288 140561233534711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
/proc/3111/statm: 3523250 438684 3617 1 0 3485321 0
[pid=3111/tid=3113] ppid=3108 vsize=14093000 memory=956 CPUtime=2312.27 cores=0,2,4,6
/proc/3111/task/3113/stat : 3113 (java) R 3108 3111 2501 0 -1 4202560 189177 0 0 0 231132 95 0 0 20 0 15 0 43936000 14431232000 438684 33554432000 4194304 4196468 140735663631744 140561237771744 140560873206496 0 4 0 16800975 0 0 0 -1 2 0 0 45 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3114] ppid=3108 vsize=14093000 memory=1754736 CPUtime=18.09 cores=0,2,4,6
/proc/3111/task/3114/stat : 3114 (java) S 3108 3111 2501 0 -1 1077944384 67355 0 0 0 1731 78 0 0 20 0 15 0 43936001 14431232000 438684 33554432000 4194304 4196468 140735663631744 140561194494224 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3115] ppid=3108 vsize=14093000 memory=1754736 CPUtime=18.03 cores=0,2,4,6
/proc/3111/task/3115/stat : 3115 (java) S 3108 3111 2501 0 -1 1077944384 60978 0 0 0 1725 78 0 0 20 0 15 0 43936001 14431232000 438684 33554432000 4194304 4196468 140735663631744 140560828705168 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3116] ppid=3108 vsize=14093000 memory=1762428 CPUtime=18.04 cores=0,2,4,6
/proc/3111/task/3116/stat : 3116 (java) S 3108 3111 2501 0 -1 1077944384 62122 0 0 0 1727 77 0 0 20 0 15 0 43936001 14431232000 438684 33554432000 4194304 4196468 140735663631744 140560827652624 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3117] ppid=3108 vsize=14093000 memory=1762428 CPUtime=18.02 cores=0,2,4,6
/proc/3111/task/3117/stat : 3117 (java) S 3108 3111 2501 0 -1 1077944384 63105 0 0 0 1727 75 0 0 20 0 15 0 43936001 14431232000 438684 33554432000 4194304 4196468 140735663631744 140560826600080 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3118] ppid=3108 vsize=14093000 memory=1762428 CPUtime=2.17 cores=0,2,4,6
/proc/3111/task/3118/stat : 3118 (java) S 3108 3111 2501 0 -1 1077944384 96978 0 0 0 180 37 0 0 20 0 15 0 43936002 14431232000 438684 33554432000 4194304 4196468 140735663631744 140560347802096 140561233545858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3119] ppid=3108 vsize=14093000 memory=1754736 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3119/stat : 3119 (java) S 3108 3111 2501 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 43936003 14431232000 438684 33554432000 4194304 4196468 140735663631744 140560346748384 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3120] ppid=3108 vsize=14093000 memory=1840876 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3120/stat : 3120 (java) S 3108 3111 2501 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 43936003 14431232000 438684 33554432000 4194304 4196468 140735663631744 140560345695744 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3121] ppid=3108 vsize=14093000 memory=7594869225918261605 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3121/stat : 3121 (java) S 3108 3111 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43936005 14431232000 438684 33554432000 4194304 4196468 140735663631744 140560344644304 140561233553307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3122] ppid=3108 vsize=14093000 memory=0 CPUtime=5.11 cores=0,2,4,6
/proc/3111/task/3122/stat : 3122 (java) S 3108 3111 2501 0 -1 1077944384 27346 0 0 0 507 4 0 0 20 0 15 0 43936005 14431232000 438684 33554432000 4194304 4196468 140735663631744 140560343590896 140561233545858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3123] ppid=3108 vsize=14093000 memory=1755264 CPUtime=5.02 cores=0,2,4,6
/proc/3111/task/3123/stat : 3123 (java) S 3108 3111 2501 0 -1 1077944384 27764 0 0 0 499 3 0 0 20 0 15 0 43936005 14431232000 438684 33554432000 4194304 4196468 140735663631744 140560342538352 140561233545858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3124] ppid=3108 vsize=14093000 memory=1756492 CPUtime=1.82 cores=0,2,4,6
/proc/3111/task/3124/stat : 3124 (java) S 3108 3111 2501 0 -1 1077944384 39389 0 0 0 177 5 0 0 20 0 15 0 43936005 14431232000 438684 33554432000 4194304 4196468 140735663631744 140560341485808 140561233545858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3125] ppid=3108 vsize=14093000 memory=1754732 CPUtime=0 cores=0,2,4,6
/proc/3111/task/3125/stat : 3125 (java) S 3108 3111 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43936005 14431232000 438684 33554432000 4194304 4196468 140735663631744 140560340433504 140561233544917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
[pid=3111/tid=3126] ppid=3108 vsize=14093000 memory=1754732 CPUtime=1.33 cores=0,2,4,6
/proc/3111/task/3126/stat : 3126 (java) S 3108 3111 2501 0 -1 1077944384 1718 0 0 0 68 65 0 0 20 0 15 0 43936005 14431232000 438684 33554432000 4194304 4196468 140735663631744 140560339381040 140561233545858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24293376 140735663633493 140735663633673 140735663633673 140735663636431 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1754736 KiB

Child status: 143
Real time (s): 2334.16
CPU time (s): 2400.12
CPU user time (s): 2395.08
CPU system time (s): 5.03619
CPU usage (%): 102.826
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 3012376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.08
system time used= 5.03619
maximum resident set size= 3026712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 637912
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 94624
involuntary context switches= 5359


# summary of solver processes directly reported to runsolver:
#   pid: 3111
#   total CPU time (s): 2400.12
#   total CPU user time (s): 2395.08
#   total CPU system time (s): 5.03619

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1682 second user time and 23.0996 second system time

The end

Launcher Data 

Begin job on node148 at 2018-07-22 14:48:48
IDJOB=4291881
IDBENCH=141193
IDSOLVER=2746
FILE ID=node148/4291881-1532263728
RUNJOBID= node148-1532261360-2532
PBS_JOBID= 21018973
Free space on /tmp= 51956 MiB

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

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

MD5SUM BENCH= 8413fdc9a9128e0623052c10493da036
RANDOM SEED=429139484

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23874532 kB
MemAvailable:   30719224 kB
Buffers:          151044 kB
Cached:          6876540 kB
SwapCached:            8 kB
Active:          2468496 kB
Inactive:        5834472 kB
Active(anon):    1228412 kB
Inactive(anon):    66112 kB
Active(file):    1240084 kB
Inactive(file):  5768360 kB
Unevictable:        7080 kB
Mlocked:            7080 kB
SwapTotal:      67108860 kB
SwapFree:       67108852 kB
Dirty:             35932 kB
Writeback:             0 kB
AnonPages:       1281432 kB
Mapped:            49168 kB
Shmem:             17024 kB
Slab:             292704 kB
SReclaimable:     264708 kB
SUnreclaim:        27996 kB
KernelStack:        3552 kB
PageTables:         7340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3227492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1122304 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= 51920 MiB
End job on node148 at 2018-07-22 15:27:43