Trace number 4310116

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)18397 252.086 243.727

General information on the benchmark

NameSumColoring/
SumColoring-dsjc-250-9_c18.xml
MD5SUM15c7aefb85365a32de6dc875f5012851
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10090
Best CPU time to get the best result obtained on this benchmark251.968
Satisfiable
(Un)Satisfiability was proved
Number of variables250
Number of constraints27897
Number of domains1
Minimum domain size250
Maximum domain size250
Distribution of domain sizes[{"size":250,"count":250}]
Minimum variable degree208
Maximum variable degree235
Distribution of variable degrees[{"degree":208,"count":1},{"degree":213,"count":1},{"degree":214,"count":3},{"degree":215,"count":5},{"degree":216,"count":4},{"degree":217,"count":8},{"degree":218,"count":9},{"degree":219,"count":11},{"degree":220,"count":9},{"degree":221,"count":15},{"degree":222,"count":19},{"degree":223,"count":19},{"degree":224,"count":26},{"degree":225,"count":23},{"degree":226,"count":10},{"degree":227,"count":22},{"degree":228,"count":17},{"degree":229,"count":21},{"degree":230,"count":10},{"degree":231,"count":6},{"degree":232,"count":7},{"degree":233,"count":1},{"degree":234,"count":1},{"degree":235,"count":2}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":27897}]
Number of extensional constraints0
Number of intensional constraints27897
Distribution of constraint types[{"type":"intension","count":27897}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.67/0.56	c version: 2018-08-14
0.67/0.56	c seed: 1043218454
0.67/0.56	c timeout: 252
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
8.72/3.28	c Parsing done, starting search...
9.86/3.65	o 31408
10.15/3.76	o 31363
10.15/3.77	o 31323
10.15/3.77	o 31263
10.15/3.77	o 31239
10.15/3.77	o 31213
10.15/3.77	o 31204
10.15/3.77	o 31137
10.15/3.77	o 31135
10.15/3.77	o 31133
10.15/3.77	o 31130
10.15/3.77	o 31122
10.15/3.78	o 31121
10.15/3.78	o 31111
10.15/3.78	o 31079
10.15/3.78	o 31053
10.15/3.78	o 31016
10.15/3.78	o 31000
10.15/3.78	o 30990
10.15/3.78	o 30980
10.15/3.78	o 30952
10.15/3.79	o 30947
10.15/3.80	o 30939
10.15/3.80	o 30936
10.15/3.80	o 30925
10.15/3.80	o 30915
10.15/3.80	o 30914
10.15/3.80	o 30910
10.15/3.80	o 30907
10.15/3.80	o 30902
10.15/3.80	o 30901
10.15/3.80	o 30892
10.40/3.80	o 30884
10.40/3.80	o 30883
10.40/3.80	o 30876
10.40/3.81	o 30818
10.40/3.81	o 30779
10.40/3.81	o 30754
10.40/3.81	o 30749
10.40/3.81	o 30744
10.40/3.81	o 30743
10.40/3.82	o 30685
10.40/3.82	o 30675
10.40/3.82	o 30667
10.40/3.82	o 30666
10.40/3.83	o 30660
10.40/3.83	o 30654
10.40/3.83	o 30647
10.40/3.83	o 30644
10.40/3.83	o 30639
10.40/3.83	o 30636
10.40/3.84	o 30623
10.40/3.85	o 30616
10.40/3.85	o 30615
10.40/3.85	o 30611
10.40/3.85	o 30610
10.40/3.85	o 30588
10.40/3.86	o 30587
10.40/3.86	o 30562
10.40/3.86	o 30557
10.40/3.87	o 30554
10.40/3.87	o 30549
10.40/3.89	o 30545
10.40/3.89	o 30542
10.40/3.89	o 30534
10.40/3.89	o 30531
10.40/3.90	o 30526
10.71/3.90	o 30515
10.71/3.93	o 30492
10.71/3.94	o 30467
10.71/3.94	o 30439
10.71/3.94	o 30423
10.71/3.94	o 30418
10.71/3.95	o 30415
10.71/3.95	o 30410
10.71/3.96	o 30405
10.71/3.97	o 30403
11.01/4.03	o 30240
11.01/4.03	o 30208
11.01/4.03	o 30204
11.01/4.03	o 30178
11.01/4.03	o 30174
11.01/4.03	o 30169
11.11/4.14	o 30097
11.11/4.14	o 30092
11.11/4.14	o 30058
11.11/4.15	o 30053
11.11/4.15	o 30029
11.11/4.15	o 30017
11.11/4.16	o 30014
11.11/4.16	o 30009
11.11/4.17	o 30007
11.21/4.28	o 30001
11.21/4.28	o 29989
11.21/4.29	o 29971
11.21/4.29	o 29968
11.21/4.29	o 29964
11.21/4.29	o 29961
11.21/4.29	o 29958
11.21/4.29	o 29949
11.31/4.30	o 29943
11.31/4.31	o 29941
11.31/4.31	o 29936
11.31/4.33	o 29933
11.41/4.48	o 29930
11.41/4.49	o 29928
11.41/4.49	o 29925
11.51/4.53	o 29924
11.51/4.53	o 29923
11.83/4.79	o 29832
11.83/4.79	o 29830
11.83/4.79	o 29825
11.83/4.79	o 29824
11.83/4.79	o 29822
11.83/4.79	o 29814
11.83/4.80	o 29808
11.94/4.80	o 29802
12.19/5.05	o 29799
12.29/5.11	o 29798
13.31/6.07	o 29688
13.31/6.07	o 29684
13.31/6.07	o 29673
13.31/6.07	o 29657
13.31/6.07	o 29647
13.31/6.08	o 29623
13.31/6.08	o 29618
13.31/6.09	o 29608
13.31/6.09	o 29582
13.31/6.10	o 29581
13.31/6.10	o 29567
13.31/6.10	o 29566
13.31/6.10	o 29541
13.31/6.10	o 29535
13.31/6.10	o 29516
13.31/6.10	o 29514
13.41/6.12	o 29435
13.41/6.13	o 29410
13.41/6.13	o 29405
13.41/6.13	o 29382
13.41/6.13	o 29367
13.41/6.13	o 29361
13.41/6.13	o 29357
13.41/6.14	o 29355
13.41/6.14	o 29338
13.41/6.14	o 29336
13.41/6.14	o 29331
13.41/6.14	o 29329
13.41/6.15	o 29316
13.41/6.15	o 29314
13.41/6.15	o 29310
13.41/6.15	o 29306
13.41/6.15	o 29304
13.51/6.21	o 29298
13.51/6.28	o 29168
13.51/6.29	o 29165
13.51/6.29	o 29162
13.51/6.29	o 29142
13.51/6.29	o 29135
13.61/6.30	o 29123
13.61/6.30	o 29110
13.61/6.31	o 29106
13.61/6.31	o 29086
13.61/6.31	o 29080
13.61/6.31	o 29077
13.61/6.31	o 29073
13.61/6.34	o 29071
13.61/6.36	o 29069
13.61/6.36	o 29068
13.61/6.37	o 29062
13.72/6.45	o 29061
13.82/6.51	o 29054
13.82/6.51	o 29052
14.63/7.21	o 29051
14.63/7.21	o 29050
14.63/7.21	o 29045
14.73/7.37	o 29040
14.73/7.37	o 29034
14.73/7.38	o 29031
14.73/7.38	o 29011
14.73/7.38	o 29002
14.73/7.38	o 28993
14.73/7.38	o 28984
14.73/7.38	o 28979
14.73/7.38	o 28961
14.73/7.38	o 28959
14.73/7.38	o 28953
14.85/7.40	o 28944
14.85/7.40	o 28938
14.85/7.40	o 28931
14.85/7.41	o 28923
14.96/7.55	o 28921
15.36/7.92	o 28915
15.36/7.97	o 28911
15.36/7.97	o 28907
15.36/7.97	o 28896
15.36/7.98	o 28888
15.36/7.99	o 28867
15.47/8.02	o 28846
15.47/8.03	o 28821
15.76/8.30	o 28812
16.40/8.96	o 28805
16.40/8.97	o 28800
16.40/8.97	o 28792
16.40/8.98	o 28761
16.40/8.98	o 28747
16.51/9.01	o 28739
16.70/9.22	o 28733
16.70/9.22	o 28729
16.70/9.22	o 28726
16.70/9.22	o 28725
16.70/9.22	o 28722
16.70/9.23	o 28720
16.70/9.23	o 28714
16.70/9.23	o 28711
16.70/9.24	o 28706
16.70/9.24	o 28704
16.70/9.24	o 28703
16.70/9.24	o 28701
16.70/9.27	o 28698
16.70/9.27	o 28696
16.70/9.27	o 28691
16.70/9.27	o 28689
16.85/9.31	o 28683
16.85/9.31	o 28680
16.85/9.32	o 28678
16.85/9.36	o 28676
17.08/9.51	o 28675
17.08/9.52	o 28673
17.08/9.56	o 28668
17.08/9.58	o 28667
17.18/9.62	o 28665
17.28/9.76	o 28664
17.28/9.77	o 28659
17.28/9.77	o 28656
17.28/9.77	o 28651
17.28/9.79	o 28649
17.59/10.02	o 28646
17.59/10.02	o 28640
17.59/10.02	o 28633
17.59/10.02	o 28620
17.59/10.02	o 28610
17.59/10.02	o 28597
17.59/10.02	o 28592
17.59/10.02	o 28590
17.59/10.02	o 28582
17.59/10.02	o 28569
17.59/10.02	o 28562
17.59/10.03	o 28497
17.59/10.03	o 28490
17.59/10.03	o 28367
17.59/10.03	o 28360
17.59/10.03	o 28352
17.59/10.04	o 28264
17.59/10.04	o 28263
17.59/10.04	o 28258
17.59/10.04	o 28257
17.59/10.04	o 28251
17.59/10.04	o 28238
17.59/10.04	o 28230
17.59/10.05	o 28214
17.59/10.06	o 28186
17.59/10.07	o 28096
17.59/10.08	o 28072
17.59/10.08	o 28064
17.59/10.08	o 28043
17.59/10.09	o 28031
17.59/10.10	o 28024
17.59/10.10	o 27968
17.59/10.11	o 27924
17.70/10.11	o 27907
17.70/10.11	o 27898
17.70/10.11	o 27896
17.70/10.11	o 27879
17.70/10.11	o 27874
17.70/10.11	o 27872
17.70/10.14	o 27860
17.70/10.14	o 27858
17.70/10.14	o 27857
17.70/10.14	o 27840
17.70/10.14	o 27838
17.70/10.18	o 27829
17.70/10.19	o 27827
17.79/10.20	o 27826
17.79/10.20	o 27821
17.79/10.20	o 27819
17.79/10.24	o 27816
17.79/10.24	o 27806
17.79/10.25	o 27804
17.79/10.26	o 27803
17.79/10.26	o 27801
17.79/10.27	o 27798
17.79/10.27	o 27796
17.90/10.33	o 27783
17.90/10.33	o 27781
17.90/10.33	o 27770
17.90/10.33	o 27768
17.90/10.35	o 27764
17.90/10.35	o 27762
17.90/10.37	o 27758
17.90/10.37	o 27756
18.00/10.44	o 27752
18.00/10.44	o 27746
18.00/10.45	o 27744
18.00/10.46	o 27743
18.00/10.47	o 27739
18.00/10.47	o 27736
18.00/10.47	o 27734
18.00/10.49	o 27726
18.00/10.49	o 27724
18.10/10.52	o 27714
18.10/10.52	o 27712
18.30/10.70	o 27666
18.30/10.70	o 27664
18.30/10.70	o 27637
18.30/10.70	o 27635
18.30/10.70	o 27633
18.30/10.70	o 27628
18.30/10.70	o 27626
18.30/10.70	o 27602
18.30/10.70	o 27600
18.30/10.70	o 27599
18.30/10.70	o 27597
18.30/10.70	o 27581
18.30/10.70	o 27579
18.30/10.70	o 27577
18.30/10.71	o 27553
18.30/10.71	o 27551
18.30/10.71	o 27542
18.30/10.71	o 27540
18.30/10.71	o 27538
18.30/10.71	o 27536
18.30/10.72	o 27532
18.30/10.72	o 27531
18.30/10.72	o 27523
18.30/10.72	o 27521
18.40/10.87	o 27517
18.40/10.87	o 27515
18.40/10.87	o 27513
18.40/10.87	o 27511
18.50/10.91	o 27506
18.50/10.91	o 27504
18.50/10.93	o 27503
18.50/10.93	o 27501
18.61/11.07	o 27500
18.61/11.07	o 27492
18.61/11.07	o 27489
18.61/11.08	o 27472
30.14/22.49	o 27466
30.34/22.61	o 27461
30.44/22.73	o 27460
30.44/22.73	o 27455
30.44/22.73	o 27448
30.84/23.18	o 27436
30.84/23.18	o 27434
30.84/23.18	o 27431
30.84/23.18	o 27429
30.84/23.18	o 27416
30.84/23.19	o 27412
30.84/23.19	o 27401
30.84/23.19	o 27400
30.84/23.19	o 27396
30.84/23.19	o 27394
30.84/23.19	o 27392
30.84/23.20	o 27391
30.94/23.20	o 27387
30.94/23.20	o 27386
30.94/23.20	o 27381
30.94/23.20	o 27380
30.94/23.21	o 27370
30.94/23.21	o 27367
30.94/23.25	o 27352
30.94/23.25	o 27349
30.94/23.25	o 27347
30.94/23.25	o 27343
30.94/23.25	o 27333
30.94/23.25	o 27305
30.94/23.25	o 27295
30.94/23.25	o 27294
30.94/23.25	o 27290
30.94/23.26	o 27286
30.94/23.26	o 27281
30.94/23.26	o 27279
30.94/23.26	o 27277
30.94/23.28	o 27274
30.94/23.28	o 27272
30.94/23.28	o 27268
30.94/23.28	o 27266
31.35/23.69	o 27263
31.76/24.04	o 27262
31.76/24.04	o 27258
31.76/24.05	o 27253
31.76/24.05	o 27249
31.76/24.06	o 27237
31.76/24.06	o 27222
31.76/24.07	o 27201
31.76/24.08	o 27195
31.76/24.10	o 27182
31.86/24.12	o 27177
31.86/24.13	o 27159
32.15/24.48	o 27156
32.15/24.48	o 27147
32.15/24.48	o 27141
32.15/24.48	o 27137
32.15/24.48	o 27126
32.15/24.48	o 27113
32.25/24.56	o 27109
32.25/24.57	o 27105
32.35/24.64	o 27104
32.65/24.90	o 27103
33.55/25.80	o 27082
33.55/25.80	o 27080
33.55/25.80	o 27079
33.55/25.80	o 27077
33.55/25.80	o 27075
33.55/25.80	o 27074
33.55/25.80	o 27072
33.55/25.80	o 27070
33.55/25.80	o 27068
33.55/25.83	o 27064
33.55/25.84	o 27058
33.55/25.84	o 27056
33.55/25.84	o 27047
33.55/25.86	o 27045
33.65/25.93	o 27042
33.65/25.94	o 27031
36.19/28.42	o 27022
36.19/28.43	o 27019
36.19/28.47	o 27015
36.19/28.47	o 27007
36.19/28.47	o 26986
36.19/28.48	o 26977
36.19/28.48	o 26974
36.19/28.49	o 26972
36.29/28.51	o 26969
36.29/28.51	o 26968
36.29/28.52	o 26964
36.39/28.69	o 26962
36.39/28.69	o 26957
36.49/28.70	o 26952
36.59/28.88	o 26950
38.55/30.77	o 26948
38.55/30.77	o 26926
38.55/30.77	o 26921
38.55/30.78	o 26919
38.55/30.78	o 26917
38.55/30.78	o 26912
38.55/30.80	o 26911
38.64/30.80	o 26895
38.64/30.80	o 26883
38.64/30.80	o 26866
38.64/30.80	o 26854
38.74/30.99	o 26853
39.04/31.23	o 26846
39.24/31.42	o 26838
39.24/31.42	o 26817
39.24/31.44	o 26812
39.24/31.46	o 26783
39.24/31.47	o 26775
41.06/33.12	o 26761
41.06/33.12	o 26748
41.06/33.12	o 26724
41.06/33.13	o 26723
41.06/33.13	o 26699
41.06/33.13	o 26692
41.06/33.13	o 26687
41.06/33.14	o 26686
41.06/33.14	o 26685
41.06/33.15	o 26680
41.06/33.17	o 26670
41.06/33.17	o 26668
41.06/33.17	o 26661
41.15/33.20	o 26659
41.15/33.20	o 26658
41.15/33.24	o 26651
41.35/33.42	o 26641
41.35/33.47	o 26639
41.65/33.71	o 26638
41.65/33.73	o 26634
41.96/34.03	o 26632
41.96/34.03	o 26628
41.96/34.03	o 26623
41.96/34.03	o 26607
41.96/34.03	o 26605
41.96/34.03	o 26601
41.96/34.03	o 26595
41.96/34.04	o 26594
41.96/34.05	o 26588
41.96/34.10	o 26568
41.96/34.10	o 26549
42.06/34.11	o 26524
42.06/34.11	o 26505
42.06/34.12	o 26503
42.06/34.12	o 26498
42.06/34.12	o 26493
42.06/34.12	o 26489
42.06/34.13	o 26488
42.06/34.13	o 26485
42.15/34.23	o 26483
42.15/34.24	o 26482
42.55/34.62	o 26481
42.55/34.64	o 26480
42.75/34.85	o 26478
42.75/34.88	o 26476
44.15/36.26	o 26475
44.15/36.26	o 26459
44.15/36.26	o 26456
44.15/36.26	o 26436
44.15/36.26	o 26409
44.15/36.27	o 26397
44.15/36.27	o 26393
44.15/36.27	o 26382
44.15/36.27	o 26350
44.15/36.28	o 26346
44.15/36.28	o 26338
44.26/36.31	o 26333
44.26/36.31	o 26332
45.86/37.95	o 26326
45.86/37.95	o 26310
45.86/37.96	o 26298
45.86/37.98	o 26297
45.97/38.07	o 26292
47.26/39.36	o 26285
47.26/39.36	o 26277
47.26/39.36	o 26268
47.26/39.36	o 26262
47.26/39.36	o 26244
47.26/39.36	o 26238
47.26/39.38	o 26198
47.26/39.39	o 26192
47.37/39.40	o 26174
47.37/39.41	o 26166
47.37/39.41	o 26165
47.37/39.41	o 26153
47.37/39.42	o 26149
47.37/39.42	o 26147
47.37/39.43	o 26146
47.37/39.46	o 26139
47.37/39.48	o 26137
47.58/39.64	o 26118
47.58/39.65	o 26116
47.58/39.65	o 26102
47.58/39.65	o 26091
47.58/39.65	o 26086
47.58/39.65	o 26080
47.58/39.68	o 26067
47.58/39.68	o 26058
47.58/39.69	o 26032
47.58/39.69	o 26028
47.68/39.71	o 26017
47.68/39.78	o 26014
47.78/39.89	o 26009
48.68/40.71	o 25992
48.68/40.71	o 25990
48.68/40.71	o 25985
48.68/40.71	o 25983
48.68/40.71	o 25909
48.68/40.72	o 25885
48.68/40.72	o 25883
48.68/40.72	o 25874
48.68/40.72	o 25865
48.68/40.72	o 25859
48.68/40.74	o 25858
48.68/40.74	o 25856
48.88/40.95	o 25798
48.88/40.95	o 25793
48.88/40.95	o 25788
48.88/40.98	o 25778
48.88/40.98	o 25773
48.88/40.98	o 25768
48.88/40.99	o 25767
48.88/40.99	o 25762
48.88/41.00	o 25757
49.09/41.12	o 25754
49.09/41.18	o 25751
49.09/41.18	o 25747
50.18/42.25	o 25738
50.18/42.26	o 25722
50.18/42.26	o 25717
50.18/42.27	o 25691
50.18/42.28	o 25685
50.18/42.28	o 25680
50.28/42.30	o 25674
50.28/42.31	o 25672
50.28/42.32	o 25663
50.28/42.32	o 25662
50.28/42.32	o 25659
50.28/42.32	o 25655
50.28/42.32	o 25653
50.28/42.33	o 25652
50.28/42.33	o 25644
50.28/42.34	o 25642
50.38/42.42	o 25640
51.78/43.81	o 25638
51.78/43.81	o 25629
51.78/43.82	o 25623
51.78/43.83	o 25620
51.78/43.83	o 25598
51.88/43.91	o 25595
51.88/43.99	o 25594
51.99/44.03	o 25583
51.99/44.03	o 25582
51.99/44.03	o 25581
51.99/44.03	o 25558
51.99/44.03	o 25557
51.99/44.04	o 25530
51.99/44.04	o 25521
51.99/44.04	o 25509
51.99/44.04	o 25500
51.99/44.09	o 25493
51.99/44.09	o 25490
51.99/44.10	o 25489
52.09/44.13	o 25485
52.09/44.14	o 25483
52.09/44.15	o 25480
52.09/44.16	o 25479
52.18/44.28	o 25477
52.28/44.37	o 25471
52.28/44.38	o 25470
52.38/44.40	o 25455
52.78/44.88	o 25451
52.78/44.88	o 25448
52.78/44.88	o 25442
52.78/44.88	o 25441
52.78/44.88	o 25433
52.78/44.89	o 25430
52.78/44.89	o 25421
52.78/44.89	o 25420
52.88/44.90	o 25412
52.88/44.90	o 25411
52.88/44.91	o 25403
52.88/44.91	o 25397
52.88/44.91	o 25393
52.88/44.91	o 25384
52.88/44.92	o 25383
52.88/44.92	o 25382
52.88/44.93	o 25364
52.88/44.93	o 25363
52.88/44.93	o 25362
52.88/44.94	o 25361
54.19/46.25	o 25318
54.19/46.25	o 25306
54.19/46.25	o 25299
54.19/46.27	o 25298
54.19/46.27	o 25292
54.19/46.30	o 25290
54.29/46.32	o 25289
54.29/46.32	o 25286
54.29/46.33	o 25279
54.29/46.33	o 25275
54.29/46.33	o 25271
54.29/46.33	o 25270
54.29/46.33	o 25267
54.29/46.33	o 25264
54.29/46.33	o 25257
54.29/46.33	o 25256
54.29/46.35	o 25254
54.29/46.37	o 25241
54.29/46.37	o 25232
54.29/46.37	o 25230
54.29/46.37	o 25204
54.29/46.37	o 25203
54.29/46.37	o 25198
54.29/46.37	o 25197
54.29/46.37	o 25182
54.29/46.37	o 25178
54.29/46.38	o 25173
54.29/46.38	o 25170
54.29/46.38	o 25169
54.29/46.38	o 25167
58.19/50.24	o 25163
59.80/51.87	o 25161
64.10/56.11	o 25155
82.80/74.79	o 25143
82.90/74.80	o 25137
82.90/74.80	o 25117
82.90/74.81	o 25100
82.90/74.81	o 25085
82.90/74.81	o 25080
82.90/74.82	o 25062
82.90/74.83	o 25053
82.90/74.83	o 25047
82.90/74.83	o 25042
82.90/74.87	o 25038
83.00/74.92	o 25031
83.00/74.94	o 25024
83.00/74.94	o 25020
83.10/75.02	o 25017
83.30/75.29	o 25003
83.80/75.73	o 25001
83.80/75.76	o 24997
83.90/75.80	o 24993
84.30/76.23	o 24984
84.80/76.79	o 24983
85.50/77.43	o 24980
86.90/78.90	o 24978
89.40/81.30	o 24976
89.90/81.84	o 24970
90.60/82.59	o 24943
90.60/82.59	o 24939
90.60/82.60	o 24936
90.60/82.60	o 24931
90.70/82.60	o 24920
90.70/82.60	o 24915
90.70/82.60	o 24908
90.70/82.60	o 24892
90.70/82.60	o 24888
90.70/82.60	o 24870
90.80/82.73	o 24867
90.80/82.75	o 24866
90.80/82.78	o 24862
90.80/82.78	o 24851
90.90/82.82	o 24850
90.90/82.82	o 24837
90.90/82.82	o 24789
90.90/82.82	o 24744
90.90/82.82	o 24739
90.90/82.82	o 24726
90.90/82.82	o 24701
90.90/82.82	o 24696
90.90/82.82	o 24683
90.90/82.83	o 24677
90.90/82.86	o 24675
90.90/82.87	o 24674
90.90/82.87	o 24669
90.90/82.87	o 24656
90.90/82.87	o 24652
90.90/82.89	o 24648
90.90/82.89	o 24637
92.11/84.08	o 24606
92.11/84.08	o 24602
92.11/84.08	o 24590
92.11/84.08	o 24586
92.11/84.08	o 24578
92.11/84.09	o 24574
92.11/84.10	o 24572
92.11/84.10	o 24568
92.11/84.10	o 24557
92.11/84.10	o 24553
92.11/84.10	o 24517
92.11/84.10	o 24513
92.21/84.14	o 24506
92.21/84.14	o 24502
92.21/84.16	o 24498
92.21/84.16	o 24487
92.30/84.26	o 24482
92.30/84.28	o 24463
92.81/84.77	o 24462
92.91/84.81	o 24458
92.91/84.81	o 24452
92.91/84.81	o 24451
92.91/84.81	o 24413
93.61/85.58	o 24349
93.61/85.58	o 24343
93.61/85.58	o 24327
93.61/85.58	o 24323
93.61/85.58	o 24320
93.61/85.58	o 24314
93.61/85.58	o 24282
93.61/85.58	o 24273
93.61/85.59	o 24263
93.71/85.63	o 24259
93.71/85.68	o 24240
93.81/85.71	o 24224
93.91/85.88	o 24223
94.22/86.18	o 24222
94.50/86.41	o 24206
94.50/86.42	o 24200
94.80/86.73	o 24193
94.80/86.74	o 24187
94.80/86.75	o 24181
94.80/86.75	o 24177
94.80/86.75	o 24172
94.80/86.75	o 24171
95.00/86.95	o 24159
95.00/86.96	o 24157
95.00/86.97	o 24153
95.00/86.98	o 24148
95.00/87.00	o 24127
95.00/87.00	o 24125
95.12/87.10	o 24121
95.22/87.11	o 24120
95.91/87.81	o 24117
95.91/87.85	o 24103
95.91/87.86	o 24101
96.12/88.05	o 24100
96.12/88.05	o 24099
96.12/88.06	o 24092
96.12/88.09	o 24086
101.91/93.82	o 24083
101.91/93.82	o 24081
101.91/93.83	o 24080
101.91/93.83	o 24078
102.12/94.02	o 24076
102.22/94.18	o 24070
102.22/94.18	o 24063
102.22/94.18	o 24059
102.22/94.18	o 24055
102.22/94.18	o 24053
102.22/94.18	o 24044
102.22/94.18	o 24040
102.22/94.19	o 24037
102.22/94.19	o 24032
102.22/94.19	o 24016
102.31/94.20	o 24015
102.31/94.20	o 24014
102.31/94.20	o 24012
102.31/94.20	o 24009
102.31/94.20	o 23993
102.31/94.21	o 23988
102.31/94.21	o 23975
103.22/95.18	o 23964
103.31/95.27	o 23961
103.31/95.27	o 23960
103.31/95.29	o 23936
103.61/95.54	o 23900
103.61/95.54	o 23881
103.61/95.54	o 23853
103.61/95.55	o 23844
103.61/95.55	o 23842
103.61/95.56	o 23840
103.61/95.56	o 23827
103.61/95.56	o 23781
103.61/95.57	o 23772
103.61/95.57	o 23770
103.61/95.58	o 23767
103.61/95.58	o 23756
103.61/95.58	o 23748
103.61/95.58	o 23746
103.61/95.58	o 23742
103.61/95.58	o 23740
103.61/95.59	o 23738
103.61/95.59	o 23728
104.01/95.91	o 23723
104.01/95.91	o 23722
104.01/95.92	o 23711
104.12/96.07	o 23697
105.22/97.17	o 23683
105.22/97.18	o 23681
105.22/97.18	o 23666
105.22/97.18	o 23662
105.31/97.24	o 23653
105.31/97.25	o 23634
105.31/97.27	o 23618
105.31/97.27	o 23608
105.31/97.29	o 23606
105.31/97.29	o 23605
105.41/97.30	o 23599
105.41/97.33	o 23590
105.41/97.34	o 23588
105.41/97.35	o 23585
105.41/97.38	o 23572
105.51/97.41	o 23568
105.51/97.49	o 23560
105.61/97.55	o 23558
105.91/97.88	o 23557
105.91/97.88	o 23543
105.91/97.88	o 23535
105.91/97.89	o 23533
106.23/98.15	o 23531
106.23/98.16	o 23522
106.23/98.16	o 23520
106.23/98.16	o 23514
106.42/98.37	o 23463
106.42/98.39	o 23457
106.52/98.41	o 23447
106.52/98.42	o 23393
106.52/98.44	o 23350
106.52/98.46	o 23349
106.52/98.46	o 23345
106.52/98.46	o 23334
107.22/99.16	o 23329
107.31/99.23	o 23324
107.31/99.23	o 23323
107.51/99.41	o 23316
107.51/99.41	o 23315
107.51/99.41	o 23275
107.51/99.41	o 23274
107.51/99.48	o 23254
107.51/99.48	o 23241
107.61/99.58	o 23236
107.61/99.58	o 23235
107.81/99.73	o 23232
107.81/99.74	o 23221
107.81/99.74	o 23204
107.81/99.75	o 23192
107.81/99.76	o 23187
107.81/99.76	o 23177
107.81/99.77	o 23151
107.91/99.85	o 23146
107.91/99.85	o 23145
108.92/100.88	o 23134
108.92/100.88	o 23133
110.22/102.20	o 23089
110.31/102.21	o 23078
110.31/102.21	o 23072
110.31/102.21	o 23054
110.31/102.21	o 23043
110.31/102.22	o 23031
110.31/102.23	o 23002
110.31/102.29	o 22975
110.41/102.34	o 22947
111.72/103.68	o 22945
111.72/103.68	o 22936
111.72/103.68	o 22934
111.72/103.68	o 22915
111.72/103.68	o 22906
111.72/103.68	o 22904
111.72/103.69	o 22897
111.72/103.69	o 22886
111.72/103.69	o 22876
111.72/103.69	o 22867
111.72/103.69	o 22865
111.82/103.70	o 22847
111.82/103.70	o 22838
111.82/103.70	o 22836
111.92/103.83	o 22830
111.92/103.83	o 22819
112.52/104.41	o 22809
112.92/104.89	o 22799
112.92/104.89	o 22736
112.92/104.89	o 22735
112.92/104.89	o 22727
112.92/104.89	o 22720
112.92/104.89	o 22709
113.02/104.92	o 22703
113.02/104.92	o 22701
113.02/104.92	o 22691
113.02/104.93	o 22687
113.02/104.93	o 22686
113.02/104.93	o 22677
113.02/104.93	o 22675
113.13/105.07	o 22665
113.24/105.16	o 22652
113.43/105.31	o 22647
113.43/105.32	o 22609
113.43/105.32	o 22603
113.43/105.32	o 22593
113.43/105.32	o 22591
113.43/105.32	o 22588
113.63/105.55	o 22587
113.63/105.58	o 22582
114.52/106.49	o 22580
114.52/106.49	o 22576
114.62/106.50	o 22571
114.62/106.50	o 22569
114.62/106.50	o 22560
114.62/106.50	o 22556
114.62/106.50	o 22551
114.62/106.50	o 22549
114.62/106.50	o 22540
114.62/106.58	o 22533
114.62/106.59	o 22530
114.62/106.59	o 22521
114.72/106.61	o 22507
114.72/106.62	o 22491
114.72/106.68	o 22484
114.72/106.69	o 22468
114.82/106.70	o 22461
114.82/106.70	o 22452
115.13/107.08	o 22448
115.13/107.08	o 22411
115.13/107.09	o 22409
115.13/107.09	o 22408
115.32/107.27	o 22407
115.32/107.27	o 22402
115.73/107.64	o 22328
115.73/107.65	o 22311
115.73/107.68	o 22307
116.03/107.90	o 22303
116.03/107.93	o 22290
116.03/107.93	o 22286
116.03/107.96	o 22268
116.03/107.96	o 22264
116.03/107.99	o 22229
116.03/107.99	o 22225
116.19/108.02	o 22220
116.19/108.02	o 22214
116.48/108.31	o 22209
116.58/108.40	o 22201
116.58/108.40	o 22200
116.58/108.41	o 22199
116.58/108.41	o 22198
116.58/108.41	o 22192
116.58/108.41	o 22191
116.68/108.58	o 22180
116.68/108.58	o 22162
116.98/108.83	o 22069
116.98/108.83	o 22060
116.98/108.83	o 22051
116.98/108.87	o 22050
116.98/108.89	o 22045
116.98/108.89	o 22043
116.98/108.89	o 22040
117.58/109.45	o 22037
117.58/109.45	o 22034
118.08/109.97	o 22029
118.08/109.97	o 22026
118.08/109.97	o 22005
118.19/110.08	o 22004
118.19/110.08	o 22003
118.19/110.08	o 22000
118.69/110.57	o 21995
119.89/111.78	o 21989
119.89/111.79	o 21988
119.89/111.79	o 21971
119.89/111.79	o 21954
119.89/111.79	o 21937
119.89/111.79	o 21933
119.89/111.80	o 21931
119.89/111.80	o 21914
119.99/111.80	o 21901
119.99/111.80	o 21897
119.99/111.81	o 21884
119.99/111.81	o 21881
119.99/111.81	o 21877
119.99/111.88	o 21860
120.30/112.16	o 21853
120.59/112.49	o 21834
120.59/112.49	o 21810
120.69/112.53	o 21805
126.90/118.73	o 21792
126.90/118.73	o 21785
126.90/118.73	o 21784
126.90/118.73	o 21777
127.21/119.01	o 21773
127.21/119.09	o 21748
127.21/119.09	o 21731
127.21/119.09	o 21721
127.21/119.09	o 21720
127.21/119.09	o 21715
127.21/119.09	o 21698
127.31/119.11	o 21685
127.31/119.11	o 21677
127.31/119.14	o 21665
127.31/119.15	o 21661
127.31/119.15	o 21653
127.31/119.15	o 21640
127.31/119.15	o 21632
127.31/119.18	o 21623
127.31/119.18	o 21618
129.21/121.03	o 21534
129.21/121.06	o 21527
129.21/121.06	o 21522
129.21/121.06	o 21516
129.21/121.06	o 21500
129.81/121.65	o 21498
130.41/122.24	o 21497
130.41/122.24	o 21495
130.41/122.24	o 21491
130.51/122.37	o 21490
130.51/122.37	o 21480
130.51/122.38	o 21477
130.51/122.38	o 21469
130.51/122.39	o 21458
130.51/122.39	o 21453
130.61/122.40	o 21449
131.91/123.79	o 21446
132.22/124.08	o 21440
132.22/124.08	o 21438
132.22/124.08	o 21435
132.61/124.49	o 21420
132.61/124.50	o 21416
132.71/124.50	o 21390
132.71/124.51	o 21386
132.71/124.54	o 21359
132.71/124.55	o 21355
133.32/125.16	o 21345
133.51/125.33	o 21341
134.11/125.95	o 21338
135.11/126.97	o 21304
135.11/126.97	o 21268
135.11/126.97	o 21238
135.11/126.98	o 21223
135.11/126.98	o 21219
135.11/127.00	o 21197
135.22/127.01	o 21186
135.51/127.34	o 21181
135.51/127.34	o 21177
135.51/127.36	o 21173
135.51/127.36	o 21170
136.71/128.50	o 21159
136.71/128.51	o 21157
136.71/128.51	o 21152
136.71/128.51	o 21118
136.71/128.54	o 21073
136.71/128.57	o 21061
136.71/128.58	o 21050
136.71/128.58	o 21027
136.81/128.63	o 21024
139.01/130.85	o 21008
139.11/130.94	o 21004
139.51/131.35	o 20984
139.61/131.49	o 20970
139.61/131.49	o 20940
139.61/131.49	o 20936
139.71/131.50	o 20933
139.71/131.51	o 20930
139.71/131.52	o 20926
139.71/131.52	o 20903
140.01/131.84	o 20900
140.32/132.17	o 20895
140.42/132.23	o 20875
140.42/132.30	o 20869
140.82/132.69	o 20863
141.02/132.88	o 20856
141.02/132.88	o 20850
141.02/132.88	o 20822
141.02/132.88	o 20816
141.12/132.96	o 20798
141.12/132.96	o 20759
141.12/132.96	o 20727
141.12/132.96	o 20687
141.12/132.96	o 20670
141.12/132.97	o 20664
141.23/133.07	o 20662
141.23/133.07	o 20660
141.23/133.07	o 20642
141.23/133.10	o 20641
141.33/133.14	o 20633
141.33/133.17	o 20632
141.33/133.17	o 20628
141.33/133.18	o 20623
141.52/133.36	o 20619
141.52/133.39	o 20618
141.52/133.39	o 20612
141.62/133.42	o 20611
141.62/133.42	o 20591
141.92/133.78	o 20574
141.92/133.78	o 20566
141.92/133.78	o 20534
141.92/133.78	o 20529
141.92/133.78	o 20518
141.92/133.78	o 20513
142.02/133.81	o 20508
142.12/133.95	o 20504
142.72/134.56	o 20502
142.72/134.57	o 20498
142.72/134.57	o 20493
142.72/134.57	o 20488
145.52/137.34	o 20485
145.52/137.34	o 20434
145.52/137.35	o 20432
145.52/137.35	o 20419
145.52/137.35	o 20409
145.62/137.49	o 20405
145.92/137.73	o 20403
146.02/137.84	o 20400
146.33/138.14	o 20387
146.33/138.14	o 20379
146.33/138.14	o 20361
146.33/138.14	o 20353
146.92/138.76	o 20344
146.92/138.76	o 20318
146.92/138.76	o 20304
147.02/138.81	o 20298
147.02/138.82	o 20297
147.02/138.82	o 20296
147.02/138.82	o 20290
147.12/138.91	o 20286
147.12/138.91	o 20280
147.12/138.94	o 20279
147.12/138.94	o 20274
149.82/141.62	o 20269
149.82/141.64	o 20261
149.82/141.64	o 20255
149.82/141.69	o 20251
149.82/141.69	o 20245
149.92/141.72	o 20230
149.92/141.72	o 20224
149.92/141.73	o 20223
149.92/141.73	o 20217
149.92/141.77	o 20212
149.92/141.77	o 20206
149.92/141.79	o 20205
149.92/141.79	o 20199
149.92/141.79	o 20198
149.92/141.79	o 20192
150.12/141.90	o 20190
150.12/141.90	o 20184
150.12/141.93	o 20181
150.12/141.95	o 20169
151.92/143.71	o 20149
151.92/143.72	o 20148
151.92/143.72	o 20143
151.92/143.74	o 20140
151.92/143.75	o 20139
151.92/143.75	o 20138
151.92/143.75	o 20133
151.92/143.76	o 20132
151.92/143.76	o 20126
151.92/143.78	o 20121
151.92/143.79	o 20120
151.92/143.79	o 20115
152.12/143.99	o 20113
152.62/144.41	o 20112
152.62/144.43	o 20107
152.62/144.43	o 20106
152.62/144.43	o 20101
152.62/144.47	o 20100
152.62/144.47	o 20094
155.63/147.41	o 20087
155.63/147.42	o 20038
155.63/147.44	o 20005
155.63/147.44	o 20001
155.93/147.73	o 20000
157.73/149.51	o 19988
159.63/151.40	o 19983
159.63/151.43	o 19978
159.63/151.43	o 19971
159.63/151.44	o 19967
159.63/151.44	o 19965
159.63/151.44	o 19956
159.63/151.44	o 19949
159.63/151.44	o 19922
159.63/151.44	o 19915
159.63/151.46	o 19900
159.63/151.48	o 19897
159.63/151.48	o 19892
159.63/151.48	o 19874
163.24/155.02	o 19856
163.24/155.03	o 19843
163.24/155.03	o 19813
163.24/155.03	o 19781
163.24/155.09	o 19777
163.53/155.34	o 19775
163.53/155.36	o 19767
163.53/155.36	o 19762
163.53/155.39	o 19760
163.53/155.39	o 19758
163.53/155.39	o 19757
163.64/155.40	o 19755
163.74/155.53	o 19753
163.74/155.54	o 19751
163.94/155.73	o 19742
163.94/155.75	o 19736
163.94/155.75	o 19721
163.94/155.78	o 19705
163.94/155.78	o 19704
164.64/156.45	o 19683
164.74/156.50	o 19680
164.74/156.51	o 19678
164.74/156.51	o 19676
164.74/156.51	o 19620
164.74/156.54	o 19590
164.74/156.56	o 19551
164.74/156.57	o 19541
164.74/156.58	o 19536
164.74/156.59	o 19532
164.74/156.59	o 19509
164.84/156.62	o 19502
164.84/156.62	o 19497
164.84/156.66	o 19495
164.84/156.66	o 19493
165.25/157.04	o 19491
165.25/157.04	o 19475
165.35/157.18	o 19464
165.44/157.21	o 19447
166.64/158.45	o 19435
166.64/158.45	o 19433
166.64/158.46	o 19431
166.64/158.46	o 19415
167.84/159.65	o 19401
167.84/159.66	o 19398
167.84/159.66	o 19383
167.84/159.66	o 19381
167.84/159.67	o 19364
167.84/159.70	o 19352
167.94/159.73	o 19299
167.94/159.77	o 19173
168.04/159.81	o 19172
168.04/159.81	o 19167
168.04/159.85	o 19148
168.04/159.85	o 19147
168.04/159.85	o 19142
168.04/159.87	o 19093
168.04/159.87	o 19092
168.04/159.87	o 19087
168.04/159.88	o 19083
168.04/159.89	o 19082
168.04/159.89	o 19065
168.04/159.89	o 19064
168.04/159.89	o 19059
168.14/159.97	o 18974
168.14/159.97	o 18971
168.14/159.97	o 18967
168.14/159.99	o 18965
168.14/159.99	o 18961
177.65/169.48	o 18954
177.75/169.57	o 18927
179.55/171.40	o 18920
179.65/171.42	o 18919
182.42/174.18	o 18916
182.42/174.19	o 18900
182.42/174.19	o 18885
182.42/174.19	o 18861
182.42/174.20	o 18855
182.51/174.21	o 18849
182.71/174.43	o 18842
182.71/174.43	o 18832
182.71/174.49	o 18825
183.32/175.04	o 18818
184.91/176.63	o 18816
185.01/176.78	o 18808
185.42/177.20	o 18807
185.42/177.20	o 18799
186.11/177.81	o 18780
186.11/177.82	o 18769
186.11/177.82	o 18750
186.11/177.83	o 18737
186.11/177.83	o 18708
186.11/177.84	o 18704
186.11/177.90	o 18686
186.21/177.90	o 18683
186.21/177.90	o 18672
186.21/177.90	o 18669
186.21/177.90	o 18666
186.21/177.90	o 18663
186.21/177.90	o 18649
186.42/178.19	o 18634
186.42/178.19	o 18623
186.51/178.22	o 18620
186.51/178.22	o 18614
186.71/178.40	o 18598
186.71/178.40	o 18596
186.71/178.42	o 18590
186.71/178.42	o 18578
186.71/178.43	o 18558
186.71/178.43	o 18546
186.71/178.45	o 18543
186.81/178.54	o 18538
186.81/178.54	o 18536
186.81/178.54	o 18535
186.81/178.54	o 18533
186.81/178.54	o 18523
186.81/178.54	o 18522
186.81/178.57	o 18508
186.91/178.66	o 18504
186.91/178.66	o 18500
186.91/178.66	o 18498
186.91/178.66	o 18492
186.91/178.66	o 18489
187.01/178.75	o 18483
187.01/178.76	o 18468
187.21/178.93	o 18464
187.21/178.93	o 18463
187.21/178.96	o 18447
187.21/178.96	o 18446
187.71/179.43	o 18442
187.71/179.44	o 18424
188.01/179.71	o 18421
188.01/179.71	o 18415
188.01/179.71	o 18402
188.11/179.83	o 18398
189.32/181.07	o 18397
252.04/243.70	s SATISFIABLE
252.04/243.70	v <instantiation>
252.04/243.70	v 	<list>
252.04/243.70	v 		c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124] c[125] c[126] c[127] c[128] c[129] c[130] c[131] c[132] c[133] c[134] c[135] c[136] c[137] c[138] c[139] c[140] c[141] c[142] c[143] c[144] c[145] c[146] c[147] c[148] c[149] c[150] c[151] c[152] c[153] c[154] c[155] c[156] c[157] c[158] c[159] c[160] c[161] c[162] c[163] c[164] c[165] c[166] c[167] c[168] c[169] c[170] c[171] c[172] c[173] c[174] c[175] c[176] c[177] c[178] c[179] c[180] c[181] c[182] c[183] c[184] c[185] c[186] c[187] c[188] c[189] c[190] c[191] c[192] c[193] c[194] c[195] c[196] c[197] c[198] c[199] c[200] c[201] c[202] c[203] c[204] c[205] c[206] c[207] c[208] c[209] c[210] c[211] c[212] c[213] c[214] c[215] c[216] c[217] c[218] c[219] c[220] c[221] c[222] c[223] c[224] c[225] c[226] c[227] c[228] c[229] c[230] c[231] c[232] c[233] c[234] c[235] c[236] c[237] c[238] c[239] c[240] c[241] c[242] c[243] c[244] c[245] c[246] c[247] c[248] c[249]
252.04/243.70	v 	</list>
252.04/243.70	v 	<values>
252.04/243.70	v 		99 101 233 21 27 50 216 27 20 30 47 12 106 17 88 37 38 11 52 12 149 214 108 61 16 18 150 169 12 249 39 143 28 57 13 66 36 133 14 62 46 132 103 15 67 8 9 70 47 2 4 14 21 149 11 62 111 3 17 23 2 42 40 51 196 54 202 51 28 14 112 0 34 24 223 119 42 31 37 215 3 80 56 18 87 1 16 15 178 68 83 200 55 17 192 86 90 4 188 128 67 32 118 82 43 198 22 49 135 71 89 1 246 131 3 58 53 41 29 28 38 54 5 92 151 100 25 0 0 33 18 200 53 56 221 14 123 183 6 138 84 5 102 74 72 82 152 77 25 120 49 4 31 201 31 104 96 30 50 197 8 174 61 36 9 29 173 45 39 10 148 244 10 93 95 4 48 146 125 210 40 22 73 34 35 1 140 40 219 48 44 63 101 16 15 147 3 1 59 213 26 227 42 35 193 157 185 7 11 225 41 75 65 24 7 26 212 30 20 45 43 19 21 23 137 208 6 156 75 50 172 13 243 170 206 32 39 46 33 2 182 20 19 44 5 8 29 134 6 13 
252.04/243.70	v 	</values>
252.04/243.70	v </instantiation>

Verifier Data 

OK	18397

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310116-1534330053/watcher-4310116-1534330053 -o /tmp/evaluation-result-4310116-1534330053/solver-4310116-1534330053 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534329313-21853 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1043218454 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310116-1534330053.xml 

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

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


[startup+0.100117 s]*
/proc/loadavg: 1.68 1.69 1.53 3/215 22315
/proc/meminfo: memFree=21717548/32770624 swapFree=67105356/67108860
[pid=22300] ppid=22297 vsize=14082736 memory=30448 CPUtime=0.11 cores=0,2,4,6
/proc/22300/stat : 22300 (java) S 22297 22300 21822 0 -1 1077944320 6555 0 0 0 10 1 0 0 20 0 15 0 250568527 14420721664 7612 33554432000 4194304 4196468 140724680040448 140724680022992 140281367973623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
/proc/22300/statm: 3520684 7612 3155 1 0 3482761 0
[pid=22300/tid=22302] ppid=22297 vsize=14082736 memory=-8773748148829852031 CPUtime=0.09 cores=0,2,4,6
/proc/22300/task/22302/stat : 22302 (java) R 22297 22300 21822 0 -1 4202560 4578 0 0 0 8 1 0 0 20 0 15 0 250568528 14420721664 7612 33554432000 4194304 4196468 140724680040448 140281372213376 140281367995549 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22303] ppid=22297 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22303/stat : 22303 (java) S 22297 22300 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250568528 14420721664 7612 33554432000 4194304 4196468 140724680040448 140280963525264 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22304] ppid=22297 vsize=14082736 memory=140047743800960 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22304/stat : 22304 (java) S 22297 22300 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250568528 14420721664 7612 33554432000 4194304 4196468 140724680040448 140280962472464 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22305] ppid=22297 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22305/stat : 22305 (java) S 22297 22300 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250568528 14420721664 7612 33554432000 4194304 4196468 140724680040448 140280961419664 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22306] ppid=22297 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22306/stat : 22306 (java) S 22297 22300 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250568528 14420721664 7612 33554432000 4194304 4196468 140724680040448 140280960366864 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22307] ppid=22297 vsize=14082736 memory=140047743800960 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22307/stat : 22307 (java) S 22297 22300 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250568530 14420721664 7612 33554432000 4194304 4196468 140724680040448 140280708156272 140281367984770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22308] ppid=22297 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22308/stat : 22308 (java) S 22297 22300 21822 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250568530 14420721664 7612 33554432000 4194304 4196468 140724680040448 140280707102240 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22309] ppid=22297 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22309/stat : 22309 (java) S 22297 22300 21822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250568530 14420721664 7612 33554432000 4194304 4196468 140724680040448 140280706049392 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22310] ppid=22297 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22310/stat : 22310 (java) S 22297 22300 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250568533 14420721664 7612 33554432000 4194304 4196468 140724680040448 140280704997712 140281367992219 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22311] ppid=22297 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22311/stat : 22311 (java) S 22297 22300 21822 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 250568533 14420721664 7612 33554432000 4194304 4196468 140724680040448 140280703945072 140281367984770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22312] ppid=22297 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22312/stat : 22312 (java) S 22297 22300 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250568533 14420721664 7677 33554432000 4194304 4196468 140724680040448 140280702892272 140281367984770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22313] ppid=22297 vsize=14082736 memory=140047743800960 CPUtime=0.01 cores=0,2,4,6
/proc/22300/task/22313/stat : 22313 (java) S 22297 22300 21822 0 -1 1077944384 289 0 0 0 1 0 0 0 20 0 15 0 250568533 14420721664 7677 33554432000 4194304 4196468 140724680040448 140280701839472 140281367984770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22314] ppid=22297 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22314/stat : 22314 (java) S 22297 22300 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250568533 14420721664 7677 33554432000 4194304 4196468 140724680040448 140280700786912 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22315] ppid=22297 vsize=14082736 memory=140047743800960 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22315/stat : 22315 (java) S 22297 22300 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250568533 14420721664 7677 33554432000 4194304 4196468 140724680040448 140280699735216 140281367984770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 30448 KiB

