Trace number 4290464

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-07-02SAT (TO)17692 2400.12 2390.15

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.68/0.56	c version: 2018-07-02
0.68/0.56	c seed: 326257841
0.68/0.56	c timeout: 2400
0.68/0.56	c memlimit: 11000
0.68/0.56	c nbcore: 4
0.68/0.59	c Parsing instance...
8.64/3.38	c Parsing done, starting search...
9.56/3.68	o 31408
9.88/3.79	o 31363
9.88/3.79	o 31323
9.88/3.79	o 31263
9.88/3.79	o 31239
9.88/3.79	o 31213
9.88/3.79	o 31204
9.88/3.79	o 31137
9.88/3.80	o 31135
9.88/3.80	o 31133
9.88/3.80	o 31130
9.88/3.80	o 31122
9.88/3.80	o 31121
9.88/3.80	o 31111
9.88/3.80	o 31079
9.88/3.80	o 31053
9.88/3.80	o 31016
9.88/3.81	o 31000
9.88/3.81	o 30990
10.15/3.81	o 30980
10.15/3.81	o 30952
10.15/3.81	o 30947
10.15/3.81	o 30939
10.15/3.81	o 30936
10.15/3.82	o 30925
10.15/3.82	o 30915
10.15/3.82	o 30914
10.15/3.82	o 30910
10.15/3.82	o 30907
10.15/3.82	o 30902
10.15/3.82	o 30901
10.15/3.82	o 30892
10.15/3.82	o 30884
10.15/3.82	o 30883
10.15/3.83	o 30876
10.15/3.83	o 30818
10.15/3.83	o 30779
10.15/3.83	o 30754
10.15/3.83	o 30749
10.15/3.83	o 30744
10.15/3.83	o 30743
10.15/3.84	o 30685
10.15/3.84	o 30675
10.15/3.84	o 30667
10.15/3.84	o 30666
10.15/3.85	o 30660
10.15/3.85	o 30654
10.15/3.85	o 30647
10.15/3.85	o 30644
10.15/3.85	o 30639
10.15/3.85	o 30636
10.15/3.86	o 30623
10.15/3.86	o 30616
10.15/3.86	o 30615
10.15/3.87	o 30611
10.15/3.87	o 30610
10.15/3.87	o 30588
10.15/3.87	o 30587
10.15/3.88	o 30562
10.15/3.88	o 30557
10.15/3.89	o 30554
10.15/3.89	o 30549
10.43/3.91	o 30545
10.43/3.91	o 30542
10.43/3.91	o 30534
10.43/3.91	o 30531
10.43/3.91	o 30526
10.43/3.92	o 30515
10.43/3.95	o 30492
10.43/3.95	o 30467
10.43/3.95	o 30439
10.43/3.96	o 30423
10.43/3.96	o 30418
10.43/3.96	o 30415
10.43/3.96	o 30410
10.43/3.97	o 30405
10.43/3.98	o 30403
10.69/4.03	o 30240
10.69/4.03	o 30208
10.69/4.03	o 30204
10.69/4.03	o 30178
10.69/4.03	o 30174
10.69/4.03	o 30169
10.79/4.14	o 30097
10.79/4.14	o 30092
10.79/4.15	o 30058
10.79/4.15	o 30053
10.79/4.15	o 30029
10.79/4.16	o 30017
10.79/4.16	o 30014
10.79/4.16	o 30009
10.79/4.17	o 30007
10.88/4.29	o 30001
10.88/4.29	o 29989
10.99/4.30	o 29971
10.99/4.30	o 29968
10.99/4.30	o 29964
10.99/4.30	o 29961
10.99/4.30	o 29958
10.99/4.30	o 29949
10.99/4.31	o 29943
10.99/4.32	o 29941
10.99/4.32	o 29936
10.99/4.34	o 29933
11.19/4.50	o 29930
11.19/4.51	o 29928
11.19/4.51	o 29925
11.19/4.55	o 29924
11.19/4.56	o 29923
11.58/4.93	o 29832
11.58/4.93	o 29830
11.58/4.93	o 29825
11.58/4.93	o 29824
11.58/4.93	o 29822
11.58/4.94	o 29814
11.58/4.94	o 29808
11.58/4.95	o 29802
11.93/5.20	o 29799
11.93/5.26	o 29798
12.99/6.21	o 29716
12.99/6.21	o 29676
12.99/6.21	o 29665
12.99/6.22	o 29650
12.99/6.23	o 29518
12.99/6.23	o 29495
12.99/6.24	o 29488
12.99/6.24	o 29449
12.99/6.24	o 29440
12.99/6.27	o 29437
12.99/6.27	o 29432
13.11/6.30	o 29425
13.11/6.31	o 29419
13.11/6.31	o 29417
13.11/6.31	o 29414
13.11/6.32	o 29367
13.11/6.32	o 29362
13.11/6.32	o 29334
13.11/6.32	o 29318
13.11/6.32	o 29315
13.11/6.32	o 29313
13.11/6.32	o 29312
13.23/6.43	o 29310
13.23/6.45	o 29306
13.23/6.48	o 29304
13.23/6.48	o 29301
13.34/6.59	o 29283
13.34/6.59	o 29278
13.34/6.59	o 29277
13.34/6.59	o 29274
13.34/6.59	o 29263
13.43/6.60	o 29205
13.43/6.60	o 29199
13.43/6.60	o 29196
13.43/6.60	o 29185
13.43/6.61	o 29085
13.43/6.64	o 29081
13.43/6.64	o 29079
13.43/6.66	o 29076
13.43/6.69	o 29071
13.53/6.75	o 29065
13.63/6.86	o 29056
13.74/6.92	o 29054
13.74/6.93	o 29053
13.74/6.93	o 29048
13.95/7.16	o 29046
13.95/7.16	o 29045
14.46/7.58	o 29044
14.56/7.60	o 29043
14.56/7.60	o 29041
14.56/7.61	o 29035
14.56/7.62	o 29032
14.56/7.62	o 28939
14.56/7.63	o 28937
14.56/7.63	o 28924
14.56/7.63	o 28923
14.56/7.66	o 28918
14.86/7.92	o 28916
14.86/7.94	o 28900
14.86/7.94	o 28895
14.86/7.96	o 28893
14.86/8.00	o 28891
14.97/8.01	o 28890
14.97/8.01	o 28887
14.97/8.01	o 28885
14.97/8.02	o 28882
14.97/8.02	o 28870
14.97/8.02	o 28860
14.97/8.02	o 28856
14.97/8.02	o 28854
14.97/8.04	o 28852
14.97/8.04	o 28848
14.97/8.04	o 28841
14.97/8.04	o 28835
14.97/8.06	o 28829
14.97/8.09	o 28827
15.28/8.30	o 28825
15.38/8.48	o 28823
15.48/8.52	o 28822
15.48/8.52	o 28820
15.48/8.53	o 28814
15.78/8.89	o 28813
16.18/9.28	o 28803
16.18/9.28	o 28801
16.18/9.28	o 28796
16.18/9.29	o 28795
16.48/9.53	o 28794
16.48/9.53	o 28792
16.48/9.53	o 28789
16.48/9.53	o 28788
16.48/9.54	o 28776
16.48/9.54	o 28775
16.48/9.56	o 28765
16.48/9.57	o 28761
16.48/9.59	o 28759
16.62/9.63	o 28758
16.62/9.64	o 28755
16.62/9.64	o 28754
16.62/9.65	o 28749
16.62/9.69	o 28725
16.72/9.70	o 28720
16.72/9.70	o 28684
16.72/9.72	o 28683
16.72/9.74	o 28678
16.72/9.77	o 28677
17.00/9.95	o 28676
17.00/10.00	o 28675
17.21/10.14	o 28669
17.21/10.14	o 28668
17.21/10.15	o 28666
17.21/10.15	o 28665
17.21/10.15	o 28664
17.21/10.15	o 28663
17.21/10.16	o 28662
17.21/10.16	o 28658
17.21/10.16	o 28657
17.21/10.17	o 28647
17.21/10.17	o 28646
17.21/10.18	o 28645
17.30/10.20	o 28644
17.30/10.20	o 28643
18.31/11.21	o 28640
18.31/11.21	o 28637
18.31/11.21	o 28621
18.31/11.22	o 28615
18.31/11.23	o 28604
18.31/11.25	o 28602
18.31/11.25	o 28594
18.31/11.25	o 28581
18.31/11.26	o 28575
18.31/11.29	o 28574
18.31/11.29	o 28554
18.41/11.31	o 28543
18.41/11.32	o 28535
18.51/11.43	o 28534
18.51/11.43	o 28514
18.51/11.46	o 28510
18.62/11.50	o 28508
18.72/11.61	o 28507
18.72/11.61	o 28506
21.33/14.12	o 28503
21.33/14.12	o 28499
21.33/14.12	o 28460
21.33/14.12	o 28435
21.33/14.13	o 28414
21.33/14.13	o 28403
21.33/14.13	o 28381
21.33/14.13	o 28370
21.33/14.14	o 28365
21.33/14.14	o 28357
21.33/14.14	o 28354
21.33/14.14	o 28287
21.33/14.15	o 28286
21.33/14.15	o 28275
21.33/14.15	o 28238
21.33/14.15	o 28226
21.33/14.15	o 28225
21.33/14.15	o 28213
21.33/14.15	o 28209
21.33/14.15	o 28198
21.33/14.15	o 28182
21.33/14.15	o 28170
21.33/14.19	o 28167
21.42/14.21	o 28112
21.42/14.21	o 28111
21.42/14.27	o 28012
21.42/14.29	o 27986
21.42/14.29	o 27983
21.52/14.30	o 27950
21.52/14.31	o 27949
21.52/14.32	o 27944
21.52/14.33	o 27942
21.52/14.33	o 27941
21.52/14.34	o 27939
21.52/14.35	o 27938
21.52/14.36	o 27929
21.52/14.36	o 27928
21.62/14.40	o 27922
21.62/14.40	o 27876
21.62/14.42	o 27868
21.62/14.43	o 27867
21.72/14.52	o 27864
21.72/14.54	o 27853
21.72/14.55	o 27842
21.72/14.59	o 27826
21.92/14.71	o 27825
21.92/14.73	o 27650
21.92/14.74	o 27642
21.92/14.75	o 27634
21.92/14.75	o 27631
21.92/14.76	o 27630
22.02/14.89	o 27608
22.02/14.89	o 27562
22.12/14.90	o 27557
22.12/14.90	o 27556
22.12/14.91	o 27554
22.12/14.91	o 27553
22.12/14.91	o 27551
22.12/14.92	o 27550
22.12/14.92	o 27547
22.12/14.92	o 27544
22.12/14.92	o 27541
22.12/14.93	o 27540
22.12/14.94	o 27539
22.12/14.94	o 27536
22.12/14.94	o 27535
22.23/15.02	o 27528
22.23/15.02	o 27527
22.23/15.02	o 27525
22.23/15.03	o 27524
22.52/15.32	o 27522
22.52/15.32	o 27519
22.52/15.32	o 27516
22.52/15.32	o 27513
22.52/15.32	o 27498
22.52/15.32	o 27495
22.52/15.32	o 27494
22.52/15.32	o 27491
22.52/15.32	o 27487
22.52/15.32	o 27484
22.52/15.32	o 27475
22.52/15.32	o 27472
22.52/15.33	o 27466
22.52/15.33	o 27463
22.52/15.34	o 27426
22.52/15.34	o 27423
22.52/15.35	o 27411
22.52/15.35	o 27408
22.62/15.41	o 27407
22.62/15.41	o 27405
22.72/15.51	o 27403
22.72/15.53	o 27402
22.72/15.54	o 27399
22.72/15.55	o 27396
22.82/15.62	o 27394
23.23/16.02	o 27392
23.42/16.29	o 27385
23.42/16.29	o 27378
23.42/16.29	o 27374
23.52/16.30	o 27372
23.52/16.31	o 27341
23.52/16.31	o 27337
23.52/16.31	o 27334
23.52/16.31	o 27332
23.52/16.32	o 27331
23.52/16.32	o 27329
23.52/16.32	o 27328
23.52/16.32	o 27325
23.52/16.33	o 27321
23.52/16.33	o 27318
23.52/16.33	o 27316
23.52/16.33	o 27315
23.52/16.33	o 27311
23.52/16.33	o 27307
23.52/16.34	o 27303
23.52/16.36	o 27299
23.52/16.36	o 27293
23.52/16.36	o 27284
23.52/16.36	o 27278
23.52/16.36	o 27267
23.52/16.36	o 27265
23.52/16.36	o 27256
23.52/16.36	o 27255
23.73/16.53	o 27253
23.73/16.53	o 27250
23.73/16.54	o 27249
23.73/16.56	o 27243
23.73/16.56	o 27242
24.43/17.23	o 27239
24.53/17.30	o 27213
24.53/17.31	o 27194
24.53/17.32	o 27183
24.53/17.32	o 27180
24.53/17.32	o 27175
24.53/17.33	o 27171
24.53/17.36	o 27170
24.53/17.38	o 27164
24.73/17.52	o 27163
24.93/17.73	o 27162
25.63/18.45	o 27148
25.63/18.45	o 27118
25.63/18.45	o 27115
25.63/18.48	o 27114
25.63/18.48	o 27111
25.73/18.51	o 27108
25.73/18.51	o 27102
25.73/18.51	o 27092
25.73/18.51	o 27089
25.73/18.52	o 27088
25.73/18.53	o 27087
25.73/18.57	o 27067
26.24/19.07	o 27066
26.24/19.07	o 27062
26.43/19.28	o 27061
26.53/19.34	o 27055
26.53/19.35	o 26994
26.53/19.36	o 26993
26.53/19.36	o 26981
26.53/19.36	o 26977
26.53/19.37	o 26969
26.53/19.37	o 26964
26.53/19.38	o 26961
26.53/19.38	o 26957
27.24/20.02	o 26929
27.24/20.02	o 26888
27.24/20.03	o 26865
27.24/20.06	o 26864
27.24/20.06	o 26844
27.24/20.06	o 26843
27.24/20.07	o 26842
27.24/20.07	o 26832
27.24/20.07	o 26831
27.24/20.08	o 26794
27.24/20.08	o 26793
27.34/20.13	o 26789
27.34/20.14	o 26788
27.34/20.17	o 26787
27.34/20.17	o 26786
27.34/20.19	o 26775
27.34/20.20	o 26774
27.53/20.31	o 26760
27.73/20.50	o 26759
27.73/20.50	o 26727
27.73/20.50	o 26724
27.83/20.62	o 26722
27.83/20.62	o 26719
27.83/20.62	o 26718
27.83/20.62	o 26715
27.83/20.62	o 26714
27.83/20.64	o 26713
28.24/21.08	o 26618
28.24/21.08	o 26608
28.24/21.09	o 26606
28.34/21.11	o 26603
28.34/21.12	o 26602
28.34/21.13	o 26601
28.34/21.13	o 26600
28.34/21.17	o 26597
28.44/21.21	o 26596
28.44/21.21	o 26592
28.44/21.22	o 26590
28.44/21.23	o 26589
28.94/21.79	o 26587
29.04/21.80	o 26581
29.04/21.83	o 26580
29.04/21.87	o 26578
29.25/22.10	o 26577
29.54/22.38	o 26569
29.64/22.43	o 26566
29.74/22.54	o 26556
29.74/22.54	o 26547
29.74/22.55	o 26522
29.74/22.55	o 26513
29.74/22.56	o 26498
29.74/22.56	o 26489
29.74/22.57	o 26485
29.74/22.57	o 26476
29.74/22.57	o 26471
29.74/22.57	o 26466
29.74/22.58	o 26465
29.84/22.62	o 26464
29.84/22.69	o 26459
29.95/22.75	o 26458
30.05/22.81	o 26451
31.16/23.96	o 26447
31.86/24.69	o 26434
31.86/24.70	o 26424
31.86/24.70	o 26421
31.96/24.71	o 26416
31.96/24.72	o 26414
31.96/24.73	o 26362
31.96/24.73	o 26358
31.96/24.75	o 26349
31.96/24.76	o 26346
31.96/24.78	o 26327
32.06/24.81	o 26322
32.27/25.01	o 26303
32.27/25.04	o 26300
32.27/25.04	o 26294
32.27/25.09	o 26293
32.37/25.19	o 26291
32.37/25.19	o 26289
32.37/25.19	o 26282
32.46/25.20	o 26276
32.46/25.20	o 26273
32.46/25.20	o 26267
32.46/25.21	o 26265
32.46/25.22	o 26256
32.46/25.23	o 26251
32.46/25.24	o 26234
32.46/25.29	o 26233
32.46/25.29	o 26222
32.56/25.30	o 26221
32.66/25.45	o 26220
32.66/25.46	o 26211
32.76/25.52	o 26210
32.86/25.69	o 26209
33.06/25.87	o 26206
33.06/25.89	o 26205
33.16/25.95	o 26204
33.57/26.35	o 26194
33.57/26.35	o 26193
33.57/26.35	o 26189
33.57/26.35	o 26184
33.57/26.35	o 26180
33.57/26.35	o 26158
33.57/26.35	o 26157
33.57/26.35	o 26143
33.57/26.35	o 26127
33.57/26.36	o 26126
33.57/26.36	o 26122
33.57/26.36	o 26113
33.57/26.36	o 26109
33.57/26.36	o 26108
33.57/26.36	o 26105
33.57/26.38	o 26094
33.57/26.40	o 26093
33.67/26.41	o 26091
34.87/27.66	o 26084
34.87/27.66	o 26080
35.66/28.44	o 26077
35.66/28.44	o 26075
35.66/28.44	o 26061
35.66/28.44	o 26058
35.66/28.44	o 26054
35.66/28.44	o 26051
35.66/28.44	o 26049
35.66/28.44	o 26036
35.66/28.44	o 26033
35.66/28.44	o 26030
35.66/28.44	o 26029
35.66/28.44	o 26011
35.66/28.44	o 26009
35.66/28.44	o 26007
35.66/28.45	o 25995
35.66/28.45	o 25988
35.66/28.45	o 25984
35.66/28.45	o 25983
35.66/28.45	o 25980
35.66/28.49	o 25976
35.66/28.49	o 25975
35.76/28.51	o 25974
35.76/28.59	o 25969
35.76/28.59	o 25967
35.76/28.60	o 25966
35.86/28.60	o 25965
35.86/28.60	o 25964
36.28/29.10	o 25958
36.28/29.10	o 25956
36.28/29.10	o 25938
36.28/29.10	o 25926
36.28/29.10	o 25924
36.28/29.10	o 25916
36.38/29.13	o 25912
36.38/29.13	o 25905
36.38/29.13	o 25897
36.38/29.15	o 25892
36.38/29.15	o 25884
36.38/29.16	o 25869
36.38/29.16	o 25864
36.38/29.16	o 25862
36.38/29.16	o 25855
36.38/29.16	o 25847
36.38/29.17	o 25846
36.38/29.19	o 25843
36.47/29.23	o 25842
36.47/29.26	o 25834
36.47/29.27	o 25830
66.17/58.69	o 25824
66.17/58.69	o 25819
68.94/61.32	o 25818
68.94/61.33	o 25808
68.94/61.33	o 25806
68.94/61.34	o 25802
68.94/61.34	o 25799
68.94/61.34	o 25798
68.94/61.35	o 25796
68.94/61.36	o 25780
68.94/61.36	o 25770
68.94/61.36	o 25769
69.04/61.45	o 25756
69.04/61.45	o 25746
69.24/61.69	o 25745
69.24/61.69	o 25741
69.24/61.69	o 25714
69.24/61.69	o 25711
69.24/61.69	o 25670
69.24/61.70	o 25645
69.24/61.70	o 25626
69.34/61.70	o 25608
69.34/61.70	o 25605
69.34/61.70	o 25600
69.34/61.70	o 25583
69.34/61.70	o 25560
69.34/61.71	o 25557
69.34/61.71	o 25555
69.34/61.73	o 25553
69.34/61.76	o 25552
69.75/62.13	o 25540
69.75/62.13	o 25497
69.75/62.14	o 25475
69.75/62.14	o 25472
69.75/62.14	o 25459
69.75/62.14	o 25449
69.75/62.15	o 25444
69.75/62.16	o 25440
69.75/62.16	o 25436
69.75/62.17	o 25415
69.75/62.17	o 25409
69.75/62.17	o 25395
69.75/62.17	o 25393
69.75/62.17	o 25392
69.75/62.17	o 25387
69.75/62.18	o 25374
69.75/62.18	o 25352
69.75/62.18	o 25350
69.75/62.18	o 25346
69.75/62.19	o 25345
70.14/62.59	o 25340
70.14/62.59	o 25333
70.24/62.60	o 25331
70.24/62.62	o 25330
70.24/62.62	o 25325
70.24/62.62	o 25323
70.24/62.67	o 25310
70.24/62.67	o 25284
70.24/62.67	o 25282
70.35/62.78	o 25234
70.35/62.79	o 25171
70.35/62.79	o 25169
70.35/62.79	o 25163
70.35/62.79	o 25138
70.45/62.82	o 25116
70.45/62.82	o 25115
70.45/62.84	o 25113
70.95/63.31	o 25039
70.95/63.32	o 25006
70.95/63.34	o 24997
70.95/63.34	o 24987
70.95/63.36	o 24962
70.95/63.37	o 24939
71.05/63.40	o 24936
71.05/63.45	o 24901
71.15/63.50	o 24898
71.25/63.69	o 24893
71.45/63.90	o 24891
71.66/64.10	o 24832
71.66/64.10	o 24830
71.66/64.10	o 24825
71.76/64.12	o 24806
71.76/64.12	o 24804
71.76/64.12	o 24799
71.76/64.13	o 24792
71.76/64.13	o 24790
71.76/64.13	o 24785
71.76/64.14	o 24783
71.76/64.14	o 24760
71.76/64.16	o 24756
71.76/64.16	o 24749
71.76/64.16	o 24747
71.76/64.16	o 24742
71.85/64.24	o 24725
71.85/64.24	o 24722
71.85/64.24	o 24714
71.85/64.26	o 24709
71.85/64.26	o 24707
72.25/64.60	o 24705
72.25/64.60	o 24703
72.25/64.60	o 24690
72.25/64.60	o 24682
72.25/64.60	o 24675
72.25/64.60	o 24667
72.25/64.60	o 24660
72.25/64.61	o 24648
72.25/64.61	o 24645
72.25/64.61	o 24637
72.25/64.61	o 24631
72.25/64.61	o 24624
72.25/64.61	o 24621
72.25/64.61	o 24620
72.35/64.72	o 24617
72.35/64.72	o 24614
72.35/64.72	o 24608
72.35/64.73	o 24589
72.35/64.73	o 24586
72.35/64.73	o 24580
72.85/65.20	o 24574
72.85/65.21	o 24563
72.85/65.21	o 24559
72.85/65.22	o 24558
72.85/65.23	o 24548
72.85/65.23	o 24547
72.85/65.23	o 24544
72.85/65.24	o 24528
72.85/65.24	o 24524
72.85/65.26	o 24509
72.85/65.29	o 24508
72.85/65.29	o 24505
72.95/65.32	o 24500
73.05/65.41	o 24439
73.05/65.44	o 24435
73.05/65.45	o 24430
73.05/65.46	o 24361
73.15/65.53	o 24360
73.15/65.53	o 24349
73.15/65.54	o 24347
73.15/65.54	o 24344
73.35/65.71	o 24322
73.35/65.71	o 24271
73.35/65.71	o 24255
73.35/65.71	o 24254
73.35/65.73	o 24249
73.35/65.73	o 24248
73.35/65.73	o 24246
73.35/65.74	o 24233
73.35/65.74	o 24222
73.45/65.80	o 24217
73.55/66.00	o 24195
73.66/66.01	o 24193
73.66/66.02	o 24183
73.66/66.02	o 24178
73.66/66.03	o 24175
73.66/66.04	o 24144
73.66/66.07	o 24140
73.66/66.08	o 24138
73.76/66.16	o 24112
74.15/66.53	o 24108
74.15/66.53	o 24105
74.15/66.53	o 24102
74.35/66.79	o 24100
74.35/66.79	o 24097
74.35/66.79	o 24094
74.35/66.79	o 24091
74.35/66.79	o 24089
74.35/66.79	o 24086
74.35/66.79	o 24083
74.35/66.80	o 24082
74.35/66.80	o 24071
74.35/66.80	o 24068
74.45/66.86	o 24066
74.55/66.97	o 23984
74.55/66.97	o 23977
74.55/66.97	o 23970
74.55/66.97	o 23961
74.55/66.99	o 23958
74.55/66.99	o 23954
74.55/66.99	o 23952
74.55/66.99	o 23943
74.55/66.99	o 23940
74.67/67.05	o 23938
74.77/67.19	o 23887
74.86/67.23	o 23884
74.86/67.24	o 23873
74.86/67.25	o 23870
74.86/67.25	o 23864
74.86/67.25	o 23861
74.86/67.28	o 23844
74.86/67.28	o 23841
74.86/67.29	o 23801
74.86/67.29	o 23798
74.96/67.31	o 23795
74.96/67.31	o 23781
74.96/67.32	o 23778
74.96/67.32	o 23760
74.96/67.32	o 23757
74.96/67.32	o 23755
74.96/67.32	o 23754
75.06/67.42	o 23753
75.06/67.42	o 23752
76.18/68.52	o 23623
76.18/68.52	o 23620
76.18/68.52	o 23618
76.18/68.53	o 23617
76.18/68.57	o 23603
76.18/68.57	o 23601
76.18/68.58	o 23600
76.18/68.58	o 23599
76.18/68.58	o 23598
76.18/68.58	o 23595
76.29/68.64	o 23586
76.29/68.64	o 23582
76.29/68.64	o 23581
76.29/68.66	o 23580
76.29/68.66	o 23578
76.29/68.66	o 23576
76.29/68.66	o 23574
76.29/68.66	o 23569
76.29/68.66	o 23564
76.39/68.73	o 23562
245.80/237.90	o 23560
245.80/237.90	o 23538
245.80/237.92	o 23536
245.80/237.93	o 23531
245.80/237.94	o 23529
245.80/237.94	o 23519
245.80/237.94	o 23474
245.80/237.95	o 23452
245.91/238.05	o 23424
245.91/238.09	o 23416
246.50/238.64	o 23404
248.01/240.17	o 23402
263.80/255.94	o 23397
269.11/261.20	o 23384
271.71/263.82	o 23377
271.71/263.89	o 23372
271.71/263.89	o 23363
271.81/264.00	o 23362
271.81/264.00	o 23361
271.81/264.00	o 23358
271.81/264.00	o 23346
271.81/264.00	o 23337
271.92/264.02	o 23329
274.43/266.54	o 23318
279.13/271.29	o 23316
279.63/271.79	o 23313
279.83/271.90	o 23304
286.73/278.80	o 23302
286.73/278.81	o 23293
287.04/279.13	o 23291
291.44/283.59	o 23288
291.73/283.82	o 23279
296.34/288.44	o 23277
297.34/289.44	o 23272
297.34/289.46	o 23267
297.34/289.49	o 23265
297.64/289.77	o 23260
297.64/289.78	o 23256
299.24/291.39	o 23246
299.34/291.41	o 23231
299.34/291.45	o 23224
299.34/291.45	o 23209
299.64/291.76	o 23207
302.54/294.66	o 23199
302.54/294.66	o 23194
302.54/294.66	o 23188
302.54/294.66	o 23165
302.54/294.67	o 23133
302.65/294.71	o 23054
302.65/294.71	o 23049
302.65/294.71	o 23024
303.35/295.40	o 23018
303.35/295.40	o 23015
303.35/295.41	o 23005
303.35/295.41	o 22995
303.35/295.41	o 22986
303.35/295.41	o 22985
303.35/295.41	o 22982
303.35/295.41	o 22967
303.35/295.41	o 22962
303.35/295.41	o 22959
303.35/295.42	o 22951
303.35/295.43	o 22940
303.35/295.43	o 22935
303.35/295.43	o 22932
306.45/298.53	o 22926
306.45/298.54	o 22922
306.45/298.57	o 22908
306.45/298.57	o 22899
306.55/298.64	o 22886
306.55/298.64	o 22877
306.75/298.83	o 22868
306.85/298.98	o 22866
307.86/299.93	o 22846
307.86/299.94	o 22841
307.86/299.96	o 22832
307.86/299.97	o 22816
307.86/299.97	o 22805
307.97/300.04	o 22794
307.97/300.04	o 22783
307.97/300.08	o 22780
307.97/300.08	o 22769
308.35/300.46	o 22767
308.35/300.49	o 22758
308.35/300.50	o 22753
308.45/300.52	o 22750
308.45/300.52	o 22729
308.45/300.52	o 22723
308.45/300.54	o 22718
308.65/300.74	o 22709
308.65/300.74	o 22672
308.65/300.75	o 22651
308.65/300.75	o 22622
308.65/300.75	o 22607
308.65/300.75	o 22606
308.75/300.82	o 22593
308.75/300.82	o 22592
308.85/301.00	o 22560
308.85/301.01	o 22544
308.96/301.01	o 22533
309.86/301.91	o 22452
309.86/301.93	o 22435
309.86/301.98	o 22430
309.97/302.04	o 22419
322.03/314.09	o 22417
322.03/314.10	o 22408
322.03/314.10	o 22403
322.62/314.64	o 22362
322.62/314.64	o 22358
322.62/314.64	o 22343
322.62/314.65	o 22325
322.62/314.66	o 22323
322.62/314.66	o 22318
322.62/314.66	o 22315
322.62/314.67	o 22296
322.62/314.67	o 22283
322.62/314.67	o 22282
322.62/314.67	o 22276
322.62/314.68	o 22268
322.62/314.68	o 22249
322.72/314.72	o 22237
322.72/314.74	o 22230
322.72/314.79	o 22228
322.82/314.82	o 22220
323.62/315.61	o 22212
324.52/316.53	o 22208
324.72/316.72	o 22207
324.72/316.75	o 22202
324.72/316.76	o 22201
324.72/316.76	o 22188
325.52/317.54	o 22185
326.22/318.25	o 22178
326.22/318.25	o 22177
326.62/318.66	o 22169
327.32/319.37	o 22146
340.94/333.01	o 22137
346.64/338.70	o 22126
346.74/338.70	o 22115
346.74/338.71	o 22113
346.84/338.82	o 22110
347.15/339.14	o 22099
348.05/340.06	o 22092
348.05/340.08	o 22091
348.15/340.13	o 22090
348.15/340.13	o 22089
348.15/340.15	o 22082
348.15/340.15	o 22078
348.15/340.15	o 22077
349.34/341.31	o 22067
349.34/341.38	o 22063
349.44/341.41	o 22057
349.64/341.64	o 22056
349.64/341.64	o 22044
349.94/341.92	o 22033
349.94/341.92	o 22032
350.54/342.57	o 21972
350.54/342.58	o 21945
350.64/342.61	o 21944
350.64/342.63	o 21935
350.64/342.63	o 21930
350.64/342.64	o 21921
350.84/342.83	o 21920
350.84/342.83	o 21900
350.84/342.84	o 21897
350.84/342.87	o 21896
353.15/345.14	o 21889
354.94/346.97	o 21883
355.05/347.08	o 21882
355.05/347.09	o 21868
355.34/347.39	o 21860
355.34/347.40	o 21855
355.44/347.40	o 21841
355.64/347.65	o 21837
355.84/347.86	o 21836
356.34/348.31	o 21791
356.34/348.35	o 21771
356.44/348.45	o 21764
356.44/348.46	o 21751
356.44/348.49	o 21734
357.24/349.22	o 21711
357.24/349.25	o 21710
361.84/353.82	o 21690
361.84/353.82	o 21681
361.84/353.82	o 21663
361.84/353.83	o 21656
361.84/353.83	o 21638
361.84/353.85	o 21626
361.84/353.85	o 21621
361.84/353.85	o 21612
361.84/353.86	o 21601
361.84/353.86	o 21585
361.84/353.86	o 21580
361.84/353.86	o 21571
361.84/353.86	o 21553
361.84/353.88	o 21550
361.94/353.93	o 21549
361.94/353.93	o 21534
361.94/353.94	o 21524
361.94/353.95	o 21520
361.94/353.96	o 21504
362.15/354.12	o 21490
362.45/354.48	o 21486
362.75/354.78	o 21482
362.85/354.88	o 21450
362.95/354.90	o 21420
362.95/354.91	o 21416
362.95/354.93	o 21400
362.95/354.93	o 21396
363.24/355.22	o 21392
363.24/355.22	o 21388
363.24/355.22	o 21382
363.24/355.22	o 21381
363.24/355.22	o 21378
363.24/355.24	o 21367
363.45/355.41	o 21349
364.25/356.25	o 21345
364.25/356.25	o 21312
364.25/356.26	o 21308
364.25/356.28	o 21292
364.25/356.29	o 21289
364.35/356.30	o 21288
366.66/358.60	o 21275
368.26/360.26	o 21262
368.26/360.26	o 21261
368.26/360.26	o 21259
368.26/360.26	o 21258
368.36/360.38	o 21257
368.36/360.38	o 21243
369.36/361.30	o 21223
369.36/361.35	o 21208
369.36/361.35	o 21194
369.56/361.56	o 21189
369.56/361.56	o 21162
369.66/361.60	o 21161
369.66/361.60	o 21159
369.66/361.60	o 21131
369.66/361.60	o 21117
369.66/361.65	o 21116
369.66/361.66	o 21115
369.66/361.66	o 21101
370.36/362.38	o 21100
370.46/362.44	o 21099
370.46/362.44	o 21085
374.26/366.25	o 21049
378.36/370.35	o 21043
378.36/370.35	o 21041
381.07/373.04	o 21033
381.07/373.04	o 21029
381.07/373.05	o 21018
381.07/373.07	o 21017
381.07/373.07	o 21016
381.07/373.07	o 21015
381.26/373.29	o 21014
381.96/373.95	o 21010
381.96/373.96	o 21005
381.96/373.96	o 20996
382.26/374.22	o 20992
382.36/374.33	o 20988
382.36/374.35	o 20967
382.36/374.39	o 20921
387.87/379.84	o 20915
387.87/379.84	o 20911
387.87/379.84	o 20897
387.97/379.94	o 20893
390.67/382.60	o 20872
390.67/382.60	o 20869
391.47/383.47	o 20848
394.78/386.71	o 20841
394.78/386.71	o 20803
394.88/386.82	o 20798
394.88/386.82	o 20785
394.88/386.83	o 20777
394.88/386.85	o 20766
394.88/386.85	o 20753
394.88/386.88	o 20722
395.48/387.40	o 20702
396.68/388.70	o 20698
397.37/389.31	o 20691
397.37/389.31	o 20689
398.88/390.88	o 20684
399.48/391.49	o 20682
399.68/391.66	o 20680
399.88/391.80	o 20677
399.88/391.80	o 20655
400.48/392.41	o 20651
401.19/393.15	o 20649
401.19/393.19	o 20636
401.28/393.20	o 20633
401.28/393.20	o 20589
401.28/393.25	o 20571
401.28/393.25	o 20566
401.28/393.25	o 20552
401.28/393.25	o 20548
401.28/393.25	o 20545
401.28/393.25	o 20540
401.78/393.74	o 20538
402.19/394.15	o 20537
403.68/395.60	o 20522
403.68/395.64	o 20518
404.88/396.80	o 20513
404.88/396.80	o 20507
404.88/396.81	o 20503
404.88/396.81	o 20495
406.09/398.03	o 20492
406.09/398.03	o 20461
406.09/398.06	o 20442
406.28/398.27	o 20441
406.38/398.37	o 20437
406.68/398.67	o 20436
406.78/398.79	o 20435
406.78/398.79	o 20416
406.88/398.85	o 20411
407.48/399.45	o 20410
407.48/399.46	o 20405
407.48/399.46	o 20396
407.48/399.47	o 20383
407.48/399.49	o 20379
407.78/399.78	o 20374
407.88/399.84	o 20336
408.09/400.01	o 20331
408.39/400.33	o 20323
408.39/400.33	o 20293
408.39/400.33	o 20243
408.39/400.34	o 20237
408.39/400.34	o 20234
408.49/400.40	o 20228
408.49/400.40	o 20225
408.49/400.48	o 20193
408.49/400.48	o 20181
409.69/401.67	o 20156
409.69/401.67	o 20101
409.69/401.68	o 20066
409.69/401.68	o 20053
409.99/401.97	o 20047
409.99/401.98	o 20038
410.20/402.16	o 20025
410.39/402.39	o 20019
410.39/402.39	o 20008
410.39/402.39	o 19994
411.29/403.27	o 19991
411.29/403.29	o 19972
411.39/403.30	o 19948
411.39/403.30	o 19943
411.99/403.94	o 19936
411.99/403.94	o 19929
411.99/403.94	o 19924
413.39/405.38	o 19906
413.39/405.38	o 19905
413.39/405.38	o 19903
413.39/405.38	o 19899
413.39/405.38	o 19898
413.39/405.38	o 19869
413.39/405.38	o 19864
413.59/405.55	o 19854
413.59/405.55	o 19841
413.69/405.63	o 19812
414.59/406.59	o 19801
414.69/406.64	o 19776
414.69/406.64	o 19774
414.89/406.88	o 19769
414.89/406.88	o 19754
414.89/406.89	o 19742
415.45/407.35	o 19738
424.66/416.56	o 19725
424.66/416.56	o 19720
424.66/416.56	o 19719
424.66/416.56	o 19706
424.66/416.57	o 19690
430.56/422.47	o 19680
430.56/422.47	o 19676
435.17/427.09	o 19652
435.17/427.09	o 19648
435.17/427.09	o 19631
435.36/427.22	o 19615
435.36/427.25	o 19605
435.36/427.28	o 19580
435.46/427.38	o 19570
435.56/427.44	o 19568
435.56/427.47	o 19555
435.56/427.47	o 19552
435.66/427.58	o 19538
435.86/427.79	o 19532
441.07/432.95	o 19527
441.17/433.05	o 19522
441.17/433.08	o 19503
442.18/434.03	o 19500
443.18/435.05	o 19497
443.18/435.06	o 19484
443.28/435.13	o 19480
443.28/435.15	o 19477
443.28/435.15	o 19474
443.47/435.31	o 19467
444.47/436.35	o 19462
444.47/436.35	o 19461
444.47/436.35	o 19444
444.47/436.35	o 19411
444.47/436.35	o 19364
444.47/436.36	o 19344
444.47/436.36	o 19336
444.57/436.40	o 19330
444.57/436.40	o 19329
444.57/436.41	o 19321
444.57/436.41	o 19314
444.57/436.41	o 19313
444.57/436.41	o 19284
444.57/436.41	o 19277
444.57/436.42	o 19276
444.57/436.42	o 19248
444.57/436.42	o 19241
444.57/436.43	o 19240
444.67/436.50	o 19216
444.67/436.50	o 19209
444.67/436.50	o 19208
444.67/436.52	o 19186
444.67/436.52	o 19179
444.67/436.53	o 19178
444.77/436.65	o 19174
444.77/436.65	o 19158
444.77/436.65	o 19152
444.77/436.65	o 19145
444.77/436.65	o 19142
444.77/436.68	o 19136
444.87/436.76	o 19135
444.97/436.82	o 19127
444.97/436.82	o 19124
444.97/436.83	o 19123
444.97/436.83	o 19062
444.97/436.83	o 19059
444.97/436.87	o 19056
444.97/436.87	o 19053
444.97/436.87	o 19051
445.08/436.91	o 19047
445.08/436.91	o 19045
445.08/436.94	o 19042
445.08/436.94	o 19039
445.08/436.94	o 19031
445.48/437.40	o 19020
445.58/437.41	o 18981
445.58/437.44	o 18976
445.58/437.44	o 18958
445.58/437.44	o 18950
445.58/437.44	o 18940
445.58/437.44	o 18936
445.58/437.44	o 18929
445.58/437.44	o 18911
445.58/437.48	o 18903
445.58/437.48	o 18883
445.58/437.48	o 18876
446.37/438.22	o 18875
447.18/439.06	o 18863
447.18/439.06	o 18860
447.38/439.29	o 18859
447.38/439.29	o 18854
447.48/439.31	o 18851
447.58/439.46	o 18834
447.58/439.46	o 18811
447.58/439.46	o 18809
447.58/439.46	o 18795
447.58/439.46	o 18785
447.67/439.59	o 18739
447.67/439.59	o 18713
447.87/439.72	o 18697
447.87/439.72	o 18693
447.97/439.84	o 18684
447.97/439.84	o 18680
447.97/439.84	o 18677
447.97/439.89	o 18676
448.18/440.05	o 18664
448.18/440.05	o 18660
448.18/440.06	o 18657
448.18/440.07	o 18656
448.67/440.56	o 18558
448.67/440.58	o 18555
448.67/440.59	o 18553
448.67/440.59	o 18550
448.77/440.64	o 18529
448.77/440.64	o 18499
448.77/440.64	o 18495
448.77/440.64	o 18489
448.77/440.65	o 18486
448.87/440.71	o 18473
448.87/440.71	o 18470
449.07/440.92	o 18448
449.07/440.92	o 18445
449.07/440.93	o 18437
449.07/440.93	o 18434
449.07/440.94	o 18420
449.07/440.94	o 18417
449.07/440.94	o 18404
449.07/440.94	o 18401
449.28/441.18	o 18398
449.47/441.34	o 18395
449.47/441.34	o 18393
451.28/443.18	o 18390
451.28/443.18	o 18384
451.28/443.18	o 18377
451.28/443.19	o 18375
451.37/443.25	o 18366
451.37/443.25	o 18354
451.37/443.25	o 18337
451.37/443.25	o 18334
451.37/443.25	o 18332
451.37/443.26	o 18329
451.37/443.26	o 18326
451.37/443.27	o 18324
451.37/443.27	o 18311
451.37/443.27	o 18309
451.37/443.27	o 18308
451.37/443.27	o 18306
451.47/443.31	o 18301
451.47/443.31	o 18299
451.57/443.46	o 18296
451.57/443.47	o 18290
451.57/443.47	o 18288
451.67/443.51	o 18284
451.77/443.60	o 18276
451.77/443.62	o 18268
452.87/444.78	o 18265
452.87/444.78	o 18256
452.87/444.78	o 18252
452.87/444.78	o 18239
452.87/444.79	o 18224
452.97/444.81	o 18218
452.97/444.81	o 18214
452.97/444.82	o 18198
452.97/444.83	o 18197
452.97/444.83	o 18179
452.97/444.83	o 18174
453.38/445.20	o 18169
453.38/445.20	o 18166
453.48/445.33	o 18165
454.08/445.95	o 18149
454.08/445.95	o 18147
454.08/445.95	o 18142
454.08/445.96	o 18139
454.08/445.97	o 18137
454.08/445.97	o 18134
454.08/446.00	o 18124
454.08/446.00	o 18118
454.19/446.01	o 18117
454.19/446.01	o 18114
1642.27/1633.05	o 18112
1642.27/1633.05	o 18111
1659.48/1650.22	o 18103
1659.48/1650.22	o 18102
1852.62/1843.29	o 18094
1859.63/1850.28	o 18091
1859.73/1850.30	o 18056
1859.83/1850.40	o 18055
1859.83/1850.40	o 18018
1859.83/1850.40	o 17992
1859.93/1850.54	o 17980
1860.03/1850.65	o 17976
1861.54/1852.14	o 17964
1861.54/1852.14	o 17952
1861.54/1852.19	o 17951
1861.54/1852.19	o 17950
1861.63/1852.25	o 17932
1861.63/1852.28	o 17922
1861.73/1852.31	o 17908
1861.73/1852.37	o 17906
1861.73/1852.37	o 17896
1861.73/1852.37	o 17892
1861.83/1852.49	o 17889
1862.63/1853.28	o 17884
1862.63/1853.28	o 17882
1862.73/1853.32	o 17879
1863.03/1853.67	o 17871
1863.03/1853.67	o 17863
1863.03/1853.67	o 17862
1864.34/1854.97	o 17846
1864.34/1854.97	o 17843
1864.34/1854.97	o 17832
1864.34/1854.97	o 17825
1864.34/1854.97	o 17817
1865.64/1856.26	o 17816
1865.64/1856.27	o 17814
1865.64/1856.27	o 17809
1867.04/1857.64	o 17799
1867.04/1857.65	o 17751
1867.14/1857.71	o 17729
1867.14/1857.72	o 17724
1867.14/1857.72	o 17716
1867.24/1857.83	o 17712
1867.24/1857.83	o 17710
1867.34/1857.91	o 17692
2400.08/2390.11	s SATISFIABLE
2400.08/2390.11	v <instantiation>
2400.08/2390.11	v 	<list>
2400.08/2390.11	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]
2400.08/2390.11	v 	</list>
2400.08/2390.11	v 	<values>
2400.08/2390.11	v 		45 10 14 123 60 66 179 0 24 141 8 4 70 17 48 37 14 33 52 4 72 167 108 7 55 10 216 20 66 69 4 143 2 31 5 205 36 25 1 11 22 132 38 1 40 8 9 13 47 2 58 145 25 149 85 5 28 3 19 64 46 232 34 6 74 104 7 62 14 49 61 35 21 177 223 60 12 80 37 215 3 77 5 43 87 159 18 15 50 68 121 40 55 9 192 10 6 154 188 128 28 24 59 32 39 23 81 20 110 18 89 46 1 57 16 63 27 41 29 42 240 54 191 92 151 75 115 21 35 26 15 200 53 3 61 27 123 183 42 138 44 78 48 74 44 82 91 62 93 120 242 49 31 214 68 119 96 22 175 56 29 174 237 36 84 51 173 196 16 83 67 15 13 71 57 142 153 146 18 210 236 76 73 21 203 11 51 231 27 38 87 67 50 52 26 147 3 11 59 213 160 227 58 26 9 0 185 33 0 54 41 16 53 56 63 65 212 45 217 85 34 6 17 47 23 125 30 32 13 113 39 245 243 1 22 32 34 20 7 2 79 42 19 168 39 12 30 134 199 57 
2400.08/2390.11	v 	</values>
2400.08/2390.11	v </instantiation>

