Trace number 4266779

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-sat 1.12OPT4752 66.358498 66.355797

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-chr15c.xml
MD5SUMce755c39cb9d6ddef8bea85f09074509
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4752
Best CPU time to get the best result obtained on this benchmark4.56043
Satisfiable
(Un)Satisfiability was proved
Number of variables240
Number of constraints15
Number of domains2
Minimum domain size15
Maximum domain size64
Distribution of domain sizes[{"size":15,"count":15},{"size":64,"count":14}]
Minimum variable degree0
Maximum variable degree3
Distribution of variable degrees[{"degree":0,"count":211},{"degree":2,"count":16},{"degree":3,"count":13}]
Minimum constraint arity3
Maximum constraint arity15
Distribution of constraint arities[{"arity":3,"count":14},{"arity":15,"count":1}]
Number of extensional constraints14
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":14},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.04	c SAT : Variables: 14625 -- Clauses: 455415
0.00/0.04	c best=?? lower=-62667 upper=0 
0.00/0.05	c
0.00/0.05	c This is cosoco 1.12 --  
0.00/0.05	c
0.00/0.05	c command line: cosoco -lc -model -restarts -sat HOME/instance-4266779-1502598973.xml 
0.00/0.05	c enable optimization
0.00/0.05	c ========================================[ Problem Statistics ]===========================================
0.00/0.05	c |                                                                                                       
0.00/0.05	c |  Parse time        :         0.04 s 
0.00/0.05	c |
0.00/0.05	c |               Variables: 240
0.00/0.05	c |            Domain Sizes: 15..64
0.00/0.05	c |
0.00/0.05	c |             Constraints: 16
0.00/0.05	c |                   Arity: 3..15  -- Ternary: 14
0.00/0.05	c | 
0.00/0.05	c |                   Types: 
0.00/0.05	c |                          All Different: 1
0.00/0.05	c |                          Extension: 14  (nb tuples: 210..210) -- (shared: 13)
0.00/0.05	c |                          Sum: 1
0.00/0.05	c |                          
0.00/0.05	c =========================================================================================================
0.00/0.05	o -18171
0.00/0.05	c    1 calls to solver: best=-18171 lower=-18170 upper=0 
0.00/0.05	o -18161
0.00/0.05	o -17536
0.00/0.05	c    3 calls to solver: best=-17536 lower=-17535 upper=0 
0.00/0.05	o -16726
0.00/0.06	o -16484
0.00/0.06	c    5 calls to solver: best=-16484 lower=-16483 upper=0 
0.00/0.06	o -15663
0.00/0.06	o -13883
0.00/0.06	c    7 calls to solver: best=-13883 lower=-13882 upper=0 
0.00/0.06	o -11731
0.00/0.06	o -11003
0.00/0.06	c    9 calls to solver: best=-11003 lower=-11002 upper=0 
0.00/0.06	o -10798
0.00/0.06	o -10287
0.00/0.06	c   11 calls to solver: best=-10287 lower=-10286 upper=0 
0.00/0.07	o -9116
0.00/0.07	o -8823
0.00/0.07	c   13 calls to solver: best=-8823 lower=-8822 upper=0 
0.00/0.09	conflict 27lvl : 13 bt13-82:0(774)X1840005
0.00/0.10	conflict 24lvl : 15 bt15-4454:0(761)X1841022
0.00/0.10	conflict 16lvl : 5 bt4-4:0(497)X1841223
0.09/0.11	conflict 27lvl : 9 bt9-87:0(570)X1842213
0.09/0.12	conflict 27lvl : 9 bt9-167:0(779)X1843159
0.09/0.19	conflict 27lvl : 7 bt7-8:0(477)X1849903
0.20/0.24	conflict 27lvl : 13 bt13-206:0(784)X1856063
0.20/0.25	conflict 27lvl : 15 bt15-207:0(739)X1856665
0.20/0.30	conflict 20lvl : 9 bt9-2409:0(614)X1862716
0.30/0.38	conflict 38lvl : 4 bt4-131:0(545)X1872439
0.40/0.47	o -8349
0.40/0.49	o -8138
0.40/0.49	c   15 calls to solver: best=-8138 lower=-8137 upper=0 
0.40/0.49	conflict 27lvl : 2 bt2-92:0(267)X1877113
0.50/0.54	o -7977
0.59/0.68	o -7921
0.59/0.68	c   17 calls to solver: best=-7921 lower=-7920 upper=0 
0.69/0.74	conflict 27lvl : 11 bt11-86:0(697)X1878655
0.89/0.93	o -7836
0.89/0.93	conflict 27lvl : 3 bt3-6:0(322)X1879083
1.29/1.35	o -7685
1.29/1.35	c   19 calls to solver: best=-7685 lower=-7684 upper=0 
1.59/1.65	o -7603
1.79/1.82	o -7429
1.79/1.82	c   21 calls to solver: best=-7429 lower=-7428 upper=0 
1.79/1.82	conflict 27lvl : 2 bt2-206:0(207)X1881021
2.09/2.19	o -7384
2.29/2.38	o -7242
2.29/2.38	c   23 calls to solver: best=-7242 lower=-7241 upper=0 
2.49/2.56	o -7035
2.69/2.70	conflict 27lvl : 3 bt3-102:0(287)X1882182
2.79/2.80	o -6875
2.79/2.80	c   25 calls to solver: best=-6875 lower=-6874 upper=0 
2.89/2.99	o -6840
3.09/3.17	o -6715
3.09/3.17	c   27 calls to solver: best=-6715 lower=-6714 upper=0 
3.19/3.22	conflict 39lvl : 2 bt2141:0(200)X1882658
3.49/3.59	o -6397
3.49/3.59	conflict 16lvl : 9 bt9-2413:0(579)X1883195
5.29/5.33	o -6084
5.29/5.33	c   29 calls to solver: best=-6084 lower=-6083 upper=0 
8.79/8.88	o -5872
16.00/16.01	conflict 27lvl : 12 bt12-81:0(534)X1887746
16.00/16.01	conflict 27lvl : 12 bt12-81:0(533)X1887776
16.10/16.16	o -5850
16.10/16.16	c   31 calls to solver: best=-5850 lower=-5849 upper=0 
16.89/16.97	conflict 27lvl : 8 bt8-116:0(607)X1887959
17.59/17.66	o -5635
17.89/17.94	conflict 27lvl : 7 bt7-171:0(456)X1887989
18.59/18.65	conflict 27lvl : 3 bt3-171:0(200)X1888019
18.59/18.65	conflict 27lvl : 8 bt8-177:0(604)X1888049
18.59/18.65	conflict 27lvl : 8 bt8-102:0(531)X1888079
18.89/18.99	o -5619
18.89/18.99	c   33 calls to solver: best=-5619 lower=-5618 upper=0 
18.99/19.01	conflict 27lvl : 6 bt6-87:0(435)X1888351
18.99/19.01	conflict 27lvl : 7 bt7-15:0(301)X1888381
20.89/20.91	conflict 38lvl : 8 bt8115:0(216)X1888797
23.59/23.69	conflict 38lvl : 6 bt640:0(392)X1889287
23.69/23.70	conflict 39lvl : 9 bt9191:0(288)X1889328
24.59/24.65	conflict 27lvl : 7 bt7-102:0(480)X1889370
25.00/25.06	conflict 38lvl : 7 bt727:0(544)X1889400
25.39/25.43	conflict 27lvl : 11 bt11-101:0(588)X1889785
25.69/25.75	conflict 27lvl : 8 bt8-100:0(444)X1889815
25.79/25.87	conflict 38lvl : 5 bt5-79:0(463)X1889845
26.00/26.01	conflict 27lvl : 13 bt11-208:0(471)X1889886
26.00/26.02	conflict 38lvl : 9 bt9-171:0(358)X1889916
26.00/26.02	conflict 27lvl : 13 bt13-177:0(464)X1889957
26.79/26.89	conflict 27lvl : 8 bt8-101:0(400)X1889987
26.79/26.89	conflict 48lvl : 7 bt7-51:0(215)X1890017
26.89/26.93	conflict 27lvl : 9 bt8-52:0(464)X1890068
27.00/27.08	conflict 27lvl : 15 bt15-51:0(429)X1890098
28.10/28.12	conflict 38lvl : 8 bt8-71:0(427)X1890431
28.50/28.57	conflict 27lvl : 8 bt8-102:0(475)X1890472
29.00/29.04	conflict 27lvl : 7 bt7-145:0(271)X1890502
29.00/29.04	conflict 27lvl : 7 bt7-141:0(256)X1890532
29.00/29.09	conflict 27lvl : 9 bt9-141:0(378)X1890562
29.40/29.43	conflict 27lvl : 9 bt9-42:0(295)X1890592
29.40/29.49	conflict 27lvl : 6 bt6-36:0(324)X1890622
29.50/29.55	o -5498
29.50/29.55	conflict 27lvl : 6 bt4-87:0(614)X1890652
29.50/29.55	conflict 27lvl : 7 bt7-176:0(515)X1890682
31.50/31.50	conflict 52lvl : 5 bt5126:0(138)X1890940
31.60/31.69	conflict 27lvl : 4 bt4-116:0(452)X1890995
31.80/31.84	conflict 38lvl : 6 bt6-201:0(533)X1891025
32.80/32.86	conflict 39lvl : 3 bt3126:0(77)X1891066
33.30/33.33	conflict 27lvl : 4 bt4-205:0(134)X1891108
35.00/35.10	conflict 27lvl : 6 bt6-116:0(257)X1891644
35.10/35.14	conflict 27lvl : 6 bt6-116:0(448)X1891674
35.90/35.94	conflict 27lvl : 3 bt3-146:0(189)X1891704
36.60/36.61	conflict 27lvl : 3 bt3-115:0(167)X1891734
36.70/36.78	conflict 39lvl : 6 bt6207:0(475)X1891764
37.30/37.35	conflict 39lvl : 3 bt3-111:0(163)X1891806
37.30/37.35	conflict 51lvl : 3 bt3207:0(156)X1891848
38.01/38.07	conflict 38lvl : 10 bt10-6:0(485)X1892126
38.80/38.87	o -5175
38.80/38.87	c   35 calls to solver: best=-5175 lower=-5174 upper=0 
39.50/39.58	conflict 38lvl : 10 bt10-66:0(542)X1892167
39.50/39.58	conflict 27lvl : 10 bt10-66:0(456)X1892208
39.50/39.58	conflict 27lvl : 8 bt7-66:0(513)X1892238
39.50/39.58	conflict 27lvl : 5 bt5-70:0(352)X1892268
39.50/39.58	conflict 63lvl : 10 bt10116:0(467)X1892298
39.70/39.71	conflict 39lvl : 8 bt8-75:0(523)X1892364
39.70/39.71	conflict 38lvl : 8 bt8-66:0(423)X1892406
39.70/39.71	conflict 27lvl : 8 bt8-66:0(419)X1892447
39.70/39.71	conflict 26lvl : 8 bt8-117:0(473)X1892477
39.70/39.72	conflict 27lvl : 10 bt10-66:0(546)X1892506
39.70/39.72	conflict 27lvl : 10 bt10-66:0(483)X1892536
39.90/40.00	conflict 39lvl : 5 bt5-81:0(393)X1892566
40.80/40.82	conflict 27lvl : 10 bt10-70:0(313)X1892608
41.11/41.15	conflict 27lvl : 10 bt10-72:0(535)X1892638
41.50/41.55	conflict 40lvl : 12 bt12131:0(463)X1892668
41.50/41.55	conflict 48lvl : 9 bt8-58:0(553)X1892711
43.90/43.92	conflict 38lvl : 5 bt5-126:0(225)X1893088
45.80/45.88	conflict 27lvl : 8 bt7-126:0(611)X1893129
46.20/46.23	conflict 27lvl : 4 bt4-132:0(586)X1893159
46.50/46.58	o -5059
47.50/47.59	conflict 39lvl : 7 bt7131:0(272)X1893385
48.01/48.03	conflict 39lvl : 10 bt10-70:0(609)X1893427
48.80/48.85	conflict 27lvl : 6 bt6-90:0(395)X1893469
48.90/48.90	conflict 27lvl : 7 bt7-210:0(372)X1893499
48.90/48.98	conflict 26lvl : 6 bt6-32:0(503)X1893529
49.40/49.40	conflict 65lvl : 14 bt14206:0(576)X1893558
49.90/49.90	conflict 52lvl : 7 bt7205:0(517)X1893626
49.90/49.90	conflict 49lvl : 8 bt7-51:0(578)X1893681
49.90/49.90	conflict 27lvl : 6 bt5-51:0(525)X1893733
50.01/50.03	conflict 39lvl : 12 bt12147:0(380)X1893763
50.01/50.04	conflict 27lvl : 10 bt10-57:0(387)X1893805
50.01/50.06	conflict 38lvl : 13 bt13-49:0(410)X1893835
50.01/50.06	conflict 47lvl : 16 bt16-49:0(499)X1893876
50.11/50.16	conflict 38lvl : 10 bt10-56:0(417)X1893926
50.11/50.19	conflict 52lvl : 9 bt86:0(558)X1893967
50.11/50.19	conflict 27lvl : 10 bt9-57:0(410)X1894022
50.30/50.37	conflict 27lvl : 7 bt7-49:0(479)X1894052
50.30/50.37	conflict 27lvl : 8 bt8-49:0(478)X1894082
50.30/50.37	conflict 47lvl : 9 bt9-49:0(323)X1894112
50.70/50.74	conflict 39lvl : 10 bt1022:0(417)X1894162
51.20/51.29	conflict 37lvl : 9 bt9-196:0(447)X1894507
51.20/51.29	conflict 27lvl : 6 bt6-67:0(369)X1894547
51.30/51.31	conflict 53lvl : 10 bt10132:0(442)X1894577
51.30/51.31	conflict 27lvl : 6 bt6-116:0(318)X1894633
51.40/51.41	conflict 27lvl : 6 bt6-102:0(281)X1894663
51.40/51.47	conflict 28lvl : 14 bt11-361:0(541)X1894693
51.70/51.71	conflict 27lvl : 10 bt8-110:0(485)X1894724
51.70/51.71	conflict 27lvl : 8 bt8-86:0(417)X1894754
51.70/51.71	conflict 37lvl : 12 bt1272:0(372)X1894784
51.70/51.75	conflict 39lvl : 6 bt6-109:0(342)X1894824
51.80/51.85	conflict 27lvl : 7 bt7-132:0(364)X1894866
51.80/51.85	conflict 27lvl : 12 bt12-47:0(436)X1894896
51.80/51.86	conflict 39lvl : 13 bt9202:0(426)X1894926
51.80/51.88	conflict 27lvl : 8 bt8-47:0(563)X1894968
52.01/52.02	conflict 37lvl : 10 bt10-47:0(453)X1894998
52.50/52.58	conflict 27lvl : 7 bt6-117:0(336)X1895038
52.50/52.58	conflict 39lvl : 12 bt12100:0(306)X1895068
52.50/52.58	conflict 24lvl : 10 bt10-72:0(466)X1895110
52.60/52.60	conflict 27lvl : 13 bt10-47:0(436)X1895137
52.60/52.63	conflict 39lvl : 12 bt12127:0(407)X1895167
52.60/52.64	conflict 38lvl : 12 bt12-47:0(420)X1895209
52.80/52.87	conflict 27lvl : 16 bt15-47:0(500)X1895250
52.90/53.00	conflict 39lvl : 8 bt8205:0(518)X1895280
53.11/53.18	conflict 39lvl : 11 bt11130:0(423)X1895322
53.50/53.52	o -4992
53.50/53.52	c   37 calls to solver: best=-4992 lower=-4991 upper=0 
53.90/53.91	conflict 38lvl : 8 bt8-66:0(472)X1895364
54.60/54.61	conflict 52lvl : 3 bt312:0(281)X1895405
54.60/54.67	conflict 37lvl : 9 bt9-79:0(467)X1895460
54.60/54.67	conflict 61lvl : 9 bt9-66:0(517)X1895500
54.60/54.67	conflict 69lvl : 8 bt8-66:0(423)X1895564
54.60/54.67	conflict 50lvl : 12 bt12-66:0(525)X1895636
54.60/54.68	conflict 27lvl : 8 bt8-117:0(595)X1895689
55.20/55.25	conflict 38lvl : 12 bt12-12:0(598)X1895719
55.20/55.25	conflict 27lvl : 12 bt12-12:0(597)X1895760
55.20/55.25	conflict 51lvl : 12 bt12130:0(458)X1895790
55.30/55.31	conflict 39lvl : 11 bt11205:0(480)X1895844
55.50/55.57	conflict 27lvl : 8 bt8-30:0(543)X1895886
55.70/55.74	conflict 27lvl : 7 bt6-12:0(509)X1895916
55.70/55.75	conflict 27lvl : 7 bt6-58:0(450)X1895946
55.70/55.75	conflict 27lvl : 9 bt9-11:0(421)X1895976
56.60/56.63	conflict 39lvl : 11 bt11146:0(509)X1896006
56.60/56.63	conflict 27lvl : 11 bt11-162:0(420)X1896048
57.20/57.21	conflict 13lvl : 12 bt12-16:0(379)X1896484
57.20/57.27	conflict 52lvl : 5 bt585:0(430)X1896500
57.30/57.37	conflict 38lvl : 10 bt9-205:0(461)X1896555
58.11/58.18	conflict 27lvl : 12 bt12-3:0(367)X1896596
58.11/58.19	conflict 24lvl : 11 bt11-196:0(411)X1896626
58.70/58.75	conflict 27lvl : 12 bt12-3:0(355)X1896653
58.80/58.89	conflict 12lvl : 5 bt5-196:0(447)X1896683
59.70/59.73	conflict 38lvl : 19 bt16-3427:0(509)X1896698
59.70/59.79	conflict 38lvl : 10 bt10-12:0(424)X1896739
59.90/59.90	conflict 27lvl : 15 bt15-12:0(492)X1896780
60.60/60.62	conflict 38lvl : 2 bt2207:0(583)X1896810
60.70/60.72	conflict 46lvl : 13 bt13-196:0(447)X1896851
61.11/61.18	conflict 50lvl : 10 bt10115:0(464)X1896900
61.50/61.54	conflict 52lvl : 6 bt610:0(466)X1896953
61.80/61.89	conflict 27lvl : 10 bt9-48:0(519)X1897008
61.90/61.94	conflict 38lvl : 13 bt13-47:0(508)X1897038
61.90/61.94	conflict 49lvl : 12 bt12-196:0(449)X1897079
62.01/62.02	conflict 35lvl : 13 bt13-196:0(487)X1897131
62.01/62.03	conflict 27lvl : 3 bt3-117:0(617)X1897169
62.01/62.03	conflict 49lvl : 11 bt11-49:0(381)X1897199
62.01/62.03	conflict 60lvl : 11 bt11139:0(397)X1897251
62.01/62.03	conflict 38lvl : 14 bt14-49:0(524)X1897314
62.01/62.05	conflict 38lvl : 14 bt14147:0(473)X1897355
62.20/62.23	conflict 27lvl : 14 bt14-49:0(463)X1897396
62.70/62.77	conflict 27lvl : 11 bt11-47:0(491)X1897426
62.80/62.83	conflict 11lvl : 12 bt12-196:0(484)X1897456
63.11/63.11	conflict 38lvl : 16 bt16-49:0(492)X1897470
63.20/63.24	conflict 27lvl : 13 bt12-34:0(503)X1897511
63.20/63.24	conflict 27lvl : 14 bt14-34:0(477)X1897541
63.20/63.24	conflict 48lvl : 12 bt12-34:0(340)X1897571
63.20/63.25	conflict 27lvl : 8 bt8-72:0(446)X1897622
63.40/63.40	conflict 27lvl : 10 bt10-131:0(452)X1897969
63.40/63.41	o -4752
63.60/63.65	conflict 38lvl : 11 bt11-67:0(433)X1897999
63.60/63.65	conflict 51lvl : 11 bt10-91:0(464)X1898040
63.60/63.65	conflict 35lvl : 10 bt10-70:0(299)X1898094
63.60/63.66	conflict 52lvl : 12 bt12117:0(390)X1898132
63.70/63.78	conflict 59lvl : 12 bt12112:0(469)X1898187
63.90/63.92	conflict 27lvl : 9 bt9-21:0(269)X1898249
64.01/64.06	conflict 24lvl : 7 bt6-209:0(376)X1898279
64.01/64.10	conflict 27lvl : 12 bt12-51:0(478)X1898306
64.01/64.10	conflict 27lvl : 12 bt12-72:0(486)X1898336
64.11/64.11	conflict 27lvl : 17 bt17-51:0(425)X1898366
64.11/64.15	conflict 37lvl : 12 bt12130:0(343)X1898396
64.40/64.42	conflict 47lvl : 4 bt3-119:0(471)X1898436
64.60/64.61	conflict 27lvl : 1 bt1-27:0(120)X1898486
64.60/64.61	conflict 27lvl : 8 bt8-171:0(476)X1898516
64.60/64.63	conflict 39lvl : 5 bt5-70:0(255)X1898546
64.80/64.80	conflict 24lvl : 5 bt5-56:0(458)X1898588
64.80/64.80	conflict 36lvl : 2 bt2-51:0(300)X1898615
64.80/64.81	conflict 27lvl : 8 bt8-55:0(421)X1898654
64.80/64.81	conflict 27lvl : 6 bt6-57:0(303)X1898684
64.80/64.81	conflict 27lvl : 11 bt11-57:0(420)X1898714
64.90/64.98	conflict 27lvl : 14 bt13-47:0(462)X1898744
64.90/64.99	conflict 24lvl : 12 bt12-116:0(341)X1898774
65.11/65.13	conflict 27lvl : 7 bt7-207:0(370)X1898801
65.11/65.13	conflict 27lvl : 7 bt6-12:0(373)X1898831
65.11/65.13	conflict 27lvl : 10 bt10-10:0(286)X1898861
65.11/65.16	conflict 27lvl : 12 bt12-170:0(375)X1898891
65.11/65.16	conflict 27lvl : 9 bt9-86:0(334)X1898921
65.20/65.26	conflict 24lvl : 14 bt14-78:0(550)X1898951
65.20/65.28	conflict 36lvl : 14 bt14-78:0(389)X1898978
65.30/65.39	conflict 27lvl : 16 bt16-9:0(452)X1899017
65.80/65.87	conflict 52lvl : 11 bt10-177:0(437)X1899047
65.80/65.87	conflict 52lvl : 13 bt13-35:0(377)X1899102
65.90/65.92	conflict 51lvl : 14 bt13-116:0(417)X1899157
66.01/66.03	conflict 27lvl : 6 bt6-71:0(384)X1899211
66.20/66.28	conflict 21lvl : 12 bt12-96:0(326)X1899241
66.30/66.35	c
66.30/66.35	c Optimum found         : -4752
66.30/66.35	c
66.30/66.35	
66.30/66.35	v <instantiation type='solution' cost='-4752'>
66.30/66.35	v <list>d[0][0] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[10][0] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][1] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[11][0] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][1] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[12][0] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][1] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[13][0] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][1] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[14][0] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][1] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[1][0] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[2][0] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[3][0] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[4][0] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[5][0] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[6][0] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[7][0] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[8][0] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[9][0] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] x[0] x[10] x[11] x[12] x[13] x[14] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] </list>
66.30/66.35	v <values>* * * * * * 4 2 * * * * * * * * * * 11 * * * * * * * * * * * * * * * 10 * * * * * * * * * * * * * * * 13 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * 5 * * * * * * * * * * * * * * * 12 * * * * * * * * * * * * * * * 39 * * * * * * * * * * * * * * * 20 * * * * * * * * * * * * * * * 50 * 1 * * * * * * * * * * * * * * * 4 * * * * * * * * * * * * 12 14 8 11 10 9 1 4 6 7 0 13 5 3 2 </values>
66.30/66.35	v </instantiation>
66.30/66.35	
66.30/66.35	c call to solver        : 39
66.30/66.35	c
66.30/66.35	c restarts              : 577         
66.30/66.35	c conflicts             : 1703413      (25675 /sec)
66.30/66.35	c decisions             : 3426973      (51654 /sec)
66.30/66.35	c propagations          : 210001950   (3165284 /sec)
66.30/66.35	c root propagations     : 14          
66.30/66.35	c filter calls          : 36369676       (548187 /sec)
66.30/66.35	c useless filter calls  : 18443805       (50 %)
66.30/66.35	c
66.30/66.35	c clauses               : 459534
66.30/66.35	c SAT propagations      : 13265
66.30/66.35	c SAT conflicts         : 4841 (210 learnts)
66.30/66.35	c Memory used           : 52.86 MB
66.30/66.35	c CPU time              : 66.3453 s
66.30/66.35	
66.30/66.35	s OPTIMUM FOUND

