Trace number 4308008

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 - Conflict Ordering with restarts 2018-08-14SAT (TO)15479 2520.12 2509.33

General information on the benchmark

NameSumColoring/
SumColoring-dsjc-250-9_c18.xml
MD5SUM15c7aefb85365a32de6dc875f5012851
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark9554
Best CPU time to get the best result obtained on this benchmark2520.08
Satisfiable
(Un)Satisfiability was proved
Number of variables250
Number of constraints27897
Number of domains1
Minimum domain size250
Maximum domain size250
Distribution of domain sizes[{"size":250,"count":250}]
Minimum variable degree208
Maximum variable degree235
Distribution of variable degrees[{"degree":208,"count":1},{"degree":213,"count":1},{"degree":214,"count":3},{"degree":215,"count":5},{"degree":216,"count":4},{"degree":217,"count":8},{"degree":218,"count":9},{"degree":219,"count":11},{"degree":220,"count":9},{"degree":221,"count":15},{"degree":222,"count":19},{"degree":223,"count":19},{"degree":224,"count":26},{"degree":225,"count":23},{"degree":226,"count":10},{"degree":227,"count":22},{"degree":228,"count":17},{"degree":229,"count":21},{"degree":230,"count":10},{"degree":231,"count":6},{"degree":232,"count":7},{"degree":233,"count":1},{"degree":234,"count":1},{"degree":235,"count":2}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":27897}]
Number of extensional constraints0
Number of intensional constraints27897
Distribution of constraint types[{"type":"intension","count":27897}]
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: 1596178237
0.68/0.56	c timeout: 2520
0.68/0.56	c memlimit: 11000
0.68/0.56	c nbcore: 4
0.68/0.58	c Parsing instance...
8.60/3.21	c Parsing done, starting search...
9.50/3.58	o 31408
9.80/3.70	o 31363
10.11/3.70	o 31323
10.11/3.70	o 31263
10.11/3.70	o 31239
10.11/3.70	o 31213
10.11/3.70	o 31204
10.11/3.70	o 31137
10.11/3.71	o 31135
10.11/3.71	o 31133
10.11/3.71	o 31130
10.11/3.71	o 31122
10.11/3.71	o 31121
10.11/3.71	o 31111
10.11/3.71	o 31079
10.11/3.71	o 31053
10.11/3.71	o 31016
10.11/3.71	o 31000
10.11/3.72	o 30990
10.11/3.72	o 30980
10.11/3.72	o 30952
10.11/3.72	o 30947
10.11/3.72	o 30939
10.11/3.72	o 30936
10.11/3.72	o 30925
10.11/3.72	o 30915
10.11/3.72	o 30914
10.11/3.72	o 30910
10.11/3.72	o 30907
10.11/3.73	o 30902
10.11/3.73	o 30901
10.11/3.73	o 30892
10.11/3.73	o 30884
10.11/3.73	o 30883
10.11/3.74	o 30876
10.11/3.74	o 30818
10.11/3.74	o 30779
10.11/3.74	o 30754
10.11/3.74	o 30749
10.11/3.74	o 30744
10.11/3.74	o 30743
10.11/3.75	o 30685
10.11/3.75	o 30675
10.11/3.75	o 30667
10.11/3.76	o 30666
10.11/3.76	o 30660
10.11/3.76	o 30654
10.11/3.76	o 30647
10.11/3.76	o 30644
10.11/3.76	o 30639
10.11/3.77	o 30636
10.11/3.77	o 30623
10.11/3.77	o 30616
10.11/3.78	o 30615
10.11/3.78	o 30611
10.11/3.78	o 30610
10.11/3.78	o 30588
10.11/3.79	o 30587
10.11/3.79	o 30562
10.11/3.79	o 30557
10.39/3.80	o 30554
10.39/3.80	o 30549
10.39/3.82	o 30545
10.39/3.83	o 30542
10.39/3.83	o 30534
10.39/3.83	o 30531
10.39/3.83	o 30526
10.39/3.83	o 30515
10.39/3.86	o 30492
10.39/3.86	o 30467
10.39/3.87	o 30439
10.39/3.87	o 30423
10.39/3.87	o 30418
10.39/3.87	o 30415
10.39/3.88	o 30410
10.39/3.88	o 30405
10.39/3.89	o 30403
10.69/3.96	o 30240
10.69/3.96	o 30208
10.69/3.96	o 30204
10.69/3.96	o 30178
10.69/3.97	o 30174
10.69/3.97	o 30169
10.92/4.08	o 30097
10.92/4.08	o 30092
10.92/4.09	o 30058
10.92/4.09	o 30053
10.92/4.10	o 30029
10.92/4.10	o 30017
10.92/4.10	o 30014
11.06/4.11	o 30009
11.06/4.12	o 30007
11.15/4.23	o 30001
11.15/4.23	o 29989
11.15/4.24	o 29971
11.15/4.24	o 29968
11.15/4.24	o 29964
11.15/4.24	o 29961
11.15/4.24	o 29958
11.15/4.24	o 29949
11.15/4.25	o 29943
11.15/4.26	o 29941
11.15/4.26	o 29936
11.15/4.29	o 29933
11.35/4.44	o 29930
11.91/4.82	o 29928
11.91/4.82	o 29925
11.91/4.82	o 29924
11.91/4.82	o 29923
11.91/4.82	o 29921
11.91/4.82	o 29906
11.91/4.82	o 29895
11.91/4.82	o 29884
11.91/4.82	o 29881
11.91/4.82	o 29879
11.91/4.82	o 29873
11.91/4.82	o 29868
11.91/4.82	o 29852
11.91/4.82	o 29849
11.91/4.82	o 29847
11.91/4.82	o 29846
11.91/4.82	o 29829
11.91/4.82	o 29827
11.91/4.82	o 29822
11.91/4.82	o 29820
11.91/4.82	o 29813
11.91/4.82	o 29807
11.91/4.82	o 29806
11.91/4.82	o 29804
12.03/4.92	o 29802
12.24/5.15	o 29800
12.55/5.40	o 29798
13.36/6.19	o 29794
13.36/6.19	o 29775
13.36/6.19	o 29769
13.36/6.19	o 29747
13.36/6.19	o 29746
13.36/6.19	o 29737
13.46/6.20	o 29736
13.46/6.20	o 29728
13.46/6.20	o 29681
13.46/6.21	o 29669
13.46/6.21	o 29652
13.46/6.21	o 29640
13.56/6.33	o 29639
13.56/6.34	o 29636
13.86/6.67	o 29620
13.86/6.67	o 29567
13.86/6.68	o 29491
13.86/6.69	o 29463
13.96/6.70	o 29462
13.96/6.70	o 29443
13.96/6.70	o 29431
13.96/6.78	o 29430
14.06/6.86	o 29426
14.86/7.66	o 29407
14.86/7.66	o 29404
14.86/7.66	o 29327
14.86/7.67	o 29317
14.86/7.67	o 29268
14.86/7.67	o 29263
14.86/7.67	o 29255
14.86/7.67	o 29252
14.86/7.67	o 29242
14.86/7.67	o 29232
14.86/7.67	o 29229
14.86/7.67	o 29227
14.86/7.67	o 29221
15.16/7.99	o 29180
15.16/7.99	o 29178
15.16/7.99	o 29173
15.16/8.00	o 29172
15.16/8.00	o 29171
15.16/8.00	o 29161
15.16/8.00	o 29159
15.16/8.00	o 29142
15.16/8.00	o 29121
15.27/8.02	o 29116
15.27/8.03	o 29113
15.27/8.03	o 29111
15.27/8.07	o 29104
15.27/8.07	o 29103
15.27/8.08	o 29098
15.27/8.08	o 29097
15.49/8.27	o 29093
15.69/8.43	o 29092
15.89/8.60	o 29090
15.89/8.61	o 29082
15.89/8.61	o 29079
15.89/8.61	o 29070
15.89/8.61	o 29029
15.89/8.61	o 29023
15.89/8.61	o 29012
15.89/8.61	o 28991
15.89/8.61	o 28987
15.89/8.61	o 28980
15.89/8.62	o 28973
15.89/8.62	o 28969
15.89/8.62	o 28968
15.89/8.62	o 28951
15.89/8.62	o 28938
15.89/8.62	o 28930
15.89/8.62	o 28924
15.89/8.62	o 28921
15.89/8.62	o 28910
15.89/8.63	o 28901
15.89/8.63	o 28897
15.89/8.63	o 28892
15.89/8.63	o 28889
15.89/8.63	o 28886
15.89/8.64	o 28883
15.89/8.64	o 28881
15.89/8.65	o 28876
15.89/8.65	o 28874
15.89/8.65	o 28873
15.89/8.65	o 28870
15.89/8.68	o 28804
15.89/8.68	o 28794
15.89/8.68	o 28753
15.89/8.68	o 28733
15.89/8.68	o 28732
15.89/8.68	o 28731
15.89/8.68	o 28729
15.89/8.69	o 28715
16.05/8.70	o 28709
16.05/8.73	o 28707
16.05/8.74	o 28704
16.05/8.74	o 28701
16.05/8.75	o 28700
16.05/8.75	o 28698
16.05/8.79	o 28649
16.05/8.79	o 28611
16.05/8.79	o 28601
16.05/8.79	o 28593
16.05/8.79	o 28591
16.16/8.81	o 28587
16.16/8.85	o 28585
16.16/8.86	o 28581
16.55/9.14	o 28580
16.55/9.14	o 28577
16.55/9.15	o 28575
16.84/9.45	o 28566
16.84/9.48	o 28564
17.45/9.92	o 28557
17.45/9.92	o 28554
17.45/9.92	o 28551
17.45/9.92	o 28550
17.45/9.93	o 28493
17.45/9.93	o 28489
17.45/9.93	o 28487
17.45/9.93	o 28483
17.45/9.93	o 28479
17.45/9.93	o 28477
17.45/9.93	o 28476
17.45/9.94	o 28472
17.45/9.94	o 28470
17.45/9.94	o 28469
17.45/9.96	o 28463
17.45/9.96	o 28460
17.45/9.97	o 28457
17.45/9.97	o 28456
17.45/9.99	o 28454
17.45/9.99	o 28450
17.45/10.00	o 28442
17.45/10.00	o 28439
17.56/10.02	o 28436
17.56/10.02	o 28435
17.56/10.07	o 28434
17.56/10.07	o 28432
17.56/10.08	o 28427
17.56/10.08	o 28421
17.56/10.10	o 28420
18.75/11.26	o 28416
18.75/11.26	o 28413
18.75/11.26	o 28402
18.75/11.26	o 28289
18.75/11.26	o 28287
18.75/11.26	o 28270
18.75/11.27	o 28261
18.75/11.27	o 28229
18.75/11.27	o 28213
18.75/11.27	o 28210
18.75/11.27	o 28208
18.75/11.27	o 28194
18.75/11.28	o 28086
18.75/11.28	o 28082
18.75/11.28	o 28056
18.75/11.28	o 28037
18.75/11.29	o 27899
18.85/11.30	o 27861
18.85/11.30	o 27854
18.85/11.31	o 27853
18.85/11.31	o 27746
18.85/11.32	o 27742
18.85/11.32	o 27735
18.85/11.33	o 27734
18.85/11.35	o 27728
18.85/11.35	o 27724
18.85/11.35	o 27717
18.85/11.36	o 27706
18.85/11.36	o 27687
18.85/11.36	o 27676
18.85/11.37	o 27669
18.95/11.40	o 27668
18.95/11.49	o 27656
18.95/11.49	o 27645
18.95/11.49	o 27622
18.95/11.49	o 27618
18.95/11.49	o 27602
18.95/11.49	o 27585
18.95/11.50	o 27579
19.05/11.52	o 27578
19.05/11.52	o 27576
19.05/11.53	o 27571
19.05/11.53	o 27564
19.05/11.53	o 27560
19.05/11.57	o 27559
19.16/11.60	o 27554
19.16/11.60	o 27544
19.16/11.60	o 27543
19.16/11.60	o 27540
19.16/11.61	o 27533
19.16/11.61	o 27530
19.16/11.62	o 27502
19.16/11.62	o 27491
19.16/11.62	o 27490
19.16/11.63	o 27484
19.16/11.63	o 27483
19.16/11.63	o 27474
19.16/11.63	o 27473
19.16/11.64	o 27460
19.16/11.65	o 27458
19.26/11.70	o 27446
19.26/11.70	o 27419
19.26/11.70	o 27381
19.26/11.70	o 27374
19.26/11.71	o 27368
19.26/11.72	o 27359
19.26/11.72	o 27356
19.26/11.72	o 27318
19.26/11.73	o 27314
19.26/11.74	o 27290
19.26/11.74	o 27286
19.26/11.76	o 27283
19.56/11.95	o 27163
19.56/11.95	o 27161
19.56/11.96	o 27160
19.56/11.96	o 27158
19.56/11.96	o 27150
19.56/11.96	o 27148
19.56/11.96	o 27135
19.56/11.96	o 27130
19.56/11.96	o 27127
19.56/11.97	o 27118
19.56/11.97	o 27110
19.56/11.98	o 27108
19.56/11.98	o 27107
19.86/12.21	o 27102
19.86/12.21	o 27089
19.86/12.21	o 27085
19.86/12.21	o 27073
19.86/12.21	o 27069
19.86/12.21	o 27068
19.86/12.21	o 27066
19.86/12.22	o 27065
19.86/12.22	o 27061
19.86/12.22	o 27058
19.96/12.32	o 27054
19.96/12.32	o 27051
19.96/12.32	o 27049
19.96/12.32	o 27048
19.96/12.36	o 27047
19.96/12.36	o 27046
20.26/12.61	o 27044
20.26/12.62	o 27043
20.26/12.62	o 27042
20.26/12.64	o 27041
20.26/12.64	o 27039
20.26/12.64	o 27038
20.26/12.69	o 27035
20.37/12.71	o 27032
20.37/12.76	o 26972
20.37/12.77	o 26960
20.37/12.78	o 26958
20.37/12.78	o 26957
20.58/12.95	o 26954
21.48/13.89	o 26934
21.48/13.89	o 26927
21.48/13.89	o 26902
21.48/13.89	o 26895
21.48/13.89	o 26894
21.48/13.89	o 26893
21.48/13.89	o 26892
21.48/13.89	o 26890
21.48/13.90	o 26888
21.58/13.90	o 26876
21.58/13.90	o 26872
21.58/13.90	o 26866
21.58/13.90	o 26859
21.58/13.91	o 26857
21.58/13.91	o 26855
21.58/13.91	o 26853
21.58/13.91	o 26851
21.58/13.92	o 26847
21.69/14.04	o 26842
21.69/14.07	o 26841
21.69/14.07	o 26840
22.79/15.18	o 26839
22.79/15.19	o 26830
22.79/15.19	o 26827
22.79/15.19	o 26817
22.79/15.19	o 26812
22.88/15.20	o 26809
22.88/15.20	o 26802
22.88/15.21	o 26799
22.88/15.21	o 26789
22.88/15.24	o 26766
22.88/15.24	o 26758
22.88/15.24	o 26756
22.88/15.24	o 26753
22.88/15.24	o 26745
22.88/15.24	o 26743
22.98/15.32	o 26538
22.98/15.34	o 26536
23.48/15.87	o 26529
24.51/16.88	o 26528
24.51/16.88	o 26524
24.51/16.89	o 26523
24.51/16.90	o 26518
24.51/16.90	o 26514
25.21/17.50	o 26503
25.21/17.50	o 26500
25.21/17.50	o 26480
25.21/17.50	o 26474
25.21/17.51	o 26469
25.21/17.51	o 26466
25.21/17.51	o 26464
25.21/17.51	o 26458
25.21/17.54	o 26449
25.21/17.55	o 26434
25.21/17.59	o 26431
25.21/17.59	o 26426
25.21/17.59	o 26422
25.21/17.59	o 26421
25.21/17.59	o 26416
25.21/17.59	o 26412
25.51/17.81	o 26409
25.51/17.81	o 26387
25.51/17.82	o 26376
25.51/17.84	o 26372
25.51/17.84	o 26371
25.51/17.84	o 26370
25.51/17.85	o 26367
25.51/17.85	o 26363
25.51/17.85	o 26355
26.41/18.75	o 26343
26.41/18.75	o 26340
26.41/18.76	o 26333
26.41/18.76	o 26324
26.41/18.76	o 26322
26.41/18.76	o 26321
26.41/18.76	o 26313
26.41/18.76	o 26311
26.41/18.76	o 26303
26.41/18.78	o 26295
26.41/18.79	o 26291
26.41/18.79	o 26287
26.51/18.80	o 26281
26.51/18.80	o 26279
26.51/18.80	o 26273
26.51/18.82	o 26265
26.51/18.85	o 26252
26.51/18.85	o 26249
26.51/18.85	o 26241
26.51/18.86	o 26224
26.51/18.86	o 26221
26.51/18.86	o 26213
26.51/18.87	o 26203
26.61/18.93	o 26195
26.61/18.93	o 26185
26.72/19.10	o 26175
26.82/19.12	o 26170
26.82/19.12	o 26160
27.11/19.41	o 26154
43.85/35.90	o 26141
43.85/35.90	o 26131
43.85/35.90	o 26125
43.85/35.90	o 26121
43.85/35.90	o 26107
43.85/35.91	o 26097
43.85/35.92	o 26094
43.85/35.92	o 26086
43.85/35.92	o 26078
43.85/35.92	o 26072
44.16/36.21	o 26071
44.16/36.21	o 26057
44.97/37.06	o 26022
44.97/37.06	o 26019
44.97/37.06	o 25942
44.97/37.06	o 25939
44.97/37.07	o 25924
44.97/37.07	o 25921
44.97/37.07	o 25908
44.97/37.07	o 25905
44.97/37.07	o 25878
44.97/37.07	o 25875
44.97/37.07	o 25786
44.97/37.08	o 25783
44.97/37.08	o 25768
44.97/37.08	o 25765
44.97/37.08	o 25762
44.97/37.09	o 25722
44.97/37.09	o 25719
44.97/37.10	o 25704
44.97/37.10	o 25701
44.97/37.10	o 25698
45.08/37.11	o 25625
45.08/37.11	o 25567
45.08/37.11	o 25564
45.08/37.14	o 25561
45.08/37.18	o 25556
45.08/37.18	o 25553
45.08/37.18	o 25552
45.08/37.18	o 25548
45.08/37.18	o 25545
45.08/37.18	o 25517
45.08/37.18	o 25514
45.08/37.19	o 25513
45.08/37.19	o 25510
45.17/37.21	o 25501
45.17/37.23	o 25498
45.17/37.24	o 25469
45.17/37.25	o 25466
45.17/37.27	o 25324
45.17/37.29	o 25312
45.27/37.30	o 25274
45.27/37.33	o 25269
45.27/37.36	o 25266
45.57/37.63	o 25265
45.57/37.63	o 25218
45.57/37.63	o 25204
45.57/37.67	o 25201
45.67/37.71	o 25200
45.67/37.73	o 25191
45.67/37.74	o 25186
45.87/37.93	o 25181
46.77/38.88	o 25163
46.77/38.89	o 25158
46.87/38.92	o 25141
46.87/38.93	o 25136
46.87/38.94	o 25134
46.87/38.96	o 25130
47.17/39.22	o 25129
47.17/39.28	o 25126
47.17/39.29	o 25123
47.27/39.30	o 25118
47.27/39.34	o 25113
47.27/39.34	o 25108
48.27/40.35	o 25093
48.27/40.37	o 25089
48.37/40.47	o 25084
48.88/40.98	o 25078
48.88/41.00	o 25059
48.98/41.02	o 25056
49.08/41.12	o 25051
49.58/41.65	o 25050
49.58/41.65	o 25047
50.28/42.37	o 24978
50.28/42.39	o 24976
50.28/42.39	o 24973
50.28/42.39	o 24964
50.28/42.39	o 24963
50.28/42.39	o 24959
50.37/42.48	o 24932
50.37/42.50	o 24923
50.47/42.50	o 24913
50.47/42.50	o 24892
50.47/42.53	o 24887
50.67/42.74	o 24884
50.77/42.84	o 24879
50.77/42.84	o 24869
50.77/42.86	o 24865
50.87/42.90	o 24853
50.87/42.95	o 24847
50.87/42.97	o 24843
50.98/43.05	o 24838
50.98/43.06	o 24836
50.98/43.07	o 24829
50.98/43.08	o 24826
50.98/43.09	o 24823
51.08/43.15	o 24819
51.47/43.59	o 24775
51.47/43.59	o 24767
51.47/43.59	o 24765
51.47/43.59	o 24738
51.47/43.59	o 24732
51.47/43.59	o 24725
51.57/43.60	o 24722
51.57/43.60	o 24720
51.57/43.60	o 24717
51.77/43.85	o 24716
51.77/43.85	o 24715
51.77/43.88	o 24710
51.77/43.88	o 24693
51.77/43.88	o 24692
51.87/43.98	o 24691
51.87/44.00	o 24689
51.87/44.00	o 24667
52.08/44.14	o 24662
52.08/44.15	o 24661
52.08/44.15	o 24658
52.08/44.15	o 24655
52.08/44.15	o 24641
52.28/44.36	o 24587
52.28/44.37	o 24577
52.28/44.37	o 24576
52.28/44.37	o 24569
52.28/44.37	o 24567
52.28/44.38	o 24557
52.28/44.38	o 24554
52.38/44.47	o 24553
52.38/44.48	o 24550
52.88/44.91	o 24540
52.88/44.91	o 24530
52.88/44.91	o 24528
52.88/44.94	o 24496
52.88/44.94	o 24486
52.88/44.95	o 24484
52.88/44.96	o 24482
52.88/44.98	o 24477
52.88/44.98	o 24473
52.88/44.98	o 24471
52.98/45.04	o 24468
52.98/45.05	o 24466
53.38/45.43	o 24460
53.38/45.43	o 24449
53.38/45.44	o 24435
53.38/45.44	o 24402
53.38/45.45	o 24398
53.38/45.47	o 24395
53.48/45.56	o 24381
53.48/45.56	o 24379
53.48/45.57	o 24374
53.78/45.84	o 24373
53.78/45.84	o 24372
53.78/45.85	o 24371
53.78/45.85	o 24370
53.88/45.90	o 24366
53.88/45.90	o 24365
53.88/45.90	o 24363
53.88/45.95	o 24359
53.88/45.96	o 24358
53.88/45.99	o 24336
53.99/46.02	o 24295
54.19/46.21	o 24294
54.89/46.93	o 24284
54.89/46.93	o 24279
54.89/46.93	o 24277
54.89/46.93	o 24264
54.89/46.93	o 24235
54.89/46.93	o 24230
54.89/46.93	o 24228
54.89/46.94	o 24225
54.89/46.94	o 24220
54.89/46.94	o 24218
54.89/46.94	o 24214
54.89/46.96	o 24213
54.89/46.99	o 24212
55.09/47.17	o 24203
55.09/47.17	o 24202
55.09/47.19	o 24201
55.18/47.22	o 24189
55.18/47.22	o 24188
55.48/47.54	o 24184
55.58/47.61	o 24171
55.58/47.61	o 24165
55.58/47.61	o 24155
55.58/47.61	o 24146
55.58/47.62	o 24111
55.58/47.63	o 24110
55.68/47.70	o 24107
55.68/47.70	o 24106
55.68/47.70	o 24101
55.68/47.77	o 24097
69.19/61.09	o 24095
69.29/61.13	o 24092
69.29/61.14	o 24086
69.29/61.15	o 24079
69.29/61.15	o 24071
69.29/61.15	o 24065
69.29/61.15	o 24041
69.29/61.15	o 24038
69.29/61.15	o 24035
69.29/61.15	o 24030
69.29/61.15	o 24022
69.29/61.15	o 24014
69.29/61.16	o 24011
69.38/61.26	o 24010
69.38/61.26	o 24006
69.48/61.30	o 24003
69.68/61.50	o 24001
75.15/66.92	o 23990
75.15/66.92	o 23985
75.45/67.25	o 23980
75.45/67.26	o 23972
75.45/67.26	o 23966
75.45/67.26	o 23958
75.45/67.26	o 23944
75.45/67.28	o 23940
75.45/67.28	o 23927
75.45/67.28	o 23922
75.45/67.28	o 23919
75.75/67.50	o 23916
75.85/67.65	o 23878
75.85/67.68	o 23874
76.85/68.61	o 23869
76.85/68.62	o 23862
77.05/68.87	o 23846
77.05/68.87	o 23840
77.05/68.88	o 23835
77.05/68.89	o 23823
77.05/68.89	o 23818
77.05/68.89	o 23817
77.05/68.89	o 23812
78.27/70.05	o 23791
79.86/71.65	o 23752
79.96/71.73	o 23750
79.96/71.74	o 23748
79.96/71.74	o 23747
80.67/72.40	o 23746
80.67/72.41	o 23742
80.67/72.42	o 23741
80.97/72.73	o 23736
80.97/72.74	o 23727
80.97/72.74	o 23723
81.97/73.78	o 23721
82.07/73.86	o 23703
82.07/73.86	o 23702
85.07/76.88	o 23679
85.07/76.88	o 23666
85.07/76.89	o 23658
85.07/76.89	o 23648
85.17/76.90	o 23636
85.17/76.91	o 23627
85.17/76.91	o 23622
85.17/76.91	o 23608
85.17/76.93	o 23602
85.17/76.93	o 23599
85.17/76.93	o 23598
85.17/76.93	o 23588
85.17/76.93	o 23585
85.17/76.96	o 23583
85.17/76.96	o 23569
85.17/76.96	o 23566
85.17/76.96	o 23564
85.17/76.96	o 23558
85.17/76.97	o 23555
85.17/76.97	o 23552
85.17/76.98	o 23533
85.17/76.98	o 23529
85.17/76.98	o 23525
85.17/76.98	o 23519
87.07/78.82	o 23518
87.07/78.82	o 23509
87.07/78.85	o 23504
87.07/78.87	o 23502
87.07/78.87	o 23499
87.07/78.87	o 23494
87.07/78.87	o 23493
87.07/78.87	o 23490
87.07/78.87	o 23485
87.68/79.40	o 23446
87.98/79.70	o 23436
88.88/80.64	o 23435
88.88/80.64	o 23426
88.88/80.69	o 23419
88.88/80.69	o 23418
88.88/80.69	o 23417
89.39/81.14	o 23381
89.39/81.17	o 23373
89.39/81.18	o 23312
89.48/81.29	o 23311
90.18/81.97	o 23309
90.18/81.97	o 23306
90.18/81.97	o 23298
90.18/81.97	o 23293
90.18/81.97	o 23284
90.18/81.97	o 23277
90.29/82.03	o 23252
90.29/82.04	o 23251
90.29/82.07	o 23245
93.18/84.99	o 23231
93.18/84.99	o 23230
93.29/85.01	o 23197
93.29/85.01	o 23196
93.29/85.02	o 23184
93.29/85.02	o 23170
93.29/85.02	o 23169
93.29/85.02	o 23134
93.29/85.02	o 23133
93.48/85.22	o 23131
93.48/85.26	o 23117
93.48/85.26	o 23116
94.48/86.27	o 23105
94.48/86.27	o 23101
94.48/86.27	o 23100
94.48/86.27	o 23085
94.58/86.30	o 23077
94.58/86.36	o 23071
94.58/86.38	o 23065
95.78/87.57	o 23044
95.78/87.57	o 22957
95.78/87.58	o 22946
95.78/87.59	o 22925
95.78/87.59	o 22889
95.88/87.60	o 22854
95.88/87.61	o 22846
95.88/87.61	o 22841
95.88/87.62	o 22707
96.58/88.35	o 22704
96.68/88.48	o 22698
96.68/88.48	o 22692
97.08/88.89	o 22687
97.29/89.08	o 22685
97.29/89.08	o 22670
97.48/89.22	o 22669
97.48/89.26	o 22661
97.48/89.26	o 22656
99.68/91.49	o 22653
99.78/91.50	o 22651
99.78/91.50	o 22645
99.78/91.50	o 22644
99.78/91.50	o 22619
99.78/91.51	o 22589
100.29/92.01	o 22578
100.39/92.17	o 22564
101.48/93.25	o 22558
106.59/98.39	o 22557
106.59/98.39	o 22539
106.59/98.39	o 22534
106.59/98.39	o 22525
106.69/98.44	o 22516
106.69/98.44	o 22513
106.69/98.44	o 22493
106.69/98.47	o 22474
106.69/98.48	o 22467
106.69/98.48	o 22463
106.69/98.49	o 22429
106.89/98.67	o 22426
107.19/98.90	o 22421
107.19/98.91	o 22419
107.30/99.04	o 22417
107.30/99.04	o 22409
107.30/99.06	o 22408
107.30/99.08	o 22406
108.09/99.85	o 22400
108.49/100.25	o 22384
108.99/100.77	o 22378
108.99/100.77	o 22371
109.30/101.02	o 22370
109.30/101.05	o 22368
109.30/101.05	o 22330
109.30/101.06	o 22323
109.30/101.07	o 22321
109.30/101.08	o 22256
109.30/101.08	o 22254
109.30/101.09	o 22249
109.30/101.09	o 22247
109.30/101.11	o 22232
109.40/101.17	o 22155
109.49/101.20	o 22124
109.49/101.20	o 22099
109.49/101.25	o 22084
109.49/101.25	o 22059
109.59/101.33	o 22056
109.59/101.33	o 22051
109.59/101.33	o 22043
109.59/101.39	o 22030
109.59/101.39	o 22017
109.59/101.39	o 22012
109.69/101.48	o 22008
109.69/101.48	o 21997
109.69/101.48	o 21989
109.79/101.52	o 21977
109.79/101.52	o 21972
109.99/101.73	o 21967
109.99/101.74	o 21959
109.99/101.75	o 21957
110.09/101.84	o 21953
110.09/101.84	o 21945
110.09/101.84	o 21942
110.09/101.86	o 21940
110.30/102.06	o 21917
110.30/102.06	o 21913
110.30/102.06	o 21898
110.30/102.06	o 21882
110.30/102.07	o 21880
110.30/102.08	o 21879
110.80/102.56	o 21877
110.80/102.56	o 21874
110.80/102.56	o 21871
110.80/102.56	o 21868
110.80/102.56	o 21866
111.10/102.80	o 21863
111.10/102.80	o 21860
111.10/102.80	o 21856
111.10/102.84	o 21851
111.40/103.18	o 21763
111.40/103.19	o 21759
111.40/103.20	o 21752
111.40/103.20	o 21748
111.49/103.25	o 21740
111.49/103.25	o 21736
111.49/103.26	o 21733
143.26/134.94	o 21730
143.26/134.95	o 21715
144.37/136.01	o 21714
144.37/136.02	o 21703
149.86/141.55	o 21689
149.86/141.55	o 21680
149.86/141.57	o 21662
149.96/141.61	o 21658
149.96/141.61	o 21654
149.96/141.64	o 21649
149.96/141.65	o 21634
150.16/141.82	o 21612
150.37/142.11	o 21608
150.56/142.29	o 21607
150.56/142.29	o 21597
150.77/142.41	o 21586
150.87/142.55	o 21529
160.57/152.24	o 21526
160.57/152.24	o 21519
161.77/153.47	o 21516
161.97/153.65	o 21512
161.97/153.65	o 21483
161.97/153.66	o 21470
161.97/153.66	o 21455
161.97/153.70	o 21413
162.07/153.70	o 21407
162.07/153.71	o 21372
162.07/153.72	o 21371
162.38/154.02	o 21367
162.38/154.03	o 21364
162.78/154.45	o 21360
162.78/154.46	o 21358
162.88/154.51	o 21327
162.88/154.51	o 21307
162.88/154.51	o 21239
162.88/154.52	o 21237
162.88/154.52	o 21229
162.88/154.52	o 21207
163.28/154.92	o 21163
163.28/154.93	o 21154
163.28/154.94	o 21153
163.28/154.99	o 21150
163.38/155.04	o 21149
163.38/155.05	o 21147
163.38/155.05	o 21139
163.38/155.10	o 21132
163.58/155.22	o 21125
163.58/155.22	o 21124
163.58/155.22	o 21123
166.77/158.48	o 21122
166.97/158.60	o 21106
166.97/158.61	o 21082
166.97/158.61	o 21081
166.97/158.61	o 21060
166.97/158.62	o 21059
166.97/158.63	o 21032
166.97/158.63	o 21031
166.97/158.64	o 21006
166.97/158.65	o 21005
166.97/158.66	o 20981
166.97/158.66	o 20980
166.97/158.69	o 20979
167.07/158.75	o 20975
167.07/158.75	o 20974
167.38/159.09	o 20967
167.67/159.39	o 20966
168.27/159.95	o 20955
168.27/159.96	o 20954
168.27/159.98	o 20938
168.27/159.99	o 20937
168.27/160.00	o 20933
168.27/160.00	o 20932
168.38/160.01	o 20924
168.38/160.01	o 20923
168.38/160.03	o 20917
168.38/160.03	o 20916
168.38/160.06	o 20857
168.38/160.08	o 20856
168.38/160.08	o 20849
168.38/160.08	o 20848
168.48/160.13	o 20845
168.48/160.14	o 20841
168.48/160.14	o 20840
168.77/160.42	o 20804
168.77/160.42	o 20793
168.97/160.67	o 20710
168.97/160.69	o 20687
169.07/160.71	o 20672
169.07/160.72	o 20651
169.17/160.81	o 20649
169.17/160.84	o 20648
169.57/161.26	o 20622
169.57/161.27	o 20584
169.57/161.28	o 20567
169.57/161.29	o 20554
169.57/161.29	o 20546
169.57/161.29	o 20533
169.57/161.29	o 20522
169.57/161.29	o 20516
169.67/161.31	o 20506
169.67/161.31	o 20500
169.67/161.36	o 20491
169.67/161.37	o 20490
169.67/161.38	o 20489
170.27/161.96	o 20464
170.27/161.96	o 20463
170.98/162.69	o 20462
171.08/162.72	o 20459
171.08/162.72	o 20457
171.08/162.75	o 20453
171.08/162.76	o 20449
171.08/162.76	o 20448
171.08/162.76	o 20443
171.08/162.76	o 20441
182.89/174.53	o 20440
182.89/174.53	o 20439
182.89/174.53	o 20437
183.39/175.06	o 20434
188.09/179.71	o 20407
188.09/179.71	o 20403
188.09/179.75	o 20400
188.09/179.76	o 20399
188.09/179.77	o 20388
188.09/179.77	o 20381
188.09/179.78	o 20380
188.09/179.78	o 20375
188.29/179.96	o 20365
188.59/180.27	o 20361
188.79/180.46	o 20360
190.09/181.74	o 20358
190.09/181.74	o 20357
190.09/181.75	o 20351
190.09/181.75	o 20350
190.09/181.75	o 20349
197.20/188.88	o 20346
197.30/188.92	o 20337
197.30/188.92	o 20333
197.30/188.92	o 20330
197.30/188.93	o 20328
197.30/188.95	o 20325
197.30/188.95	o 20315
197.30/188.99	o 20302
197.30/188.99	o 20296
197.30/188.99	o 20289
201.51/193.15	o 20276
201.51/193.15	o 20273
201.51/193.15	o 20260
201.51/193.19	o 20238
201.51/193.19	o 20209
201.51/193.19	o 20206
201.51/193.19	o 20203
201.51/193.20	o 20193
201.60/193.27	o 20165
201.60/193.28	o 20164
201.60/193.28	o 20154
202.00/193.69	o 20104
202.00/193.69	o 20092
202.00/193.69	o 20090
202.00/193.69	o 20089
202.00/193.69	o 20087
202.10/193.70	o 20053
202.10/193.71	o 20051
202.10/193.72	o 20025
202.10/193.72	o 20023
202.10/193.74	o 19942
202.10/193.74	o 19940
202.10/193.78	o 19898
202.10/193.78	o 19896
202.20/193.83	o 19893
202.20/193.83	o 19882
202.20/193.83	o 19880
202.20/193.83	o 19864
202.20/193.84	o 19862
202.20/193.88	o 19859
202.20/193.89	o 19786
202.30/193.91	o 19783
202.30/193.92	o 19731
202.30/193.92	o 19724
202.30/193.93	o 19721
202.30/193.96	o 19719
202.30/193.99	o 19583
202.30/193.99	o 19580
202.30/194.00	o 19578
202.41/194.02	o 19570
202.41/194.02	o 19560
202.41/194.02	o 19526
202.41/194.02	o 19523
202.41/194.02	o 19521
202.80/194.41	o 19518
202.80/194.42	o 19508
202.80/194.43	o 19499
205.30/196.97	o 19495
207.86/199.48	o 19491
207.86/199.49	o 19486
207.86/199.50	o 19481
208.66/200.25	o 19469
208.96/200.52	o 19463
208.96/200.52	o 19447
209.66/201.22	o 19437
211.27/202.89	o 19429
211.37/202.91	o 19427
211.37/202.91	o 19424
211.37/202.91	o 19421
211.37/202.91	o 19417
211.37/202.91	o 19413
211.37/202.91	o 19401
211.37/202.91	o 19392
211.37/202.91	o 19390
211.37/202.91	o 19385
211.37/202.91	o 19382
211.37/202.93	o 19368
211.37/202.97	o 19354
211.37/202.97	o 19336
211.37/202.99	o 19324
211.58/203.17	o 19322
211.77/203.36	o 19321
211.77/203.36	o 19302
211.87/203.40	o 19293
212.27/203.85	o 19289
212.27/203.85	o 19284
218.58/210.14	o 19282
218.58/210.14	o 19281
218.58/210.16	o 19252
218.58/210.17	o 19251
218.58/210.17	o 19227
218.58/210.18	o 19226
218.67/210.23	o 19212
218.67/210.23	o 19190
218.67/210.24	o 19189
218.67/210.29	o 19145
218.77/210.34	o 19127
218.77/210.34	o 19101
218.77/210.34	o 19073
218.77/210.34	o 19071
218.77/210.39	o 19068
218.87/210.42	o 19052
218.87/210.42	o 19048
218.87/210.42	o 19010
218.87/210.42	o 19008
218.97/210.50	o 19004
218.97/210.51	o 19002
218.97/210.53	o 18943
218.97/210.53	o 18941
218.97/210.59	o 18936
218.97/210.59	o 18934
219.07/210.63	o 18915
219.07/210.63	o 18913
219.07/210.67	o 18899
219.07/210.67	o 18897
219.07/210.69	o 18872
219.07/210.69	o 18870
219.17/210.73	o 18844
219.17/210.73	o 18842
219.17/210.78	o 18841
299.12/290.66	o 18837
299.32/290.80	o 18834
299.32/290.80	o 18829
299.32/290.81	o 18827
299.32/290.81	o 18822
299.32/290.81	o 18813
299.32/290.81	o 18808
302.02/293.51	o 18806
302.73/294.24	o 18804
303.13/294.61	o 18797
303.13/294.61	o 18791
308.13/299.64	o 18786
310.13/301.68	o 18772
310.54/302.10	o 18770
310.54/302.10	o 18764
310.64/302.11	o 18759
312.83/304.38	o 18757
354.92/346.35	o 18747
354.92/346.36	o 18742
355.02/346.44	o 18735
355.12/346.52	o 18730
355.12/346.58	o 18721
355.12/346.59	o 18714
355.32/346.70	o 18709
355.32/346.70	o 18703
357.02/348.45	o 18691
357.22/348.61	o 18688
357.32/348.78	o 18686
357.32/348.79	o 18675
357.32/348.79	o 18673
357.32/348.79	o 18664
357.42/348.81	o 18657
357.42/348.82	o 18655
357.42/348.82	o 18651
361.82/353.22	o 18642
361.82/353.22	o 18641
362.82/354.20	o 18628
362.82/354.21	o 18627
363.03/354.42	o 18609
363.03/354.43	o 18585
364.43/355.87	o 18577
364.43/355.87	o 18562
364.43/355.89	o 18554
364.43/355.89	o 18545
364.43/355.89	o 18522
364.53/355.91	o 18520
364.53/355.96	o 18508
364.53/355.96	o 18504
364.64/356.03	o 18483
364.64/356.03	o 18479
364.64/356.07	o 18423
364.64/356.10	o 18419
364.74/356.15	o 18409
364.74/356.15	o 18402
366.04/357.42	o 18397
366.04/357.42	o 18381
366.04/357.42	o 18380
366.04/357.42	o 18373
366.04/357.42	o 18369
366.04/357.44	o 18361
366.04/357.45	o 18345
366.04/357.45	o 18336
366.14/357.52	o 18332
366.14/357.52	o 18328
366.14/357.52	o 18320
366.14/357.53	o 18315
366.14/357.53	o 18311
367.14/358.51	o 18309
367.14/358.51	o 18308
367.14/358.51	o 18293
367.14/358.52	o 18292
367.14/358.59	o 18287
367.24/358.60	o 18286
367.24/358.62	o 18282
367.24/358.65	o 18280
367.24/358.65	o 18275
367.24/358.65	o 18269
367.24/358.69	o 18268
367.34/358.73	o 18267
368.34/359.77	o 18250
368.54/359.98	o 18244
368.54/359.99	o 18230
368.54/359.99	o 18217
368.54/359.99	o 18211
368.54/359.99	o 18206
368.65/360.05	o 18183
368.84/360.23	o 18181
368.84/360.23	o 18178
368.84/360.27	o 18174
371.94/363.34	o 18172
371.94/363.34	o 18150
371.94/363.34	o 18144
371.94/363.34	o 18139
372.14/363.52	o 18132
372.14/363.52	o 18129
372.14/363.52	o 18115
372.14/363.52	o 18107
516.39/507.69	o 18106
519.59/510.82	o 18104
519.79/511.05	o 18099
520.68/511.91	o 18096
542.30/533.56	o 18093
542.30/533.56	o 18076
542.30/533.57	o 18075
542.40/533.61	o 18069
542.40/533.62	o 18068
542.40/533.63	o 18066
542.40/533.63	o 18065
544.40/535.64	o 18064
551.40/542.67	o 18062
551.40/542.67	o 18056
551.40/542.68	o 18054
551.40/542.68	o 18048
551.40/542.69	o 18032
551.40/542.69	o 18026
551.60/542.82	o 17995
551.70/542.95	o 17976
551.70/542.96	o 17973
552.20/543.46	o 17972
552.20/543.46	o 17953
552.20/543.49	o 17950
552.20/543.49	o 17938
552.20/543.49	o 17931
552.40/543.60	o 17908
552.40/543.60	o 17888
552.40/543.61	o 17873
552.40/543.61	o 17868
552.40/543.65	o 17857
552.40/543.65	o 17842
552.40/543.65	o 17837
552.40/543.68	o 17809
552.40/543.68	o 17806
552.40/543.68	o 17801
552.50/543.72	o 17798
552.50/543.74	o 17792
552.50/543.74	o 17779
552.60/543.85	o 17760
552.60/543.85	o 17751
552.60/543.85	o 17707
552.60/543.85	o 17691
552.60/543.87	o 17661
552.60/543.87	o 17657
552.70/543.93	o 17655
552.70/543.94	o 17648
552.70/543.96	o 17647
552.70/543.96	o 17609
552.70/543.97	o 17596
553.00/544.23	o 17590
553.00/544.23	o 17589
553.00/544.23	o 17580
553.00/544.23	o 17578
553.00/544.24	o 17559
553.00/544.24	o 17547
553.00/544.26	o 17544
553.00/544.27	o 17526
553.00/544.28	o 17516
553.10/544.31	o 17511
553.10/544.31	o 17508
553.10/544.33	o 17489
553.10/544.34	o 17486
718.17/709.23	o 17482
718.17/709.26	o 17479
718.87/709.96	o 17470
722.17/713.25	o 17467
723.37/714.49	o 17456
723.47/714.51	o 17453
723.47/714.52	o 17448
723.47/714.52	o 17445
723.57/714.60	o 17438
723.57/714.64	o 17429
723.67/714.71	o 17420
724.54/715.55	o 17416
724.54/715.55	o 17395
724.54/715.56	o 17393
724.54/715.56	o 17382
724.54/715.57	o 17379
725.74/716.72	o 17366
725.74/716.79	o 17357
727.74/718.76	o 17335
727.74/718.76	o 17329
727.74/718.76	o 17326
727.74/718.78	o 17306
727.74/718.78	o 17301
727.74/718.78	o 17265
728.05/719.05	o 17259
728.05/719.07	o 17244
728.05/719.07	o 17239
730.05/721.07	o 17204
730.64/721.65	o 17194
730.74/721.79	o 17185
733.15/724.19	o 17163
733.64/724.68	o 17157
736.15/727.15	o 17152
741.75/732.74	o 17140
741.75/732.75	o 17139
741.75/732.76	o 17136
741.75/732.76	o 17129
741.75/732.76	o 17123
741.85/732.88	o 17111
741.85/732.88	o 17101
741.85/732.88	o 17098
741.95/732.91	o 17091
741.95/732.91	o 17090
741.95/732.91	o 17083
741.95/732.92	o 17077
743.16/734.17	o 17075
743.25/734.24	o 17048
744.45/735.43	o 17036
744.45/735.44	o 17027
744.45/735.47	o 16959
744.45/735.47	o 16950
744.75/735.70	o 16938
744.75/735.71	o 16934
744.75/735.71	o 16921
745.25/736.29	o 16886
745.35/736.32	o 16873
745.35/736.33	o 16852
745.35/736.34	o 16835
745.85/736.86	o 16830
745.85/736.86	o 16829
745.85/736.87	o 16822
745.85/736.87	o 16821
745.95/736.91	o 16817
745.95/736.94	o 16805
745.95/736.94	o 16804
746.16/737.17	o 16802
746.16/737.17	o 16778
748.75/739.73	o 16770
748.95/739.92	o 16764
748.95/739.92	o 16763
748.95/739.92	o 16732
748.95/739.95	o 16730
749.06/740.01	o 16729
749.06/740.01	o 16727
749.06/740.01	o 16696
749.06/740.05	o 16694
749.06/740.09	o 16667
749.06/740.10	o 16665
749.25/740.24	o 16649
749.25/740.24	o 16642
749.35/740.36	o 16636
749.35/740.38	o 16634
749.35/740.39	o 16631
749.35/740.39	o 16603
749.95/741.00	o 16590
749.95/741.00	o 16580
750.06/741.02	o 16572
750.06/741.02	o 16562
750.65/741.60	o 16532
750.65/741.63	o 16514
750.65/741.63	o 16504
750.65/741.69	o 16496
750.65/741.69	o 16468
750.75/741.78	o 16446
750.85/741.81	o 16443
750.85/741.81	o 16415
750.95/741.92	o 16397
751.95/742.91	o 16382
751.95/742.91	o 16372
752.06/743.09	o 16364
752.06/743.09	o 16354
752.25/743.28	o 16346
752.25/743.28	o 16343
1610.63/1600.88	o 16323
1672.42/1662.52	o 16315
1823.26/1813.23	o 16314
1823.26/1813.23	o 16301
1823.26/1813.24	o 16297
1823.56/1813.58	o 16294
1824.26/1814.24	o 16290
1824.46/1814.42	o 16284
1824.46/1814.43	o 16280
1824.56/1814.56	o 16273
1824.56/1814.56	o 16262
1824.56/1814.57	o 16258
1824.96/1814.93	o 16255
1824.96/1814.93	o 16247
1824.96/1814.95	o 16243
1825.36/1815.33	o 16238
1825.36/1815.34	o 16229
1825.36/1815.34	o 16227
1825.46/1815.41	o 16222
1825.46/1815.44	o 16219
1825.46/1815.44	o 16161
1825.56/1815.52	o 16158
1825.56/1815.58	o 16140
1825.56/1815.60	o 16129
1825.66/1815.64	o 16085
1825.66/1815.69	o 16079
1825.76/1815.73	o 16075
1825.96/1815.92	o 16070
1825.96/1815.96	o 16063
1826.56/1816.51	o 16060
1826.56/1816.51	o 16044
1826.56/1816.51	o 16037
1826.56/1816.56	o 16004
1826.56/1816.60	o 15997
1826.66/1816.61	o 15975
1827.86/1817.81	o 15969
1829.56/1819.58	o 15962
1832.96/1823.00	o 15921
1833.17/1823.15	o 15903
1833.66/1823.64	o 15859
1833.66/1823.64	o 15856
1833.66/1823.67	o 15854
1833.66/1823.67	o 15851
1833.76/1823.71	o 15847
1833.76/1823.71	o 15844
1834.46/1824.49	o 15842
1834.56/1824.55	o 15835
1834.56/1824.57	o 15830
1834.76/1824.74	o 15825
1834.76/1824.76	o 15818
1834.86/1824.80	o 15814
1834.96/1824.94	o 15802
1834.96/1824.94	o 15797
1834.96/1824.96	o 15790
1835.07/1825.05	o 15786
1836.66/1826.69	o 15779
1836.66/1826.69	o 15743
1836.76/1826.72	o 15733
1836.76/1826.72	o 15717
1836.96/1826.99	o 15712
1837.07/1827.05	o 15709
1837.07/1827.06	o 15702
1837.17/1827.18	o 15701
1837.36/1827.38	o 15698
1837.36/1827.39	o 15690
1837.36/1827.39	o 15683
1837.76/1827.76	o 15675
1837.76/1827.76	o 15673
1837.76/1827.76	o 15670
1837.76/1827.76	o 15665
1837.76/1827.76	o 15656
1837.76/1827.76	o 15655
1837.76/1827.76	o 15652
1837.76/1827.77	o 15651
1837.86/1827.80	o 15648
1837.86/1827.82	o 15639
1837.86/1827.82	o 15635
1837.86/1827.83	o 15632
1837.86/1827.83	o 15628
1838.07/1828.04	o 15621
1838.07/1828.06	o 15616
1840.07/1830.03	o 15613
1841.07/1831.01	o 15612
1841.07/1831.01	o 15606
1841.07/1831.01	o 15605
1841.07/1831.01	o 15599
1841.07/1831.01	o 15597
1841.07/1831.02	o 15587
1841.07/1831.02	o 15543
1841.07/1831.02	o 15528
1841.07/1831.02	o 15526
1841.07/1831.09	o 15520
1841.07/1831.09	o 15518
1841.07/1831.09	o 15512
1841.07/1831.09	o 15504
1841.07/1831.09	o 15501
1841.17/1831.14	o 15499
1841.17/1831.14	o 15493
1841.36/1831.33	o 15489
1841.86/1831.85	o 15484
1842.36/1832.35	o 15479
2520.08/2509.30	s SATISFIABLE
2520.08/2509.30	v <instantiation>
2520.08/2509.30	v 	<list>
2520.08/2509.30	v 		c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124] c[125] c[126] c[127] c[128] c[129] c[130] c[131] c[132] c[133] c[134] c[135] c[136] c[137] c[138] c[139] c[140] c[141] c[142] c[143] c[144] c[145] c[146] c[147] c[148] c[149] c[150] c[151] c[152] c[153] c[154] c[155] c[156] c[157] c[158] c[159] c[160] c[161] c[162] c[163] c[164] c[165] c[166] c[167] c[168] c[169] c[170] c[171] c[172] c[173] c[174] c[175] c[176] c[177] c[178] c[179] c[180] c[181] c[182] c[183] c[184] c[185] c[186] c[187] c[188] c[189] c[190] c[191] c[192] c[193] c[194] c[195] c[196] c[197] c[198] c[199] c[200] c[201] c[202] c[203] c[204] c[205] c[206] c[207] c[208] c[209] c[210] c[211] c[212] c[213] c[214] c[215] c[216] c[217] c[218] c[219] c[220] c[221] c[222] c[223] c[224] c[225] c[226] c[227] c[228] c[229] c[230] c[231] c[232] c[233] c[234] c[235] c[236] c[237] c[238] c[239] c[240] c[241] c[242] c[243] c[244] c[245] c[246] c[247] c[248] c[249]
2520.08/2509.30	v 	</list>
2520.08/2509.30	v 	<values>
2520.08/2509.30	v 		83 37 114 203 11 41 65 38 24 94 75 59 80 60 88 18 38 51 52 66 2 9 166 7 68 207 16 85 121 76 26 10 2 12 13 17 5 80 14 96 0 132 103 90 73 8 9 79 43 27 70 14 26 11 0 12 64 3 19 2 27 40 177 50 196 104 7 98 20 14 112 77 21 76 37 78 193 16 107 55 3 77 29 10 87 159 57 29 61 17 216 38 119 19 68 69 241 101 188 42 95 32 58 46 5 23 73 242 135 177 64 71 23 161 3 97 30 41 44 20 57 15 89 92 56 59 40 21 31 8 10 43 61 62 54 14 22 54 35 24 37 1 102 74 72 51 34 106 62 18 35 11 31 53 31 104 19 67 86 82 29 30 4 36 9 44 173 28 247 41 112 244 33 81 15 49 47 146 4 45 0 28 50 21 4 237 1 1 45 36 87 71 6 35 15 42 3 48 211 8 66 227 53 6 120 157 69 34 33 39 36 16 65 47 46 190 79 22 12 28 49 6 34 246 63 56 30 24 185 17 150 13 243 23 55 32 25 22 7 27 39 20 48 97 5 25 220 134 248 13 
2520.08/2509.30	v 	</values>
2520.08/2509.30	v </instantiation>

