Trace number 4308004

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)1508 2520.11 2499.52

General information on the benchmark

NameSumColoring/
SumColoring-dsjc-125-5_c18.xml
MD5SUM08115146c0ac9b7e4849c5cb62d96e41
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1014
Best CPU time to get the best result obtained on this benchmark2520.1
Satisfiable
(Un)Satisfiability was proved
Number of variables125
Number of constraints3891
Number of domains1
Minimum domain size125
Maximum domain size125
Distribution of domain sizes[{"size":125,"count":125}]
Minimum variable degree52
Maximum variable degree76
Distribution of variable degrees[{"degree":52,"count":2},{"degree":54,"count":3},{"degree":55,"count":3},{"degree":56,"count":4},{"degree":57,"count":7},{"degree":58,"count":6},{"degree":59,"count":7},{"degree":60,"count":6},{"degree":61,"count":12},{"degree":62,"count":11},{"degree":63,"count":6},{"degree":64,"count":7},{"degree":65,"count":11},{"degree":66,"count":6},{"degree":67,"count":4},{"degree":68,"count":8},{"degree":69,"count":6},{"degree":70,"count":5},{"degree":71,"count":2},{"degree":72,"count":2},{"degree":73,"count":2},{"degree":74,"count":3},{"degree":75,"count":1},{"degree":76,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":3891}]
Number of extensional constraints0
Number of intensional constraints3891
Distribution of constraint types[{"type":"intension","count":3891}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.67/0.56	c version: 2018-08-14
0.67/0.56	c seed: 996712081
0.67/0.56	c timeout: 2520
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
3.63/1.65	c Parsing done, starting search...
3.87/1.72	o 8540
3.87/1.75	o 8534
3.87/1.75	o 8508
3.87/1.75	o 8507
3.87/1.75	o 8504
3.87/1.75	o 8503
3.87/1.75	o 8500
3.87/1.75	o 8476
3.87/1.75	o 8475
3.87/1.76	o 8471
3.87/1.76	o 8468
3.87/1.76	o 8465
3.87/1.76	o 8464
3.87/1.76	o 8453
3.87/1.76	o 8442
3.87/1.76	o 8441
3.87/1.76	o 8437
3.87/1.76	o 8435
3.87/1.76	o 8430
3.87/1.76	o 8427
3.87/1.76	o 8397
3.87/1.76	o 8396
3.87/1.76	o 8394
3.87/1.76	o 8393
3.87/1.76	o 8391
3.87/1.76	o 8382
3.87/1.77	o 8378
3.87/1.77	o 8352
3.87/1.77	o 8351
3.87/1.77	o 8349
3.87/1.77	o 8348
3.87/1.77	o 8345
3.87/1.77	o 8315
3.87/1.77	o 8311
3.87/1.77	o 8310
3.87/1.77	o 8307
3.87/1.77	o 8296
3.87/1.77	o 8295
3.87/1.78	o 8292
3.87/1.78	o 8288
3.87/1.78	o 8284
3.87/1.78	o 8275
3.87/1.78	o 8274
3.87/1.78	o 8271
3.87/1.78	o 8268
3.87/1.78	o 8266
3.87/1.78	o 8227
3.87/1.78	o 8223
3.87/1.78	o 8211
3.87/1.78	o 8210
3.87/1.79	o 8209
3.87/1.79	o 8207
3.87/1.79	o 8206
3.87/1.79	o 8202
3.87/1.79	o 8201
3.87/1.79	o 8199
3.87/1.79	o 8178
3.87/1.79	o 8145
3.87/1.79	o 8137
3.87/1.79	o 8136
3.87/1.80	o 8135
3.87/1.80	o 8128
3.87/1.80	o 8125
3.87/1.80	o 8116
3.87/1.80	o 8109
3.87/1.80	o 8106
4.21/1.80	o 8105
4.21/1.81	o 8095
4.21/1.81	o 8080
4.21/1.81	o 8068
4.21/1.81	o 8065
4.21/1.81	o 8064
4.21/1.81	o 8063
4.21/1.81	o 8062
4.21/1.81	o 8059
4.21/1.81	o 8057
4.21/1.81	o 8055
4.21/1.81	o 8053
4.21/1.81	o 8052
4.21/1.82	o 8050
4.21/1.82	o 8049
4.21/1.83	o 8048
4.21/1.84	o 8047
4.21/1.87	o 8045
4.21/1.87	o 8044
4.21/1.87	o 8036
4.21/1.87	o 8035
4.21/1.87	o 8034
4.21/1.87	o 8033
4.21/1.87	o 8032
4.21/1.87	o 8026
4.21/1.88	o 8024
4.21/1.88	o 8023
4.21/1.88	o 8020
4.21/1.90	o 8019
4.53/1.91	o 7991
4.53/1.91	o 7989
4.53/1.91	o 7987
4.53/1.91	o 7985
4.53/1.92	o 7983
4.53/1.92	o 7981
4.53/1.92	o 7980
4.53/1.93	o 7979
4.53/1.93	o 7978
4.53/1.96	o 7977
4.53/1.97	o 7976
4.85/2.01	o 7975
4.85/2.05	o 7954
4.85/2.05	o 7952
4.85/2.05	o 7950
4.85/2.05	o 7948
4.85/2.05	o 7918
4.85/2.05	o 7916
4.85/2.05	o 7914
4.85/2.06	o 7912
4.85/2.06	o 7906
4.85/2.06	o 7904
4.85/2.06	o 7901
4.85/2.06	o 7900
4.85/2.06	o 7898
4.85/2.06	o 7895
4.85/2.06	o 7893
4.85/2.10	o 7892
4.85/2.10	o 7891
5.14/2.14	o 7889
5.14/2.15	o 7888
5.14/2.16	o 7886
5.30/2.22	o 7885
5.30/2.23	o 7884
5.65/2.52	o 7883
5.65/2.52	o 7881
5.65/2.52	o 7879
5.65/2.52	o 7877
5.65/2.52	o 7875
5.65/2.52	o 7873
5.65/2.53	o 7871
5.65/2.53	o 7870
5.65/2.53	o 7869
5.65/2.53	o 7867
5.65/2.53	o 7866
5.65/2.53	o 7863
5.65/2.53	o 7862
5.65/2.53	o 7861
5.65/2.56	o 7860
5.93/2.75	o 7853
5.93/2.75	o 7852
5.93/2.75	o 7851
5.93/2.75	o 7849
5.93/2.75	o 7847
5.93/2.75	o 7846
5.93/2.75	o 7844
5.93/2.75	o 7841
5.93/2.75	o 7840
5.93/2.75	o 7789
5.93/2.75	o 7787
5.93/2.76	o 7784
5.93/2.76	o 7783
5.93/2.76	o 7767
5.93/2.76	o 7766
5.93/2.76	o 7765
5.93/2.76	o 7762
5.93/2.76	o 7761
5.93/2.76	o 7756
5.93/2.76	o 7751
5.93/2.76	o 7686
5.93/2.76	o 7665
5.93/2.76	o 7660
5.93/2.76	o 7658
5.93/2.76	o 7657
5.93/2.76	o 7654
5.93/2.76	o 7652
5.93/2.76	o 7651
5.93/2.76	o 7649
5.93/2.76	o 7640
5.93/2.76	o 7638
5.93/2.76	o 7615
5.93/2.76	o 7613
5.93/2.77	o 7599
5.93/2.77	o 7598
5.93/2.77	o 7588
5.93/2.77	o 7579
5.93/2.77	o 7570
5.93/2.77	o 7567
5.93/2.77	o 7563
5.93/2.77	o 7562
5.93/2.77	o 7560
5.93/2.77	o 7559
5.93/2.77	o 7558
5.93/2.77	o 7555
5.93/2.77	o 7552
5.93/2.77	o 7550
5.93/2.77	o 7549
5.93/2.77	o 7500
5.93/2.77	o 7489
5.93/2.77	o 7482
5.93/2.78	o 7463
5.93/2.78	o 7457
5.93/2.78	o 7456
5.93/2.78	o 7455
5.93/2.78	o 7454
5.93/2.78	o 7453
5.93/2.79	o 7452
6.13/2.80	o 7448
6.13/2.80	o 7442
6.13/2.80	o 7424
6.13/2.80	o 7421
6.13/2.80	o 7411
6.13/2.80	o 7408
6.13/2.80	o 7407
6.13/2.80	o 7402
6.13/2.80	o 7401
6.13/2.80	o 7400
6.13/2.80	o 7399
6.13/2.80	o 7398
6.13/2.80	o 7397
6.13/2.83	o 7393
6.13/2.83	o 7392
6.13/2.83	o 7388
6.13/2.83	o 7386
6.13/2.83	o 7377
6.13/2.83	o 7372
6.13/2.83	o 7370
6.13/2.83	o 7367
6.24/2.93	o 7352
6.24/2.93	o 7350
6.24/2.93	o 7349
6.24/2.94	o 7348
6.24/2.94	o 7347
6.24/2.96	o 7346
6.24/2.97	o 7345
6.24/3.00	o 7344
6.36/3.02	o 7343
6.36/3.02	o 7341
6.36/3.02	o 7340
6.36/3.03	o 7339
6.36/3.04	o 7338
6.36/3.04	o 7336
6.46/3.16	o 7332
6.46/3.16	o 7328
6.46/3.16	o 7325
6.46/3.16	o 7324
6.46/3.16	o 7323
6.46/3.16	o 7322
6.46/3.17	o 7304
6.46/3.17	o 7296
6.46/3.17	o 7292
6.46/3.17	o 7289
6.46/3.17	o 7280
6.46/3.17	o 7271
6.46/3.17	o 7268
6.46/3.17	o 7267
6.46/3.17	o 7266
6.46/3.17	o 7265
6.46/3.18	o 7264
6.46/3.18	o 7263
6.46/3.18	o 7262
6.56/3.22	o 7261
6.56/3.23	o 7260
6.56/3.23	o 7259
6.56/3.24	o 7258
6.56/3.24	o 7257
6.56/3.25	o 7256
6.56/3.27	o 7255
6.56/3.28	o 7254
6.76/3.44	o 7253
6.76/3.45	o 7252
6.76/3.47	o 7251
6.76/3.47	o 7250
6.96/3.70	o 7249
7.06/3.73	o 7248
7.28/3.92	o 7247
7.28/3.92	o 7246
7.28/3.92	o 7245
7.28/3.92	o 7244
7.28/3.92	o 7243
7.28/3.92	o 7242
7.28/3.92	o 7235
7.28/3.92	o 7234
7.28/3.92	o 7233
7.28/3.92	o 7232
7.28/3.92	o 7222
7.28/3.92	o 7221
7.28/3.92	o 7220
7.28/3.92	o 7219
7.28/3.92	o 7211
7.28/3.92	o 7210
7.28/3.93	o 7209
7.28/3.93	o 7208
7.28/3.93	o 7207
7.28/3.93	o 7206
7.28/3.98	o 7205
7.59/4.20	o 7204
7.59/4.20	o 7203
7.79/4.49	o 7202
7.79/4.50	o 7201
8.10/4.74	o 7200
8.33/4.99	o 7199
8.73/5.34	o 7196
8.73/5.34	o 7194
8.73/5.34	o 7193
8.73/5.34	o 7192
8.73/5.34	o 7191
8.73/5.34	o 7188
8.73/5.34	o 7186
8.73/5.34	o 7184
8.73/5.34	o 7183
8.73/5.35	o 7176
8.73/5.35	o 7175
8.73/5.35	o 7172
8.73/5.35	o 7171
8.73/5.35	o 7169
8.73/5.35	o 7168
8.73/5.35	o 7164
8.73/5.35	o 7163
8.73/5.36	o 7161
8.73/5.36	o 7160
8.73/5.36	o 7155
8.73/5.36	o 7154
8.73/5.37	o 7153
8.73/5.37	o 7152
8.83/5.41	o 7150
8.83/5.41	o 7141
8.83/5.41	o 7126
8.83/5.41	o 7121
8.83/5.41	o 7118
8.83/5.41	o 7116
8.83/5.41	o 7115
8.83/5.41	o 7113
8.83/5.41	o 7101
8.83/5.41	o 7100
8.83/5.41	o 7098
8.83/5.41	o 7093
8.83/5.41	o 7092
8.83/5.41	o 7091
8.83/5.41	o 7090
8.83/5.41	o 7087
8.83/5.41	o 7086
8.83/5.41	o 7085
8.83/5.42	o 7083
8.83/5.42	o 7081
8.83/5.42	o 7080
8.83/5.43	o 7079
8.83/5.46	o 7076
8.83/5.46	o 7075
8.83/5.48	o 7074
8.93/5.51	o 7073
8.93/5.52	o 7072
8.93/5.56	o 7071
8.93/5.59	o 7070
9.04/5.69	o 7069
9.14/5.72	o 7068
9.14/5.75	o 7067
9.14/5.77	o 7066
9.65/6.29	o 7065
11.19/7.64	o 7064
11.19/7.65	o 7061
11.19/7.65	o 7059
11.19/7.65	o 7051
11.19/7.65	o 7041
11.19/7.65	o 7035
11.19/7.65	o 7033
11.19/7.65	o 7032
11.19/7.65	o 7030
11.19/7.65	o 7002
11.19/7.65	o 7001
11.19/7.65	o 6985
11.19/7.65	o 6984
11.19/7.65	o 6980
11.19/7.65	o 6979
11.19/7.65	o 6975
11.19/7.65	o 6974
11.19/7.65	o 6973
11.19/7.65	o 6972
11.19/7.66	o 6971
11.19/7.66	o 6970
11.19/7.66	o 6969
11.19/7.66	o 6968
11.19/7.66	o 6967
11.19/7.66	o 6966
11.19/7.67	o 6965
11.19/7.67	o 6964
11.30/7.70	o 6962
11.64/8.04	o 6961
11.75/8.14	o 6959
11.75/8.14	o 6958
11.84/8.25	o 6957
11.84/8.27	o 6956
11.84/8.27	o 6955
11.84/8.28	o 6954
11.84/8.28	o 6953
11.94/8.34	o 6952
12.04/8.42	o 6951
12.14/8.51	o 6950
12.14/8.51	o 6949
12.14/8.51	o 6947
12.14/8.56	o 6946
12.14/8.60	o 6945
12.76/9.17	o 6943
12.76/9.17	o 6942
12.76/9.17	o 6940
12.76/9.17	o 6938
12.76/9.17	o 6937
12.76/9.17	o 6936
12.76/9.17	o 6934
12.76/9.17	o 6932
12.76/9.17	o 6927
12.76/9.17	o 6914
12.76/9.17	o 6910
12.76/9.17	o 6903
12.76/9.18	o 6897
12.76/9.18	o 6895
12.76/9.18	o 6891
12.76/9.18	o 6887
12.76/9.18	o 6880
12.76/9.18	o 6878
12.76/9.18	o 6876
12.76/9.18	o 6867
12.76/9.19	o 6866
12.76/9.19	o 6864
12.76/9.19	o 6863
12.85/9.22	o 6861
12.85/9.24	o 6817
12.85/9.24	o 6813
12.85/9.24	o 6804
12.85/9.24	o 6801
12.85/9.24	o 6799
12.85/9.24	o 6797
12.85/9.24	o 6795
12.85/9.24	o 6794
12.85/9.24	o 6793
12.85/9.24	o 6792
12.85/9.24	o 6790
12.85/9.24	o 6789
12.85/9.24	o 6788
12.85/9.24	o 6787
12.85/9.27	o 6785
13.10/9.45	o 6784
13.20/9.52	o 6783
13.20/9.58	o 6782
13.50/9.82	o 6781
13.50/9.83	o 6780
13.50/9.83	o 6779
13.50/9.83	o 6778
13.60/9.99	o 6777
13.60/10.00	o 6774
13.60/10.00	o 6772
13.60/10.00	o 6771
13.90/10.26	o 6770
14.20/10.54	o 6768
14.20/10.55	o 6765
14.51/10.81	o 6759
14.51/10.82	o 6756
14.61/10.92	o 6755
14.72/11.05	o 6754
15.01/11.31	o 6733
15.01/11.31	o 6731
15.01/11.31	o 6729
15.01/11.31	o 6717
15.01/11.31	o 6715
15.01/11.31	o 6714
15.01/11.31	o 6710
15.01/11.31	o 6708
15.01/11.31	o 6706
15.01/11.31	o 6704
15.01/11.31	o 6703
15.01/11.31	o 6701
15.01/11.31	o 6699
15.01/11.32	o 6697
15.01/11.32	o 6694
15.01/11.36	o 6693
15.20/11.42	o 6691
15.20/11.42	o 6688
15.52/11.78	o 6687
15.63/11.80	o 6686
15.63/11.82	o 6683
15.73/11.98	o 6682
15.84/12.04	o 6681
15.84/12.06	o 6680
15.84/12.10	o 6678
15.84/12.10	o 6677
16.03/12.20	o 6674
16.03/12.28	o 6673
16.03/12.28	o 6670
16.13/12.39	o 6669
16.13/12.39	o 6667
16.13/12.39	o 6664
16.23/12.47	o 6662
16.23/12.48	o 6661
16.23/12.48	o 6658
16.94/13.14	o 6656
16.94/13.15	o 6655
16.94/13.15	o 6654
16.94/13.16	o 6652
17.13/13.30	o 6649
17.13/13.35	o 6648
17.13/13.36	o 6636
17.13/13.36	o 6634
17.13/13.36	o 6633
17.13/13.36	o 6597
17.13/13.36	o 6595
17.13/13.36	o 6594
17.13/13.36	o 6592
17.13/13.37	o 6588
17.13/13.37	o 6587
17.13/13.37	o 6585
17.13/13.37	o 6581
17.13/13.37	o 6580
17.23/13.43	o 6579
17.23/13.43	o 6578
17.23/13.43	o 6576
17.65/13.86	o 6575
17.86/14.04	o 6574
18.05/14.24	o 6572
18.26/14.44	o 6571
18.26/14.44	o 6570
18.26/14.44	o 6567
18.26/14.44	o 6566
18.26/14.44	o 6565
18.26/14.45	o 6561
18.26/14.45	o 6560
18.26/14.45	o 6558
18.26/14.45	o 6557
18.26/14.45	o 6554
18.26/14.45	o 6551
18.26/14.45	o 6546
18.26/14.45	o 6539
18.26/14.45	o 6530
18.26/14.45	o 6523
18.26/14.45	o 6522
18.26/14.45	o 6517
18.26/14.45	o 6515
18.26/14.45	o 6513
18.26/14.45	o 6501
18.26/14.45	o 6497
18.26/14.45	o 6496
18.26/14.45	o 6494
18.26/14.45	o 6493
18.26/14.45	o 6491
18.26/14.46	o 6467
18.26/14.46	o 6459
18.26/14.46	o 6450
18.26/14.46	o 6442
18.26/14.47	o 6441
18.26/14.47	o 6440
18.26/14.47	o 6436
18.26/14.47	o 6431
18.26/14.47	o 6427
18.26/14.47	o 6421
18.26/14.47	o 6408
18.26/14.47	o 6403
18.26/14.48	o 6402
18.26/14.48	o 6398
18.26/14.48	o 6395
18.26/14.48	o 6394
18.26/14.48	o 6391
18.26/14.48	o 6390
18.36/14.51	o 6389
18.36/14.52	o 6387
18.36/14.52	o 6386
18.36/14.52	o 6385
18.36/14.52	o 6382
18.36/14.54	o 6380
18.36/14.54	o 6379
18.36/14.54	o 6378
18.36/14.54	o 6377
18.36/14.54	o 6374
18.36/14.54	o 6373
18.36/14.54	o 6370
18.56/14.77	o 6368
18.66/14.84	o 6358
18.66/14.84	o 6354
18.66/14.84	o 6348
18.66/14.84	o 6346
18.66/14.84	o 6344
18.66/14.84	o 6342
18.66/14.84	o 6341
18.66/14.84	o 6340
18.66/14.84	o 6337
18.66/14.84	o 6335
18.66/14.84	o 6334
18.66/14.85	o 6333
18.66/14.85	o 6332
18.66/14.85	o 6327
18.66/14.85	o 6326
18.66/14.85	o 6325
18.66/14.85	o 6324
18.66/14.85	o 6323
18.66/14.85	o 6322
18.66/14.85	o 6320
18.66/14.85	o 6319
19.76/15.99	o 6317
19.76/15.99	o 6312
19.76/15.99	o 6308
19.76/15.99	o 6294
19.76/15.99	o 6287
19.76/15.99	o 6282
19.76/15.99	o 6280
19.76/15.99	o 6275
19.76/16.00	o 6273
19.87/16.01	o 6272
19.87/16.01	o 6269
19.87/16.03	o 6266
19.87/16.05	o 6265
19.87/16.09	o 6264
19.87/16.09	o 6263
19.97/16.15	o 6261
20.37/16.58	o 6258
20.57/16.74	o 6257
20.57/16.74	o 6256
20.57/16.74	o 6254
20.57/16.74	o 6253
20.57/16.76	o 6251
20.57/16.76	o 6250
21.08/17.25	o 6238
21.08/17.26	o 6234
21.08/17.26	o 6232
21.08/17.26	o 6231
21.08/17.26	o 6228
21.08/17.26	o 6227
21.08/17.26	o 6225
21.08/17.26	o 6224
21.08/17.26	o 6220
21.08/17.26	o 6218
21.08/17.26	o 6194
21.08/17.26	o 6191
21.08/17.26	o 6190
21.08/17.26	o 6188
21.08/17.27	o 6181
21.08/17.27	o 6177
21.18/17.31	o 6176
21.28/17.40	o 6175
21.28/17.42	o 6173
21.28/17.42	o 6172
21.28/17.42	o 6171
21.28/17.43	o 6169
21.28/17.43	o 6166
21.28/17.43	o 6165
21.28/17.43	o 6164
22.28/18.49	o 6162
22.28/18.49	o 6160
22.28/18.49	o 6159
22.28/18.49	o 6158
24.01/20.18	o 6157
24.01/20.18	o 6153
24.01/20.18	o 6152
24.01/20.18	o 6146
24.10/20.23	o 6140
24.10/20.23	o 6139
24.20/20.31	o 6138
24.20/20.39	o 6135
24.30/20.40	o 6134
24.40/20.54	o 6133
24.40/20.54	o 6131
24.51/20.68	o 6130
24.51/20.68	o 6129
25.11/21.29	o 6127
25.11/21.29	o 6125
25.61/21.74	o 6124
25.61/21.79	o 6123
26.02/22.19	o 6122
26.02/22.19	o 6120
26.12/22.29	o 6118
26.12/22.29	o 6115
26.12/22.29	o 6113
26.12/22.29	o 6112
26.12/22.29	o 6111
26.12/22.29	o 6110
26.12/22.29	o 6105
26.12/22.29	o 6095
26.12/22.29	o 6077
26.12/22.29	o 6075
26.12/22.29	o 6074
26.12/22.29	o 6073
26.12/22.29	o 6065
26.12/22.29	o 6063
26.12/22.29	o 6062
26.12/22.29	o 6056
26.12/22.29	o 6054
26.12/22.29	o 6053
26.12/22.29	o 6049
26.22/22.30	o 6048
26.22/22.30	o 6047
26.22/22.39	o 6046
26.32/22.40	o 6045
26.32/22.41	o 6044
26.42/22.57	o 6042
26.42/22.57	o 6041
26.52/22.65	o 6040
26.52/22.65	o 6037
26.62/22.78	o 6033
26.82/22.92	o 6031
26.93/23.01	o 6029
26.93/23.01	o 6028
27.22/23.37	o 6025
27.42/23.55	o 6023
27.42/23.55	o 6021
27.42/23.55	o 6019
27.42/23.55	o 6014
27.42/23.55	o 6010
27.52/23.63	o 6009
27.83/23.97	o 6008
28.04/24.11	o 6007
28.04/24.12	o 6006
28.04/24.12	o 5998
28.04/24.19	o 5996
28.04/24.19	o 5995
28.23/24.37	o 5994
28.43/24.53	o 5993
28.43/24.53	o 5992
28.43/24.54	o 5991
28.43/24.54	o 5990
28.53/24.65	o 5988
28.63/24.71	o 5982
28.63/24.71	o 5981
28.63/24.72	o 5980
28.63/24.72	o 5979
29.85/26.00	o 5978
33.37/29.47	o 5977
33.57/29.64	o 5975
33.67/29.78	o 5973
33.87/29.95	o 5972
33.87/29.95	o 5971
33.87/29.95	o 5970
33.98/30.02	o 5969
33.98/30.02	o 5968
33.98/30.02	o 5963
33.98/30.02	o 5959
33.98/30.02	o 5930
33.98/30.02	o 5926
33.98/30.02	o 5924
33.98/30.02	o 5913
33.98/30.02	o 5909
33.98/30.02	o 5905
33.98/30.02	o 5897
33.98/30.02	o 5893
33.98/30.02	o 5889
33.98/30.02	o 5885
33.98/30.02	o 5881
33.98/30.02	o 5880
33.98/30.02	o 5876
33.98/30.02	o 5872
33.98/30.03	o 5868
33.98/30.09	o 5867
34.08/30.11	o 5866
34.08/30.12	o 5864
34.17/30.20	o 5862
34.17/30.20	o 5861
34.17/30.20	o 5858
34.17/30.21	o 5857
34.17/30.21	o 5856
35.27/31.34	o 5855
35.27/31.34	o 5852
35.27/31.35	o 5851
35.27/31.35	o 5850
35.27/31.35	o 5848
35.27/31.36	o 5843
35.37/31.47	o 5840
35.37/31.47	o 5839
35.37/31.48	o 5837
35.88/31.92	o 5835
36.59/32.64	o 5833
36.59/32.64	o 5830
36.59/32.66	o 5829
36.59/32.66	o 5828
36.59/32.66	o 5824
36.59/32.68	o 5823
36.69/32.70	o 5817
37.59/33.67	o 5816
37.59/33.67	o 5815
37.59/33.67	o 5814
37.59/33.67	o 5812
37.59/33.67	o 5811
37.59/33.68	o 5807
37.59/33.68	o 5806
37.59/33.68	o 5804
37.59/33.68	o 5803
37.70/33.75	o 5798
37.70/33.75	o 5797
37.70/33.75	o 5796
37.81/33.85	o 5795
37.81/33.85	o 5794
37.81/33.85	o 5793
37.81/33.86	o 5792
37.81/33.86	o 5788
37.91/33.91	o 5787
37.91/33.91	o 5786
37.91/33.91	o 5785
37.91/33.91	o 5783
37.91/33.91	o 5782
38.02/34.02	o 5781
38.02/34.02	o 5776
38.02/34.02	o 5772
38.02/34.03	o 5771
38.02/34.03	o 5769
38.12/34.13	o 5768
38.12/34.18	o 5766
38.31/34.31	o 5764
38.41/34.41	o 5763
38.41/34.49	o 5762
38.41/34.49	o 5749
38.41/34.49	o 5747
38.41/34.49	o 5740
38.41/34.49	o 5738
38.41/34.49	o 5730
38.41/34.49	o 5727
38.41/34.50	o 5723
38.41/34.50	o 5722
38.51/34.50	o 5720
38.61/34.68	o 5719
38.71/34.70	o 5718
38.71/34.73	o 5717
38.71/34.77	o 5714
38.81/34.82	o 5713
38.91/34.94	o 5711
38.91/34.94	o 5709
38.91/34.94	o 5707
39.13/35.17	o 5706
39.22/35.22	o 5705
39.22/35.22	o 5704
39.22/35.24	o 5646
39.22/35.24	o 5637
39.22/35.24	o 5617
39.22/35.24	o 5616
39.22/35.24	o 5612
39.22/35.24	o 5611
39.22/35.24	o 5610
39.22/35.24	o 5609
39.22/35.24	o 5608
39.22/35.24	o 5607
39.22/35.26	o 5606
39.22/35.26	o 5605
39.22/35.26	o 5596
39.62/35.68	o 5595
39.62/35.68	o 5592
39.62/35.70	o 5591
39.82/35.89	o 5590
40.03/36.03	o 5589
40.42/36.41	o 5588
40.42/36.42	o 5587
40.42/36.44	o 5586
40.42/36.44	o 5585
40.42/36.44	o 5582
40.42/36.45	o 5581
40.52/36.54	o 5579
40.52/36.54	o 5578
40.52/36.54	o 5575
40.52/36.55	o 5573
40.52/36.55	o 5571
40.52/36.55	o 5569
40.52/36.55	o 5566
40.52/36.55	o 5563
40.52/36.55	o 5560
40.52/36.55	o 5559
40.52/36.55	o 5558
40.52/36.55	o 5544
40.52/36.55	o 5537
40.52/36.55	o 5529
40.52/36.55	o 5525
40.52/36.55	o 5522
40.52/36.55	o 5521
40.52/36.55	o 5518
40.52/36.59	o 5502
40.52/36.59	o 5501
40.52/36.59	o 5500
40.52/36.59	o 5485
40.52/36.59	o 5472
40.52/36.59	o 5470
40.52/36.59	o 5469
40.52/36.59	o 5468
40.52/36.59	o 5465
40.63/36.60	o 5464
40.63/36.60	o 5462
40.63/36.60	o 5460
40.63/36.60	o 5453
40.63/36.61	o 5446
40.63/36.61	o 5443
40.63/36.62	o 5442
40.93/36.94	o 5441
41.04/37.01	o 5437
41.04/37.01	o 5436
41.04/37.01	o 5435
41.04/37.02	o 5433
41.04/37.04	o 5430
41.04/37.07	o 5429
42.24/38.25	o 5428
42.34/38.31	o 5427
42.34/38.31	o 5426
42.55/38.53	o 5425
42.65/38.64	o 5424
42.85/38.84	o 5423
43.45/39.50	o 5403
43.45/39.50	o 5396
43.45/39.50	o 5394
43.55/39.50	o 5391
43.55/39.50	o 5389
43.55/39.50	o 5388
43.55/39.50	o 5387
43.55/39.50	o 5386
43.55/39.50	o 5385
43.55/39.50	o 5378
43.55/39.50	o 5376
43.55/39.50	o 5371
43.55/39.51	o 5370
43.55/39.51	o 5369
43.55/39.51	o 5362
43.55/39.52	o 5357
43.55/39.52	o 5355
43.55/39.52	o 5352
43.55/39.52	o 5349
43.55/39.52	o 5348
43.55/39.52	o 5347
43.55/39.52	o 5345
43.55/39.53	o 5342
43.55/39.54	o 5340
43.55/39.54	o 5337
43.55/39.54	o 5329
43.55/39.54	o 5325
43.55/39.54	o 5318
43.55/39.56	o 5317
43.65/39.68	o 5316
43.65/39.68	o 5314
43.75/39.71	o 5313
44.07/40.05	o 5312
44.07/40.05	o 5311
44.07/40.05	o 5310
44.07/40.05	o 5308
44.07/40.05	o 5306
44.07/40.05	o 5300
44.07/40.05	o 5295
44.07/40.05	o 5289
44.07/40.05	o 5284
44.07/40.05	o 5282
44.07/40.05	o 5281
44.07/40.05	o 5275
44.07/40.05	o 5274
44.07/40.05	o 5268
44.07/40.05	o 5267
44.07/40.06	o 5265
44.07/40.06	o 5262
44.07/40.06	o 5260
44.07/40.06	o 5258
44.07/40.06	o 5254
44.07/40.06	o 5253
44.07/40.06	o 5251
44.07/40.06	o 5247
44.07/40.06	o 5245
44.07/40.08	o 5241
44.07/40.08	o 5240
44.07/40.09	o 5239
45.57/41.56	o 5236
45.57/41.56	o 5235
45.57/41.57	o 5232
45.57/41.57	o 5231
45.57/41.58	o 5230
45.68/41.64	o 5227
45.68/41.64	o 5226
45.68/41.64	o 5225
45.68/41.65	o 5222
45.68/41.65	o 5221
45.68/41.65	o 5220
45.68/41.65	o 5219
45.68/41.66	o 5218
45.68/41.66	o 5217
45.68/41.66	o 5216
45.68/41.66	o 5215
45.68/41.69	o 5214
45.68/41.69	o 5213
45.68/41.69	o 5212
45.68/41.69	o 5210
45.68/41.69	o 5209
45.68/41.69	o 5208
45.68/41.70	o 5207
45.68/41.70	o 5206
45.78/41.70	o 5205
45.78/41.70	o 5204
45.78/41.70	o 5203
45.78/41.70	o 5202
45.78/41.70	o 5201
45.78/41.70	o 5199
45.78/41.70	o 5198
45.78/41.72	o 5197
45.78/41.72	o 5195
45.78/41.75	o 5194
45.78/41.75	o 5193
45.78/41.75	o 5192
45.78/41.75	o 5189
45.78/41.75	o 5188
45.78/41.75	o 5185
45.78/41.75	o 5182
45.78/41.75	o 5173
45.78/41.75	o 5169
45.78/41.76	o 5164
45.78/41.76	o 5163
45.78/41.76	o 5160
45.78/41.76	o 5159
45.78/41.76	o 5156
45.78/41.76	o 5155
45.78/41.80	o 5154
45.89/41.80	o 5153
45.89/41.84	o 5152
45.89/41.84	o 5150
45.99/41.94	o 5139
45.99/41.94	o 5137
45.99/41.94	o 5136
45.99/41.94	o 5134
45.99/41.94	o 5129
45.99/41.94	o 5117
45.99/41.94	o 5114
45.99/41.94	o 5112
45.99/41.94	o 5109
45.99/41.94	o 5108
45.99/41.94	o 5105
45.99/41.94	o 5103
45.99/41.94	o 5102
45.99/41.95	o 5099
45.99/41.95	o 5096
45.99/41.95	o 5088
47.14/43.05	o 5084
47.14/43.05	o 5083
77.24/72.90	o 5075
77.24/72.90	o 5074
77.24/72.91	o 5073
77.35/73.09	o 5069
77.35/73.09	o 5068
77.35/73.10	o 5067
77.35/73.10	o 5066
77.45/73.11	o 5065
77.45/73.11	o 5064
77.45/73.11	o 5062
77.45/73.11	o 5061
77.45/73.11	o 5059
77.45/73.11	o 5058
79.75/75.44	o 5057
79.75/75.44	o 5054
79.75/75.44	o 5053
79.75/75.45	o 5052
79.75/75.45	o 5050
79.75/75.45	o 5048
79.75/75.45	o 5047
79.75/75.45	o 5045
79.75/75.45	o 5044
79.75/75.46	o 5043
79.75/75.46	o 5042
79.75/75.47	o 5037
79.75/75.47	o 5034
79.75/75.48	o 5030
79.75/75.48	o 5029
79.75/75.48	o 5027
79.95/75.65	o 5025
79.95/75.65	o 5024
79.95/75.65	o 5021
81.51/77.16	o 5020
82.43/78.10	o 5019
82.43/78.10	o 5017
82.43/78.10	o 5016
82.43/78.10	o 5007
82.43/78.10	o 5006
82.43/78.10	o 5005
82.43/78.10	o 5004
82.43/78.10	o 5003
82.43/78.10	o 5001
82.43/78.10	o 5000
82.43/78.10	o 4998
82.43/78.10	o 4997
82.43/78.10	o 4986
82.43/78.11	o 4984
82.43/78.11	o 4982
82.43/78.11	o 4976
82.43/78.11	o 4975
82.43/78.11	o 4964
82.43/78.11	o 4962
82.56/78.12	o 4961
82.56/78.12	o 4956
82.56/78.12	o 4954
82.56/78.12	o 4949
82.56/78.18	o 4947
82.56/78.18	o 4945
82.64/78.20	o 4943
82.64/78.20	o 4942
82.64/78.24	o 4941
82.64/78.24	o 4940
82.64/78.25	o 4937
82.74/78.35	o 4936
82.74/78.39	o 4935
82.84/78.49	o 4933
82.84/78.49	o 4932
82.84/78.49	o 4931
83.04/78.60	o 4930
83.04/78.60	o 4929
83.34/78.91	o 4927
83.95/79.55	o 4924
84.05/79.60	o 4923
84.05/79.64	o 4921
84.05/79.64	o 4919
84.05/79.64	o 4918
84.05/79.68	o 4915
84.05/79.68	o 4914
84.05/79.68	o 4913
84.15/79.76	o 4912
84.75/80.31	o 4911
84.86/80.42	o 4910
84.86/80.42	o 4908
84.96/80.54	o 4907
84.96/80.58	o 4906
84.96/80.59	o 4904
87.60/83.17	o 4902
87.60/83.17	o 4899
87.60/83.17	o 4895
87.60/83.17	o 4894
87.60/83.17	o 4893
87.60/83.17	o 4892
87.60/83.17	o 4891
87.60/83.17	o 4890
87.60/83.18	o 4889
87.60/83.18	o 4888
87.60/83.18	o 4887
87.60/83.18	o 4885
89.52/85.05	o 4882
89.91/85.42	o 4880
89.91/85.42	o 4876
89.91/85.42	o 4875
89.91/85.42	o 4871
89.91/85.45	o 4869
89.91/85.45	o 4865
90.31/85.81	o 4863
90.31/85.84	o 4862
92.24/87.76	o 4861
92.24/87.77	o 4849
92.24/87.78	o 4844
92.34/87.83	o 4843
92.34/87.87	o 4842
92.44/87.94	o 4840
92.44/87.96	o 4839
92.44/87.99	o 4838
93.85/89.38	o 4836
93.85/89.38	o 4835
93.95/89.43	o 4834
93.95/89.43	o 4833
94.96/90.46	o 4832
94.96/90.46	o 4830
94.96/90.46	o 4829
94.96/90.46	o 4825
94.96/90.46	o 4823
94.96/90.47	o 4816
94.96/90.47	o 4814
96.27/91.77	o 4810
96.27/91.77	o 4797
96.27/91.77	o 4785
96.27/91.77	o 4779
96.27/91.77	o 4778
96.27/91.77	o 4771
96.27/91.77	o 4770
96.27/91.77	o 4764
96.27/91.77	o 4763
96.27/91.77	o 4758
96.27/91.77	o 4754
96.27/91.77	o 4753
96.27/91.77	o 4751
96.27/91.77	o 4750
96.27/91.80	o 4745
96.37/91.83	o 4744
96.37/91.84	o 4741
96.68/92.13	o 4740
96.68/92.13	o 4738
96.68/92.13	o 4735
96.68/92.15	o 4731
96.68/92.15	o 4728
97.59/93.06	o 4727
97.59/93.06	o 4726
97.59/93.06	o 4725
97.59/93.06	o 4724
97.59/93.06	o 4723
97.59/93.07	o 4718
97.59/93.07	o 4715
97.69/93.13	o 4713
97.69/93.13	o 4712
97.88/93.34	o 4709
98.90/94.39	o 4708
98.90/94.39	o 4705
99.00/94.43	o 4703
99.00/94.43	o 4702
99.00/94.43	o 4699
99.10/94.51	o 4698
99.10/94.54	o 4695
99.10/94.54	o 4692
99.72/95.11	o 4691
99.72/95.11	o 4690
102.55/97.91	o 4689
103.86/99.23	o 4687
103.86/99.23	o 4685
103.86/99.24	o 4683
103.86/99.24	o 4681
103.86/99.24	o 4679
103.86/99.24	o 4678
103.86/99.24	o 4676
103.86/99.24	o 4674
103.86/99.24	o 4673
103.86/99.24	o 4671
103.86/99.25	o 4670
103.86/99.25	o 4669
103.86/99.25	o 4666
103.86/99.25	o 4663
103.86/99.25	o 4660
103.86/99.25	o 4659
103.86/99.25	o 4656
103.86/99.25	o 4652
103.86/99.25	o 4650
103.86/99.26	o 4649
103.86/99.26	o 4647
103.86/99.27	o 4645
103.86/99.27	o 4643
103.86/99.27	o 4642
103.96/99.30	o 4640
103.96/99.34	o 4639
103.96/99.34	o 4638
103.96/99.35	o 4637
103.96/99.35	o 4635
104.16/99.55	o 4633
104.16/99.55	o 4632
104.56/100.00	o 4617
104.56/100.00	o 4595
104.56/100.00	o 4575
104.56/100.00	o 4572
104.56/100.00	o 4564
104.67/100.08	o 4561
104.67/100.08	o 4559
104.67/100.08	o 4557
104.67/100.09	o 4556
104.67/100.09	o 4555
104.67/100.09	o 4550
104.67/100.09	o 4548
104.67/100.10	o 4547
104.67/100.10	o 4545
104.67/100.10	o 4544
104.86/100.25	o 4543
104.86/100.25	o 4533
104.86/100.25	o 4532
104.86/100.25	o 4531
104.86/100.25	o 4502
104.86/100.25	o 4501
104.86/100.25	o 4500
104.86/100.25	o 4472
104.86/100.25	o 4471
104.86/100.25	o 4470
104.86/100.25	o 4466
104.86/100.26	o 4460
104.86/100.26	o 4452
104.86/100.26	o 4448
104.86/100.26	o 4443
104.86/100.26	o 4441
104.86/100.28	o 4433
105.06/100.40	o 4432
105.06/100.41	o 4423
105.06/100.42	o 4421
105.06/100.47	o 4417
105.06/100.47	o 4415
105.17/100.52	o 4413
105.17/100.52	o 4411
105.17/100.52	o 4410
105.17/100.54	o 4408
105.17/100.54	o 4407
105.17/100.54	o 4405
105.17/100.54	o 4404
105.27/100.69	o 4403
105.27/100.69	o 4402
105.27/100.69	o 4393
105.27/100.69	o 4392
105.27/100.69	o 4390
105.27/100.69	o 4389
105.47/100.88	o 4388
105.47/100.88	o 4387
105.47/100.88	o 4386
105.47/100.88	o 4385
105.47/100.89	o 4382
105.47/100.89	o 4381
105.57/100.90	o 4374
105.57/100.90	o 4373
105.88/101.26	o 4372
105.88/101.26	o 4371
105.88/101.26	o 4367
105.88/101.26	o 4358
105.88/101.26	o 4343
105.88/101.26	o 4338
105.88/101.26	o 4336
105.88/101.26	o 4333
105.88/101.26	o 4329
105.98/101.38	o 4322
105.98/101.39	o 4321
105.98/101.39	o 4318
105.98/101.39	o 4314
106.08/101.42	o 4307
106.08/101.43	o 4302
106.08/101.44	o 4297
106.08/101.44	o 4296
106.18/101.52	o 4295
106.18/101.53	o 4294
106.18/101.53	o 4293
106.60/101.96	o 4291
106.60/101.96	o 4290
107.41/102.73	o 4289
108.52/103.86	o 4288
108.52/103.86	o 4286
108.52/103.86	o 4285
108.52/103.86	o 4284
108.52/103.86	o 4277
108.52/103.86	o 4275
108.52/103.86	o 4274
108.52/103.86	o 4270
108.52/103.86	o 4267
108.52/103.86	o 4260
108.52/103.86	o 4258
108.52/103.86	o 4257
108.52/103.86	o 4255
108.52/103.86	o 4254
108.52/103.86	o 4251
108.52/103.86	o 4250
108.52/103.86	o 4248
108.52/103.87	o 4230
108.52/103.87	o 4189
108.52/103.87	o 4188
108.52/103.87	o 4180
108.52/103.87	o 4177
108.52/103.88	o 4175
108.52/103.89	o 4168
108.52/103.89	o 4165
108.62/103.92	o 4164
108.62/103.93	o 4161
108.62/103.93	o 4160
108.62/103.94	o 4157
108.62/103.94	o 4154
108.62/103.95	o 4152
108.62/103.95	o 4150
108.62/103.95	o 4148
108.62/103.96	o 4147
108.62/103.96	o 4145
108.62/103.96	o 4143
108.62/103.97	o 4139
108.62/103.97	o 4137
108.62/103.97	o 4136
108.62/103.97	o 4134
108.62/104.00	o 4132
109.23/104.53	o 4129
109.23/104.58	o 4128
109.34/104.67	o 4124
109.63/104.95	o 4123
109.63/104.95	o 4121
110.35/105.60	o 4116
110.35/105.60	o 4109
110.35/105.60	o 4106
110.35/105.60	o 4101
110.35/105.61	o 4097
110.35/105.61	o 4096
110.35/105.61	o 4095
110.35/105.61	o 4091
110.35/105.61	o 4090
110.35/105.61	o 4084
110.35/105.62	o 4082
110.35/105.62	o 4080
110.35/105.67	o 4079
110.35/105.67	o 4078
110.35/105.67	o 4077
110.35/105.68	o 4076
110.35/105.69	o 4075
110.35/105.69	o 4073
110.45/105.75	o 4072
110.55/105.82	o 4071
111.37/106.67	o 4070
111.37/106.68	o 4068
111.37/106.68	o 4064
111.37/106.68	o 4057
111.47/106.71	o 4056
111.47/106.71	o 4052
111.47/106.72	o 4051
111.47/106.73	o 4048
111.47/106.75	o 4046
111.47/106.77	o 4045
111.47/106.77	o 4044
111.47/106.77	o 4043
111.78/107.06	o 4042
111.78/107.10	o 4041
111.78/107.10	o 4039
111.88/107.15	o 4037
112.17/107.48	o 4032
112.17/107.48	o 4029
112.17/107.48	o 4027
112.57/107.82	o 4023
112.57/107.82	o 4021
112.57/107.82	o 4019
112.57/107.82	o 4017
112.57/107.82	o 4009
112.57/107.83	o 4007
112.57/107.83	o 3991
112.57/107.83	o 3987
112.57/107.83	o 3978
112.57/107.83	o 3966
112.57/107.83	o 3949
112.57/107.83	o 3947
112.57/107.83	o 3944
112.68/107.90	o 3942
112.68/108.00	o 3941
112.68/108.00	o 3940
112.89/108.14	o 3938
113.18/108.44	o 3936
113.18/108.47	o 3935
113.18/108.49	o 3934
113.28/108.51	o 3932
114.09/109.31	o 3928
114.09/109.32	o 3926
114.09/109.32	o 3925
114.09/109.35	o 3923
114.09/109.38	o 3920
114.19/109.41	o 3919
114.19/109.41	o 3911
114.19/109.42	o 3908
114.19/109.42	o 3904
115.10/110.38	o 3898
115.10/110.39	o 3893
115.30/110.53	o 3891
115.30/110.53	o 3889
115.92/111.11	o 3888
115.92/111.11	o 3886
115.92/111.11	o 3884
115.92/111.11	o 3882
115.92/111.12	o 3876
115.92/111.12	o 3874
116.12/111.34	o 3873
116.12/111.34	o 3869
116.12/111.38	o 3868
116.12/111.39	o 3859
116.12/111.39	o 3858
116.42/111.62	o 3832
116.42/111.63	o 3816
116.42/111.65	o 3814
116.42/111.66	o 3811
116.42/111.66	o 3804
116.42/111.66	o 3801
116.42/111.69	o 3800
116.53/111.74	o 3793
116.63/111.82	o 3790
116.63/111.83	o 3788
116.63/111.83	o 3785
116.63/111.84	o 3784
116.63/111.84	o 3782
116.94/112.11	o 3779
116.94/112.11	o 3776
116.94/112.11	o 3772
116.94/112.17	o 3771
117.24/112.45	o 3769
117.24/112.46	o 3766
117.24/112.46	o 3752
117.24/112.46	o 3749
117.24/112.46	o 3748
117.24/112.46	o 3747
117.24/112.46	o 3745
117.24/112.49	o 3743
117.34/112.53	o 3742
117.34/112.58	o 3741
117.34/112.58	o 3740
117.44/112.60	o 3738
117.44/112.60	o 3737
117.75/112.96	o 3735
117.75/112.96	o 3734
117.75/112.96	o 3729
117.75/112.96	o 3727
117.75/112.96	o 3715
117.75/112.96	o 3713
117.96/113.15	o 3712
117.96/113.15	o 3710
118.05/113.22	o 3707
118.05/113.22	o 3705
118.05/113.22	o 3703
118.05/113.22	o 3702
118.05/113.22	o 3700
118.15/113.30	o 3699
118.15/113.31	o 3698
118.15/113.31	o 3696
118.15/113.35	o 3695
118.35/113.56	o 3693
118.35/113.56	o 3691
118.46/113.62	o 3685
118.46/113.62	o 3684
118.56/113.80	o 3682
118.56/113.80	o 3680
118.76/113.97	o 3679
118.76/114.00	o 3678
118.87/114.08	o 3667
118.87/114.08	o 3666
118.87/114.08	o 3665
118.87/114.08	o 3664
118.87/114.08	o 3663
118.87/114.08	o 3661
118.87/114.08	o 3657
118.87/114.08	o 3652
118.87/114.08	o 3650
118.87/114.08	o 3648
118.87/114.08	o 3646
118.87/114.10	o 3645
118.98/114.15	o 3643
118.98/114.15	o 3642
118.98/114.15	o 3641
118.98/114.16	o 3637
118.98/114.16	o 3635
118.98/114.16	o 3633
119.07/114.20	o 3625
119.07/114.20	o 3624
119.07/114.20	o 3623
119.07/114.22	o 3615
119.07/114.22	o 3613
119.07/114.26	o 3610
119.07/114.26	o 3609
125.13/120.28	o 3608
125.13/120.28	o 3603
125.13/120.28	o 3602
125.13/120.29	o 3601
125.23/120.36	o 3600
125.23/120.36	o 3598
125.23/120.36	o 3597
129.27/124.36	o 3592
131.39/126.42	o 3590
132.30/127.38	o 3589
132.40/127.49	o 3586
132.40/127.49	o 3585
132.60/127.66	o 3582
132.60/127.66	o 3580
132.60/127.69	o 3578
132.60/127.69	o 3574
139.37/134.31	o 3569
139.37/134.31	o 3563
139.37/134.31	o 3555
139.37/134.31	o 3554
139.37/134.31	o 3553
140.68/135.61	o 3550
140.88/135.84	o 3548
141.99/136.90	o 3545
141.99/136.90	o 3543
141.99/136.90	o 3542
142.39/137.34	o 3537
143.71/138.65	o 3536
143.71/138.65	o 3534
143.71/138.65	o 3528
143.71/138.65	o 3526
143.71/138.65	o 3525
143.71/138.65	o 3519
143.71/138.65	o 3517
143.71/138.66	o 3514
143.71/138.66	o 3497
143.71/138.66	o 3491
143.71/138.66	o 3489
143.71/138.67	o 3488
143.71/138.67	o 3487
143.71/138.67	o 3481
143.71/138.68	o 3480
143.71/138.69	o 3479
143.82/138.73	o 3478
143.92/138.81	o 3477
143.92/138.81	o 3475
143.92/138.85	o 3473
143.92/138.85	o 3472
143.92/138.86	o 3469
143.92/138.86	o 3466
145.24/140.16	o 3464
146.55/141.43	o 3463
146.55/141.43	o 3460
146.55/141.43	o 3455
146.55/141.43	o 3445
146.55/141.44	o 3437
146.55/141.44	o 3431
146.55/141.44	o 3428
146.55/141.44	o 3427
146.55/141.45	o 3423
146.55/141.49	o 3421
146.55/141.49	o 3420
146.55/141.49	o 3417
146.55/141.49	o 3416
146.75/141.61	o 3415
146.75/141.61	o 3414
146.75/141.66	o 3413
146.75/141.67	o 3412
146.75/141.68	o 3408
146.95/141.81	o 3407
146.95/141.83	o 3406
146.95/141.84	o 3404
147.16/142.10	o 3402
147.16/142.10	o 3400
147.16/142.10	o 3399
147.16/142.10	o 3395
147.16/142.10	o 3392
147.16/142.10	o 3389
147.16/142.10	o 3388
147.16/142.10	o 3385
147.16/142.10	o 3381
147.16/142.10	o 3377
147.16/142.10	o 3366
147.16/142.10	o 3355
147.16/142.10	o 3354
147.16/142.10	o 3353
147.16/142.10	o 3350
147.16/142.10	o 3349
147.26/142.11	o 3346
147.26/142.11	o 3343
147.26/142.11	o 3342
147.26/142.15	o 3339
147.26/142.16	o 3338
147.26/142.16	o 3337
147.26/142.16	o 3336
147.26/142.17	o 3334
147.26/142.18	o 3332
147.26/142.18	o 3331
147.26/142.18	o 3330
147.45/142.35	o 3329
147.45/142.35	o 3328
147.76/142.64	o 3327
147.86/142.70	o 3325
147.86/142.71	o 3323
147.96/142.80	o 3322
147.96/142.81	o 3321
147.96/142.84	o 3320
147.96/142.84	o 3319
148.17/143.02	o 3310
148.17/143.02	o 3308
148.17/143.02	o 3307
148.17/143.02	o 3306
148.17/143.02	o 3304
148.17/143.02	o 3303
148.17/143.03	o 3302
148.17/143.03	o 3299
148.17/143.04	o 3298
148.17/143.07	o 3297
148.17/143.07	o 3294
148.17/143.08	o 3290
148.17/143.10	o 3289
148.27/143.11	o 3285
148.87/143.78	o 3284
148.97/143.88	o 3279
148.97/143.88	o 3278
148.97/143.88	o 3275
148.97/143.88	o 3273
148.97/143.88	o 3272
148.97/143.88	o 3268
148.97/143.88	o 3267
148.97/143.88	o 3260
148.97/143.88	o 3259
148.97/143.88	o 3253
148.97/143.88	o 3248
148.97/143.88	o 3247
148.97/143.89	o 3246
148.97/143.89	o 3245
148.97/143.89	o 3237
148.97/143.89	o 3236
148.97/143.89	o 3229
148.97/143.89	o 3228
148.97/143.89	o 3214
148.97/143.89	o 3213
148.97/143.89	o 3212
148.97/143.89	o 3211
149.07/143.90	o 3210
149.07/143.90	o 3208
149.07/143.91	o 3207
149.07/143.91	o 3206
149.07/143.91	o 3204
149.07/143.91	o 3203
149.07/143.93	o 3201
149.07/143.93	o 3195
149.07/143.93	o 3194
149.07/143.93	o 3193
149.07/143.98	o 3189
149.07/143.98	o 3188
149.07/143.98	o 3187
149.28/144.19	o 3186
149.48/144.32	o 3184
149.48/144.32	o 3183
149.48/144.39	o 3180
149.48/144.39	o 3176
149.48/144.39	o 3171
149.48/144.39	o 3167
149.48/144.39	o 3150
149.48/144.39	o 3137
149.48/144.39	o 3132
149.48/144.39	o 3128
149.48/144.39	o 3120
149.48/144.39	o 3106
149.48/144.39	o 3098
149.48/144.39	o 3097
149.48/144.39	o 3087
149.48/144.39	o 3083
149.48/144.39	o 3082
149.48/144.39	o 3073
149.48/144.39	o 3069
149.48/144.39	o 3068
149.48/144.39	o 3067
149.48/144.40	o 3062
149.48/144.40	o 3060
149.48/144.40	o 3056
149.48/144.40	o 3055
149.48/144.40	o 3051
149.48/144.40	o 3050
149.48/144.40	o 3049
149.58/144.40	o 3046
149.58/144.40	o 3045
149.58/144.40	o 3044
149.58/144.40	o 3043
149.58/144.41	o 3042
149.58/144.41	o 3041
149.58/144.41	o 3040
149.58/144.41	o 3036
149.58/144.41	o 3032
149.58/144.41	o 3028
149.58/144.42	o 3027
149.58/144.42	o 3023
149.58/144.42	o 3014
149.58/144.42	o 3009
149.58/144.43	o 3001
149.88/144.77	o 2998
149.88/144.77	o 2995
149.88/144.77	o 2990
149.88/144.77	o 2986
149.88/144.78	o 2982
149.88/144.79	o 2978
149.88/144.79	o 2977
149.88/144.79	o 2976
149.88/144.79	o 2975
149.88/144.79	o 2974
149.98/144.82	o 2973
149.98/144.82	o 2972
149.98/144.83	o 2966
149.98/144.83	o 2965
151.00/145.84	o 2963
151.00/145.84	o 2961
151.00/145.84	o 2960
151.00/145.84	o 2959
151.00/145.84	o 2957
151.00/145.84	o 2956
151.00/145.84	o 2954
151.00/145.84	o 2953
153.83/148.64	o 2951
153.83/148.64	o 2949
154.34/149.12	o 2947
154.34/149.12	o 2944
155.25/150.02	o 2942
156.96/151.77	o 2940
157.06/151.80	o 2939
157.06/151.80	o 2938
157.06/151.80	o 2934
157.16/151.96	o 2933
164.62/159.35	o 2932
164.72/159.42	o 2931
164.72/159.45	o 2930
164.72/159.47	o 2929
166.03/160.74	o 2925
166.03/160.74	o 2922
166.03/160.74	o 2913
166.03/160.74	o 2912
166.03/160.76	o 2911
166.03/160.76	o 2910
166.03/160.76	o 2909
166.03/160.77	o 2908
166.03/160.77	o 2907
166.03/160.78	o 2906
166.13/160.80	o 2905
166.34/161.02	o 2904
166.44/161.11	o 2903
166.53/161.23	o 2902
166.53/161.23	o 2901
166.63/161.31	o 2900
166.63/161.32	o 2897
166.63/161.32	o 2896
166.63/161.32	o 2894
166.84/161.53	o 2893
166.94/161.67	o 2881
166.94/161.67	o 2880
166.94/161.67	o 2879
166.94/161.68	o 2878
166.94/161.68	o 2874
166.94/161.69	o 2868
167.35/162.02	o 2865
167.35/162.02	o 2864
167.35/162.02	o 2863
167.35/162.02	o 2862
167.35/162.02	o 2861
167.35/162.04	o 2859
167.35/162.04	o 2858
167.35/162.04	o 2857
168.86/163.52	o 2821
168.86/163.52	o 2813
168.86/163.52	o 2811
168.86/163.52	o 2807
168.86/163.52	o 2803
168.86/163.58	o 2801
169.17/163.80	o 2798
169.17/163.80	o 2797
169.17/163.80	o 2793
169.17/163.81	o 2790
169.17/163.84	o 2789
169.57/164.24	o 2788
169.57/164.24	o 2786
169.87/164.56	o 2783
169.87/164.58	o 2782
170.49/165.13	o 2767
170.49/165.13	o 2766
170.49/165.13	o 2760
170.49/165.13	o 2756
170.49/165.13	o 2749
170.49/165.13	o 2748
170.49/165.13	o 2741
170.49/165.13	o 2740
170.49/165.13	o 2736
170.49/165.13	o 2732
170.49/165.13	o 2725
170.49/165.13	o 2720
170.49/165.13	o 2704
170.49/165.13	o 2703
170.49/165.13	o 2702
170.49/165.13	o 2701
170.49/165.13	o 2697
170.49/165.13	o 2688
170.49/165.13	o 2684
170.49/165.13	o 2681
170.49/165.16	o 2676
170.49/165.16	o 2675
170.58/165.29	o 2669
170.58/165.29	o 2664
171.18/165.82	o 2655
171.18/165.82	o 2643
171.18/165.84	o 2640
171.18/165.84	o 2635
171.39/166.05	o 2632
171.50/166.18	o 2627
171.50/166.18	o 2625
171.50/166.18	o 2624
173.00/167.69	o 2622
173.00/167.69	o 2619
173.10/167.77	o 2618
175.23/169.86	o 2616
175.23/169.86	o 2608
175.23/169.86	o 2607
175.23/169.86	o 2600
175.23/169.87	o 2593
175.23/169.88	o 2586
175.23/169.89	o 2578
175.23/169.89	o 2577
175.34/169.90	o 2575
175.34/169.90	o 2572
175.34/169.93	o 2570
175.34/169.93	o 2569
175.34/169.97	o 2568
175.34/169.97	o 2565
175.34/169.98	o 2560
175.34/169.99	o 2555
176.96/171.52	o 2552
176.96/171.52	o 2550
176.96/171.53	o 2532
176.96/171.53	o 2530
176.96/171.54	o 2529
176.96/171.54	o 2527
176.96/171.54	o 2526
176.96/171.54	o 2519
176.96/171.57	o 2517
176.96/171.57	o 2515
176.96/171.57	o 2513
176.96/171.57	o 2511
176.96/171.58	o 2509
176.96/171.58	o 2504
176.96/171.58	o 2502
177.06/171.62	o 2501
178.97/173.51	o 2500
307.05/300.67	o 2499
307.05/300.67	o 2498
307.05/300.68	o 2496
307.05/300.68	o 2494
309.50/303.07	o 2493
309.50/303.07	o 2491
309.50/303.10	o 2487
312.41/305.96	o 2486
313.42/306.96	o 2480
313.42/306.96	o 2476
313.53/307.02	o 2473
313.63/307.17	o 2472
313.63/307.17	o 2469
313.73/307.26	o 2467
313.83/307.31	o 2464
313.83/307.31	o 2462
313.83/307.36	o 2460
313.83/307.36	o 2458
314.95/308.46	o 2457
319.11/312.54	o 2455
319.11/312.55	o 2452
319.11/312.55	o 2444
319.11/312.55	o 2421
319.11/312.55	o 2413
319.11/312.55	o 2403
319.11/312.55	o 2396
319.11/312.56	o 2388
319.11/312.56	o 2382
319.11/312.56	o 2379
319.11/312.56	o 2376
322.86/316.29	o 2362
322.86/316.29	o 2354
322.96/316.34	o 2352
323.27/316.63	o 2350
323.27/316.65	o 2348
323.27/316.65	o 2346
324.17/317.53	o 2345
324.37/317.76	o 2343
324.58/317.99	o 2341
324.69/318.02	o 2339
325.08/318.48	o 2337
325.59/318.98	o 2336
325.70/319.10	o 2335
325.70/319.10	o 2331
325.70/319.10	o 2329
325.70/319.10	o 2328
325.80/319.18	o 2327
325.99/319.32	o 2323
325.99/319.39	o 2320
326.09/319.40	o 2317
326.09/319.41	o 2316
326.09/319.45	o 2315
326.09/319.45	o 2311
326.40/319.72	o 2310
326.81/320.14	o 2309
327.31/320.63	o 2307
327.41/320.76	o 2306
327.41/320.76	o 2302
327.61/320.91	o 2300
327.61/320.94	o 2298
327.61/320.94	o 2294
328.02/321.32	o 2293
328.21/321.59	o 2289
328.52/321.85	o 2286
328.73/322.01	o 2281
331.25/324.54	o 2277
331.25/324.54	o 2274
331.25/324.54	o 2270
331.25/324.54	o 2266
331.25/324.54	o 2255
331.25/324.54	o 2248
331.25/324.54	o 2244
331.25/324.55	o 2238
331.25/324.55	o 2231
331.25/324.55	o 2218
331.25/324.55	o 2211
331.25/324.55	o 2207
331.25/324.55	o 2206
331.25/324.55	o 2205
331.25/324.55	o 2198
331.25/324.55	o 2197
331.25/324.55	o 2190
331.25/324.55	o 2186
331.35/324.64	o 2184
331.45/324.72	o 2181
332.56/325.80	o 2178
332.56/325.80	o 2173
332.56/325.80	o 2169
332.56/325.80	o 2166
332.56/325.80	o 2164
332.56/325.80	o 2152
332.56/325.80	o 2146
332.56/325.81	o 2142
332.56/325.81	o 2134
332.56/325.81	o 2125
332.56/325.81	o 2120
332.56/325.81	o 2115
332.56/325.84	o 2110
332.56/325.84	o 2102
332.56/325.86	o 2099
332.56/325.88	o 2098
333.17/326.46	o 2097
334.18/327.45	o 2096
334.18/327.45	o 2092
334.18/327.45	o 2090
334.18/327.45	o 2089
334.18/327.45	o 2086
334.18/327.45	o 2084
334.18/327.45	o 2082
334.18/327.45	o 2081
334.18/327.45	o 2075
334.18/327.46	o 2074
334.18/327.46	o 2073
334.18/327.46	o 2066
334.18/327.46	o 2060
334.28/327.51	o 2059
334.28/327.51	o 2058
334.28/327.51	o 2056
334.28/327.51	o 2055
334.28/327.51	o 2049
334.28/327.51	o 2048
334.48/327.77	o 2047
334.48/327.78	o 2045
334.48/327.78	o 2044
334.79/328.09	o 2041
334.90/328.13	o 2040
334.90/328.14	o 2036
334.90/328.20	o 2035
334.90/328.20	o 2034
334.99/328.23	o 2032
334.99/328.23	o 2031
335.29/328.52	o 2029
335.29/328.52	o 2022
335.29/328.52	o 2020
335.29/328.52	o 2016
335.29/328.53	o 2012
335.29/328.53	o 2009
335.29/328.53	o 2005
335.29/328.53	o 2002
335.29/328.53	o 1998
335.29/328.53	o 1995
335.29/328.53	o 1991
335.29/328.53	o 1988
335.29/328.53	o 1985
335.29/328.53	o 1978
335.29/328.53	o 1975
335.29/328.53	o 1971
335.29/328.53	o 1968
335.29/328.53	o 1967
335.29/328.53	o 1964
335.29/328.53	o 1960
335.29/328.54	o 1953
335.49/328.76	o 1952
335.49/328.76	o 1947
335.59/328.86	o 1946
335.69/328.99	o 1941
335.82/329.09	o 1939
335.92/329.13	o 1934
353.86/346.95	o 1933
425.89/418.59	o 1931
435.85/428.43	o 1928
436.96/429.56	o 1927
436.96/429.56	o 1925
436.96/429.56	o 1924
436.96/429.57	o 1921
436.96/429.57	o 1916
437.06/429.64	o 1914
437.06/429.65	o 1912
437.06/429.65	o 1910
437.06/429.65	o 1906
437.06/429.65	o 1894
437.48/430.06	o 1893
437.48/430.08	o 1892
438.08/430.66	o 1832
438.08/430.67	o 1828
438.18/430.71	o 1827
438.18/430.71	o 1823
438.18/430.71	o 1819
438.18/430.78	o 1815
438.18/430.78	o 1806
438.18/430.78	o 1802
438.18/430.79	o 1799
438.18/430.79	o 1795
438.28/430.81	o 1793
438.28/430.81	o 1792
438.28/430.81	o 1786
440.31/432.85	o 1785
440.31/432.85	o 1784
440.31/432.85	o 1780
441.93/434.49	o 1777
442.34/434.82	o 1770
1867.03/1851.23	o 1768
1867.13/1851.32	o 1767
1867.43/1851.66	o 1762
1954.54/1938.23	o 1761
1954.54/1938.23	o 1759
1954.54/1938.23	o 1756
1979.79/1963.32	o 1753
2268.40/2250.11	o 1751
2268.40/2250.11	o 1748
2268.60/2250.37	o 1743
2273.13/2254.85	o 1737
2273.13/2254.85	o 1733
2273.13/2254.85	o 1728
2273.13/2254.85	o 1727
2273.13/2254.85	o 1711
2273.13/2254.85	o 1707
2273.13/2254.85	o 1706
2273.13/2254.86	o 1705
2273.24/2255.01	o 1701
2273.24/2255.01	o 1700
2273.35/2255.04	o 1699
2273.64/2255.30	o 1696
2273.64/2255.30	o 1695
2273.64/2255.30	o 1694
2274.85/2256.52	o 1693
2274.85/2256.54	o 1692
2274.85/2256.54	o 1691
2274.85/2256.55	o 1687
2274.85/2256.55	o 1686
2274.85/2256.57	o 1684
2274.95/2256.60	o 1683
2274.95/2256.64	o 1681
2274.95/2256.65	o 1680
2274.95/2256.65	o 1679
2274.95/2256.66	o 1678
2275.05/2256.79	o 1672
2275.05/2256.79	o 1671
2275.05/2256.79	o 1667
2275.36/2257.09	o 1661
2275.36/2257.09	o 1660
2275.65/2257.30	o 1659
2276.37/2258.02	o 1658
2276.37/2258.02	o 1654
2276.37/2258.03	o 1653
2276.37/2258.05	o 1650
2276.37/2258.05	o 1648
2280.91/2262.59	o 1642
2281.01/2262.62	o 1639
2281.01/2262.63	o 1638
2281.01/2262.63	o 1634
2281.92/2263.51	o 1595
2281.92/2263.51	o 1592
2281.92/2263.52	o 1575
2281.92/2263.52	o 1572
2281.92/2263.52	o 1555
2281.92/2263.52	o 1552
2281.92/2263.52	o 1543
2281.92/2263.52	o 1540
2281.92/2263.53	o 1539
2281.92/2263.53	o 1537
2281.92/2263.53	o 1535
2281.92/2263.53	o 1533
2281.92/2263.53	o 1530
2283.23/2264.81	o 1521
2298.30/2279.72	o 1520
2298.71/2280.13	o 1518
2298.80/2280.27	o 1517
2298.90/2280.30	o 1516
2298.90/2280.31	o 1514
2299.41/2280.83	o 1510
2299.41/2280.83	o 1508
2520.08/2499.50	s SATISFIABLE
2520.08/2499.50	v <instantiation>
2520.08/2499.50	v 	<list>
2520.08/2499.50	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]
2520.08/2499.50	v 	</list>
2520.08/2499.50	v 	<values>
2520.08/2499.50	v 		5 6 29 3 4 0 2 1 10 10 2 24 8 36 0 2 7 7 8 31 28 15 4 11 34 25 1 3 6 9 3 0 9 5 15 18 11 16 23 15 5 13 6 1 0 21 20 45 1 0 6 4 7 17 1 9 11 19 11 11 14 111 4 2 32 5 16 13 9 2 14 12 17 2 4 0 8 22 5 7 1 3 7 11 12 11 6 0 4 6 3 12 27 73 8 13 2 18 3 17 28 24 6 14 8 12 15 3 20 19 8 20 10 15 38 2 16 4 1 1 4 9 23 16 2 
2520.08/2499.50	v 	</values>
2520.08/2499.50	v </instantiation>

Verifier Data 

OK	1508

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308004-1534283348/watcher-4308004-1534283348 -o /tmp/evaluation-result-4308004-1534283348/solver-4308004-1534283348 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534270652-30546 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 996712081 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308004-1534283348.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=31987, runsolver pid=31984

[startup+0.103582 s]*
/proc/loadavg: 1.44 1.36 1.38 5/218 32002
/proc/meminfo: memFree=24597396/32770624 swapFree=67108856/67108860
[pid=31987] ppid=31984 vsize=14082736 memory=31176 CPUtime=0.13 cores=1,3,5,7
/proc/31987/stat : 31987 (java) S 31984 31987 28719 0 -1 1077944320 6684 0 0 0 12 1 0 0 20 0 15 0 245897945 14420721664 7794 33554432000 4194304 4196468 140726923038096 140726923020640 139769505918711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
/proc/31987/statm: 3520684 7794 3158 1 0 3482761 0
[pid=31987/tid=31989] ppid=31984 vsize=14082736 memory=-8701690554792054402 CPUtime=0.09 cores=1,3,5,7
/proc/31987/task/31989/stat : 31989 (java) R 31984 31987 28719 0 -1 4202560 4718 0 0 0 9 0 0 0 20 0 15 0 245897945 14420721664 7794 33554432000 4194304 4196468 140726923038096 139769510131376 139769489999198 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31990] ppid=31984 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31990/stat : 31990 (java) S 31984 31987 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245897946 14420721664 7794 33554432000 4194304 4196468 140726923038096 139769101687568 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31991] ppid=31984 vsize=14082736 memory=139718571767424 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31991/stat : 31991 (java) S 31984 31987 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245897946 14420721664 7794 33554432000 4194304 4196468 140726923038096 139769100635024 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31992] ppid=31984 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31992/stat : 31992 (java) S 31984 31987 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245897946 14420721664 7794 33554432000 4194304 4196468 140726923038096 139769099582480 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31993] ppid=31984 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31993/stat : 31993 (java) S 31984 31987 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245897946 14420721664 7794 33554432000 4194304 4196468 140726923038096 139769098529936 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31994] ppid=31984 vsize=14082736 memory=139718571767424 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31994/stat : 31994 (java) S 31984 31987 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245897947 14420721664 7794 33554432000 4194304 4196468 140726923038096 139769048025072 139769505929858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31995] ppid=31984 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31995/stat : 31995 (java) S 31984 31987 28719 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245897948 14420721664 7794 33554432000 4194304 4196468 140726923038096 139769046971296 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31996] ppid=31984 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31996/stat : 31996 (java) S 31984 31987 28719 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245897948 14420721664 7794 33554432000 4194304 4196468 140726923038096 139769045918704 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31997] ppid=31984 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31997/stat : 31997 (java) S 31984 31987 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245897950 14420721664 7794 33554432000 4194304 4196468 140726923038096 139769044867280 139769505937307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31998] ppid=31984 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31998/stat : 31998 (java) S 31984 31987 28719 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 245897950 14420721664 7794 33554432000 4194304 4196468 140726923038096 139769043814896 139769505929858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31999] ppid=31984 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31999/stat : 31999 (java) S 31984 31987 28719 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 245897950 14420721664 7794 33554432000 4194304 4196468 140726923038096 139769042762352 139769505929858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=32000] ppid=31984 vsize=14082736 memory=139718571767424 CPUtime=0.01 cores=1,3,5,7
/proc/31987/task/32000/stat : 32000 (java) S 31984 31987 28719 0 -1 1077944384 281 0 0 0 1 0 0 0 20 0 15 0 245897950 14420721664 7794 33554432000 4194304 4196468 140726923038096 139769041709808 139769505929858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=32001] ppid=31984 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31987/task/32001/stat : 32001 (java) S 31984 31987 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245897950 14420721664 7794 33554432000 4194304 4196468 140726923038096 139768973225056 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=32002] ppid=31984 vsize=14082736 memory=139718571767424 CPUtime=0 cores=1,3,5,7
/proc/31987/task/32002/stat : 32002 (java) S 31984 31987 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245897951 14420721664 7794 33554432000 4194304 4196468 140726923038096 139768972171568 139769505929858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31176 KiB