Verifier Data 

OK	4752

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266779-1502598973/watcher-4266779-1502598973 -o /tmp/evaluation-result-4266779-1502598973/solver-4266779-1502598973 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node112-1502596666-28964 --watchdog 300 cosoco -lc -model -restarts -sat HOME/instance-4266779-1502598973.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=30129, runsolver pid=30126
Current StackSize limit: 8192 KiB


[startup+0.100159 s]*
/proc/loadavg: 1.98 1.99 2.13 3/188 30130
/proc/meminfo: memFree=31571584/32770624 swapFree=67108860/67108860
[pid=30129] ppid=30126 vsize=53840 memory=24828 CPUtime=0.09 cores=1,3,5,7
/proc/30129/stat : 30129 (cosoco) R 30126 30129 23522 0 -1 4202496 5915 0 0 0 9 0 0 0 20 0 1 0 92985157 55132160 6207 33554432000 4194304 5972588 140736843976112 140736843972760 4935613 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 12115968 140736843977919 140736843978019 140736843978019 140736843980750 0
/proc/30129/statm: 13460 6207 763 435 0 6823 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 53840 KiB
Current children cumulated memory: 24828 KiB

[startup+0.209614 s]*
/proc/loadavg: 1.98 1.99 2.13 3/188 30130
/proc/meminfo: memFree=31571572/32770624 swapFree=67108860/67108860
[pid=30129] ppid=30126 vsize=53840 memory=25092 CPUtime=0.2 cores=1,3,5,7
/proc/30129/stat : 30129 (cosoco) R 30126 30129 23522 0 -1 4202496 5937 0 0 0 20 0 0 0 20 0 1 0 92985157 55132160 6273 33554432000 4194304 5972588 140736843976112 140736843973336 4935490 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 12115968 140736843977919 140736843978019 140736843978019 140736843980750 0
/proc/30129/statm: 13460 6273 788 435 0 6823 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 53840 KiB
Current children cumulated memory: 25092 KiB

