Trace number 4397607

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 2.0SAT (TO)1164883 2400.1 2400.3

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.31/0.38	c
0.31/0.38	c This is cosoco 2.00 --  
0.31/0.38	c
0.31/0.38	c command line: cosoco -lc -model -restarts -stick HOME/instance-4397607-1568591863.xml 
0.31/0.38	c enable optimization
0.31/0.38	c ========================================[ Problem Statistics ]===========================================
0.31/0.38	c |                                                                                                       
0.31/0.38	c |  Parse time        :         0.10 s 
0.31/0.38	c |
0.31/0.38	c |               Variables: 2000
0.31/0.38	c |            Domain Sizes: 2..2
0.31/0.38	c |
0.31/0.38	c |             Constraints: 201
0.31/0.38	c |                   Arity: 36..2000
0.31/0.38	c | 
0.31/0.38	c |                   Types: 
0.31/0.38	c |                          Sum: 201
0.31/0.38	c |                          
0.31/0.38	c |               Objective: Maximize Sum
0.31/0.38	
0.31/0.38	c =========================================================================================================
0.31/0.38	o 0
0.31/0.39	c    1 calls to solver(id=*d): best=0 lower=0 upper=1 
0.79/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.73	o 40048
3.19/3.20	o 41547
3.19/3.20	c    7 calls to solver(id=*d): best=0 lower=41547 upper=41548 
3.59/3.67	o 45951
4.09/4.14	o 48192
4.09/4.14	c    9 calls to solver(id=*d): best=0 lower=48192 upper=48193 
4.59/4.61	o 53961
5.00/5.09	o 58019
5.00/5.09	c   11 calls to solver(id=*d): best=0 lower=58019 upper=58020 
5.49/5.56	o 82443
6.00/6.03	o 101743
6.00/6.03	c   13 calls to solver(id=*d): best=0 lower=101743 upper=101744 
6.49/6.50	o 121776
6.89/6.97	o 125439
6.89/6.97	c   15 calls to solver(id=*d): best=0 lower=125439 upper=125440 
7.39/7.44	o 128406
7.89/7.91	o 131972
7.89/7.91	c   17 calls to solver(id=*d): best=0 lower=131972 upper=131973 
8.29/8.38	o 138757
8.79/8.85	o 144592
8.79/8.85	c   19 calls to solver(id=*d): best=0 lower=144592 upper=144593 
9.29/9.32	o 151913
9.69/9.79	o 175904
9.69/9.79	c   21 calls to solver(id=*d): best=0 lower=175904 upper=175905 
10.19/10.26	o 190939
10.69/10.73	o 195441
10.69/10.73	c   23 calls to solver(id=*d): best=0 lower=195441 upper=195442 
11.19/11.20	o 212301
11.59/11.67	o 221109
11.59/11.67	c   25 calls to solver(id=*d): best=0 lower=221109 upper=221110 
12.10/12.15	o 250364
12.59/12.62	o 251941
12.59/12.62	c   27 calls to solver(id=*d): best=0 lower=251941 upper=251942 
13.00/13.09	o 256014
13.49/13.56	o 279135
13.49/13.57	c   29 calls to solver(id=*d): best=0 lower=279135 upper=279136 
13.99/14.04	o 281878
14.49/14.51	o 286382
14.49/14.51	c   31 calls to solver(id=*d): best=0 lower=286382 upper=286383 
14.89/14.98	o 300259
15.39/15.46	o 303883
15.39/15.46	c   33 calls to solver(id=*d): best=0 lower=303883 upper=303884 
15.89/15.93	o 322604
16.39/16.41	o 355166
16.39/16.41	c   35 calls to solver(id=*d): best=0 lower=355166 upper=355167 
16.79/16.88	o 381618
17.29/17.36	o 384340
17.29/17.36	c   37 calls to solver(id=*d): best=0 lower=384340 upper=384341 
17.78/17.83	o 389672
18.28/18.30	o 395372
18.28/18.30	c   39 calls to solver(id=*d): best=0 lower=395372 upper=395373 
18.68/18.78	o 395507
19.18/19.25	o 400796
19.18/19.25	c   41 calls to solver(id=*d): best=0 lower=400796 upper=400797 
19.68/19.73	o 417245
20.18/20.20	o 426061
20.18/20.20	c   43 calls to solver(id=*d): best=0 lower=426061 upper=426062 
20.58/20.67	o 438187
21.09/21.15	o 443774
21.09/21.15	c   45 calls to solver(id=*d): best=0 lower=443774 upper=443775 
21.58/21.62	o 449491
21.99/22.10	o 468917
21.99/22.10	c   47 calls to solver(id=*d): best=0 lower=468917 upper=468918 
22.48/22.57	o 470240
22.99/23.05	o 476380
22.99/23.05	c   49 calls to solver(id=*d): best=0 lower=476380 upper=476381 
23.48/23.52	o 483566
23.88/24.00	o 490148
23.88/24.00	c   51 calls to solver(id=*d): best=0 lower=490148 upper=490149 
24.38/24.47	o 490500
24.88/24.95	o 490852
24.88/24.95	c   53 calls to solver(id=*d): best=0 lower=490852 upper=490853 
25.38/25.42	o 506311
25.89/25.90	o 507480
25.89/25.90	c   55 calls to solver(id=*d): best=0 lower=507480 upper=507481 
26.29/26.37	o 514838
26.79/26.85	o 519568
26.79/26.85	c   57 calls to solver(id=*d): best=0 lower=519568 upper=519569 
27.29/27.33	o 528729
27.79/27.80	o 535471
27.79/27.80	c   59 calls to solver(id=*d): best=0 lower=535471 upper=535472 
28.19/28.28	o 540791
28.69/28.75	o 549036
28.69/28.75	c   61 calls to solver(id=*d): best=0 lower=549036 upper=549037 
29.19/29.23	o 551356
29.69/29.71	o 555304
29.69/29.71	c   63 calls to solver(id=*d): best=0 lower=555304 upper=555305 
30.10/30.18	o 564259
30.59/30.66	o 565545
30.59/30.66	c   65 calls to solver(id=*d): best=0 lower=565545 upper=565546 
31.10/31.14	o 567732
31.59/31.61	o 571894
31.59/31.61	c   67 calls to solver(id=*d): best=0 lower=571894 upper=571895 
32.00/32.09	o 576585
32.49/32.57	o 581487
32.49/32.57	c   69 calls to solver(id=*d): best=0 lower=581487 upper=581488 
33.00/33.04	o 585046
33.49/33.52	o 590545
33.49/33.52	c   71 calls to solver(id=*d): best=0 lower=590545 upper=590546 
33.89/34.00	o 593134
34.39/34.47	o 596089
34.39/34.47	c   73 calls to solver(id=*d): best=0 lower=596089 upper=596090 
34.89/34.95	o 612683
35.39/35.43	o 621156
35.39/35.43	c   75 calls to solver(id=*d): best=0 lower=621156 upper=621157 
35.89/35.91	o 623956
36.29/36.38	o 628615
36.29/36.38	c   77 calls to solver(id=*d): best=0 lower=628615 upper=628616 
36.79/36.86	o 633845
37.29/37.34	o 636434
37.29/37.34	c   79 calls to solver(id=*d): best=0 lower=636434 upper=636435 
37.79/37.82	o 638232
38.19/38.29	o 649297
38.19/38.29	c   81 calls to solver(id=*d): best=0 lower=649297 upper=649298 
38.69/38.77	o 651052
39.19/39.25	o 651765
39.19/39.25	c   83 calls to solver(id=*d): best=0 lower=651765 upper=651766 
39.69/39.73	o 655239
40.18/40.20	o 663896
40.18/40.21	c   85 calls to solver(id=*d): best=0 lower=663896 upper=663897 
40.58/40.68	o 673516
41.09/41.16	o 680721
41.09/41.16	c   87 calls to solver(id=*d): best=0 lower=680721 upper=680722 
41.58/41.64	o 684621
42.09/42.11	o 688976
42.09/42.11	c   89 calls to solver(id=*d): best=0 lower=688976 upper=688977 
42.48/42.59	o 692911
42.99/43.07	o 701684
42.99/43.07	c   91 calls to solver(id=*d): best=0 lower=701684 upper=701685 
43.48/43.54	o 712635
43.99/44.02	o 713548
43.99/44.02	c   93 calls to solver(id=*d): best=0 lower=713548 upper=713549 
44.48/44.50	o 720158
44.88/44.97	o 726277
44.88/44.97	c   95 calls to solver(id=*d): best=0 lower=726277 upper=726278 
45.38/45.45	o 733180
45.88/45.93	o 743595
45.88/45.93	c   97 calls to solver(id=*d): best=0 lower=743595 upper=743596 
46.38/46.40	o 751023
46.78/46.88	o 751294
46.78/46.88	c   99 calls to solver(id=*d): best=0 lower=751294 upper=751295 
47.28/47.36	o 753614
47.78/47.84	o 783041
47.78/47.84	c  101 calls to solver(id=*d): best=0 lower=783041 upper=783042 
48.28/48.32	o 787984
48.78/48.80	o 791785
48.78/48.80	c  103 calls to solver(id=*d): best=0 lower=791785 upper=791786 
49.18/49.27	o 799320
49.68/49.75	o 802806
49.68/49.75	c  105 calls to solver(id=*d): best=0 lower=802806 upper=802807 
50.18/50.23	o 807505
50.68/50.71	o 810545
50.68/50.71	c  107 calls to solver(id=*d): best=0 lower=810545 upper=810546 
51.09/51.19	o 816384
51.58/51.67	o 816566
51.58/51.67	c  109 calls to solver(id=*d): best=0 lower=816566 upper=816567 
52.09/52.15	o 822653
52.58/52.63	o 829658
52.58/52.63	c  111 calls to solver(id=*d): best=0 lower=829658 upper=829659 
53.09/53.10	o 831102
53.48/53.58	o 840044
53.48/53.58	c  113 calls to solver(id=*d): best=0 lower=840044 upper=840045 
53.99/54.06	o 845534
54.48/54.54	o 846461
54.48/54.54	c  115 calls to solver(id=*d): best=0 lower=846461 upper=846462 
54.99/55.02	o 854683
55.38/55.50	o 862681
55.48/55.50	c  117 calls to solver(id=*d): best=0 lower=862681 upper=862682 
55.88/55.97	o 870920
56.38/56.45	o 879733
56.38/56.45	c  119 calls to solver(id=*d): best=0 lower=879733 upper=879734 
56.88/56.94	o 888430
57.38/57.41	o 891086
57.38/57.42	c  121 calls to solver(id=*d): best=0 lower=891086 upper=891087 
57.78/57.89	o 891503
58.28/58.37	o 905219
58.28/58.37	c  123 calls to solver(id=*d): best=0 lower=905219 upper=905220 
58.78/58.84	o 910075
59.28/59.32	o 915780
59.28/59.32	c  125 calls to solver(id=*d): best=0 lower=915780 upper=915781 
59.78/59.80	o 916647
60.18/60.28	o 917548
60.18/60.28	c  127 calls to solver(id=*d): best=0 lower=917548 upper=917549 
60.68/60.76	o 926162
61.18/61.24	o 930644
61.18/61.24	c  129 calls to solver(id=*d): best=0 lower=930644 upper=930645 
61.68/61.71	o 931570
62.09/62.19	o 935577
62.09/62.19	c  131 calls to solver(id=*d): best=0 lower=935577 upper=935578 
62.58/62.67	o 943632
63.09/63.15	o 948520
63.09/63.15	c  133 calls to solver(id=*d): best=0 lower=948520 upper=948521 
63.58/63.63	o 949122
64.09/64.10	o 955633
64.09/64.11	c  135 calls to solver(id=*d): best=0 lower=955633 upper=955634 
64.48/64.58	o 955724
64.99/65.06	o 956650
64.99/65.06	c  137 calls to solver(id=*d): best=0 lower=956650 upper=956651 
65.48/65.54	o 957805
65.99/66.02	o 966370
65.99/66.02	c  139 calls to solver(id=*d): best=0 lower=966370 upper=966371 
66.38/66.49	o 968040
66.88/66.97	o 974283
66.88/66.97	c  141 calls to solver(id=*d): best=0 lower=974283 upper=974284 
67.38/67.45	o 976772
67.88/67.93	o 981332
67.88/67.93	c  143 calls to solver(id=*d): best=0 lower=981332 upper=981333 
68.38/68.41	o 984531
68.78/68.89	o 989091
68.78/68.89	c  145 calls to solver(id=*d): best=0 lower=989091 upper=989092 
69.28/69.37	o 995949
69.78/69.84	o 996992
69.78/69.85	c  147 calls to solver(id=*d): best=0 lower=996992 upper=996993 
70.28/70.32	o 999641
70.78/70.80	o 1002130
70.78/70.80	c  149 calls to solver(id=*d): best=0 lower=1002130 upper=1002131 
71.18/71.29	o 1003230
71.68/71.77	o 1006854
71.68/71.77	c  151 calls to solver(id=*d): best=0 lower=1006854 upper=1006855 
72.18/72.25	o 1016721
72.68/72.72	o 1020960
72.68/72.72	c  153 calls to solver(id=*d): best=0 lower=1020960 upper=1020961 
73.18/73.20	o 1023724
73.58/73.68	o 1026337
73.58/73.69	c  155 calls to solver(id=*d): best=0 lower=1026337 upper=1026338 
74.09/74.16	o 1027623
74.58/74.64	o 1031779
74.58/74.64	c  157 calls to solver(id=*d): best=0 lower=1031779 upper=1031780 
75.09/75.11	o 1033587
75.48/75.59	o 1035007
75.48/75.59	c  159 calls to solver(id=*d): best=0 lower=1035007 upper=1035008 
75.99/76.08	o 1035690
76.99/77.03	o 1039302
76.99/77.03	c  161 calls to solver(id=*d): best=0 lower=1039302 upper=1039303 
77.88/77.96	o 1046398
78.88/78.91	o 1047378
78.88/78.91	c  163 calls to solver(id=*d): best=0 lower=1047378 upper=1047379 
79.78/79.85	o 1048815
80.28/80.33	o 1053384
80.28/80.33	c  165 calls to solver(id=*d): best=0 lower=1053384 upper=1053385 
80.78/80.81	o 1060626
81.18/81.28	o 1061703
81.18/81.28	c  167 calls to solver(id=*d): best=0 lower=1061703 upper=1061704 
82.18/82.22	o 1069964
83.09/83.16	o 1075230
83.09/83.16	c  169 calls to solver(id=*d): best=0 lower=1075230 upper=1075231 
84.09/84.11	o 1078768
84.98/85.04	o 1081259
84.98/85.04	c  171 calls to solver(id=*d): best=0 lower=1081259 upper=1081260 
85.88/85.96	o 1081502
86.77/86.87	o 1081821
86.77/86.88	c  173 calls to solver(id=*d): best=0 lower=1081821 upper=1081822 
87.27/87.33	o 1086153
88.17/88.26	o 1087377
88.17/88.26	c  175 calls to solver(id=*d): best=0 lower=1087377 upper=1087378 
88.67/88.72	o 1087468
89.08/89.18	o 1091269
89.08/89.18	c  177 calls to solver(id=*d): best=0 lower=1091269 upper=1091270 
89.57/89.64	o 1093041
89.98/90.09	o 1093954
89.98/90.09	c  179 calls to solver(id=*d): best=0 lower=1093954 upper=1093955 
90.87/91.00	o 1099549
91.87/91.90	o 1105048
91.87/91.90	c  181 calls to solver(id=*d): best=0 lower=1105048 upper=1105049 
92.27/92.36	o 1105122
93.17/93.26	o 1106837
93.17/93.26	c  183 calls to solver(id=*d): best=0 lower=1106837 upper=1106838 
94.08/94.17	o 1109526
94.57/94.62	o 1110674
94.57/94.62	c  185 calls to solver(id=*d): best=0 lower=1110674 upper=1110675 
94.98/95.08	o 1112431
95.87/95.98	o 1117187
95.87/95.98	c  187 calls to solver(id=*d): best=0 lower=1117187 upper=1117188 
96.77/96.89	o 1120321
97.67/97.79	o 1121332
97.67/97.79	c  189 calls to solver(id=*d): best=0 lower=1121332 upper=1121333 
98.17/98.24	o 1126214
99.08/99.16	o 1126436
99.08/99.16	c  191 calls to solver(id=*d): best=0 lower=1126436 upper=1126437 
99.98/100.06	o 1130060
100.47/100.52	o 1131637
100.47/100.52	c  193 calls to solver(id=*d): best=0 lower=1131637 upper=1131638 
100.87/100.97	o 1131721
101.37/101.43	o 1133436
101.37/101.43	c  195 calls to solver(id=*d): best=0 lower=1133436 upper=1133437 
102.27/102.33	o 1134801
103.57/103.68	o 1135497
103.57/103.68	c  197 calls to solver(id=*d): best=0 lower=1135497 upper=1135498 
104.08/104.13	o 1141707
104.98/105.03	o 1142784
104.98/105.03	c  199 calls to solver(id=*d): best=0 lower=1142784 upper=1142785 
105.37/105.49	o 1144058
106.77/106.83	o 1147620
106.77/106.84	c  201 calls to solver(id=*d): best=0 lower=1147620 upper=1147621 
108.08/108.18	o 1156233
109.47/109.54	o 1157219
109.47/109.54	c  203 calls to solver(id=*d): best=0 lower=1157219 upper=1157220 
109.87/109.99	o 1161446
111.27/111.36	o 1162830
111.27/111.36	c  205 calls to solver(id=*d): best=0 lower=1162830 upper=1162831 
112.67/112.71	o 1164883
2400.09/2400.30	
2400.09/2400.30	c *** INTERRUPTED ***
2400.09/2400.30	c call to solver        : 206
2400.09/2400.30	c
2400.09/2400.30	c restarts              : 112         
2400.09/2400.30	c conflicts             : 1697875      (707 /sec)
2400.09/2400.30	c decisions             : 11289189     (4704 /sec)
2400.09/2400.30	c propagations          : 228961934   (95398 /sec)
2400.09/2400.30	c root propagations     : 2000        
2400.09/2400.30	c filter calls          : 69642837       (29017 /sec)
2400.09/2400.30	c useless filter calls  : 43540598       (62 %)
2400.09/2400.30	c Memory used           : 49.79 MB
2400.09/2400.30	c Best bound time (wc)  : 112.706 s
2400.09/2400.30	c CPU time              : 2400.06 s
2400.09/2400.30	c real time             : 2400.3 s
2400.09/2400.30	
2400.09/2400.30	c nb Solutions = 206
2400.09/2400.30	s SATISFIABLE
2400.09/2400.30	c Best value found: 1164883
2400.09/2400.30	
2400.09/2400.30	
2400.09/2400.30	v <instantiation type='solution' cost='1164883'>
2400.09/2400.30	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.09/2400.30	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.09/2400.30	v </instantiation>
2400.09/2400.30

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397607-1568591863/watcher-4397607-1568591863 -o /tmp/evaluation-result-4397607-1568591863/solver-4397607-1568591863 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568572742-32492 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397607-1568591863.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
solver pid=4658, runsolver pid=4655
Current StackSize limit: 8192 KiB