[startup+0.21817 s]*
/proc/loadavg: 1.68 1.69 1.53 5/215 22315
/proc/meminfo: memFree=21702120/32770624 swapFree=67105356/67108860
[pid=22300] ppid=22297 vsize=14082736 memory=47340 CPUtime=0.32 cores=0,2,4,6
/proc/22300/stat : 22300 (java) S 22297 22300 21822 0 -1 1077944320 10401 0 0 0 29 3 0 0 20 0 15 0 250568527 14420721664 11835 33554432000 4194304 4196468 140724680040448 140724680022992 140281367973623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
/proc/22300/statm: 3520684 11835 3414 1 0 3482761 0
[pid=22300/tid=22302] ppid=22297 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/22300/task/22302/stat : 22302 (java) S 22297 22300 21822 0 -1 1077944384 8055 0 0 0 18 2 0 0 20 0 15 0 250568528 14420721664 11835 33554432000 4194304 4196468 140724680040448 140281372199952 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22303] ppid=22297 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22303/stat : 22303 (java) S 22297 22300 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250568528 14420721664 11835 33554432000 4194304 4196468 140724680040448 140280963525264 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22304] ppid=22297 vsize=14082736 memory=288370423895512704 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22304/stat : 22304 (java) S 22297 22300 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250568528 14420721664 11835 33554432000 4194304 4196468 140724680040448 140280962472464 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22305] ppid=22297 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22305/stat : 22305 (java) S 22297 22300 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250568528 14420721664 11835 33554432000 4194304 4196468 140724680040448 140280961419664 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22306] ppid=22297 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22306/stat : 22306 (java) S 22297 22300 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250568528 14420721664 11835 33554432000 4194304 4196468 140724680040448 140280960366864 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22307] ppid=22297 vsize=14082736 memory=140047743800960 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22307/stat : 22307 (java) S 22297 22300 21822 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250568530 14420721664 11835 33554432000 4194304 4196468 140724680040448 140280708156272 140281367984770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22308] ppid=22297 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22308/stat : 22308 (java) S 22297 22300 21822 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250568530 14420721664 11835 33554432000 4194304 4196468 140724680040448 140280707102240 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22309] ppid=22297 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22309/stat : 22309 (java) S 22297 22300 21822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250568530 14420721664 11835 33554432000 4194304 4196468 140724680040448 140280706049392 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22310] ppid=22297 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22310/stat : 22310 (java) S 22297 22300 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250568533 14420721664 11835 33554432000 4194304 4196468 140724680040448 140280704997712 140281367992219 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22311] ppid=22297 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22300/task/22311/stat : 22311 (java) S 22297 22300 21822 0 -1 1077944384 462 0 0 0 2 0 0 0 20 0 15 0 250568533 14420721664 11835 33554432000 4194304 4196468 140724680040448 140280703945072 140281367984770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22312] ppid=22297 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/22300/task/22312/stat : 22312 (java) S 22297 22300 21822 0 -1 1077944384 151 0 0 0 1 0 0 0 20 0 15 0 250568533 14420721664 11835 33554432000 4194304 4196468 140724680040448 140280702892272 140281367984770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22313] ppid=22297 vsize=14082736 memory=140047743800960 CPUtime=0.06 cores=0,2,4,6
/proc/22300/task/22313/stat : 22313 (java) R 22297 22300 21822 0 -1 4202560 351 0 0 0 6 0 0 0 20 0 15 0 250568533 14420721664 11835 33554432000 4194304 4196468 140724680040448 140280701839472 140281367985558 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22314] ppid=22297 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22314/stat : 22314 (java) S 22297 22300 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250568533 14420721664 11835 33554432000 4194304 4196468 140724680040448 140280700786912 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22315] ppid=22297 vsize=14082736 memory=140047743800960 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22315/stat : 22315 (java) S 22297 22300 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250568533 14420721664 11835 33554432000 4194304 4196468 140724680040448 140280699735216 140281367984770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47340 KiB