[startup+0.308821 s]*
/proc/loadavg: 1.98 1.99 2.13 3/188 30130
/proc/meminfo: memFree=31571572/32770624 swapFree=67108860/67108860
[pid=30129] ppid=30126 vsize=53972 memory=25092 CPUtime=0.3 cores=1,3,5,7
/proc/30129/stat : 30129 (cosoco) R 30126 30129 23522 0 -1 4202496 5950 0 0 0 30 0 0 0 20 0 1 0 92985157 55267328 6273 33554432000 4194304 5972588 140736843976112 140736843973336 4935463 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 12115968 140736843977919 140736843978019 140736843978019 140736843980750 0
/proc/30129/statm: 13493 6273 788 435 0 6856 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 53972 KiB
Current children cumulated memory: 25092 KiB

[startup+0.700273 s]
/proc/loadavg: 1.98 1.99 2.13 3/188 30130
/proc/meminfo: memFree=31571276/32770624 swapFree=67108860/67108860
[pid=30129] ppid=30126 vsize=53972 memory=25092 CPUtime=0.69 cores=1,3,5,7
/proc/30129/stat : 30129 (cosoco) R 30126 30129 23522 0 -1 4202496 5977 0 0 0 69 0 0 0 20 0 1 0 92985157 55267328 6273 33554432000 4194304 5972588 140736843976112 140736843973336 4977689 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 12115968 140736843977919 140736843978019 140736843978019 140736843980750 0
/proc/30129/statm: 13493 6273 788 435 0 6856 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 53972 KiB
Current children cumulated memory: 25092 KiB