Verifier Data

OK	15479

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308008-1534283080/watcher-4308008-1534283080 -o /tmp/evaluation-result-4308008-1534283080/solver-4308008-1534283080 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534270595-13936 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1596178237 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308008-1534283080.xml 

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

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


[startup+0.100141 s]*
/proc/loadavg: 1.55 1.40 1.42 3/216 15305
/proc/meminfo: memFree=24369940/32770624 swapFree=67108524/67108860
[pid=15290] ppid=15287 vsize=14082736 memory=30608 CPUtime=0.12 cores=1,3,5,7
/proc/15290/stat : 15290 (java) S 15287 15290 12120 0 -1 1077944320 6576 0 0 0 11 1 0 0 20 0 15 0 245871156 14420721664 7652 33554432000 4194304 4196468 140720711080976 140720711063520 140371785862903 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
/proc/15290/statm: 3520684 7652 3155 1 0 3482761 0
[pid=15290/tid=15292] ppid=15287 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=1,3,5,7
/proc/15290/task/15292/stat : 15292 (java) R 15287 15290 12120 0 -1 4202560 4603 0 0 0 8 1 0 0 20 0 15 0 245871156 14420721664 7652 33554432000 4194304 4196468 140720711080976 140371790075760 140371778100030 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15293] ppid=15287 vsize=14082736 memory=5793855010519525817 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15293/stat : 15293 (java) S 15287 15290 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245871157 14420721664 7652 33554432000 4194304 4196468 140720711080976 140371746823056 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15294] ppid=15287 vsize=14082736 memory=139759509632640 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15294/stat : 15294 (java) S 15287 15290 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245871157 14420721664 7652 33554432000 4194304 4196468 140720711080976 140371380382480 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15295] ppid=15287 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15295/stat : 15295 (java) S 15287 15290 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245871157 14420721664 7652 33554432000 4194304 4196468 140720711080976 140371379330192 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15296] ppid=15287 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15296/stat : 15296 (java) S 15287 15290 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245871157 14420721664 7652 33554432000 4194304 4196468 140720711080976 140371378277392 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15297] ppid=15287 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15297/stat : 15297 (java) S 15287 15290 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245871159 14420721664 7652 33554432000 4194304 4196468 140720711080976 140370967648368 140371785874050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15298] ppid=15287 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15298/stat : 15298 (java) S 15287 15290 12120 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245871159 14420721664 7652 33554432000 4194304 4196468 140720711080976 140370966594336 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15299] ppid=15287 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15299/stat : 15299 (java) S 15287 15290 12120 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245871159 14420721664 7652 33554432000 4194304 4196468 140720711080976 140370965542000 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15300] ppid=15287 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15300/stat : 15300 (java) S 15287 15290 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245871162 14420721664 7652 33554432000 4194304 4196468 140720711080976 140370964490320 140371785881499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15301] ppid=15287 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15301/stat : 15301 (java) S 15287 15290 12120 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 245871162 14420721664 7652 33554432000 4194304 4196468 140720711080976 140370963438192 140371785874050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15302] ppid=15287 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15302/stat : 15302 (java) S 15287 15290 12120 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 245871162 14420721664 7652 33554432000 4194304 4196468 140720711080976 140370962385392 140371785874050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15303] ppid=15287 vsize=14082736 memory=139759509632640 CPUtime=0.01 cores=1,3,5,7
/proc/15290/task/15303/stat : 15303 (java) S 15287 15290 12120 0 -1 1077944384 287 0 0 0 1 0 0 0 20 0 15 0 245871162 14420721664 7652 33554432000 4194304 4196468 140720711080976 140370961333104 140371785874050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15304] ppid=15287 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15304/stat : 15304 (java) S 15287 15290 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245871162 14420721664 7652 33554432000 4194304 4196468 140720711080976 140370960280544 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15305] ppid=15287 vsize=14082736 memory=139759509632640 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15305/stat : 15305 (java) S 15287 15290 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245871162 14420721664 7652 33554432000 4194304 4196468 140720711080976 140370959227312 140371785874050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 30608 KiB