[startup+0.310325 s]*
/proc/loadavg: 1.68 1.69 1.53 3/215 22315
/proc/meminfo: memFree=21698624/32770624 swapFree=67105356/67108860
[pid=22300] ppid=22297 vsize=14082736 memory=50616 CPUtime=0.44 cores=0,2,4,6
/proc/22300/stat : 22300 (java) S 22297 22300 21822 0 -1 1077944320 10781 0 0 0 41 3 0 0 20 0 15 0 250568527 14420721664 12654 33554432000 4194304 4196468 140724680040448 140724680022992 140281367973623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
/proc/22300/statm: 3520684 12654 3417 1 0 3482761 0
[pid=22300/tid=22302] ppid=22297 vsize=14082736 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/22300/task/22302/stat : 22302 (java) R 22297 22300 21822 0 -1 4202560 8398 0 0 0 27 2 0 0 20 0 15 0 250568528 14420721664 12654 33554432000 4194304 4196468 140724680040448 140281372191536 140281348248663 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22303] ppid=22297 vsize=14082736 memory=288230613314699287 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22303/stat : 22303 (java) S 22297 22300 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250568528 14420721664 12654 33554432000 4194304 4196468 140724680040448 140280963525264 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22304] ppid=22297 vsize=14082736 memory=288370423895512704 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22304/stat : 22304 (java) S 22297 22300 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250568528 14420721664 12654 33554432000 4194304 4196468 140724680040448 140280962472464 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22305] ppid=22297 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22305/stat : 22305 (java) S 22297 22300 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250568528 14420721664 12654 33554432000 4194304 4196468 140724680040448 140280961419664 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22306] ppid=22297 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22306/stat : 22306 (java) S 22297 22300 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250568528 14420721664 12654 33554432000 4194304 4196468 140724680040448 140280960366864 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22307] ppid=22297 vsize=14082736 memory=140047743800960 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22307/stat : 22307 (java) S 22297 22300 21822 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250568530 14420721664 12654 33554432000 4194304 4196468 140724680040448 140280708156272 140281367984770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22308] ppid=22297 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22308/stat : 22308 (java) S 22297 22300 21822 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250568530 14420721664 12654 33554432000 4194304 4196468 140724680040448 140280707102240 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22309] ppid=22297 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22309/stat : 22309 (java) S 22297 22300 21822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250568530 14420721664 12654 33554432000 4194304 4196468 140724680040448 140280706049392 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22310] ppid=22297 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22310/stat : 22310 (java) S 22297 22300 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250568533 14420721664 12654 33554432000 4194304 4196468 140724680040448 140280704997712 140281367992219 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22311] ppid=22297 vsize=14082736 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/22300/task/22311/stat : 22311 (java) S 22297 22300 21822 0 -1 1077944384 482 0 0 0 3 0 0 0 20 0 15 0 250568533 14420721664 12654 33554432000 4194304 4196468 140724680040448 140280703945072 140281367984770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22312] ppid=22297 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/22300/task/22312/stat : 22312 (java) S 22297 22300 21822 0 -1 1077944384 151 0 0 0 1 0 0 0 20 0 15 0 250568533 14420721664 12654 33554432000 4194304 4196468 140724680040448 140280702892272 140281367984770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22313] ppid=22297 vsize=14082736 memory=140047743800960 CPUtime=0.08 cores=0,2,4,6
/proc/22300/task/22313/stat : 22313 (java) S 22297 22300 21822 0 -1 1077944384 368 0 0 0 8 0 0 0 20 0 15 0 250568533 14420721664 12654 33554432000 4194304 4196468 140724680040448 140280701839472 140281367984770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22314] ppid=22297 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22314/stat : 22314 (java) S 22297 22300 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250568533 14420721664 12654 33554432000 4194304 4196468 140724680040448 140280700786912 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22315] ppid=22297 vsize=14082736 memory=140047743800960 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22315/stat : 22315 (java) S 22297 22300 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250568533 14420721664 12654 33554432000 4194304 4196468 140724680040448 140280699735216 140281367984770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50616 KiB

