Trace number 4310538

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2018-08-14SAT (TO)56773 252.098 238.223

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-scen-06-opt_c18.xml
MD5SUMfd86b7eb5950840b127d09215950c850
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark15000
Best CPU time to get the best result obtained on this benchmark252.026
Satisfiable
(Un)Satisfiability was proved
Number of variables1422
Number of constraints1322
Number of domains7
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":1222},{"size":22,"count":2},{"size":36,"count":92},{"size":44,"count":106}]
Minimum variable degree1
Maximum variable degree44
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":1225},{"degree":3,"count":9},{"degree":4,"count":5},{"degree":5,"count":12},{"degree":6,"count":11},{"degree":7,"count":15},{"degree":8,"count":5},{"degree":9,"count":12},{"degree":10,"count":17},{"degree":11,"count":9},{"degree":12,"count":7},{"degree":13,"count":15},{"degree":14,"count":1},{"degree":15,"count":18},{"degree":17,"count":11},{"degree":19,"count":8},{"degree":20,"count":3},{"degree":21,"count":2},{"degree":22,"count":1},{"degree":23,"count":6},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":27,"count":4},{"degree":28,"count":8},{"degree":30,"count":4},{"degree":35,"count":2},{"degree":36,"count":2},{"degree":39,"count":1},{"degree":44,"count":1}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":100},{"arity":3,"count":1222}]
Number of extensional constraints0
Number of intensional constraints1322
Distribution of constraint types[{"type":"intension","count":1322}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.68/0.55	c version: 2018-08-14
0.68/0.55	c seed: 1042460801
0.68/0.55	c timeout: 252
0.68/0.55	c memlimit: 11000
0.68/0.55	c nbcore: 4
0.68/0.57	c Parsing instance...
5.02/2.16	c Parsing done, starting first complete search...
43.22/36.93	o 109300
43.22/36.93	c First complete search done, starting ALNS search...
43.43/37.10	o 109180
43.94/37.20	o 109179
43.94/37.20	o 109178
44.47/37.41	o 108178
44.47/37.43	o 107178
44.47/37.44	o 106178
44.47/37.46	o 106078
44.47/37.47	o 105978
44.47/37.49	o 105178
44.75/37.50	o 105078
44.75/37.51	o 104978
45.82/38.14	o 104970
45.82/38.15	o 104969
45.82/38.16	o 104960
45.82/38.17	o 104959
45.82/38.19	o 104958
45.91/38.20	o 104957
45.91/38.21	o 104089
45.91/38.22	o 103989
45.91/38.23	o 103988
45.91/38.25	o 103979
45.91/38.26	o 103978
45.91/38.27	o 103977
45.91/38.28	o 103969
45.91/38.29	o 103968
46.10/38.30	o 103967
46.10/38.31	o 103959
46.10/38.32	o 103958
46.10/38.33	o 103957
46.10/38.34	o 103949
46.10/38.35	o 103948
46.10/38.36	o 103947
46.10/38.38	o 103946
46.20/38.41	o 103940
46.20/38.42	o 103939
46.20/38.43	o 103938
46.20/38.45	o 103937
46.20/38.46	o 103936
46.20/38.48	o 103935
46.37/38.50	o 103089
46.37/38.51	o 103079
46.37/38.52	o 103069
46.37/38.53	o 103068
46.37/38.54	o 103067
46.37/38.55	o 103060
46.37/38.56	o 103059
46.37/38.57	o 103058
46.37/38.58	o 103057
46.37/38.59	o 102989
46.54/38.60	o 102988
46.54/38.61	o 102980
46.54/38.62	o 102979
46.54/38.63	o 102978
46.54/38.64	o 102970
46.54/38.65	o 102969
46.54/38.66	o 102968
46.54/38.67	o 102967
46.54/38.69	o 102960
46.67/38.70	o 102959
46.67/38.71	o 102958
46.67/38.72	o 102957
46.67/38.75	o 102956
46.67/38.76	o 102950
46.67/38.77	o 102949
46.67/38.78	o 102948
46.67/38.79	o 102947
46.83/38.80	o 102946
46.83/38.81	o 102940
46.83/38.83	o 102939
46.83/38.84	o 102938
46.83/38.85	o 102937
46.83/38.86	o 102936
46.83/38.87	o 102935
46.93/38.92	o 102934
46.93/38.96	o 102933
46.93/39.00	o 102091
47.04/39.01	o 101991
47.04/39.02	o 101990
47.04/39.03	o 101989
47.04/39.04	o 101981
47.04/39.05	o 101980
47.04/39.06	o 101979
47.04/39.07	o 101978
47.04/39.08	o 101977
47.04/39.09	o 101976
47.04/39.10	o 101971
47.14/39.11	o 101970
47.14/39.12	o 101969
47.14/39.13	o 101968
47.14/39.14	o 101967
47.14/39.15	o 101966
47.14/39.16	o 101965
47.14/39.17	o 101961
47.14/39.18	o 101960
47.14/39.19	o 101959
47.24/39.20	o 101958
47.24/39.21	o 101957
47.24/39.22	o 101956
47.24/39.23	o 101955
47.24/39.24	o 101951
47.24/39.25	o 101950
47.24/39.26	o 101949
47.24/39.27	o 101948
47.24/39.28	o 101947
47.24/39.29	o 101946
47.37/39.30	o 101945
47.37/39.32	o 101944
47.37/39.33	o 101891
47.37/39.34	o 101881
47.37/39.35	o 101871
47.37/39.36	o 101870
47.37/39.37	o 101869
47.37/39.38	o 101868
47.37/39.39	o 101867
47.37/39.40	o 101866
47.47/39.41	o 101861
47.47/39.42	o 101860
47.47/39.43	o 101859
47.47/39.44	o 101858
47.47/39.45	o 101857
47.47/39.46	o 101856
47.47/39.47	o 101851
47.47/39.48	o 101850
47.47/39.49	o 101849
47.58/39.51	o 101848
47.58/39.52	o 101847
47.58/39.53	o 101846
47.58/39.54	o 101845
47.75/39.61	o 101844
47.75/39.61	o 101843
47.75/39.68	o 101753
47.75/39.69	o 101752
47.91/39.70	o 101751
48.18/39.95	o 101741
48.30/40.03	o 101451
48.30/40.04	o 101441
48.30/40.06	o 100351
48.30/40.07	o 100341
48.30/40.09	o 100251
48.41/40.11	o 100241
48.41/40.13	o 100231
48.41/40.15	o 100151
48.41/40.16	o 100141
48.41/40.17	o 100131
48.41/40.19	o 100121
48.52/40.26	o 100111
48.52/40.28	o 100051
48.52/40.29	o 100041
48.62/40.30	o 100031
48.62/40.32	o 100021
48.62/40.34	o 100011
48.62/40.38	o 100001
48.75/40.42	o 99991
48.75/40.47	o 99981
48.85/40.50	o 99971
48.85/40.54	o 99951
48.85/40.56	o 99941
48.85/40.57	o 99931
48.85/40.59	o 99921
48.95/40.61	o 99911
48.95/40.62	o 99901
48.95/40.64	o 99891
48.95/40.65	o 99881
48.95/40.68	o 99871
49.06/40.72	o 99851
49.06/40.73	o 99841
49.06/40.75	o 99831
49.06/40.77	o 99821
49.06/40.79	o 99811
49.19/40.80	o 99801
49.19/40.82	o 99791
49.19/40.85	o 99781
49.29/40.99	o 99771
49.40/41.08	o 99751
49.40/41.10	o 99741
49.53/41.12	o 99731
49.53/41.14	o 99721
49.53/41.15	o 99711
49.53/41.17	o 99701
49.53/41.19	o 99691
49.62/41.21	o 99681
49.62/41.24	o 99671
49.72/41.33	o 99651
49.72/41.34	o 99641
49.72/41.35	o 99631
49.72/41.36	o 99621
49.72/41.38	o 99611
49.72/41.39	o 99601
49.82/41.40	o 99591
49.82/41.41	o 99581
49.82/41.43	o 99571
49.82/41.45	o 99551
49.82/41.46	o 99541
49.82/41.47	o 99531
49.82/41.48	o 99521
49.82/41.50	o 99511
49.93/41.51	o 99501
49.93/41.52	o 99491
49.93/41.54	o 99481
49.93/41.57	o 99471
50.33/41.98	o 99467
50.33/41.99	o 99466
50.33/42.00	o 99465
50.60/42.01	o 99464
50.60/42.02	o 99463
50.60/42.04	o 99456
50.60/42.05	o 99455
50.60/42.05	o 99454
50.60/42.06	o 99453
50.60/42.09	o 99447
50.60/42.09	o 99446
50.60/42.10	o 99445
50.74/42.11	o 99444
50.74/42.14	o 99443
50.74/42.14	o 99442
50.83/42.21	o 99440
50.83/42.22	o 99439
50.83/42.23	o 99438
50.83/42.24	o 99437
50.83/42.25	o 99436
50.83/42.28	o 99435
50.94/42.30	o 99434
51.16/42.53	o 99390
51.16/42.54	o 99389
51.16/42.56	o 99388
51.16/42.57	o 99380
51.16/42.59	o 99379
51.26/42.60	o 99378
51.26/42.61	o 99377
51.26/42.63	o 99376
51.26/42.64	o 99375
51.26/42.66	o 99374
51.26/42.68	o 99369
51.26/42.69	o 99368
51.37/42.70	o 99367
51.37/42.72	o 99366
51.37/42.73	o 99365
51.37/42.75	o 99364
51.37/42.76	o 99363
51.37/42.78	o 99361
51.37/42.79	o 99360
51.46/42.80	o 99359
51.46/42.81	o 99358
51.46/42.82	o 99357
51.46/42.84	o 99356
51.46/42.85	o 99355
51.46/42.88	o 99354
51.46/42.90	o 99353
51.57/42.94	o 99351
51.57/42.95	o 99350
51.57/42.96	o 99349
51.57/42.97	o 99348
51.57/42.97	o 99347
51.57/42.99	o 99346
51.57/43.00	o 99345
51.69/43.04	o 99344
51.69/43.07	o 99342
51.69/43.09	o 99341
51.69/43.10	o 99340
51.79/43.13	o 99339
51.79/43.15	o 99338
51.79/43.16	o 99337
51.79/43.18	o 99336
52.12/43.44	o 98677
52.12/43.46	o 98676
52.12/43.47	o 98675
52.12/43.48	o 98667
52.12/43.49	o 98666
52.22/43.50	o 98665
52.22/43.52	o 98664
52.22/43.53	o 98663
52.22/43.55	o 98662
52.22/43.57	o 98661
52.22/43.59	o 98659
52.32/43.60	o 98657
52.32/43.61	o 98656
52.32/43.63	o 98655
52.32/43.64	o 98654
52.32/43.66	o 98653
52.32/43.69	o 98578
52.42/43.70	o 98577
52.42/43.72	o 98576
52.42/43.73	o 98568
52.42/43.74	o 98567
52.42/43.76	o 98566
52.42/43.78	o 98565
52.52/43.80	o 98564
52.52/43.82	o 98563
52.52/43.84	o 98562
52.52/43.86	o 98561
52.52/43.88	o 98560
52.52/43.89	o 98559
52.62/43.90	o 98558
52.62/43.92	o 98557
52.62/43.94	o 98556
52.76/44.02	o 98464
52.76/44.04	o 98463
52.76/44.04	o 98462
52.96/44.21	o 98461
52.96/44.23	o 98460
52.96/44.25	o 98459
52.96/44.27	o 98458
52.96/44.29	o 98454
53.06/44.30	o 98453
53.06/44.31	o 98452
53.06/44.32	o 98451
53.06/44.34	o 98450
53.06/44.37	o 98449
53.06/44.38	o 98448
53.21/44.41	o 98447
53.31/44.58	o 98437
53.55/44.75	o 98360
53.55/44.76	o 98359
53.55/44.77	o 98350
53.55/44.78	o 98349
53.55/44.79	o 98348
53.65/44.80	o 98347
53.65/44.81	o 98338
53.65/44.82	o 98337
53.65/44.84	o 98336
53.65/44.85	o 98248
53.65/44.86	o 98238
53.65/44.87	o 98237
53.65/44.88	o 98236
53.65/44.89	o 98148
53.75/44.90	o 98147
53.75/44.91	o 98138
53.75/44.92	o 98137
53.75/44.93	o 98136
53.75/45.00	o 97850
53.93/45.01	o 97849
53.93/45.02	o 97840
53.93/45.03	o 97839
53.93/45.04	o 97750
53.93/45.05	o 97740
53.93/45.06	o 97739
53.93/45.07	o 97650
53.93/45.08	o 97649
53.93/45.09	o 97640
53.93/45.09	o 97639
53.93/45.10	o 97630
54.03/45.11	o 97629
54.03/45.12	o 97550
54.03/45.13	o 97549
54.03/45.14	o 97540
54.03/45.15	o 97539
54.03/45.16	o 97450
54.03/45.16	o 97449
54.03/45.17	o 97440
54.03/45.18	o 97439
54.03/45.19	o 97438
54.12/45.20	o 97428
54.12/45.21	o 97338
54.12/45.22	o 97328
54.12/45.23	o 97238
54.12/45.24	o 97228
54.12/45.25	o 97227
54.12/45.26	o 97226
54.12/45.29	o 97148
54.22/45.30	o 97138
54.22/45.31	o 97137
54.22/45.32	o 97136
54.22/45.38	o 97128
54.22/45.39	o 97127
54.32/45.40	o 97126
54.42/45.59	o 97125
54.52/45.63	o 97120
54.52/45.64	o 97119
54.52/45.65	o 97118
54.52/45.66	o 97117
54.52/45.68	o 97058
54.52/45.69	o 97057
54.62/45.70	o 97056
54.62/45.72	o 97048
54.62/45.73	o 97047
54.62/45.74	o 97046
54.62/45.75	o 97045
54.62/45.76	o 97038
54.62/45.77	o 97037
54.62/45.78	o 97036
54.62/45.79	o 97035
54.74/45.80	o 97030
54.74/45.81	o 97029
54.74/45.82	o 97028
54.74/45.84	o 97027
54.85/45.96	o 96961
54.85/45.97	o 96960
54.85/45.98	o 96959
54.85/45.99	o 96951
54.85/46.00	o 96950
54.96/46.01	o 96949
54.96/46.02	o 96941
54.96/46.03	o 96940
54.96/46.04	o 96939
54.96/46.06	o 96938
54.96/46.07	o 96931
54.96/46.08	o 96930
54.96/46.09	o 96929
54.96/46.10	o 96928
55.06/46.12	o 96861
55.06/46.12	o 96851
55.06/46.14	o 96850
55.06/46.15	o 96849
55.06/46.16	o 96841
55.06/46.17	o 96840
55.06/46.19	o 96839
55.15/46.21	o 96838
55.15/46.22	o 96831
55.15/46.22	o 96830
55.15/46.23	o 96829
55.15/46.25	o 96828
55.15/46.26	o 96761
55.15/46.28	o 96760
55.15/46.29	o 96759
55.25/46.30	o 96751
55.25/46.32	o 96750
55.25/46.33	o 96749
55.25/46.34	o 96748
55.25/46.35	o 96741
55.25/46.36	o 96740
55.25/46.38	o 96739
55.25/46.39	o 96738
55.35/46.41	o 96733
55.35/46.41	o 96732
55.35/46.42	o 96731
55.35/46.44	o 96730
55.47/46.50	o 96729
55.47/46.51	o 96728
55.47/46.52	o 96727
55.47/46.53	o 96726
55.47/46.54	o 96721
55.47/46.56	o 96720
55.47/46.57	o 96719
55.47/46.58	o 96718
58.34/49.32	o 95940
58.34/49.33	o 95930
58.34/49.34	o 95920
58.34/49.34	o 95910
58.34/49.35	o 95840
58.34/49.36	o 95830
58.34/49.37	o 95820
58.34/49.37	o 95810
58.34/49.38	o 95800
58.34/49.39	o 95730
58.44/49.40	o 95720
58.44/49.41	o 95710
58.44/49.42	o 95700
58.44/49.47	o 95699
58.75/49.70	o 95698
58.75/49.72	o 95697
58.75/49.73	o 95696
58.75/49.75	o 95695
59.37/50.34	o 95308
59.37/50.35	o 95208
59.37/50.37	o 95198
59.37/50.39	o 95197
59.47/50.40	o 95187
59.47/50.42	o 95177
59.47/50.44	o 95176
59.47/50.46	o 95167
59.47/50.47	o 95166
59.47/50.49	o 94297
59.57/50.51	o 94296
59.57/50.53	o 94287
59.57/50.55	o 94286
59.57/50.57	o 94277
59.57/50.59	o 94276
59.67/50.61	o 94208
59.67/50.62	o 94207
59.67/50.64	o 94198
59.67/50.65	o 94197
59.88/50.88	o 93197
59.98/50.93	o 92197
60.53/51.46	o 91638
60.53/51.48	o 91637
60.63/51.51	o 91628
60.63/51.52	o 91627
60.63/51.55	o 91528
60.63/51.58	o 91518
60.73/51.60	o 91517
60.73/51.64	o 91510
60.73/51.65	o 91509
60.73/51.68	o 91508
60.83/51.70	o 91507
60.83/51.72	o 90628
60.83/51.73	o 90618
60.83/51.75	o 90617
60.83/51.78	o 90528
60.83/51.79	o 90527
60.93/51.81	o 90518
60.93/51.83	o 90517
60.93/51.87	o 90510
60.93/51.89	o 90509
61.04/51.91	o 90500
61.04/51.93	o 90499
61.04/51.95	o 90498
61.04/51.97	o 89618
61.04/52.00	o 89617
61.15/52.02	o 89608
61.15/52.05	o 89607
61.15/52.07	o 89528
61.15/52.08	o 89527
61.26/52.11	o 89518
61.26/52.12	o 89517
61.26/52.14	o 89508
61.26/52.16	o 89507
61.35/52.22	o 89506
61.55/52.48	o 88702
61.65/52.50	o 88701
61.65/52.52	o 88700
61.65/52.54	o 88692
61.65/52.55	o 88691
61.65/52.57	o 88690
61.65/52.59	o 88612
61.76/52.61	o 88611
61.76/52.62	o 88610
61.76/52.64	o 88602
61.76/52.66	o 88601
61.76/52.67	o 88600
61.76/52.69	o 88592
61.86/52.71	o 88591
61.86/52.72	o 88590
61.86/52.75	o 88581
61.86/52.76	o 88580
61.86/52.79	o 88571
61.96/52.80	o 88570
61.96/52.83	o 88569
61.96/52.85	o 88568
61.96/52.87	o 87720
61.96/52.88	o 87719
62.06/52.90	o 87620
62.06/52.91	o 87619
62.06/52.93	o 87610
62.06/52.95	o 87609
62.06/52.97	o 87600
62.06/52.99	o 87599
62.18/53.01	o 87598
62.18/53.03	o 87589
62.18/53.05	o 87588
62.18/53.07	o 87579
62.18/53.09	o 87578
62.28/53.18	o 86578
63.38/54.22	o 84575
63.58/54.40	o 84574
63.58/54.45	o 84573
63.68/54.58	o 84572
63.90/54.74	o 84554
63.90/54.75	o 84553
63.90/54.77	o 84552
64.00/54.87	o 84551
64.31/55.12	o 84544
64.31/55.14	o 84543
64.31/55.16	o 84542
64.40/55.28	o 84541
65.00/55.80	o 84470
65.00/55.83	o 84460
66.32/57.03	o 83460
67.43/58.17	o 82460
68.34/59.01	o 82450
68.34/59.04	o 82448
68.34/59.06	o 82447
68.53/59.26	o 81770
68.53/59.27	o 81760
68.53/59.29	o 81758
68.63/59.31	o 81670
68.63/59.32	o 81668
68.63/59.34	o 81660
68.63/59.36	o 81658
68.63/59.37	o 81570
68.63/59.39	o 81568
68.73/59.41	o 81560
68.73/59.42	o 81558
68.73/59.44	o 81470
68.73/59.45	o 81460
68.73/59.46	o 81458
68.73/59.48	o 81450
68.83/59.51	o 81448
68.94/59.61	o 81447
69.04/59.75	o 81446
69.04/59.78	o 81440
69.04/59.79	o 81439
69.14/59.82	o 81438
69.14/59.83	o 81437
69.24/59.92	o 81436
69.35/60.03	o 81370
69.35/60.04	o 81360
69.35/60.05	o 81359
69.35/60.07	o 81350
69.35/60.09	o 81349
69.35/60.10	o 81348
69.45/60.12	o 81347
69.45/60.16	o 81346
69.45/60.19	o 81340
69.55/60.20	o 81339
69.55/60.23	o 81338
69.55/60.25	o 81337
69.65/60.33	o 81336
75.42/65.94	o 81330
75.42/66.00	o 81329
75.53/66.05	o 81328
75.53/66.10	o 81327
75.63/66.16	o 81326
76.03/66.57	o 81321
76.13/66.62	o 81320
76.13/66.68	o 81319
76.23/66.73	o 81318
76.23/66.78	o 81317
76.33/66.87	o 81316
76.55/67.10	o 81311
76.65/67.14	o 81310
76.74/67.20	o 81309
76.74/67.25	o 81308
76.84/67.31	o 81307
76.84/67.38	o 81306
83.50/73.83	o 80537
83.50/73.85	o 80437
83.50/73.87	o 80427
83.60/73.90	o 80337
83.60/73.94	o 80327
83.60/73.98	o 80326
83.71/74.03	o 80316
84.11/74.48	o 80226
84.22/74.51	o 80216
84.42/74.73	o 80206
86.00/76.22	o 80170
86.00/76.23	o 80160
86.00/76.24	o 80151
86.00/76.26	o 80150
86.00/76.27	o 80141
86.11/76.30	o 80140
86.11/76.31	o 80139
86.11/76.35	o 80131
86.11/76.36	o 80130
86.11/76.38	o 80129
86.21/76.43	o 80128
86.21/76.49	o 80119
86.31/76.50	o 80118
86.31/76.52	o 80117
86.31/76.54	o 80116
86.31/76.57	o 80110
86.31/76.58	o 80109
86.31/76.59	o 80108
86.41/76.60	o 80107
86.41/76.70	o 80106
86.51/76.74	o 80101
86.51/76.75	o 80100
86.51/76.76	o 80099
86.51/76.77	o 80098
86.51/76.78	o 80097
86.61/76.81	o 80096
86.61/76.86	o 80090
86.61/76.87	o 80089
86.61/76.88	o 80088
86.61/76.89	o 80087
90.60/80.78	o 79987
92.59/82.61	o 79369
92.59/82.63	o 79359
92.81/82.85	o 78478
92.92/82.99	o 78378
93.03/83.06	o 78376
93.22/83.28	o 77477
93.33/83.31	o 77475
93.33/83.37	o 77365
94.47/84.41	o 77355
95.28/85.23	o 77288
95.28/85.25	o 77277
95.38/85.31	o 77276
95.48/85.44	o 77275
95.58/85.50	o 77274
95.69/85.63	o 77256
95.69/85.66	o 77077
95.69/85.68	o 76977
95.79/85.71	o 76966
95.79/85.75	o 76897
95.79/85.77	o 76886
95.89/85.80	o 76877
95.89/85.83	o 76866
95.89/85.86	o 76865
95.89/85.90	o 76864
95.99/85.92	o 76863
96.50/86.45	o 75975
96.50/86.47	o 75965
96.60/86.50	o 75964
96.60/86.60	o 74985
96.70/86.62	o 74984
96.70/86.64	o 74975
96.70/86.66	o 74974
96.90/86.81	o 74773
98.02/87.96	o 74763
98.23/88.12	o 74693
98.23/88.16	o 74673
98.23/88.18	o 74672
98.32/88.20	o 74663
98.72/88.66	o 74096
98.72/88.68	o 73995
98.82/88.71	o 73985
98.82/88.78	o 73975
98.92/88.80	o 73965
98.92/88.84	o 73964
98.92/88.87	o 73906
98.92/88.90	o 73896
99.03/88.92	o 73895
99.03/88.94	o 73885
100.96/90.89	o 73877
102.60/92.45	o 73839
102.70/92.51	o 73829
103.27/93.02	o 73828
103.27/93.04	o 73827
103.68/93.40	o 73826
104.50/94.22	o 73809
104.50/94.23	o 73799
104.50/94.25	o 73789
104.50/94.29	o 73787
104.60/94.32	o 73786
104.60/94.35	o 73785
104.90/94.70	o 73709
105.00/94.72	o 73708
105.00/94.74	o 73707
105.00/94.77	o 73699
105.00/94.79	o 73698
105.10/94.81	o 73697
105.10/94.83	o 73689
105.10/94.86	o 73688
105.10/94.87	o 73687
105.20/94.91	o 73686
105.20/94.94	o 73685
105.71/95.44	o 73619
105.71/95.46	o 73609
105.71/95.49	o 73608
105.81/95.51	o 73607
105.81/95.53	o 73599
105.81/95.55	o 73598
105.81/95.57	o 73597
106.63/96.34	o 73588
106.63/96.40	o 73587
109.48/99.11	o 73511
109.48/99.12	o 73510
109.48/99.15	o 73509
109.48/99.17	o 73500
109.48/99.19	o 73499
109.57/99.20	o 73498
109.67/99.37	o 73491
109.67/99.38	o 73490
109.77/99.40	o 73489
111.59/101.27	o 73488
113.11/102.75	o 73451
113.21/102.80	o 73450
113.21/102.86	o 73449
114.12/103.73	o 73448
114.78/104.34	o 72879
114.88/104.43	o 72869
114.98/104.53	o 72859
115.08/104.60	o 72849
115.18/104.71	o 72848
115.28/104.81	o 72768
115.28/104.88	o 72758
117.41/107.01	o 72662
117.52/107.06	o 72661
119.96/109.45	o 72660
120.08/109.50	o 72659
120.48/109.90	o 72572
120.48/109.97	o 72571
120.59/110.03	o 72561
120.59/110.09	o 72560
120.79/110.28	o 72559
120.99/110.45	o 72469
121.09/110.52	o 72459
121.09/110.58	o 72458
121.19/110.66	o 71680
121.30/110.72	o 71679
121.30/110.79	o 71580
121.40/110.85	o 71579
121.50/110.93	o 71569
121.50/111.00	o 71568
121.61/111.07	o 71559
121.71/111.15	o 71558
122.32/111.75	o 71549
122.43/111.81	o 71539
122.83/112.28	o 70791
122.93/112.31	o 70781
122.93/112.33	o 70691
122.93/112.36	o 70681
122.93/112.39	o 70671
123.03/112.41	o 70669
123.03/112.43	o 70659
123.03/112.48	o 70649
123.13/112.51	o 70579
123.13/112.54	o 70569
123.13/112.56	o 70559
123.24/112.61	o 70549
123.85/113.27	o 70539
124.68/114.08	o 70530
124.78/114.15	o 70440
124.87/114.21	o 70430
124.97/114.32	o 70429
125.08/114.41	o 69538
125.08/114.48	o 69528
125.18/114.56	o 69438
125.28/114.63	o 69428
130.28/119.49	o 68637
130.79/119.99	o 68538
131.20/120.30	o 68450
131.30/120.44	o 68360
133.66/122.77	o 67684
133.76/122.80	o 67584
133.76/122.83	o 67484
133.76/122.87	o 67474
133.98/123.01	o 67473
134.17/123.28	o 67472
134.27/123.30	o 67471
134.37/123.46	o 67464
134.48/123.50	o 67462
134.48/123.52	o 67385
134.48/123.55	o 67374
134.48/123.58	o 67364
134.58/123.61	o 67362
134.58/123.65	o 67361
134.79/123.81	o 67355
134.79/123.89	o 67354
134.89/123.92	o 67353
138.47/127.46	o 67332
138.57/127.50	o 67331
138.57/127.55	o 67322
138.68/127.61	o 67321
139.41/128.30	o 67233
139.41/128.38	o 67232
139.52/128.47	o 67231
139.62/128.54	o 67230
139.72/128.65	o 67132
139.82/128.71	o 67131
139.82/128.78	o 67130
140.14/129.10	o 67122
140.24/129.16	o 67121
140.33/129.22	o 67120
140.43/129.33	o 67119
140.43/129.37	o 67118
144.32/133.19	o 67037
144.42/133.22	o 67027
145.03/133.81	o 67017
146.13/134.80	o 66939
146.35/135.05	o 66839
146.54/135.25	o 66829
146.74/135.46	o 66819
146.74/135.49	o 66719
149.62/138.23	o 66630
149.62/138.25	o 66619
149.62/138.29	o 66618
149.72/138.35	o 66617
149.92/138.55	o 65640
150.02/138.60	o 65639
150.02/138.64	o 65629
150.02/138.67	o 65628
150.13/138.74	o 65627
152.59/141.15	o 65626
152.79/141.32	o 65529
152.79/141.35	o 65528
152.79/141.37	o 65527
154.01/142.58	o 65447
154.12/142.65	o 65437
154.22/142.77	o 65427
154.53/143.05	o 65426
157.89/146.36	o 65360
157.89/146.37	o 65350
157.89/146.40	o 65340
157.99/146.43	o 65337
157.99/146.47	o 65330
158.09/146.50	o 65329
158.09/146.52	o 65327
158.51/146.91	o 64855
158.51/146.94	o 64845
158.51/146.98	o 64755
158.62/147.01	o 64745
158.62/147.05	o 64656
158.73/147.17	o 64655
158.73/147.19	o 64654
158.89/147.25	o 64653
158.99/147.33	o 64652
159.40/147.71	o 64651
159.50/147.81	o 64650
159.73/148.03	o 64649
159.92/148.20	o 64648
160.02/148.38	o 64647
160.32/148.63	o 64555
160.32/148.69	o 64554
160.42/148.77	o 64553
161.49/149.72	o 64552
161.59/149.83	o 64543
161.59/149.87	o 64542
161.69/149.91	o 64541
162.43/150.60	o 64482
162.43/150.67	o 64472
162.63/150.81	o 64471
163.15/151.31	o 64373
163.15/151.34	o 64363
163.25/151.47	o 64362
163.96/152.13	o 64353
164.05/152.20	o 64343
164.05/152.27	o 64342
164.26/152.49	o 64341
166.28/154.35	o 64332
166.38/154.40	o 64331
166.38/154.50	o 64322
166.48/154.54	o 64321
172.43/160.33	o 64221
172.73/160.60	o 64121
172.83/160.77	o 64120
183.42/171.12	o 63621
183.42/171.19	o 63521
183.51/171.27	o 63421
183.61/171.35	o 63321
183.71/171.42	o 63221
184.33/172.04	o 63211
184.53/172.24	o 63121
184.64/172.30	o 63111
185.54/173.30	o 63110
185.74/173.42	o 62433
185.84/173.52	o 62432
185.94/173.62	o 62333
186.04/173.70	o 62332
186.14/173.81	o 62323
186.25/173.90	o 62322
186.36/174.02	o 62233
186.36/174.09	o 62223
186.46/174.18	o 62222
186.55/174.29	o 62213
186.65/174.37	o 62212
186.75/174.46	o 62211
188.38/176.03	o 62141
188.97/176.66	o 62140
189.17/176.80	o 62139
189.17/176.88	o 62131
189.27/176.94	o 62130
189.38/177.01	o 62129
189.62/177.26	o 61239
189.82/177.45	o 61152
189.92/177.50	o 61142
189.92/177.57	o 61052
190.02/177.63	o 61042
190.02/177.68	o 61041
190.12/177.76	o 61040
190.22/177.81	o 61039
190.32/177.90	o 61032
190.32/178.00	o 61030
190.43/178.08	o 61029
190.83/178.48	o 61022
190.93/178.52	o 61021
190.93/178.59	o 61020
191.03/178.63	o 61019
191.14/178.72	o 60363
191.14/178.79	o 60361
191.24/178.86	o 60352
191.34/178.93	o 60350
191.34/179.00	o 60252
191.45/179.07	o 60250
191.55/179.15	o 60242
191.64/179.22	o 60240
191.64/179.27	o 60232
191.74/179.32	o 60230
191.74/179.39	o 60222
195.39/182.98	o 59530
195.50/183.05	o 59430
195.60/183.12	o 59420
195.60/183.20	o 59410
195.80/183.32	o 59330
195.80/183.39	o 59320
195.90/183.46	o 59310
196.00/183.55	o 59232
196.10/183.61	o 59222
196.10/183.67	o 59212
196.61/184.13	o 59211
197.46/184.92	o 58325
197.46/184.93	o 58324
197.46/184.95	o 58323
197.57/185.01	o 58322
197.70/185.11	o 58321
197.79/185.23	o 58320
197.89/185.37	o 58319
198.09/185.52	o 58318
198.29/185.73	o 58317
198.50/185.92	o 58316
198.71/186.13	o 57625
198.71/186.17	o 57624
198.80/186.25	o 57525
198.80/186.29	o 57524
199.30/186.76	o 57523
199.44/186.83	o 57522
199.44/186.87	o 57521
199.57/186.98	o 57520
199.78/187.18	o 57519
199.97/187.40	o 57518
200.27/187.62	o 57517
200.47/187.84	o 57516
200.57/188.00	o 57515
200.81/188.19	o 57514
200.90/188.30	o 57513
201.10/188.43	o 57424
201.10/188.47	o 57414
201.20/188.54	o 57404
202.91/190.30	o 57308
203.11/190.46	o 57307
203.32/190.67	o 57306
203.52/190.89	o 57305
203.73/191.08	o 57304
203.93/191.23	o 57303
204.61/191.82	o 57302
204.61/191.87	o 57301
204.92/192.17	o 57300
205.31/192.59	o 57299
205.61/192.89	o 57298
206.10/193.32	o 57297
207.08/194.29	o 57296
207.89/195.05	o 57212
207.89/195.10	o 57211
208.14/195.20	o 57210
208.24/195.32	o 57209
208.34/195.44	o 57208
208.44/195.59	o 57207
208.54/195.69	o 57206
208.74/195.85	o 57205
208.84/195.99	o 57204
209.05/196.17	o 57203
209.15/196.28	o 57202
210.12/197.12	o 57122
211.02/198.05	o 57121
211.21/198.22	o 57111
211.31/198.38	o 57101
211.78/198.70	o 57100
211.88/198.82	o 57002
211.98/198.91	o 57001
211.98/199.00	o 57000
212.09/199.09	o 56992
212.19/199.17	o 56991
212.28/199.25	o 56990
212.58/199.52	o 56989
212.68/199.64	o 56891
212.78/199.75	o 56890
212.88/199.86	o 56889
213.09/200.10	o 56888
214.80/201.72	o 56887
214.90/201.82	o 56886
217.36/204.26	o 56885
218.03/204.81	o 56884
223.57/210.03	o 56786
223.57/210.08	o 56785
223.67/210.17	o 56784
223.77/210.20	o 56783
239.61/226.00	o 56774
239.82/226.14	o 56773
252.06/238.20	s SATISFIABLE
252.06/238.20	v <instantiation>
252.06/238.20	v 	<list>
252.06/238.20	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382]
252.06/238.20	v 	</list>
252.06/238.20	v 	<values>
252.06/238.20	v 		792 554 792 554 282 44 554 792 352 114 282 44 680 442 414 652 792 554 30 268 484 722 58 296 142 380 764 526 666 428 792 554 44 282 16 254 114 352 792 554 554 792 58 296 540 778 778 540 554 792 324 86 114 352 554 792 254 16 352 114 324 86 310 72 666 428 792 554 394 156 554 792 470 708 778 540 296 58 540 778 58 296 778 540 792 554 540 778 778 540 72 310 268 30 456 694 778 540 778 540 792 554 680 442 310 72 128 366 142 380 394 156 282 44 778 540 540 778 72 310 470 708 778 540 296 58 324 86 380 142 540 778 324 86 750 512 540 778 30 268 470 708 30 268 58 296 428 666 282 44 722 484 792 554 268 30 512 750 142 380 142 380 142 380 156 394 142 380 540 778 778 540 526 764 282 44 72 310 792 554 736 498 282 44 722 484 58 296 498 736 428 666 380 142 380 142 540 778 100 338 1000 0 1000 1000 0 1000 0 0 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 1000 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 1000 0 0 0 0 1000 0 0 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 0 0 1000 0 0 0 1000 0 1000 1000 0 0 1000 1000 1000 0 0 1000 1000 0 1000 1000 0 0 0 1000 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 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 100 100 100 0 100 0 100 100 0 100 0 100 0 0 0 0 100 0 100 0 0 100 100 0 100 0 0 0 100 100 0 100 100 100 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 100 0 0 0 0 0 100 0 0 0 0 100 0 100 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 100 100 0 100 0 100 0 0 0 100 0 100 0 0 0 100 0 0 100 100 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 100 0 0 100 0 100 0 0 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 100 0 0 100 0 100 0 0 0 0 100 100 0 0 0 100 0 0 0 100 100 100 100 100 0 0 0 0 100 0 0 0 0 100 100 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 100 100 0 100 0 0 0 0 100 0 0 100 0 100 0 100 0 100 100 0 100 100 100 100 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 10 0 10 0 0 10 10 0 0 0 0 10 0 10 10 10 10 10 10 10 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 10 10 0 0 0 0 0 10 10 10 10 10 0 0 10 0 0 0 0 0 10 10 0 10 0 0 0 0 10 0 10 0 0 10 10 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 10 10 0 0 10 10 0 10 10 0 0 10 10 0 0 0 0 0 0 0 0 0 0 10 0 10 10 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 10 0 0 10 0 0 10 10 10 0 0 0 0 0 0 0 10 10 0 0 0 0 10 0 0 10 10 10 0 0 10 0 0 0 0 10 10 0 0 10 0 0 10 0 0 10 10 0 0 0 10 0 10 0 10 10 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 10 10 10 10 0 10 0 10 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 10 10 10 10 0 10 10 0 10 0 0 0 10 0 0 10 10 0 10 0 0 0 0 10 0 10 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 1 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 0 1 1 1 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 1 
252.06/238.20	v 	</values>
252.06/238.20	v </instantiation>