[startup+1.50028 s]
/proc/loadavg: 1.98 1.99 2.13 3/188 30130
/proc/meminfo: memFree=31571276/32770624 swapFree=67108860/67108860
[pid=30129] ppid=30126 vsize=53972 memory=25092 CPUtime=1.49 cores=1,3,5,7
/proc/30129/stat : 30129 (cosoco) R 30126 30129 23522 0 -1 4202496 5980 0 0 0 149 0 0 0 20 0 1 0 92985157 55267328 6273 33554432000 4194304 5972588 140736843976112 140736843973336 4976309 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 12115968 140736843977919 140736843978019 140736843978019 140736843980750 0
/proc/30129/statm: 13493 6273 788 435 0 6856 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 53972 KiB
Current children cumulated memory: 25092 KiB

[startup+3.10897 s]
/proc/loadavg: 1.98 1.99 2.13 3/188 30130
/proc/meminfo: memFree=31571276/32770624 swapFree=67108860/67108860
[pid=30129] ppid=30126 vsize=53972 memory=25332 CPUtime=3.09 cores=1,3,5,7
/proc/30129/stat : 30129 (cosoco) R 30126 30129 23522 0 -1 4202496 6782 0 0 0 309 0 0 0 20 0 1 0 92985157 55267328 6333 33554432000 4194304 5972588 140736843976112 140736843973336 4934214 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 12115968 140736843977919 140736843978019 140736843978019 140736843980750 0
/proc/30129/statm: 13493 6333 788 435 0 6856 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 53972 KiB
Current children cumulated memory: 25332 KiB