[startup+0.700749 s]
/proc/loadavg: 1.68 1.69 1.53 3/215 22315
/proc/meminfo: memFree=21674564/32770624 swapFree=67105356/67108860
[pid=22300] ppid=22297 vsize=14084804 memory=88696 CPUtime=0.98 cores=0,2,4,6
/proc/22300/stat : 22300 (java) S 22297 22300 21822 0 -1 1077944320 17630 0 0 0 93 5 0 0 20 0 15 0 250568527 14422839296 22174 33554432000 4194304 4196468 140724680040448 140724680022992 140281367973623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
/proc/22300/statm: 3521201 22174 3499 1 0 3483273 0
[pid=22300/tid=22302] ppid=22297 vsize=14084804 memory=1752 CPUtime=0.67 cores=0,2,4,6
/proc/22300/task/22302/stat : 22302 (java) R 22297 22300 21822 0 -1 4202560 14855 0 0 0 63 4 0 0 20 0 15 0 250568528 14422839296 22174 33554432000 4194304 4196468 140724680040448 140281372197728 140281353140928 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22303] ppid=22297 vsize=14084804 memory=856 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22303/stat : 22303 (java) S 22297 22300 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250568528 14422839296 22174 33554432000 4194304 4196468 140724680040448 140280963525264 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22304] ppid=22297 vsize=14084804 memory=12468 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22304/stat : 22304 (java) S 22297 22300 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250568528 14422839296 22174 33554432000 4194304 4196468 140724680040448 140280962472464 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22305] ppid=22297 vsize=14084804 memory=752 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22305/stat : 22305 (java) S 22297 22300 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250568528 14422839296 22174 33554432000 4194304 4196468 140724680040448 140280961419664 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22306] ppid=22297 vsize=14084804 memory=1612 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22306/stat : 22306 (java) S 22297 22300 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250568528 14422839296 22174 33554432000 4194304 4196468 140724680040448 140280960366864 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22307] ppid=22297 vsize=14084804 memory=1812 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22307/stat : 22307 (java) S 22297 22300 21822 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250568530 14422839296 22174 33554432000 4194304 4196468 140724680040448 140280708156272 140281367984770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22308] ppid=22297 vsize=14084804 memory=1064 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22308/stat : 22308 (java) S 22297 22300 21822 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250568530 14422839296 22174 33554432000 4194304 4196468 140724680040448 140280707102240 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22309] ppid=22297 vsize=14084804 memory=6404 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22309/stat : 22309 (java) S 22297 22300 21822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250568530 14422839296 22174 33554432000 4194304 4196468 140724680040448 140280706049392 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22310] ppid=22297 vsize=14084804 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22310/stat : 22310 (java) S 22297 22300 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250568533 14422839296 22174 33554432000 4194304 4196468 140724680040448 140280704997712 140281367992219 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22311] ppid=22297 vsize=14084804 memory=7525326301224851042 CPUtime=0.08 cores=0,2,4,6
/proc/22300/task/22311/stat : 22311 (java) S 22297 22300 21822 0 -1 1077944384 646 0 0 0 8 0 0 0 20 0 15 0 250568533 14422839296 22174 33554432000 4194304 4196468 140724680040448 140280703945072 140281367984770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22312] ppid=22297 vsize=14084804 memory=5787213848606435153 CPUtime=0.06 cores=0,2,4,6
/proc/22300/task/22312/stat : 22312 (java) S 22297 22300 21822 0 -1 1077944384 290 0 0 0 6 0 0 0 20 0 15 0 250568533 14422839296 22174 33554432000 4194304 4196468 140724680040448 140280702892272 140281367984770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22313] ppid=22297 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/22300/task/22313/stat : 22313 (java) S 22297 22300 21822 0 -1 1077944384 457 0 0 0 15 0 0 0 20 0 15 0 250568533 14422839296 22174 33554432000 4194304 4196468 140724680040448 140280701839472 140281367984770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22314] ppid=22297 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22314/stat : 22314 (java) S 22297 22300 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250568533 14422839296 22174 33554432000 4194304 4196468 140724680040448 140280700786912 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22315] ppid=22297 vsize=14084804 memory=33 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22315/stat : 22315 (java) S 22297 22300 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250568533 14422839296 22174 33554432000 4194304 4196468 140724680040448 140280699735216 140281367984770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88696 KiB

