Trace number 4397882

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)1695417 2400.02 2399.8

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay300_c18.xml
MD5SUM125d0999a88baf20181d93552da446ae
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark2106819
Best CPU time to get the best result obtained on this benchmark2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints300
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree32
Distribution of variable degrees[{"degree":2,"count":246},{"degree":3,"count":424},{"degree":4,"count":324},{"degree":5,"count":234},{"degree":6,"count":177},{"degree":7,"count":133},{"degree":8,"count":113},{"degree":9,"count":81},{"degree":10,"count":53},{"degree":11,"count":33},{"degree":12,"count":38},{"degree":13,"count":40},{"degree":14,"count":26},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":11},{"degree":18,"count":9},{"degree":19,"count":2},{"degree":20,"count":5},{"degree":21,"count":1},{"degree":22,"count":3},{"degree":23,"count":1},{"degree":24,"count":4},{"degree":25,"count":2},{"degree":26,"count":3},{"degree":27,"count":2},{"degree":28,"count":1},{"degree":29,"count":1},{"degree":32,"count":1}]
Minimum constraint arity17
Maximum constraint arity46
Distribution of constraint arities[{"arity":17,"count":1},{"arity":19,"count":3},{"arity":20,"count":2},{"arity":21,"count":2},{"arity":22,"count":4},{"arity":23,"count":5},{"arity":24,"count":9},{"arity":25,"count":14},{"arity":26,"count":7},{"arity":27,"count":15},{"arity":28,"count":18},{"arity":29,"count":21},{"arity":30,"count":20},{"arity":31,"count":26},{"arity":32,"count":22},{"arity":33,"count":26},{"arity":34,"count":14},{"arity":35,"count":17},{"arity":36,"count":11},{"arity":37,"count":14},{"arity":38,"count":15},{"arity":39,"count":10},{"arity":40,"count":5},{"arity":41,"count":6},{"arity":42,"count":4},{"arity":43,"count":5},{"arity":45,"count":2},{"arity":46,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":300}]
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.37	c
0.31/0.37	c This is cosoco 2.00 --  
0.31/0.37	c
0.31/0.37	c command line: cosoco -lc -model -restarts -stick HOME/instance-4397882-1568591703.xml 
0.31/0.37	c enable optimization
0.31/0.37	c ========================================[ Problem Statistics ]===========================================
0.31/0.37	c |                                                                                                       
0.31/0.37	c |  Parse time        :         0.11 s 
0.31/0.37	c |
0.31/0.37	c |               Variables: 2000
0.31/0.37	c |            Domain Sizes: 2..2
0.31/0.37	c |
0.31/0.37	c |             Constraints: 301
0.31/0.37	c |                   Arity: 17..2000
0.31/0.37	c | 
0.31/0.37	c |                   Types: 
0.31/0.37	c |                          Sum: 301
0.31/0.37	c |                          
0.31/0.37	c |               Objective: Maximize Sum
0.31/0.37	
0.31/0.37	c =========================================================================================================
0.31/0.37	o 0
0.31/0.38	c    1 calls to solver(id=*d): best=0 lower=0 upper=1 
0.79/0.83	o 8147
1.19/1.28	o 40805
1.19/1.28	c    3 calls to solver(id=*d): best=0 lower=40805 upper=40806 
1.69/1.74	o 69049
2.10/2.19	o 87787
3.10/8.21	c    5 calls to solver(id=*d): best=0 lower=87787 upper=87788 
3.10/8.21	o 92535
3.10/8.21	o 123908
3.10/8.21	c    7 calls to solver(id=*d): best=0 lower=123908 upper=123909 
3.10/8.21	o 151185
3.10/8.21	o 152710
3.10/8.21	c    9 calls to solver(id=*d): best=0 lower=152710 upper=152711 
3.10/8.21	o 161678
3.10/8.21	o 169826
3.10/8.21	c   11 calls to solver(id=*d): best=0 lower=169826 upper=169827 
3.10/8.21	o 170135
3.10/8.21	o 171062
3.10/8.21	c   13 calls to solver(id=*d): best=0 lower=171062 upper=171063 
3.10/8.21	o 177452
3.10/8.21	o 181771
3.10/8.21	c   15 calls to solver(id=*d): best=0 lower=181771 upper=181772 
3.10/8.21	o 186469
3.10/8.21	o 188032
3.10/8.21	c   17 calls to solver(id=*d): best=0 lower=188032 upper=188033 
3.10/8.21	o 205719
8.49/8.58	o 212183
8.49/8.58	c   19 calls to solver(id=*d): best=0 lower=212183 upper=212184 
8.99/9.04	o 214107
9.49/9.50	o 227027
9.49/9.50	c   21 calls to solver(id=*d): best=0 lower=227027 upper=227028 
9.89/9.96	o 251476
10.39/10.42	o 253223
10.39/10.42	c   23 calls to solver(id=*d): best=0 lower=253223 upper=253224 
10.79/10.88	o 257209
11.29/11.34	o 263618
11.29/11.34	c   25 calls to solver(id=*d): best=0 lower=263618 upper=263619 
11.69/11.79	o 265885
12.20/12.25	o 275072
12.20/12.25	c   27 calls to solver(id=*d): best=0 lower=275072 upper=275073 
12.69/12.72	o 277041
13.10/13.17	o 278455
13.10/13.17	c   29 calls to solver(id=*d): best=0 lower=278455 upper=278456 
13.59/13.63	o 294948
13.99/14.08	o 312458
13.99/14.09	c   31 calls to solver(id=*d): best=0 lower=312458 upper=312459 
14.49/14.54	o 324413
14.99/15.00	o 339970
14.99/15.00	c   33 calls to solver(id=*d): best=0 lower=339970 upper=339971 
15.39/15.46	o 340349
15.89/15.92	o 357310
15.89/15.92	c   35 calls to solver(id=*d): best=0 lower=357310 upper=357311 
16.29/16.37	o 388513
16.79/16.83	o 403684
16.79/16.83	c   37 calls to solver(id=*d): best=0 lower=403684 upper=403685 
17.20/17.29	o 422857
17.69/17.74	o 426798
17.69/17.75	c   39 calls to solver(id=*d): best=0 lower=426798 upper=426799 
18.10/18.20	o 428599
18.59/18.66	o 454567
18.59/18.66	c   41 calls to solver(id=*d): best=0 lower=454567 upper=454568 
19.10/19.12	o 464404
19.49/19.57	o 487821
19.49/19.58	c   43 calls to solver(id=*d): best=0 lower=487821 upper=487822 
19.99/20.03	o 494701
20.39/20.49	o 502270
20.39/20.49	c   45 calls to solver(id=*d): best=0 lower=502270 upper=502271 
20.89/20.95	o 507021
21.39/21.41	o 529806
21.39/21.41	c   47 calls to solver(id=*d): best=0 lower=529806 upper=529807 
21.79/21.87	o 545027
22.29/22.33	o 568598
22.29/22.33	c   49 calls to solver(id=*d): best=0 lower=568598 upper=568599 
22.69/22.78	o 574278
23.20/23.24	o 587387
23.20/23.24	c   51 calls to solver(id=*d): best=0 lower=587387 upper=587388 
23.69/23.70	o 589625
24.09/24.16	o 595450
24.09/24.16	c   53 calls to solver(id=*d): best=0 lower=595450 upper=595451 
24.59/24.62	o 611805
25.00/25.07	o 616313
25.00/25.07	c   55 calls to solver(id=*d): best=0 lower=616313 upper=616314 
25.50/25.53	o 627333
25.90/25.99	o 632698
25.90/25.99	c   57 calls to solver(id=*d): best=0 lower=632698 upper=632699 
26.40/26.45	o 642357
26.90/26.91	o 653483
26.90/26.91	c   59 calls to solver(id=*d): best=0 lower=653483 upper=653484 
27.30/27.37	o 668938
27.80/27.83	o 681017
27.80/27.83	c   61 calls to solver(id=*d): best=0 lower=681017 upper=681018 
28.20/28.28	o 687209
28.70/28.74	o 688027
28.70/28.74	c   63 calls to solver(id=*d): best=0 lower=688027 upper=688028 
29.10/29.20	o 696121
29.60/29.66	o 703380
29.60/29.66	c   65 calls to solver(id=*d): best=0 lower=703380 upper=703381 
30.10/30.12	o 720708
30.50/30.58	o 725062
30.50/30.58	c   67 calls to solver(id=*d): best=0 lower=725062 upper=725063 
30.99/31.03	o 726298
31.39/31.49	o 730760
31.39/31.50	c   69 calls to solver(id=*d): best=0 lower=730760 upper=730761 
31.89/31.95	o 747296
32.39/32.41	o 749314
32.39/32.41	c   71 calls to solver(id=*d): best=0 lower=749314 upper=749315 
32.79/32.87	o 758226
33.29/33.33	o 766670
33.29/33.33	c   73 calls to solver(id=*d): best=0 lower=766670 upper=766671 
33.69/33.79	o 772690
34.20/34.25	o 777373
34.20/34.25	c   75 calls to solver(id=*d): best=0 lower=777373 upper=777374 
34.69/34.71	o 785311
35.10/35.17	o 794618
35.10/35.17	c   77 calls to solver(id=*d): best=0 lower=794618 upper=794619 
35.59/35.63	o 800705
35.99/36.09	o 812755
35.99/36.09	c   79 calls to solver(id=*d): best=0 lower=812755 upper=812756 
36.49/36.55	o 816307
36.99/37.00	o 828458
36.99/37.00	c   81 calls to solver(id=*d): best=0 lower=828458 upper=828459 
37.39/37.46	o 841637
37.89/37.92	o 851773
37.89/37.92	c   83 calls to solver(id=*d): best=0 lower=851773 upper=851774 
38.29/38.38	o 854882
38.79/38.84	o 865909
38.79/38.84	c   85 calls to solver(id=*d): best=0 lower=865909 upper=865910 
39.29/39.30	o 872474
39.69/39.76	o 873225
39.69/39.76	c   87 calls to solver(id=*d): best=0 lower=873225 upper=873226 
40.20/40.22	o 879436
40.59/40.68	o 883339
40.59/40.69	c   89 calls to solver(id=*d): best=0 lower=883339 upper=883340 
41.10/41.15	o 887651
41.59/41.61	o 896317
41.59/41.61	c   91 calls to solver(id=*d): best=0 lower=896317 upper=896318 
41.99/42.07	o 899221
42.49/42.53	o 900612
42.49/42.53	c   93 calls to solver(id=*d): best=0 lower=900612 upper=900613 
42.89/42.99	o 900616
43.39/43.45	o 910258
43.39/43.45	c   95 calls to solver(id=*d): best=0 lower=910258 upper=910259 
43.89/43.92	o 910401
44.29/44.38	o 916032
44.29/44.38	c   97 calls to solver(id=*d): best=0 lower=916032 upper=916033 
44.79/44.84	o 916315
45.29/45.30	o 921881
45.29/45.30	c   99 calls to solver(id=*d): best=0 lower=921881 upper=921882 
45.69/45.76	o 928636
46.20/46.23	o 933580
46.20/46.23	c  101 calls to solver(id=*d): best=0 lower=933580 upper=933581 
46.59/46.69	o 941309
47.10/47.15	o 942597
47.10/47.15	c  103 calls to solver(id=*d): best=0 lower=942597 upper=942598 
47.59/47.61	o 951205
47.99/48.07	o 955190
47.99/48.07	c  105 calls to solver(id=*d): best=0 lower=955190 upper=955191 
48.49/48.53	o 961326
48.89/48.99	o 961786
48.99/49.00	c  107 calls to solver(id=*d): best=0 lower=961786 upper=961787 
49.39/49.46	o 967730
49.89/49.92	o 968468
49.89/49.92	c  109 calls to solver(id=*d): best=0 lower=968468 upper=968469 
50.29/50.38	o 973642
50.79/50.85	o 981758
50.79/50.85	c  111 calls to solver(id=*d): best=0 lower=981758 upper=981759 
51.29/51.31	o 985332
51.69/51.77	o 989589
51.69/51.77	c  113 calls to solver(id=*d): best=0 lower=989589 upper=989590 
52.20/52.23	o 998060
52.69/52.70	o 1017507
52.69/52.70	c  115 calls to solver(id=*d): best=0 lower=1017507 upper=1017508 
53.10/53.16	o 1031059
53.59/53.62	o 1038930
53.59/53.62	c  117 calls to solver(id=*d): best=0 lower=1038930 upper=1038931 
53.99/54.08	o 1047271
54.49/54.54	o 1050338
54.49/54.55	c  119 calls to solver(id=*d): best=0 lower=1050338 upper=1050339 
54.99/55.01	o 1070147
55.39/55.47	o 1075184
55.39/55.47	c  121 calls to solver(id=*d): best=0 lower=1075184 upper=1075185 
55.89/55.93	o 1079691
56.29/56.39	o 1079758
56.29/56.39	c  123 calls to solver(id=*d): best=0 lower=1079758 upper=1079759 
56.79/56.85	o 1080445
57.29/57.31	o 1081513
57.29/57.31	c  125 calls to solver(id=*d): best=0 lower=1081513 upper=1081514 
57.69/57.77	o 1082099
58.20/58.23	o 1091747
58.20/58.23	c  127 calls to solver(id=*d): best=0 lower=1091747 upper=1091748 
58.59/58.69	o 1095917
59.10/59.15	o 1097381
59.10/59.15	c  129 calls to solver(id=*d): best=0 lower=1097381 upper=1097382 
59.59/59.61	o 1104775
59.99/60.07	o 1111826
59.99/60.07	c  131 calls to solver(id=*d): best=0 lower=1111826 upper=1111827 
60.49/60.53	o 1112370
60.89/60.99	o 1121284
60.89/60.99	c  133 calls to solver(id=*d): best=0 lower=1121284 upper=1121285 
61.39/61.45	o 1127358
61.89/61.91	o 1133337
61.89/61.91	c  135 calls to solver(id=*d): best=0 lower=1133337 upper=1133338 
62.29/62.37	o 1143282
62.79/62.83	o 1145602
62.79/62.83	c  137 calls to solver(id=*d): best=0 lower=1145602 upper=1145603 
63.29/63.30	o 1153500
63.69/63.76	o 1154251
63.69/63.76	c  139 calls to solver(id=*d): best=0 lower=1154251 upper=1154252 
64.20/64.22	o 1160265
64.59/64.68	o 1167617
64.59/64.68	c  141 calls to solver(id=*d): best=0 lower=1167617 upper=1167618 
65.10/65.14	o 1168625
65.59/65.61	o 1170225
65.59/65.61	c  143 calls to solver(id=*d): best=0 lower=1170225 upper=1170226 
65.99/66.07	o 1175091
66.49/66.53	o 1184346
66.49/66.53	c  145 calls to solver(id=*d): best=0 lower=1184346 upper=1184347 
66.89/66.99	o 1189493
67.39/67.45	o 1194046
67.39/67.45	c  147 calls to solver(id=*d): best=0 lower=1194046 upper=1194047 
67.89/67.91	o 1204285
68.29/68.38	o 1204835
68.29/68.38	c  149 calls to solver(id=*d): best=0 lower=1204835 upper=1204836 
68.79/68.84	o 1206843
69.29/69.30	o 1208345
69.29/69.30	c  151 calls to solver(id=*d): best=0 lower=1208345 upper=1208346 
69.69/69.76	o 1209235
70.20/70.22	o 1209981
70.20/70.22	c  153 calls to solver(id=*d): best=0 lower=1209981 upper=1209982 
70.59/70.69	o 1216235
71.10/71.15	o 1222696
71.10/71.15	c  155 calls to solver(id=*d): best=0 lower=1222696 upper=1222697 
71.59/71.61	o 1234482
71.99/72.07	o 1242922
71.99/72.07	c  157 calls to solver(id=*d): best=0 lower=1242922 upper=1242923 
72.49/72.53	o 1257716
72.99/73.00	o 1260155
72.99/73.00	c  159 calls to solver(id=*d): best=0 lower=1260155 upper=1260156 
73.39/73.46	o 1273810
73.89/73.92	o 1274794
73.89/73.92	c  161 calls to solver(id=*d): best=0 lower=1274794 upper=1274795 
74.29/74.38	o 1282155
74.79/74.85	o 1288506
74.79/74.85	c  163 calls to solver(id=*d): best=0 lower=1288506 upper=1288507 
75.29/75.31	o 1291080
75.69/75.77	o 1303908
75.69/75.77	c  165 calls to solver(id=*d): best=0 lower=1303908 upper=1303909 
76.20/76.23	o 1319331
76.59/76.69	o 1320008
76.59/76.69	c  167 calls to solver(id=*d): best=0 lower=1320008 upper=1320009 
77.10/77.15	o 1320842
77.59/77.61	o 1330240
77.59/77.62	c  169 calls to solver(id=*d): best=0 lower=1330240 upper=1330241 
77.99/78.07	o 1331255
78.49/78.54	o 1331548
78.49/78.54	c  171 calls to solver(id=*d): best=0 lower=1331548 upper=1331549 
78.99/79.00	o 1332673
79.39/79.47	o 1337958
79.39/79.47	c  173 calls to solver(id=*d): best=0 lower=1337958 upper=1337959 
79.89/79.93	o 1347165
80.29/80.39	o 1348745
80.29/80.39	c  175 calls to solver(id=*d): best=0 lower=1348745 upper=1348746 
80.79/80.85	o 1357633
81.29/81.31	o 1358986
81.29/81.31	c  177 calls to solver(id=*d): best=0 lower=1358986 upper=1358987 
81.69/81.77	o 1361980
82.20/82.24	o 1363420
82.20/82.24	c  179 calls to solver(id=*d): best=0 lower=1363420 upper=1363421 
82.69/82.70	o 1366065
83.10/83.16	o 1370666
83.10/83.16	c  181 calls to solver(id=*d): best=0 lower=1370666 upper=1370667 
83.59/83.62	o 1388920
83.99/84.08	o 1390725
83.99/84.08	c  183 calls to solver(id=*d): best=0 lower=1390725 upper=1390726 
84.49/84.55	o 1391988
84.99/85.01	o 1395055
84.99/85.01	c  185 calls to solver(id=*d): best=0 lower=1395055 upper=1395056 
85.39/85.47	o 1396291
85.89/85.93	o 1402064
85.89/85.94	c  187 calls to solver(id=*d): best=0 lower=1402064 upper=1402065 
86.39/86.40	o 1405995
86.79/86.86	o 1407781
86.79/86.86	c  189 calls to solver(id=*d): best=0 lower=1407781 upper=1407782 
87.29/87.32	o 1412325
87.69/87.78	o 1421058
87.69/87.78	c  191 calls to solver(id=*d): best=0 lower=1421058 upper=1421059 
88.20/88.24	o 1426292
88.69/88.71	o 1434488
88.69/88.71	c  193 calls to solver(id=*d): best=0 lower=1434488 upper=1434489 
89.10/89.18	o 1434589
89.60/89.64	o 1443056
89.60/89.64	c  195 calls to solver(id=*d): best=0 lower=1443056 upper=1443057 
90.00/90.10	o 1447490
90.50/90.57	o 1456130
90.50/90.57	c  197 calls to solver(id=*d): best=0 lower=1456130 upper=1456131 
91.00/91.03	o 1460036
91.40/91.49	o 1469760
91.40/91.50	c  199 calls to solver(id=*d): best=0 lower=1469760 upper=1469761 
91.90/91.95	o 1470885
92.40/92.42	o 1475633
92.40/92.42	c  201 calls to solver(id=*d): best=0 lower=1475633 upper=1475634 
92.80/92.88	o 1480548
93.30/93.34	o 1491109
93.30/93.34	c  203 calls to solver(id=*d): best=0 lower=1491109 upper=1491110 
94.20/94.24	o 1491270
95.10/95.15	o 1492197
95.10/95.15	c  205 calls to solver(id=*d): best=0 lower=1492197 upper=1492198 
95.99/96.06	o 1492638
96.49/96.52	o 1493456
96.49/96.52	c  207 calls to solver(id=*d): best=0 lower=1493456 upper=1493457 
97.39/97.43	o 1495261
97.79/97.89	o 1496188
97.79/97.89	c  209 calls to solver(id=*d): best=0 lower=1496188 upper=1496189 
98.69/98.79	o 1508054
99.20/99.25	o 1512052
99.20/99.25	c  211 calls to solver(id=*d): best=0 lower=1512052 upper=1512053 
100.10/100.16	o 1513840
101.10/101.12	o 1514199
101.10/101.12	c  213 calls to solver(id=*d): best=0 lower=1514199 upper=1514200 
101.50/101.58	o 1515207
102.00/102.04	o 1518572
102.00/102.04	c  215 calls to solver(id=*d): best=0 lower=1518572 upper=1518573 
102.90/102.95	o 1519481
103.80/103.86	o 1520461
103.80/103.86	c  217 calls to solver(id=*d): best=0 lower=1520461 upper=1520462 
104.30/104.32	o 1521682
105.21/105.22	o 1530249
105.21/105.22	c  219 calls to solver(id=*d): best=0 lower=1530249 upper=1530250 
106.11/106.13	o 1534156
106.50/106.59	o 1541919
106.50/106.59	c  221 calls to solver(id=*d): best=0 lower=1541919 upper=1541920 
107.00/107.05	o 1546242
107.90/107.95	o 1547836
107.90/107.95	c  223 calls to solver(id=*d): best=0 lower=1547836 upper=1547837 
108.80/108.86	o 1548386
109.70/109.77	o 1554887
109.70/109.77	c  225 calls to solver(id=*d): best=0 lower=1554887 upper=1554888 
110.21/110.23	o 1557461
111.11/111.13	o 1562119
111.11/111.13	c  227 calls to solver(id=*d): best=0 lower=1562119 upper=1562120 
111.50/111.59	o 1562438
112.50/112.50	o 1563821
112.50/112.50	c  229 calls to solver(id=*d): best=0 lower=1563821 upper=1563822 
113.40/113.41	o 1568382
114.30/114.31	o 1579393
114.30/114.32	c  231 calls to solver(id=*d): best=0 lower=1579393 upper=1579394 
114.70/114.77	o 1584439
115.60/115.68	o 1585660
115.60/115.68	c  233 calls to solver(id=*d): best=0 lower=1585660 upper=1585661 
116.50/116.58	o 1597424
117.40/117.49	o 1599930
117.40/117.49	c  235 calls to solver(id=*d): best=0 lower=1599930 upper=1599931 
117.90/117.95	o 1602155
118.40/118.41	o 1606137
118.40/118.41	c  237 calls to solver(id=*d): best=0 lower=1606137 upper=1606138 
119.70/119.76	o 1607663
121.11/121.11	o 1610947
121.11/121.11	c  239 calls to solver(id=*d): best=0 lower=1610947 upper=1610948 
122.00/122.01	o 1611010
123.30/123.36	o 1613606
123.30/123.36	c  241 calls to solver(id=*d): best=0 lower=1613606 upper=1613607 
124.70/124.71	o 1616017
126.00/126.05	o 1616536
126.00/126.06	c  243 calls to solver(id=*d): best=0 lower=1616536 upper=1616537 
127.40/127.40	o 1621821
128.70/128.75	o 1623761
128.70/128.75	c  245 calls to solver(id=*d): best=0 lower=1623761 upper=1623762 
130.00/130.10	o 1625716
131.40/131.45	o 1629638
131.40/131.45	c  247 calls to solver(id=*d): best=0 lower=1629638 upper=1629639 
132.80/132.80	o 1633511
134.11/134.15	o 1633642
134.11/134.15	c  249 calls to solver(id=*d): best=0 lower=1633642 upper=1633643 
135.00/135.05	o 1638083
136.30/136.39	o 1641366
136.30/136.39	c  251 calls to solver(id=*d): best=0 lower=1641366 upper=1641367 
136.80/136.85	o 1644591
137.30/137.31	o 1645578
137.30/137.31	c  253 calls to solver(id=*d): best=0 lower=1645578 upper=1645579 
137.70/137.77	o 1646045
139.11/139.11	o 1650569
139.11/139.11	c  255 calls to solver(id=*d): best=0 lower=1650569 upper=1650570 
139.50/139.57	o 1652380
140.00/140.02	o 1658093
140.00/140.02	c  257 calls to solver(id=*d): best=0 lower=1658093 upper=1658094 
140.40/140.48	o 1666201
141.80/141.83	o 1673198
141.80/141.83	c  259 calls to solver(id=*d): best=0 lower=1673198 upper=1673199 
142.70/142.73	o 1675515
144.00/144.08	o 1686401
144.00/144.08	c  261 calls to solver(id=*d): best=0 lower=1686401 upper=1686402 
145.40/145.46	o 1686430
146.30/146.37	o 1695417
146.30/146.37	c  263 calls to solver(id=*d): best=0 lower=1695417 upper=1695418 
2400.01/2399.80	
2400.01/2399.80	c *** INTERRUPTED ***
2400.01/2399.80	c call to solver        : 263
2400.01/2399.80	c
2400.01/2399.80	c restarts              : 134         
2400.01/2399.80	c conflicts             : 1519364      (633 /sec)
2400.01/2399.80	c decisions             : 10461867     (4359 /sec)
2400.01/2399.80	c propagations          : 287709379   (119880 /sec)
2400.01/2399.80	c root propagations     : 2000        
2400.01/2399.80	c filter calls          : 67677552       (28199 /sec)
2400.01/2399.80	c useless filter calls  : 43422342       (64 %)
2400.01/2399.80	c Memory used           : 50.72 MB
2400.01/2399.80	c Best bound time (wc)  : 146.367 s
2400.01/2399.80	c CPU time              : 2399.97 s
2400.01/2399.80	c real time             : 2399.8 s
2400.01/2399.80	
2400.01/2399.80	c nb Solutions = 263
2400.01/2399.80	s SATISFIABLE
2400.01/2399.80	c Best value found: 1695417
2400.01/2399.80	
2400.01/2399.80	
2400.01/2399.80	v <instantiation type='solution' cost='1695417'>
2400.01/2399.80	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/2399.80	v <values>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 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 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 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 1 0 0 0 1 0 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 1 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 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 1 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 1 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 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 1 0 0 0 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 1 0 1 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 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 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 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 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 1 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 1 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 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 1 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 1 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 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 1 1 0 0 0 1 1 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 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 1 0 1 0 1 0 0 1 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 0 0 0 0 1 0 1 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 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 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 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 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 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 1 0 1 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 1 0 0 0 0 0 0 0 0 0 0 1 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 1 1 0 0 0 0 0 0 0 0 1 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 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 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 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 0 0 0 0 0 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 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 1 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 1 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 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 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 1 0 1 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 0 0 1 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
2400.01/2399.80	v </instantiation>
2400.01/2399.80

Verifier Data 

OK	1695417

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397882-1568591703/watcher-4397882-1568591703 -o /tmp/evaluation-result-4397882-1568591703/solver-4397882-1568591703 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568572739-2567 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397882-1568591703.xml 

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

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


[startup+0.100164 s]*
/proc/loadavg: 2.08 2.01 2.05 3/202 6681
/proc/meminfo: memFree=19965096/32770624 swapFree=66998672/67108860
[pid=6680] ppid=6677 vsize=31604 memory=8008 CPUtime=0.1 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 2535 0 -1 4202496 2186 0 0 0 10 0 0 0 20 0 1 0 435421768 32362496 2002 33554432000 4194304 6211092 140734855397088 140734855391408 5519012 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140734855402507 140734855402609 140734855402609 140734855405518 0
/proc/6680/statm: 7901 2002 838 493 0 1206 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31604 KiB
Current children cumulated memory: 8008 KiB

[startup+0.209976 s]*
/proc/loadavg: 2.08 2.01 2.05 3/202 6681
/proc/meminfo: memFree=19963236/32770624 swapFree=66998672/67108860
[pid=6680] ppid=6677 vsize=32660 memory=9328 CPUtime=0.21 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 2535 0 -1 4202496 2497 0 0 0 21 0 0 0 20 0 1 0 435421768 33443840 2332 33554432000 4194304 6211092 140734855397088 140734855391408 140709928897509 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140734855402507 140734855402609 140734855402609 140734855405518 0
/proc/6680/statm: 8165 2332 876 493 0 1470 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32660 KiB
Current children cumulated memory: 9328 KiB

[startup+0.309727 s]*
/proc/loadavg: 2.08 2.01 2.05 3/202 6681
/proc/meminfo: memFree=19959144/32770624 swapFree=66998672/67108860
[pid=6680] ppid=6677 vsize=35972 memory=12496 CPUtime=0.31 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 2535 0 -1 4202496 3315 0 0 0 31 0 0 0 20 0 1 0 435421768 36835328 3124 33554432000 4194304 6211092 140734855397088 140734855391408 5185143 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140734855402507 140734855402609 140734855402609 140734855405518 0
/proc/6680/statm: 8993 3124 876 493 0 2298 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35972 KiB
Current children cumulated memory: 12496 KiB

[startup+0.700368 s]
/proc/loadavg: 2.08 2.01 2.05 3/202 6681
/proc/meminfo: memFree=19951572/32770624 swapFree=66998672/67108860
[pid=6680] ppid=6677 vsize=41828 memory=18304 CPUtime=0.69 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 2535 0 -1 4202496 4762 0 0 0 69 0 0 0 20 0 1 0 435421768 42831872 4576 33554432000 4194304 6211092 140734855397088 140734855391408 140709928966699 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140734855402507 140734855402609 140734855402609 140734855405518 0
/proc/6680/statm: 10457 4576 877 493 0 3762 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41828 KiB
Current children cumulated memory: 18304 KiB

[startup+1.50038 s]
/proc/loadavg: 2.08 2.01 2.05 3/202 6681
/proc/meminfo: memFree=19941280/32770624 swapFree=66998672/67108860
[pid=6680] ppid=6677 vsize=46812 memory=23320 CPUtime=1.49 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 2535 0 -1 4202496 6035 0 0 0 148 1 0 0 20 0 1 0 435421768 47935488 5830 33554432000 4194304 6211092 140734855397088 140734855391408 5155345 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140734855402507 140734855402609 140734855402609 140734855405518 0
/proc/6680/statm: 11703 5830 877 493 0 5008 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 46812 KiB
Current children cumulated memory: 23320 KiB

[startup+3.10948 s]
/proc/loadavg: 2.47 2.10 2.07 3/202 6681
/proc/meminfo: memFree=19913968/32770624 swapFree=66998672/67108860
[pid=6680] ppid=6677 vsize=47616 memory=24140 CPUtime=3.1 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 2535 0 -1 4202496 9923 0 0 0 309 1 0 0 20 0 1 0 435421768 48758784 6035 33554432000 4194304 6211092 140734855397088 140734855384968 5397226 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140734855402507 140734855402609 140734855402609 140734855405518 0
/proc/6680/statm: 11904 6035 877 493 0 5209 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 47616 KiB
Current children cumulated memory: 24140 KiB

[startup+8.30995 s]
/proc/loadavg: 2.47 2.10 2.07 3/202 6681
/proc/meminfo: memFree=19913968/32770624 swapFree=66998672/67108860
[pid=6680] ppid=6677 vsize=48564 memory=25184 CPUtime=8.3 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 2535 0 -1 4202496 17748 0 0 0 829 1 0 0 20 0 1 0 435421768 49729536 6296 33554432000 4194304 6211092 140734855397088 140734855395224 5250467 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140734855402507 140734855402609 140734855402609 140734855405518 0
/proc/6680/statm: 12141 6296 877 493 0 5446 0
Current children cumulated CPU time: 8.3 s
Current children cumulated vsize: 48564 KiB
Current children cumulated memory: 25184 KiB

[startup+12.7003 s]
/proc/loadavg: 2.99 2.21 2.11 3/203 6682
/proc/meminfo: memFree=20307248/32770624 swapFree=66998672/67108860
[pid=6680] ppid=6677 vsize=49096 memory=25704 CPUtime=12.69 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 2535 0 -1 4202496 21327 0 0 0 1268 1 0 0 20 0 1 0 435421768 50274304 6426 33554432000 4194304 6211092 140734855397088 140734855395224 5185344 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140734855402507 140734855402609 140734855402609 140734855405518 0
/proc/6680/statm: 12274 6426 877 493 0 5579 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 49096 KiB
Current children cumulated memory: 25704 KiB

[startup+25.5002 s]
/proc/loadavg: 3.00 2.25 2.12 3/202 6686
/proc/meminfo: memFree=20672240/32770624 swapFree=66998676/67108860
[pid=6680] ppid=6677 vsize=49912 memory=26592 CPUtime=25.5 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 2535 0 -1 4202496 26988 0 0 0 2548 2 0 0 20 0 1 0 435421768 51109888 6648 33554432000 4194304 6211092 140734855397088 140734855384968 5155345 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140734855402507 140734855402609 140734855402609 140734855405518 0
/proc/6680/statm: 12478 6648 877 493 0 5783 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 49912 KiB
Current children cumulated memory: 26592 KiB

[startup+51.1003 s]*
/proc/loadavg: 2.99 2.31 2.15 3/200 6689
/proc/meminfo: memFree=20401088/32770624 swapFree=66998676/67108860
[pid=6680] ppid=6677 vsize=50576 memory=27220 CPUtime=51.1 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 2535 0 -1 4202496 32223 0 0 0 5108 2 0 0 20 0 1 0 435421768 51789824 6805 33554432000 4194304 6211092 140734855397088 140734855395224 5250289 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140734855402507 140734855402609 140734855402609 140734855405518 0
/proc/6680/statm: 12644 6805 877 493 0 5949 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 50576 KiB
Current children cumulated memory: 27220 KiB

[startup+102.3 s]
/proc/loadavg: 2.43 2.26 2.14 3/201 6694
/proc/meminfo: memFree=19867352/32770624 swapFree=66998676/67108860
[pid=6680] ppid=6677 vsize=51796 memory=28360 CPUtime=102.3 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 2535 0 -1 4202496 42295 0 0 0 10227 3 0 0 20 0 1 0 435421768 53039104 7090 33554432000 4194304 6211092 140734855397088 140734855384968 5250272 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140734855402507 140734855402609 140734855402609 140734855405518 0
/proc/6680/statm: 12949 7090 877 493 0 6254 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 51796 KiB
Current children cumulated memory: 28360 KiB

[startup+162.3 s]
/proc/loadavg: 2.25 2.24 2.14 3/201 6700
/proc/meminfo: memFree=19242736/32770624 swapFree=66998676/67108860
[pid=6680] ppid=6677 vsize=51932 memory=28564 CPUtime=162.3 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 2535 0 -1 4202496 47950 0 0 0 16227 3 0 0 20 0 1 0 435421768 53178368 7141 33554432000 4194304 6211092 140734855397088 140734855384968 5156476 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140734855402507 140734855402609 140734855402609 140734855405518 0
/proc/6680/statm: 12983 7141 877 493 0 6288 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 51932 KiB
Current children cumulated memory: 28564 KiB

[startup+222.3 s]
/proc/loadavg: 2.13 2.21 2.13 3/201 6704
/proc/meminfo: memFree=18616028/32770624 swapFree=66998676/67108860
[pid=6680] ppid=6677 vsize=51932 memory=28584 CPUtime=222.31 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 2535 0 -1 4202496 51459 0 0 0 22228 3 0 0 20 0 1 0 435421768 53178368 7146 33554432000 4194304 6211092 140734855397088 140734855384968 5250224 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140734855402507 140734855402609 140734855402609 140734855405518 0
/proc/6680/statm: 12983 7146 877 493 0 6288 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 51932 KiB
Current children cumulated memory: 28584 KiB

[startup+282.3 s]
/proc/loadavg: 2.08 2.19 2.13 3/201 6709
/proc/meminfo: memFree=17991352/32770624 swapFree=66998676/67108860
[pid=6680] ppid=6677 vsize=51932 memory=28588 CPUtime=282.31 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 2535 0 -1 4202496 51737 0 0 0 28228 3 0 0 20 0 1 0 435421768 53178368 7147 33554432000 4194304 6211092 140734855397088 140734855384968 5250272 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140734855402507 140734855402609 140734855402609 140734855405518 0
/proc/6680/statm: 12983 7147 877 493 0 6288 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 51932 KiB
Current children cumulated memory: 28588 KiB

[startup+342.3 s]
/proc/loadavg: 2.06 2.17 2.13 3/200 6715
/proc/meminfo: memFree=17364072/32770624 swapFree=66998676/67108860
[pid=6680] ppid=6677 vsize=51932 memory=28588 CPUtime=342.32 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 2535 0 -1 4202496 55058 0 0 0 34229 3 0 0 20 0 1 0 435421768 53178368 7147 33554432000 4194304 6211092 140734855397088 140734855384968 5156465 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140734855402507 140734855402609 140734855402609 140734855405518 0
/proc/6680/statm: 12983 7147 877 493 0 6288 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 51932 KiB
Current children cumulated memory: 28588 KiB

[startup+402.3 s]
/proc/loadavg: 2.06 2.15 2.13 3/200 6727
/proc/meminfo: memFree=16740400/32770624 swapFree=66998676/67108860
[pid=6680] ppid=6677 vsize=51932 memory=28596 CPUtime=402.32 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 2535 0 -1 4202496 55258 0 0 0 40229 3 0 0 20 0 1 0 435421768 53178368 7149 33554432000 4194304 6211092 140734855397088 140734855384968 5250272 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140734855402507 140734855402609 140734855402609 140734855405518 0
/proc/6680/statm: 12983 7149 877 493 0 6288 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 51932 KiB
Current children cumulated memory: 28596 KiB

[startup+462.3 s]
/proc/loadavg: 2.06 2.14 2.13 3/201 6757
/proc/meminfo: memFree=16113672/32770624 swapFree=66998688/67108860
[pid=6680] ppid=6677 vsize=51932 memory=28596 CPUtime=462.34 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 2535 0 -1 4202496 58375 0 0 0 46230 4 0 0 20 0 1 0 435421768 53178368 7149 33554432000 4194304 6211092 140734855397088 140734855384968 5186452 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140734855402507 140734855402609 140734855402609 140734855405518 0
/proc/6680/statm: 12983 7149 877 493 0 6288 0
Current children cumulated CPU time: 462.34 s
Current children cumulated vsize: 51932 KiB
Current children cumulated memory: 28596 KiB


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

/proc/6680/statm: 12983 7151 877 493 0 6288 0
Current children cumulated CPU time: 1662.44 s
Current children cumulated vsize: 51932 KiB
Current children cumulated memory: 28604 KiB

[startup+1722.3 s]
/proc/loadavg: 2.07 2.04 2.06 3/199 6935
/proc/meminfo: memFree=30633256/32770624 swapFree=66998692/67108860
[pid=6680] ppid=6677 vsize=51932 memory=28604 CPUtime=1722.44 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 2535 0 -1 4202496 62211 0 0 0 172240 4 0 0 20 0 1 0 435421768 53178368 7151 33554432000 4194304 6211092 140734855397088 140734855384968 5155345 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140734855402507 140734855402609 140734855402609 140734855405518 0
/proc/6680/statm: 12983 7151 877 493 0 6288 0
Current children cumulated CPU time: 1722.44 s
Current children cumulated vsize: 51932 KiB
Current children cumulated memory: 28604 KiB

[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.06 3/199 6941
/proc/meminfo: memFree=30633932/32770624 swapFree=66998692/67108860
[pid=6680] ppid=6677 vsize=51932 memory=28604 CPUtime=1782.45 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 2535 0 -1 4202496 62575 0 0 0 178241 4 0 0 20 0 1 0 435421768 53178368 7151 33554432000 4194304 6211092 140734855397088 140734855384968 5250459 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140734855402507 140734855402609 140734855402609 140734855405518 0
/proc/6680/statm: 12983 7151 877 493 0 6288 0
Current children cumulated CPU time: 1782.45 s
Current children cumulated vsize: 51932 KiB
Current children cumulated memory: 28604 KiB

[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 6945
/proc/meminfo: memFree=30633672/32770624 swapFree=66998692/67108860
[pid=6680] ppid=6677 vsize=51932 memory=28604 CPUtime=1842.46 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 2535 0 -1 4202496 62575 0 0 0 184242 4 0 0 20 0 1 0 435421768 53178368 7151 33554432000 4194304 6211092 140734855397088 140734855384968 5155345 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140734855402507 140734855402609 140734855402609 140734855405518 0
/proc/6680/statm: 12983 7151 877 493 0 6288 0
Current children cumulated CPU time: 1842.46 s
Current children cumulated vsize: 51932 KiB
Current children cumulated memory: 28604 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 6950
/proc/meminfo: memFree=30633992/32770624 swapFree=66998696/67108860
[pid=6680] ppid=6677 vsize=51932 memory=28604 CPUtime=1902.46 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 2535 0 -1 4202496 62852 0 0 0 190242 4 0 0 20 0 1 0 435421768 53178368 7151 33554432000 4194304 6211092 140734855397088 140734855384968 5250298 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140734855402507 140734855402609 140734855402609 140734855405518 0
/proc/6680/statm: 12983 7151 877 493 0 6288 0
Current children cumulated CPU time: 1902.46 s
Current children cumulated vsize: 51932 KiB
Current children cumulated memory: 28604 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6956
/proc/meminfo: memFree=30633596/32770624 swapFree=66998696/67108860
[pid=6680] ppid=6677 vsize=51932 memory=28604 CPUtime=1962.47 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 2535 0 -1 4202496 62941 0 0 0 196243 4 0 0 20 0 1 0 435421768 53178368 7151 33554432000 4194304 6211092 140734855397088 140734855384968 5250272 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140734855402507 140734855402609 140734855402609 140734855405518 0
/proc/6680/statm: 12983 7151 877 493 0 6288 0
Current children cumulated CPU time: 1962.47 s
Current children cumulated vsize: 51932 KiB
Current children cumulated memory: 28604 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6960
/proc/meminfo: memFree=30633708/32770624 swapFree=66998696/67108860
[pid=6680] ppid=6677 vsize=51932 memory=28604 CPUtime=2022.47 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 2535 0 -1 4202496 63224 0 0 0 202243 4 0 0 20 0 1 0 435421768 53178368 7151 33554432000 4194304 6211092 140734855397088 140734855384968 5156256 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140734855402507 140734855402609 140734855402609 140734855405518 0
/proc/6680/statm: 12983 7151 877 493 0 6288 0
Current children cumulated CPU time: 2022.47 s
Current children cumulated vsize: 51932 KiB
Current children cumulated memory: 28604 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6965
/proc/meminfo: memFree=30633600/32770624 swapFree=66998696/67108860
[pid=6680] ppid=6677 vsize=51932 memory=28604 CPUtime=2082.48 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 2535 0 -1 4202496 63224 0 0 0 208244 4 0 0 20 0 1 0 435421768 53178368 7151 33554432000 4194304 6211092 140734855397088 140734855384968 5155800 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140734855402507 140734855402609 140734855402609 140734855405518 0
/proc/6680/statm: 12983 7151 877 493 0 6288 0
Current children cumulated CPU time: 2082.48 s
Current children cumulated vsize: 51932 KiB
Current children cumulated memory: 28604 KiB

[startup+2142.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/199 6971
/proc/meminfo: memFree=30632976/32770624 swapFree=66998696/67108860
[pid=6680] ppid=6677 vsize=51932 memory=28604 CPUtime=2142.48 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 2535 0 -1 4202496 63586 0 0 0 214244 4 0 0 20 0 1 0 435421768 53178368 7151 33554432000 4194304 6211092 140734855397088 140734855384968 5156465 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140734855402507 140734855402609 140734855402609 140734855405518 0
/proc/6680/statm: 12983 7151 877 493 0 6288 0
Current children cumulated CPU time: 2142.48 s
Current children cumulated vsize: 51932 KiB
Current children cumulated memory: 28604 KiB

[startup+2202.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/199 6982
/proc/meminfo: memFree=30633380/32770624 swapFree=66998700/67108860
[pid=6680] ppid=6677 vsize=51932 memory=28604 CPUtime=2202.49 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 2535 0 -1 4202496 63586 0 0 0 220245 4 0 0 20 0 1 0 435421768 53178368 7151 33554432000 4194304 6211092 140734855397088 140734855384968 5155345 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140734855402507 140734855402609 140734855402609 140734855405518 0
/proc/6680/statm: 12983 7151 877 493 0 6288 0
Current children cumulated CPU time: 2202.49 s
Current children cumulated vsize: 51932 KiB
Current children cumulated memory: 28604 KiB

[startup+2262.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/199 6986
/proc/meminfo: memFree=30633776/32770624 swapFree=66998700/67108860
[pid=6680] ppid=6677 vsize=51932 memory=28604 CPUtime=2262.49 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 2535 0 -1 4202496 63862 0 0 0 226245 4 0 0 20 0 1 0 435421768 53178368 7151 33554432000 4194304 6211092 140734855397088 140734855384968 5156256 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140734855402507 140734855402609 140734855402609 140734855405518 0
/proc/6680/statm: 12983 7151 877 493 0 6288 0
Current children cumulated CPU time: 2262.49 s
Current children cumulated vsize: 51932 KiB
Current children cumulated memory: 28604 KiB

[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/199 6992
/proc/meminfo: memFree=30633716/32770624 swapFree=66998700/67108860
[pid=6680] ppid=6677 vsize=51932 memory=28604 CPUtime=2322.5 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 2535 0 -1 4202496 63864 0 0 0 232246 4 0 0 20 0 1 0 435421768 53178368 7151 33554432000 4194304 6211092 140734855397088 140734855384968 5250241 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140734855402507 140734855402609 140734855402609 140734855405518 0
/proc/6680/statm: 12983 7151 877 493 0 6288 0
Current children cumulated CPU time: 2322.5 s
Current children cumulated vsize: 51932 KiB
Current children cumulated memory: 28604 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 6996
/proc/meminfo: memFree=30634268/32770624 swapFree=66998700/67108860
[pid=6680] ppid=6677 vsize=51932 memory=28604 CPUtime=2382.51 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 2535 0 -1 4202496 64227 0 0 0 238247 4 0 0 20 0 1 0 435421768 53178368 7151 33554432000 4194304 6211092 140734855397088 140734855384968 5156256 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140734855402507 140734855402609 140734855402609 140734855405518 0
/proc/6680/statm: 12983 7151 877 493 0 6288 0
Current children cumulated CPU time: 2382.51 s
Current children cumulated vsize: 51932 KiB
Current children cumulated memory: 28604 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2399.8 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 6996
/proc/meminfo: memFree=30633868/32770624 swapFree=66998700/67108860
[pid=6680] ppid=6677 vsize=51932 memory=28604 CPUtime=2400.01 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 2535 0 -1 4202496 64227 0 0 0 239997 4 0 0 20 0 1 0 435421768 53178368 7151 33554432000 4194304 6211092 140734855397088 140734855384968 5156256 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140734855402507 140734855402609 140734855402609 140734855405518 0
/proc/6680/statm: 12983 7151 877 493 0 6288 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 51932 KiB
Current children cumulated memory: 28604 KiB

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

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

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

[startup+2399.8 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 6996
/proc/meminfo: memFree=30633868/32770624 swapFree=66998700/67108860
[pid=6680] ppid=6677 vsize=51932 memory=28604 CPUtime=2400.01 cores=1,3,5,7
/proc/6680/stat : 6680 (cosoco) R 6677 6680 2535 0 -1 4202496 64227 0 0 0 239997 4 0 0 20 0 1 0 435421768 53178368 7151 33554432000 4194304 6211092 140734855397088 140734855384968 5156256 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25796608 140734855402507 140734855402609 140734855402609 140734855405518 0
/proc/6680/statm: 12983 7151 877 493 0 6288 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 51932 KiB
Current children cumulated memory: 28604 KiB

Child status: 1
Real time (s): 2399.8
CPU time (s): 2400.02
CPU user time (s): 2399.97
CPU system time (s): 0.046004
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 51932
Max. memory (cumulated for all children) (KiB): 28604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.97
system time used= 0.046004
maximum resident set size= 28668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64308
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= 24
involuntary context switches= 605


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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.17301 second user time and 15.4024 second system time

The end

Launcher Data 

Begin job on node102 at 2019-09-16 01:54:18
IDJOB=4397882
IDBENCH=141154
IDSOLVER=2850
FILE ID=node102/4397882-1568591703
RUNJOBID= node102-1568572739-2567
PBS_JOBID= 21703338
Free space on /tmp= 58848 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay300_c18.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397882-1568591703/watcher-4397882-1568591703 -o /tmp/evaluation-result-4397882-1568591703/solver-4397882-1568591703 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568572739-2567 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4397882-1568591703.xml

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

MD5SUM BENCH= 125d0999a88baf20181d93552da446ae
RANDOM SEED=1085105728

node102.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.13
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.54
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.13
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.54
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.13
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.54
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.13
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        19971816 kB
MemAvailable:   21476044 kB
Buffers:          202320 kB
Cached:          1594300 kB
SwapCached:         7844 kB
Active:         10771572 kB
Inactive:        1439376 kB
Active(anon):   10412872 kB
Inactive(anon):    43440 kB
Active(file):     358700 kB
Inactive(file):  1395936 kB
Unevictable:      110236 kB
Mlocked:          110236 kB
SwapTotal:      67108860 kB
SwapFree:       66998672 kB
Dirty:            718664 kB
Writeback:        122048 kB
AnonPages:      10562508 kB
Mapped:            43572 kB
Shmem:             33272 kB
Slab:             160248 kB
SReclaimable:     130856 kB
SUnreclaim:        29392 kB
KernelStack:        3600 kB
PageTables:        26456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   10990240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    268288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59244 MiB
End job on node102 at 2019-09-16 02:34:18