[startup+0.210407 s]*
/proc/loadavg: 1.55 1.40 1.42 5/216 15305
/proc/meminfo: memFree=24353828/32770624 swapFree=67108524/67108860
[pid=15290] ppid=15287 vsize=14082736 memory=47228 CPUtime=0.31 cores=1,3,5,7
/proc/15290/stat : 15290 (java) S 15287 15290 12120 0 -1 1077944320 10386 0 0 0 29 2 0 0 20 0 15 0 245871156 14420721664 11807 33554432000 4194304 4196468 140720711080976 140720711063520 140371785862903 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
/proc/15290/statm: 3520684 11807 3381 1 0 3482761 0
[pid=15290/tid=15292] ppid=15287 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/15290/task/15292/stat : 15292 (java) R 15287 15290 12120 0 -1 4202560 8081 0 0 0 19 1 0 0 20 0 15 0 245871156 14420721664 11807 33554432000 4194304 4196468 140720711080976 140371790090016 140371767256634 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15293] ppid=15287 vsize=14082736 memory=4211973485714423178 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15293/stat : 15293 (java) S 15287 15290 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245871157 14420721664 11807 33554432000 4194304 4196468 140720711080976 140371746823056 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15294] ppid=15287 vsize=14082736 memory=139759509632640 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15294/stat : 15294 (java) S 15287 15290 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245871157 14420721664 11807 33554432000 4194304 4196468 140720711080976 140371380382480 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15295] ppid=15287 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15295/stat : 15295 (java) S 15287 15290 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245871157 14420721664 11807 33554432000 4194304 4196468 140720711080976 140371379330192 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15296] ppid=15287 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15296/stat : 15296 (java) S 15287 15290 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245871157 14420721664 11807 33554432000 4194304 4196468 140720711080976 140371378277392 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15297] ppid=15287 vsize=14082736 memory=139759509632640 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15297/stat : 15297 (java) S 15287 15290 12120 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245871159 14420721664 11807 33554432000 4194304 4196468 140720711080976 140370967648368 140371785874050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15298] ppid=15287 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15298/stat : 15298 (java) S 15287 15290 12120 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245871159 14420721664 11807 33554432000 4194304 4196468 140720711080976 140370966594336 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15299] ppid=15287 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15299/stat : 15299 (java) S 15287 15290 12120 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245871159 14420721664 11807 33554432000 4194304 4196468 140720711080976 140370965542000 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15300] ppid=15287 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15300/stat : 15300 (java) S 15287 15290 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245871162 14420721664 11807 33554432000 4194304 4196468 140720711080976 140370964490320 140371785881499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15301] ppid=15287 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15290/task/15301/stat : 15301 (java) R 15287 15290 12120 0 -1 4202560 449 0 0 0 2 0 0 0 20 0 15 0 245871162 14420721664 11807 33554432000 4194304 4196468 140720711080976 140370963438192 140371767384085 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15302] ppid=15287 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/15290/task/15302/stat : 15302 (java) R 15287 15290 12120 0 -1 1077944384 133 0 0 0 1 0 0 0 20 0 15 0 245871162 14420721664 11807 33554432000 4194304 4196468 140720711080976 140370962385392 140371785874050 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15303] ppid=15287 vsize=14082736 memory=139759509632640 CPUtime=0.06 cores=1,3,5,7
/proc/15290/task/15303/stat : 15303 (java) R 15287 15290 12120 0 -1 4202560 345 0 0 0 6 0 0 0 20 0 15 0 245871162 14420721664 11807 33554432000 4194304 4196468 140720711080976 140370961327456 140371763990543 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15304] ppid=15287 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15304/stat : 15304 (java) S 15287 15290 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245871162 14420721664 11807 33554432000 4194304 4196468 140720711080976 140370960280544 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15305] ppid=15287 vsize=14082736 memory=139759509632640 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15305/stat : 15305 (java) S 15287 15290 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245871162 14420721664 11807 33554432000 4194304 4196468 140720711080976 140370959227312 140371785874050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47228 KiB