[startup+1.51079 s]
/proc/loadavg: 1.70 1.70 1.53 5/215 22315
/proc/meminfo: memFree=21621876/32770624 swapFree=67105356/67108860
[pid=22300] ppid=22297 vsize=14086852 memory=234088 CPUtime=3.57 cores=0,2,4,6
/proc/22300/stat : 22300 (java) S 22297 22300 21822 0 -1 1077944320 24990 0 0 0 347 10 0 0 20 0 15 0 250568527 14424936448 58522 33554432000 4194304 4196468 140724680040448 140724680022992 140281367973623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
/proc/22300/statm: 3521713 58522 3574 1 0 3483785 0
[pid=22300/tid=22302] ppid=22297 vsize=14086852 memory=6791534058613427641 CPUtime=1.45 cores=0,2,4,6
/proc/22300/task/22302/stat : 22302 (java) R 22297 22300 21822 0 -1 4202560 16486 0 0 0 140 5 0 0 20 0 15 0 250568528 14424936448 58522 33554432000 4194304 4196468 140724680040448 140281372206224 140280965161895 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22303] ppid=22297 vsize=14086852 memory=-8253362762724047225 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22303/stat : 22303 (java) S 22297 22300 21822 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 250568528 14424936448 58522 33554432000 4194304 4196468 140724680040448 140280963525264 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22304] ppid=22297 vsize=14086852 memory=-8609294068986781045 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22304/stat : 22304 (java) S 22297 22300 21822 0 -1 1077944384 381 0 0 0 0 0 0 0 20 0 15 0 250568528 14424936448 58522 33554432000 4194304 4196468 140724680040448 140280962472464 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22305] ppid=22297 vsize=14086852 memory=-6517102902069810590 CPUtime=0.01 cores=0,2,4,6
/proc/22300/task/22305/stat : 22305 (java) S 22297 22300 21822 0 -1 1077944384 285 0 0 0 1 0 0 0 20 0 15 0 250568528 14424936448 58522 33554432000 4194304 4196468 140724680040448 140280961419664 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22306] ppid=22297 vsize=14086852 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22306/stat : 22306 (java) S 22297 22300 21822 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 15 0 250568528 14424936448 58522 33554432000 4194304 4196468 140724680040448 140280960366864 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22307] ppid=22297 vsize=14086852 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22307/stat : 22307 (java) S 22297 22300 21822 0 -1 1077944384 219 0 0 0 0 0 0 0 20 0 15 0 250568530 14424936448 58522 33554432000 4194304 4196468 140724680040448 140280708156272 140281367984770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0

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