Verifier Data 

OK	56773

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310538-1534335616/watcher-4310538-1534335616 -o /tmp/evaluation-result-4310538-1534335616/solver-4310538-1534335616 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534335616-31853 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1042460801 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310538-1534335616.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=31881, runsolver pid=31876

[startup+0.100146 s]*
/proc/loadavg: 0.89 1.07 1.31 4/218 31914
/proc/meminfo: memFree=26882492/32770624 swapFree=67108804/67108860
[pid=31881] ppid=31876 vsize=14082736 memory=35688 CPUtime=0.12 cores=1,3,5,7
/proc/31881/stat : 31881 (java) S 31876 31881 28126 0 -1 1077944320 7339 0 0 0 11 1 0 0 20 0 15 0 251124794 14420721664 8922 33554432000 4194304 4196468 140725075615920 140725075598464 140645138816759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
/proc/31881/statm: 3520684 8922 3138 1 0 3482761 0
[pid=31881/tid=31887] ppid=31876 vsize=14082736 memory=5450919713671312938 CPUtime=0.09 cores=1,3,5,7
/proc/31881/task/31887/stat : 31887 (java) R 31876 31881 28126 0 -1 4202560 5420 0 0 0 9 0 0 0 20 0 15 0 251124794 14420721664 8922 33554432000 4194304 4196468 140725075615920 140645143022048 140645138838685 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31889] ppid=31876 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31889/stat : 31889 (java) S 31876 31881 28126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251124795 14420721664 8922 33554432000 4194304 4196468 140725075615920 140645091437584 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31890] ppid=31876 vsize=14082736 memory=139960590009984 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31890/stat : 31890 (java) S 31876 31881 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251124795 14420721664 8922 33554432000 4194304 4196468 140725075615920 140645090385040 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31891] ppid=31876 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31891/stat : 31891 (java) S 31876 31881 28126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251124795 14420721664 8922 33554432000 4194304 4196468 140725075615920 140645089331984 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31892] ppid=31876 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31892/stat : 31892 (java) S 31876 31881 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251124795 14420721664 8922 33554432000 4194304 4196468 140725075615920 140645088279440 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31897] ppid=31876 vsize=14082736 memory=139960590009984 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31897/stat : 31897 (java) S 31876 31881 28126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251124796 14420721664 8922 33554432000 4194304 4196468 140725075615920 140644342708464 140645138827906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31899] ppid=31876 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31899/stat : 31899 (java) S 31876 31881 28126 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 251124797 14420721664 8922 33554432000 4194304 4196468 140725075615920 140644251608224 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31900] ppid=31876 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31900/stat : 31900 (java) S 31876 31881 28126 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251124797 14420721664 8922 33554432000 4194304 4196468 140725075615920 140644250555120 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31903] ppid=31876 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31903/stat : 31903 (java) S 31876 31881 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251124799 14420721664 8922 33554432000 4194304 4196468 140725075615920 140644249503696 140645138835355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31904] ppid=31876 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31904/stat : 31904 (java) S 31876 31881 28126 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 15 0 251124799 14420721664 8922 33554432000 4194304 4196468 140725075615920 140644248451824 140645138827906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31905] ppid=31876 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31905/stat : 31905 (java) S 31876 31881 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251124799 14420721664 8922 33554432000 4194304 4196468 140725075615920 140644247399280 140645138827906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31906] ppid=31876 vsize=14082736 memory=139960590009984 CPUtime=0.01 cores=1,3,5,7
/proc/31881/task/31906/stat : 31906 (java) R 31876 31881 28126 0 -1 4202560 241 0 0 0 1 0 0 0 20 0 15 0 251124799 14420721664 8922 33554432000 4194304 4196468 140725075615920 140644246346224 140645117489174 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31911] ppid=31876 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31911/stat : 31911 (java) S 31876 31881 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251124800 14420721664 8922 33554432000 4194304 4196468 140725075615920 140644245293920 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31913] ppid=31876 vsize=14082736 memory=139960590009984 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31913/stat : 31913 (java) S 31876 31881 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251124800 14420721664 8922 33554432000 4194304 4196468 140725075615920 140644244240944 140645138827906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 35688 KiB