Verifier Data 

OK	17692

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290464-1532236136/watcher-4290464-1532236136 -o /tmp/evaluation-result-4290464-1532236136/solver-4290464-1532236136 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532224272-29565 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 326257841 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290464-1532236136.xml 

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

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

solver pid=30857, runsolver pid=30854

[startup+0.100167 s]*
/proc/loadavg: 1.41 1.50 1.47 3/215 30872
/proc/meminfo: memFree=23061096/32770624 swapFree=67108860/67108860
[pid=30857] ppid=30854 vsize=14082740 memory=29952 CPUtime=0.12 cores=0,2,4,6
/proc/30857/stat : 30857 (java) S 30854 30857 29534 0 -1 1077944320 6948 0 0 0 11 1 0 0 20 0 15 0 41176753 14420725760 7488 33554432000 4194304 4196468 140724162182896 140724162165440 139733436104439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
/proc/30857/statm: 3520685 7488 3156 1 0 3482761 0
[pid=30857/tid=30859] ppid=30854 vsize=14082740 memory=-8125511277465604218 CPUtime=0.09 cores=0,2,4,6
/proc/30857/task/30859/stat : 30859 (java) R 30854 30857 29534 0 -1 4202560 4950 0 0 0 9 0 0 0 20 0 15 0 41176754 14420725760 7488 33554432000 4194304 4196468 140724162182896 139733440299776 139733420184926 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30860] ppid=30854 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30860/stat : 30860 (java) S 30854 30857 29534 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41176754 14420725760 7488 33554432000 4194304 4196468 140724162182896 139733032115216 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30861] ppid=30854 vsize=14082740 memory=140379496625792 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30861/stat : 30861 (java) S 30854 30857 29534 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41176754 14420725760 7488 33554432000 4194304 4196468 140724162182896 139733031062672 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30862] ppid=30854 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30862/stat : 30862 (java) S 30854 30857 29534 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41176754 14420725760 7488 33554432000 4194304 4196468 140724162182896 139733030009616 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30863] ppid=30854 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30863/stat : 30863 (java) S 30854 30857 29534 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41176754 14420725760 7488 33554432000 4194304 4196468 140724162182896 139733028957072 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30864] ppid=30854 vsize=14082740 memory=140379496625792 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30864/stat : 30864 (java) S 30854 30857 29534 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41176756 14420725760 7488 33554432000 4194304 4196468 140724162182896 139732348926192 139733436115586 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30865] ppid=30854 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30865/stat : 30865 (java) S 30854 30857 29534 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41176756 14420725760 7488 33554432000 4194304 4196468 140724162182896 139732347872416 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30866] ppid=30854 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30866/stat : 30866 (java) S 30854 30857 29534 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41176756 14420725760 7488 33554432000 4194304 4196468 140724162182896 139732346819312 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30867] ppid=30854 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30867/stat : 30867 (java) S 30854 30857 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41176759 14420725760 7488 33554432000 4194304 4196468 140724162182896 139732345767888 139733436123035 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30868] ppid=30854 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30868/stat : 30868 (java) S 30854 30857 29534 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 41176759 14420725760 7488 33554432000 4194304 4196468 140724162182896 139732344716016 139733436115586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30869] ppid=30854 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30869/stat : 30869 (java) S 30854 30857 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41176759 14420725760 7488 33554432000 4194304 4196468 140724162182896 139732343663472 139733436115586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30870] ppid=30854 vsize=14082740 memory=140379496625792 CPUtime=0.01 cores=0,2,4,6
/proc/30857/task/30870/stat : 30870 (java) S 30854 30857 29534 0 -1 1077944384 311 0 0 0 1 0 0 0 20 0 15 0 41176759 14420725760 7488 33554432000 4194304 4196468 140724162182896 139732342610416 139733436115586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30871] ppid=30854 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30871/stat : 30871 (java) S 30854 30857 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41176759 14420725760 7488 33554432000 4194304 4196468 140724162182896 139732341558112 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30872] ppid=30854 vsize=14082740 memory=140379496625792 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30872/stat : 30872 (java) S 30854 30857 29534 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41176759 14420725760 7488 33554432000 4194304 4196468 140724162182896 139732340505136 139733436115586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 29952 KiB

