Trace number 4408867

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.02 2400.11

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.39	c
0.31/0.39	c This is cosoco 2.00 --  
0.31/0.39	c
0.31/0.39	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408867-1569811394.xml 
0.31/0.39	c enable optimization
0.31/0.39	c ========================================[ Problem Statistics ]===========================================
0.31/0.39	c |                                                                                                       
0.31/0.39	c |  Parse time        :         0.10 s 
0.31/0.39	c |
0.31/0.39	c |               Variables: 2000
0.31/0.39	c |            Domain Sizes: 2..2
0.31/0.39	c |
0.31/0.39	c |             Constraints: 201
0.31/0.39	c |                   Arity: 36..2000
0.31/0.39	c | 
0.31/0.39	c |                   Types: 
0.31/0.39	c |                          Sum: 201
0.31/0.39	c |                          
0.31/0.39	c |               Objective: Maximize Sum
0.31/0.39	
0.31/0.39	c =========================================================================================================
0.31/0.39	o 0
0.31/0.39	c    1 calls to solver(id=*d): best=0 lower=0 upper=1 
0.79/0.86	o 8867
1.29/1.33	o 15615
1.29/1.33	c    3 calls to solver(id=*d): best=0 lower=15615 upper=15616 
1.79/1.80	o 22526
2.19/2.27	o 31434
2.19/2.27	c    5 calls to solver(id=*d): best=0 lower=31434 upper=31435 
2.69/2.75	o 40048
3.19/3.22	o 41547
3.19/3.22	c    7 calls to solver(id=*d): best=0 lower=41547 upper=41548 
3.59/3.69	o 45951
4.10/4.17	o 48192
4.10/4.17	c    9 calls to solver(id=*d): best=0 lower=48192 upper=48193 
4.59/4.64	o 53961
5.10/5.11	o 58019
5.10/5.11	c   11 calls to solver(id=*d): best=0 lower=58019 upper=58020 
5.49/5.59	o 82443
6.00/6.06	o 101743
6.00/6.06	c   13 calls to solver(id=*d): best=0 lower=101743 upper=101744 
6.49/6.53	o 121776
6.88/7.00	o 125439
6.88/7.00	c   15 calls to solver(id=*d): best=0 lower=125439 upper=125440 
7.38/7.48	o 128406
7.88/7.95	o 131972
7.88/7.95	c   17 calls to solver(id=*d): best=0 lower=131972 upper=131973 
8.38/8.42	o 138757
8.78/8.89	o 144592
8.78/8.89	c   19 calls to solver(id=*d): best=0 lower=144592 upper=144593 
9.28/9.37	o 151913
9.79/9.84	o 175904
9.79/9.84	c   21 calls to solver(id=*d): best=0 lower=175904 upper=175905 
10.29/10.31	o 190939
10.69/10.79	o 195441
10.69/10.79	c   23 calls to solver(id=*d): best=0 lower=195441 upper=195442 
11.19/11.26	o 212301
11.69/11.74	o 221109
11.69/11.74	c   25 calls to solver(id=*d): best=0 lower=221109 upper=221110 
12.19/12.21	o 250364
12.59/12.68	o 251941
12.59/12.68	c   27 calls to solver(id=*d): best=0 lower=251941 upper=251942 
13.10/13.16	o 256014
13.59/13.63	o 279135
13.59/13.64	c   29 calls to solver(id=*d): best=0 lower=279135 upper=279136 
14.10/14.11	o 281878
14.49/14.58	o 286382
14.49/14.58	c   31 calls to solver(id=*d): best=0 lower=286382 upper=286383 
15.00/15.05	o 300259
15.49/15.53	o 303883
15.49/15.53	c   33 calls to solver(id=*d): best=0 lower=303883 upper=303884 
15.89/16.00	o 322604
16.39/16.48	o 355166
16.39/16.48	c   35 calls to solver(id=*d): best=0 lower=355166 upper=355167 
16.89/16.95	o 381618
17.39/17.43	o 384340
17.39/17.43	c   37 calls to solver(id=*d): best=0 lower=384340 upper=384341 
17.89/17.90	o 389672
18.29/18.38	o 395372
18.29/18.38	c   39 calls to solver(id=*d): best=0 lower=395372 upper=395373 
18.79/18.85	o 395507
19.29/19.33	o 400796
19.29/19.33	c   41 calls to solver(id=*d): best=0 lower=400796 upper=400797 
19.79/19.80	o 417245
20.19/20.28	o 426061
20.19/20.28	c   43 calls to solver(id=*d): best=0 lower=426061 upper=426062 
20.69/20.75	o 438187
21.19/21.22	o 443774
21.19/21.23	c   45 calls to solver(id=*d): best=0 lower=443774 upper=443775 
21.69/21.70	o 449491
22.10/22.17	o 468917
22.10/22.17	c   47 calls to solver(id=*d): best=0 lower=468917 upper=468918 
22.59/22.65	o 470240
23.10/23.12	o 476380
23.10/23.12	c   49 calls to solver(id=*d): best=0 lower=476380 upper=476381 
23.59/23.60	o 483566
24.00/24.07	o 490148
24.00/24.07	c   51 calls to solver(id=*d): best=0 lower=490148 upper=490149 
24.49/24.55	o 490500
25.00/25.02	o 490852
25.00/25.02	c   53 calls to solver(id=*d): best=0 lower=490852 upper=490853 
25.49/25.50	o 506311
25.89/25.97	o 507480
25.89/25.98	c   55 calls to solver(id=*d): best=0 lower=507480 upper=507481 
26.39/26.45	o 514838
26.89/26.93	o 519568
26.89/26.93	c   57 calls to solver(id=*d): best=0 lower=519568 upper=519569 
27.39/27.40	o 528729
27.79/27.88	o 535471
27.79/27.88	c   59 calls to solver(id=*d): best=0 lower=535471 upper=535472 
28.29/28.35	o 540791
28.79/28.83	o 549036
28.79/28.83	c   61 calls to solver(id=*d): best=0 lower=549036 upper=549037 
29.29/29.31	o 551356
29.69/29.78	o 555304
29.69/29.78	c   63 calls to solver(id=*d): best=0 lower=555304 upper=555305 
30.19/30.26	o 564259
30.69/30.74	o 565545
30.69/30.74	c   65 calls to solver(id=*d): best=0 lower=565545 upper=565546 
31.19/31.21	o 567732
31.59/31.69	o 571894
31.59/31.69	c   67 calls to solver(id=*d): best=0 lower=571894 upper=571895 
32.10/32.17	o 576585
32.59/32.65	o 581487
32.59/32.65	c   69 calls to solver(id=*d): best=0 lower=581487 upper=581488 
33.10/33.12	o 585046
33.59/33.60	o 590545
33.59/33.60	c   71 calls to solver(id=*d): best=0 lower=590545 upper=590546 
34.00/34.08	o 593134
34.49/34.55	o 596089
34.49/34.55	c   73 calls to solver(id=*d): best=0 lower=596089 upper=596090 
35.00/35.03	o 612683
35.49/35.51	o 621156
35.49/35.51	c   75 calls to solver(id=*d): best=0 lower=621156 upper=621157 
35.89/35.99	o 623956
36.39/36.47	o 628615
36.39/36.47	c   77 calls to solver(id=*d): best=0 lower=628615 upper=628616 
36.89/36.94	o 633845
37.39/37.42	o 636434
37.39/37.42	c   79 calls to solver(id=*d): best=0 lower=636434 upper=636435 
37.89/37.90	o 638232
38.29/38.38	o 649297
38.29/38.38	c   81 calls to solver(id=*d): best=0 lower=649297 upper=649298 
38.79/38.86	o 651052
39.29/39.33	o 651765
39.29/39.34	c   83 calls to solver(id=*d): best=0 lower=651765 upper=651766 
39.79/39.81	o 655239
40.19/40.29	o 663896
40.19/40.29	c   85 calls to solver(id=*d): best=0 lower=663896 upper=663897 
40.69/40.77	o 673516
41.19/41.24	o 680721
41.19/41.25	c   87 calls to solver(id=*d): best=0 lower=680721 upper=680722 
41.69/41.72	o 684621
42.19/42.20	o 688976
42.19/42.20	c   89 calls to solver(id=*d): best=0 lower=688976 upper=688977 
42.59/42.68	o 692911
43.09/43.15	o 701684
43.09/43.15	c   91 calls to solver(id=*d): best=0 lower=701684 upper=701685 
43.59/43.63	o 712635
44.09/44.11	o 713548
44.09/44.11	c   93 calls to solver(id=*d): best=0 lower=713548 upper=713549 
44.49/44.58	o 720158
44.99/45.06	o 726277
44.99/45.06	c   95 calls to solver(id=*d): best=0 lower=726277 upper=726278 
45.49/45.54	o 733180
45.99/46.01	o 743595
45.99/46.02	c   97 calls to solver(id=*d): best=0 lower=743595 upper=743596 
46.39/46.49	o 751023
46.89/46.97	o 751294
46.89/46.97	c   99 calls to solver(id=*d): best=0 lower=751294 upper=751295 
47.39/47.45	o 753614
47.89/47.93	o 783041
47.89/47.93	c  101 calls to solver(id=*d): best=0 lower=783041 upper=783042 
48.39/48.41	o 787984
48.79/48.88	o 791785
48.79/48.89	c  103 calls to solver(id=*d): best=0 lower=791785 upper=791786 
49.29/49.36	o 799320
49.79/49.84	o 802806
49.79/49.84	c  105 calls to solver(id=*d): best=0 lower=802806 upper=802807 
50.29/50.32	o 807505
50.79/50.80	o 810545
50.79/50.80	c  107 calls to solver(id=*d): best=0 lower=810545 upper=810546 
51.19/51.28	o 816384
51.69/51.76	o 816566
51.69/51.76	c  109 calls to solver(id=*d): best=0 lower=816566 upper=816567 
52.19/52.24	o 822653
52.69/52.72	o 829658
52.69/52.72	c  111 calls to solver(id=*d): best=0 lower=829658 upper=829659 
53.09/53.19	o 831102
53.59/53.67	o 840044
53.59/53.67	c  113 calls to solver(id=*d): best=0 lower=840044 upper=840045 
54.09/54.15	o 845534
54.59/54.63	o 846461
54.59/54.63	c  115 calls to solver(id=*d): best=0 lower=846461 upper=846462 
55.09/55.11	o 854683
55.49/55.59	o 862681
55.49/55.59	c  117 calls to solver(id=*d): best=0 lower=862681 upper=862682 
55.99/56.07	o 870920
56.49/56.54	o 879733
56.49/56.54	c  119 calls to solver(id=*d): best=0 lower=879733 upper=879734 
56.99/57.03	o 888430
57.49/57.51	o 891086
57.49/57.51	c  121 calls to solver(id=*d): best=0 lower=891086 upper=891087 
57.89/57.98	o 891503
58.39/58.46	o 905219
58.39/58.46	c  123 calls to solver(id=*d): best=0 lower=905219 upper=905220 
58.89/58.94	o 910075
59.39/59.42	o 915780
59.39/59.42	c  125 calls to solver(id=*d): best=0 lower=915780 upper=915781 
59.89/59.90	o 916647
60.29/60.38	o 917548
60.29/60.38	c  127 calls to solver(id=*d): best=0 lower=917548 upper=917549 
60.79/60.85	o 926162
61.29/61.33	o 930644
61.29/61.33	c  129 calls to solver(id=*d): best=0 lower=930644 upper=930645 
61.79/61.81	o 931570
62.19/62.29	o 935577
62.19/62.29	c  131 calls to solver(id=*d): best=0 lower=935577 upper=935578 
62.69/62.77	o 943632
63.19/63.25	o 948520
63.19/63.25	c  133 calls to solver(id=*d): best=0 lower=948520 upper=948521 
63.69/63.72	o 949122
64.19/64.20	o 955633
64.19/64.20	c  135 calls to solver(id=*d): best=0 lower=955633 upper=955634 
64.59/64.68	o 955724
65.09/65.16	o 956650
65.09/65.16	c  137 calls to solver(id=*d): best=0 lower=956650 upper=956651 
65.59/65.64	o 957805
66.09/66.12	o 966370
66.09/66.12	c  139 calls to solver(id=*d): best=0 lower=966370 upper=966371 
66.49/66.59	o 968040
66.99/67.07	o 974283
66.99/67.07	c  141 calls to solver(id=*d): best=0 lower=974283 upper=974284 
67.49/67.55	o 976772
67.99/68.03	o 981332
67.99/68.03	c  143 calls to solver(id=*d): best=0 lower=981332 upper=981333 
68.48/68.51	o 984531
68.88/68.99	o 989091
68.88/68.99	c  145 calls to solver(id=*d): best=0 lower=989091 upper=989092 
69.38/69.47	o 995949
69.88/69.95	o 996992
69.88/69.95	c  147 calls to solver(id=*d): best=0 lower=996992 upper=996993 
70.38/70.42	o 999641
70.88/70.90	o 1002130
70.88/70.90	c  149 calls to solver(id=*d): best=0 lower=1002130 upper=1002131 
71.28/71.39	o 1003230
71.78/71.87	o 1006854
71.78/71.87	c  151 calls to solver(id=*d): best=0 lower=1006854 upper=1006855 
72.28/72.35	o 1016721
72.78/72.82	o 1020960
72.78/72.83	c  153 calls to solver(id=*d): best=0 lower=1020960 upper=1020961 
73.28/73.30	o 1023724
73.68/73.79	o 1026337
73.68/73.79	c  155 calls to solver(id=*d): best=0 lower=1026337 upper=1026338 
74.18/74.26	o 1027623
74.68/74.74	o 1031779
74.68/74.74	c  157 calls to solver(id=*d): best=0 lower=1031779 upper=1031780 
75.18/75.22	o 1033587
75.58/75.70	o 1035007
75.68/75.70	c  159 calls to solver(id=*d): best=0 lower=1035007 upper=1035008 
76.09/76.18	o 1035690
77.09/77.13	o 1039302
77.09/77.13	c  161 calls to solver(id=*d): best=0 lower=1039302 upper=1039303 
77.99/78.07	o 1046398
78.99/79.01	o 1047378
78.99/79.01	c  163 calls to solver(id=*d): best=0 lower=1047378 upper=1047379 
79.88/79.96	o 1048815
80.38/80.43	o 1053384
80.38/80.43	c  165 calls to solver(id=*d): best=0 lower=1053384 upper=1053385 
80.88/80.91	o 1060626
81.28/81.39	o 1061703
81.28/81.39	c  167 calls to solver(id=*d): best=0 lower=1061703 upper=1061704 
82.28/82.33	o 1069964
83.18/83.27	o 1075230
83.18/83.27	c  169 calls to solver(id=*d): best=0 lower=1075230 upper=1075231 
84.18/84.22	o 1078768
85.09/85.16	o 1081259
85.09/85.16	c  171 calls to solver(id=*d): best=0 lower=1081259 upper=1081260 
86.09/86.12	o 1081502
86.99/87.06	o 1081821
86.99/87.06	c  173 calls to solver(id=*d): best=0 lower=1081821 upper=1081822 
87.48/87.54	o 1086153
88.48/88.50	o 1087377
88.48/88.50	c  175 calls to solver(id=*d): best=0 lower=1087377 upper=1087378 
88.88/88.98	o 1087468
89.38/89.45	o 1091269
89.38/89.45	c  177 calls to solver(id=*d): best=0 lower=1091269 upper=1091270 
89.88/89.93	o 1093041
90.38/90.40	o 1093954
90.38/90.40	c  179 calls to solver(id=*d): best=0 lower=1093954 upper=1093955 
91.28/91.34	o 1099549
92.18/92.26	o 1105048
92.18/92.26	c  181 calls to solver(id=*d): best=0 lower=1105048 upper=1105049 
92.68/92.72	o 1105122
93.58/93.63	o 1106837
93.58/93.64	c  183 calls to solver(id=*d): best=0 lower=1106837 upper=1106838 
94.48/94.55	o 1109526
94.99/95.01	o 1110674
94.99/95.01	c  185 calls to solver(id=*d): best=0 lower=1110674 upper=1110675 
95.38/95.48	o 1112431
96.28/96.39	o 1117187
96.28/96.39	c  187 calls to solver(id=*d): best=0 lower=1117187 upper=1117188 
97.28/97.31	o 1120321
98.18/98.22	o 1121332
98.18/98.22	c  189 calls to solver(id=*d): best=0 lower=1121332 upper=1121333 
98.58/98.69	o 1126214
99.58/99.61	o 1126436
99.58/99.61	c  191 calls to solver(id=*d): best=0 lower=1126436 upper=1126437 
100.48/100.53	o 1130060
100.88/100.99	o 1131637
100.88/100.99	c  193 calls to solver(id=*d): best=0 lower=1131637 upper=1131638 
101.38/101.46	o 1131721
101.88/101.92	o 1133436
101.88/101.92	c  195 calls to solver(id=*d): best=0 lower=1133436 upper=1133437 
102.78/102.83	o 1134801
104.18/104.20	o 1135497
104.18/104.20	c  197 calls to solver(id=*d): best=0 lower=1135497 upper=1135498 
104.58/104.66	o 1141707
105.48/105.57	o 1142784
105.48/105.57	c  199 calls to solver(id=*d): best=0 lower=1142784 upper=1142785 
105.98/106.03	o 1144058
107.38/107.40	o 1147620
107.38/107.40	c  201 calls to solver(id=*d): best=0 lower=1147620 upper=1147621 
108.68/108.76	o 1156233
110.09/110.14	o 1157219
110.09/110.14	c  203 calls to solver(id=*d): best=0 lower=1157219 upper=1157220 
110.58/110.60	o 1161446
111.88/111.99	o 1162830
111.88/111.99	c  205 calls to solver(id=*d): best=0 lower=1162830 upper=1162831 
113.28/113.36	o 1164883
2400.01/2400.10	
2400.01/2400.10	c *** INTERRUPTED ***
2400.01/2400.10	c call to solver        : 206
2400.01/2400.10	c
2400.01/2400.10	c restarts              : 112         
2400.01/2400.10	c conflicts             : 1672273      (697 /sec)
2400.01/2400.10	c decisions             : 11139002     (4641 /sec)
2400.01/2400.10	c propagations          : 225382672   (93911 /sec)
2400.01/2400.10	c root propagations     : 2000        
2400.01/2400.10	c filter calls          : 68598809       (28583 /sec)
2400.01/2400.10	c useless filter calls  : 42889559       (62 %)
2400.01/2400.10	c Memory used           : 49.79 MB
2400.01/2400.10	c Best bound time (wc)  : 113.356 s
2400.01/2400.10	c CPU time              : 2399.97 s
2400.01/2400.10	c real time             : 2400.1 s
2400.01/2400.10	
2400.01/2400.10	c nb Solutions = 206
2400.01/2400.10	s SATISFIABLE
2400.01/2400.10	c Best value found: 1164883
2400.01/2400.10	
2400.01/2400.10	
2400.01/2400.10	v <instantiation type='solution' cost='1164883'>
2400.01/2400.10	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.01/2400.10	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.01/2400.10	v </instantiation>
2400.01/2400.10

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408867-1569811394/watcher-4408867-1569811394 -o /tmp/evaluation-result-4408867-1569811394/solver-4408867-1569811394 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1569787353-6072 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408867-1569811394.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=12125, runsolver pid=12122
Current StackSize limit: 8192 KiB