[startup+0.216779 s]*
/proc/loadavg: 0.89 1.07 1.31 8/218 31914
/proc/meminfo: memFree=26852228/32770624 swapFree=67108804/67108860
[pid=31881] ppid=31876 vsize=14082736 memory=49636 CPUtime=0.32 cores=1,3,5,7
/proc/31881/stat : 31881 (java) S 31876 31881 28126 0 -1 1077944320 10413 0 0 0 31 1 0 0 20 0 15 0 251124794 14420721664 12409 33554432000 4194304 4196468 140725075615920 140725075598464 140645138816759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
/proc/31881/statm: 3520684 12409 3409 1 0 3482761 0
[pid=31881/tid=31887] ppid=31876 vsize=14082736 memory=7022364594140610616 CPUtime=0.21 cores=1,3,5,7
/proc/31881/task/31887/stat : 31887 (java) R 31876 31881 28126 0 -1 4202560 8162 0 0 0 20 1 0 0 20 0 15 0 251124794 14420721664 12409 33554432000 4194304 4196468 140725075615920 140645143046736 140645124510225 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31889] ppid=31876 vsize=14082736 memory=343 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31889/stat : 31889 (java) S 31876 31881 28126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251124795 14420721664 12409 33554432000 4194304 4196468 140725075615920 140645091437584 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31890] ppid=31876 vsize=14082736 memory=3833047623389152928 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31890/stat : 31890 (java) S 31876 31881 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251124795 14420721664 12409 33554432000 4194304 4196468 140725075615920 140645090385040 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31891] ppid=31876 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31891/stat : 31891 (java) S 31876 31881 28126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251124795 14420721664 12409 33554432000 4194304 4196468 140725075615920 140645089331984 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31892] ppid=31876 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31892/stat : 31892 (java) S 31876 31881 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251124795 14420721664 12409 33554432000 4194304 4196468 140725075615920 140645088279440 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31897] ppid=31876 vsize=14082736 memory=139960590009984 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31897/stat : 31897 (java) S 31876 31881 28126 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 251124796 14420721664 12409 33554432000 4194304 4196468 140725075615920 140644342708464 140645138827906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31899] ppid=31876 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31899/stat : 31899 (java) S 31876 31881 28126 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 251124797 14420721664 12409 33554432000 4194304 4196468 140725075615920 140644251608224 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31900] ppid=31876 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31900/stat : 31900 (java) S 31876 31881 28126 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251124797 14420721664 12409 33554432000 4194304 4196468 140725075615920 140644250555120 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31903] ppid=31876 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31903/stat : 31903 (java) S 31876 31881 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251124799 14420721664 12409 33554432000 4194304 4196468 140725075615920 140644249503696 140645138835355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31904] ppid=31876 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31881/task/31904/stat : 31904 (java) S 31876 31881 28126 0 -1 1077944384 556 0 0 0 2 0 0 0 20 0 15 0 251124799 14420721664 12409 33554432000 4194304 4196468 140725075615920 140644248451824 140645138827906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31905] ppid=31876 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/31881/task/31905/stat : 31905 (java) S 31876 31881 28126 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 15 0 251124799 14420721664 12409 33554432000 4194304 4196468 140725075615920 140644247399280 140645138827906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31906] ppid=31876 vsize=14082736 memory=139960590009984 CPUtime=0.07 cores=1,3,5,7
/proc/31881/task/31906/stat : 31906 (java) R 31876 31881 28126 0 -1 4202560 276 0 0 0 7 0 0 0 20 0 15 0 251124799 14420721664 12409 33554432000 4194304 4196468 140725075615920 140644246346224 140645117443221 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31911] ppid=31876 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31911/stat : 31911 (java) S 31876 31881 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251124800 14420721664 12409 33554432000 4194304 4196468 140725075615920 140644245293920 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31913] ppid=31876 vsize=14082736 memory=139960590009984 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31913/stat : 31913 (java) S 31876 31881 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251124800 14420721664 12409 33554432000 4194304 4196468 140725075615920 140644244240944 140645138827906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 49636 KiB