[startup+0.310445 s]*
/proc/loadavg: 1.55 1.40 1.42 5/216 15305
/proc/meminfo: memFree=24350540/32770624 swapFree=67108524/67108860
[pid=15290] ppid=15287 vsize=14082736 memory=50964 CPUtime=0.45 cores=1,3,5,7
/proc/15290/stat : 15290 (java) S 15287 15290 12120 0 -1 1077944320 10814 0 0 0 43 2 0 0 20 0 15 0 245871156 14420721664 12741 33554432000 4194304 4196468 140720711080976 140720711063520 140371785862903 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
/proc/15290/statm: 3520684 12741 3429 1 0 3482761 0
[pid=15290/tid=15292] ppid=15287 vsize=14082736 memory=4871374705135476842 CPUtime=0.29 cores=1,3,5,7
/proc/15290/task/15292/stat : 15292 (java) R 15287 15290 12120 0 -1 4202560 8442 0 0 0 28 1 0 0 20 0 15 0 245871156 14420721664 12741 33554432000 4194304 4196468 140720711080976 140371790070736 140371766128693 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15293] ppid=15287 vsize=14082736 memory=4211973485714423178 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15293/stat : 15293 (java) S 15287 15290 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245871157 14420721664 12741 33554432000 4194304 4196468 140720711080976 140371746823056 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15294] ppid=15287 vsize=14082736 memory=139759509635005 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15294/stat : 15294 (java) S 15287 15290 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245871157 14420721664 12741 33554432000 4194304 4196468 140720711080976 140371380382480 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15295] ppid=15287 vsize=14082736 memory=139759376783720 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15295/stat : 15295 (java) S 15287 15290 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245871157 14420721664 12741 33554432000 4194304 4196468 140720711080976 140371379330192 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15296] ppid=15287 vsize=14082736 memory=139759376780751 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15296/stat : 15296 (java) S 15287 15290 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245871157 14420721664 12741 33554432000 4194304 4196468 140720711080976 140371378277392 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15297] ppid=15287 vsize=14082736 memory=139759509644787 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15297/stat : 15297 (java) S 15287 15290 12120 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245871159 14420721664 12741 33554432000 4194304 4196468 140720711080976 140370967648368 140371785874050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15298] ppid=15287 vsize=14082736 memory=139759376789935 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15298/stat : 15298 (java) S 15287 15290 12120 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245871159 14420721664 12741 33554432000 4194304 4196468 140720711080976 140370966594336 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15299] ppid=15287 vsize=14082736 memory=279518753570704 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15299/stat : 15299 (java) S 15287 15290 12120 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245871159 14420721664 12741 33554432000 4194304 4196468 140720711080976 140370965542000 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15300] ppid=15287 vsize=14082736 memory=279518753568400 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15300/stat : 15300 (java) S 15287 15290 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245871162 14420721664 12741 33554432000 4194304 4196468 140720711080976 140370964490320 140371785881499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15301] ppid=15287 vsize=14082736 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/15290/task/15301/stat : 15301 (java) S 15287 15290 12120 0 -1 1077944384 470 0 0 0 3 0 0 0 20 0 15 0 245871162 14420721664 12741 33554432000 4194304 4196468 140720711080976 140370963438192 140371785874050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15302] ppid=15287 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/15290/task/15302/stat : 15302 (java) S 15287 15290 12120 0 -1 1077944384 149 0 0 0 1 0 0 0 20 0 15 0 245871162 14420721664 12741 33554432000 4194304 4196468 140720711080976 140370962385392 140371785874050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15303] ppid=15287 vsize=14082736 memory=139759509632640 CPUtime=0.08 cores=1,3,5,7
/proc/15290/task/15303/stat : 15303 (java) S 15287 15290 12120 0 -1 1077944384 369 0 0 0 8 0 0 0 20 0 15 0 245871162 14420721664 12741 33554432000 4194304 4196468 140720711080976 140370961333104 140371785874050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15304] ppid=15287 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15304/stat : 15304 (java) S 15287 15290 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245871162 14420721664 12741 33554432000 4194304 4196468 140720711080976 140370960280544 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15305] ppid=15287 vsize=14082736 memory=139759509632640 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15305/stat : 15305 (java) S 15287 15290 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245871162 14420721664 12741 33554432000 4194304 4196468 140720711080976 140370959227312 140371785874050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50964 KiB