/proc/22300/task/22302/stat : 22302 (java) R 22297 22300 21822 0 -1 4202560 32573 0 0 0 16158 33 0 0 20 0 15 0 250568528 14429130752 601798 33554432000 4194304 4196468 140724680040448 140281372203328 140280974907837 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22303] ppid=22297 vsize=14090948 memory=2407192 CPUtime=0.29 cores=0,2,4,6
/proc/22300/task/22303/stat : 22303 (java) S 22297 22300 21822 0 -1 1077944384 1643 0 0 0 18 11 0 0 20 0 15 0 250568528 14429130752 601798 33554432000 4194304 4196468 140724680040448 140280963525264 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22304] ppid=22297 vsize=14090948 memory=2407192 CPUtime=0.29 cores=0,2,4,6
/proc/22300/task/22304/stat : 22304 (java) S 22297 22300 21822 0 -1 1077944384 1467 0 0 0 18 11 0 0 20 0 15 0 250568528 14429130752 601798 33554432000 4194304 4196468 140724680040448 140280962472464 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22305] ppid=22297 vsize=14090948 memory=2407192 CPUtime=0.3 cores=0,2,4,6
/proc/22300/task/22305/stat : 22305 (java) S 22297 22300 21822 0 -1 1077944384 2282 0 0 0 20 10 0 0 20 0 15 0 250568528 14429130752 601798 33554432000 4194304 4196468 140724680040448 140280961419664 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22306] ppid=22297 vsize=14090948 memory=2407192 CPUtime=0.3 cores=0,2,4,6
/proc/22300/task/22306/stat : 22306 (java) S 22297 22300 21822 0 -1 1077944384 1726 0 0 0 19 11 0 0 20 0 15 0 250568528 14429130752 601798 33554432000 4194304 4196468 140724680040448 140280960366864 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22307] ppid=22297 vsize=14090948 memory=2407192 CPUtime=0.02 cores=0,2,4,6
/proc/22300/task/22307/stat : 22307 (java) S 22297 22300 21822 0 -1 1077944384 1961 0 0 0 2 0 0 0 20 0 15 0 250568530 14429130752 601798 33554432000 4194304 4196468 140724680040448 140280708156272 140281367984770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22308] ppid=22297 vsize=14090948 memory=2407192 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22308/stat : 22308 (java) S 22297 22300 21822 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 250568530 14429130752 601798 33554432000 4194304 4196468 140724680040448 140280707102304 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22309] ppid=22297 vsize=14090948 memory=2407192 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22309/stat : 22309 (java) S 22297 22300 21822 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 250568530 14429130752 601798 33554432000 4194304 4196468 140724680040448 140280706049408 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22310] ppid=22297 vsize=14090948 memory=2407192 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22310/stat : 22310 (java) S 22297 22300 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250568533 14429130752 601798 33554432000 4194304 4196468 140724680040448 140280704997712 140281367992219 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22311] ppid=22297 vsize=14090948 memory=2407192 CPUtime=3.07 cores=0,2,4,6
/proc/22300/task/22311/stat : 22311 (java) S 22297 22300 21822 0 -1 1077944384 8426 0 0 0 306 1 0 0 20 0 15 0 250568533 14429130752 601798 33554432000 4194304 4196468 140724680040448 140280703945072 140281367984770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22312] ppid=22297 vsize=14090948 memory=0 CPUtime=3.18 cores=0,2,4,6
/proc/22300/task/22312/stat : 22312 (java) S 22297 22300 21822 0 -1 1077944384 9083 0 0 0 316 2 0 0 20 0 15 0 250568533 14429130752 601798 33554432000 4194304 4196468 140724680040448 140280702892272 140281367984770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22313] ppid=22297 vsize=14090948 memory=2407192 CPUtime=1 cores=0,2,4,6
/proc/22300/task/22313/stat : 22313 (java) S 22297 22300 21822 0 -1 1077944384 9637 0 0 0 98 2 0 0 20 0 15 0 250568533 14429130752 601798 33554432000 4194304 4196468 140724680040448 140280701839472 140281367984770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22314] ppid=22297 vsize=14090948 memory=3812 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22314/stat : 22314 (java) S 22297 22300 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250568533 14429130752 601798 33554432000 4194304 4196468 140724680040448 140280700786912 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22315] ppid=22297 vsize=14090948 memory=2407192 CPUtime=0.08 cores=0,2,4,6
/proc/22300/task/22315/stat : 22315 (java) S 22297 22300 21822 0 -1 1077944384 130 0 0 0 4 4 0 0 20 0 15 0 250568533 14429130752 601798 33554432000 4194304 4196468 140724680040448 140280699735216 140281367984770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
Current children cumulated CPU time: 170.54 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2407192 KiB