[startup+6.30026 s]
/proc/loadavg: 1.98 1.99 2.13 3/188 30130
/proc/meminfo: memFree=31571328/32770624 swapFree=67108860/67108860
[pid=30129] ppid=30126 vsize=53972 memory=25360 CPUtime=6.29 cores=1,3,5,7
/proc/30129/stat : 30129 (cosoco) R 30126 30129 23522 0 -1 4202496 7607 0 0 0 629 0 0 0 20 0 1 0 92985157 55267328 6340 33554432000 4194304 5972588 140736843976112 140736843973336 4975155 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 12115968 140736843977919 140736843978019 140736843978019 140736843980750 0
/proc/30129/statm: 13493 6340 789 435 0 6856 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 53972 KiB
Current children cumulated memory: 25360 KiB

[startup+12.7003 s]
/proc/loadavg: 1.98 1.99 2.13 3/188 30130
/proc/meminfo: memFree=31571312/32770624 swapFree=67108860/67108860
[pid=30129] ppid=30126 vsize=53972 memory=25368 CPUtime=12.69 cores=1,3,5,7
/proc/30129/stat : 30129 (cosoco) R 30126 30129 23522 0 -1 4202496 8411 0 0 0 1269 0 0 0 20 0 1 0 92985157 55267328 6342 33554432000 4194304 5972588 140736843976112 140736843973560 5139329 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 12115968 140736843977919 140736843978019 140736843978019 140736843980750 0
/proc/30129/statm: 13493 6342 789 435 0 6856 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 53972 KiB
Current children cumulated memory: 25368 KiB

