Trace number 4394833

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
cosoco 2SAT (TO)1164883 2400.06 2399.9

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay200_c18.xml
MD5SUMef8d95b3b89bfc5ccba73a2d09f74d17
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1164883
Best CPU time to get the best result obtained on this benchmark2400.02
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints200
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree30
Distribution of variable degrees[{"degree":2,"count":190},{"degree":3,"count":378},{"degree":4,"count":330},{"degree":5,"count":258},{"degree":6,"count":209},{"degree":7,"count":129},{"degree":8,"count":125},{"degree":9,"count":75},{"degree":10,"count":68},{"degree":11,"count":60},{"degree":12,"count":43},{"degree":13,"count":29},{"degree":14,"count":28},{"degree":15,"count":14},{"degree":16,"count":7},{"degree":17,"count":8},{"degree":18,"count":9},{"degree":19,"count":8},{"degree":20,"count":14},{"degree":21,"count":8},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":26,"count":2},{"degree":27,"count":3},{"degree":30,"count":1}]
Minimum constraint arity36
Maximum constraint arity75
Distribution of constraint arities[{"arity":36,"count":2},{"arity":37,"count":5},{"arity":38,"count":4},{"arity":39,"count":4},{"arity":40,"count":2},{"arity":41,"count":4},{"arity":42,"count":7},{"arity":43,"count":7},{"arity":44,"count":7},{"arity":45,"count":8},{"arity":46,"count":7},{"arity":47,"count":9},{"arity":48,"count":10},{"arity":49,"count":9},{"arity":50,"count":20},{"arity":51,"count":16},{"arity":52,"count":7},{"arity":53,"count":13},{"arity":54,"count":9},{"arity":55,"count":10},{"arity":56,"count":6},{"arity":57,"count":6},{"arity":58,"count":6},{"arity":59,"count":4},{"arity":60,"count":5},{"arity":61,"count":2},{"arity":62,"count":2},{"arity":63,"count":1},{"arity":64,"count":1},{"arity":65,"count":1},{"arity":67,"count":2},{"arity":68,"count":3},{"arity":75,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":200}]
Optimization problemYES
Type of objectivemax 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.30/0.38	c
0.30/0.38	c This is cosoco 2.00 --  
0.30/0.38	c
0.30/0.38	c command line: cosoco -lc -model -restarts -stick HOME/instance-4394833-1568355918.xml 
0.30/0.38	c enable optimization
0.30/0.38	c ========================================[ Problem Statistics ]===========================================
0.30/0.38	c |                                                                                                       
0.30/0.38	c |  Parse time        :         0.10 s 
0.30/0.38	c |
0.30/0.38	c |               Variables: 2000
0.30/0.38	c |            Domain Sizes: 2..2
0.30/0.38	c |
0.30/0.38	c |             Constraints: 201
0.30/0.38	c |                   Arity: 36..2000
0.30/0.38	c | 
0.30/0.38	c |                   Types: 
0.30/0.38	c |                          Sum: 201
0.30/0.38	c |                          
0.30/0.38	c |               Objective: Maximize Sum
0.30/0.38	
0.30/0.38	c =========================================================================================================
0.30/0.38	o 0
0.30/0.38	c    1 calls to solver(id=*d): best=0 lower=0 upper=1 
0.78/0.85	o 8867
1.29/1.32	o 15615
1.29/1.32	c    3 calls to solver(id=*d): best=0 lower=15615 upper=15616 
1.69/1.79	o 22526
2.19/2.26	o 31434
2.19/2.26	c    5 calls to solver(id=*d): best=0 lower=31434 upper=31435 
2.69/2.72	o 40048
3.10/3.19	o 41547
3.10/3.19	c    7 calls to solver(id=*d): best=0 lower=41547 upper=41548 
3.59/3.66	o 45951
4.10/4.14	o 48192
4.10/4.14	c    9 calls to solver(id=*d): best=0 lower=48192 upper=48193 
4.59/4.61	o 53961
5.00/5.08	o 58019
5.00/5.08	c   11 calls to solver(id=*d): best=0 lower=58019 upper=58020 
5.49/5.55	o 82443
6.00/6.02	o 101743
6.00/6.02	c   13 calls to solver(id=*d): best=0 lower=101743 upper=101744 
6.39/6.49	o 121776
6.89/6.96	o 125439
6.89/6.96	c   15 calls to solver(id=*d): best=0 lower=125439 upper=125440 
7.39/7.43	o 128406
7.79/7.89	o 131972
7.89/7.90	c   17 calls to solver(id=*d): best=0 lower=131972 upper=131973 
8.29/8.36	o 138757
8.79/8.83	o 144592
8.79/8.83	c   19 calls to solver(id=*d): best=0 lower=144592 upper=144593 
9.29/9.30	o 151913
9.69/9.77	o 175904
9.69/9.77	c   21 calls to solver(id=*d): best=0 lower=175904 upper=175905 
10.19/10.24	o 190939
10.69/10.71	o 195441
10.69/10.71	c   23 calls to solver(id=*d): best=0 lower=195441 upper=195442 
11.10/11.18	o 212301
11.59/11.65	o 221109
11.59/11.65	c   25 calls to solver(id=*d): best=0 lower=221109 upper=221110 
12.10/12.13	o 250364
12.59/12.60	o 251941
12.59/12.60	c   27 calls to solver(id=*d): best=0 lower=251941 upper=251942 
13.00/13.07	o 256014
13.49/13.54	o 279135
13.49/13.54	c   29 calls to solver(id=*d): best=0 lower=279135 upper=279136 
14.00/14.02	o 281878
14.39/14.49	o 286382
14.39/14.49	c   31 calls to solver(id=*d): best=0 lower=286382 upper=286383 
14.89/14.96	o 300259
15.39/15.43	o 303883
15.39/15.43	c   33 calls to solver(id=*d): best=0 lower=303883 upper=303884 
15.89/15.91	o 322604
16.29/16.38	o 355166
16.29/16.38	c   35 calls to solver(id=*d): best=0 lower=355166 upper=355167 
16.79/16.85	o 381618
17.29/17.33	o 384340
17.29/17.33	c   37 calls to solver(id=*d): best=0 lower=384340 upper=384341 
17.79/17.80	o 389672
18.19/18.28	o 395372
18.19/18.28	c   39 calls to solver(id=*d): best=0 lower=395372 upper=395373 
18.69/18.75	o 395507
19.19/19.22	o 400796
19.19/19.22	c   41 calls to solver(id=*d): best=0 lower=400796 upper=400797 
19.69/19.70	o 417245
20.10/20.17	o 426061
20.10/20.17	c   43 calls to solver(id=*d): best=0 lower=426061 upper=426062 
20.59/20.64	o 438187
21.09/21.12	o 443774
21.09/21.12	c   45 calls to solver(id=*d): best=0 lower=443774 upper=443775 
21.49/21.59	o 449491
22.00/22.07	o 468917
22.00/22.07	c   47 calls to solver(id=*d): best=0 lower=468917 upper=468918 
22.49/22.54	o 470240
23.00/23.01	o 476380
23.00/23.01	c   49 calls to solver(id=*d): best=0 lower=476380 upper=476381 
23.39/23.47	o 483566
23.89/23.94	o 490148
23.89/23.94	c   51 calls to solver(id=*d): best=0 lower=490148 upper=490149 
24.39/24.40	o 490500
24.79/24.86	o 490852
24.79/24.86	c   53 calls to solver(id=*d): best=0 lower=490852 upper=490853 
25.29/25.32	o 506311
25.69/25.79	o 507480
25.69/25.79	c   55 calls to solver(id=*d): best=0 lower=507480 upper=507481 
26.19/26.25	o 514838
26.69/26.71	o 519568
26.69/26.71	c   57 calls to solver(id=*d): best=0 lower=519568 upper=519569 
27.10/27.17	o 528729
27.59/27.64	o 535471
27.59/27.64	c   59 calls to solver(id=*d): best=0 lower=535471 upper=535472 
28.00/28.10	o 540791
28.49/28.56	o 549036
28.49/28.57	c   61 calls to solver(id=*d): best=0 lower=549036 upper=549037 
29.00/29.03	o 551356
29.39/29.49	o 555304
29.39/29.49	c   63 calls to solver(id=*d): best=0 lower=555304 upper=555305 
29.89/29.95	o 564259
30.39/30.42	o 565545
30.39/30.42	c   65 calls to solver(id=*d): best=0 lower=565545 upper=565546 
30.79/30.88	o 567732
31.29/31.35	o 571894
31.29/31.35	c   67 calls to solver(id=*d): best=0 lower=571894 upper=571895 
31.79/31.81	o 576585
32.19/32.28	o 581487
32.19/32.28	c   69 calls to solver(id=*d): best=0 lower=581487 upper=581488 
32.69/32.74	o 585046
33.19/33.21	o 590545
33.19/33.21	c   71 calls to solver(id=*d): best=0 lower=590545 upper=590546 
33.59/33.67	o 593134
34.10/34.13	o 596089
34.10/34.13	c   73 calls to solver(id=*d): best=0 lower=596089 upper=596090 
34.59/34.60	o 612683
35.00/35.06	o 621156
35.00/35.07	c   75 calls to solver(id=*d): best=0 lower=621156 upper=621157 
35.49/35.53	o 623956
35.89/36.00	o 628615
35.89/36.00	c   77 calls to solver(id=*d): best=0 lower=628615 upper=628616 
36.39/36.46	o 633845
36.89/36.93	o 636434
36.89/36.93	c   79 calls to solver(id=*d): best=0 lower=636434 upper=636435 
37.29/37.39	o 638232
37.79/37.86	o 649297
37.79/37.86	c   81 calls to solver(id=*d): best=0 lower=649297 upper=649298 
38.29/38.32	o 651052
38.69/38.79	o 651765
38.69/38.79	c   83 calls to solver(id=*d): best=0 lower=651765 upper=651766 
39.19/39.25	o 655239
39.69/39.71	o 663896
39.69/39.71	c   85 calls to solver(id=*d): best=0 lower=663896 upper=663897 
40.10/40.18	o 673516
40.59/40.64	o 680721
40.59/40.64	c   87 calls to solver(id=*d): best=0 lower=680721 upper=680722 
41.10/41.11	o 684621
41.49/41.57	o 688976
41.49/41.57	c   89 calls to solver(id=*d): best=0 lower=688976 upper=688977 
42.00/42.04	o 692911
42.49/42.50	o 701684
42.49/42.50	c   91 calls to solver(id=*d): best=0 lower=701684 upper=701685 
42.89/42.96	o 712635
43.39/43.43	o 713548
43.39/43.43	c   93 calls to solver(id=*d): best=0 lower=713548 upper=713549 
43.79/43.89	o 720158
44.29/44.36	o 726277
44.29/44.36	c   95 calls to solver(id=*d): best=0 lower=726277 upper=726278 
44.79/44.82	o 733180
45.19/45.29	o 743595
45.19/45.29	c   97 calls to solver(id=*d): best=0 lower=743595 upper=743596 
45.69/45.75	o 751023
46.19/46.22	o 751294
46.19/46.22	c   99 calls to solver(id=*d): best=0 lower=751294 upper=751295 
46.59/46.68	o 753614
47.10/47.15	o 783041
47.10/47.15	c  101 calls to solver(id=*d): best=0 lower=783041 upper=783042 
47.59/47.61	o 787984
48.00/48.08	o 791785
48.00/48.08	c  103 calls to solver(id=*d): best=0 lower=791785 upper=791786 
48.49/48.54	o 799320
49.00/49.01	o 802806
49.00/49.01	c  105 calls to solver(id=*d): best=0 lower=802806 upper=802807 
49.39/49.48	o 807505
49.89/49.94	o 810545
49.89/49.94	c  107 calls to solver(id=*d): best=0 lower=810545 upper=810546 
50.39/50.41	o 816384
50.79/50.87	o 816566
50.79/50.87	c  109 calls to solver(id=*d): best=0 lower=816566 upper=816567 
51.29/51.34	o 822653
51.79/51.81	o 829658
51.79/51.81	c  111 calls to solver(id=*d): best=0 lower=829658 upper=829659 
52.19/52.27	o 831102
52.69/52.74	o 840044
52.69/52.74	c  113 calls to solver(id=*d): best=0 lower=840044 upper=840045 
53.19/53.20	o 845534
53.59/53.67	o 846461
53.59/53.67	c  115 calls to solver(id=*d): best=0 lower=846461 upper=846462 
54.10/54.14	o 854683
54.59/54.60	o 862681
54.59/54.60	c  117 calls to solver(id=*d): best=0 lower=862681 upper=862682 
54.99/55.07	o 870920
55.49/55.53	o 879733
55.49/55.53	c  119 calls to solver(id=*d): best=0 lower=879733 upper=879734 
55.99/56.01	o 888430
56.39/56.47	o 891086
56.39/56.47	c  121 calls to solver(id=*d): best=0 lower=891086 upper=891087 
56.89/56.93	o 891503
57.39/57.40	o 905219
57.39/57.40	c  123 calls to solver(id=*d): best=0 lower=905219 upper=905220 
57.79/57.86	o 910075
58.29/58.33	o 915780
58.29/58.33	c  125 calls to solver(id=*d): best=0 lower=915780 upper=915781 
58.69/58.79	o 916647
59.19/59.26	o 917548
59.19/59.26	c  127 calls to solver(id=*d): best=0 lower=917548 upper=917549 
59.69/59.72	o 926162
60.09/60.19	o 930644
60.09/60.19	c  129 calls to solver(id=*d): best=0 lower=930644 upper=930645 
60.59/60.65	o 931570
61.09/61.12	o 935577
61.09/61.12	c  131 calls to solver(id=*d): best=0 lower=935577 upper=935578 
61.49/61.58	o 943632
61.99/62.05	o 948520
61.99/62.05	c  133 calls to solver(id=*d): best=0 lower=948520 upper=948521 
62.49/62.52	o 949122
62.89/62.98	o 955633
62.89/62.98	c  135 calls to solver(id=*d): best=0 lower=955633 upper=955634 
63.39/63.45	o 955724
63.89/63.91	o 956650
63.89/63.91	c  137 calls to solver(id=*d): best=0 lower=956650 upper=956651 
64.29/64.38	o 957805
64.79/64.84	o 966370
64.79/64.84	c  139 calls to solver(id=*d): best=0 lower=966370 upper=966371 
65.29/65.31	o 968040
65.69/65.77	o 974283
65.69/65.77	c  141 calls to solver(id=*d): best=0 lower=974283 upper=974284 
66.19/66.24	o 976772
66.69/66.71	o 981332
66.69/66.71	c  143 calls to solver(id=*d): best=0 lower=981332 upper=981333 
67.10/67.17	o 984531
67.59/67.64	o 989091
67.59/67.64	c  145 calls to solver(id=*d): best=0 lower=989091 upper=989092 
67.99/68.10	o 995949
68.49/68.57	o 996992
68.49/68.57	c  147 calls to solver(id=*d): best=0 lower=996992 upper=996993 
68.99/69.03	o 999641
69.49/69.50	o 1002130
69.49/69.50	c  149 calls to solver(id=*d): best=0 lower=1002130 upper=1002131 
69.89/69.98	o 1003230
70.39/70.44	o 1006854
70.39/70.44	c  151 calls to solver(id=*d): best=0 lower=1006854 upper=1006855 
70.89/70.91	o 1016721
71.29/71.37	o 1020960
71.29/71.37	c  153 calls to solver(id=*d): best=0 lower=1020960 upper=1020961 
71.79/71.84	o 1023724
72.29/72.31	o 1026337
72.29/72.31	c  155 calls to solver(id=*d): best=0 lower=1026337 upper=1026338 
72.69/72.77	o 1027623
73.19/73.24	o 1031779
73.19/73.24	c  157 calls to solver(id=*d): best=0 lower=1031779 upper=1031780 
73.69/73.70	o 1033587
74.10/74.17	o 1035007
74.10/74.17	c  159 calls to solver(id=*d): best=0 lower=1035007 upper=1035008 
74.59/74.64	o 1035690
75.49/75.56	o 1039302
75.49/75.56	c  161 calls to solver(id=*d): best=0 lower=1039302 upper=1039303 
76.39/76.48	o 1046398
77.29/77.39	o 1047378
77.29/77.39	c  163 calls to solver(id=*d): best=0 lower=1047378 upper=1047379 
78.29/78.31	o 1048815
78.69/78.78	o 1053384
78.69/78.78	c  165 calls to solver(id=*d): best=0 lower=1053384 upper=1053385 
79.19/79.24	o 1060626
79.69/79.70	o 1061703
79.69/79.70	c  167 calls to solver(id=*d): best=0 lower=1061703 upper=1061704 
80.59/80.62	o 1069964
81.49/81.54	o 1075230
81.49/81.54	c  169 calls to solver(id=*d): best=0 lower=1075230 upper=1075231 
82.39/82.46	o 1078768
83.29/83.37	o 1081259
83.29/83.37	c  171 calls to solver(id=*d): best=0 lower=1081259 upper=1081260 
84.29/84.31	o 1081502
85.19/85.23	o 1081821
85.19/85.23	c  173 calls to solver(id=*d): best=0 lower=1081821 upper=1081822 
85.59/85.69	o 1086153
86.59/86.63	o 1087377
86.59/86.63	c  175 calls to solver(id=*d): best=0 lower=1087377 upper=1087378 
86.99/87.09	o 1087468
87.49/87.55	o 1091269
87.49/87.55	c  177 calls to solver(id=*d): best=0 lower=1091269 upper=1091270 
87.99/88.01	o 1093041
88.39/88.47	o 1093954
88.39/88.48	c  179 calls to solver(id=*d): best=0 lower=1093954 upper=1093955 
89.29/89.39	o 1099549
90.29/90.30	o 1105048
90.29/90.30	c  181 calls to solver(id=*d): best=0 lower=1105048 upper=1105049 
90.69/90.76	o 1105122
91.59/91.68	o 1106837
91.59/91.68	c  183 calls to solver(id=*d): best=0 lower=1106837 upper=1106838 
92.49/92.59	o 1109526
92.99/93.05	o 1110674
92.99/93.05	c  185 calls to solver(id=*d): best=0 lower=1110674 upper=1110675 
93.49/93.51	o 1112431
94.39/94.42	o 1117187
94.39/94.42	c  187 calls to solver(id=*d): best=0 lower=1117187 upper=1117188 
95.29/95.33	o 1120321
96.19/96.25	o 1121332
96.19/96.25	c  189 calls to solver(id=*d): best=0 lower=1121332 upper=1121333 
96.69/96.71	o 1126214
97.58/97.63	o 1126436
97.58/97.63	c  191 calls to solver(id=*d): best=0 lower=1126436 upper=1126437 
98.48/98.54	o 1130060
98.88/99.00	o 1131637
98.88/99.00	c  193 calls to solver(id=*d): best=0 lower=1131637 upper=1131638 
99.38/99.46	o 1131721
99.88/99.92	o 1133436
99.88/99.92	c  195 calls to solver(id=*d): best=0 lower=1133436 upper=1133437 
100.78/100.83	o 1134801
102.09/102.19	o 1135497
102.09/102.19	c  197 calls to solver(id=*d): best=0 lower=1135497 upper=1135498 
102.58/102.65	o 1141707
103.48/103.56	o 1142784
103.48/103.56	c  199 calls to solver(id=*d): best=0 lower=1142784 upper=1142785 
103.99/104.02	o 1144058
105.28/105.38	o 1147620
105.28/105.38	c  201 calls to solver(id=*d): best=0 lower=1147620 upper=1147621 
106.68/106.74	o 1156233
108.09/108.11	o 1157219
108.09/108.11	c  203 calls to solver(id=*d): best=0 lower=1157219 upper=1157220 
108.49/108.57	o 1161446
109.89/109.95	o 1162830
109.89/109.95	c  205 calls to solver(id=*d): best=0 lower=1162830 upper=1162831 
111.29/111.31	o 1164883
2400.05/2399.90	
2400.05/2399.90	c *** INTERRUPTED ***
2400.05/2399.90	c call to solver        : 206
2400.05/2399.90	c
2400.05/2399.90	c restarts              : 112         
2400.05/2399.90	c conflicts             : 1682059      (701 /sec)
2400.05/2399.90	c decisions             : 11196336     (4665 /sec)
2400.05/2399.90	c propagations          : 226792593   (94497 /sec)
2400.05/2399.90	c root propagations     : 2000        
2400.05/2399.90	c filter calls          : 68992544       (28747 /sec)
2400.05/2399.90	c useless filter calls  : 43130964       (62 %)
2400.05/2399.90	c Memory used           : 49.79 MB
2400.05/2399.90	c Best bound time (wc)  : 111.31 s
2400.05/2399.90	c CPU time              : 2400.01 s
2400.05/2399.90	c real time             : 2399.9 s
2400.05/2399.90	
2400.05/2399.90	c nb Solutions = 206
2400.05/2399.90	s SATISFIABLE
2400.05/2399.90	c Best value found: 1164883
2400.05/2399.90	
2400.05/2399.90	
2400.05/2399.90	v <instantiation type='solution' cost='1164883'>
2400.05/2399.90	v <list>b[0] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[100] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[101] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[102] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[103] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[104] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[105] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[106] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[107] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[108] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[109] b[10] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[110] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[111] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[112] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[113] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[114] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[115] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[116] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[117] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[118] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[119] b[11] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[120] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[121] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[122] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[123] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[124] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[125] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[126] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[127] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[128] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[129] b[12] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[130] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[131] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[132] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[133] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[134] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[135] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[136] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[137] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[138] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[139] b[13] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[140] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[141] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[142] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[143] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[144] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[145] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[146] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[147] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[148] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[149] b[14] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[150] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[151] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[152] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[153] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[154] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[155] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[156] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[157] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[158] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[159] b[15] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[160] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[161] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[162] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[163] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[164] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[165] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[166] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[167] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[168] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[169] b[16] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[170] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[171] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[172] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[173] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[174] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[175] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[176] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[177] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[178] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[179] b[17] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[180] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[181] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[182] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[183] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[184] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[185] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[186] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[187] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[188] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[189] b[18] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[190] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[191] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[192] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[193] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[194] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[195] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[196] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[197] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[198] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999] b[199] b[19] b[1] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[20] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[21] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[22] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[23] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[24] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[25] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[26] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[27] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[28] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[29] b[2] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[30] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[31] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[32] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[33] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[34] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[35] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[36] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[37] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[38] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[39] b[3] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[40] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[41] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[42] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[43] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[44] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[45] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[46] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[47] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[48] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[49] b[4] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[50] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[51] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[52] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[53] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[54] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[55] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[56] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[57] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[58] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[59] b[5] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[60] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[61] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[62] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[63] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[64] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[65] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[66] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[67] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[68] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[69] b[6] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[70] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[71] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[72] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[73] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[74] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[75] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[76] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[77] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[78] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[79] b[7] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[80] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[81] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[82] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[83] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[84] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[85] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[86] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[87] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[88] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[89] b[8] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[90] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[91] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[92] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[93] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[94] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[95] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[96] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[97] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[98] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[99] b[9] </list>
2400.05/2399.90	v <values>0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
2400.05/2399.90	v </instantiation>
2400.05/2399.90

Verifier Data 

OK	1164883

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394833-1568355918/watcher-4394833-1568355918 -o /tmp/evaluation-result-4394833-1568355918/solver-4394833-1568355918 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568334353-31998 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4394833-1568355918.xml 

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

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=3739, runsolver pid=3736

[startup+0.100159 s]*
/proc/loadavg: 2.01 2.00 2.04 3/204 3740
/proc/meminfo: memFree=31621340/32770624 swapFree=67003472/67108860
[pid=3739] ppid=3736 vsize=31040 memory=7436 CPUtime=0.1 cores=1,3,5,7
/proc/3739/stat : 3739 (cosoco) R 3736 3739 31966 0 -1 4202496 2028 0 0 0 10 0 0 0 20 0 1 0 411831452 31784960 1859 33554432000 4194304 6210612 140723968293328 140723968289864 139775836560357 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 24158208 140723968295947 140723968296049 140723968296049 140723968298958 0
/proc/3739/statm: 7760 1859 837 493 0 1065 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31040 KiB
Current children cumulated memory: 7436 KiB

[startup+0.209745 s]*
/proc/loadavg: 2.01 2.00 2.04 3/204 3740
/proc/meminfo: memFree=31620304/32770624 swapFree=67003472/67108860
[pid=3739] ppid=3736 vsize=31832 memory=8228 CPUtime=0.2 cores=1,3,5,7
/proc/3739/stat : 3739 (cosoco) R 3736 3739 31966 0 -1 4202496 2280 0 0 0 20 0 0 0 20 0 1 0 411831452 32595968 2057 33554432000 4194304 6210612 140723968293328 140723968289864 139775836560357 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 24158208 140723968295947 140723968296049 140723968296049 140723968298958 0
/proc/3739/statm: 7958 2057 872 493 0 1263 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 31832 KiB
Current children cumulated memory: 8228 KiB

[startup+0.309269 s]*
/proc/loadavg: 2.01 2.00 2.04 3/204 3740
/proc/meminfo: memFree=31617328/32770624 swapFree=67003472/67108860
[pid=3739] ppid=3736 vsize=34872 memory=11396 CPUtime=0.3 cores=1,3,5,7
/proc/3739/stat : 3739 (cosoco) R 3736 3739 31966 0 -1 4202496 3032 0 0 0 30 0 0 0 20 0 1 0 411831452 35708928 2849 33554432000 4194304 6210612 140723968293328 140723968289864 139775836629547 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 24158208 140723968295947 140723968296049 140723968296049 140723968298958 0
/proc/3739/statm: 8718 2849 872 493 0 2023 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 34872 KiB
Current children cumulated memory: 11396 KiB

[startup+0.70029 s]
/proc/loadavg: 2.01 2.00 2.04 3/204 3740
/proc/meminfo: memFree=31612864/32770624 swapFree=67003472/67108860
[pid=3739] ppid=3736 vsize=40732 memory=17204 CPUtime=0.68 cores=1,3,5,7
/proc/3739/stat : 3739 (cosoco) R 3736 3739 31966 0 -1 4202496 4491 0 0 0 68 0 0 0 20 0 1 0 411831452 41709568 4301 33554432000 4194304 6210612 140723968293328 140723968289864 139775836629547 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 24158208 140723968295947 140723968296049 140723968296049 140723968298958 0
/proc/3739/statm: 10183 4301 873 493 0 3488 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40732 KiB
Current children cumulated memory: 17204 KiB

[startup+1.50029 s]
/proc/loadavg: 2.01 2.00 2.04 3/204 3740
/proc/meminfo: memFree=31607284/32770624 swapFree=67003472/67108860
[pid=3739] ppid=3736 vsize=46012 memory=22484 CPUtime=1.49 cores=1,3,5,7
/proc/3739/stat : 3739 (cosoco) R 3736 3739 31966 0 -1 4202496 5806 0 0 0 148 1 0 0 20 0 1 0 411831452 47116288 5621 33554432000 4194304 6210612 140723968293328 140723968291464 5157084 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 24158208 140723968295947 140723968296049 140723968296049 140723968298958 0
/proc/3739/statm: 11503 5621 873 493 0 4808 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 46012 KiB
Current children cumulated memory: 22484 KiB

[startup+3.10949 s]
/proc/loadavg: 2.01 2.00 2.04 3/204 3740
/proc/meminfo: memFree=31605628/32770624 swapFree=67003472/67108860
[pid=3739] ppid=3736 vsize=46012 memory=22596 CPUtime=3.1 cores=1,3,5,7
/proc/3739/stat : 3739 (cosoco) R 3736 3739 31966 0 -1 4202496 9268 0 0 0 309 1 0 0 20 0 1 0 411831452 47116288 5649 33554432000 4194304 6210612 140723968293328 140723968291464 139775836629547 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24158208 140723968295947 140723968296049 140723968296049 140723968298958 0
/proc/3739/statm: 11503 5649 873 493 0 4808 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 46012 KiB
Current children cumulated memory: 22596 KiB

[startup+6.30025 s]
/proc/loadavg: 2.01 2.00 2.04 3/204 3740
/proc/meminfo: memFree=31604592/32770624 swapFree=67003472/67108860
[pid=3739] ppid=3736 vsize=46692 memory=23352 CPUtime=6.29 cores=1,3,5,7
/proc/3739/stat : 3739 (cosoco) R 3736 3739 31966 0 -1 4202496 13282 0 0 0 627 2 0 0 20 0 1 0 411831452 47812608 5838 33554432000 4194304 6210612 140723968293328 140723968281208 5155888 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24158208 140723968295947 140723968296049 140723968296049 140723968298958 0
/proc/3739/statm: 11673 5838 873 493 0 4978 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 46692 KiB
Current children cumulated memory: 23352 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.04 3/204 3740
/proc/meminfo: memFree=31602824/32770624 swapFree=67003472/67108860
[pid=3739] ppid=3736 vsize=48568 memory=25132 CPUtime=12.69 cores=1,3,5,7
/proc/3739/stat : 3739 (cosoco) R 3736 3739 31966 0 -1 4202496 21129 0 0 0 1267 2 0 0 20 0 1 0 411831452 49733632 6283 33554432000 4194304 6210612 140723968293328 140723968291464 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24158208 140723968295947 140723968296049 140723968296049 140723968298958 0
/proc/3739/statm: 12142 6283 873 493 0 5447 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 48568 KiB
Current children cumulated memory: 25132 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.04 3/203 3743
/proc/meminfo: memFree=31599988/32770624 swapFree=67003472/67108860
[pid=3739] ppid=3736 vsize=49356 memory=25968 CPUtime=25.49 cores=1,3,5,7
/proc/3739/stat : 3739 (cosoco) R 3736 3739 31966 0 -1 4202496 26243 0 0 0 2546 3 0 0 20 0 1 0 411831452 50540544 6492 33554432000 4194304 6210612 140723968293328 140723968281208 5157808 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24158208 140723968295947 140723968296049 140723968296049 140723968298958 0
/proc/3739/statm: 12339 6492 873 493 0 5644 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 49356 KiB
Current children cumulated memory: 25968 KiB

[startup+51.1092 s]
/proc/loadavg: 2.00 2.00 2.04 3/204 3745
/proc/meminfo: memFree=31600228/32770624 swapFree=67003472/67108860
[pid=3739] ppid=3736 vsize=50036 memory=26588 CPUtime=51.1 cores=1,3,5,7
/proc/3739/stat : 3739 (cosoco) R 3736 3739 31966 0 -1 4202496 26915 0 0 0 5107 3 0 0 20 0 1 0 411831452 51236864 6647 33554432000 4194304 6210612 140723968293328 140723968291464 5249738 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24158208 140723968295947 140723968296049 140723968296049 140723968298958 0
/proc/3739/statm: 12509 6647 873 493 0 5814 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 50036 KiB
Current children cumulated memory: 26588 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/204 3749
/proc/meminfo: memFree=31599456/32770624 swapFree=67003472/67108860
[pid=3739] ppid=3736 vsize=50840 memory=27460 CPUtime=102.28 cores=1,3,5,7
/proc/3739/stat : 3739 (cosoco) R 3736 3739 31966 0 -1 4202496 28152 0 0 0 10225 3 0 0 20 0 1 0 411831452 52060160 6865 33554432000 4194304 6210612 140723968293328 140723968291464 5156097 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24158208 140723968295947 140723968296049 140723968296049 140723968298958 0
/proc/3739/statm: 12710 6865 873 493 0 6015 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 50840 KiB
Current children cumulated memory: 27460 KiB

[startup+162.3 s]
/proc/loadavg: 2.22 2.05 2.06 3/205 3755
/proc/meminfo: memFree=31599324/32770624 swapFree=67003472/67108860
[pid=3739] ppid=3736 vsize=50980 memory=27544 CPUtime=162.29 cores=1,3,5,7
/proc/3739/stat : 3739 (cosoco) R 3736 3739 31966 0 -1 4202496 28842 0 0 0 16226 3 0 0 20 0 1 0 411831452 52203520 6886 33554432000 4194304 6210612 140723968293328 140723968290568 5155888 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24158208 140723968295947 140723968296049 140723968296049 140723968298958 0
/proc/3739/statm: 12745 6886 873 493 0 6050 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27544 KiB

[startup+222.3 s]
/proc/loadavg: 2.47 2.17 2.10 3/204 3760
/proc/meminfo: memFree=31599244/32770624 swapFree=67003472/67108860
[pid=3739] ppid=3736 vsize=50980 memory=27552 CPUtime=222.3 cores=1,3,5,7
/proc/3739/stat : 3739 (cosoco) R 3736 3739 31966 0 -1 4202496 29043 0 0 0 22226 4 0 0 20 0 1 0 411831452 52203520 6888 33554432000 4194304 6210612 140723968293328 140723968290568 5249664 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24158208 140723968295947 140723968296049 140723968296049 140723968298958 0
/proc/3739/statm: 12745 6888 873 493 0 6050 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27552 KiB

[startup+282.3 s]
/proc/loadavg: 2.13 2.12 2.09 3/203 3824
/proc/meminfo: memFree=31632408/32770624 swapFree=67003472/67108860
[pid=3739] ppid=3736 vsize=50980 memory=27552 CPUtime=282.3 cores=1,3,5,7
/proc/3739/stat : 3739 (cosoco) R 3736 3739 31966 0 -1 4202496 29049 0 0 0 28226 4 0 0 20 0 1 0 411831452 52203520 6888 33554432000 4194304 6210612 140723968293328 140723968290568 5154977 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24158208 140723968295947 140723968296049 140723968296049 140723968298958 0
/proc/3739/statm: 12745 6888 873 493 0 6050 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27552 KiB

[startup+342.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/205 3839
/proc/meminfo: memFree=31631788/32770624 swapFree=67003472/67108860
[pid=3739] ppid=3736 vsize=50980 memory=27552 CPUtime=342.3 cores=1,3,5,7
/proc/3739/stat : 3739 (cosoco) R 3736 3739 31966 0 -1 4202496 29244 0 0 0 34226 4 0 0 20 0 1 0 411831452 52203520 6888 33554432000 4194304 6210612 140723968293328 140723968290568 5154977 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24158208 140723968295947 140723968296049 140723968296049 140723968298958 0
/proc/3739/statm: 12745 6888 873 493 0 6050 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27552 KiB

[startup+402.3 s]
/proc/loadavg: 1.96 2.07 2.07 3/205 3844
/proc/meminfo: memFree=31631528/32770624 swapFree=67003472/67108860
[pid=3739] ppid=3736 vsize=50980 memory=27552 CPUtime=402.3 cores=1,3,5,7
/proc/3739/stat : 3739 (cosoco) R 3736 3739 31966 0 -1 4202496 29248 0 0 0 40226 4 0 0 20 0 1 0 411831452 52203520 6888 33554432000 4194304 6210612 140723968293328 140723968290568 5154977 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24158208 140723968295947 140723968296049 140723968296049 140723968298958 0
/proc/3739/statm: 12745 6888 873 493 0 6050 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27552 KiB

[startup+462.3 s]
/proc/loadavg: 1.99 2.06 2.06 3/205 3848
/proc/meminfo: memFree=31631696/32770624 swapFree=67003472/67108860
[pid=3739] ppid=3736 vsize=50980 memory=27552 CPUtime=462.31 cores=1,3,5,7
/proc/3739/stat : 3739 (cosoco) R 3736 3739 31966 0 -1 4202496 29443 0 0 0 46227 4 0 0 20 0 1 0 411831452 52203520 6888 33554432000 4194304 6210612 140723968293328 140723968290568 5156108 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 24158208 140723968295947 140723968296049 140723968296049 140723968298958 0
/proc/3739/statm: 12745 6888 873 493 0 6050 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27552 KiB


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

/proc/3739/statm: 12745 6888 873 493 0 6050 0
Current children cumulated CPU time: 1662.4 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27552 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 3967
/proc/meminfo: memFree=31630152/32770624 swapFree=67003480/67108860
[pid=3739] ppid=3736 vsize=50980 memory=27552 CPUtime=1722.4 cores=1,3,5,7
/proc/3739/stat : 3739 (cosoco) R 3736 3739 31966 0 -1 4202496 31347 0 0 0 172235 5 0 0 20 0 1 0 411831452 52203520 6888 33554432000 4194304 6210612 140723968293328 140723968290568 5249712 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 24158208 140723968295947 140723968296049 140723968296049 140723968298958 0
/proc/3739/statm: 12745 6888 873 493 0 6050 0
Current children cumulated CPU time: 1722.4 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27552 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 3973
/proc/meminfo: memFree=31629596/32770624 swapFree=67003480/67108860
[pid=3739] ppid=3736 vsize=50980 memory=27552 CPUtime=1782.41 cores=1,3,5,7
/proc/3739/stat : 3739 (cosoco) R 3736 3739 31966 0 -1 4202496 31494 0 0 0 178236 5 0 0 20 0 1 0 411831452 52203520 6888 33554432000 4194304 6210612 140723968293328 140723968290568 5155002 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 24158208 140723968295947 140723968296049 140723968296049 140723968298958 0
/proc/3739/statm: 12745 6888 873 493 0 6050 0
Current children cumulated CPU time: 1782.41 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27552 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 3978
/proc/meminfo: memFree=31630288/32770624 swapFree=67003480/67108860
[pid=3739] ppid=3736 vsize=50980 memory=27552 CPUtime=1842.41 cores=1,3,5,7
/proc/3739/stat : 3739 (cosoco) R 3736 3739 31966 0 -1 4202496 31541 0 0 0 184236 5 0 0 20 0 1 0 411831452 52203520 6888 33554432000 4194304 6210612 140723968293328 140723968290568 5157060 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 24158208 140723968295947 140723968296049 140723968296049 140723968298958 0
/proc/3739/statm: 12745 6888 873 493 0 6050 0
Current children cumulated CPU time: 1842.41 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27552 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 3982
/proc/meminfo: memFree=31630476/32770624 swapFree=67003480/67108860
[pid=3739] ppid=3736 vsize=50980 memory=27552 CPUtime=1902.42 cores=1,3,5,7
/proc/3739/stat : 3739 (cosoco) R 3736 3739 31966 0 -1 4202496 31698 0 0 0 190237 5 0 0 20 0 1 0 411831452 52203520 6888 33554432000 4194304 6210612 140723968293328 140723968290568 5155436 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 24158208 140723968295947 140723968296049 140723968296049 140723968298958 0
/proc/3739/statm: 12745 6888 873 493 0 6050 0
Current children cumulated CPU time: 1902.42 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27552 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 3989
/proc/meminfo: memFree=31630308/32770624 swapFree=67003480/67108860
[pid=3739] ppid=3736 vsize=50980 memory=27552 CPUtime=1962.42 cores=1,3,5,7
/proc/3739/stat : 3739 (cosoco) R 3736 3739 31966 0 -1 4202496 31698 0 0 0 196237 5 0 0 20 0 1 0 411831452 52203520 6888 33554432000 4194304 6210612 140723968293328 140723968290568 5155888 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 24158208 140723968295947 140723968296049 140723968296049 140723968298958 0
/proc/3739/statm: 12745 6888 873 493 0 6050 0
Current children cumulated CPU time: 1962.42 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27552 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 3994
/proc/meminfo: memFree=31630404/32770624 swapFree=67003480/67108860
[pid=3739] ppid=3736 vsize=50980 memory=27564 CPUtime=2022.43 cores=1,3,5,7
/proc/3739/stat : 3739 (cosoco) R 3736 3739 31966 0 -1 4202496 31892 0 0 0 202238 5 0 0 20 0 1 0 411831452 52203520 6891 33554432000 4194304 6210612 140723968293328 140723968290568 5155157 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 24158208 140723968295947 140723968296049 140723968296049 140723968298958 0
/proc/3739/statm: 12745 6891 873 493 0 6050 0
Current children cumulated CPU time: 2022.43 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27564 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 3998
/proc/meminfo: memFree=31630468/32770624 swapFree=67003480/67108860
[pid=3739] ppid=3736 vsize=50980 memory=27564 CPUtime=2082.43 cores=1,3,5,7
/proc/3739/stat : 3739 (cosoco) R 3736 3739 31966 0 -1 4202496 31892 0 0 0 208238 5 0 0 20 0 1 0 411831452 52203520 6891 33554432000 4194304 6210612 140723968293328 140723968290568 5154985 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 24158208 140723968295947 140723968296049 140723968296049 140723968298958 0
/proc/3739/statm: 12745 6891 873 493 0 6050 0
Current children cumulated CPU time: 2082.43 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27564 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 4012
/proc/meminfo: memFree=31628960/32770624 swapFree=67003480/67108860
[pid=3739] ppid=3736 vsize=50980 memory=27564 CPUtime=2142.43 cores=1,3,5,7
/proc/3739/stat : 3739 (cosoco) R 3736 3739 31966 0 -1 4202496 32039 0 0 0 214238 5 0 0 20 0 1 0 411831452 52203520 6891 33554432000 4194304 6210612 140723968293328 140723968290568 5155888 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 24158208 140723968295947 140723968296049 140723968296049 140723968298958 0
/proc/3739/statm: 12745 6891 873 493 0 6050 0
Current children cumulated CPU time: 2142.43 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27564 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 4039
/proc/meminfo: memFree=31628360/32770624 swapFree=67003480/67108860
[pid=3739] ppid=3736 vsize=50980 memory=27564 CPUtime=2202.44 cores=1,3,5,7
/proc/3739/stat : 3739 (cosoco) R 3736 3739 31966 0 -1 4202496 32084 0 0 0 220239 5 0 0 20 0 1 0 411831452 52203520 6891 33554432000 4194304 6210612 140723968293328 140723968290568 5155888 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 24158208 140723968295947 140723968296049 140723968296049 140723968298958 0
/proc/3739/statm: 12745 6891 873 493 0 6050 0
Current children cumulated CPU time: 2202.44 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27564 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 4044
/proc/meminfo: memFree=31629568/32770624 swapFree=67003480/67108860
[pid=3739] ppid=3736 vsize=50980 memory=27564 CPUtime=2262.44 cores=1,3,5,7
/proc/3739/stat : 3739 (cosoco) R 3736 3739 31966 0 -1 4202496 32232 0 0 0 226239 5 0 0 20 0 1 0 411831452 52203520 6891 33554432000 4194304 6210612 140723968293328 140723968290568 5156097 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 24158208 140723968295947 140723968296049 140723968296049 140723968298958 0
/proc/3739/statm: 12745 6891 873 493 0 6050 0
Current children cumulated CPU time: 2262.44 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27564 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/206 4050
/proc/meminfo: memFree=31629144/32770624 swapFree=67003480/67108860
[pid=3739] ppid=3736 vsize=50980 memory=27564 CPUtime=2322.45 cores=1,3,5,7
/proc/3739/stat : 3739 (cosoco) R 3736 3739 31966 0 -1 4202496 32232 0 0 0 232240 5 0 0 20 0 1 0 411831452 52203520 6891 33554432000 4194304 6210612 140723968293328 140723968290568 5155888 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 24158208 140723968295947 140723968296049 140723968296049 140723968298958 0
/proc/3739/statm: 12745 6891 873 493 0 6050 0
Current children cumulated CPU time: 2322.45 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27564 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/206 4055
/proc/meminfo: memFree=31629376/32770624 swapFree=67003480/67108860
[pid=3739] ppid=3736 vsize=50980 memory=27564 CPUtime=2382.45 cores=1,3,5,7
/proc/3739/stat : 3739 (cosoco) R 3736 3739 31966 0 -1 4202496 32426 0 0 0 238240 5 0 0 20 0 1 0 411831452 52203520 6891 33554432000 4194304 6210612 140723968293328 140723968290568 5155888 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 24158208 140723968295947 140723968296049 140723968296049 140723968298958 0
/proc/3739/statm: 12745 6891 873 493 0 6050 0
Current children cumulated CPU time: 2382.45 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27564 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/206 4056
/proc/meminfo: memFree=31628544/32770624 swapFree=67003480/67108860
[pid=3739] ppid=3736 vsize=50980 memory=27564 CPUtime=2400.05 cores=1,3,5,7
/proc/3739/stat : 3739 (cosoco) R 3736 3739 31966 0 -1 4202496 32426 0 0 0 240000 5 0 0 20 0 1 0 411831452 52203520 6891 33554432000 4194304 6210612 140723968293328 140723968290568 5155149 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 24158208 140723968295947 140723968296049 140723968296049 140723968298958 0
/proc/3739/statm: 12745 6891 873 493 0 6050 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27564 KiB

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

[startup+2399.9 s]
# the end of solver process 3739 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2400.01 s, system=0.054003 s

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

[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/206 4056
/proc/meminfo: memFree=31628544/32770624 swapFree=67003480/67108860
[pid=3739] ppid=3736 vsize=50980 memory=27564 CPUtime=2400.05 cores=1,3,5,7
/proc/3739/stat : 3739 (cosoco) R 3736 3739 31966 0 -1 4202496 32426 0 0 0 240000 5 0 0 20 0 1 0 411831452 52203520 6891 33554432000 4194304 6210612 140723968293328 140723968290568 5155149 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 24158208 140723968295947 140723968296049 140723968296049 140723968298958 0
/proc/3739/statm: 12745 6891 873 493 0 6050 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27564 KiB

Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.06
CPU user time (s): 2400.01
CPU system time (s): 0.054003
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 50980
Max. memory (cumulated for all children) (KiB): 27564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.054003
maximum resident set size= 27632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32501
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 1037


# summary of solver processes directly reported to runsolver:
#   pid: 3739
#   total CPU time (s): 2400.06
#   total CPU user time (s): 2400.01
#   total CPU system time (s): 0.054003

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.00213 second user time and 15.1376 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-13 08:24:39
IDJOB=4394833
IDBENCH=141147
IDSOLVER=2830
FILE ID=node133/4394833-1568355918
RUNJOBID= node133-1568334353-31998
PBS_JOBID= 21701160
Free space on /tmp= 55112 MiB

SOLVER NAME= cosoco 2
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay200_c18.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394833-1568355918/watcher-4394833-1568355918 -o /tmp/evaluation-result-4394833-1568355918/solver-4394833-1568355918 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568334353-31998 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4394833-1568355918.xml

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

MD5SUM BENCH= ef8d95b3b89bfc5ccba73a2d09f74d17
RANDOM SEED=1715900557

node133.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.18
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.18
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.18
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.18
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:        31625060 kB
MemAvailable:   31854904 kB
Buffers:          144476 kB
Cached:           369188 kB
SwapCached:         3476 kB
Active:           314252 kB
Inactive:         251812 kB
Active(anon):      76376 kB
Inactive(anon):    15724 kB
Active(file):     237876 kB
Inactive(file):   236088 kB
Unevictable:      111240 kB
Mlocked:          111240 kB
SwapTotal:      67108860 kB
SwapFree:       67003472 kB
Dirty:              2796 kB
Writeback:             0 kB
AnonPages:        169048 kB
Mapped:            44892 kB
Shmem:             31332 kB
Slab:             172204 kB
SReclaimable:     143432 kB
SUnreclaim:        28772 kB
KernelStack:        3840 kB
PageTables:         5740 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     575664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    124928 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 55108 MiB
End job on node133 at 2019-09-13 09:04:39