[startup+222.301 s]
/proc/loadavg: 1.59 1.62 1.53 3/215 22402
/proc/meminfo: memFree=19407424/32770624 swapFree=67105356/67108860
[pid=22300] ppid=22297 vsize=14090948 memory=2422628 CPUtime=230.63 cores=0,2,4,6
/proc/22300/stat : 22300 (java) S 22297 22300 21822 0 -1 1077944320 74435 0 0 0 22973 90 0 0 20 0 15 0 250568527 14429130752 605657 33554432000 4194304 4196468 140724680040448 140724680022992 140281367973623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
/proc/22300/statm: 3522737 605657 3592 1 0 3484809 0
[pid=22300/tid=22302] ppid=22297 vsize=14090948 memory=2422628 CPUtime=221.9 cores=0,2,4,6
/proc/22300/task/22302/stat : 22302 (java) R 22297 22300 21822 0 -1 4202560 34833 0 0 0 22156 34 0 0 20 0 15 0 250568528 14429130752 605657 33554432000 4194304 4196468 140724680040448 140281372203456 140280974907837 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22303] ppid=22297 vsize=14090948 memory=2422628 CPUtime=0.32 cores=0,2,4,6
/proc/22300/task/22303/stat : 22303 (java) S 22297 22300 21822 0 -1 1077944384 1751 0 0 0 20 12 0 0 20 0 15 0 250568528 14429130752 605657 33554432000 4194304 4196468 140724680040448 140280963525264 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22304] ppid=22297 vsize=14090948 memory=2422628 CPUtime=0.31 cores=0,2,4,6
/proc/22300/task/22304/stat : 22304 (java) S 22297 22300 21822 0 -1 1077944384 1659 0 0 0 20 11 0 0 20 0 15 0 250568528 14429130752 605657 33554432000 4194304 4196468 140724680040448 140280962472464 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22305] ppid=22297 vsize=14090948 memory=2422628 CPUtime=0.32 cores=0,2,4,6
/proc/22300/task/22305/stat : 22305 (java) S 22297 22300 21822 0 -1 1077944384 2705 0 0 0 22 10 0 0 20 0 15 0 250568528 14429130752 605657 33554432000 4194304 4196468 140724680040448 140280961419664 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22306] ppid=22297 vsize=14090948 memory=2422628 CPUtime=0.32 cores=0,2,4,6
/proc/22300/task/22306/stat : 22306 (java) S 22297 22300 21822 0 -1 1077944384 2404 0 0 0 21 11 0 0 20 0 15 0 250568528 14429130752 605657 33554432000 4194304 4196468 140724680040448 140280960366864 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22307] ppid=22297 vsize=14090948 memory=2422628 CPUtime=0.02 cores=0,2,4,6
/proc/22300/task/22307/stat : 22307 (java) S 22297 22300 21822 0 -1 1077944384 2173 0 0 0 2 0 0 0 20 0 15 0 250568530 14429130752 605657 33554432000 4194304 4196468 140724680040448 140280708156272 140281367984770 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22308] ppid=22297 vsize=14090948 memory=2422628 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22308/stat : 22308 (java) S 22297 22300 21822 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 250568530 14429130752 605657 33554432000 4194304 4196468 140724680040448 140280707102304 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22309] ppid=22297 vsize=14090948 memory=2422628 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22309/stat : 22309 (java) S 22297 22300 21822 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 250568530 14429130752 605657 33554432000 4194304 4196468 140724680040448 140280706049408 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22310] ppid=22297 vsize=14090948 memory=3812 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22310/stat : 22310 (java) S 22297 22300 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250568533 14429130752 605657 33554432000 4194304 4196468 140724680040448 140280704997712 140281367992219 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22311] ppid=22297 vsize=14090948 memory=6791534058613427641 CPUtime=3.07 cores=0,2,4,6
/proc/22300/task/22311/stat : 22311 (java) S 22297 22300 21822 0 -1 1077944384 8426 0 0 0 306 1 0 0 20 0 15 0 250568533 14429130752 605657 33554432000 4194304 4196468 140724680040448 140280703945072 140281367984770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22312] ppid=22297 vsize=14090948 memory=7888 CPUtime=3.19 cores=0,2,4,6
/proc/22300/task/22312/stat : 22312 (java) S 22297 22300 21822 0 -1 1077944384 9256 0 0 0 317 2 0 0 20 0 15 0 250568533 14429130752 605657 33554432000 4194304 4196468 140724680040448 140280702892272 140281367984770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22313] ppid=22297 vsize=14090948 memory=3812 CPUtime=1 cores=0,2,4,6
/proc/22300/task/22313/stat : 22313 (java) S 22297 22300 21822 0 -1 1077944384 9644 0 0 0 98 2 0 0 20 0 15 0 250568533 14429130752 605657 33554432000 4194304 4196468 140724680040448 140280701839472 140281367984770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22314] ppid=22297 vsize=14090948 memory=67976 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22314/stat : 22314 (java) S 22297 22300 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250568533 14429130752 605657 33554432000 4194304 4196468 140724680040448 140280700786912 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22315] ppid=22297 vsize=14090948 memory=67976 CPUtime=0.11 cores=0,2,4,6
/proc/22300/task/22315/stat : 22315 (java) S 22297 22300 21822 0 -1 1077944384 139 0 0 0 6 5 0 0 20 0 15 0 250568533 14429130752 605657 33554432000 4194304 4196468 140724680040448 140280699735216 140281367984770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
Current children cumulated CPU time: 230.63 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2422628 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+243.701 s]
/proc/loadavg: 1.50 1.60 1.52 3/215 22402
/proc/meminfo: memFree=19405376/32770624 swapFree=67105356/67108860
[pid=22300] ppid=22297 vsize=14090948 memory=2439012 CPUtime=252.04 cores=0,2,4,6
/proc/22300/stat : 22300 (java) S 22297 22300 21822 0 -1 1077944320 75525 0 0 0 25113 91 0 0 20 0 15 0 250568527 14429130752 609753 33554432000 4194304 4196468 140724680040448 140724680022992 140281367973623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
/proc/22300/statm: 3522737 609753 3592 1 0 3484809 0
[pid=22300/tid=22302] ppid=22297 vsize=14090948 memory=2428772 CPUtime=243.29 cores=0,2,4,6
/proc/22300/task/22302/stat : 22302 (java) R 22297 22300 21822 0 -1 4202560 35872 0 0 0 24295 34 0 0 20 0 15 0 250568528 14429130752 609753 33554432000 4194304 4196468 140724680040448 140281372203456 140280974045858 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22303] ppid=22297 vsize=14090948 memory=2422628 CPUtime=0.32 cores=0,2,4,6
/proc/22300/task/22303/stat : 22303 (java) S 22297 22300 21822 0 -1 1077944384 1751 0 0 0 20 12 0 0 20 0 15 0 250568528 14429130752 609753 33554432000 4194304 4196468 140724680040448 140280963525264 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22304] ppid=22297 vsize=14090948 memory=2422628 CPUtime=0.31 cores=0,2,4,6
/proc/22300/task/22304/stat : 22304 (java) S 22297 22300 21822 0 -1 1077944384 1659 0 0 0 20 11 0 0 20 0 15 0 250568528 14429130752 609753 33554432000 4194304 4196468 140724680040448 140280962472464 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22305] ppid=22297 vsize=14090948 memory=2422628 CPUtime=0.32 cores=0,2,4,6
/proc/22300/task/22305/stat : 22305 (java) S 22297 22300 21822 0 -1 1077944384 2705 0 0 0 22 10 0 0 20 0 15 0 250568528 14429130752 609753 33554432000 4194304 4196468 140724680040448 140280961419664 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22306] ppid=22297 vsize=14090948 memory=2432868 CPUtime=0.32 cores=0,2,4,6
/proc/22300/task/22306/stat : 22306 (java) S 22297 22300 21822 0 -1 1077944384 2404 0 0 0 21 11 0 0 20 0 15 0 250568528 14429130752 609753 33554432000 4194304 4196468 140724680040448 140280960366864 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22307] ppid=22297 vsize=14090948 memory=2422628 CPUtime=0.02 cores=0,2,4,6
/proc/22300/task/22307/stat : 22307 (java) S 22297 22300 21822 0 -1 1077944384 2182 0 0 0 2 0 0 0 20 0 15 0 250568530 14429130752 609753 33554432000 4194304 4196468 140724680040448 140280708156272 140281367984770 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22308] ppid=22297 vsize=14090948 memory=492 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22308/stat : 22308 (java) S 22297 22300 21822 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 250568530 14429130752 609753 33554432000 4194304 4196468 140724680040448 140280707102304 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22309] ppid=22297 vsize=14090948 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22309/stat : 22309 (java) S 22297 22300 21822 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 250568530 14429130752 609753 33554432000 4194304 4196468 140724680040448 140280706049408 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22310] ppid=22297 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22310/stat : 22310 (java) S 22297 22300 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250568533 14429130752 609753 33554432000 4194304 4196468 140724680040448 140280704997712 140281367992219 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22311] ppid=22297 vsize=14090948 memory=1564 CPUtime=3.07 cores=0,2,4,6
/proc/22300/task/22311/stat : 22311 (java) S 22297 22300 21822 0 -1 1077944384 8433 0 0 0 306 1 0 0 20 0 15 0 250568533 14429130752 609753 33554432000 4194304 4196468 140724680040448 140280703945072 140281367984770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22312] ppid=22297 vsize=14090948 memory=2422628 CPUtime=3.19 cores=0,2,4,6
/proc/22300/task/22312/stat : 22312 (java) S 22297 22300 21822 0 -1 1077944384 9259 0 0 0 317 2 0 0 20 0 15 0 250568533 14429130752 609753 33554432000 4194304 4196468 140724680040448 140280702892272 140281367984770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22313] ppid=22297 vsize=14090948 memory=3812 CPUtime=1 cores=0,2,4,6
/proc/22300/task/22313/stat : 22313 (java) S 22297 22300 21822 0 -1 1077944384 9649 0 0 0 98 2 0 0 20 0 15 0 250568533 14429130752 609753 33554432000 4194304 4196468 140724680040448 140280701839472 140281367984770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22314] ppid=22297 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22314/stat : 22314 (java) S 22297 22300 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250568533 14429130752 609753 33554432000 4194304 4196468 140724680040448 140280700786912 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22315] ppid=22297 vsize=14090948 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/22300/task/22315/stat : 22315 (java) S 22297 22300 21822 0 -1 1077944384 166 0 0 0 6 5 0 0 20 0 15 0 250568533 14429130752 609753 33554432000 4194304 4196468 140724680040448 140280699735216 140281367984770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2439012 KiB

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