[startup+0.2105 s]*
/proc/loadavg: 1.41 1.50 1.47 4/215 30872
/proc/meminfo: memFree=23045340/32770624 swapFree=67108860/67108860
[pid=30857] ppid=30854 vsize=14082740 memory=46300 CPUtime=0.3 cores=0,2,4,6
/proc/30857/stat : 30857 (java) S 30854 30857 29534 0 -1 1077944320 10666 0 0 0 28 2 0 0 20 0 15 0 41176753 14420725760 11575 33554432000 4194304 4196468 140724162182896 140724162165440 139733436104439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
/proc/30857/statm: 3520685 11575 3401 1 0 3482761 0
[pid=30857/tid=30859] ppid=30854 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/30857/task/30859/stat : 30859 (java) R 30854 30857 29534 0 -1 4202560 8289 0 0 0 19 1 0 0 20 0 15 0 41176754 14420725760 11575 33554432000 4194304 4196468 140724162182896 139733440326656 139733428341566 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30860] ppid=30854 vsize=14082740 memory=343 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30860/stat : 30860 (java) S 30854 30857 29534 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41176754 14420725760 11575 33554432000 4194304 4196468 140724162182896 139733032115216 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30861] ppid=30854 vsize=14082740 memory=3762674912956495520 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30861/stat : 30861 (java) S 30854 30857 29534 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41176754 14420725760 11575 33554432000 4194304 4196468 140724162182896 139733031062672 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30862] ppid=30854 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30862/stat : 30862 (java) S 30854 30857 29534 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41176754 14420725760 11575 33554432000 4194304 4196468 140724162182896 139733030009616 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30863] ppid=30854 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30863/stat : 30863 (java) S 30854 30857 29534 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41176754 14420725760 11575 33554432000 4194304 4196468 140724162182896 139733028957072 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30864] ppid=30854 vsize=14082740 memory=140379496625792 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30864/stat : 30864 (java) S 30854 30857 29534 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41176756 14420725760 11575 33554432000 4194304 4196468 140724162182896 139732348926192 139733436115586 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30865] ppid=30854 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30865/stat : 30865 (java) S 30854 30857 29534 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41176756 14420725760 11575 33554432000 4194304 4196468 140724162182896 139732347872416 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30866] ppid=30854 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30866/stat : 30866 (java) S 30854 30857 29534 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41176756 14420725760 11575 33554432000 4194304 4196468 140724162182896 139732346819312 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30867] ppid=30854 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30867/stat : 30867 (java) S 30854 30857 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41176759 14420725760 11575 33554432000 4194304 4196468 140724162182896 139732345767888 139733436123035 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30868] ppid=30854 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30868/stat : 30868 (java) R 30854 30857 29534 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 15 0 41176759 14420725760 11575 33554432000 4194304 4196468 140724162182896 139732344716016 139733436115586 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30869] ppid=30854 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30857/task/30869/stat : 30869 (java) R 30854 30857 29534 0 -1 4202560 272 0 0 0 2 0 0 0 20 0 15 0 41176759 14420725760 11575 33554432000 4194304 4196468 140724162182896 139732343655120 139733413705454 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30870] ppid=30854 vsize=14082740 memory=140379496625792 CPUtime=0.06 cores=0,2,4,6
/proc/30857/task/30870/stat : 30870 (java) R 30854 30857 29534 0 -1 4202560 403 0 0 0 6 0 0 0 20 0 15 0 41176759 14420725760 11575 33554432000 4194304 4196468 140724162182896 139732342610416 139733415031864 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30871] ppid=30854 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30871/stat : 30871 (java) S 30854 30857 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41176759 14420725760 11575 33554432000 4194304 4196468 140724162182896 139732341558112 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30872] ppid=30854 vsize=14082740 memory=140379496625792 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30872/stat : 30872 (java) S 30854 30857 29534 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41176759 14420725760 11575 33554432000 4194304 4196468 140724162182896 139732340505136 139733436115586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46300 KiB