[startup+0.100197 s]*
/proc/loadavg: 2.19 2.06 2.06 3/199 4659
/proc/meminfo: memFree=31269912/32770624 swapFree=66984752/67108860
[pid=4658] ppid=4655 vsize=30772 memory=7180 CPUtime=0.1 cores=0,2,4,6
/proc/4658/stat : 4658 (cosoco) R 4655 4658 32461 0 -1 4202496 1987 0 0 0 10 0 0 0 20 0 1 0 435448978 31510528 1795 33554432000 4194304 6211092 140720372880752 140720372877288 5253983 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39755776 140720372884491 140720372884593 140720372884593 140720372887502 0
/proc/4658/statm: 7693 1795 838 493 0 998 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30772 KiB
Current children cumulated memory: 7180 KiB

[startup+0.209648 s]*
/proc/loadavg: 2.19 2.06 2.06 3/199 4659
/proc/meminfo: memFree=31268920/32770624 swapFree=66984752/67108860
[pid=4658] ppid=4655 vsize=31832 memory=8236 CPUtime=0.21 cores=0,2,4,6
/proc/4658/stat : 4658 (cosoco) R 4655 4658 32461 0 -1 4202496 2276 0 0 0 21 0 0 0 20 0 1 0 435448978 32595968 2059 33554432000 4194304 6211092 140720372880752 140720372877288 140510950296549 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39755776 140720372884491 140720372884593 140720372884593 140720372887502 0
/proc/4658/statm: 7958 2059 876 493 0 1263 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31832 KiB
Current children cumulated memory: 8236 KiB