[startup+243.727 s]
# the end of solver process 22300 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.147 s, system=0.939504 s

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

[startup+243.701 s]
/proc/loadavg: 1.50 1.60 1.52 3/215 22402
/proc/meminfo: memFree=19405376/32770624 swapFree=67105356/67108860
[pid=22300] ppid=22297 vsize=14090948 memory=2439012 CPUtime=252.04 cores=0,2,4,6
/proc/22300/stat : 22300 (java) S 22297 22300 21822 0 -1 1077944320 75525 0 0 0 25113 91 0 0 20 0 15 0 250568527 14429130752 609753 33554432000 4194304 4196468 140724680040448 140724680022992 140281367973623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
/proc/22300/statm: 3522737 609753 3592 1 0 3484809 0
[pid=22300/tid=22302] ppid=22297 vsize=14090948 memory=2428772 CPUtime=243.29 cores=0,2,4,6
/proc/22300/task/22302/stat : 22302 (java) R 22297 22300 21822 0 -1 4202560 35872 0 0 0 24295 34 0 0 20 0 15 0 250568528 14429130752 609753 33554432000 4194304 4196468 140724680040448 140281372203456 140280974045858 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22303] ppid=22297 vsize=14090948 memory=2422628 CPUtime=0.32 cores=0,2,4,6
/proc/22300/task/22303/stat : 22303 (java) S 22297 22300 21822 0 -1 1077944384 1751 0 0 0 20 12 0 0 20 0 15 0 250568528 14429130752 609753 33554432000 4194304 4196468 140724680040448 140280963525264 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22304] ppid=22297 vsize=14090948 memory=2422628 CPUtime=0.31 cores=0,2,4,6
/proc/22300/task/22304/stat : 22304 (java) S 22297 22300 21822 0 -1 1077944384 1659 0 0 0 20 11 0 0 20 0 15 0 250568528 14429130752 609753 33554432000 4194304 4196468 140724680040448 140280962472464 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22305] ppid=22297 vsize=14090948 memory=2422628 CPUtime=0.32 cores=0,2,4,6
/proc/22300/task/22305/stat : 22305 (java) S 22297 22300 21822 0 -1 1077944384 2705 0 0 0 22 10 0 0 20 0 15 0 250568528 14429130752 609753 33554432000 4194304 4196468 140724680040448 140280961419664 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22306] ppid=22297 vsize=14090948 memory=2432868 CPUtime=0.32 cores=0,2,4,6
/proc/22300/task/22306/stat : 22306 (java) S 22297 22300 21822 0 -1 1077944384 2404 0 0 0 21 11 0 0 20 0 15 0 250568528 14429130752 609753 33554432000 4194304 4196468 140724680040448 140280960366864 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22307] ppid=22297 vsize=14090948 memory=2422628 CPUtime=0.02 cores=0,2,4,6
/proc/22300/task/22307/stat : 22307 (java) S 22297 22300 21822 0 -1 1077944384 2182 0 0 0 2 0 0 0 20 0 15 0 250568530 14429130752 609753 33554432000 4194304 4196468 140724680040448 140280708156272 140281367984770 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22308] ppid=22297 vsize=14090948 memory=492 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22308/stat : 22308 (java) S 22297 22300 21822 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 250568530 14429130752 609753 33554432000 4194304 4196468 140724680040448 140280707102304 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22309] ppid=22297 vsize=14090948 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22309/stat : 22309 (java) S 22297 22300 21822 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 250568530 14429130752 609753 33554432000 4194304 4196468 140724680040448 140280706049408 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22310] ppid=22297 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22310/stat : 22310 (java) S 22297 22300 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250568533 14429130752 609753 33554432000 4194304 4196468 140724680040448 140280704997712 140281367992219 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22311] ppid=22297 vsize=14090948 memory=1564 CPUtime=3.07 cores=0,2,4,6
/proc/22300/task/22311/stat : 22311 (java) S 22297 22300 21822 0 -1 1077944384 8433 0 0 0 306 1 0 0 20 0 15 0 250568533 14429130752 609753 33554432000 4194304 4196468 140724680040448 140280703945072 140281367984770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22312] ppid=22297 vsize=14090948 memory=2422628 CPUtime=3.19 cores=0,2,4,6
/proc/22300/task/22312/stat : 22312 (java) S 22297 22300 21822 0 -1 1077944384 9259 0 0 0 317 2 0 0 20 0 15 0 250568533 14429130752 609753 33554432000 4194304 4196468 140724680040448 140280702892272 140281367984770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22313] ppid=22297 vsize=14090948 memory=3812 CPUtime=1 cores=0,2,4,6
/proc/22300/task/22313/stat : 22313 (java) S 22297 22300 21822 0 -1 1077944384 9649 0 0 0 98 2 0 0 20 0 15 0 250568533 14429130752 609753 33554432000 4194304 4196468 140724680040448 140280701839472 140281367984770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22314] ppid=22297 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22300/task/22314/stat : 22314 (java) S 22297 22300 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250568533 14429130752 609753 33554432000 4194304 4196468 140724680040448 140280700786912 140281367983829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
[pid=22300/tid=22315] ppid=22297 vsize=14090948 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/22300/task/22315/stat : 22315 (java) S 22297 22300 21822 0 -1 1077944384 166 0 0 0 6 5 0 0 20 0 15 0 250568533 14429130752 609753 33554432000 4194304 4196468 140724680040448 140280699735216 140281367984770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23547904 140724680041550 140724680041742 140724680041742 140724680044495 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2439012 KiB

Child status: 143
Real time (s): 243.727
CPU time (s): 252.086
CPU user time (s): 251.147
CPU system time (s): 0.939504
CPU usage (%): 103.43
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 2439012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.147
system time used= 0.939504
maximum resident set size= 2443836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76871
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8219
involuntary context switches= 243


# summary of solver processes directly reported to runsolver:
#   pid: 22300
#   total CPU time (s): 252.086
#   total CPU user time (s): 251.147
#   total CPU system time (s): 0.939504

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.34488 second user time and 2.50145 second system time

The end

Launcher Data 

Begin job on node149 at 2018-08-15 12:47:33
IDJOB=4310116
IDBENCH=141214
IDSOLVER=2795
FILE ID=node149/4310116-1534330053
RUNJOBID= node149-1534329313-21853
PBS_JOBID= 21038162
Free space on /tmp= 41680 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14
BENCH NAME= XCSP18/SumColoring/SumColoring-dsjc-250-9_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4310116-1534330053/watcher-4310116-1534330053 -o /tmp/evaluation-result-4310116-1534330053/solver-4310116-1534330053 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534329313-21853 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1043218454 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310116-1534330053.xml

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

MD5SUM BENCH= 15c7aefb85365a32de6dc875f5012851
RANDOM SEED=1043218454

node149.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.60
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.60
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.60
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.60
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:        21735580 kB
MemAvailable:   31626956 kB
Buffers:          190968 kB
Cached:          9881896 kB
SwapCached:         1704 kB
Active:          4624928 kB
Inactive:        5772864 kB
Active(anon):     275800 kB
Inactive(anon):   109736 kB
Active(file):    4349128 kB
Inactive(file):  5663128 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67105356 kB
Dirty:             36408 kB
Writeback:             0 kB
AnonPages:        386500 kB
Mapped:            68652 kB
Shmem:             57760 kB
Slab:             335504 kB
SReclaimable:     307580 kB
SUnreclaim:        27924 kB
KernelStack:        3792 kB
PageTables:         5864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1328976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 41644 MiB
End job on node149 at 2018-08-15 12:51:37