[startup+0.100109 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 12126
/proc/meminfo: memFree=31543728/32770624 swapFree=66999984/67108860
[pid=12125] ppid=12122 vsize=30772 memory=7180 CPUtime=0.1 cores=0,2,4,6
/proc/12125/stat : 12125 (cosoco) R 12122 12125 6041 0 -1 4202496 1988 0 0 0 10 0 0 0 20 0 1 0 557404159 31510528 1795 33554432000 4194304 6211132 140732044461184 140732044457720 5254010 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26214400 140732044469259 140732044469361 140732044469361 140732044472270 0
/proc/12125/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.209642 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 12126
/proc/meminfo: memFree=31543356/32770624 swapFree=66999984/67108860
[pid=12125] ppid=12122 vsize=31832 memory=8236 CPUtime=0.21 cores=0,2,4,6
/proc/12125/stat : 12125 (cosoco) R 12122 12125 6041 0 -1 4202496 2274 0 0 0 21 0 0 0 20 0 1 0 557404159 32595968 2059 33554432000 4194304 6211132 140732044461184 140732044457720 5250256 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26214400 140732044469259 140732044469361 140732044469361 140732044472270 0
/proc/12125/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.309057 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 12126
/proc/meminfo: memFree=31540504/32770624 swapFree=66999984/67108860
[pid=12125] ppid=12122 vsize=34740 memory=11140 CPUtime=0.31 cores=0,2,4,6
/proc/12125/stat : 12125 (cosoco) R 12122 12125 6041 0 -1 4202496 3002 0 0 0 30 1 0 0 20 0 1 0 557404159 35573760 2785 33554432000 4194304 6211132 140732044461184 140732044457720 140428733070309 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26214400 140732044469259 140732044469361 140732044469361 140732044472270 0
/proc/12125/statm: 8685 2785 876 493 0 1990 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 11140 KiB

[startup+0.700234 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 12126
/proc/meminfo: memFree=31535800/32770624 swapFree=66999984/67108860
[pid=12125] ppid=12122 vsize=40596 memory=17212 CPUtime=0.69 cores=0,2,4,6
/proc/12125/stat : 12125 (cosoco) R 12122 12125 6041 0 -1 4202496 4473 0 0 0 68 1 0 0 20 0 1 0 557404159 41570304 4303 33554432000 4194304 6211132 140732044461184 140732044457720 5250499 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26214400 140732044469259 140732044469361 140732044469361 140732044472270 0
/proc/12125/statm: 10149 4303 877 493 0 3454 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40596 KiB
Current children cumulated memory: 17212 KiB

[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 12126
/proc/meminfo: memFree=31530220/32770624 swapFree=66999984/67108860
[pid=12125] ppid=12122 vsize=46012 memory=22492 CPUtime=1.49 cores=0,2,4,6
/proc/12125/stat : 12125 (cosoco) R 12122 12125 6041 0 -1 4202496 5811 0 0 0 148 1 0 0 20 0 1 0 557404159 47116288 5623 33554432000 4194304 6211132 140732044461184 140732044459320 5155377 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26214400 140732044469259 140732044469361 140732044469361 140732044472270 0
/proc/12125/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.10924 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 12126
/proc/meminfo: memFree=31528792/32770624 swapFree=66999984/67108860
[pid=12125] ppid=12122 vsize=46012 memory=22616 CPUtime=3.1 cores=0,2,4,6
/proc/12125/stat : 12125 (cosoco) R 12122 12125 6041 0 -1 4202496 9271 0 0 0 309 1 0 0 20 0 1 0 557404159 47116288 5654 33554432000 4194304 6211132 140732044461184 140732044449064 5409456 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26214400 140732044469259 140732044469361 140732044469361 140732044472270 0
/proc/12125/statm: 11503 5654 877 493 0 4808 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 46012 KiB
Current children cumulated memory: 22616 KiB

[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 12126
/proc/meminfo: memFree=31528792/32770624 swapFree=66999984/67108860
[pid=12125] ppid=12122 vsize=46692 memory=23372 CPUtime=6.29 cores=0,2,4,6
/proc/12125/stat : 12125 (cosoco) R 12122 12125 6041 0 -1 4202496 13281 0 0 0 628 1 0 0 20 0 1 0 557404159 47812608 5843 33554432000 4194304 6211132 140732044461184 140732044449064 5155373 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26214400 140732044469259 140732044469361 140732044469361 140732044472270 0
/proc/12125/statm: 11673 5843 877 493 0 4978 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 46692 KiB
Current children cumulated memory: 23372 KiB

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 12126
/proc/meminfo: memFree=31527088/32770624 swapFree=66999984/67108860
[pid=12125] ppid=12122 vsize=48568 memory=25120 CPUtime=12.69 cores=0,2,4,6
/proc/12125/stat : 12125 (cosoco) R 12122 12125 6041 0 -1 4202496 18006 0 0 0 1267 2 0 0 20 0 1 0 557404159 49733632 6280 33554432000 4194304 6211132 140732044461184 140732044449064 5156497 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26214400 140732044469259 140732044469361 140732044469361 140732044472270 0
/proc/12125/statm: 12142 6280 877 493 0 5447 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 48568 KiB
Current children cumulated memory: 25120 KiB

[startup+25.5003 s]
/proc/loadavg: 1.93 2.00 2.04 3/200 12126
/proc/meminfo: memFree=31527008/32770624 swapFree=66999984/67108860
[pid=12125] ppid=12122 vsize=49356 memory=25956 CPUtime=25.49 cores=0,2,4,6
/proc/12125/stat : 12125 (cosoco) R 12122 12125 6041 0 -1 4202496 26280 0 0 0 2547 2 0 0 20 0 1 0 557404159 50540544 6489 33554432000 4194304 6211132 140732044461184 140732044449064 5250316 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26214400 140732044469259 140732044469361 140732044469361 140732044472270 0
/proc/12125/statm: 12339 6489 877 493 0 5644 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 49356 KiB
Current children cumulated memory: 25956 KiB

[startup+51.1093 s]
/proc/loadavg: 1.95 2.00 2.04 3/200 12128
/proc/meminfo: memFree=31525656/32770624 swapFree=66999984/67108860
[pid=12125] ppid=12122 vsize=50036 memory=26608 CPUtime=51.09 cores=0,2,4,6
/proc/12125/stat : 12125 (cosoco) R 12122 12125 6041 0 -1 4202496 31760 0 0 0 5107 2 0 0 20 0 1 0 557404159 51236864 6652 33554432000 4194304 6211132 140732044461184 140732044459320 5156523 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26214400 140732044469259 140732044469361 140732044469361 140732044472270 0
/proc/12125/statm: 12509 6652 877 493 0 5814 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 50036 KiB
Current children cumulated memory: 26608 KiB

[startup+102.3 s]
/proc/loadavg: 2.47 2.14 2.08 3/200 12132
/proc/meminfo: memFree=31524768/32770624 swapFree=66999984/67108860
[pid=12125] ppid=12122 vsize=50840 memory=27456 CPUtime=102.28 cores=0,2,4,6
/proc/12125/stat : 12125 (cosoco) R 12122 12125 6041 0 -1 4202496 37375 0 0 0 10226 2 0 0 20 0 1 0 557404159 52060160 6864 33554432000 4194304 6211132 140732044461184 140732044459320 5250304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26214400 140732044469259 140732044469361 140732044469361 140732044472270 0
/proc/12125/statm: 12710 6864 877 493 0 6015 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 50840 KiB
Current children cumulated memory: 27456 KiB

[startup+162.3 s]
/proc/loadavg: 2.17 2.11 2.08 3/199 12136
/proc/meminfo: memFree=31523256/32770624 swapFree=66999984/67108860
[pid=12125] ppid=12122 vsize=50980 memory=27552 CPUtime=162.27 cores=0,2,4,6
/proc/12125/stat : 12125 (cosoco) R 12122 12125 6041 0 -1 4202496 37624 0 0 0 16225 2 0 0 20 0 1 0 557404159 52203520 6888 33554432000 4194304 6211132 140732044461184 140732044458424 5156508 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26214400 140732044469259 140732044469361 140732044469361 140732044472270 0
/proc/12125/statm: 12745 6888 877 493 0 6050 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27552 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/199 12142
/proc/meminfo: memFree=31522804/32770624 swapFree=66999984/67108860
[pid=12125] ppid=12122 vsize=50980 memory=27572 CPUtime=222.27 cores=0,2,4,6
/proc/12125/stat : 12125 (cosoco) R 12122 12125 6041 0 -1 4202496 37830 0 0 0 22224 3 0 0 20 0 1 0 557404159 52203520 6893 33554432000 4194304 6211132 140732044461184 140732044458424 5250311 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26214400 140732044469259 140732044469361 140732044469361 140732044472270 0
/proc/12125/statm: 12745 6893 877 493 0 6050 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27572 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/199 12146
/proc/meminfo: memFree=31522860/32770624 swapFree=66999984/67108860
[pid=12125] ppid=12122 vsize=50980 memory=27572 CPUtime=282.26 cores=0,2,4,6
/proc/12125/stat : 12125 (cosoco) R 12122 12125 6041 0 -1 4202496 38031 0 0 0 28223 3 0 0 20 0 1 0 557404159 52203520 6893 33554432000 4194304 6211132 140732044461184 140732044458424 5250304 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26214400 140732044469259 140732044469361 140732044469361 140732044472270 0
/proc/12125/statm: 12745 6893 877 493 0 6050 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27572 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/199 12150
/proc/meminfo: memFree=31521980/32770624 swapFree=66999984/67108860
[pid=12125] ppid=12122 vsize=50980 memory=27572 CPUtime=342.26 cores=0,2,4,6
/proc/12125/stat : 12125 (cosoco) R 12122 12125 6041 0 -1 4202496 38234 0 0 0 34223 3 0 0 20 0 1 0 557404159 52203520 6893 33554432000 4194304 6211132 140732044461184 140732044458424 5250304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26214400 140732044469259 140732044469361 140732044469361 140732044472270 0
/proc/12125/statm: 12745 6893 877 493 0 6050 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27572 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 12156
/proc/meminfo: memFree=31522304/32770624 swapFree=66999984/67108860
[pid=12125] ppid=12122 vsize=50980 memory=27572 CPUtime=402.26 cores=0,2,4,6
/proc/12125/stat : 12125 (cosoco) R 12122 12125 6041 0 -1 4202496 38434 0 0 0 40223 3 0 0 20 0 1 0 557404159 52203520 6893 33554432000 4194304 6211132 140732044461184 140732044458424 5155766 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26214400 140732044469259 140732044469361 140732044469361 140732044472270 0
/proc/12125/statm: 12745 6893 877 493 0 6050 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27572 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 12168
/proc/meminfo: memFree=31522188/32770624 swapFree=66999984/67108860
[pid=12125] ppid=12122 vsize=50980 memory=27572 CPUtime=462.26 cores=0,2,4,6
/proc/12125/stat : 12125 (cosoco) R 12122 12125 6041 0 -1 4202496 38632 0 0 0 46223 3 0 0 20 0 1 0 557404159 52203520 6893 33554432000 4194304 6211132 140732044461184 140732044458424 5409898 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26214400 140732044469259 140732044469361 140732044469361 140732044472270 0
/proc/12125/statm: 12745 6893 877 493 0 6050 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27572 KiB


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

/proc/12125/statm: 12745 6893 877 493 0 6050 0
Current children cumulated CPU time: 1662.23 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27572 KiB

[startup+1722.3 s]
/proc/loadavg: 1.01 1.37 1.75 2/193 12356
/proc/meminfo: memFree=31533032/32770624 swapFree=66999984/67108860
[pid=12125] ppid=12122 vsize=50980 memory=27572 CPUtime=1722.23 cores=0,2,4,6
/proc/12125/stat : 12125 (cosoco) R 12122 12125 6041 0 -1 4202496 42576 0 0 0 172218 5 0 0 20 0 1 0 557404159 52203520 6893 33554432000 4194304 6211132 140732044461184 140732044458424 5155377 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26214400 140732044469259 140732044469361 140732044469361 140732044472270 0
/proc/12125/statm: 12745 6893 877 493 0 6050 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27572 KiB

[startup+1782.3 s]
/proc/loadavg: 0.90 1.27 1.70 2/193 12360
/proc/meminfo: memFree=31533032/32770624 swapFree=66999984/67108860
[pid=12125] ppid=12122 vsize=50980 memory=27572 CPUtime=1782.23 cores=0,2,4,6
/proc/12125/stat : 12125 (cosoco) R 12122 12125 6041 0 -1 4202496 42733 0 0 0 178218 5 0 0 20 0 1 0 557404159 52203520 6893 33554432000 4194304 6211132 140732044461184 140732044458424 5250304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26214400 140732044469259 140732044469361 140732044469361 140732044472270 0
/proc/12125/statm: 12745 6893 877 493 0 6050 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27572 KiB

[startup+1842.3 s]
/proc/loadavg: 0.96 1.22 1.65 2/193 12366
/proc/meminfo: memFree=31532940/32770624 swapFree=66999984/67108860
[pid=12125] ppid=12122 vsize=50980 memory=27572 CPUtime=1842.23 cores=0,2,4,6
/proc/12125/stat : 12125 (cosoco) R 12122 12125 6041 0 -1 4202496 42932 0 0 0 184218 5 0 0 20 0 1 0 557404159 52203520 6893 33554432000 4194304 6211132 140732044461184 140732044458424 5250304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26214400 140732044469259 140732044469361 140732044469361 140732044472270 0
/proc/12125/statm: 12745 6893 877 493 0 6050 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27572 KiB

[startup+1902.3 s]
/proc/loadavg: 0.99 1.18 1.61 2/193 12370
/proc/meminfo: memFree=31533736/32770624 swapFree=66999984/67108860
[pid=12125] ppid=12122 vsize=50980 memory=27572 CPUtime=1902.23 cores=0,2,4,6
/proc/12125/stat : 12125 (cosoco) R 12122 12125 6041 0 -1 4202496 43089 0 0 0 190218 5 0 0 20 0 1 0 557404159 52203520 6893 33554432000 4194304 6211132 140732044461184 140732044458424 5156288 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26214400 140732044469259 140732044469361 140732044469361 140732044472270 0
/proc/12125/statm: 12745 6893 877 493 0 6050 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27572 KiB

[startup+1962.3 s]
/proc/loadavg: 0.99 1.15 1.57 2/192 12374
/proc/meminfo: memFree=31533864/32770624 swapFree=66999984/67108860
[pid=12125] ppid=12122 vsize=50980 memory=27584 CPUtime=1962.23 cores=0,2,4,6
/proc/12125/stat : 12125 (cosoco) R 12122 12125 6041 0 -1 4202496 43255 0 0 0 196218 5 0 0 20 0 1 0 557404159 52203520 6896 33554432000 4194304 6211132 140732044461184 140732044458424 5156288 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26214400 140732044469259 140732044469361 140732044469361 140732044472270 0
/proc/12125/statm: 12745 6896 877 493 0 6050 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27584 KiB

[startup+2022.3 s]
/proc/loadavg: 1.00 1.12 1.54 2/192 12380
/proc/meminfo: memFree=31532720/32770624 swapFree=66999984/67108860
[pid=12125] ppid=12122 vsize=50980 memory=27584 CPUtime=2022.23 cores=0,2,4,6
/proc/12125/stat : 12125 (cosoco) R 12122 12125 6041 0 -1 4202496 43456 0 0 0 202218 5 0 0 20 0 1 0 557404159 52203520 6896 33554432000 4194304 6211132 140732044461184 140732044458424 5250256 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26214400 140732044469259 140732044469361 140732044469361 140732044472270 0
/proc/12125/statm: 12745 6896 877 493 0 6050 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27584 KiB

[startup+2082.3 s]
/proc/loadavg: 0.95 1.08 1.50 2/192 12384
/proc/meminfo: memFree=31533216/32770624 swapFree=66999984/67108860
[pid=12125] ppid=12122 vsize=50980 memory=27584 CPUtime=2082.22 cores=0,2,4,6
/proc/12125/stat : 12125 (cosoco) R 12122 12125 6041 0 -1 4202496 43613 0 0 0 208217 5 0 0 20 0 1 0 557404159 52203520 6896 33554432000 4194304 6211132 140732044461184 140732044458424 5156288 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 26214400 140732044469259 140732044469361 140732044469361 140732044472270 0
/proc/12125/statm: 12745 6896 877 493 0 6050 0
Current children cumulated CPU time: 2082.22 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27584 KiB

[startup+2142.3 s]
/proc/loadavg: 0.98 1.07 1.47 2/192 12388
/proc/meminfo: memFree=31533132/32770624 swapFree=66999984/67108860
[pid=12125] ppid=12122 vsize=50980 memory=27584 CPUtime=2142.21 cores=0,2,4,6
/proc/12125/stat : 12125 (cosoco) R 12122 12125 6041 0 -1 4202496 43770 0 0 0 214216 5 0 0 20 0 1 0 557404159 52203520 6896 33554432000 4194304 6211132 140732044461184 140732044458424 5250321 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 26214400 140732044469259 140732044469361 140732044469361 140732044472270 0
/proc/12125/statm: 12745 6896 877 493 0 6050 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27584 KiB

[startup+2202.3 s]
/proc/loadavg: 0.99 1.06 1.44 2/192 12394
/proc/meminfo: memFree=31532732/32770624 swapFree=66999984/67108860
[pid=12125] ppid=12122 vsize=50980 memory=27584 CPUtime=2202.2 cores=0,2,4,6
/proc/12125/stat : 12125 (cosoco) R 12122 12125 6041 0 -1 4202496 43999 0 0 0 220215 5 0 0 20 0 1 0 557404159 52203520 6896 33554432000 4194304 6211132 140732044461184 140732044458424 5155373 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26214400 140732044469259 140732044469361 140732044469361 140732044472270 0
/proc/12125/statm: 12745 6896 877 493 0 6050 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27584 KiB

[startup+2262.3 s]
/proc/loadavg: 1.00 1.04 1.41 2/193 12406
/proc/meminfo: memFree=31533240/32770624 swapFree=66999984/67108860
[pid=12125] ppid=12122 vsize=50980 memory=27584 CPUtime=2262.2 cores=0,2,4,6
/proc/12125/stat : 12125 (cosoco) R 12122 12125 6041 0 -1 4202496 44157 0 0 0 226215 5 0 0 20 0 1 0 557404159 52203520 6896 33554432000 4194304 6211132 140732044461184 140732044458424 5156288 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26214400 140732044469259 140732044469361 140732044469361 140732044472270 0
/proc/12125/statm: 12745 6896 877 493 0 6050 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27584 KiB

[startup+2322.3 s]
/proc/loadavg: 1.00 1.04 1.39 2/193 12410
/proc/meminfo: memFree=31533124/32770624 swapFree=66999984/67108860
[pid=12125] ppid=12122 vsize=50980 memory=27584 CPUtime=2322.2 cores=0,2,4,6
/proc/12125/stat : 12125 (cosoco) R 12122 12125 6041 0 -1 4202496 44315 0 0 0 232215 5 0 0 20 0 1 0 557404159 52203520 6896 33554432000 4194304 6211132 140732044461184 140732044458424 5250304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26214400 140732044469259 140732044469361 140732044469361 140732044472270 0
/proc/12125/statm: 12745 6896 877 493 0 6050 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27584 KiB

[startup+2382.3 s]
/proc/loadavg: 1.00 1.03 1.36 2/193 12416
/proc/meminfo: memFree=31533020/32770624 swapFree=66999984/67108860
[pid=12125] ppid=12122 vsize=50980 memory=27584 CPUtime=2382.2 cores=0,2,4,6
/proc/12125/stat : 12125 (cosoco) R 12122 12125 6041 0 -1 4202496 44513 0 0 0 238215 5 0 0 20 0 1 0 557404159 52203520 6896 33554432000 4194304 6211132 140732044461184 140732044458424 5250304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26214400 140732044469259 140732044469361 140732044469361 140732044472270 0
/proc/12125/statm: 12745 6896 877 493 0 6050 0
Current children cumulated CPU time: 2382.2 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27584 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.11 s]
/proc/loadavg: 1.00 1.03 1.35 2/193 12417
/proc/meminfo: memFree=31533244/32770624 swapFree=66999984/67108860
[pid=12125] ppid=12122 vsize=50980 memory=27584 CPUtime=2400.01 cores=0,2,4,6
/proc/12125/stat : 12125 (cosoco) R 12122 12125 6041 0 -1 4202496 44673 0 0 0 239996 5 0 0 20 0 1 0 557404159 52203520 6896 33554432000 4194304 6211132 140732044461184 140732044458424 5250304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26214400 140732044469259 140732044469361 140732044469361 140732044472270 0
/proc/12125/statm: 12745 6896 877 493 0 6050 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27584 KiB

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

[startup+2400.11 s]
# the end of solver process 12125 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.97 s, system=0.054998 s

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

[startup+2400.11 s]
/proc/loadavg: 1.00 1.03 1.35 2/193 12417
/proc/meminfo: memFree=31533244/32770624 swapFree=66999984/67108860
[pid=12125] ppid=12122 vsize=50980 memory=27584 CPUtime=2400.01 cores=0,2,4,6
/proc/12125/stat : 12125 (cosoco) R 12122 12125 6041 0 -1 4202496 44673 0 0 0 239996 5 0 0 20 0 1 0 557404159 52203520 6896 33554432000 4194304 6211132 140732044461184 140732044458424 5250304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26214400 140732044469259 140732044469361 140732044469361 140732044472270 0
/proc/12125/statm: 12745 6896 877 493 0 6050 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 50980 KiB
Current children cumulated memory: 27584 KiB

Child status: 1
Real time (s): 2400.11
CPU time (s): 2400.02
CPU user time (s): 2399.97
CPU system time (s): 0.054998
CPU usage (%): 99.9963
Max. virtual memory (cumulated for all children) (KiB): 50980
Max. memory (cumulated for all children) (KiB): 27584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.97
system time used= 0.054998
maximum resident set size= 27648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44747
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= 3334


# summary of solver processes directly reported to runsolver:
#   pid: 12125
#   total CPU time (s): 2400.02
#   total CPU user time (s): 2399.97
#   total CPU system time (s): 0.054998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.04693 second user time and 14.7667 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-30 04:42:34
IDJOB=4408867
IDBENCH=141147
IDSOLVER=2875
FILE ID=node123/4408867-1569811394
RUNJOBID= node123-1569787353-6072
PBS_JOBID= 21705830
Free space on /tmp= 62028 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-4408867-1569811394/watcher-4408867-1569811394 -o /tmp/evaluation-result-4408867-1569811394/solver-4408867-1569811394 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1569787353-6072 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4408867-1569811394.xml

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

MD5SUM BENCH= ef8d95b3b89bfc5ccba73a2d09f74d17
RANDOM SEED=523710568

node123.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.49
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.49
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.49
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.49
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:        31547500 kB
MemAvailable:   31845600 kB
Buffers:          190520 kB
Cached:           429308 kB
SwapCached:         6544 kB
Active:           318996 kB
Inactive:         319568 kB
Active(anon):      27232 kB
Inactive(anon):    72616 kB
Active(file):     291764 kB
Inactive(file):   246952 kB
Unevictable:      106780 kB
Mlocked:          106780 kB
SwapTotal:      67108860 kB
SwapFree:       66999984 kB
Dirty:              2556 kB
Writeback:             0 kB
AnonPages:        119556 kB
Mapped:            28348 kB
Shmem:             72640 kB
Slab:             180836 kB
SReclaimable:     150440 kB
SUnreclaim:        30396 kB
KernelStack:        3552 kB
PageTables:         5788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     574312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 62028 MiB
End job on node123 at 2019-09-30 05:22:34