[startup+0.700787 s]
/proc/loadavg: 1.55 1.40 1.42 3/216 15305
/proc/meminfo: memFree=24325984/32770624 swapFree=67108524/67108860
[pid=15290] ppid=15287 vsize=14084804 memory=88812 CPUtime=0.98 cores=1,3,5,7
/proc/15290/stat : 15290 (java) S 15287 15290 12120 0 -1 1077944320 17596 0 0 0 94 4 0 0 20 0 15 0 245871156 14422839296 22203 33554432000 4194304 4196468 140720711080976 140720711063520 140371785862903 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
/proc/15290/statm: 3521201 22203 3497 1 0 3483273 0
[pid=15290/tid=15292] ppid=15287 vsize=14084804 memory=1120 CPUtime=0.67 cores=1,3,5,7
/proc/15290/task/15292/stat : 15292 (java) R 15287 15290 12120 0 -1 4202560 14895 0 0 0 64 3 0 0 20 0 15 0 245871156 14422839296 22203 33554432000 4194304 4196468 140720711080976 140371790085616 140371769943390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15293] ppid=15287 vsize=14084804 memory=6064 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15293/stat : 15293 (java) S 15287 15290 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245871157 14422839296 22203 33554432000 4194304 4196468 140720711080976 140371746823056 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15294] ppid=15287 vsize=14084804 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15294/stat : 15294 (java) S 15287 15290 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245871157 14422839296 22203 33554432000 4194304 4196468 140720711080976 140371380382480 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15295] ppid=15287 vsize=14084804 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15295/stat : 15295 (java) S 15287 15290 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245871157 14422839296 22203 33554432000 4194304 4196468 140720711080976 140371379330192 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15296] ppid=15287 vsize=14084804 memory=7957390390475708010 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15296/stat : 15296 (java) S 15287 15290 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245871157 14422839296 22203 33554432000 4194304 4196468 140720711080976 140371378277392 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15297] ppid=15287 vsize=14084804 memory=5787213848606435153 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15297/stat : 15297 (java) S 15287 15290 12120 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245871159 14422839296 22203 33554432000 4194304 4196468 140720711080976 140370967648368 140371785874050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15298] ppid=15287 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15298/stat : 15298 (java) S 15287 15290 12120 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245871159 14422839296 22203 33554432000 4194304 4196468 140720711080976 140370966594336 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15299] ppid=15287 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15299/stat : 15299 (java) S 15287 15290 12120 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245871159 14422839296 22203 33554432000 4194304 4196468 140720711080976 140370965542000 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15300] ppid=15287 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15300/stat : 15300 (java) S 15287 15290 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245871162 14422839296 22203 33554432000 4194304 4196468 140720711080976 140370964490320 140371785881499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15301] ppid=15287 vsize=14084804 memory=220 CPUtime=0.08 cores=1,3,5,7
/proc/15290/task/15301/stat : 15301 (java) S 15287 15290 12120 0 -1 1077944384 553 0 0 0 8 0 0 0 20 0 15 0 245871162 14422839296 22203 33554432000 4194304 4196468 140720711080976 140370963438192 140371785874050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15302] ppid=15287 vsize=14084804 memory=7 CPUtime=0.05 cores=1,3,5,7
/proc/15290/task/15302/stat : 15302 (java) S 15287 15290 12120 0 -1 1077944384 321 0 0 0 5 0 0 0 20 0 15 0 245871162 14422839296 22203 33554432000 4194304 4196468 140720711080976 140370962385392 140371785874050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15303] ppid=15287 vsize=14084804 memory=696 CPUtime=0.15 cores=1,3,5,7
/proc/15290/task/15303/stat : 15303 (java) S 15287 15290 12120 0 -1 1077944384 444 0 0 0 15 0 0 0 20 0 15 0 245871162 14422839296 22203 33554432000 4194304 4196468 140720711080976 140370961333104 140371785874050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15304] ppid=15287 vsize=14084804 memory=279518753754608 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15304/stat : 15304 (java) S 15287 15290 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245871162 14422839296 22203 33554432000 4194304 4196468 140720711080976 140370960280544 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15305] ppid=15287 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15305/stat : 15305 (java) S 15287 15290 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245871162 14422839296 22203 33554432000 4194304 4196468 140720711080976 140370959227312 140371785874050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88812 KiB