[startup+0.310562 s]*
/proc/loadavg: 0.89 1.07 1.31 3/218 31914
/proc/meminfo: memFree=26845032/32770624 swapFree=67108804/67108860
[pid=31881] ppid=31876 vsize=14082736 memory=52820 CPUtime=0.44 cores=1,3,5,7
/proc/31881/stat : 31881 (java) S 31876 31881 28126 0 -1 1077944320 10738 0 0 0 42 2 0 0 20 0 15 0 251124794 14420721664 13205 33554432000 4194304 4196468 140725075615920 140725075598464 140645138816759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
/proc/31881/statm: 3520684 13205 3411 1 0 3482761 0
[pid=31881/tid=31887] ppid=31876 vsize=14082736 memory=8390339637985935414 CPUtime=0.3 cores=1,3,5,7
/proc/31881/task/31887/stat : 31887 (java) R 31876 31881 28126 0 -1 4202560 8467 0 0 0 29 1 0 0 20 0 15 0 251124794 14420721664 13205 33554432000 4194304 4196468 140725075615920 140645143037856 140645138830608 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31889] ppid=31876 vsize=14082736 memory=288230600413020183 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31889/stat : 31889 (java) S 31876 31881 28126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251124795 14420721664 13205 33554432000 4194304 4196468 140725075615920 140645091437584 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31890] ppid=31876 vsize=14082736 memory=3690332113615455904 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31890/stat : 31890 (java) S 31876 31881 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251124795 14420721664 13205 33554432000 4194304 4196468 140725075615920 140645090385040 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31891] ppid=31876 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31891/stat : 31891 (java) S 31876 31881 28126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251124795 14420721664 13205 33554432000 4194304 4196468 140725075615920 140645089331984 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31892] ppid=31876 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31892/stat : 31892 (java) S 31876 31881 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251124795 14420721664 13205 33554432000 4194304 4196468 140725075615920 140645088279440 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31897] ppid=31876 vsize=14082736 memory=139960590009984 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31897/stat : 31897 (java) S 31876 31881 28126 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 251124796 14420721664 13205 33554432000 4194304 4196468 140725075615920 140644342708464 140645138827906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31899] ppid=31876 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31899/stat : 31899 (java) S 31876 31881 28126 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 251124797 14420721664 13205 33554432000 4194304 4196468 140725075615920 140644251608224 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31900] ppid=31876 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31900/stat : 31900 (java) S 31876 31881 28126 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251124797 14420721664 13205 33554432000 4194304 4196468 140725075615920 140644250555120 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31903] ppid=31876 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31903/stat : 31903 (java) S 31876 31881 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251124799 14420721664 13205 33554432000 4194304 4196468 140725075615920 140644249503696 140645138835355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31904] ppid=31876 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31881/task/31904/stat : 31904 (java) S 31876 31881 28126 0 -1 1077944384 556 0 0 0 2 0 0 0 20 0 15 0 251124799 14420721664 13205 33554432000 4194304 4196468 140725075615920 140644248451824 140645138827906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31905] ppid=31876 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/31881/task/31905/stat : 31905 (java) S 31876 31881 28126 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 15 0 251124799 14420721664 13205 33554432000 4194304 4196468 140725075615920 140644247399280 140645138827906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31906] ppid=31876 vsize=14082736 memory=139960590009984 CPUtime=0.08 cores=1,3,5,7
/proc/31881/task/31906/stat : 31906 (java) S 31876 31881 28126 0 -1 1077944384 282 0 0 0 8 0 0 0 20 0 15 0 251124799 14420721664 13205 33554432000 4194304 4196468 140725075615920 140644246346224 140645138827906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31911] ppid=31876 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31911/stat : 31911 (java) S 31876 31881 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251124800 14420721664 13205 33554432000 4194304 4196468 140725075615920 140644245293920 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31913] ppid=31876 vsize=14082736 memory=139960590009984 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31913/stat : 31913 (java) S 31876 31881 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251124800 14420721664 13205 33554432000 4194304 4196468 140725075615920 140644244240944 140645138827906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 52820 KiB