[startup+0.310552 s]*
/proc/loadavg: 1.41 1.50 1.47 3/215 30872
/proc/meminfo: memFree=23042548/32770624 swapFree=67108860/67108860
[pid=30857] ppid=30854 vsize=14082740 memory=49720 CPUtime=0.44 cores=0,2,4,6
/proc/30857/stat : 30857 (java) S 30854 30857 29534 0 -1 1077944320 11112 0 0 0 42 2 0 0 20 0 15 0 41176753 14420725760 12430 33554432000 4194304 4196468 140724162182896 140724162165440 139733436104439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
/proc/30857/statm: 3520685 12430 3414 1 0 3482761 0
[pid=30857/tid=30859] ppid=30854 vsize=14082740 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/30857/task/30859/stat : 30859 (java) R 30854 30857 29534 0 -1 4202560 8622 0 0 0 29 1 0 0 20 0 15 0 41176754 14420725760 12430 33554432000 4194304 4196468 140724162182896 139733440312272 139733420184956 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30860] ppid=30854 vsize=14082740 memory=4294979967 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30860/stat : 30860 (java) S 30854 30857 29534 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41176754 14420725760 12430 33554432000 4194304 4196468 140724162182896 139733032115216 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30861] ppid=30854 vsize=14082740 memory=3906508626055640736 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30861/stat : 30861 (java) S 30854 30857 29534 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41176754 14420725760 12430 33554432000 4194304 4196468 140724162182896 139733031062672 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30862] ppid=30854 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30862/stat : 30862 (java) S 30854 30857 29534 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41176754 14420725760 12430 33554432000 4194304 4196468 140724162182896 139733030009616 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30863] ppid=30854 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30863/stat : 30863 (java) S 30854 30857 29534 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41176754 14420725760 12430 33554432000 4194304 4196468 140724162182896 139733028957072 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30864] ppid=30854 vsize=14082740 memory=140379496625792 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30864/stat : 30864 (java) S 30854 30857 29534 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41176756 14420725760 12430 33554432000 4194304 4196468 140724162182896 139732348926192 139733436115586 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30865] ppid=30854 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30865/stat : 30865 (java) S 30854 30857 29534 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41176756 14420725760 12430 33554432000 4194304 4196468 140724162182896 139732347872416 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30866] ppid=30854 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30866/stat : 30866 (java) S 30854 30857 29534 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41176756 14420725760 12430 33554432000 4194304 4196468 140724162182896 139732346819312 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30867] ppid=30854 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30867/stat : 30867 (java) S 30854 30857 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41176759 14420725760 12430 33554432000 4194304 4196468 140724162182896 139732345767888 139733436123035 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30868] ppid=30854 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30857/task/30868/stat : 30868 (java) S 30854 30857 29534 0 -1 1077944384 366 0 0 0 2 0 0 0 20 0 15 0 41176759 14420725760 12430 33554432000 4194304 4196468 140724162182896 139732344716016 139733436115586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30869] ppid=30854 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30857/task/30869/stat : 30869 (java) S 30854 30857 29534 0 -1 1077944384 297 0 0 0 2 0 0 0 20 0 15 0 41176759 14420725760 12430 33554432000 4194304 4196468 140724162182896 139732343663472 139733436115586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30870] ppid=30854 vsize=14082740 memory=140379496625792 CPUtime=0.08 cores=0,2,4,6
/proc/30857/task/30870/stat : 30870 (java) S 30854 30857 29534 0 -1 1077944384 445 0 0 0 8 0 0 0 20 0 15 0 41176759 14420725760 12430 33554432000 4194304 4196468 140724162182896 139732342610416 139733436115586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30871] ppid=30854 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30871/stat : 30871 (java) S 30854 30857 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41176759 14420725760 12430 33554432000 4194304 4196468 140724162182896 139732341558112 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30872] ppid=30854 vsize=14082740 memory=140379496625792 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30872/stat : 30872 (java) S 30854 30857 29534 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41176759 14420725760 12430 33554432000 4194304 4196468 140724162182896 139732340505136 139733436115586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 49720 KiB