[startup+1.50227 s]
/proc/loadavg: 1.55 1.40 1.42 5/216 15305
/proc/meminfo: memFree=24269212/32770624 swapFree=67108524/67108860
[pid=15290] ppid=15287 vsize=14086852 memory=234196 CPUtime=3.53 cores=1,3,5,7
/proc/15290/stat : 15290 (java) S 15287 15290 12120 0 -1 1077944320 23914 0 0 0 343 10 0 0 20 0 15 0 245871156 14424936448 58549 33554432000 4194304 4196468 140720711080976 140720711063520 140371785862903 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
/proc/15290/statm: 3521713 58549 3574 1 0 3483785 0
[pid=15290/tid=15292] ppid=15287 vsize=14086852 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/15290/task/15292/stat : 15292 (java) R 15287 15290 12120 0 -1 4202560 16021 0 0 0 140 5 0 0 20 0 15 0 245871156 14424936448 58549 33554432000 4194304 4196468 140720711080976 140371790095568 140371771028558 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15293] ppid=15287 vsize=14086852 memory=-6585528546044026665 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15293/stat : 15293 (java) S 15287 15290 12120 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 15 0 245871157 14424936448 58549 33554432000 4194304 4196468 140720711080976 140371746823056 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15294] ppid=15287 vsize=14086852 memory=-6079119013371929440 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15294/stat : 15294 (java) S 15287 15290 12120 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 245871157 14424936448 58549 33554432000 4194304 4196468 140720711080976 140371380382480 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15295] ppid=15287 vsize=14086852 memory=-7595151830623932974 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15295/stat : 15295 (java) S 15287 15290 12120 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 245871157 14424936448 58549 33554432000 4194304 4196468 140720711080976 140371379330192 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15296] ppid=15287 vsize=14086852 memory=4947658944314973056 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15296/stat : 15296 (java) S 15287 15290 12120 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 15 0 245871157 14424936448 58549 33554432000 4194304 4196468 140720711080976 140371378277392 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15297] ppid=15287 vsize=14086852 memory=-3472574513799858008 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15297/stat : 15297 (java) S 15287 15290 12120 0 -1 1077944384 184 0 0 0 0 0 0 0 20 0 15 0 245871159 14424936448 58549 33554432000 4194304 4196468 140720711080976 140370967648368 140371785874050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0

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