[startup+0.700732 s]
/proc/loadavg: 0.89 1.07 1.31 3/218 31914
/proc/meminfo: memFree=26799332/32770624 swapFree=67108804/67108860
[pid=31881] ppid=31876 vsize=14084804 memory=90752 CPUtime=1 cores=1,3,5,7
/proc/31881/stat : 31881 (java) S 31876 31881 28126 0 -1 1077944320 17576 0 0 0 96 4 0 0 20 0 15 0 251124794 14422839296 22688 33554432000 4194304 4196468 140725075615920 140725075598464 140645138816759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
/proc/31881/statm: 3521201 22688 3482 1 0 3483273 0
[pid=31881/tid=31887] ppid=31876 vsize=14084804 memory=1736 CPUtime=0.67 cores=1,3,5,7
/proc/31881/task/31887/stat : 31887 (java) R 31876 31881 28126 0 -1 4202560 14888 0 0 0 64 3 0 0 20 0 15 0 251124794 14422839296 22688 33554432000 4194304 4196468 140725075615920 140645143040016 140645122897246 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31889] ppid=31876 vsize=14084804 memory=752 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31889/stat : 31889 (java) S 31876 31881 28126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251124795 14422839296 22688 33554432000 4194304 4196468 140725075615920 140645091437584 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31890] ppid=31876 vsize=14084804 memory=836 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31890/stat : 31890 (java) S 31876 31881 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251124795 14422839296 22688 33554432000 4194304 4196468 140725075615920 140645090385040 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31891] ppid=31876 vsize=14084804 memory=1084 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31891/stat : 31891 (java) S 31876 31881 28126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251124795 14422839296 22688 33554432000 4194304 4196468 140725075615920 140645089331984 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31892] ppid=31876 vsize=14084804 memory=1600 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31892/stat : 31892 (java) S 31876 31881 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251124795 14422839296 22688 33554432000 4194304 4196468 140725075615920 140645088279440 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31897] ppid=31876 vsize=14084804 memory=7952 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31897/stat : 31897 (java) S 31876 31881 28126 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 251124796 14422839296 22688 33554432000 4194304 4196468 140725075615920 140644342708464 140645138827906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31899] ppid=31876 vsize=14084804 memory=4088 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31899/stat : 31899 (java) S 31876 31881 28126 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 251124797 14422839296 22688 33554432000 4194304 4196468 140725075615920 140644251608224 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31900] ppid=31876 vsize=14084804 memory=1784 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31900/stat : 31900 (java) S 31876 31881 28126 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251124797 14422839296 22688 33554432000 4194304 4196468 140725075615920 140644250555120 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31903] ppid=31876 vsize=14084804 memory=4639098309541127012 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31903/stat : 31903 (java) S 31876 31881 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251124799 14422839296 22688 33554432000 4194304 4196468 140725075615920 140644249503696 140645138835355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31904] ppid=31876 vsize=14084804 memory=6371582379065369688 CPUtime=0.09 cores=1,3,5,7
/proc/31881/task/31904/stat : 31904 (java) S 31876 31881 28126 0 -1 1077944384 719 0 0 0 9 0 0 0 20 0 15 0 251124799 14422839296 22688 33554432000 4194304 4196468 140725075615920 140644248451824 140645138827906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31905] ppid=31876 vsize=14084804 memory=6154282490091891024 CPUtime=0.05 cores=1,3,5,7
/proc/31881/task/31905/stat : 31905 (java) S 31876 31881 28126 0 -1 1077944384 222 0 0 0 5 0 0 0 20 0 15 0 251124799 14422839296 22688 33554432000 4194304 4196468 140725075615920 140644247399280 140645138827906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31906] ppid=31876 vsize=14084804 memory=-8412654363917126771 CPUtime=0.15 cores=1,3,5,7
/proc/31881/task/31906/stat : 31906 (java) S 31876 31881 28126 0 -1 1077944384 386 0 0 0 15 0 0 0 20 0 15 0 251124799 14422839296 22688 33554432000 4194304 4196468 140725075615920 140644246346224 140645138827906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31911] ppid=31876 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31911/stat : 31911 (java) S 31876 31881 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251124800 14422839296 22688 33554432000 4194304 4196468 140725075615920 140644245293920 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31913] ppid=31876 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31913/stat : 31913 (java) S 31876 31881 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251124800 14422839296 22688 33554432000 4194304 4196468 140725075615920 140644244240944 140645138827906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 90752 KiB