[startup+0.700788 s]
/proc/loadavg: 1.41 1.50 1.47 3/215 30872
/proc/meminfo: memFree=23018612/32770624 swapFree=67108860/67108860
[pid=30857] ppid=30854 vsize=14084808 memory=89640 CPUtime=1 cores=0,2,4,6
/proc/30857/stat : 30857 (java) S 30854 30857 29534 0 -1 1077944320 17880 0 0 0 96 4 0 0 20 0 15 0 41176753 14422843392 22410 33554432000 4194304 4196468 140724162182896 140724162165440 139733436104439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
/proc/30857/statm: 3521202 22410 3500 1 0 3483273 0
[pid=30857/tid=30859] ppid=30854 vsize=14084808 memory=8836 CPUtime=0.67 cores=0,2,4,6
/proc/30857/task/30859/stat : 30859 (java) R 30854 30857 29534 0 -1 4202560 14934 0 0 0 65 2 0 0 20 0 15 0 41176754 14422843392 22410 33554432000 4194304 4196468 140724162182896 139733440330064 139733420184926 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30860] ppid=30854 vsize=14084808 memory=18484 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30860/stat : 30860 (java) S 30854 30857 29534 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41176754 14422843392 22410 33554432000 4194304 4196468 140724162182896 139733032115216 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30861] ppid=30854 vsize=14084808 memory=644 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30861/stat : 30861 (java) S 30854 30857 29534 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41176754 14422843392 22410 33554432000 4194304 4196468 140724162182896 139733031062672 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30862] ppid=30854 vsize=14084808 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30862/stat : 30862 (java) S 30854 30857 29534 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41176754 14422843392 22410 33554432000 4194304 4196468 140724162182896 139733030009616 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30863] ppid=30854 vsize=14084808 memory=952 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30863/stat : 30863 (java) S 30854 30857 29534 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41176754 14422843392 22410 33554432000 4194304 4196468 140724162182896 139733028957072 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30864] ppid=30854 vsize=14084808 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30864/stat : 30864 (java) S 30854 30857 29534 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41176756 14422843392 22410 33554432000 4194304 4196468 140724162182896 139732348926192 139733436115586 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30865] ppid=30854 vsize=14084808 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30865/stat : 30865 (java) S 30854 30857 29534 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41176756 14422843392 22410 33554432000 4194304 4196468 140724162182896 139732347872416 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30866] ppid=30854 vsize=14084808 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30866/stat : 30866 (java) S 30854 30857 29534 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41176756 14422843392 22410 33554432000 4194304 4196468 140724162182896 139732346819312 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30867] ppid=30854 vsize=14084808 memory=7379241883359864663 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30867/stat : 30867 (java) S 30854 30857 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41176759 14422843392 22410 33554432000 4194304 4196468 140724162182896 139732345767888 139733436123035 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30868] ppid=30854 vsize=14084808 memory=7013340940837610608 CPUtime=0.07 cores=0,2,4,6
/proc/30857/task/30868/stat : 30868 (java) S 30854 30857 29534 0 -1 1077944384 524 0 0 0 7 0 0 0 20 0 15 0 41176759 14422843392 22410 33554432000 4194304 4196468 140724162182896 139732344716016 139733436115586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30869] ppid=30854 vsize=14084808 memory=6220993253238723945 CPUtime=0.07 cores=0,2,4,6
/proc/30857/task/30869/stat : 30869 (java) S 30854 30857 29534 0 -1 1077944384 454 0 0 0 7 0 0 0 20 0 15 0 41176759 14422843392 22410 33554432000 4194304 4196468 140724162182896 139732343663472 139733436115586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30870] ppid=30854 vsize=14084808 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/30857/task/30870/stat : 30870 (java) S 30854 30857 29534 0 -1 1077944384 586 0 0 0 15 0 0 0 20 0 15 0 41176759 14422843392 22410 33554432000 4194304 4196468 140724162182896 139732342610416 139733436115586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30871] ppid=30854 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30871/stat : 30871 (java) S 30854 30857 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41176759 14422843392 22410 33554432000 4194304 4196468 140724162182896 139732341558112 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30872] ppid=30854 vsize=14084808 memory=8384 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30872/stat : 30872 (java) S 30854 30857 29534 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41176759 14422843392 22410 33554432000 4194304 4196468 140724162182896 139732340505136 139733436115586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 89640 KiB