[startup+0.309219 s]*
/proc/loadavg: 2.19 2.06 2.06 3/199 4659
/proc/meminfo: memFree=31265944/32770624 swapFree=66984752/67108860
[pid=4658] ppid=4655 vsize=34740 memory=11404 CPUtime=0.31 cores=0,2,4,6
/proc/4658/stat : 4658 (cosoco) R 4655 4658 32461 0 -1 4202496 3014 0 0 0 31 0 0 0 20 0 1 0 435448978 35573760 2851 33554432000 4194304 6211092 140720372880752 140720372877288 5185143 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39755776 140720372884491 140720372884593 140720372884593 140720372887502 0
/proc/4658/statm: 8685 2851 876 493 0 1990 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 11404 KiB

[startup+0.70035 s]
/proc/loadavg: 2.19 2.06 2.06 3/199 4659
/proc/meminfo: memFree=31260868/32770624 swapFree=66984752/67108860
[pid=4658] ppid=4655 vsize=40596 memory=17212 CPUtime=0.69 cores=0,2,4,6
/proc/4658/stat : 4658 (cosoco) R 4655 4658 32461 0 -1 4202496 4484 0 0 0 69 0 0 0 20 0 1 0 435448978 41570304 4303 33554432000 4194304 6211092 140720372880752 140720372877288 5155345 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39755776 140720372884491 140720372884593 140720372884593 140720372887502 0
/proc/4658/statm: 10183 4303 877 493 0 3488 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 17212 KiB