[startup+1.50162 s]
/proc/loadavg: 0.89 1.07 1.31 8/218 31914
/proc/meminfo: memFree=26725264/32770624 swapFree=67108804/67108860
[pid=31881] ppid=31876 vsize=14088900 memory=192088 CPUtime=3.47 cores=1,3,5,7
/proc/31881/stat : 31881 (java) S 31876 31881 28126 0 -1 1077944320 25408 0 0 0 339 8 0 0 20 0 15 0 251124794 14427033600 48022 33554432000 4194304 4196468 140725075615920 140725075598464 140645138816759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
/proc/31881/statm: 3522225 48022 3547 1 0 3484297 0
[pid=31881/tid=31887] ppid=31876 vsize=14088900 memory=6791534058613427641 CPUtime=1.46 cores=1,3,5,7
/proc/31881/task/31887/stat : 31887 (java) R 31876 31881 28126 0 -1 4202560 17472 0 0 0 140 6 0 0 20 0 15 0 251124794 14427033600 48022 33554432000 4194304 4196468 140725075615920 140645143053456 140644764512974 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31889] ppid=31876 vsize=14088900 memory=33 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31889/stat : 31889 (java) S 31876 31881 28126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251124795 14427033600 48022 33554432000 4194304 4196468 140725075615920 140645091437584 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31890] ppid=31876 vsize=14088900 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31890/stat : 31890 (java) S 31876 31881 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251124795 14427033600 48022 33554432000 4194304 4196468 140725075615920 140645090385040 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31891] ppid=31876 vsize=14088900 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31891/stat : 31891 (java) S 31876 31881 28126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251124795 14427033600 48022 33554432000 4194304 4196468 140725075615920 140645089331984 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31892] ppid=31876 vsize=14088900 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31892/stat : 31892 (java) S 31876 31881 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251124795 14427033600 48022 33554432000 4194304 4196468 140725075615920 140645088279440 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31897] ppid=31876 vsize=14088900 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31897/stat : 31897 (java) S 31876 31881 28126 0 -1 1077944384 174 0 0 0 0 0 0 0 20 0 15 0 251124796 14427033600 48022 33554432000 4194304 4196468 140725075615920 140644342708464 140645138827906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0

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

/proc/31881/task/31887/stat : 31887 (java) R 31876 31881 28126 0 -1 4202560 32084 0 0 0 10141 18 0 0 20 0 15 0 251124794 14431227904 196044 33554432000 4194304 4196468 140725075615920 140645143054544 140644774099044 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31889] ppid=31876 vsize=14092996 memory=809316 CPUtime=0.49 cores=1,3,5,7
/proc/31881/task/31889/stat : 31889 (java) S 31876 31881 28126 0 -1 1077944384 1912 0 0 0 38 11 0 0 20 0 15 0 251124795 14431227904 196044 33554432000 4194304 4196468 140725075615920 140645091437584 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31890] ppid=31876 vsize=14092996 memory=792904 CPUtime=0.5 cores=1,3,5,7
/proc/31881/task/31890/stat : 31890 (java) S 31876 31881 28126 0 -1 1077944384 943 0 0 0 39 11 0 0 20 0 15 0 251124795 14431227904 196044 33554432000 4194304 4196468 140725075615920 140645090385040 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31891] ppid=31876 vsize=14092996 memory=13 CPUtime=0.5 cores=1,3,5,7
/proc/31881/task/31891/stat : 31891 (java) S 31876 31881 28126 0 -1 1077944384 1936 0 0 0 39 11 0 0 20 0 15 0 251124795 14431227904 196044 33554432000 4194304 4196468 140725075615920 140645089331984 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31892] ppid=31876 vsize=14092996 memory=797520 CPUtime=0.49 cores=1,3,5,7
/proc/31881/task/31892/stat : 31892 (java) S 31876 31881 28126 0 -1 1077944384 2798 0 0 0 39 10 0 0 20 0 15 0 251124795 14431227904 196044 33554432000 4194304 4196468 140725075615920 140645088279440 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31897] ppid=31876 vsize=14092996 memory=68 CPUtime=0.13 cores=1,3,5,7
/proc/31881/task/31897/stat : 31897 (java) S 31876 31881 28126 0 -1 1077944384 1656 0 0 0 10 3 0 0 20 0 15 0 251124796 14431227904 196044 33554432000 4194304 4196468 140725075615920 140644342708464 140645138827906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31899] ppid=31876 vsize=14092996 memory=791360 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31899/stat : 31899 (java) S 31876 31881 28126 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 251124797 14431227904 196044 33554432000 4194304 4196468 140725075615920 140644251608288 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31900] ppid=31876 vsize=14092996 memory=3708 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31900/stat : 31900 (java) S 31876 31881 28126 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 251124797 14431227904 196044 33554432000 4194304 4196468 140725075615920 140644250555136 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31903] ppid=31876 vsize=14092996 memory=3708 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31903/stat : 31903 (java) S 31876 31881 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251124799 14431227904 196044 33554432000 4194304 4196468 140725075615920 140644249503696 140645138835355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31904] ppid=31876 vsize=14092996 memory=802648 CPUtime=3.84 cores=1,3,5,7
/proc/31881/task/31904/stat : 31904 (java) S 31876 31881 28126 0 -1 1077944384 9455 0 0 0 382 2 0 0 20 0 15 0 251124799 14431227904 196044 33554432000 4194304 4196468 140725075615920 140644248451824 140645138827906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31905] ppid=31876 vsize=14092996 memory=787256 CPUtime=3.67 cores=1,3,5,7
/proc/31881/task/31905/stat : 31905 (java) S 31876 31881 28126 0 -1 1077944384 9112 0 0 0 365 2 0 0 20 0 15 0 251124799 14431227904 196044 33554432000 4194304 4196468 140725075615920 140644247399280 140645138827906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31906] ppid=31876 vsize=14092996 memory=1260 CPUtime=1.37 cores=1,3,5,7
/proc/31881/task/31906/stat : 31906 (java) S 31876 31881 28126 0 -1 1077944384 14289 0 0 0 135 2 0 0 20 0 15 0 251124799 14431227904 196044 33554432000 4194304 4196468 140725075615920 140644246346224 140645138827906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31911] ppid=31876 vsize=14092996 memory=828880 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31911/stat : 31911 (java) S 31876 31881 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251124800 14431227904 196044 33554432000 4194304 4196468 140725075615920 140644245293920 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31913] ppid=31876 vsize=14092996 memory=3984 CPUtime=0.04 cores=1,3,5,7
/proc/31881/task/31913/stat : 31913 (java) S 31876 31881 28126 0 -1 1077944384 542 0 0 0 2 2 0 0 20 0 15 0 251124800 14431227904 196044 33554432000 4194304 4196468 140725075615920 140644244240944 140645138827906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
Current children cumulated CPU time: 112.71 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 784176 KiB