[startup+1.50844 s]
/proc/loadavg: 1.41 1.50 1.47 5/215 30872
/proc/meminfo: memFree=22963020/32770624 swapFree=67108860/67108860
[pid=30857] ppid=30854 vsize=14086856 memory=235272 CPUtime=3.58 cores=0,2,4,6
/proc/30857/stat : 30857 (java) S 30854 30857 29534 0 -1 1077944320 24532 0 0 0 350 8 0 0 20 0 15 0 41176753 14424940544 58818 33554432000 4194304 4196468 140724162182896 140724162165440 139733436104439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
/proc/30857/statm: 3521714 58818 3572 1 0 3483785 0
[pid=30857/tid=30859] ppid=30854 vsize=14086856 memory=233988 CPUtime=1.46 cores=0,2,4,6
/proc/30857/task/30859/stat : 30859 (java) R 30854 30857 29534 0 -1 4202560 15938 0 0 0 142 4 0 0 20 0 15 0 41176754 14424940544 58818 33554432000 4194304 4196468 140724162182896 139733440337704 139733421331547 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30860] ppid=30854 vsize=14086856 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/30857/task/30860/stat : 30860 (java) S 30854 30857 29534 0 -1 1077944384 311 0 0 0 1 0 0 0 20 0 15 0 41176754 14424940544 58818 33554432000 4194304 4196468 140724162182896 139733032115216 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30861] ppid=30854 vsize=14086856 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/30857/task/30861/stat : 30861 (java) S 30854 30857 29534 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 15 0 41176754 14424940544 58818 33554432000 4194304 4196468 140724162182896 139733031062672 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30862] ppid=30854 vsize=14086856 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/30857/task/30862/stat : 30862 (java) S 30854 30857 29534 0 -1 1077944384 105 0 0 0 1 0 0 0 20 0 15 0 41176754 14424940544 58818 33554432000 4194304 4196468 140724162182896 139733030009616 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30863] ppid=30854 vsize=14086856 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/30857/task/30863/stat : 30863 (java) S 30854 30857 29534 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 15 0 41176754 14424940544 58818 33554432000 4194304 4196468 140724162182896 139733028957072 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30864] ppid=30854 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30864/stat : 30864 (java) S 30854 30857 29534 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 41176756 14424940544 58818 33554432000 4194304 4196468 140724162182896 139732348926192 139733436115586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0

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