[startup+0.214285 s]*
/proc/loadavg: 1.44 1.36 1.38 6/218 32002
/proc/meminfo: memFree=24583132/32770624 swapFree=67108856/67108860
[pid=31987] ppid=31984 vsize=14082736 memory=46968 CPUtime=0.31 cores=1,3,5,7
/proc/31987/stat : 31987 (java) S 31984 31987 28719 0 -1 1077944320 10389 0 0 0 29 2 0 0 20 0 15 0 245897945 14420721664 11742 33554432000 4194304 4196468 140726923038096 140726923020640 139769505918711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
/proc/31987/statm: 3520684 11742 3353 1 0 3482761 0
[pid=31987/tid=31989] ppid=31984 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/31987/task/31989/stat : 31989 (java) S 31984 31987 28719 0 -1 1077944384 8064 0 0 0 18 1 0 0 20 0 15 0 245897945 14420721664 11742 33554432000 4194304 4196468 140726923038096 139769510146752 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31990] ppid=31984 vsize=14082736 memory=364 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31990/stat : 31990 (java) S 31984 31987 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245897946 14420721664 11742 33554432000 4194304 4196468 140726923038096 139769101687568 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31991] ppid=31984 vsize=14082736 memory=288370094723479168 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31991/stat : 31991 (java) S 31984 31987 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245897946 14420721664 11742 33554432000 4194304 4196468 140726923038096 139769100635024 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31992] ppid=31984 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31992/stat : 31992 (java) S 31984 31987 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245897946 14420721664 11742 33554432000 4194304 4196468 140726923038096 139769099582480 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31993] ppid=31984 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31993/stat : 31993 (java) S 31984 31987 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245897946 14420721664 11742 33554432000 4194304 4196468 140726923038096 139769098529936 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31994] ppid=31984 vsize=14082736 memory=139718571767424 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31994/stat : 31994 (java) S 31984 31987 28719 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245897947 14420721664 11742 33554432000 4194304 4196468 140726923038096 139769048025072 139769505929858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31995] ppid=31984 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31995/stat : 31995 (java) S 31984 31987 28719 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245897948 14420721664 11742 33554432000 4194304 4196468 140726923038096 139769046971296 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31996] ppid=31984 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31996/stat : 31996 (java) S 31984 31987 28719 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245897948 14420721664 11742 33554432000 4194304 4196468 140726923038096 139769045918704 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31997] ppid=31984 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31997/stat : 31997 (java) S 31984 31987 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245897950 14420721664 11742 33554432000 4194304 4196468 140726923038096 139769044867280 139769505937307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31998] ppid=31984 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31987/task/31998/stat : 31998 (java) R 31984 31987 28719 0 -1 1077944384 384 0 0 0 2 0 0 0 20 0 15 0 245897950 14420721664 11742 33554432000 4194304 4196468 140726923038096 139769043807920 139769505928917 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31999] ppid=31984 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/31987/task/31999/stat : 31999 (java) S 31984 31987 28719 0 -1 1077944384 229 0 0 0 2 0 0 0 20 0 15 0 245897950 14420721664 11742 33554432000 4194304 4196468 140726923038096 139769042762352 139769505929858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=32000] ppid=31984 vsize=14082736 memory=139718571767424 CPUtime=0.06 cores=1,3,5,7
/proc/31987/task/32000/stat : 32000 (java) S 31984 31987 28719 0 -1 1077944384 330 0 0 0 6 0 0 0 20 0 15 0 245897950 14420721664 11742 33554432000 4194304 4196468 140726923038096 139769041709808 139769505929858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=32001] ppid=31984 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31987/task/32001/stat : 32001 (java) S 31984 31987 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245897950 14420721664 11742 33554432000 4194304 4196468 140726923038096 139768973225056 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=32002] ppid=31984 vsize=14082736 memory=139718571767424 CPUtime=0 cores=1,3,5,7
/proc/31987/task/32002/stat : 32002 (java) S 31984 31987 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245897951 14420721664 11742 33554432000 4194304 4196468 140726923038096 139768972171568 139769505929858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46968 KiB