[startup+162.301 s]
/proc/loadavg: 1.30 1.19 1.32 3/218 31916
/proc/meminfo: memFree=25311544/32770624 swapFree=67108804/67108860
[pid=31881] ppid=31876 vsize=14092996 memory=1203580 CPUtime=174.45 cores=1,3,5,7
/proc/31881/stat : 31881 (java) S 31876 31881 28126 0 -1 1077944320 89155 0 0 0 17345 100 0 0 20 0 15 0 251124794 14431227904 300895 33554432000 4194304 4196468 140725075615920 140725075598464 140645138816759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
/proc/31881/statm: 3523249 300895 3600 1 0 3485321 0
[pid=31881/tid=31887] ppid=31876 vsize=14092996 memory=496 CPUtime=160.95 cores=1,3,5,7
/proc/31881/task/31887/stat : 31887 (java) R 31876 31881 28126 0 -1 4202560 35219 0 0 0 16072 23 0 0 20 0 15 0 251124794 14431227904 300895 33554432000 4194304 4196468 140725075615920 140645143054432 140644774099017 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31889] ppid=31876 vsize=14092996 memory=1182112 CPUtime=0.96 cores=1,3,5,7
/proc/31881/task/31889/stat : 31889 (java) S 31876 31881 28126 0 -1 1077944384 2686 0 0 0 80 16 0 0 20 0 15 0 251124795 14431227904 300895 33554432000 4194304 4196468 140725075615920 140645091437584 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31890] ppid=31876 vsize=14092996 memory=753016 CPUtime=0.96 cores=1,3,5,7
/proc/31881/task/31890/stat : 31890 (java) S 31876 31881 28126 0 -1 1077944384 2034 0 0 0 80 16 0 0 20 0 15 0 251124795 14431227904 300895 33554432000 4194304 4196468 140725075615920 140645090385040 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31891] ppid=31876 vsize=14092996 memory=1077104 CPUtime=0.96 cores=1,3,5,7
/proc/31881/task/31891/stat : 31891 (java) S 31876 31881 28126 0 -1 1077944384 2657 0 0 0 80 16 0 0 20 0 15 0 251124795 14431227904 300895 33554432000 4194304 4196468 140725075615920 140645089331984 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31892] ppid=31876 vsize=14092996 memory=1203604 CPUtime=0.96 cores=1,3,5,7
/proc/31881/task/31892/stat : 31892 (java) S 31876 31881 28126 0 -1 1077944384 3599 0 0 0 81 15 0 0 20 0 15 0 251124795 14431227904 300895 33554432000 4194304 4196468 140725075615920 140645088279440 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31897] ppid=31876 vsize=14092996 memory=1203608 CPUtime=0.25 cores=1,3,5,7
/proc/31881/task/31897/stat : 31897 (java) S 31876 31881 28126 0 -1 1077944384 2142 0 0 0 21 4 0 0 20 0 15 0 251124796 14431227904 300895 33554432000 4194304 4196468 140725075615920 140644342708464 140645138827906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31899] ppid=31876 vsize=14092996 memory=1203580 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31899/stat : 31899 (java) S 31876 31881 28126 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 251124797 14431227904 300895 33554432000 4194304 4196468 140725075615920 140644251608288 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31900] ppid=31876 vsize=14092996 memory=1203580 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31900/stat : 31900 (java) S 31876 31881 28126 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 251124797 14431227904 300895 33554432000 4194304 4196468 140725075615920 140644250555136 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31903] ppid=31876 vsize=14092996 memory=1079152 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31903/stat : 31903 (java) S 31876 31881 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251124799 14431227904 300895 33554432000 4194304 4196468 140725075615920 140644249503696 140645138835355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31904] ppid=31876 vsize=14092996 memory=3708 CPUtime=3.98 cores=1,3,5,7
/proc/31881/task/31904/stat : 31904 (java) S 31876 31881 28126 0 -1 1077944384 11155 0 0 0 396 2 0 0 20 0 15 0 251124799 14431227904 300895 33554432000 4194304 4196468 140725075615920 140644248451824 140645138827906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31905] ppid=31876 vsize=14092996 memory=1203580 CPUtime=3.84 cores=1,3,5,7
/proc/31881/task/31905/stat : 31905 (java) S 31876 31881 28126 0 -1 1077944384 11212 0 0 0 382 2 0 0 20 0 15 0 251124799 14431227904 300895 33554432000 4194304 4196468 140725075615920 140644247399280 140645138827906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31906] ppid=31876 vsize=14092996 memory=1203604 CPUtime=1.42 cores=1,3,5,7
/proc/31881/task/31906/stat : 31906 (java) S 31876 31881 28126 0 -1 1077944384 16376 0 0 0 140 2 0 0 20 0 15 0 251124799 14431227904 300895 33554432000 4194304 4196468 140725075615920 140644246346224 140645138827906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31911] ppid=31876 vsize=14092996 memory=943600 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31911/stat : 31911 (java) S 31876 31881 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251124800 14431227904 300895 33554432000 4194304 4196468 140725075615920 140644245293920 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31913] ppid=31876 vsize=14092996 memory=5832 CPUtime=0.08 cores=1,3,5,7
/proc/31881/task/31913/stat : 31913 (java) S 31876 31881 28126 0 -1 1077944384 680 0 0 0 4 4 0 0 20 0 15 0 251124800 14431227904 300895 33554432000 4194304 4196468 140725075615920 140644244240944 140645138827906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
Current children cumulated CPU time: 174.45 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1203580 KiB