/proc/30857/task/30859/stat : 30859 (java) R 30854 30857 29534 0 -1 4202560 107427 0 0 0 232067 72 0 0 20 0 15 0 41176754 14429134848 876516 33554432000 4194304 4196468 140724162182896 139733440342512 139733083913333 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30860] ppid=30854 vsize=14090952 memory=3506064 CPUtime=0.55 cores=0,2,4,6
/proc/30857/task/30860/stat : 30860 (java) S 30854 30857 29534 0 -1 1077944384 9406 0 0 0 44 11 0 0 20 0 15 0 41176754 14429134848 876516 33554432000 4194304 4196468 140724162182896 139733032115216 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30861] ppid=30854 vsize=14090952 memory=3497260 CPUtime=0.56 cores=0,2,4,6
/proc/30857/task/30861/stat : 30861 (java) S 30854 30857 29534 0 -1 1077944384 9563 0 0 0 44 12 0 0 20 0 15 0 41176754 14429134848 876516 33554432000 4194304 4196468 140724162182896 139733031062672 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30862] ppid=30854 vsize=14090952 memory=3497260 CPUtime=0.58 cores=0,2,4,6
/proc/30857/task/30862/stat : 30862 (java) S 30854 30857 29534 0 -1 1077944384 6963 0 0 0 45 13 0 0 20 0 15 0 41176754 14429134848 876516 33554432000 4194304 4196468 140724162182896 139733030009616 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30863] ppid=30854 vsize=14090952 memory=3494364 CPUtime=0.58 cores=0,2,4,6
/proc/30857/task/30863/stat : 30863 (java) S 30854 30857 29534 0 -1 1077944384 7025 0 0 0 46 12 0 0 20 0 15 0 41176754 14429134848 876516 33554432000 4194304 4196468 140724162182896 139733028957072 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30864] ppid=30854 vsize=14090952 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/30857/task/30864/stat : 30864 (java) S 30854 30857 29534 0 -1 1077944384 7493 0 0 0 6 3 0 0 20 0 15 0 41176756 14429134848 876516 33554432000 4194304 4196468 140724162182896 139732348926192 139733436115586 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30865] ppid=30854 vsize=14090952 memory=3494364 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30865/stat : 30865 (java) S 30854 30857 29534 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 41176756 14429134848 876516 33554432000 4194304 4196468 140724162182896 139732347872480 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30866] ppid=30854 vsize=14090952 memory=3494364 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30866/stat : 30866 (java) S 30854 30857 29534 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 41176756 14429134848 876516 33554432000 4194304 4196468 140724162182896 139732346819328 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30867] ppid=30854 vsize=14090952 memory=3495660 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30867/stat : 30867 (java) S 30854 30857 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41176759 14429134848 876516 33554432000 4194304 4196468 140724162182896 139732345767888 139733436123035 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30868] ppid=30854 vsize=14090952 memory=3497260 CPUtime=3.03 cores=0,2,4,6
/proc/30857/task/30868/stat : 30868 (java) S 30854 30857 29534 0 -1 1077944384 10671 0 0 0 301 2 0 0 20 0 15 0 41176759 14429134848 876516 33554432000 4194304 4196468 140724162182896 139732344716016 139733436115586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30869] ppid=30854 vsize=14090952 memory=3497260 CPUtime=3.01 cores=0,2,4,6
/proc/30857/task/30869/stat : 30869 (java) S 30854 30857 29534 0 -1 1077944384 11722 0 0 0 299 2 0 0 20 0 15 0 41176759 14429134848 876516 33554432000 4194304 4196468 140724162182896 139732343663472 139733436115586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30870] ppid=30854 vsize=14090952 memory=3497260 CPUtime=1 cores=0,2,4,6
/proc/30857/task/30870/stat : 30870 (java) S 30854 30857 29534 0 -1 1077944384 13725 0 0 0 97 3 0 0 20 0 15 0 41176759 14429134848 876516 33554432000 4194304 4196468 140724162182896 139732342610416 139733436115586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 49 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30871] ppid=30854 vsize=14090952 memory=3506064 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30871/stat : 30871 (java) S 30854 30857 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41176759 14429134848 876516 33554432000 4194304 4196468 140724162182896 139732341558112 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30872] ppid=30854 vsize=14090952 memory=3506064 CPUtime=1.32 cores=0,2,4,6
/proc/30857/task/30872/stat : 30872 (java) S 30854 30857 29534 0 -1 1077944384 1400 0 0 0 66 66 0 0 20 0 15 0 41176759 14429134848 876516 33554432000 4194304 4196468 140724162182896 139732340505136 139733436115586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
Current children cumulated CPU time: 2332.19 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 3506064 KiB

[startup+2382.3 s]
/proc/loadavg: 1.59 1.59 1.63 3/215 31018
/proc/meminfo: memFree=19548648/32770624 swapFree=67108860/67108860
[pid=30857] ppid=30854 vsize=14090952 memory=3506572 CPUtime=2392.26 cores=0,2,4,6
/proc/30857/stat : 30857 (java) S 30854 30857 29534 0 -1 1077944320 190013 0 0 0 239044 182 0 0 20 0 15 0 41176753 14429134848 876643 33554432000 4194304 4196468 140724162182896 140724162165440 139733436104439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
/proc/30857/statm: 3522738 876643 3599 1 0 3484809 0
[pid=30857/tid=30859] ppid=30854 vsize=14090952 memory=1408 CPUtime=2381.38 cores=0,2,4,6
/proc/30857/task/30859/stat : 30859 (java) R 30854 30857 29534 0 -1 4202560 109556 0 0 0 238066 72 0 0 20 0 15 0 41176754 14429134848 876643 33554432000 4194304 4196468 140724162182896 139733440342512 139733083514854 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30860] ppid=30854 vsize=14090952 memory=3506572 CPUtime=0.56 cores=0,2,4,6
/proc/30857/task/30860/stat : 30860 (java) S 30854 30857 29534 0 -1 1077944384 9456 0 0 0 45 11 0 0 20 0 15 0 41176754 14429134848 876643 33554432000 4194304 4196468 140724162182896 139733032115216 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30861] ppid=30854 vsize=14090952 memory=3506572 CPUtime=0.57 cores=0,2,4,6
/proc/30857/task/30861/stat : 30861 (java) S 30854 30857 29534 0 -1 1077944384 9945 0 0 0 45 12 0 0 20 0 15 0 41176754 14429134848 876643 33554432000 4194304 4196468 140724162182896 139733031062672 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30862] ppid=30854 vsize=14090952 memory=3506572 CPUtime=0.59 cores=0,2,4,6
/proc/30857/task/30862/stat : 30862 (java) S 30854 30857 29534 0 -1 1077944384 7089 0 0 0 46 13 0 0 20 0 15 0 41176754 14429134848 876643 33554432000 4194304 4196468 140724162182896 139733030009616 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30863] ppid=30854 vsize=14090952 memory=3506572 CPUtime=0.59 cores=0,2,4,6
/proc/30857/task/30863/stat : 30863 (java) S 30854 30857 29534 0 -1 1077944384 7186 0 0 0 47 12 0 0 20 0 15 0 41176754 14429134848 876643 33554432000 4194304 4196468 140724162182896 139733028957072 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30864] ppid=30854 vsize=14090952 memory=3506572 CPUtime=0.1 cores=0,2,4,6
/proc/30857/task/30864/stat : 30864 (java) S 30854 30857 29534 0 -1 1077944384 7736 0 0 0 6 4 0 0 20 0 15 0 41176756 14429134848 876643 33554432000 4194304 4196468 140724162182896 139732348926192 139733436115586 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30865] ppid=30854 vsize=14090952 memory=134 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30865/stat : 30865 (java) S 30854 30857 29534 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 41176756 14429134848 876643 33554432000 4194304 4196468 140724162182896 139732347872480 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30866] ppid=30854 vsize=14090952 memory=3506572 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30866/stat : 30866 (java) S 30854 30857 29534 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 41176756 14429134848 876643 33554432000 4194304 4196468 140724162182896 139732346819328 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30867] ppid=30854 vsize=14090952 memory=3506572 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30867/stat : 30867 (java) S 30854 30857 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41176759 14429134848 876643 33554432000 4194304 4196468 140724162182896 139732345767888 139733436123035 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30868] ppid=30854 vsize=14090952 memory=4140 CPUtime=3.03 cores=0,2,4,6
/proc/30857/task/30868/stat : 30868 (java) S 30854 30857 29534 0 -1 1077944384 10679 0 0 0 301 2 0 0 20 0 15 0 41176759 14429134848 876643 33554432000 4194304 4196468 140724162182896 139732344716016 139733436115586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30869] ppid=30854 vsize=14090952 memory=14308 CPUtime=3.01 cores=0,2,4,6
/proc/30857/task/30869/stat : 30869 (java) S 30854 30857 29534 0 -1 1077944384 11734 0 0 0 299 2 0 0 20 0 15 0 41176759 14429134848 876643 33554432000 4194304 4196468 140724162182896 139732343663472 139733436115586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30870] ppid=30854 vsize=14090952 memory=3506572 CPUtime=1 cores=0,2,4,6
/proc/30857/task/30870/stat : 30870 (java) S 30854 30857 29534 0 -1 1077944384 13735 0 0 0 97 3 0 0 20 0 15 0 41176759 14429134848 876643 33554432000 4194304 4196468 140724162182896 139732342610416 139733436115586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 49 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30871] ppid=30854 vsize=14090952 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30871/stat : 30871 (java) S 30854 30857 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41176759 14429134848 876643 33554432000 4194304 4196468 140724162182896 139732341558112 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30872] ppid=30854 vsize=14090952 memory=2412 CPUtime=1.35 cores=0,2,4,6
/proc/30857/task/30872/stat : 30872 (java) S 30854 30857 29534 0 -1 1077944384 1448 0 0 0 68 67 0 0 20 0 15 0 41176759 14429134848 876643 33554432000 4194304 4196468 140724162182896 139732340505136 139733436115586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
Current children cumulated CPU time: 2392.26 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 3506572 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2390.11 s]
/proc/loadavg: 1.55 1.58 1.63 3/215 31018
/proc/meminfo: memFree=19548648/32770624 swapFree=67108860/67108860
[pid=30857] ppid=30854 vsize=14090952 memory=3506572 CPUtime=2400.08 cores=0,2,4,6
/proc/30857/stat : 30857 (java) S 30854 30857 29534 0 -1 1077944320 190177 0 0 0 239825 183 0 0 20 0 15 0 41176753 14429134848 876643 33554432000 4194304 4196468 140724162182896 140724162165440 139733436104439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
/proc/30857/statm: 3522738 876643 3599 1 0 3484809 0
[pid=30857/tid=30859] ppid=30854 vsize=14090952 memory=3168 CPUtime=2389.18 cores=0,2,4,6
/proc/30857/task/30859/stat : 30859 (java) R 30854 30857 29534 0 -1 4202560 109718 0 0 0 238846 72 0 0 20 0 15 0 41176754 14429134848 876643 33554432000 4194304 4196468 140724162182896 139733440342512 139733083913424 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30860] ppid=30854 vsize=14090952 memory=3506572 CPUtime=0.56 cores=0,2,4,6
/proc/30857/task/30860/stat : 30860 (java) S 30854 30857 29534 0 -1 1077944384 9456 0 0 0 45 11 0 0 20 0 15 0 41176754 14429134848 876643 33554432000 4194304 4196468 140724162182896 139733032115216 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30861] ppid=30854 vsize=14090952 memory=3506572 CPUtime=0.57 cores=0,2,4,6
/proc/30857/task/30861/stat : 30861 (java) S 30854 30857 29534 0 -1 1077944384 9945 0 0 0 45 12 0 0 20 0 15 0 41176754 14429134848 876643 33554432000 4194304 4196468 140724162182896 139733031062672 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30862] ppid=30854 vsize=14090952 memory=3506572 CPUtime=0.59 cores=0,2,4,6
/proc/30857/task/30862/stat : 30862 (java) S 30854 30857 29534 0 -1 1077944384 7089 0 0 0 46 13 0 0 20 0 15 0 41176754 14429134848 876643 33554432000 4194304 4196468 140724162182896 139733030009616 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30863] ppid=30854 vsize=14090952 memory=3506572 CPUtime=0.59 cores=0,2,4,6
/proc/30857/task/30863/stat : 30863 (java) S 30854 30857 29534 0 -1 1077944384 7186 0 0 0 47 12 0 0 20 0 15 0 41176754 14429134848 876643 33554432000 4194304 4196468 140724162182896 139733028957072 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30864] ppid=30854 vsize=14090952 memory=3506572 CPUtime=0.1 cores=0,2,4,6
/proc/30857/task/30864/stat : 30864 (java) S 30854 30857 29534 0 -1 1077944384 7736 0 0 0 6 4 0 0 20 0 15 0 41176756 14429134848 876643 33554432000 4194304 4196468 140724162182896 139732348926192 139733436115586 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30865] ppid=30854 vsize=14090952 memory=3506572 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30865/stat : 30865 (java) S 30854 30857 29534 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 41176756 14429134848 876643 33554432000 4194304 4196468 140724162182896 139732347872480 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30866] ppid=30854 vsize=14090952 memory=3506572 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30866/stat : 30866 (java) S 30854 30857 29534 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 41176756 14429134848 876643 33554432000 4194304 4196468 140724162182896 139732346819328 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30867] ppid=30854 vsize=14090952 memory=3506572 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30867/stat : 30867 (java) S 30854 30857 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41176759 14429134848 876643 33554432000 4194304 4196468 140724162182896 139732345767888 139733436123035 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30868] ppid=30854 vsize=14090952 memory=3506572 CPUtime=3.03 cores=0,2,4,6
/proc/30857/task/30868/stat : 30868 (java) S 30854 30857 29534 0 -1 1077944384 10679 0 0 0 301 2 0 0 20 0 15 0 41176759 14429134848 876643 33554432000 4194304 4196468 140724162182896 139732344716016 139733436115586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30869] ppid=30854 vsize=14090952 memory=3506572 CPUtime=3.01 cores=0,2,4,6
/proc/30857/task/30869/stat : 30869 (java) S 30854 30857 29534 0 -1 1077944384 11734 0 0 0 299 2 0 0 20 0 15 0 41176759 14429134848 876643 33554432000 4194304 4196468 140724162182896 139732343663472 139733436115586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30870] ppid=30854 vsize=14090952 memory=9540 CPUtime=1 cores=0,2,4,6
/proc/30857/task/30870/stat : 30870 (java) S 30854 30857 29534 0 -1 1077944384 13735 0 0 0 97 3 0 0 20 0 15 0 41176759 14429134848 876643 33554432000 4194304 4196468 140724162182896 139732342610416 139733436115586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 49 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30871] ppid=30854 vsize=14090952 memory=3506572 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30871/stat : 30871 (java) S 30854 30857 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41176759 14429134848 876643 33554432000 4194304 4196468 140724162182896 139732341558112 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30872] ppid=30854 vsize=14090952 memory=4140 CPUtime=1.36 cores=0,2,4,6
/proc/30857/task/30872/stat : 30872 (java) S 30854 30857 29534 0 -1 1077944384 1450 0 0 0 69 67 0 0 20 0 15 0 41176759 14429134848 876643 33554432000 4194304 4196468 140724162182896 139732340505136 139733436115586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 3506572 KiB

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