/proc/15290/task/15292/stat : 15292 (java) R 15287 15290 12120 0 -1 4202560 113486 0 0 0 244085 76 0 0 20 0 15 0 245871156 14429130752 862549 33554432000 4194304 4196468 140720711080976 140371790100864 140371432222736 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15293] ppid=15287 vsize=14090948 memory=3450196 CPUtime=0.55 cores=1,3,5,7
/proc/15290/task/15293/stat : 15293 (java) S 15287 15290 12120 0 -1 1077944384 4636 0 0 0 45 10 0 0 20 0 15 0 245871157 14429130752 862549 33554432000 4194304 4196468 140720711080976 140371746823056 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15294] ppid=15287 vsize=14090948 memory=3450196 CPUtime=0.55 cores=1,3,5,7
/proc/15290/task/15294/stat : 15294 (java) S 15287 15290 12120 0 -1 1077944384 10200 0 0 0 44 11 0 0 20 0 15 0 245871157 14429130752 862549 33554432000 4194304 4196468 140720711080976 140371380382480 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15295] ppid=15287 vsize=14090948 memory=3450196 CPUtime=0.58 cores=1,3,5,7
/proc/15290/task/15295/stat : 15295 (java) S 15287 15290 12120 0 -1 1077944384 7757 0 0 0 47 11 0 0 20 0 15 0 245871157 14429130752 862549 33554432000 4194304 4196468 140720711080976 140371379330192 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15296] ppid=15287 vsize=14090948 memory=56 CPUtime=0.6 cores=1,3,5,7
/proc/15290/task/15296/stat : 15296 (java) S 15287 15290 12120 0 -1 1077944384 9397 0 0 0 49 11 0 0 20 0 15 0 245871157 14429130752 862549 33554432000 4194304 4196468 140720711080976 140371378277392 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15297] ppid=15287 vsize=14090948 memory=3450196 CPUtime=0.09 cores=1,3,5,7
/proc/15290/task/15297/stat : 15297 (java) S 15287 15290 12120 0 -1 1077944384 7332 0 0 0 4 5 0 0 20 0 15 0 245871159 14429130752 862549 33554432000 4194304 4196468 140720711080976 140370967648368 140371785874050 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15298] ppid=15287 vsize=14090948 memory=3450196 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15298/stat : 15298 (java) S 15287 15290 12120 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 245871159 14429130752 862549 33554432000 4194304 4196468 140720711080976 140370966594400 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15299] ppid=15287 vsize=14090948 memory=3450196 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15299/stat : 15299 (java) S 15287 15290 12120 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 245871159 14429130752 862549 33554432000 4194304 4196468 140720711080976 140370965542016 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15300] ppid=15287 vsize=14090948 memory=3450196 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15300/stat : 15300 (java) S 15287 15290 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245871162 14429130752 862549 33554432000 4194304 4196468 140720711080976 140370964490320 140371785881499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15301] ppid=15287 vsize=14090948 memory=3450196 CPUtime=3.17 cores=1,3,5,7
/proc/15290/task/15301/stat : 15301 (java) S 15287 15290 12120 0 -1 1077944384 12047 0 0 0 315 2 0 0 20 0 15 0 245871162 14429130752 862549 33554432000 4194304 4196468 140720711080976 140370963438192 140371785874050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15302] ppid=15287 vsize=14090948 memory=3450196 CPUtime=3.37 cores=1,3,5,7
/proc/15290/task/15302/stat : 15302 (java) S 15287 15290 12120 0 -1 1077944384 10226 0 0 0 335 2 0 0 20 0 15 0 245871162 14429130752 862549 33554432000 4194304 4196468 140720711080976 140370962385392 140371785874050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15303] ppid=15287 vsize=14090948 memory=3450196 CPUtime=1 cores=1,3,5,7
/proc/15290/task/15303/stat : 15303 (java) S 15287 15290 12120 0 -1 1077944384 12525 0 0 0 97 3 0 0 20 0 15 0 245871162 14429130752 862549 33554432000 4194304 4196468 140720711080976 140370961333104 140371785874050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15304] ppid=15287 vsize=14090948 memory=3450196 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15304/stat : 15304 (java) S 15287 15290 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245871162 14429130752 862549 33554432000 4194304 4196468 140720711080976 140370960280544 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15305] ppid=15287 vsize=14090948 memory=3450196 CPUtime=1.38 cores=1,3,5,7
/proc/15290/task/15305/stat : 15305 (java) S 15287 15290 12120 0 -1 1077944384 1704 0 0 0 59 79 0 0 20 0 15 0 245871162 14429130752 862549 33554432000 4194304 4196468 140720711080976 140370959227312 140371785874050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
Current children cumulated CPU time: 2452.99 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3450196 KiB

[startup+2502.3 s]
/proc/loadavg: 1.65 1.70 1.68 3/215 15499
/proc/meminfo: memFree=20721836/32770624 swapFree=67108524/67108860
[pid=15290] ppid=15287 vsize=14090948 memory=3405044 CPUtime=2513.07 cores=1,3,5,7
/proc/15290/stat : 15290 (java) S 15287 15290 12120 0 -1 1077944320 194193 0 0 0 251107 200 0 0 20 0 15 0 245871156 14429130752 851261 33554432000 4194304 4196468 140720711080976 140720711063520 140371785862903 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
/proc/15290/statm: 3522737 851261 3592 1 0 3484809 0
[pid=15290/tid=15292] ppid=15287 vsize=14090948 memory=3405044 CPUtime=2501.61 cores=1,3,5,7
/proc/15290/task/15292/stat : 15292 (java) R 15287 15290 12120 0 -1 4202560 115195 0 0 0 250084 77 0 0 20 0 15 0 245871156 14429130752 851261 33554432000 4194304 4196468 140720711080976 140371790100864 140371432222736 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15293] ppid=15287 vsize=14090948 memory=3405044 CPUtime=0.57 cores=1,3,5,7
/proc/15290/task/15293/stat : 15293 (java) S 15287 15290 12120 0 -1 1077944384 4945 0 0 0 46 11 0 0 20 0 15 0 245871157 14429130752 851261 33554432000 4194304 4196468 140720711080976 140371746823056 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15294] ppid=15287 vsize=14090948 memory=3405044 CPUtime=0.56 cores=1,3,5,7
/proc/15290/task/15294/stat : 15294 (java) S 15287 15290 12120 0 -1 1077944384 10628 0 0 0 45 11 0 0 20 0 15 0 245871157 14429130752 851261 33554432000 4194304 4196468 140720711080976 140371380382480 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15295] ppid=15287 vsize=14090948 memory=3405044 CPUtime=0.6 cores=1,3,5,7
/proc/15290/task/15295/stat : 15295 (java) S 15287 15290 12120 0 -1 1077944384 8396 0 0 0 48 12 0 0 20 0 15 0 245871157 14429130752 851261 33554432000 4194304 4196468 140720711080976 140371379330192 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15296] ppid=15287 vsize=14090948 memory=3405044 CPUtime=0.62 cores=1,3,5,7
/proc/15290/task/15296/stat : 15296 (java) S 15287 15290 12120 0 -1 1077944384 9407 0 0 0 51 11 0 0 20 0 15 0 245871157 14429130752 851261 33554432000 4194304 4196468 140720711080976 140371378277392 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15297] ppid=15287 vsize=14090948 memory=3405044 CPUtime=0.1 cores=1,3,5,7
/proc/15290/task/15297/stat : 15297 (java) S 15287 15290 12120 0 -1 1077944384 7590 0 0 0 4 6 0 0 20 0 15 0 245871159 14429130752 851261 33554432000 4194304 4196468 140720711080976 140370967648368 140371785874050 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15298] ppid=15287 vsize=14090948 memory=3405044 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15298/stat : 15298 (java) S 15287 15290 12120 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 245871159 14429130752 851261 33554432000 4194304 4196468 140720711080976 140370966594400 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15299] ppid=15287 vsize=14090948 memory=3405044 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15299/stat : 15299 (java) S 15287 15290 12120 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 245871159 14429130752 851261 33554432000 4194304 4196468 140720711080976 140370965542016 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15300] ppid=15287 vsize=14090948 memory=3405044 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15300/stat : 15300 (java) S 15287 15290 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245871162 14429130752 851261 33554432000 4194304 4196468 140720711080976 140370964490320 140371785881499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15301] ppid=15287 vsize=14090948 memory=6791534058613427641 CPUtime=3.17 cores=1,3,5,7
/proc/15290/task/15301/stat : 15301 (java) S 15287 15290 12120 0 -1 1077944384 12063 0 0 0 315 2 0 0 20 0 15 0 245871162 14429130752 851261 33554432000 4194304 4196468 140720711080976 140370963438192 140371785874050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15302] ppid=15287 vsize=14090948 memory=3176 CPUtime=3.37 cores=1,3,5,7
/proc/15290/task/15302/stat : 15302 (java) S 15287 15290 12120 0 -1 1077944384 10232 0 0 0 335 2 0 0 20 0 15 0 245871162 14429130752 851261 33554432000 4194304 4196468 140720711080976 140370962385392 140371785874050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15303] ppid=15287 vsize=14090948 memory=3405044 CPUtime=1 cores=1,3,5,7
/proc/15290/task/15303/stat : 15303 (java) S 15287 15290 12120 0 -1 1077944384 12533 0 0 0 97 3 0 0 20 0 15 0 245871162 14429130752 851261 33554432000 4194304 4196468 140720711080976 140370961333104 140371785874050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15304] ppid=15287 vsize=14090948 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15304/stat : 15304 (java) S 15287 15290 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245871162 14429130752 851261 33554432000 4194304 4196468 140720711080976 140370960280544 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15305] ppid=15287 vsize=14090948 memory=66768 CPUtime=1.41 cores=1,3,5,7
/proc/15290/task/15305/stat : 15305 (java) S 15287 15290 12120 0 -1 1077944384 1768 0 0 0 60 81 0 0 20 0 15 0 245871162 14429130752 851261 33554432000 4194304 4196468 140720711080976 140370959227312 140371785874050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
Current children cumulated CPU time: 2513.07 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3405044 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2509.3 s]
/proc/loadavg: 1.68 1.70 1.68 3/215 15499
/proc/meminfo: memFree=19915688/32770624 swapFree=67108524/67108860
[pid=15290] ppid=15287 vsize=14090948 memory=3405044 CPUtime=2520.08 cores=1,3,5,7
/proc/15290/stat : 15290 (java) S 15287 15290 12120 0 -1 1077944320 194303 0 0 0 251808 200 0 0 20 0 15 0 245871156 14429130752 851261 33554432000 4194304 4196468 140720711080976 140720711063520 140371785862903 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
/proc/15290/statm: 3522737 851261 3592 1 0 3484809 0
[pid=15290/tid=15292] ppid=15287 vsize=14090948 memory=3405044 CPUtime=2508.61 cores=1,3,5,7
/proc/15290/task/15292/stat : 15292 (java) R 15287 15290 12120 0 -1 4202560 115303 0 0 0 250784 77 0 0 20 0 15 0 245871156 14429130752 851261 33554432000 4194304 4196468 140720711080976 140371790100864 140371432673508 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15293] ppid=15287 vsize=14090948 memory=3405044 CPUtime=0.57 cores=1,3,5,7
/proc/15290/task/15293/stat : 15293 (java) S 15287 15290 12120 0 -1 1077944384 4945 0 0 0 46 11 0 0 20 0 15 0 245871157 14429130752 851261 33554432000 4194304 4196468 140720711080976 140371746823056 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15294] ppid=15287 vsize=14090948 memory=1724 CPUtime=0.56 cores=1,3,5,7
/proc/15290/task/15294/stat : 15294 (java) S 15287 15290 12120 0 -1 1077944384 10628 0 0 0 45 11 0 0 20 0 15 0 245871157 14429130752 851261 33554432000 4194304 4196468 140720711080976 140371380382480 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15295] ppid=15287 vsize=14090948 memory=3405044 CPUtime=0.6 cores=1,3,5,7
/proc/15290/task/15295/stat : 15295 (java) S 15287 15290 12120 0 -1 1077944384 8396 0 0 0 48 12 0 0 20 0 15 0 245871157 14429130752 851261 33554432000 4194304 4196468 140720711080976 140371379330192 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15296] ppid=15287 vsize=14090948 memory=3405044 CPUtime=0.62 cores=1,3,5,7
/proc/15290/task/15296/stat : 15296 (java) S 15287 15290 12120 0 -1 1077944384 9407 0 0 0 51 11 0 0 20 0 15 0 245871157 14429130752 851261 33554432000 4194304 4196468 140720711080976 140371378277392 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15297] ppid=15287 vsize=14090948 memory=3405044 CPUtime=0.1 cores=1,3,5,7
/proc/15290/task/15297/stat : 15297 (java) S 15287 15290 12120 0 -1 1077944384 7590 0 0 0 4 6 0 0 20 0 15 0 245871159 14429130752 851261 33554432000 4194304 4196468 140720711080976 140370967648368 140371785874050 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15298] ppid=15287 vsize=14090948 memory=279518754207488 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15298/stat : 15298 (java) S 15287 15290 12120 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 245871159 14429130752 851261 33554432000 4194304 4196468 140720711080976 140370966594400 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15299] ppid=15287 vsize=14090948 memory=3712 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15299/stat : 15299 (java) S 15287 15290 12120 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 245871159 14429130752 851261 33554432000 4194304 4196468 140720711080976 140370965542016 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15300] ppid=15287 vsize=14090948 memory=66768 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15300/stat : 15300 (java) S 15287 15290 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245871162 14429130752 851261 33554432000 4194304 4196468 140720711080976 140370964490320 140371785881499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15301] ppid=15287 vsize=14090948 memory=1064 CPUtime=3.17 cores=1,3,5,7
/proc/15290/task/15301/stat : 15301 (java) S 15287 15290 12120 0 -1 1077944384 12063 0 0 0 315 2 0 0 20 0 15 0 245871162 14429130752 851261 33554432000 4194304 4196468 140720711080976 140370963438192 140371785874050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15302] ppid=15287 vsize=14090948 memory=3405044 CPUtime=3.37 cores=1,3,5,7
/proc/15290/task/15302/stat : 15302 (java) S 15287 15290 12120 0 -1 1077944384 10232 0 0 0 335 2 0 0 20 0 15 0 245871162 14429130752 851261 33554432000 4194304 4196468 140720711080976 140370962385392 140371785874050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15303] ppid=15287 vsize=14090948 memory=3405044 CPUtime=1 cores=1,3,5,7
/proc/15290/task/15303/stat : 15303 (java) S 15287 15290 12120 0 -1 1077944384 12533 0 0 0 97 3 0 0 20 0 15 0 245871162 14429130752 851261 33554432000 4194304 4196468 140720711080976 140370961333104 140371785874050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15304] ppid=15287 vsize=14090948 memory=3405044 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15304/stat : 15304 (java) S 15287 15290 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245871162 14429130752 851261 33554432000 4194304 4196468 140720711080976 140370960280544 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15305] ppid=15287 vsize=14090948 memory=1724 CPUtime=1.42 cores=1,3,5,7
/proc/15290/task/15305/stat : 15305 (java) S 15287 15290 12120 0 -1 1077944384 1770 0 0 0 61 81 0 0 20 0 15 0 245871162 14429130752 851261 33554432000 4194304 4196468 140720711080976 140370959227312 140371785874050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3405044 KiB

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