[startup+0.310861 s]*
/proc/loadavg: 1.44 1.36 1.38 3/218 32002
/proc/meminfo: memFree=24579000/32770624 swapFree=67108856/67108860
[pid=31987] ppid=31984 vsize=14082736 memory=50428 CPUtime=0.44 cores=1,3,5,7
/proc/31987/stat : 31987 (java) S 31984 31987 28719 0 -1 1077944320 10777 0 0 0 42 2 0 0 20 0 15 0 245897945 14420721664 12607 33554432000 4194304 4196468 140726923038096 140726923020640 139769505918711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
/proc/31987/statm: 3520684 12607 3368 1 0 3482761 0
[pid=31987/tid=31989] ppid=31984 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/31987/task/31989/stat : 31989 (java) R 31984 31987 28719 0 -1 4202560 8420 0 0 0 28 2 0 0 20 0 15 0 245897945 14420721664 12607 33554432000 4194304 4196468 140726923038096 139769510128632 139769462520307 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31990] ppid=31984 vsize=14082736 memory=4294982659 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31990/stat : 31990 (java) S 31984 31987 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245897946 14420721664 12607 33554432000 4194304 4196468 140726923038096 139769101687568 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31991] ppid=31984 vsize=14082736 memory=288370094723479168 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31991/stat : 31991 (java) S 31984 31987 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245897946 14420721664 12607 33554432000 4194304 4196468 140726923038096 139769100635024 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31992] ppid=31984 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31992/stat : 31992 (java) S 31984 31987 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245897946 14420721664 12607 33554432000 4194304 4196468 140726923038096 139769099582480 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31993] ppid=31984 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31993/stat : 31993 (java) S 31984 31987 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245897946 14420721664 12607 33554432000 4194304 4196468 140726923038096 139769098529936 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31994] ppid=31984 vsize=14082736 memory=139718571767424 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31994/stat : 31994 (java) S 31984 31987 28719 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245897947 14420721664 12607 33554432000 4194304 4196468 140726923038096 139769048025072 139769505929858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31995] ppid=31984 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31995/stat : 31995 (java) S 31984 31987 28719 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245897948 14420721664 12607 33554432000 4194304 4196468 140726923038096 139769046971296 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31996] ppid=31984 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31996/stat : 31996 (java) S 31984 31987 28719 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245897948 14420721664 12607 33554432000 4194304 4196468 140726923038096 139769045918704 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31997] ppid=31984 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31997/stat : 31997 (java) S 31984 31987 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245897950 14420721664 12607 33554432000 4194304 4196468 140726923038096 139769044867280 139769505937307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31998] ppid=31984 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31987/task/31998/stat : 31998 (java) S 31984 31987 28719 0 -1 1077944384 384 0 0 0 2 0 0 0 20 0 15 0 245897950 14420721664 12607 33554432000 4194304 4196468 140726923038096 139769043814896 139769505929858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31999] ppid=31984 vsize=14082736 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/31987/task/31999/stat : 31999 (java) S 31984 31987 28719 0 -1 1077944384 240 0 0 0 3 0 0 0 20 0 15 0 245897950 14420721664 12607 33554432000 4194304 4196468 140726923038096 139769042762352 139769505929858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=32000] ppid=31984 vsize=14082736 memory=139718571767424 CPUtime=0.08 cores=1,3,5,7
/proc/31987/task/32000/stat : 32000 (java) S 31984 31987 28719 0 -1 1077944384 350 0 0 0 8 0 0 0 20 0 15 0 245897950 14420721664 12607 33554432000 4194304 4196468 140726923038096 139769041709808 139769505929858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=32001] ppid=31984 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31987/task/32001/stat : 32001 (java) S 31984 31987 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245897950 14420721664 12607 33554432000 4194304 4196468 140726923038096 139768973225056 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=32002] ppid=31984 vsize=14082736 memory=139718571767424 CPUtime=0 cores=1,3,5,7
/proc/31987/task/32002/stat : 32002 (java) S 31984 31987 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245897951 14420721664 12607 33554432000 4194304 4196468 140726923038096 139768972171568 139769505929858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50428 KiB