[startup+25.5003 s]
/proc/loadavg: 1.98 1.99 2.13 3/188 30130
/proc/meminfo: memFree=31570800/32770624 swapFree=67108860/67108860
[pid=30129] ppid=30126 vsize=53972 memory=25400 CPUtime=25.49 cores=1,3,5,7
/proc/30129/stat : 30129 (cosoco) R 30126 30129 23522 0 -1 4202496 9857 0 0 0 2549 0 0 0 20 0 1 0 92985157 55267328 6350 33554432000 4194304 5972588 140736843976112 140736843973336 4934289 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 12115968 140736843977919 140736843978019 140736843978019 140736843980750 0
/proc/30129/statm: 13493 6350 789 435 0 6856 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 53972 KiB
Current children cumulated memory: 25400 KiB

[startup+51.109 s]
/proc/loadavg: 1.99 1.99 2.13 3/188 30130
/proc/meminfo: memFree=31570432/32770624 swapFree=67108860/67108860
[pid=30129] ppid=30126 vsize=53972 memory=25436 CPUtime=51.11 cores=1,3,5,7
/proc/30129/stat : 30129 (cosoco) R 30126 30129 23522 0 -1 4202496 10893 0 0 0 5110 1 0 0 20 0 1 0 92985157 55267328 6359 33554432000 4194304 5972588 140736843976112 140736843973336 5099674 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 12115968 140736843977919 140736843978019 140736843978019 140736843980750 0
/proc/30129/statm: 13493 6359 789 435 0 6856 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 53972 KiB
Current children cumulated memory: 25436 KiB