[startup+2509.33 s]
# the end of solver process 15290 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.09 s, system=2.02635 s

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

[startup+2509.3 s]
/proc/loadavg: 1.68 1.70 1.68 3/215 15499
/proc/meminfo: memFree=19915688/32770624 swapFree=67108524/67108860
[pid=15290] ppid=15287 vsize=14090948 memory=3405044 CPUtime=2520.08 cores=1,3,5,7
/proc/15290/stat : 15290 (java) S 15287 15290 12120 0 -1 1077944320 194303 0 0 0 251808 200 0 0 20 0 15 0 245871156 14429130752 851261 33554432000 4194304 4196468 140720711080976 140720711063520 140371785862903 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
/proc/15290/statm: 3522737 851261 3592 1 0 3484809 0
[pid=15290/tid=15292] ppid=15287 vsize=14090948 memory=3405044 CPUtime=2508.61 cores=1,3,5,7
/proc/15290/task/15292/stat : 15292 (java) R 15287 15290 12120 0 -1 4202560 115303 0 0 0 250784 77 0 0 20 0 15 0 245871156 14429130752 851261 33554432000 4194304 4196468 140720711080976 140371790100864 140371432673508 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15293] ppid=15287 vsize=14090948 memory=3405044 CPUtime=0.57 cores=1,3,5,7
/proc/15290/task/15293/stat : 15293 (java) S 15287 15290 12120 0 -1 1077944384 4945 0 0 0 46 11 0 0 20 0 15 0 245871157 14429130752 851261 33554432000 4194304 4196468 140720711080976 140371746823056 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15294] ppid=15287 vsize=14090948 memory=1724 CPUtime=0.56 cores=1,3,5,7
/proc/15290/task/15294/stat : 15294 (java) S 15287 15290 12120 0 -1 1077944384 10628 0 0 0 45 11 0 0 20 0 15 0 245871157 14429130752 851261 33554432000 4194304 4196468 140720711080976 140371380382480 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15295] ppid=15287 vsize=14090948 memory=3405044 CPUtime=0.6 cores=1,3,5,7
/proc/15290/task/15295/stat : 15295 (java) S 15287 15290 12120 0 -1 1077944384 8396 0 0 0 48 12 0 0 20 0 15 0 245871157 14429130752 851261 33554432000 4194304 4196468 140720711080976 140371379330192 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15296] ppid=15287 vsize=14090948 memory=3405044 CPUtime=0.62 cores=1,3,5,7
/proc/15290/task/15296/stat : 15296 (java) S 15287 15290 12120 0 -1 1077944384 9407 0 0 0 51 11 0 0 20 0 15 0 245871157 14429130752 851261 33554432000 4194304 4196468 140720711080976 140371378277392 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15297] ppid=15287 vsize=14090948 memory=3405044 CPUtime=0.1 cores=1,3,5,7
/proc/15290/task/15297/stat : 15297 (java) S 15287 15290 12120 0 -1 1077944384 7590 0 0 0 4 6 0 0 20 0 15 0 245871159 14429130752 851261 33554432000 4194304 4196468 140720711080976 140370967648368 140371785874050 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15298] ppid=15287 vsize=14090948 memory=279518754207488 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15298/stat : 15298 (java) S 15287 15290 12120 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 245871159 14429130752 851261 33554432000 4194304 4196468 140720711080976 140370966594400 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15299] ppid=15287 vsize=14090948 memory=3712 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15299/stat : 15299 (java) S 15287 15290 12120 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 245871159 14429130752 851261 33554432000 4194304 4196468 140720711080976 140370965542016 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15300] ppid=15287 vsize=14090948 memory=66768 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15300/stat : 15300 (java) S 15287 15290 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245871162 14429130752 851261 33554432000 4194304 4196468 140720711080976 140370964490320 140371785881499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15301] ppid=15287 vsize=14090948 memory=1064 CPUtime=3.17 cores=1,3,5,7
/proc/15290/task/15301/stat : 15301 (java) S 15287 15290 12120 0 -1 1077944384 12063 0 0 0 315 2 0 0 20 0 15 0 245871162 14429130752 851261 33554432000 4194304 4196468 140720711080976 140370963438192 140371785874050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15302] ppid=15287 vsize=14090948 memory=3405044 CPUtime=3.37 cores=1,3,5,7
/proc/15290/task/15302/stat : 15302 (java) S 15287 15290 12120 0 -1 1077944384 10232 0 0 0 335 2 0 0 20 0 15 0 245871162 14429130752 851261 33554432000 4194304 4196468 140720711080976 140370962385392 140371785874050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15303] ppid=15287 vsize=14090948 memory=3405044 CPUtime=1 cores=1,3,5,7
/proc/15290/task/15303/stat : 15303 (java) S 15287 15290 12120 0 -1 1077944384 12533 0 0 0 97 3 0 0 20 0 15 0 245871162 14429130752 851261 33554432000 4194304 4196468 140720711080976 140370961333104 140371785874050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15304] ppid=15287 vsize=14090948 memory=3405044 CPUtime=0 cores=1,3,5,7
/proc/15290/task/15304/stat : 15304 (java) S 15287 15290 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245871162 14429130752 851261 33554432000 4194304 4196468 140720711080976 140370960280544 140371785873109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
[pid=15290/tid=15305] ppid=15287 vsize=14090948 memory=1724 CPUtime=1.42 cores=1,3,5,7
/proc/15290/task/15305/stat : 15305 (java) S 15287 15290 12120 0 -1 1077944384 1770 0 0 0 61 81 0 0 20 0 15 0 245871162 14429130752 851261 33554432000 4194304 4196468 140720711080976 140370959227312 140371785874050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13725696 140720711083080 140720711083273 140720711083273 140720711086031 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3405044 KiB

Child status: 143
Real time (s): 2509.33
CPU time (s): 2520.12
CPU user time (s): 2518.09
CPU system time (s): 2.02635
CPU usage (%): 100.43
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 3884960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.09
system time used= 2.02635
maximum resident set size= 3887316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195711
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57860
involuntary context switches= 1156


# summary of solver processes directly reported to runsolver:
#   pid: 15290
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2518.09
#   total CPU system time (s): 2.02635

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2131 second user time and 23.762 second system time

The end

Launcher Data

Begin job on node107 at 2018-08-14 23:44:40
IDJOB=4308008
IDBENCH=141214
IDSOLVER=2791
FILE ID=node107/4308008-1534283080
RUNJOBID= node107-1534270595-13936
PBS_JOBID= 21038126
Free space on /tmp= 42292 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14
BENCH NAME= XCSP18/SumColoring/SumColoring-dsjc-250-9_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308008-1534283080/watcher-4308008-1534283080 -o /tmp/evaluation-result-4308008-1534283080/solver-4308008-1534283080 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534270595-13936 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1596178237 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308008-1534283080.xml

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

MD5SUM BENCH= 15c7aefb85365a32de6dc875f5012851
RANDOM SEED=1596178237

node107.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.40
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.40
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.40
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.40
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:        24387608 kB
MemAvailable:   31492656 kB
Buffers:          191864 kB
Cached:          7133736 kB
SwapCached:           20 kB
Active:          4316844 kB
Inactive:        3476680 kB
Active(anon):     416812 kB
Inactive(anon):   103184 kB
Active(file):    3900032 kB
Inactive(file):  3373496 kB
Unevictable:        6980 kB
Mlocked:            6980 kB
SwapTotal:      67108860 kB
SwapFree:       67108524 kB
Dirty:             36692 kB
Writeback:             0 kB
AnonPages:        548156 kB
Mapped:            67620 kB
Shmem:             49632 kB
Slab:             288476 kB
SReclaimable:     259980 kB
SUnreclaim:        28496 kB
KernelStack:        3824 kB
PageTables:         6336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1725864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    409600 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 42256 MiB
End job on node107 at 2018-08-15 00:26:29