[startup+1.50035 s]
/proc/loadavg: 2.18 2.06 2.06 3/199 4659
/proc/meminfo: memFree=31254684/32770624 swapFree=66984752/67108860
[pid=4658] ppid=4655 vsize=46012 memory=22492 CPUtime=1.49 cores=0,2,4,6
/proc/4658/stat : 4658 (cosoco) R 4655 4658 32461 0 -1 4202496 5809 0 0 0 149 0 0 0 20 0 1 0 435448978 47116288 5623 33554432000 4194304 6211092 140720372880752 140720372878888 5409461 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39755776 140720372884491 140720372884593 140720372884593 140720372887502 0
/proc/4658/statm: 11503 5623 877 493 0 4808 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 46012 KiB
Current children cumulated memory: 22492 KiB

[startup+3.1093 s]
/proc/loadavg: 2.18 2.06 2.06 3/199 4659
/proc/meminfo: memFree=31253556/32770624 swapFree=66984752/67108860
[pid=4658] ppid=4655 vsize=46012 memory=22612 CPUtime=3.09 cores=0,2,4,6
/proc/4658/stat : 4658 (cosoco) R 4655 4658 32461 0 -1 4202496 9268 0 0 0 309 0 0 0 20 0 1 0 435448978 47116288 5653 33554432000 4194304 6211092 140720372880752 140720372878888 5250224 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39755776 140720372884491 140720372884593 140720372884593 140720372887502 0
/proc/4658/statm: 11503 5653 877 493 0 4808 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 46012 KiB
Current children cumulated memory: 22612 KiB