[startup+66.3557 s]
# the end of solver process 30129 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=66.3455 s, system=0.013001 s

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

[startup+51.2003 s]
/proc/loadavg: 1.99 1.99 2.13 3/188 30130
/proc/meminfo: memFree=31570432/32770624 swapFree=67108860/67108860
[pid=30129] ppid=30126 vsize=53972 memory=25436 CPUtime=51.2 cores=1,3,5,7
/proc/30129/stat : 30129 (cosoco) R 30126 30129 23522 0 -1 4202496 10896 0 0 0 5119 1 0 0 20 0 1 0 92985157 55267328 6359 33554432000 4194304 5972588 140736843976112 140736843973336 4935411 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 12115968 140736843977919 140736843978019 140736843978019 140736843980750 0
/proc/30129/statm: 13493 6359 789 435 0 6856 0
Current children cumulated CPU time: 51.2 s
Current children cumulated vsize: 53972 KiB
Current children cumulated memory: 25436 KiB

[startup+57.6003 s]
/proc/loadavg: 1.99 1.99 2.13 3/188 30130
/proc/meminfo: memFree=31570752/32770624 swapFree=67108860/67108860
[pid=30129] ppid=30126 vsize=54120 memory=25436 CPUtime=57.6 cores=1,3,5,7
/proc/30129/stat : 30129 (cosoco) R 30126 30129 23522 0 -1 4202496 10917 0 0 0 5759 1 0 0 20 0 1 0 92985157 55418880 6359 33554432000 4194304 5972588 140736843976112 140736843973336 4979087 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 12115968 140736843977919 140736843978019 140736843978019 140736843980750 0
/proc/30129/statm: 13530 6359 789 435 0 6893 0
Current children cumulated CPU time: 57.6 s
Current children cumulated vsize: 54120 KiB
Current children cumulated memory: 25436 KiB

[startup+60.8003 s]
/proc/loadavg: 1.99 1.99 2.13 3/188 30131
/proc/meminfo: memFree=31570572/32770624 swapFree=67108860/67108860
[pid=30129] ppid=30126 vsize=54120 memory=25436 CPUtime=60.8 cores=1,3,5,7
/proc/30129/stat : 30129 (cosoco) R 30126 30129 23522 0 -1 4202496 10926 0 0 0 6079 1 0 0 20 0 1 0 92985157 55418880 6359 33554432000 4194304 5972588 140736843976112 140736843973336 4935910 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 12115968 140736843977919 140736843978019 140736843978019 140736843980750 0
/proc/30129/statm: 13530 6359 789 435 0 6893 0
Current children cumulated CPU time: 60.8 s
Current children cumulated vsize: 54120 KiB
Current children cumulated memory: 25436 KiB

[startup+64.0003 s]*
/proc/loadavg: 1.99 1.99 2.13 3/188 30131
/proc/meminfo: memFree=31570720/32770624 swapFree=67108860/67108860
[pid=30129] ppid=30126 vsize=54120 memory=25436 CPUtime=64.01 cores=1,3,5,7
/proc/30129/stat : 30129 (cosoco) R 30126 30129 23522 0 -1 4202496 10928 0 0 0 6400 1 0 0 20 0 1 0 92985157 55418880 6359 33554432000 4194304 5972588 140736843976112 140736843973336 5099664 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 12115968 140736843977919 140736843978019 140736843978019 140736843980750 0
/proc/30129/statm: 13530 6359 789 435 0 6893 0
Current children cumulated CPU time: 64.01 s
Current children cumulated vsize: 54120 KiB
Current children cumulated memory: 25436 KiB