[startup+2390.15 s]
# the end of solver process 30857 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.27 s, system=1.8513 s

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

[startup+2390.11 s]
/proc/loadavg: 1.55 1.58 1.63 3/215 31018
/proc/meminfo: memFree=19548648/32770624 swapFree=67108860/67108860
[pid=30857] ppid=30854 vsize=14090952 memory=3506572 CPUtime=2400.08 cores=0,2,4,6
/proc/30857/stat : 30857 (java) S 30854 30857 29534 0 -1 1077944320 190177 0 0 0 239825 183 0 0 20 0 15 0 41176753 14429134848 876643 33554432000 4194304 4196468 140724162182896 140724162165440 139733436104439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
/proc/30857/statm: 3522738 876643 3599 1 0 3484809 0
[pid=30857/tid=30859] ppid=30854 vsize=14090952 memory=3168 CPUtime=2389.18 cores=0,2,4,6
/proc/30857/task/30859/stat : 30859 (java) R 30854 30857 29534 0 -1 4202560 109718 0 0 0 238846 72 0 0 20 0 15 0 41176754 14429134848 876643 33554432000 4194304 4196468 140724162182896 139733440342512 139733083913424 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30860] ppid=30854 vsize=14090952 memory=3506572 CPUtime=0.56 cores=0,2,4,6
/proc/30857/task/30860/stat : 30860 (java) S 30854 30857 29534 0 -1 1077944384 9456 0 0 0 45 11 0 0 20 0 15 0 41176754 14429134848 876643 33554432000 4194304 4196468 140724162182896 139733032115216 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30861] ppid=30854 vsize=14090952 memory=3506572 CPUtime=0.57 cores=0,2,4,6
/proc/30857/task/30861/stat : 30861 (java) S 30854 30857 29534 0 -1 1077944384 9945 0 0 0 45 12 0 0 20 0 15 0 41176754 14429134848 876643 33554432000 4194304 4196468 140724162182896 139733031062672 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30862] ppid=30854 vsize=14090952 memory=3506572 CPUtime=0.59 cores=0,2,4,6
/proc/30857/task/30862/stat : 30862 (java) S 30854 30857 29534 0 -1 1077944384 7089 0 0 0 46 13 0 0 20 0 15 0 41176754 14429134848 876643 33554432000 4194304 4196468 140724162182896 139733030009616 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30863] ppid=30854 vsize=14090952 memory=3506572 CPUtime=0.59 cores=0,2,4,6
/proc/30857/task/30863/stat : 30863 (java) S 30854 30857 29534 0 -1 1077944384 7186 0 0 0 47 12 0 0 20 0 15 0 41176754 14429134848 876643 33554432000 4194304 4196468 140724162182896 139733028957072 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30864] ppid=30854 vsize=14090952 memory=3506572 CPUtime=0.1 cores=0,2,4,6
/proc/30857/task/30864/stat : 30864 (java) S 30854 30857 29534 0 -1 1077944384 7736 0 0 0 6 4 0 0 20 0 15 0 41176756 14429134848 876643 33554432000 4194304 4196468 140724162182896 139732348926192 139733436115586 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30865] ppid=30854 vsize=14090952 memory=3506572 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30865/stat : 30865 (java) S 30854 30857 29534 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 41176756 14429134848 876643 33554432000 4194304 4196468 140724162182896 139732347872480 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30866] ppid=30854 vsize=14090952 memory=3506572 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30866/stat : 30866 (java) S 30854 30857 29534 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 41176756 14429134848 876643 33554432000 4194304 4196468 140724162182896 139732346819328 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30867] ppid=30854 vsize=14090952 memory=3506572 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30867/stat : 30867 (java) S 30854 30857 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41176759 14429134848 876643 33554432000 4194304 4196468 140724162182896 139732345767888 139733436123035 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30868] ppid=30854 vsize=14090952 memory=3506572 CPUtime=3.03 cores=0,2,4,6
/proc/30857/task/30868/stat : 30868 (java) S 30854 30857 29534 0 -1 1077944384 10679 0 0 0 301 2 0 0 20 0 15 0 41176759 14429134848 876643 33554432000 4194304 4196468 140724162182896 139732344716016 139733436115586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30869] ppid=30854 vsize=14090952 memory=3506572 CPUtime=3.01 cores=0,2,4,6
/proc/30857/task/30869/stat : 30869 (java) S 30854 30857 29534 0 -1 1077944384 11734 0 0 0 299 2 0 0 20 0 15 0 41176759 14429134848 876643 33554432000 4194304 4196468 140724162182896 139732343663472 139733436115586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30870] ppid=30854 vsize=14090952 memory=9540 CPUtime=1 cores=0,2,4,6
/proc/30857/task/30870/stat : 30870 (java) S 30854 30857 29534 0 -1 1077944384 13735 0 0 0 97 3 0 0 20 0 15 0 41176759 14429134848 876643 33554432000 4194304 4196468 140724162182896 139732342610416 139733436115586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 49 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30871] ppid=30854 vsize=14090952 memory=3506572 CPUtime=0 cores=0,2,4,6
/proc/30857/task/30871/stat : 30871 (java) S 30854 30857 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41176759 14429134848 876643 33554432000 4194304 4196468 140724162182896 139732341558112 139733436114645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
[pid=30857/tid=30872] ppid=30854 vsize=14090952 memory=4140 CPUtime=1.36 cores=0,2,4,6
/proc/30857/task/30872/stat : 30872 (java) S 30854 30857 29534 0 -1 1077944384 1450 0 0 0 69 67 0 0 20 0 15 0 41176759 14429134848 876643 33554432000 4194304 4196468 140724162182896 139732340505136 139733436115586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 39690240 140724162188361 140724162188553 140724162188553 140724162191311 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 3506572 KiB

Child status: 143
Real time (s): 2390.15
CPU time (s): 2400.12
CPU user time (s): 2398.27
CPU system time (s): 1.8513
CPU usage (%): 100.417
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 3884972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.27
system time used= 1.8513
maximum resident set size= 3888544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191538
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55433
involuntary context switches= 2482


# summary of solver processes directly reported to runsolver:
#   pid: 30857
#   total CPU time (s): 2400.12
#   total CPU user time (s): 2398.27
#   total CPU system time (s): 1.8513

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8171 second user time and 22.8667 second system time

The end

Launcher Data 

Begin job on node103 at 2018-07-22 07:08:56
IDJOB=4290464
IDBENCH=141214
IDSOLVER=2743
FILE ID=node103/4290464-1532236136
RUNJOBID= node103-1532224272-29565
PBS_JOBID= 21018942
Free space on /tmp= 56840 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-07-02
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-4290464-1532236136/watcher-4290464-1532236136 -o /tmp/evaluation-result-4290464-1532236136/solver-4290464-1532236136 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532224272-29565 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 326257841 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290464-1532236136.xml

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

MD5SUM BENCH= 15c7aefb85365a32de6dc875f5012851
RANDOM SEED=326257841

node103.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.48
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.48
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.48
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.48
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:        23077576 kB
MemAvailable:   31526952 kB
Buffers:          222708 kB
Cached:          8429748 kB
SwapCached:            0 kB
Active:          1855012 kB
Inactive:        7263844 kB
Active(anon):     468748 kB
Inactive(anon):    16976 kB
Active(file):    1386264 kB
Inactive(file):  7246868 kB
Unevictable:        7144 kB
Mlocked:            7144 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             36436 kB
Writeback:             0 kB
AnonPages:        491172 kB
Mapped:            48704 kB
Shmem:             17036 kB
Slab:             272176 kB
SReclaimable:     244704 kB
SUnreclaim:        27472 kB
KernelStack:        3808 kB
PageTables:         6068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1431468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    415744 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 56804 MiB
End job on node103 at 2018-07-22 07:48:46