[startup+6.30033 s]
/proc/loadavg: 2.16 2.06 2.05 3/199 4659
/proc/meminfo: memFree=31253028/32770624 swapFree=66984752/67108860
[pid=4658] ppid=4655 vsize=46692 memory=23368 CPUtime=6.29 cores=0,2,4,6
/proc/4658/stat : 4658 (cosoco) R 4655 4658 32461 0 -1 4202496 13285 0 0 0 628 1 0 0 20 0 1 0 435448978 47812608 5842 33554432000 4194304 6211092 140720372880752 140720372878888 5155341 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39755776 140720372884491 140720372884593 140720372884593 140720372887502 0
/proc/4658/statm: 11673 5842 877 493 0 4978 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 46692 KiB
Current children cumulated memory: 23368 KiB

[startup+12.7003 s]
/proc/loadavg: 2.15 2.06 2.05 3/199 4659
/proc/meminfo: memFree=31251108/32770624 swapFree=66984752/67108860
[pid=4658] ppid=4655 vsize=48568 memory=25116 CPUtime=12.69 cores=0,2,4,6
/proc/4658/stat : 4658 (cosoco) R 4655 4658 32461 0 -1 4202496 18012 0 0 0 1268 1 0 0 20 0 1 0 435448978 49733632 6279 33554432000 4194304 6211092 140720372880752 140720372868632 5155345 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39755776 140720372884491 140720372884593 140720372884593 140720372887502 0
/proc/4658/statm: 12142 6279 877 493 0 5447 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 48568 KiB
Current children cumulated memory: 25116 KiB

[startup+25.5003 s]
/proc/loadavg: 2.13 2.06 2.05 3/200 4661
/proc/meminfo: memFree=31249440/32770624 swapFree=66984752/67108860
[pid=4658] ppid=4655 vsize=49356 memory=25984 CPUtime=25.49 cores=0,2,4,6
/proc/4658/stat : 4658 (cosoco) R 4655 4658 32461 0 -1 4202496 26338 0 0 0 2547 2 0 0 20 0 1 0 435448978 50540544 6496 33554432000 4194304 6211092 140720372880752 140720372878888 5250272 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39755776 140720372884491 140720372884593 140720372884593 140720372887502 0
/proc/4658/statm: 12339 6496 877 493 0 5644 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 49356 KiB
Current children cumulated memory: 25984 KiB

[startup+51.1095 s]
/proc/loadavg: 2.14 2.07 2.06 3/199 4662
/proc/meminfo: memFree=31248960/32770624 swapFree=66984752/67108860
[pid=4658] ppid=4655 vsize=50036 memory=26604 CPUtime=51.09 cores=0,2,4,6
/proc/4658/stat : 4658 (cosoco) R 4655 4658 32461 0 -1 4202496 31773 0 0 0 5107 2 0 0 20 0 1 0 435448978 51236864 6651 33554432000 4194304 6211092 140720372880752 140720372868632 5156465 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39755776 140720372884491 140720372884593 140720372884593 140720372887502 0
/proc/4658/statm: 12509 6651 877 493 0 5814 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 50036 KiB
Current children cumulated memory: 26604 KiB

[startup+102.3 s]
/proc/loadavg: 2.12 2.07 2.06 3/199 4666
/proc/meminfo: memFree=31246212/32770624 swapFree=66984752/67108860
[pid=4658] ppid=4655 vsize=50840 memory=27444 CPUtime=102.27 cores=0,2,4,6
/proc/4658/stat : 4658 (cosoco) R 4655 4658 32461 0 -1 4202496 37385 0 0 0 10225 2 0 0 20 0 1 0 435448978 52060160 6861 33554432000 4194304 6211092 140720372880752 140720372868632 5250298 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39755776 140720372884491 140720372884593 140720372884593 140720372887502 0
/proc/4658/statm: 12710 6861 877 493 0 6015 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 50840 KiB
Current children cumulated memory: 27444 KiB

[startup+162.3 s]
/proc/loadavg: 2.04 2.06 2.05 3/200 4673
/proc/meminfo: memFree=31246712/32770624 swapFree=66984752/67108860
[pid=4658] ppid=4655 vsize=50980 memory=27568 CPUtime=162.27 cores=0,2,4,6
/proc/4658/stat : 4658 (cosoco) R 4655 4658 32461 0 -1 4202496 37657 0 0 0 16225 2 0 0 20 0 1 0 435448978 52203520 6892 33554432000 4194304 6211092 140720372880752 140720372877992 5155345 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39755776 140720372884491 140720372884593 140720372884593 140720372887502 0
/proc/4658/statm: 12745 6892 877 493 0 6050 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27568 KiB