[startup+0.700736 s]
/proc/loadavg: 1.44 1.36 1.38 3/218 32002
/proc/meminfo: memFree=24555188/32770624 swapFree=67108856/67108860
[pid=31987] ppid=31984 vsize=14084804 memory=88760 CPUtime=0.98 cores=1,3,5,7
/proc/31987/stat : 31987 (java) S 31984 31987 28719 0 -1 1077944320 17613 0 0 0 94 4 0 0 20 0 15 0 245897945 14422839296 22190 33554432000 4194304 4196468 140726923038096 140726923020640 139769505918711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
/proc/31987/statm: 3521201 22190 3497 1 0 3483273 0
[pid=31987/tid=31989] ppid=31984 vsize=14084804 memory=277131623960665 CPUtime=0.66 cores=1,3,5,7
/proc/31987/task/31989/stat : 31989 (java) R 31984 31987 28719 0 -1 4202560 14869 0 0 0 63 3 0 0 20 0 15 0 245897945 14422839296 22190 33554432000 4194304 4196468 140726923038096 139769510143856 139769505940637 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31990] ppid=31984 vsize=14084804 memory=3834592127481040488 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31990/stat : 31990 (java) S 31984 31987 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245897946 14422839296 22190 33554432000 4194304 4196468 140726923038096 139769101687568 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31991] ppid=31984 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31991/stat : 31991 (java) S 31984 31987 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245897946 14422839296 22190 33554432000 4194304 4196468 140726923038096 139769100635024 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31992] ppid=31984 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31992/stat : 31992 (java) S 31984 31987 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245897946 14422839296 22190 33554432000 4194304 4196468 140726923038096 139769099582480 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31993] ppid=31984 vsize=14084804 memory=7809523229951467572 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31993/stat : 31993 (java) S 31984 31987 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245897946 14422839296 22190 33554432000 4194304 4196468 140726923038096 139769098529936 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31994] ppid=31984 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31994/stat : 31994 (java) S 31984 31987 28719 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245897947 14422839296 22190 33554432000 4194304 4196468 140726923038096 139769048025072 139769505929858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31995] ppid=31984 vsize=14084804 memory=-6079119013371535712 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31995/stat : 31995 (java) S 31984 31987 28719 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245897948 14422839296 22190 33554432000 4194304 4196468 140726923038096 139769046971296 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31996] ppid=31984 vsize=14084804 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31996/stat : 31996 (java) S 31984 31987 28719 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245897948 14422839296 22190 33554432000 4194304 4196468 140726923038096 139769045918704 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31997] ppid=31984 vsize=14084804 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31997/stat : 31997 (java) S 31984 31987 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245897950 14422839296 22190 33554432000 4194304 4196468 140726923038096 139769044867280 139769505937307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31998] ppid=31984 vsize=14084804 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/31987/task/31998/stat : 31998 (java) S 31984 31987 28719 0 -1 1077944384 553 0 0 0 8 0 0 0 20 0 15 0 245897950 14422839296 22190 33554432000 4194304 4196468 140726923038096 139769043814896 139769505929858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31999] ppid=31984 vsize=14084804 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31987/task/31999/stat : 31999 (java) S 31984 31987 28719 0 -1 1077944384 371 0 0 0 7 0 0 0 20 0 15 0 245897950 14422839296 22190 33554432000 4194304 4196468 140726923038096 139769042762352 139769505929858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=32000] ppid=31984 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/31987/task/32000/stat : 32000 (java) S 31984 31987 28719 0 -1 1077944384 437 0 0 0 15 0 0 0 20 0 15 0 245897950 14422839296 22190 33554432000 4194304 4196468 140726923038096 139769041709808 139769505929858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=32001] ppid=31984 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31987/task/32001/stat : 32001 (java) S 31984 31987 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245897950 14422839296 22190 33554432000 4194304 4196468 140726923038096 139768973225056 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=32002] ppid=31984 vsize=14084804 memory=37024 CPUtime=0 cores=1,3,5,7
/proc/31987/task/32002/stat : 32002 (java) S 31984 31987 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245897951 14422839296 22190 33554432000 4194304 4196468 140726923038096 139768972171568 139769505929858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88760 KiB