[startup+65.6003 s]
/proc/loadavg: 1.99 1.99 2.13 3/188 30131
/proc/meminfo: memFree=31570720/32770624 swapFree=67108860/67108860
[pid=30129] ppid=30126 vsize=54120 memory=25436 CPUtime=65.6 cores=1,3,5,7
/proc/30129/stat : 30129 (cosoco) R 30126 30129 23522 0 -1 4202496 10930 0 0 0 6559 1 0 0 20 0 1 0 92985157 55418880 6359 33554432000 4194304 5972588 140736843976112 140736843973336 5139312 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 12115968 140736843977919 140736843978019 140736843978019 140736843980750 0
/proc/30129/statm: 13530 6359 789 435 0 6893 0
Current children cumulated CPU time: 65.6 s
Current children cumulated vsize: 54120 KiB
Current children cumulated memory: 25436 KiB

[startup+66.0003 s]*
/proc/loadavg: 1.99 1.99 2.13 3/188 30131
/proc/meminfo: memFree=31570720/32770624 swapFree=67108860/67108860
[pid=30129] ppid=30126 vsize=54120 memory=25436 CPUtime=66.01 cores=1,3,5,7
/proc/30129/stat : 30129 (cosoco) R 30126 30129 23522 0 -1 4202496 10930 0 0 0 6600 1 0 0 20 0 1 0 92985157 55418880 6359 33554432000 4194304 5972588 140736843976112 140736843973336 5312318 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 12115968 140736843977919 140736843978019 140736843978019 140736843980750 0
/proc/30129/statm: 13530 6359 789 435 0 6893 0
Current children cumulated CPU time: 66.01 s
Current children cumulated vsize: 54120 KiB
Current children cumulated memory: 25436 KiB

[startup+66.2002 s]
/proc/loadavg: 1.99 1.99 2.13 3/188 30131
/proc/meminfo: memFree=31570720/32770624 swapFree=67108860/67108860
[pid=30129] ppid=30126 vsize=54120 memory=25436 CPUtime=66.2 cores=1,3,5,7
/proc/30129/stat : 30129 (cosoco) R 30126 30129 23522 0 -1 4202496 10930 0 0 0 6619 1 0 0 20 0 1 0 92985157 55418880 6359 33554432000 4194304 5972588 140736843976112 140736843973336 5109246 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 12115968 140736843977919 140736843978019 140736843978019 140736843980750 0
/proc/30129/statm: 13530 6359 789 435 0 6893 0
Current children cumulated CPU time: 66.2 s
Current children cumulated vsize: 54120 KiB
Current children cumulated memory: 25436 KiB

[startup+66.3003 s]
/proc/loadavg: 1.99 1.99 2.13 3/188 30131
/proc/meminfo: memFree=31570720/32770624 swapFree=67108860/67108860
[pid=30129] ppid=30126 vsize=54120 memory=25436 CPUtime=66.3 cores=1,3,5,7
/proc/30129/stat : 30129 (cosoco) R 30126 30129 23522 0 -1 4202496 10930 0 0 0 6629 1 0 0 20 0 1 0 92985157 55418880 6359 33554432000 4194304 5972588 140736843976112 140736843973336 5325618 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 12115968 140736843977919 140736843978019 140736843978019 140736843980750 0
/proc/30129/statm: 13530 6359 789 435 0 6893 0
Current children cumulated CPU time: 66.3 s
Current children cumulated vsize: 54120 KiB
Current children cumulated memory: 25436 KiB

Child status: 0
Real time (s): 66.3558
CPU time (s): 66.3585
CPU user time (s): 66.3455
CPU system time (s): 0.013001
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 54120
Max. memory (cumulated for all children) (KiB): 25436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 66.3455
system time used= 0.013001
maximum resident set size= 25564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10969
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= 10
involuntary context switches= 25


# summary of solver processes directly reported to runsolver:
#   pid: 30129
#   total CPU time (s): 66.3585
#   total CPU user time (s): 66.3455
#   total CPU system time (s): 0.013001

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.283565 second user time and 0.446465 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-13 06:21:55
IDJOB=4266779
IDBENCH=123040
IDSOLVER=2656
FILE ID=node112/4266779-1502598973
RUNJOBID= node112-1502596666-28964
PBS_JOBID= 20628283
Free space on /tmp= 61788 MiB

SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-chr15c.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266779-1502598973/watcher-4266779-1502598973 -o /tmp/evaluation-result-4266779-1502598973/solver-4266779-1502598973 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node112-1502596666-28964 --watchdog 300  cosoco -lc -model -restarts -sat HOME/instance-4266779-1502598973.xml

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

MD5SUM BENCH= ce755c39cb9d6ddef8bea85f09074509
RANDOM SEED=2020117845

node112.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.24
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.24
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.24
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.24
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:        31593572 kB
MemAvailable:   31736324 kB
Buffers:          101712 kB
Cached:           321600 kB
SwapCached:            0 kB
Active:           616368 kB
Inactive:         107600 kB
Active(anon):     249344 kB
Inactive(anon):    78968 kB
Active(file):     367024 kB
Inactive(file):    28632 kB
Unevictable:        6280 kB
Mlocked:            6280 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2348 kB
Writeback:             0 kB
AnonPages:        290080 kB
Mapped:            44424 kB
Shmem:             25224 kB
Slab:             151360 kB
SReclaimable:     125860 kB
SUnreclaim:        25500 kB
KernelStack:        3376 kB
PageTables:         5668 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     602228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61784 MiB
End job on node112 at 2017-08-13 06:23:02