Trace number 4240509

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
R1: cosoco-sat 1.1OPT4752 66.5924 66.6065

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.6212301
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.08	c SAT : Variables: 14625 -- Clauses: 455415
0.00/0.08	c best=?? lower=0 upper=62667 
0.00/0.08	c
0.00/0.08	c This is cosoco 1.0 --  
0.00/0.08	c
0.00/0.08	c enable optimization
0.00/0.08	c ========================================[ Problem Statistics ]===========================================
0.00/0.08	c |                                                                                                       
0.00/0.08	c |  Parse time        :         0.06 s 
0.00/0.08	c |
0.00/0.08	c |               Variables: 240
0.00/0.08	c |            Domain Sizes: 15..64
0.00/0.08	c |
0.00/0.08	c |             Constraints: 16
0.00/0.08	c |                   Arity: 3..15  -- Ternary: 14
0.00/0.08	c | 
0.00/0.08	c |                   Types: 
0.00/0.08	c |                          All Different: 1
0.00/0.08	c |                          Extension: 14  (nb tuples: 210..210) -- (shared: 13)
0.00/0.08	c |                          Sum: 1
0.00/0.08	c |                          
0.00/0.08	c =========================================================================================================
0.00/0.08	o 18171
0.00/0.08	c    1 calls to solver: best=18171 lower=0 upper=18170 
0.00/0.08	o 18161
0.00/0.09	o 17536
0.00/0.09	c    3 calls to solver: best=17536 lower=0 upper=17535 
0.00/0.09	o 16726
0.00/0.09	o 16484
0.00/0.09	c    5 calls to solver: best=16484 lower=0 upper=16483 
0.00/0.10	o 15663
0.09/0.10	o 13883
0.09/0.10	c    7 calls to solver: best=13883 lower=0 upper=13882 
0.09/0.10	o 11731
0.09/0.10	o 11003
0.09/0.10	c    9 calls to solver: best=11003 lower=0 upper=11002 
0.09/0.10	o 10798
0.09/0.10	o 10287
0.09/0.10	c   11 calls to solver: best=10287 lower=0 upper=10286 
0.09/0.11	o 9116
0.09/0.12	o 8823
0.09/0.12	c   13 calls to solver: best=8823 lower=0 upper=8822 
0.09/0.14	conflict 27lvl : 13 bt13-82:0(774)X1840005
0.09/0.15	conflict 24lvl : 15 bt15-4454:0(761)X1841022
0.09/0.15	conflict 16lvl : 5 bt4-4:0(497)X1841223
0.09/0.17	conflict 27lvl : 9 bt9-87:0(570)X1842213
0.09/0.18	conflict 27lvl : 9 bt9-167:0(779)X1843159
0.19/0.24	conflict 27lvl : 7 bt7-8:0(477)X1849903
0.29/0.30	conflict 27lvl : 13 bt13-206:0(784)X1856063
0.29/0.30	conflict 27lvl : 15 bt15-207:0(739)X1856665
0.29/0.36	conflict 20lvl : 9 bt9-2409:0(614)X1862716
0.39/0.44	conflict 38lvl : 4 bt4-131:0(545)X1872439
0.49/0.54	o 8349
0.49/0.55	o 8138
0.49/0.55	c   15 calls to solver: best=8138 lower=0 upper=8137 
0.49/0.55	conflict 27lvl : 2 bt2-92:0(267)X1877113
0.59/0.60	o 7977
0.69/0.74	o 7921
0.69/0.74	c   17 calls to solver: best=7921 lower=0 upper=7920 
0.79/0.80	conflict 27lvl : 11 bt11-86:0(697)X1878655
0.99/1.00	o 7836
0.99/1.00	conflict 27lvl : 3 bt3-6:0(322)X1879083
1.39/1.42	o 7685
1.39/1.42	c   19 calls to solver: best=7685 lower=0 upper=7684 
1.69/1.72	o 7603
1.79/1.89	o 7429
1.79/1.89	c   21 calls to solver: best=7429 lower=0 upper=7428 
1.79/1.90	conflict 27lvl : 2 bt2-206:0(207)X1881021
2.20/2.26	o 7384
2.39/2.46	o 7242
2.39/2.46	c   23 calls to solver: best=7242 lower=0 upper=7241 
2.59/2.64	o 7035
2.69/2.78	conflict 27lvl : 3 bt3-102:0(287)X1882182
2.79/2.88	o 6875
2.79/2.88	c   25 calls to solver: best=6875 lower=0 upper=6874 
2.99/3.07	o 6840
3.19/3.26	o 6715
3.19/3.26	c   27 calls to solver: best=6715 lower=0 upper=6714 
3.29/3.31	conflict 39lvl : 2 bt2141:0(200)X1882658
3.59/3.67	o 6397
3.59/3.67	conflict 16lvl : 9 bt9-2413:0(579)X1883195
5.39/5.44	o 6084
5.39/5.44	c   29 calls to solver: best=6084 lower=0 upper=6083 
8.99/9.02	o 5872
16.18/16.23	conflict 27lvl : 12 bt12-81:0(534)X1887746
16.18/16.23	conflict 27lvl : 12 bt12-81:0(533)X1887776
16.28/16.38	o 5850
16.28/16.38	c   31 calls to solver: best=5850 lower=0 upper=5849 
17.08/17.19	conflict 27lvl : 8 bt8-116:0(607)X1887959
17.78/17.89	o 5635
18.08/18.18	conflict 27lvl : 7 bt7-171:0(456)X1887989
18.79/18.89	conflict 27lvl : 3 bt3-171:0(200)X1888019
18.79/18.89	conflict 27lvl : 8 bt8-177:0(604)X1888049
18.79/18.89	conflict 27lvl : 8 bt8-102:0(531)X1888079
19.18/19.23	o 5619
19.18/19.23	c   33 calls to solver: best=5619 lower=0 upper=5618 
19.18/19.25	conflict 27lvl : 6 bt6-87:0(435)X1888351
19.18/19.25	conflict 27lvl : 7 bt7-15:0(301)X1888381
21.08/21.17	conflict 38lvl : 8 bt8115:0(216)X1888797
23.88/23.97	conflict 38lvl : 6 bt640:0(392)X1889287
23.88/23.98	conflict 39lvl : 9 bt9191:0(288)X1889328
24.88/24.93	conflict 27lvl : 7 bt7-102:0(480)X1889370
25.28/25.34	conflict 38lvl : 7 bt727:0(544)X1889400
25.68/25.71	conflict 27lvl : 11 bt11-101:0(588)X1889785
25.98/26.03	conflict 27lvl : 8 bt8-100:0(444)X1889815
26.08/26.15	conflict 38lvl : 5 bt5-79:0(463)X1889845
26.18/26.29	conflict 27lvl : 13 bt11-208:0(471)X1889886
26.28/26.30	conflict 38lvl : 9 bt9-171:0(358)X1889916
26.28/26.30	conflict 27lvl : 13 bt13-177:0(464)X1889957
27.08/27.17	conflict 27lvl : 8 bt8-101:0(400)X1889987
27.08/27.17	conflict 48lvl : 7 bt7-51:0(215)X1890017
27.18/27.21	conflict 27lvl : 9 bt8-52:0(464)X1890068
27.28/27.36	conflict 27lvl : 15 bt15-51:0(429)X1890098
28.38/28.40	conflict 38lvl : 8 bt8-71:0(427)X1890431
28.78/28.85	conflict 27lvl : 8 bt8-102:0(475)X1890472
29.28/29.32	conflict 27lvl : 7 bt7-145:0(271)X1890502
29.28/29.32	conflict 27lvl : 7 bt7-141:0(256)X1890532
29.28/29.37	conflict 27lvl : 9 bt9-141:0(378)X1890562
29.68/29.71	conflict 27lvl : 9 bt9-42:0(295)X1890592
29.68/29.77	conflict 27lvl : 6 bt6-36:0(324)X1890622
29.78/29.83	o 5498
29.78/29.83	conflict 27lvl : 6 bt4-87:0(614)X1890652
29.78/29.83	conflict 27lvl : 7 bt7-176:0(515)X1890682
31.68/31.77	conflict 52lvl : 5 bt5126:0(138)X1890940
31.88/31.95	conflict 27lvl : 4 bt4-116:0(452)X1890995
32.08/32.11	conflict 38lvl : 6 bt6-201:0(533)X1891025
33.08/33.13	conflict 39lvl : 3 bt3126:0(77)X1891066
33.48/33.59	conflict 27lvl : 4 bt4-205:0(134)X1891108
35.28/35.35	conflict 27lvl : 6 bt6-116:0(257)X1891644
35.28/35.39	conflict 27lvl : 6 bt6-116:0(448)X1891674
36.18/36.20	conflict 27lvl : 3 bt3-146:0(189)X1891704
36.77/36.87	conflict 27lvl : 3 bt3-115:0(167)X1891734
36.97/37.03	conflict 39lvl : 6 bt6207:0(475)X1891764
37.57/37.60	conflict 39lvl : 3 bt3-111:0(163)X1891806
37.57/37.60	conflict 51lvl : 3 bt3207:0(156)X1891848
38.27/38.32	conflict 38lvl : 10 bt10-6:0(485)X1892126
39.07/39.12	o 5175
39.07/39.12	c   35 calls to solver: best=5175 lower=0 upper=5174 
39.77/39.84	conflict 38lvl : 10 bt10-66:0(542)X1892167
39.77/39.84	conflict 27lvl : 10 bt10-66:0(456)X1892208
39.77/39.84	conflict 27lvl : 8 bt7-66:0(513)X1892238
39.77/39.84	conflict 27lvl : 5 bt5-70:0(352)X1892268
39.77/39.84	conflict 63lvl : 10 bt10116:0(467)X1892298
39.87/39.96	conflict 39lvl : 8 bt8-75:0(523)X1892364
39.87/39.97	conflict 38lvl : 8 bt8-66:0(423)X1892406
39.87/39.97	conflict 27lvl : 8 bt8-66:0(419)X1892447
39.87/39.97	conflict 26lvl : 8 bt8-117:0(473)X1892477
39.87/39.97	conflict 27lvl : 10 bt10-66:0(546)X1892506
39.87/39.97	conflict 27lvl : 10 bt10-66:0(483)X1892536
40.17/40.26	conflict 39lvl : 5 bt5-81:0(393)X1892566
40.97/41.07	conflict 27lvl : 10 bt10-70:0(313)X1892608
41.37/41.40	conflict 27lvl : 10 bt10-72:0(535)X1892638
41.78/41.80	conflict 40lvl : 12 bt12131:0(463)X1892668
41.78/41.80	conflict 48lvl : 9 bt8-58:0(553)X1892711
44.08/44.17	conflict 38lvl : 5 bt5-126:0(225)X1893088
46.07/46.14	conflict 27lvl : 8 bt7-126:0(611)X1893129
46.37/46.49	conflict 27lvl : 4 bt4-132:0(586)X1893159
46.77/46.84	o 5059
47.77/47.84	conflict 39lvl : 7 bt7131:0(272)X1893385
48.17/48.28	conflict 39lvl : 10 bt10-70:0(609)X1893427
49.07/49.11	conflict 27lvl : 6 bt6-90:0(395)X1893469
49.07/49.16	conflict 27lvl : 7 bt7-210:0(372)X1893499
49.17/49.23	conflict 26lvl : 6 bt6-32:0(503)X1893529
49.58/49.66	conflict 65lvl : 14 bt14206:0(576)X1893558
50.07/50.15	conflict 52lvl : 7 bt7205:0(517)X1893626
50.07/50.16	conflict 49lvl : 8 bt7-51:0(578)X1893681
50.07/50.16	conflict 27lvl : 6 bt5-51:0(525)X1893733
50.17/50.28	conflict 39lvl : 12 bt12147:0(380)X1893763
50.17/50.29	conflict 27lvl : 10 bt10-57:0(387)X1893805
50.27/50.32	conflict 38lvl : 13 bt13-49:0(410)X1893835
50.27/50.32	conflict 47lvl : 16 bt16-49:0(499)X1893876
50.37/50.42	conflict 38lvl : 10 bt10-56:0(417)X1893926
50.37/50.44	conflict 52lvl : 9 bt86:0(558)X1893967
50.37/50.44	conflict 27lvl : 10 bt9-57:0(410)X1894022
50.58/50.63	conflict 27lvl : 7 bt7-49:0(479)X1894052
50.58/50.63	conflict 27lvl : 8 bt8-49:0(478)X1894082
50.58/50.63	conflict 47lvl : 9 bt9-49:0(323)X1894112
50.97/51.00	conflict 39lvl : 10 bt1022:0(417)X1894162
51.47/51.54	conflict 37lvl : 9 bt9-196:0(447)X1894507
51.47/51.54	conflict 27lvl : 6 bt6-67:0(369)X1894547
51.47/51.56	conflict 53lvl : 10 bt10132:0(442)X1894577
51.47/51.56	conflict 27lvl : 6 bt6-116:0(318)X1894633
51.57/51.67	conflict 27lvl : 6 bt6-102:0(281)X1894663
51.68/51.73	conflict 28lvl : 14 bt11-361:0(541)X1894693
51.87/51.96	conflict 27lvl : 10 bt8-110:0(485)X1894724
51.87/51.96	conflict 27lvl : 8 bt8-86:0(417)X1894754
51.87/51.96	conflict 37lvl : 12 bt1272:0(372)X1894784
51.98/52.00	conflict 39lvl : 6 bt6-109:0(342)X1894824
52.08/52.11	conflict 27lvl : 7 bt7-132:0(364)X1894866
52.08/52.11	conflict 27lvl : 12 bt12-47:0(436)X1894896
52.08/52.11	conflict 39lvl : 13 bt9202:0(426)X1894926
52.08/52.13	conflict 27lvl : 8 bt8-47:0(563)X1894968
52.18/52.27	conflict 37lvl : 10 bt10-47:0(453)X1894998
52.79/52.83	conflict 27lvl : 7 bt6-117:0(336)X1895038
52.79/52.83	conflict 39lvl : 12 bt12100:0(306)X1895068
52.79/52.83	conflict 24lvl : 10 bt10-72:0(466)X1895110
52.79/52.86	conflict 27lvl : 13 bt10-47:0(436)X1895137
52.79/52.89	conflict 39lvl : 12 bt12127:0(407)X1895167
52.79/52.89	conflict 38lvl : 12 bt12-47:0(420)X1895209
53.08/53.13	conflict 27lvl : 16 bt15-47:0(500)X1895250
53.18/53.25	conflict 39lvl : 8 bt8205:0(518)X1895280
53.38/53.43	conflict 39lvl : 11 bt11130:0(423)X1895322
53.68/53.77	o 4992
53.68/53.77	c   37 calls to solver: best=4992 lower=0 upper=4991 
54.08/54.16	conflict 38lvl : 8 bt8-66:0(472)X1895364
54.78/54.87	conflict 52lvl : 3 bt312:0(281)X1895405
54.88/54.92	conflict 37lvl : 9 bt9-79:0(467)X1895460
54.88/54.92	conflict 61lvl : 9 bt9-66:0(517)X1895500
54.88/54.92	conflict 69lvl : 8 bt8-66:0(423)X1895564
54.88/54.92	conflict 50lvl : 12 bt12-66:0(525)X1895636
54.88/54.93	conflict 27lvl : 8 bt8-117:0(595)X1895689
55.48/55.51	conflict 38lvl : 12 bt12-12:0(598)X1895719
55.48/55.51	conflict 27lvl : 12 bt12-12:0(597)X1895760
55.48/55.51	conflict 51lvl : 12 bt12130:0(458)X1895790
55.48/55.56	conflict 39lvl : 11 bt11205:0(480)X1895844
55.78/55.82	conflict 27lvl : 8 bt8-30:0(543)X1895886
55.88/55.99	conflict 27lvl : 7 bt6-12:0(509)X1895916
55.98/56.00	conflict 27lvl : 7 bt6-58:0(450)X1895946
55.98/56.00	conflict 27lvl : 9 bt9-11:0(421)X1895976
56.78/56.89	conflict 39lvl : 11 bt11146:0(509)X1896006
56.78/56.89	conflict 27lvl : 11 bt11-162:0(420)X1896048
57.38/57.46	conflict 13lvl : 12 bt12-16:0(379)X1896484
57.48/57.52	conflict 52lvl : 5 bt585:0(430)X1896500
57.58/57.62	conflict 38lvl : 10 bt9-205:0(461)X1896555
58.39/58.43	conflict 27lvl : 12 bt12-3:0(367)X1896596
58.39/58.44	conflict 24lvl : 11 bt11-196:0(411)X1896626
58.98/59.00	conflict 27lvl : 12 bt12-3:0(355)X1896653
59.08/59.14	conflict 12lvl : 5 bt5-196:0(447)X1896683
59.88/59.98	conflict 38lvl : 19 bt16-3427:0(509)X1896698
59.98/60.04	conflict 38lvl : 10 bt10-12:0(424)X1896739
60.08/60.15	conflict 27lvl : 15 bt15-12:0(492)X1896780
60.78/60.88	conflict 38lvl : 2 bt2207:0(583)X1896810
60.88/60.97	conflict 46lvl : 13 bt13-196:0(447)X1896851
61.38/61.43	conflict 50lvl : 10 bt10115:0(464)X1896900
61.68/61.79	conflict 52lvl : 6 bt610:0(466)X1896953
62.08/62.14	conflict 27lvl : 10 bt9-48:0(519)X1897008
62.08/62.19	conflict 38lvl : 13 bt13-47:0(508)X1897038
62.08/62.19	conflict 49lvl : 12 bt12-196:0(449)X1897079
62.18/62.28	conflict 35lvl : 13 bt13-196:0(487)X1897131
62.18/62.28	conflict 27lvl : 3 bt3-117:0(617)X1897169
62.18/62.29	conflict 49lvl : 11 bt11-49:0(381)X1897199
62.18/62.29	conflict 60lvl : 11 bt11139:0(397)X1897251
62.18/62.29	conflict 38lvl : 14 bt14-49:0(524)X1897314
62.28/62.31	conflict 38lvl : 14 bt14147:0(473)X1897355
62.38/62.48	conflict 27lvl : 14 bt14-49:0(463)X1897396
62.98/63.02	conflict 27lvl : 11 bt11-47:0(491)X1897426
62.98/63.08	conflict 11lvl : 12 bt12-196:0(484)X1897456
63.28/63.37	conflict 38lvl : 16 bt16-49:0(492)X1897470
63.38/63.49	conflict 27lvl : 13 bt12-34:0(503)X1897511
63.48/63.50	conflict 27lvl : 14 bt14-34:0(477)X1897541
63.48/63.50	conflict 48lvl : 12 bt12-34:0(340)X1897571
63.48/63.50	conflict 27lvl : 8 bt8-72:0(446)X1897622
63.58/63.66	conflict 27lvl : 10 bt10-131:0(452)X1897969
63.58/63.66	o 4752
63.88/63.91	conflict 38lvl : 11 bt11-67:0(433)X1897999
63.88/63.91	conflict 51lvl : 11 bt10-91:0(464)X1898040
63.88/63.91	conflict 35lvl : 10 bt10-70:0(299)X1898094
63.88/63.91	conflict 52lvl : 12 bt12117:0(390)X1898132
63.98/64.04	conflict 59lvl : 12 bt12112:0(469)X1898187
64.08/64.17	conflict 27lvl : 9 bt9-21:0(269)X1898249
64.28/64.32	conflict 24lvl : 7 bt6-209:0(376)X1898279
64.28/64.36	conflict 27lvl : 12 bt12-51:0(478)X1898306
64.28/64.36	conflict 27lvl : 12 bt12-72:0(486)X1898336
64.28/64.36	conflict 27lvl : 17 bt17-51:0(425)X1898366
64.38/64.40	conflict 37lvl : 12 bt12130:0(343)X1898396
64.58/64.68	conflict 47lvl : 4 bt3-119:0(471)X1898436
64.78/64.86	conflict 27lvl : 1 bt1-27:0(120)X1898486
64.78/64.86	conflict 27lvl : 8 bt8-171:0(476)X1898516
64.78/64.88	conflict 39lvl : 5 bt5-70:0(255)X1898546
64.98/65.06	conflict 24lvl : 5 bt5-56:0(458)X1898588
64.98/65.06	conflict 36lvl : 2 bt2-51:0(300)X1898615
64.98/65.06	conflict 27lvl : 8 bt8-55:0(421)X1898654
64.98/65.07	conflict 27lvl : 6 bt6-57:0(303)X1898684
64.98/65.07	conflict 27lvl : 11 bt11-57:0(420)X1898714
65.18/65.24	conflict 27lvl : 14 bt13-47:0(462)X1898744
65.18/65.25	conflict 24lvl : 12 bt12-116:0(341)X1898774
65.28/65.38	conflict 27lvl : 7 bt7-207:0(370)X1898801
65.28/65.38	conflict 27lvl : 7 bt6-12:0(373)X1898831
65.28/65.39	conflict 27lvl : 10 bt10-10:0(286)X1898861
65.38/65.41	conflict 27lvl : 12 bt12-170:0(375)X1898891
65.38/65.42	conflict 27lvl : 9 bt9-86:0(334)X1898921
65.48/65.52	conflict 24lvl : 14 bt14-78:0(550)X1898951
65.48/65.53	conflict 36lvl : 14 bt14-78:0(389)X1898978
65.58/65.64	conflict 27lvl : 16 bt16-9:0(452)X1899017
66.08/66.12	conflict 52lvl : 11 bt10-177:0(437)X1899047
66.08/66.12	conflict 52lvl : 13 bt13-35:0(377)X1899102
66.08/66.18	conflict 51lvl : 14 bt13-116:0(417)X1899157
66.18/66.28	conflict 27lvl : 6 bt6-71:0(384)X1899211
66.48/66.53	conflict 21lvl : 12 bt12-96:0(326)X1899241
66.58/66.60	c
66.58/66.60	c Optimum found         : 4752
66.58/66.60	c
66.58/66.60	
66.58/66.60	v <instantiation type='solution' cost='4752'>
66.58/66.60	v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] d[0][0] 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[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[1][0] 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[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[2][0] 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[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[3][0] 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[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[4][0] 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[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[5][0] 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[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[6][0] 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[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[7][0] 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[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[8][0] 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[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[9][0] 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] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[10][0] 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[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[11][0] 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[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[12][0] 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[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[13][0] 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[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[14][0] 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[14][10] d[14][11] d[14][12] d[14][13] d[14][14] </list>
66.58/66.60	v <values>12 1 4 6 7 0 13 5 3 2 14 8 11 10 9 * 4 2 * * * * * * * * * * * * * * * 3 * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * 5 * * * * * * * * * * * * * * * 12 * * * * * * * * * * * * * * * 39 * * * * * * * * * * * * * * * 20 * * * * * * * * * * * * * * * 50 * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * 4 * * * * * * * * * * * * * * * 11 * * * * * * * * * * * * * * * 10 * * * * * * * * * * * * * * * 13 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * </values>
66.58/66.60	v </instantiation>
66.58/66.60	
66.58/66.60	c call to solver        : 39
66.58/66.60	c
66.58/66.60	c restarts              : 577         
66.58/66.60	c conflicts             : 1703413      (25589 /sec)
66.58/66.60	c decisions             : 3426973      (51480 /sec)
66.58/66.60	c propagations          : 210001950   (3154634 /sec)
66.58/66.60	c root propagations     : 14          
66.58/66.60	c filter calls          : 36369676       (546343 /sec)
66.58/66.60	c useless filter calls  : 18443805       (50 %)
66.58/66.60	c
66.58/66.60	c clauses               : 459534
66.58/66.60	c SAT propagations      : 13265
66.58/66.60	c SAT conflicts         : 4841 (210 learnts)
66.58/66.60	c Memory used           : 52.71 MB
66.58/66.60	c CPU time              : 66.5693 s
66.58/66.60	
66.58/66.60	s OPTIMUM FOUND

Verifier Data 

OK	4752

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4240509-1500638214/watcher-4240509-1500638214 -o /tmp/evaluation-result-4240509-1500638214/solver-4240509-1500638214 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1500635810-5918 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240509-1500638214.xml 

pid=6331
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6334
/proc/meminfo: memFree=31404916/32770624 swapFree=6652/525332
[pid=6334] ppid=6331 vsize=27256 CPUtime=0 cores=0,2,4,6
/proc/6334/stat : 6334 (cosoco) R 6331 6334 3969 0 -1 4202496 1026 0 0 0 0 0 0 0 20 0 1 0 17255847 27910144 832 33554432000 4194304 5970956 140735596858224 140735596857416 5387388 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15761408 140735596864700 140735596864835 140735596864835 140735596867534 0
/proc/6334/statm: 6814 832 703 434 0 178 0

[startup+0.100117 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6334
/proc/meminfo: memFree=31404916/32770624 swapFree=6652/525332
[pid=6334] ppid=6331 vsize=53840 CPUtime=0.09 cores=0,2,4,6
/proc/6334/stat : 6334 (cosoco) R 6331 6334 3969 0 -1 4202496 5890 0 0 0 8 1 0 0 20 0 1 0 17255847 55132160 6205 33554432000 4194304 5970956 140735596858224 140735596845528 5045432 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15761408 140735596864700 140735596864835 140735596864835 140735596867534 0
/proc/6334/statm: 13460 6205 761 434 0 6824 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 53840

[startup+0.2003 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6334
/proc/meminfo: memFree=31404916/32770624 swapFree=6652/525332
[pid=6334] ppid=6331 vsize=53840 CPUtime=0.19 cores=0,2,4,6
/proc/6334/stat : 6334 (cosoco) R 6331 6334 3969 0 -1 4202496 5907 0 0 0 18 1 0 0 20 0 1 0 17255847 55132160 6205 33554432000 4194304 5970956 140735596858224 140735596855560 5136789 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15761408 140735596864700 140735596864835 140735596864835 140735596867534 0
/proc/6334/statm: 13460 6205 761 434 0 6824 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 53840

[startup+0.300214 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6334
/proc/meminfo: memFree=31404916/32770624 swapFree=6652/525332
[pid=6334] ppid=6331 vsize=53840 CPUtime=0.29 cores=0,2,4,6
/proc/6334/stat : 6334 (cosoco) R 6331 6334 3969 0 -1 4202496 5930 0 0 0 28 1 0 0 20 0 1 0 17255847 55132160 6271 33554432000 4194304 5970956 140735596858224 140735596855560 5327999 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15761408 140735596864700 140735596864835 140735596864835 140735596867534 0
/proc/6334/statm: 13460 6271 789 434 0 6824 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53840

[startup+0.700185 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6334
/proc/meminfo: memFree=31404916/32770624 swapFree=6652/525332
[pid=6334] ppid=6331 vsize=53972 CPUtime=0.69 cores=0,2,4,6
/proc/6334/stat : 6334 (cosoco) R 6331 6334 3969 0 -1 4202496 5965 0 0 0 68 1 0 0 20 0 1 0 17255847 55267328 6271 33554432000 4194304 5970956 140735596858224 140735596855784 4974316 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15761408 140735596864700 140735596864835 140735596864835 140735596867534 0
/proc/6334/statm: 13493 6271 789 434 0 6857 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53972

[startup+1.50018 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6335
/proc/meminfo: memFree=31383420/32770624 swapFree=6652/525352
[pid=6334] ppid=6331 vsize=53972 CPUtime=1.49 cores=0,2,4,6
/proc/6334/stat : 6334 (cosoco) R 6331 6334 3969 0 -1 4202496 5968 0 0 0 148 1 0 0 20 0 1 0 17255847 55267328 6271 33554432000 4194304 5970956 140735596858224 140735596845528 5046667 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15761408 140735596864700 140735596864835 140735596864835 140735596867534 0
/proc/6334/statm: 13493 6271 789 434 0 6857 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53972

[startup+3.10019 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6335
/proc/meminfo: memFree=31383048/32770624 swapFree=6652/525352
[pid=6334] ppid=6331 vsize=53972 CPUtime=3.09 cores=0,2,4,6
/proc/6334/stat : 6334 (cosoco) R 6331 6334 3969 0 -1 4202496 6764 0 0 0 308 1 0 0 20 0 1 0 17255847 55267328 6325 33554432000 4194304 5970956 140735596858224 140735596855784 5047480 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15761408 140735596864700 140735596864835 140735596864835 140735596867534 0
/proc/6334/statm: 13493 6325 789 434 0 6857 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53972

[startup+6.30018 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6335
/proc/meminfo: memFree=31382304/32770624 swapFree=6652/525364
[pid=6334] ppid=6331 vsize=53972 CPUtime=6.29 cores=0,2,4,6
/proc/6334/stat : 6334 (cosoco) R 6331 6334 3969 0 -1 4202496 7574 0 0 0 628 1 0 0 20 0 1 0 17255847 55267328 6331 33554432000 4194304 5970956 140735596858224 140735596845528 5272577 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15761408 140735596864700 140735596864835 140735596864835 140735596867534 0
/proc/6334/statm: 13493 6331 790 434 0 6857 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53972

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6335
/proc/meminfo: memFree=31382428/32770624 swapFree=6652/525364
[pid=6334] ppid=6331 vsize=53972 CPUtime=12.68 cores=0,2,4,6
/proc/6334/stat : 6334 (cosoco) R 6331 6334 3969 0 -1 4202496 8369 0 0 0 1267 1 0 0 20 0 1 0 17255847 55267328 6334 33554432000 4194304 5970956 140735596858224 140735596855784 5136615 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15761408 140735596864700 140735596864835 140735596864835 140735596867534 0
/proc/6334/statm: 13493 6334 790 434 0 6857 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 53972

[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6335
/proc/meminfo: memFree=31381652/32770624 swapFree=6652/525384
[pid=6334] ppid=6331 vsize=53972 CPUtime=25.48 cores=0,2,4,6
/proc/6334/stat : 6334 (cosoco) R 6331 6334 3969 0 -1 4202496 9474 0 0 0 2547 1 0 0 20 0 1 0 17255847 55267328 6348 33554432000 4194304 5970956 140735596858224 140735596855560 4976705 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15761408 140735596864700 140735596864835 140735596864835 140735596867534 0
/proc/6334/statm: 13493 6348 790 434 0 6857 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 53972

[startup+51.1002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6335
/proc/meminfo: memFree=31381816/32770624 swapFree=6652/525416
[pid=6334] ppid=6331 vsize=53972 CPUtime=51.07 cores=0,2,4,6
/proc/6334/stat : 6334 (cosoco) R 6331 6334 3969 0 -1 4202496 10041 0 0 0 5106 1 0 0 20 0 1 0 17255847 55267328 6470 33554432000 4194304 5970956 140735596858224 140735596855560 5136625 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15761408 140735596864700 140735596864835 140735596864835 140735596867534 0
/proc/6334/statm: 13493 6470 790 434 0 6857 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 53972

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6334 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+51.2002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6335
/proc/meminfo: memFree=31381816/32770624 swapFree=6652/525416
[pid=6334] ppid=6331 vsize=53972 CPUtime=51.17 cores=0,2,4,6
/proc/6334/stat : 6334 (cosoco) R 6331 6334 3969 0 -1 4202496 10041 0 0 0 5116 1 0 0 20 0 1 0 17255847 55267328 6470 33554432000 4194304 5970956 140735596858224 140735596855560 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15761408 140735596864700 140735596864835 140735596864835 140735596867534 0
/proc/6334/statm: 13493 6470 790 434 0 6857 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 53972

[startup+57.6002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6335
/proc/meminfo: memFree=31381816/32770624 swapFree=6652/525424
[pid=6334] ppid=6331 vsize=53972 CPUtime=57.58 cores=0,2,4,6
/proc/6334/stat : 6334 (cosoco) R 6331 6334 3969 0 -1 4202496 10047 0 0 0 5756 2 0 0 20 0 1 0 17255847 55267328 6470 33554432000 4194304 5970956 140735596858224 140735596855560 4974179 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15761408 140735596864700 140735596864835 140735596864835 140735596867534 0
/proc/6334/statm: 13493 6470 790 434 0 6857 0
Current children cumulated CPU time (s) 57.58
Current children cumulated vsize (KiB) 53972

[startup+60.8002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6336
/proc/meminfo: memFree=31381444/32770624 swapFree=6652/525452
[pid=6334] ppid=6331 vsize=53972 CPUtime=60.78 cores=0,2,4,6
/proc/6334/stat : 6334 (cosoco) R 6331 6334 3969 0 -1 4202496 10051 0 0 0 6076 2 0 0 20 0 1 0 17255847 55267328 6470 33554432000 4194304 5970956 140735596858224 140735596855560 5327993 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15761408 140735596864700 140735596864835 140735596864835 140735596867534 0
/proc/6334/statm: 13493 6470 790 434 0 6857 0
Current children cumulated CPU time (s) 60.78
Current children cumulated vsize (KiB) 53972

[startup+64.0002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6336
/proc/meminfo: memFree=31381444/32770624 swapFree=6652/525460
[pid=6334] ppid=6331 vsize=53972 CPUtime=63.98 cores=0,2,4,6
/proc/6334/stat : 6334 (cosoco) R 6331 6334 3969 0 -1 4202496 10052 0 0 0 6396 2 0 0 20 0 1 0 17255847 55267328 6470 33554432000 4194304 5970956 140735596858224 140735596855560 5320165 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15761408 140735596864700 140735596864835 140735596864835 140735596867534 0
/proc/6334/statm: 13493 6470 790 434 0 6857 0
Current children cumulated CPU time (s) 63.98
Current children cumulated vsize (KiB) 53972

[startup+65.6002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6336
/proc/meminfo: memFree=31381568/32770624 swapFree=6652/525460
[pid=6334] ppid=6331 vsize=53972 CPUtime=65.58 cores=0,2,4,6
/proc/6334/stat : 6334 (cosoco) R 6331 6334 3969 0 -1 4202496 10053 0 0 0 6556 2 0 0 20 0 1 0 17255847 55267328 6470 33554432000 4194304 5970956 140735596858224 140735596855560 4977844 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15761408 140735596864700 140735596864835 140735596864835 140735596867534 0
/proc/6334/statm: 13493 6470 790 434 0 6857 0
Current children cumulated CPU time (s) 65.58
Current children cumulated vsize (KiB) 53972

[startup+66.4002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6336
/proc/meminfo: memFree=31381568/32770624 swapFree=6652/525460
[pid=6334] ppid=6331 vsize=53972 CPUtime=66.38 cores=0,2,4,6
/proc/6334/stat : 6334 (cosoco) R 6331 6334 3969 0 -1 4202496 10053 0 0 0 6636 2 0 0 20 0 1 0 17255847 55267328 6470 33554432000 4194304 5970956 140735596858224 140735596855560 4974728 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15761408 140735596864700 140735596864835 140735596864835 140735596867534 0
/proc/6334/statm: 13493 6470 790 434 0 6857 0
Current children cumulated CPU time (s) 66.38
Current children cumulated vsize (KiB) 53972

[startup+66.6002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6336
/proc/meminfo: memFree=31381568/32770624 swapFree=6652/525460
[pid=6334] ppid=6331 vsize=53972 CPUtime=66.58 cores=0,2,4,6
/proc/6334/stat : 6334 (cosoco) R 6331 6334 3969 0 -1 4202496 10053 0 0 0 6656 2 0 0 20 0 1 0 17255847 55267328 6470 33554432000 4194304 5970956 140735596858224 140735596855560 5242643 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 15761408 140735596864700 140735596864835 140735596864835 140735596867534 0
/proc/6334/statm: 13493 6470 790 434 0 6857 0
Current children cumulated CPU time (s) 66.58
Current children cumulated vsize (KiB) 53972

Child status: 0
Real time (s): 66.6065
CPU time (s): 66.5924
CPU user time (s): 66.5694
CPU system time (s): 0.022996
CPU usage (%): 99.9788
Max. virtual memory (cumulated for all children) (KiB): 53972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 66.5694
system time used= 0.022996
maximum resident set size= 26004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10093
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= 19
involuntary context switches= 3433

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.147453 second user time and 0.266451 second system time

The end

Launcher Data 

Begin job on node141 at 2017-07-21 13:56:54
IDJOB=4240509
IDBENCH=123040
IDSOLVER=2621
FILE ID=node141/4240509-1500638214
RUNJOBID= node141-1500635810-5918
PBS_JOBID= 20622992
Free space on /tmp= 61992 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-chr15c.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240509-1500638214/watcher-4240509-1500638214 -o /tmp/evaluation-result-4240509-1500638214/solver-4240509-1500638214 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1500635810-5918 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4240509-1500638214.xml

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

MD5SUM BENCH= ce755c39cb9d6ddef8bea85f09074509
RANDOM SEED=703607628

node141.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/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		: 1600.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.27
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		: 1600.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.27
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		: 1600.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		: 1600.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.27
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		: 1600.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		: 1600.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.27
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		: 1600.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:        31405892 kB
MemAvailable:   31995464 kB
Buffers:          162148 kB
Cached:           713852 kB
SwapCached:            0 kB
Active:           398688 kB
Inactive:         542416 kB
Active(anon):      67000 kB
Inactive(anon):    17084 kB
Active(file):     331688 kB
Inactive(file):   525332 kB
Unevictable:        6652 kB
Mlocked:            6660 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2348 kB
Writeback:             0 kB
AnonPages:         72936 kB
Mapped:            34240 kB
Shmem:             17044 kB
Slab:             122696 kB
SReclaimable:      96776 kB
SUnreclaim:        25920 kB
KernelStack:        3360 kB
PageTables:         5232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     347624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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= 61988 MiB
End job on node141 at 2017-07-21 13:58:00