[startup+1.50162 s]
/proc/loadavg: 1.44 1.36 1.38 5/218 32002
/proc/meminfo: memFree=24510764/32770624 swapFree=67108856/67108860
[pid=31987] ppid=31984 vsize=14088900 memory=189204 CPUtime=3.33 cores=1,3,5,7
/proc/31987/stat : 31987 (java) S 31984 31987 28719 0 -1 1077944320 24868 0 0 0 326 7 0 0 20 0 15 0 245897945 14427033600 47301 33554432000 4194304 4196468 140726923038096 140726923020640 139769505918711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
/proc/31987/statm: 3522225 47301 3552 1 0 3484297 0
[pid=31987/tid=31989] ppid=31984 vsize=14088900 memory=3303 CPUtime=1.46 cores=1,3,5,7
/proc/31987/task/31989/stat : 31989 (java) R 31984 31987 28719 0 -1 4202560 18784 0 0 0 141 5 0 0 20 0 15 0 245897945 14427033600 47301 33554432000 4194304 4196468 140726923038096 139769510152888 139769505930646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31990] ppid=31984 vsize=14088900 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31990/stat : 31990 (java) S 31984 31987 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245897946 14427033600 47301 33554432000 4194304 4196468 140726923038096 139769101687568 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31991] ppid=31984 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31991/stat : 31991 (java) S 31984 31987 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245897946 14427033600 47301 33554432000 4194304 4196468 140726923038096 139769100635024 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31992] ppid=31984 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31992/stat : 31992 (java) S 31984 31987 28719 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245897946 14427033600 47301 33554432000 4194304 4196468 140726923038096 139769099582480 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31993] ppid=31984 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31993/stat : 31993 (java) S 31984 31987 28719 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245897946 14427033600 47301 33554432000 4194304 4196468 140726923038096 139769098529936 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31994] ppid=31984 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31994/stat : 31994 (java) S 31984 31987 28719 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 15 0 245897947 14427033600 47301 33554432000 4194304 4196468 140726923038096 139769048025072 139769505929858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0

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