[startup+222.301 s]
/proc/loadavg: 1.28 1.19 1.31 3/218 31917
/proc/meminfo: memFree=24770264/32770624 swapFree=67108804/67108860
[pid=31881] ppid=31876 vsize=14092996 memory=1712444 CPUtime=235.99 cores=1,3,5,7
/proc/31881/stat : 31881 (java) S 31876 31881 28126 0 -1 1077944320 99402 0 0 0 23461 138 0 0 20 0 15 0 251124794 14431227904 428111 33554432000 4194304 4196468 140725075615920 140725075598464 140645138816759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
/proc/31881/statm: 3523249 428111 3614 1 0 3485321 0
[pid=31881/tid=31887] ppid=31876 vsize=14092996 memory=1759128 CPUtime=220.41 cores=1,3,5,7
/proc/31881/task/31887/stat : 31887 (java) R 31876 31881 28126 0 -1 4202560 40921 0 0 0 22010 31 0 0 20 0 15 0 251124794 14431227904 428111 33554432000 4194304 4196468 140725075615920 140645143054544 140644774060992 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31889] ppid=31876 vsize=14092996 memory=1757588 CPUtime=1.43 cores=1,3,5,7
/proc/31881/task/31889/stat : 31889 (java) S 31876 31881 28126 0 -1 1077944384 3058 0 0 0 120 23 0 0 20 0 15 0 251124795 14431227904 428111 33554432000 4194304 4196468 140725075615920 140645091437584 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31890] ppid=31876 vsize=14092996 memory=139960435228744 CPUtime=1.43 cores=1,3,5,7
/proc/31881/task/31890/stat : 31890 (java) S 31876 31881 28126 0 -1 1077944384 2341 0 0 0 120 23 0 0 20 0 15 0 251124795 14431227904 428111 33554432000 4194304 4196468 140725075615920 140645090385040 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31891] ppid=31876 vsize=14092996 memory=1735016 CPUtime=1.43 cores=1,3,5,7
/proc/31881/task/31891/stat : 31891 (java) S 31876 31881 28126 0 -1 1077944384 3000 0 0 0 120 23 0 0 20 0 15 0 251124795 14431227904 428111 33554432000 4194304 4196468 140725075615920 140645089331984 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31892] ppid=31876 vsize=14092996 memory=1757588 CPUtime=1.42 cores=1,3,5,7
/proc/31881/task/31892/stat : 31892 (java) S 31876 31881 28126 0 -1 1077944384 3988 0 0 0 121 21 0 0 20 0 15 0 251124795 14431227904 428111 33554432000 4194304 4196468 140725075615920 140645088279440 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31897] ppid=31876 vsize=14092996 memory=1712444 CPUtime=0.31 cores=1,3,5,7
/proc/31881/task/31897/stat : 31897 (java) S 31876 31881 28126 0 -1 1077944384 4967 0 0 0 27 4 0 0 20 0 15 0 251124796 14431227904 428111 33554432000 4194304 4196468 140725075615920 140644342708464 140645138827906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31899] ppid=31876 vsize=14092996 memory=752 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31899/stat : 31899 (java) S 31876 31881 28126 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 251124797 14431227904 428111 33554432000 4194304 4196468 140725075615920 140644251608288 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31900] ppid=31876 vsize=14092996 memory=279920870199296 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31900/stat : 31900 (java) S 31876 31881 28126 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 251124797 14431227904 428111 33554432000 4194304 4196468 140725075615920 140644250555136 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31903] ppid=31876 vsize=14092996 memory=3708 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31903/stat : 31903 (java) S 31876 31881 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251124799 14431227904 428111 33554432000 4194304 4196468 140725075615920 140644249503696 140645138835355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31904] ppid=31876 vsize=14092996 memory=68244 CPUtime=4.03 cores=1,3,5,7
/proc/31881/task/31904/stat : 31904 (java) S 31876 31881 28126 0 -1 1077944384 11382 0 0 0 401 2 0 0 20 0 15 0 251124799 14431227904 428111 33554432000 4194304 4196468 140725075615920 140644248451824 140645138827906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31905] ppid=31876 vsize=14092996 memory=2080 CPUtime=3.87 cores=1,3,5,7
/proc/31881/task/31905/stat : 31905 (java) S 31876 31881 28126 0 -1 1077944384 11231 0 0 0 385 2 0 0 20 0 15 0 251124799 14431227904 428111 33554432000 4194304 4196468 140725075615920 140644247399280 140645138827906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31906] ppid=31876 vsize=14092996 memory=288230574492221466 CPUtime=1.44 cores=1,3,5,7
/proc/31881/task/31906/stat : 31906 (java) S 31876 31881 28126 0 -1 1077944384 16435 0 0 0 142 2 0 0 20 0 15 0 251124799 14431227904 428111 33554432000 4194304 4196468 140725075615920 140644246346224 140645138827906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31911] ppid=31876 vsize=14092996 memory=288230583166042425 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31911/stat : 31911 (java) S 31876 31881 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251124800 14431227904 428111 33554432000 4194304 4196468 140725075615920 140644245293920 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31913] ppid=31876 vsize=14092996 memory=16099269136353865 CPUtime=0.11 cores=1,3,5,7
/proc/31881/task/31913/stat : 31913 (java) S 31876 31881 28126 0 -1 1077944384 684 0 0 0 5 6 0 0 20 0 15 0 251124800 14431227904 428111 33554432000 4194304 4196468 140725075615920 140644244240944 140645138827906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
Current children cumulated CPU time: 235.99 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1712444 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+238.201 s]
/proc/loadavg: 1.44 1.23 1.32 3/218 31917
/proc/meminfo: memFree=24891744/32770624 swapFree=67108804/67108860
[pid=31881] ppid=31876 vsize=14092996 memory=1614072 CPUtime=252.06 cores=1,3,5,7
/proc/31881/stat : 31881 (java) S 31876 31881 28126 0 -1 1077944320 100796 0 0 0 25068 138 0 0 20 0 15 0 251124794 14431227904 403518 33554432000 4194304 4196468 140725075615920 140725075598464 140645138816759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
/proc/31881/statm: 3523249 403518 3614 1 0 3485321 0
[pid=31881/tid=31887] ppid=31876 vsize=14092996 memory=6791534058613427641 CPUtime=236.25 cores=1,3,5,7
/proc/31881/task/31887/stat : 31887 (java) R 31876 31881 28126 0 -1 4202560 41598 0 0 0 23594 31 0 0 20 0 15 0 251124794 14431227904 403518 33554432000 4194304 4196468 140725075615920 140645143054544 140644774099064 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31889] ppid=31876 vsize=14092996 memory=288230583166042425 CPUtime=1.48 cores=1,3,5,7
/proc/31881/task/31889/stat : 31889 (java) S 31876 31881 28126 0 -1 1077944384 3074 0 0 0 125 23 0 0 20 0 15 0 251124795 14431227904 403518 33554432000 4194304 4196468 140725075615920 140645091437584 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31890] ppid=31876 vsize=14092996 memory=16099269136353865 CPUtime=1.48 cores=1,3,5,7
/proc/31881/task/31890/stat : 31890 (java) S 31876 31881 28126 0 -1 1077944384 2351 0 0 0 125 23 0 0 20 0 15 0 251124795 14431227904 403518 33554432000 4194304 4196468 140725075615920 140645090385040 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31891] ppid=31876 vsize=14092996 memory=276866476865818 CPUtime=1.49 cores=1,3,5,7
/proc/31881/task/31891/stat : 31891 (java) S 31876 31881 28126 0 -1 1077944384 3052 0 0 0 125 24 0 0 20 0 15 0 251124795 14431227904 403518 33554432000 4194304 4196468 140725075615920 140645089331984 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31892] ppid=31876 vsize=14092996 memory=276866476865819 CPUtime=1.48 cores=1,3,5,7
/proc/31881/task/31892/stat : 31892 (java) S 31876 31881 28126 0 -1 1077944384 4597 0 0 0 126 22 0 0 20 0 15 0 251124795 14431227904 403518 33554432000 4194304 4196468 140725075615920 140645088279440 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31897] ppid=31876 vsize=14092996 memory=276866476865820 CPUtime=0.33 cores=1,3,5,7
/proc/31881/task/31897/stat : 31897 (java) S 31876 31881 28126 0 -1 1077944384 4987 0 0 0 28 5 0 0 20 0 15 0 251124796 14431227904 403518 33554432000 4194304 4196468 140725075615920 140644342708464 140645138827906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31899] ppid=31876 vsize=14092996 memory=276866476865821 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31899/stat : 31899 (java) S 31876 31881 28126 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 251124797 14431227904 403518 33554432000 4194304 4196468 140725075615920 140644251608288 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31900] ppid=31876 vsize=14092996 memory=276866476865826 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31900/stat : 31900 (java) S 31876 31881 28126 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 251124797 14431227904 403518 33554432000 4194304 4196468 140725075615920 140644250555136 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31903] ppid=31876 vsize=14092996 memory=276866476865828 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31903/stat : 31903 (java) S 31876 31881 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251124799 14431227904 403518 33554432000 4194304 4196468 140725075615920 140644249503696 140645138835355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31904] ppid=31876 vsize=14092996 memory=276866476865829 CPUtime=4.03 cores=1,3,5,7
/proc/31881/task/31904/stat : 31904 (java) S 31876 31881 28126 0 -1 1077944384 11384 0 0 0 401 2 0 0 20 0 15 0 251124799 14431227904 403518 33554432000 4194304 4196468 140725075615920 140644248451824 140645138827906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31905] ppid=31876 vsize=14092996 memory=276866476865832 CPUtime=3.87 cores=1,3,5,7
/proc/31881/task/31905/stat : 31905 (java) S 31876 31881 28126 0 -1 1077944384 11233 0 0 0 385 2 0 0 20 0 15 0 251124799 14431227904 403518 33554432000 4194304 4196468 140725075615920 140644247399280 140645138827906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31906] ppid=31876 vsize=14092996 memory=276866476865833 CPUtime=1.44 cores=1,3,5,7
/proc/31881/task/31906/stat : 31906 (java) S 31876 31881 28126 0 -1 1077944384 16439 0 0 0 142 2 0 0 20 0 15 0 251124799 14431227904 403518 33554432000 4194304 4196468 140725075615920 140644246346224 140645138827906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31911] ppid=31876 vsize=14092996 memory=276866476865834 CPUtime=0 cores=1,3,5,7
/proc/31881/task/31911/stat : 31911 (java) S 31876 31881 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251124800 14431227904 403518 33554432000 4194304 4196468 140725075615920 140644245293920 140645138826965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
[pid=31881/tid=31913] ppid=31876 vsize=14092996 memory=276866476865835 CPUtime=0.13 cores=1,3,5,7
/proc/31881/task/31913/stat : 31913 (java) S 31876 31881 28126 0 -1 1077944384 686 0 0 0 6 7 0 0 20 0 15 0 251124800 14431227904 403518 33554432000 4194304 4196468 140725075615920 140644244240944 140645138827906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20389888 140725075620954 140725075621134 140725075621134 140725075623887 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1614072 KiB

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

[startup+238.223 s]
# the end of solver process 31881 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.695 s, system=1.40295 s

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

Child status: 143
Real time (s): 238.223
CPU time (s): 252.098
CPU user time (s): 250.695
CPU system time (s): 1.40295
CPU usage (%): 105.824
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 1846768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.695
system time used= 1.40295
maximum resident set size= 1846992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101342
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16759
involuntary context switches= 386


# summary of solver processes directly reported to runsolver:
#   pid: 31881
#   total CPU time (s): 252.098
#   total CPU user time (s): 250.695
#   total CPU system time (s): 1.40295

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.38809 second user time and 2.48921 second system time

The end

Launcher Data 

Begin job on node105 at 2018-08-15 14:20:16
IDJOB=4310538
IDBENCH=141208
IDSOLVER=2796
FILE ID=node105/4310538-1534335616
RUNJOBID= node105-1534335616-31853
PBS_JOBID= 21038166
Free space on /tmp= 49272 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-06-opt_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4310538-1534335616/watcher-4310538-1534335616 -o /tmp/evaluation-result-4310538-1534335616/solver-4310538-1534335616 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534335616-31853 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1042460801 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310538-1534335616.xml

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

MD5SUM BENCH= fd86b7eb5950840b127d09215950c850
RANDOM SEED=1042460801

node105.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.32
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.32
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.32
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.32
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:        26923280 kB
MemAvailable:   31901456 kB
Buffers:          222976 kB
Cached:          5008020 kB
SwapCached:           16 kB
Active:          2273340 kB
Inactive:        3009012 kB
Active(anon):       3460 kB
Inactive(anon):   108668 kB
Active(file):    2269880 kB
Inactive(file):  2900344 kB
Unevictable:        7356 kB
Mlocked:            7356 kB
SwapTotal:      67108860 kB
SwapFree:       67108804 kB
Dirty:             71596 kB
Writeback:             0 kB
AnonPages:         58848 kB
Mapped:            54144 kB
Shmem:             57940 kB
Slab:             265312 kB
SReclaimable:     236412 kB
SUnreclaim:        28900 kB
KernelStack:        3232 kB
PageTables:         5292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     359000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 49212 MiB
End job on node105 at 2018-08-15 14:24:15