[startup+222.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/201 4685
/proc/meminfo: memFree=31246420/32770624 swapFree=66984760/67108860
[pid=4658] ppid=4655 vsize=50980 memory=27568 CPUtime=222.26 cores=0,2,4,6
/proc/4658/stat : 4658 (cosoco) R 4655 4658 32461 0 -1 4202496 37845 0 0 0 22224 2 0 0 20 0 1 0 435448978 52203520 6892 33554432000 4194304 6211092 140720372880752 140720372877992 5156256 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39755776 140720372884491 140720372884593 140720372884593 140720372887502 0
/proc/4658/statm: 12745 6892 877 493 0 6050 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27568 KiB

[startup+282.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/202 4715
/proc/meminfo: memFree=31245724/32770624 swapFree=66984764/67108860
[pid=4658] ppid=4655 vsize=50980 memory=27568 CPUtime=282.26 cores=0,2,4,6
/proc/4658/stat : 4658 (cosoco) R 4655 4658 32461 0 -1 4202496 38010 0 0 0 28223 3 0 0 20 0 1 0 435448978 52203520 6892 33554432000 4194304 6211092 140720372880752 140720372877992 5250224 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39755776 140720372884491 140720372884593 140720372884593 140720372887502 0
/proc/4658/statm: 12745 6892 877 493 0 6050 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27568 KiB

[startup+342.3 s]
/proc/loadavg: 2.29 2.10 2.07 3/202 4721
/proc/meminfo: memFree=31245828/32770624 swapFree=66984764/67108860
[pid=4658] ppid=4655 vsize=50980 memory=27568 CPUtime=342.26 cores=0,2,4,6
/proc/4658/stat : 4658 (cosoco) R 4655 4658 32461 0 -1 4202496 38176 0 0 0 34223 3 0 0 20 0 1 0 435448978 52203520 6892 33554432000 4194304 6211092 140720372880752 140720372877992 5250251 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39755776 140720372884491 140720372884593 140720372884593 140720372887502 0
/proc/4658/statm: 12745 6892 877 493 0 6050 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27568 KiB

[startup+402.3 s]
/proc/loadavg: 2.29 2.15 2.09 3/202 4725
/proc/meminfo: memFree=31246356/32770624 swapFree=66984764/67108860
[pid=4658] ppid=4655 vsize=50980 memory=27568 CPUtime=402.26 cores=0,2,4,6
/proc/4658/stat : 4658 (cosoco) R 4655 4658 32461 0 -1 4202496 38337 0 0 0 40223 3 0 0 20 0 1 0 435448978 52203520 6892 33554432000 4194304 6211092 140720372880752 140720372877992 5155348 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39755776 140720372884491 140720372884593 140720372884593 140720372887502 0
/proc/4658/statm: 12745 6892 877 493 0 6050 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27568 KiB

[startup+462.3 s]
/proc/loadavg: 2.11 2.12 2.08 3/201 4729
/proc/meminfo: memFree=31246328/32770624 swapFree=66984764/67108860
[pid=4658] ppid=4655 vsize=50980 memory=27568 CPUtime=462.25 cores=0,2,4,6
/proc/4658/stat : 4658 (cosoco) R 4655 4658 32461 0 -1 4202496 38502 0 0 0 46222 3 0 0 20 0 1 0 435448978 52203520 6892 33554432000 4194304 6211092 140720372880752 140720372877992 5250298 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39755776 140720372884491 140720372884593 140720372884593 140720372887502 0
/proc/4658/statm: 12745 6892 877 493 0 6050 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27568 KiB


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

/proc/4658/statm: 12745 6892 877 493 0 6050 0
Current children cumulated CPU time: 1662.15 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27568 KiB

[startup+1722.3 s]
/proc/loadavg: 1.00 1.28 1.69 2/192 4893
/proc/meminfo: memFree=31257412/32770624 swapFree=66984764/67108860
[pid=4658] ppid=4655 vsize=50980 memory=27568 CPUtime=1722.14 cores=0,2,4,6
/proc/4658/stat : 4658 (cosoco) R 4655 4658 32461 0 -1 4202496 40884 0 0 0 172211 3 0 0 20 0 1 0 435448978 52203520 6892 33554432000 4194304 6211092 140720372880752 140720372877992 5156232 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39755776 140720372884491 140720372884593 140720372884593 140720372887502 0
/proc/4658/statm: 12745 6892 877 493 0 6050 0
Current children cumulated CPU time: 1722.14 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27568 KiB

[startup+1782.3 s]
/proc/loadavg: 1.00 1.23 1.64 2/192 4899
/proc/meminfo: memFree=31257444/32770624 swapFree=66984764/67108860
[pid=4658] ppid=4655 vsize=50980 memory=27568 CPUtime=1782.14 cores=0,2,4,6
/proc/4658/stat : 4658 (cosoco) R 4655 4658 32461 0 -1 4202496 40915 0 0 0 178211 3 0 0 20 0 1 0 435448978 52203520 6892 33554432000 4194304 6211092 140720372880752 140720372877992 5250272 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39755776 140720372884491 140720372884593 140720372884593 140720372887502 0
/proc/4658/statm: 12745 6892 877 493 0 6050 0
Current children cumulated CPU time: 1782.14 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27568 KiB

[startup+1842.3 s]
/proc/loadavg: 1.00 1.18 1.60 2/192 4903
/proc/meminfo: memFree=31257656/32770624 swapFree=66984764/67108860
[pid=4658] ppid=4655 vsize=50980 memory=27568 CPUtime=1842.13 cores=0,2,4,6
/proc/4658/stat : 4658 (cosoco) R 4655 4658 32461 0 -1 4202496 41068 0 0 0 184210 3 0 0 20 0 1 0 435448978 52203520 6892 33554432000 4194304 6211092 140720372880752 140720372877992 5156256 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39755776 140720372884491 140720372884593 140720372884593 140720372887502 0
/proc/4658/statm: 12745 6892 877 493 0 6050 0
Current children cumulated CPU time: 1842.13 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27568 KiB

[startup+1902.3 s]
/proc/loadavg: 1.00 1.15 1.57 2/192 4908
/proc/meminfo: memFree=31258148/32770624 swapFree=66984764/67108860
[pid=4658] ppid=4655 vsize=50980 memory=27568 CPUtime=1902.13 cores=0,2,4,6
/proc/4658/stat : 4658 (cosoco) R 4655 4658 32461 0 -1 4202496 41106 0 0 0 190210 3 0 0 20 0 1 0 435448978 52203520 6892 33554432000 4194304 6211092 140720372880752 140720372877992 5250467 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39755776 140720372884491 140720372884593 140720372884593 140720372887502 0
/proc/4658/statm: 12745 6892 877 493 0 6050 0
Current children cumulated CPU time: 1902.13 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27568 KiB

[startup+1962.3 s]
/proc/loadavg: 1.00 1.12 1.53 2/192 4914
/proc/meminfo: memFree=31257656/32770624 swapFree=66984764/67108860
[pid=4658] ppid=4655 vsize=50980 memory=27580 CPUtime=1962.12 cores=0,2,4,6
/proc/4658/stat : 4658 (cosoco) R 4655 4658 32461 0 -1 4202496 41257 0 0 0 196209 3 0 0 20 0 1 0 435448978 52203520 6895 33554432000 4194304 6211092 140720372880752 140720372877992 5155353 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39755776 140720372884491 140720372884593 140720372884593 140720372887502 0
/proc/4658/statm: 12745 6895 877 493 0 6050 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27580 KiB

[startup+2022.3 s]
/proc/loadavg: 1.00 1.10 1.50 2/192 4925
/proc/meminfo: memFree=31257328/32770624 swapFree=66984764/67108860
[pid=4658] ppid=4655 vsize=50980 memory=27580 CPUtime=2022.12 cores=0,2,4,6
/proc/4658/stat : 4658 (cosoco) R 4655 4658 32461 0 -1 4202496 41288 0 0 0 202209 3 0 0 20 0 1 0 435448978 52203520 6895 33554432000 4194304 6211092 140720372880752 140720372877992 5250272 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39755776 140720372884491 140720372884593 140720372884593 140720372887502 0
/proc/4658/statm: 12745 6895 877 493 0 6050 0
Current children cumulated CPU time: 2022.12 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27580 KiB

[startup+2082.3 s]
/proc/loadavg: 1.00 1.08 1.47 2/192 4929
/proc/meminfo: memFree=31257412/32770624 swapFree=66984764/67108860
[pid=4658] ppid=4655 vsize=50980 memory=27580 CPUtime=2082.11 cores=0,2,4,6
/proc/4658/stat : 4658 (cosoco) R 4655 4658 32461 0 -1 4202496 41318 0 0 0 208208 3 0 0 20 0 1 0 435448978 52203520 6895 33554432000 4194304 6211092 140720372880752 140720372877992 5155345 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39755776 140720372884491 140720372884593 140720372884593 140720372887502 0
/proc/4658/statm: 12745 6895 877 493 0 6050 0
Current children cumulated CPU time: 2082.11 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27580 KiB

[startup+2142.3 s]
/proc/loadavg: 1.00 1.07 1.44 2/192 4935
/proc/meminfo: memFree=31257796/32770624 swapFree=66984764/67108860
[pid=4658] ppid=4655 vsize=50980 memory=27580 CPUtime=2142.11 cores=0,2,4,6
/proc/4658/stat : 4658 (cosoco) R 4655 4658 32461 0 -1 4202496 41463 0 0 0 214208 3 0 0 20 0 1 0 435448978 52203520 6895 33554432000 4194304 6211092 140720372880752 140720372877992 5250224 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39755776 140720372884491 140720372884593 140720372884593 140720372887502 0
/proc/4658/statm: 12745 6895 877 493 0 6050 0
Current children cumulated CPU time: 2142.11 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27580 KiB

[startup+2202.3 s]
/proc/loadavg: 1.00 1.06 1.41 2/192 4939
/proc/meminfo: memFree=31257596/32770624 swapFree=66984764/67108860
[pid=4658] ppid=4655 vsize=50980 memory=27580 CPUtime=2202.1 cores=0,2,4,6
/proc/4658/stat : 4658 (cosoco) R 4655 4658 32461 0 -1 4202496 41492 0 0 0 220207 3 0 0 20 0 1 0 435448978 52203520 6895 33554432000 4194304 6211092 140720372880752 140720372877992 5155345 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39755776 140720372884491 140720372884593 140720372884593 140720372887502 0
/proc/4658/statm: 12745 6895 877 493 0 6050 0
Current children cumulated CPU time: 2202.1 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27580 KiB

[startup+2262.3 s]
/proc/loadavg: 1.00 1.04 1.38 2/192 4943
/proc/meminfo: memFree=31257400/32770624 swapFree=66984764/67108860
[pid=4658] ppid=4655 vsize=50980 memory=27580 CPUtime=2262.1 cores=0,2,4,6
/proc/4658/stat : 4658 (cosoco) R 4655 4658 32461 0 -1 4202496 41521 0 0 0 226207 3 0 0 20 0 1 0 435448978 52203520 6895 33554432000 4194304 6211092 140720372880752 140720372877992 5250459 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39755776 140720372884491 140720372884593 140720372884593 140720372887502 0
/proc/4658/statm: 12745 6895 877 493 0 6050 0
Current children cumulated CPU time: 2262.1 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27580 KiB

[startup+2322.3 s]
/proc/loadavg: 1.00 1.04 1.36 2/192 4949
/proc/meminfo: memFree=31257224/32770624 swapFree=66984764/67108860
[pid=4658] ppid=4655 vsize=50980 memory=27580 CPUtime=2322.09 cores=0,2,4,6
/proc/4658/stat : 4658 (cosoco) R 4655 4658 32461 0 -1 4202496 41551 0 0 0 232206 3 0 0 20 0 1 0 435448978 52203520 6895 33554432000 4194304 6211092 140720372880752 140720372877992 5250224 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39755776 140720372884491 140720372884593 140720372884593 140720372887502 0
/proc/4658/statm: 12745 6895 877 493 0 6050 0
Current children cumulated CPU time: 2322.09 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27580 KiB

[startup+2382.3 s]
/proc/loadavg: 1.00 1.03 1.34 2/192 4953
/proc/meminfo: memFree=31257536/32770624 swapFree=66984764/67108860
[pid=4658] ppid=4655 vsize=50980 memory=27580 CPUtime=2382.09 cores=0,2,4,6
/proc/4658/stat : 4658 (cosoco) R 4655 4658 32461 0 -1 4202496 41696 0 0 0 238206 3 0 0 20 0 1 0 435448978 52203520 6895 33554432000 4194304 6211092 140720372880752 140720372877992 5156256 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39755776 140720372884491 140720372884593 140720372884593 140720372887502 0
/proc/4658/statm: 12745 6895 877 493 0 6050 0
Current children cumulated CPU time: 2382.09 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27580 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.3 s]
/proc/loadavg: 1.00 1.03 1.33 2/192 4954
/proc/meminfo: memFree=31257576/32770624 swapFree=66984764/67108860
[pid=4658] ppid=4655 vsize=50980 memory=27580 CPUtime=2400.09 cores=0,2,4,6
/proc/4658/stat : 4658 (cosoco) R 4655 4658 32461 0 -1 4202496 41719 0 0 0 240006 3 0 0 20 0 1 0 435448978 52203520 6895 33554432000 4194304 6211092 140720372880752 140720372877992 5250272 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39755776 140720372884491 140720372884593 140720372884593 140720372887502 0
/proc/4658/statm: 12745 6895 877 493 0 6050 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27580 KiB

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

[startup+2400.3 s]
# the end of solver process 4658 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2400.06 s, system=0.037996 s

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

[startup+2400.3 s]
/proc/loadavg: 1.00 1.03 1.33 2/192 4954
/proc/meminfo: memFree=31257576/32770624 swapFree=66984764/67108860
[pid=4658] ppid=4655 vsize=50980 memory=27580 CPUtime=2400.09 cores=0,2,4,6
/proc/4658/stat : 4658 (cosoco) R 4655 4658 32461 0 -1 4202496 41719 0 0 0 240006 3 0 0 20 0 1 0 435448978 52203520 6895 33554432000 4194304 6211092 140720372880752 140720372877992 5250272 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39755776 140720372884491 140720372884593 140720372884593 140720372887502 0
/proc/4658/statm: 12745 6895 877 493 0 6050 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27580 KiB

Child status: 1
Real time (s): 2400.3
CPU time (s): 2400.1
CPU user time (s): 2400.06
CPU system time (s): 0.037996
CPU usage (%): 99.9915
Max. virtual memory (cumulated for all children) (KiB): 50980
Max. memory (cumulated for all children) (KiB): 27580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.06
system time used= 0.037996
maximum resident set size= 27644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41771
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= 3006


# summary of solver processes directly reported to runsolver:
#   pid: 4658
#   total CPU time (s): 2400.1
#   total CPU user time (s): 2400.06
#   total CPU system time (s): 0.037996

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.99274 second user time and 14.8185 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-16 01:57:01
IDJOB=4397607
IDBENCH=141147
IDSOLVER=2849
FILE ID=node121/4397607-1568591863
RUNJOBID= node121-1568572742-32492
PBS_JOBID= 21703328
Free space on /tmp= 61404 MiB

SOLVER NAME= cosoco 2.0
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-4397607-1568591863/watcher-4397607-1568591863 -o /tmp/evaluation-result-4397607-1568591863/solver-4397607-1568591863 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568572742-32492 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4397607-1568591863.xml

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

MD5SUM BENCH= ef8d95b3b89bfc5ccba73a2d09f74d17
RANDOM SEED=734035387

node121.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.75
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.75
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.75
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.75
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:        31273796 kB
MemAvailable:   31900692 kB
Buffers:          196796 kB
Cached:           734764 kB
SwapCached:        16344 kB
Active:           472272 kB
Inactive:         486152 kB
Active(anon):      13920 kB
Inactive(anon):    54708 kB
Active(file):     458352 kB
Inactive(file):   431444 kB
Unevictable:      108520 kB
Mlocked:          108520 kB
SwapTotal:      67108860 kB
SwapFree:       66984752 kB
Dirty:              2684 kB
Writeback:             0 kB
AnonPages:        119520 kB
Mapped:            42300 kB
Shmem:             33308 kB
Slab:             135016 kB
SReclaimable:     105868 kB
SUnreclaim:        29148 kB
KernelStack:        3552 kB
PageTables:         5276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     542268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 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= 61404 MiB
End job on node121 at 2019-09-16 02:37:02