/proc/31987/task/31989/stat : 31989 (java) R 31984 31987 28719 0 -1 4202560 43310 0 0 0 237301 16 0 0 20 0 15 0 245897945 14429130752 102914 33554432000 4194304 4196468 140726923038096 139769510156768 139769133214242 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31990] ppid=31984 vsize=14090948 memory=409608 CPUtime=5.32 cores=1,3,5,7
/proc/31987/task/31990/stat : 31990 (java) S 31984 31987 28719 0 -1 1077944384 7400 0 0 0 508 24 0 0 20 0 15 0 245897946 14429130752 102914 33554432000 4194304 4196468 140726923038096 139769101687568 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31991] ppid=31984 vsize=14090948 memory=0 CPUtime=5.34 cores=1,3,5,7
/proc/31987/task/31991/stat : 31991 (java) S 31984 31987 28719 0 -1 1077944384 9003 0 0 0 510 24 0 0 20 0 15 0 245897946 14429130752 102914 33554432000 4194304 4196468 140726923038096 139769100635024 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31992] ppid=31984 vsize=14090948 memory=409608 CPUtime=5.28 cores=1,3,5,7
/proc/31987/task/31992/stat : 31992 (java) S 31984 31987 28719 0 -1 1077944384 8008 0 0 0 505 23 0 0 20 0 15 0 245897946 14429130752 102914 33554432000 4194304 4196468 140726923038096 139769099582480 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31993] ppid=31984 vsize=14090948 memory=411656 CPUtime=5.29 cores=1,3,5,7
/proc/31987/task/31993/stat : 31993 (java) S 31984 31987 28719 0 -1 1077944384 9066 0 0 0 502 27 0 0 20 0 15 0 245897946 14429130752 102914 33554432000 4194304 4196468 140726923038096 139769098529936 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31994] ppid=31984 vsize=14090948 memory=411656 CPUtime=2.83 cores=1,3,5,7
/proc/31987/task/31994/stat : 31994 (java) S 31984 31987 28719 0 -1 1077944384 8315 0 0 0 264 19 0 0 20 0 15 0 245897947 14429130752 102914 33554432000 4194304 4196468 140726923038096 139769048025072 139769505929858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31995] ppid=31984 vsize=14090948 memory=411656 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31995/stat : 31995 (java) S 31984 31987 28719 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 245897948 14429130752 102914 33554432000 4194304 4196468 140726923038096 139769046971360 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31996] ppid=31984 vsize=14090948 memory=71 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31996/stat : 31996 (java) S 31984 31987 28719 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 245897948 14429130752 102914 33554432000 4194304 4196468 140726923038096 139769045918704 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31997] ppid=31984 vsize=14090948 memory=66812 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31997/stat : 31997 (java) S 31984 31987 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245897950 14429130752 102914 33554432000 4194304 4196468 140726923038096 139769044867280 139769505937307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31998] ppid=31984 vsize=14090948 memory=411656 CPUtime=1.56 cores=1,3,5,7
/proc/31987/task/31998/stat : 31998 (java) S 31984 31987 28719 0 -1 1077944384 7668 0 0 0 154 2 0 0 20 0 15 0 245897950 14429130752 102914 33554432000 4194304 4196468 140726923038096 139769043814896 139769505929858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31999] ppid=31984 vsize=14090948 memory=4132 CPUtime=1.41 cores=1,3,5,7
/proc/31987/task/31999/stat : 31999 (java) S 31984 31987 28719 0 -1 1077944384 7995 0 0 0 140 1 0 0 20 0 15 0 245897950 14429130752 102914 33554432000 4194304 4196468 140726923038096 139769042762352 139769505929858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=32000] ppid=31984 vsize=14090948 memory=411656 CPUtime=0.87 cores=1,3,5,7
/proc/31987/task/32000/stat : 32000 (java) S 31984 31987 28719 0 -1 1077944384 13940 0 0 0 85 2 0 0 20 0 15 0 245897950 14429130752 102914 33554432000 4194304 4196468 140726923038096 139769041709808 139769505929858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=32001] ppid=31984 vsize=14090948 memory=411656 CPUtime=0 cores=1,3,5,7
/proc/31987/task/32001/stat : 32001 (java) S 31984 31987 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245897950 14429130752 102914 33554432000 4194304 4196468 140726923038096 139768973225056 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=32002] ppid=31984 vsize=14090948 memory=279436880697664 CPUtime=0.71 cores=1,3,5,7
/proc/31987/task/32002/stat : 32002 (java) S 31984 31987 28719 0 -1 1077944384 1375 0 0 0 34 37 0 0 20 0 15 0 245897951 14429130752 102914 33554432000 4194304 4196468 140726923038096 139768972171568 139769505929858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
Current children cumulated CPU time: 2401.88 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 411656 KiB

[startup+2442.3 s]
/proc/loadavg: 1.23 1.26 1.28 3/218 32198
/proc/meminfo: memFree=24228456/32770624 swapFree=67108856/67108860
[pid=31987] ppid=31984 vsize=14090948 memory=417800 CPUtime=2462.38 cores=1,3,5,7
/proc/31987/stat : 31987 (java) S 31984 31987 28719 0 -1 1077944320 119016 0 0 0 246079 159 0 0 20 0 15 0 245897945 14429130752 104450 33554432000 4194304 4196468 140726923038096 140726923020640 139769505918711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
/proc/31987/statm: 3522737 104450 3582 1 0 3484809 0
[pid=31987/tid=31989] ppid=31984 vsize=14090948 memory=417800 CPUtime=2432.87 cores=1,3,5,7
/proc/31987/task/31989/stat : 31989 (java) R 31984 31987 28719 0 -1 4202560 43851 0 0 0 243271 16 0 0 20 0 15 0 245897945 14429130752 104450 33554432000 4194304 4196468 140726923038096 139769510156880 139769133365422 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31990] ppid=31984 vsize=14090948 memory=417800 CPUtime=5.49 cores=1,3,5,7
/proc/31987/task/31990/stat : 31990 (java) S 31984 31987 28719 0 -1 1077944384 7550 0 0 0 525 24 0 0 20 0 15 0 245897946 14429130752 104450 33554432000 4194304 4196468 140726923038096 139769101687568 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31991] ppid=31984 vsize=14090948 memory=0 CPUtime=5.51 cores=1,3,5,7
/proc/31987/task/31991/stat : 31991 (java) S 31984 31987 28719 0 -1 1077944384 9329 0 0 0 526 25 0 0 20 0 15 0 245897946 14429130752 104450 33554432000 4194304 4196468 140726923038096 139769100635024 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31992] ppid=31984 vsize=14090948 memory=415752 CPUtime=5.46 cores=1,3,5,7
/proc/31987/task/31992/stat : 31992 (java) S 31984 31987 28719 0 -1 1077944384 8125 0 0 0 523 23 0 0 20 0 15 0 245897946 14429130752 104450 33554432000 4194304 4196468 140726923038096 139769099582480 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31993] ppid=31984 vsize=14090948 memory=417800 CPUtime=5.47 cores=1,3,5,7
/proc/31987/task/31993/stat : 31993 (java) S 31984 31987 28719 0 -1 1077944384 9257 0 0 0 519 28 0 0 20 0 15 0 245897946 14429130752 104450 33554432000 4194304 4196468 140726923038096 139769098529936 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31994] ppid=31984 vsize=14090948 memory=417800 CPUtime=2.92 cores=1,3,5,7
/proc/31987/task/31994/stat : 31994 (java) S 31984 31987 28719 0 -1 1077944384 8496 0 0 0 272 20 0 0 20 0 15 0 245897947 14429130752 104450 33554432000 4194304 4196468 140726923038096 139769048025072 139769505929858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31995] ppid=31984 vsize=14090948 memory=417800 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31995/stat : 31995 (java) S 31984 31987 28719 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 245897948 14429130752 104450 33554432000 4194304 4196468 140726923038096 139769046971360 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31996] ppid=31984 vsize=14090948 memory=417800 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31996/stat : 31996 (java) S 31984 31987 28719 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 245897948 14429130752 104450 33554432000 4194304 4196468 140726923038096 139769045918704 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31997] ppid=31984 vsize=14090948 memory=415752 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31997/stat : 31997 (java) S 31984 31987 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245897950 14429130752 104450 33554432000 4194304 4196468 140726923038096 139769044867280 139769505937307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31998] ppid=31984 vsize=14090948 memory=417800 CPUtime=1.56 cores=1,3,5,7
/proc/31987/task/31998/stat : 31998 (java) S 31984 31987 28719 0 -1 1077944384 7670 0 0 0 154 2 0 0 20 0 15 0 245897950 14429130752 104450 33554432000 4194304 4196468 140726923038096 139769043814896 139769505929858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31999] ppid=31984 vsize=14090948 memory=417800 CPUtime=1.41 cores=1,3,5,7
/proc/31987/task/31999/stat : 31999 (java) S 31984 31987 28719 0 -1 1077944384 7997 0 0 0 140 1 0 0 20 0 15 0 245897950 14429130752 104450 33554432000 4194304 4196468 140726923038096 139769042762352 139769505929858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=32000] ppid=31984 vsize=14090948 memory=417800 CPUtime=0.87 cores=1,3,5,7
/proc/31987/task/32000/stat : 32000 (java) S 31984 31987 28719 0 -1 1077944384 13942 0 0 0 85 2 0 0 20 0 15 0 245897950 14429130752 104450 33554432000 4194304 4196468 140726923038096 139769041709808 139769505929858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=32001] ppid=31984 vsize=14090948 memory=417800 CPUtime=0 cores=1,3,5,7
/proc/31987/task/32001/stat : 32001 (java) S 31984 31987 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245897950 14429130752 104450 33554432000 4194304 4196468 140726923038096 139768973225056 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=32002] ppid=31984 vsize=14090948 memory=417800 CPUtime=0.74 cores=1,3,5,7
/proc/31987/task/32002/stat : 32002 (java) S 31984 31987 28719 0 -1 1077944384 1381 0 0 0 36 38 0 0 20 0 15 0 245897951 14429130752 104450 33554432000 4194304 4196468 140726923038096 139768972171568 139769505929858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
Current children cumulated CPU time: 2462.38 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 417800 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2499.5 s]
/proc/loadavg: 1.34 1.27 1.29 3/219 32207
/proc/meminfo: memFree=24219544/32770624 swapFree=67108856/67108860
[pid=31987] ppid=31984 vsize=14090948 memory=421896 CPUtime=2520.08 cores=1,3,5,7
/proc/31987/stat : 31987 (java) S 31984 31987 28719 0 -1 1077944320 120485 0 0 0 251844 164 0 0 20 0 15 0 245897945 14429130752 105474 33554432000 4194304 4196468 140726923038096 140726923020640 139769505918711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
/proc/31987/statm: 3522737 105474 3582 1 0 3484809 0
[pid=31987/tid=31989] ppid=31984 vsize=14090948 memory=421896 CPUtime=2489.79 cores=1,3,5,7
/proc/31987/task/31989/stat : 31989 (java) R 31984 31987 28719 0 -1 4202560 44294 0 0 0 248962 17 0 0 20 0 15 0 245897945 14429130752 105474 33554432000 4194304 4196468 140726923038096 139769510156960 139769132931591 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31990] ppid=31984 vsize=14090948 memory=419848 CPUtime=5.66 cores=1,3,5,7
/proc/31987/task/31990/stat : 31990 (java) S 31984 31987 28719 0 -1 1077944384 7773 0 0 0 541 25 0 0 20 0 15 0 245897946 14429130752 105474 33554432000 4194304 4196468 140726923038096 139769101687568 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31991] ppid=31984 vsize=14090948 memory=421896 CPUtime=5.67 cores=1,3,5,7
/proc/31987/task/31991/stat : 31991 (java) S 31984 31987 28719 0 -1 1077944384 9443 0 0 0 542 25 0 0 20 0 15 0 245897946 14429130752 105474 33554432000 4194304 4196468 140726923038096 139769100635024 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31992] ppid=31984 vsize=14090948 memory=421896 CPUtime=5.63 cores=1,3,5,7
/proc/31987/task/31992/stat : 31992 (java) S 31984 31987 28719 0 -1 1077944384 8301 0 0 0 539 24 0 0 20 0 15 0 245897946 14429130752 105474 33554432000 4194304 4196468 140726923038096 139769099582480 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31993] ppid=31984 vsize=14090948 memory=421896 CPUtime=5.63 cores=1,3,5,7
/proc/31987/task/31993/stat : 31993 (java) S 31984 31987 28719 0 -1 1077944384 9574 0 0 0 535 28 0 0 20 0 15 0 245897946 14429130752 105474 33554432000 4194304 4196468 140726923038096 139769098529936 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31994] ppid=31984 vsize=14090948 memory=421896 CPUtime=3 cores=1,3,5,7
/proc/31987/task/31994/stat : 31994 (java) S 31984 31987 28719 0 -1 1077944384 8671 0 0 0 279 21 0 0 20 0 15 0 245897947 14429130752 105474 33554432000 4194304 4196468 140726923038096 139769048025072 139769505929858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31995] ppid=31984 vsize=14090948 memory=421896 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31995/stat : 31995 (java) S 31984 31987 28719 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 245897948 14429130752 105474 33554432000 4194304 4196468 140726923038096 139769046971360 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31996] ppid=31984 vsize=14090948 memory=421896 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31996/stat : 31996 (java) S 31984 31987 28719 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 245897948 14429130752 105474 33554432000 4194304 4196468 140726923038096 139769045918704 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31997] ppid=31984 vsize=14090948 memory=421896 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31997/stat : 31997 (java) S 31984 31987 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245897950 14429130752 105474 33554432000 4194304 4196468 140726923038096 139769044867280 139769505937307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31998] ppid=31984 vsize=14090948 memory=1108 CPUtime=1.56 cores=1,3,5,7
/proc/31987/task/31998/stat : 31998 (java) S 31984 31987 28719 0 -1 1077944384 7672 0 0 0 154 2 0 0 20 0 15 0 245897950 14429130752 105474 33554432000 4194304 4196468 140726923038096 139769043814896 139769505929858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31999] ppid=31984 vsize=14090948 memory=10784 CPUtime=1.41 cores=1,3,5,7
/proc/31987/task/31999/stat : 31999 (java) S 31984 31987 28719 0 -1 1077944384 7999 0 0 0 140 1 0 0 20 0 15 0 245897950 14429130752 105474 33554432000 4194304 4196468 140726923038096 139769042762352 139769505929858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=32000] ppid=31984 vsize=14090948 memory=419848 CPUtime=0.87 cores=1,3,5,7
/proc/31987/task/32000/stat : 32000 (java) S 31984 31987 28719 0 -1 1077944384 13944 0 0 0 85 2 0 0 20 0 15 0 245897950 14429130752 105474 33554432000 4194304 4196468 140726923038096 139769041709808 139769505929858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=32001] ppid=31984 vsize=14090948 memory=419848 CPUtime=0 cores=1,3,5,7
/proc/31987/task/32001/stat : 32001 (java) S 31984 31987 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245897950 14429130752 105474 33554432000 4194304 4196468 140726923038096 139768973225056 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=32002] ppid=31984 vsize=14090948 memory=415752 CPUtime=0.76 cores=1,3,5,7
/proc/31987/task/32002/stat : 32002 (java) S 31984 31987 28719 0 -1 1077944384 1396 0 0 0 37 39 0 0 20 0 15 0 245897951 14429130752 105474 33554432000 4194304 4196468 140726923038096 139768972171568 139769505929858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 421896 KiB

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

[startup+2499.52 s]
# the end of solver process 31987 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.46 s, system=1.64845 s

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

[startup+2499.5 s]
/proc/loadavg: 1.34 1.27 1.29 3/219 32207
/proc/meminfo: memFree=24219544/32770624 swapFree=67108856/67108860
[pid=31987] ppid=31984 vsize=14090948 memory=421896 CPUtime=2520.08 cores=1,3,5,7
/proc/31987/stat : 31987 (java) S 31984 31987 28719 0 -1 1077944320 120485 0 0 0 251844 164 0 0 20 0 15 0 245897945 14429130752 105474 33554432000 4194304 4196468 140726923038096 140726923020640 139769505918711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
/proc/31987/statm: 3522737 105474 3582 1 0 3484809 0
[pid=31987/tid=31989] ppid=31984 vsize=14090948 memory=421896 CPUtime=2489.79 cores=1,3,5,7
/proc/31987/task/31989/stat : 31989 (java) R 31984 31987 28719 0 -1 4202560 44294 0 0 0 248962 17 0 0 20 0 15 0 245897945 14429130752 105474 33554432000 4194304 4196468 140726923038096 139769510156960 139769132931591 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31990] ppid=31984 vsize=14090948 memory=419848 CPUtime=5.66 cores=1,3,5,7
/proc/31987/task/31990/stat : 31990 (java) S 31984 31987 28719 0 -1 1077944384 7773 0 0 0 541 25 0 0 20 0 15 0 245897946 14429130752 105474 33554432000 4194304 4196468 140726923038096 139769101687568 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31991] ppid=31984 vsize=14090948 memory=421896 CPUtime=5.67 cores=1,3,5,7
/proc/31987/task/31991/stat : 31991 (java) S 31984 31987 28719 0 -1 1077944384 9443 0 0 0 542 25 0 0 20 0 15 0 245897946 14429130752 105474 33554432000 4194304 4196468 140726923038096 139769100635024 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31992] ppid=31984 vsize=14090948 memory=421896 CPUtime=5.63 cores=1,3,5,7
/proc/31987/task/31992/stat : 31992 (java) S 31984 31987 28719 0 -1 1077944384 8301 0 0 0 539 24 0 0 20 0 15 0 245897946 14429130752 105474 33554432000 4194304 4196468 140726923038096 139769099582480 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31993] ppid=31984 vsize=14090948 memory=421896 CPUtime=5.63 cores=1,3,5,7
/proc/31987/task/31993/stat : 31993 (java) S 31984 31987 28719 0 -1 1077944384 9574 0 0 0 535 28 0 0 20 0 15 0 245897946 14429130752 105474 33554432000 4194304 4196468 140726923038096 139769098529936 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31994] ppid=31984 vsize=14090948 memory=421896 CPUtime=3 cores=1,3,5,7
/proc/31987/task/31994/stat : 31994 (java) S 31984 31987 28719 0 -1 1077944384 8671 0 0 0 279 21 0 0 20 0 15 0 245897947 14429130752 105474 33554432000 4194304 4196468 140726923038096 139769048025072 139769505929858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31995] ppid=31984 vsize=14090948 memory=421896 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31995/stat : 31995 (java) S 31984 31987 28719 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 245897948 14429130752 105474 33554432000 4194304 4196468 140726923038096 139769046971360 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31996] ppid=31984 vsize=14090948 memory=421896 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31996/stat : 31996 (java) S 31984 31987 28719 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 245897948 14429130752 105474 33554432000 4194304 4196468 140726923038096 139769045918704 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31997] ppid=31984 vsize=14090948 memory=421896 CPUtime=0 cores=1,3,5,7
/proc/31987/task/31997/stat : 31997 (java) S 31984 31987 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245897950 14429130752 105474 33554432000 4194304 4196468 140726923038096 139769044867280 139769505937307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31998] ppid=31984 vsize=14090948 memory=1108 CPUtime=1.56 cores=1,3,5,7
/proc/31987/task/31998/stat : 31998 (java) S 31984 31987 28719 0 -1 1077944384 7672 0 0 0 154 2 0 0 20 0 15 0 245897950 14429130752 105474 33554432000 4194304 4196468 140726923038096 139769043814896 139769505929858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=31999] ppid=31984 vsize=14090948 memory=10784 CPUtime=1.41 cores=1,3,5,7
/proc/31987/task/31999/stat : 31999 (java) S 31984 31987 28719 0 -1 1077944384 7999 0 0 0 140 1 0 0 20 0 15 0 245897950 14429130752 105474 33554432000 4194304 4196468 140726923038096 139769042762352 139769505929858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=32000] ppid=31984 vsize=14090948 memory=419848 CPUtime=0.87 cores=1,3,5,7
/proc/31987/task/32000/stat : 32000 (java) S 31984 31987 28719 0 -1 1077944384 13944 0 0 0 85 2 0 0 20 0 15 0 245897950 14429130752 105474 33554432000 4194304 4196468 140726923038096 139769041709808 139769505929858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=32001] ppid=31984 vsize=14090948 memory=419848 CPUtime=0 cores=1,3,5,7
/proc/31987/task/32001/stat : 32001 (java) S 31984 31987 28719 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245897950 14429130752 105474 33554432000 4194304 4196468 140726923038096 139768973225056 139769505928917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
[pid=31987/tid=32002] ppid=31984 vsize=14090948 memory=415752 CPUtime=0.76 cores=1,3,5,7
/proc/31987/task/32002/stat : 32002 (java) S 31984 31987 28719 0 -1 1077944384 1396 0 0 0 37 39 0 0 20 0 15 0 245897951 14429130752 105474 33554432000 4194304 4196468 140726923038096 139768972171568 139769505929858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 11751424 140726923039817 140726923040009 140726923040009 140726923042767 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 421896 KiB

Child status: 143
Real time (s): 2499.52
CPU time (s): 2520.11
CPU user time (s): 2518.46
CPU system time (s): 1.64845
CPU usage (%): 100.823
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 421896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.46
system time used= 1.64845
maximum resident set size= 422472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120845
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 137139
involuntary context switches= 4803


# summary of solver processes directly reported to runsolver:
#   pid: 31987
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2518.46
#   total CPU system time (s): 1.64845

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0708 second user time and 24.4162 second system time

The end

Launcher Data 

Begin job on node132 at 2018-08-14 23:49:08
IDJOB=4308004
IDBENCH=141223
IDSOLVER=2791
FILE ID=node132/4308004-1534283348
RUNJOBID= node132-1534270652-30546
PBS_JOBID= 21038125
Free space on /tmp= 38864 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14
BENCH NAME= XCSP18/SumColoring/SumColoring-dsjc-125-5_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-4308004-1534283348/watcher-4308004-1534283348 -o /tmp/evaluation-result-4308004-1534283348/solver-4308004-1534283348 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534270652-30546 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 996712081 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308004-1534283348.xml

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

MD5SUM BENCH= 08115146c0ac9b7e4849c5cb62d96e41
RANDOM SEED=996712081

node132.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.65
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.65
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.65
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.65
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:        24616596 kB
MemAvailable:   31728676 kB
Buffers:          214536 kB
Cached:          7123212 kB
SwapCached:            4 kB
Active:          4059220 kB
Inactive:        3509656 kB
Active(anon):     180724 kB
Inactive(anon):   102672 kB
Active(file):    3878496 kB
Inactive(file):  3406984 kB
Unevictable:        6984 kB
Mlocked:            6984 kB
SwapTotal:      67108860 kB
SwapFree:       67108856 kB
Dirty:             35716 kB
Writeback:             0 kB
AnonPages:        237832 kB
Mapped:            70568 kB
Shmem:             49820 kB
Slab:             283576 kB
SReclaimable:     255060 kB
SUnreclaim:        28516 kB
KernelStack:        3808 kB
PageTables:         6452 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1214160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    104448 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 38832 MiB
End job on node132 at 2018-08-15 00:30:47