Trace number 4266785

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.12SAT (TO)1463 251.91299 252.011

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-nug20.xml
MD5SUM1ce5b24a466c3cb241db2c2b366e9012
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1309
Best CPU time to get the best result obtained on this benchmark249.508
Satisfiable
(Un)Satisfiability was proved
Number of variables420
Number of constraints191
Number of domains2
Minimum domain size8
Maximum domain size20
Distribution of domain sizes[{"size":8,"count":190},{"size":20,"count":20}]
Minimum variable degree0
Maximum variable degree20
Distribution of variable degrees[{"degree":0,"count":210},{"degree":2,"count":190},{"degree":20,"count":20}]
Minimum constraint arity3
Maximum constraint arity20
Distribution of constraint arities[{"arity":3,"count":190},{"arity":20,"count":1}]
Number of extensional constraints190
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":190},{"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: 3600 -- Clauses: 15420
0.00/0.08	c best=?? lower=-5700 upper=0 
0.00/0.10	c
0.00/0.10	c This is cosoco 1.12 --  
0.00/0.10	c
0.00/0.10	c command line: cosoco -lc -model -restarts -sat HOME/instance-4266785-1502645485.xml 
0.00/0.10	c enable optimization
0.00/0.10	c ========================================[ Problem Statistics ]===========================================
0.00/0.10	c |                                                                                                       
0.00/0.10	c |  Parse time        :         0.01 s 
0.00/0.10	c |
0.00/0.10	c |               Variables: 420
0.00/0.10	c |            Domain Sizes: 8..20
0.00/0.10	c |
0.00/0.10	c |             Constraints: 192
0.00/0.10	c |                   Arity: 3..190  -- Ternary: 190
0.00/0.10	c | 
0.00/0.10	c |                   Types: 
0.00/0.10	c |                          All Different: 1
0.00/0.10	c |                          Extension: 190  (nb tuples: 380..380) -- (shared: 189)
0.00/0.10	c |                          Sum: 1
0.00/0.10	c |                          
0.00/0.10	c =========================================================================================================
0.00/0.10	o -1636
0.00/0.10	c    1 calls to solver: best=-1636 lower=-1635 upper=0 
0.03/0.12	o -1564
0.14/0.27	conflict 37lvl : 30 bt30-318:0(584)X78246
0.14/0.27	conflict 53lvl : 45 bt45-219:0(755)X78286
0.34/0.48	conflict 37lvl : 25 bt25-119:0(512)X94237
0.34/0.48	conflict 37lvl : 31 bt31-239:0(584)X94277
0.44/0.52	conflict 37lvl : 25 bt25-378:0(511)X95764
0.44/0.52	conflict 37lvl : 31 bt31-398:0(583)X95804
0.44/0.56	o -1541
0.44/0.56	c    3 calls to solver: best=-1541 lower=-1540 upper=0 
0.82/0.91	conflict 37lvl : 37 bt37-59:0(658)X116427
0.93/1.04	conflict 37lvl : 25 bt25-138:0(511)X123071
0.93/1.04	conflict 37lvl : 31 bt31-118:0(583)X123111
0.93/1.08	conflict 37lvl : 30 bt30-258:0(582)X125343
1.03/1.12	conflict 37lvl : 30 bt30-212:0(582)X128168
1.03/1.12	conflict 37lvl : 37 bt37-79:0(654)X128208
1.03/1.14	conflict 54lvl : 26 bt26-298:0(514)X130529
1.03/1.15	conflict 53lvl : 32 bt32-258:0(580)X130586
1.12/1.24	conflict 37lvl : 30 bt30-192:0(585)X136095
1.12/1.28	conflict 37lvl : 25 bt25-138:0(508)X137186
1.12/1.28	conflict 37lvl : 31 bt31-118:0(580)X137226
1.82/1.90	conflict 37lvl : 30 bt30-254:0(565)X173871
1.82/1.90	conflict 37lvl : 37 bt37-134:0(639)X173911
1.82/1.95	conflict 37lvl : 37 bt37-158:0(654)X176993
1.82/2.00	conflict 37lvl : 85 bt85-238:0(999)X179994
1.82/2.00	conflict 37lvl : 85 bt84-295:0(1004)X180034
2.03/2.18	conflict 37lvl : 30 bt30-358:0(564)X191260
2.03/2.19	conflict 37lvl : 37 bt37-58:0(638)X191300
2.12/2.23	conflict 37lvl : 30 bt30-218:0(564)X194259
2.12/2.23	conflict 37lvl : 37 bt37-178:0(638)X194299
2.12/2.29	conflict 37lvl : 26 bt26-338:0(514)X198069
2.12/2.29	conflict 54lvl : 32 bt32-58:0(583)X198109
2.22/2.32	o -1536
2.32/2.44	conflict 53lvl : 25 bt25-319:0(516)X205473
2.32/2.44	conflict 53lvl : 31 bt31-259:0(588)X205529
2.32/2.49	conflict 53lvl : 25 bt25-39:0(512)X209211
2.32/2.49	conflict 37lvl : 31 bt31-194:0(582)X209267
2.42/2.59	conflict 37lvl : 96 bt96-168:0(1093)X214751
2.42/2.59	conflict 37lvl : 96 bt96-168:0(1093)X214791
2.52/2.60	conflict 37lvl : 30 bt30-338:0(584)X215350
2.52/2.62	o -1522
2.52/2.62	c    5 calls to solver: best=-1522 lower=-1521 upper=0 
2.72/2.82	o -1518
2.72/2.85	conflict 53lvl : 30 bt30-338:0(584)X229631
2.72/2.85	conflict 37lvl : 45 bt45-359:0(758)X229687
2.82/2.96	conflict 53lvl : 25 bt25-99:0(514)X234443
2.82/2.97	conflict 53lvl : 31 bt31-139:0(586)X234499
2.93/3.02	conflict 37lvl : 25 bt25-179:0(511)X236243
2.93/3.02	conflict 37lvl : 31 bt31-279:0(583)X236283
3.03/3.11	conflict 37lvl : 47 bt46-32:0(726)X241166
3.03/3.11	conflict 37lvl : 47 bt47-149:0(729)X241206
3.03/3.11	conflict 37lvl : 47 bt46-149:0(733)X241246
3.03/3.15	conflict 37lvl : 25 bt25-272:0(515)X244156
3.03/3.15	conflict 37lvl : 31 bt31-174:0(582)X244196
3.12/3.20	conflict 37lvl : 25 bt25-192:0(508)X247502
3.12/3.20	conflict 37lvl : 31 bt31-12:0(580)X247542
3.12/3.29	o -1507
3.12/3.29	c    7 calls to solver: best=-1507 lower=-1506 upper=0 
3.22/3.30	conflict 54lvl : 30 bt3014:0(563)X253718
3.22/3.30	conflict 37lvl : 37 bt37-134:0(637)X253775
3.22/3.36	conflict 37lvl : 30 bt30-34:0(584)X257352
3.22/3.36	conflict 37lvl : 45 bt45-79:0(755)X257392
3.32/3.44	conflict 53lvl : 31 bt31-278:0(590)X261636
3.52/3.62	conflict 37lvl : 37 bt37-32:0(656)X274407
3.52/3.65	o -1500
3.52/3.69	conflict 37lvl : 30 bt30-398:0(584)X278861
3.52/3.69	conflict 52lvl : 45 bt45-319:0(755)X278901
3.62/3.72	conflict 53lvl : 30 bt30-339:0(585)X280183
3.82/3.90	conflict 37lvl : 25 bt25-154:0(510)X291392
3.82/3.90	conflict 53lvl : 31 bt31-318:0(581)X291432
3.82/3.95	conflict 71lvl : 30 bt3099:0(579)X293770
3.82/3.97	conflict 37lvl : 96 bt96-268:0(1093)X294672
3.82/3.97	conflict 37lvl : 96 bt96-268:0(1093)X294712
3.93/4.01	conflict 54lvl : 31 bt31334:0(583)X296122
3.93/4.04	conflict 37lvl : 27 bt27-358:0(608)X297019
3.93/4.04	conflict 53lvl : 38 bt38-354:0(667)X297059
4.22/4.31	conflict 37lvl : 37 bt37-138:0(659)X310500
4.32/4.43	conflict 54lvl : 31 bt31-74:0(588)X317431
4.32/4.43	conflict 53lvl : 38 bt38-238:0(671)X317488
4.52/4.69	conflict 37lvl : 96 bt96-388:0(1093)X329241
4.52/4.69	conflict 37lvl : 96 bt96-388:0(1093)X329281
4.93/5.05	conflict 53lvl : 25 bt25-59:0(511)X347609
4.93/5.05	conflict 53lvl : 31 bt31-299:0(583)X347665
5.03/5.15	conflict 53lvl : 25 bt25-159:0(511)X352729
5.03/5.15	conflict 37lvl : 31 bt31-12:0(583)X352785
5.03/5.17	conflict 37lvl : 47 bt46-72:0(725)X354918
5.03/5.17	conflict 37lvl : 47 bt47-69:0(726)X354958
5.03/5.17	conflict 37lvl : 47 bt46-69:0(730)X354998
5.12/5.24	conflict 90lvl : 46 bt46325:0(720)X359406
5.12/5.24	conflict 54lvl : 46 bt46340:0(721)X359499
5.12/5.29	conflict 53lvl : 25 bt25-278:0(512)X362050
5.12/5.30	conflict 53lvl : 31 bt31-98:0(584)X362106
5.22/5.32	conflict 37lvl : 45 bt45-114:0(712)X364103
5.22/5.32	conflict 37lvl : 54 bt54-338:0(792)X364143
5.22/5.39	conflict 53lvl : 30 bt30-199:0(584)X368354
5.32/5.41	conflict 37lvl : 46 bt46-158:0(787)X370268
5.32/5.41	conflict 54lvl : 45 bt45-159:0(714)X370308
5.32/5.41	conflict 37lvl : 45 bt45-154:0(711)X370365
5.32/5.45	o -1490
5.32/5.45	c    9 calls to solver: best=-1490 lower=-1489 upper=0 
5.32/5.48	conflict 72lvl : 30 bt30192:0(582)X375537
5.42/5.50	o -1487
5.72/5.87	conflict 53lvl : 37 bt37-19:0(652)X392058
5.72/5.87	conflict 37lvl : 45 bt45-272:0(740)X392114
5.82/5.96	conflict 53lvl : 30 bt30-19:0(584)X398442
5.93/6.02	conflict 37lvl : 45 bt45-12:0(713)X401862
6.03/6.18	o -1478
6.03/6.18	c   11 calls to solver: best=-1478 lower=-1477 upper=0 
6.32/6.49	conflict 37lvl : 25 bt25-14:0(509)X414103
6.32/6.49	conflict 53lvl : 31 bt31-274:0(579)X414143
6.72/6.82	conflict 37lvl : 190 bt190-68:0(283)X414506
6.72/6.84	conflict 37lvl : 184 bt184-8:0(256)X414546
6.72/6.84	conflict 37lvl : 182 bt182-25:0(393)X414586
6.72/6.85	conflict 53lvl : 182 bt182-275:0(302)X414626
6.72/6.86	conflict 37lvl : 190 bt190-75:0(255)X414682
6.72/6.88	conflict 36lvl : 184 bt184-268:0(280)X414722
7.72/7.89	conflict 37lvl : 22 bt22-168:0(381)X420447
7.72/7.89	conflict 37lvl : 22 bt21-168:0(386)X420487
7.72/7.89	conflict 52lvl : 21 bt20-136:0(372)X420527
8.12/8.27	conflict 53lvl : 92 bt91-97:0(200)X421109
8.62/8.78	conflict 37lvl : 30 bt30-134:0(586)X425204
11.52/11.63	conflict 37lvl : 179 bt179-71:0(290)X432373
11.52/11.63	conflict 37lvl : 178 bt178-5:0(363)X432413
11.52/11.63	conflict 37lvl : 178 bt178-5:0(423)X432453
11.52/11.64	conflict 37lvl : 178 bt178-148:0(347)X432493
11.72/11.80	conflict 37lvl : 179 bt179-75:0(313)X432533
11.72/11.83	conflict 37lvl : 178 bt178-262:0(285)X432573
11.72/11.83	conflict 37lvl : 178 bt178-264:0(329)X432613
11.72/11.83	conflict 54lvl : 177 bt17751:0(353)X432653
11.72/11.83	conflict 37lvl : 177 bt177-25:0(414)X432710
11.72/11.84	conflict 37lvl : 177 bt177-188:0(343)X432750
11.82/11.98	o -1476
11.93/12.07	conflict 54lvl : 179 bt179365:0(370)X434829
12.03/12.17	conflict 37lvl : 178 bt178-322:0(282)X434886
12.12/12.26	conflict 37lvl : 178 bt178-45:0(336)X434926
12.22/12.32	o -1470
12.22/12.32	c   13 calls to solver: best=-1470 lower=-1469 upper=0 
12.22/12.33	conflict 37lvl : 190 bt190-15:0(249)X436057
12.22/12.36	conflict 37lvl : 179 bt179-8:0(275)X436097
12.22/12.39	conflict 36lvl : 179 bt179-208:0(277)X436137
12.32/12.40	conflict 53lvl : 178 bt178-5:0(280)X436176
12.32/12.40	conflict 54lvl : 190 bt19024:0(271)X436232
12.42/12.56	conflict 37lvl : 179 bt179-262:0(285)X436289
12.42/12.56	conflict 54lvl : 179 bt179-18:0(334)X436329
12.82/12.90	o -1466
12.82/12.93	conflict 71lvl : 179 bt17928:0(251)X438387
12.82/12.95	conflict 54lvl : 172 bt17271:0(381)X438461
12.82/12.95	conflict 37lvl : 172 bt172-208:0(287)X438518
13.03/13.14	conflict 52lvl : 171 bt170-17:0(275)X438558
13.03/13.15	conflict 37lvl : 169 bt169-208:0(236)X438613
13.03/13.15	conflict 51lvl : 169 bt169-355:0(285)X438653
13.03/13.16	conflict 52lvl : 169 bt169-359:0(239)X438707
13.03/13.16	conflict 53lvl : 169 bt169-208:0(293)X438762
13.03/13.17	conflict 53lvl : 168 bt168-199:0(236)X438818
13.03/13.17	conflict 37lvl : 168 bt168-348:0(288)X438874
13.03/13.17	conflict 65lvl : 167 bt167-16:0(231)X438914
13.03/13.18	conflict 65lvl : 167 bt166-17:0(263)X438982
13.12/13.20	conflict 37lvl : 165 bt165-175:0(264)X439050
13.12/13.20	conflict 54lvl : 166 bt16646:0(431)X439090
13.12/13.20	conflict 54lvl : 165 bt165-18:0(316)X439147
13.12/13.21	conflict 37lvl : 164 bt164-95:0(343)X439204
13.12/13.26	conflict 53lvl : 161 bt161-262:0(267)X439244
13.12/13.28	conflict 37lvl : 161 bt161-175:0(260)X439300
13.12/13.29	conflict 37lvl : 160 bt160-8:0(227)X439340
13.22/13.30	conflict 37lvl : 159 bt159-25:0(420)X439380
13.22/13.30	conflict 37lvl : 159 bt159-208:0(337)X439420
13.22/13.30	conflict 37lvl : 159 bt159-24:0(349)X439460
13.22/13.32	conflict 37lvl : 158 bt158-348:0(334)X439500
13.22/13.32	conflict 54lvl : 158 bt15868:0(346)X439540
13.22/13.38	conflict 54lvl : 153 bt15367:0(392)X439597
13.22/13.39	conflict 37lvl : 153 bt153-88:0(334)X439654
13.22/13.40	conflict 37lvl : 153 bt153-208:0(334)X439694
13.32/13.41	conflict 70lvl : 152 bt152-184:0(261)X439734
13.32/13.41	conflict 37lvl : 152 bt152-185:0(245)X439807
13.32/13.42	conflict 37lvl : 152 bt152-85:0(326)X439847
13.32/13.45	conflict 37lvl : 151 bt151-75:0(253)X439887
13.32/13.45	conflict 87lvl : 152 bt15285:0(415)X439927
13.32/13.46	conflict 68lvl : 150 bt150-5:0(335)X440017
13.42/13.56	conflict 37lvl : 146 bt146-52:0(392)X440088
13.42/13.56	conflict 37lvl : 146 bt146-59:0(359)X440128
13.42/13.58	conflict 37lvl : 146 bt146-205:0(317)X440168
13.42/13.59	conflict 54lvl : 146 bt146348:0(318)X440208
13.42/13.59	conflict 69lvl : 145 bt145-164:0(253)X440265
13.52/13.60	conflict 37lvl : 145 bt145-165:0(232)X440337
13.52/13.60	conflict 70lvl : 145 bt145-9:0(271)X440377
13.52/13.66	conflict 37lvl : 143 bt143-305:0(307)X440450
13.52/13.68	conflict 37lvl : 142 bt142-175:0(324)X440490
13.52/13.69	conflict 54lvl : 142 bt142368:0(304)X440530
13.62/13.72	conflict 37lvl : 141 bt141-105:0(320)X440587
13.62/13.75	conflict 72lvl : 140 bt14087:0(389)X440627
13.62/13.75	conflict 37lvl : 140 bt140-39:0(357)X440702
13.62/13.75	conflict 37lvl : 140 bt140-26:0(404)X440742
13.72/13.83	conflict 37lvl : 138 bt138-190:0(312)X440782
13.72/13.83	conflict 37lvl : 137 bt137-45:0(295)X440822
13.72/13.83	conflict 52lvl : 137 bt137-72:0(346)X440862
13.72/13.83	conflict 37lvl : 137 bt137-57:0(394)X440917
13.72/13.83	conflict 54lvl : 137 bt137107:0(334)X440957
13.72/13.84	conflict 37lvl : 137 bt137-54:0(359)X441014
13.72/13.84	conflict 37lvl : 137 bt137-44:0(307)X441054
13.72/13.85	conflict 54lvl : 136 bt136112:0(290)X441094
13.72/13.87	conflict 54lvl : 136 bt136108:0(298)X441151
13.82/13.91	conflict 37lvl : 134 bt134-87:0(377)X441208
13.82/13.92	conflict 54lvl : 134 bt134127:0(334)X441248
13.82/13.92	conflict 54lvl : 134 bt134128:0(385)X441305
13.82/13.92	conflict 37lvl : 134 bt134-118:0(319)X441362
13.82/13.96	conflict 71lvl : 134 bt134105:0(353)X441402
13.82/13.97	conflict 53lvl : 133 bt133-162:0(238)X441476
13.92/14.01	conflict 37lvl : 133 bt133-112:0(341)X441532
13.92/14.10	conflict 71lvl : 133 bt133255:0(275)X441572
14.02/14.10	conflict 53lvl : 133 bt133-165:0(252)X441646
14.02/14.11	conflict 54lvl : 132 bt132-8:0(367)X441702
14.02/14.11	conflict 68lvl : 132 bt131-257:0(234)X441759
14.02/14.11	conflict 53lvl : 131 bt131-8:0(348)X441830
14.02/14.12	conflict 53lvl : 130 bt130-242:0(267)X441886
14.02/14.12	conflict 37lvl : 129 bt129-162:0(264)X441942
14.02/14.13	conflict 54lvl : 128 bt128204:0(261)X441982
14.02/14.13	conflict 70lvl : 127 bt127205:0(258)X442039
14.02/14.14	conflict 69lvl : 126 bt126202:0(246)X442112
14.12/14.25	conflict 37lvl : 123 bt123-95:0(271)X442184
14.12/14.29	conflict 37lvl : 122 bt122-165:0(297)X442224
14.22/14.30	conflict 69lvl : 122 bt122128:0(306)X442264
14.22/14.30	conflict 37lvl : 121 bt121-72:0(298)X442336
14.22/14.31	conflict 54lvl : 121 bt121143:0(351)X442376
14.22/14.31	conflict 54lvl : 121 bt121145:0(314)X442433
14.22/14.35	conflict 69lvl : 120 bt120-264:0(228)X442490
14.22/14.36	conflict 37lvl : 120 bt120-265:0(201)X442562
21.02/21.13	conflict 52lvl : 22 bt22-107:0(384)X448892
21.02/21.13	conflict 52lvl : 22 bt21-107:0(388)X448947
21.02/21.13	conflict 100lvl : 21 bt20-236:0(372)X449002
22.22/22.36	conflict 37lvl : 151 bt151-152:0(259)X449499
22.32/22.43	conflict 37lvl : 133 bt133-11:0(348)X449539
22.32/22.44	conflict 37lvl : 133 bt133-108:0(243)X449579
22.32/22.44	conflict 37lvl : 132 bt132-32:0(241)X449619
22.32/22.44	conflict 54lvl : 132 bt13272:0(335)X449659
22.32/22.45	conflict 52lvl : 132 bt131-157:0(234)X449716
22.32/22.45	conflict 37lvl : 130 bt130-142:0(268)X449771
22.32/22.46	conflict 54lvl : 129 bt129104:0(263)X449811
22.32/22.46	conflict 53lvl : 128 bt128-142:0(266)X449868
22.32/22.47	conflict 88lvl : 127 bt12728:0(262)X449924
22.72/22.81	conflict 87lvl : 120 bt12028:0(250)X450015
23.52/23.62	conflict 104lvl : 116 bt11628:0(246)X450105
23.52/23.63	conflict 103lvl : 114 bt11428:0(242)X450212
23.52/23.68	conflict 53lvl : 105 bt105-228:0(174)X450318
28.11/28.26	conflict 54lvl : 21 bt21225:0(372)X454581
28.11/28.26	conflict 52lvl : 21 bt20-236:0(372)X454638
29.81/29.93	conflict 37lvl : 190 bt190-335:0(255)X455063
29.81/29.94	conflict 37lvl : 187 bt187-328:0(289)X455103
29.92/30.01	conflict 54lvl : 190 bt1904:0(271)X455143
30.02/30.18	conflict 53lvl : 161 bt161-115:0(269)X455200
30.51/30.63	conflict 53lvl : 162 bt162-325:0(259)X455256
31.02/31.12	conflict 71lvl : 161 bt161322:0(293)X455312
31.02/31.12	conflict 37lvl : 190 bt190-331:0(278)X455386
31.11/31.25	conflict 71lvl : 162 bt1628:0(234)X455426
31.21/31.35	conflict 69lvl : 162 bt161-337:0(266)X455500
31.21/31.35	conflict 52lvl : 160 bt160-115:0(295)X455572
31.21/31.36	conflict 102lvl : 159 bt159-331:0(285)X455627
31.21/31.36	conflict 69lvl : 159 bt159-16:0(386)X455732
31.21/31.36	conflict 69lvl : 158 bt158-231:0(281)X455804
31.21/31.36	conflict 86lvl : 158 bt15848:0(381)X455876
31.21/31.37	conflict 85lvl : 157 bt157-331:0(279)X455965
31.31/31.41	conflict 52lvl : 148 bt148-111:0(266)X456053
38.71/38.82	conflict 52lvl : 22 bt21-235:0(384)X460602
38.71/38.82	conflict 84lvl : 21 bt20-256:0(372)X460657
49.21/49.37	conflict 52lvl : 22 bt21-216:0(379)X464417
49.21/49.37	conflict 37lvl : 38 bt22-204:0(501)X464472
52.21/52.38	conflict 37lvl : 179 bt179-215:0(284)X464834
52.21/52.39	conflict 37lvl : 187 bt187-5:0(306)X464874
52.21/52.40	conflict 71lvl : 186 bt18628:0(303)X464914
52.31/52.42	conflict 104lvl : 178 bt17848:0(395)X464988
52.31/52.42	conflict 37lvl : 178 bt178-68:0(281)X465095
52.41/52.55	conflict 37lvl : 189 bt189-128:0(320)X465135
52.41/52.57	conflict 37lvl : 179 bt179-228:0(253)X465175
52.41/52.58	conflict 53lvl : 175 bt175-8:0(414)X465215
52.41/52.59	conflict 37lvl : 175 bt175-208:0(291)X465271
52.41/52.59	conflict 37lvl : 190 bt190-28:0(294)X465311
52.41/52.59	conflict 87lvl : 189 bt18928:0(285)X465351
52.41/52.59	conflict 37lvl : 188 bt188-28:0(283)X465441
52.51/52.62	conflict 37lvl : 190 bt190-35:0(257)X465481
53.02/53.19	conflict 37lvl : 152 bt152-8:0(266)X465521
53.02/53.19	conflict 37lvl : 151 bt151-68:0(261)X465561
53.11/53.20	conflict 52lvl : 151 bt150-77:0(253)X465601
53.11/53.20	conflict 106lvl : 149 bt14984:0(281)X465656
53.11/53.21	conflict 105lvl : 148 bt14885:0(276)X465765
53.11/53.21	conflict 37lvl : 148 bt148-8:0(215)X465873
53.21/53.32	conflict 53lvl : 180 bt180-26:0(334)X465913
53.51/53.69	conflict 54lvl : 189 bt189-225:0(333)X465969
53.61/53.71	conflict 52lvl : 179 bt179-26:0(399)X466026
53.61/53.71	conflict 101lvl : 179 bt179-17:0(281)X466081
53.61/53.78	conflict 37lvl : 181 bt181-20:0(332)X466185
53.61/53.78	conflict 55lvl : 190 bt19024:0(364)X466225
53.71/53.87	conflict 37lvl : 181 bt181-82:0(295)X466283
53.81/53.95	conflict 37lvl : 190 bt190-11:0(304)X466323
53.81/53.96	conflict 53lvl : 189 bt189-11:0(301)X466363
53.92/54.06	conflict 37lvl : 179 bt179-130:0(312)X466419
53.92/54.07	conflict 37lvl : 178 bt178-83:0(337)X466459
54.02/54.18	conflict 53lvl : 180 bt180-65:0(287)X466499
54.21/54.30	conflict 37lvl : 181 bt181-65:0(341)X466555
54.21/54.40	conflict 53lvl : 179 bt179-206:0(341)X466595
54.31/54.45	conflict 53lvl : 181 bt181-26:0(352)X466651
67.81/68.00	conflict 37lvl : 22 bt21-166:0(379)X471240
67.81/68.00	conflict 69lvl : 21 bt20-216:0(372)X471280
84.51/84.67	conflict 52lvl : 22 bt21-291:0(381)X474060
84.51/84.67	conflict 84lvl : 21 bt20-236:0(372)X474115
93.02/93.13	o -1463
93.02/93.13	c   15 calls to solver: best=-1463 lower=-1462 upper=0 
93.21/93.32	conflict 37lvl : 187 bt187-289:0(321)X474202
93.31/93.43	conflict 53lvl : 187 bt187-292:0(367)X474242
93.31/93.43	conflict 37lvl : 186 bt186-212:0(348)X474298
93.31/93.43	conflict 37lvl : 185 bt185-292:0(310)X474338
93.31/93.44	conflict 55lvl : 188 bt1884:0(310)X474378
93.31/93.47	conflict 69lvl : 184 bt184-271:0(374)X474436
93.31/93.47	conflict 55lvl : 190 bt1904:0(361)X474508
93.41/93.54	conflict 37lvl : 190 bt189-222:0(359)X474566
93.51/93.68	conflict 37lvl : 185 bt185-85:0(330)X474606
93.61/93.73	conflict 69lvl : 183 bt183-91:0(376)X474646
93.61/93.76	conflict 69lvl : 183 bt183-171:0(390)X474718
93.92/94.09	conflict 37lvl : 157 bt157-148:0(325)X475811
94.02/94.12	conflict 54lvl : 156 bt156362:0(324)X475851
94.31/94.49	conflict 37lvl : 153 bt153-345:0(305)X475908
94.31/94.49	conflict 37lvl : 190 bt190-151:0(260)X475948
94.41/94.50	conflict 54lvl : 176 bt176-85:0(319)X475988
94.61/94.73	conflict 37lvl : 153 bt153-230:0(317)X476045
94.81/94.98	conflict 37lvl : 153 bt153-345:0(306)X476085
94.81/94.98	conflict 37lvl : 190 bt190-291:0(260)X476125
94.81/94.98	conflict 54lvl : 187 bt187-265:0(331)X476165
94.92/95.06	conflict 53lvl : 152 bt152-88:0(224)X476222
94.92/95.06	conflict 37lvl : 152 bt152-88:0(271)X476278
95.21/95.37	conflict 53lvl : 152 bt152-268:0(223)X476318
95.21/95.38	conflict 37lvl : 152 bt152-268:0(269)X476374
95.51/95.60	conflict 37lvl : 153 bt153-28:0(229)X476414
95.51/95.61	conflict 37lvl : 151 bt151-208:0(226)X476454
95.61/95.72	conflict 37lvl : 121 bt121-88:0(230)X476494
95.71/95.88	conflict 52lvl : 121 bt120-37:0(223)X476534
95.92/96.05	conflict 37lvl : 121 bt121-16:0(347)X476589
96.41/96.56	conflict 37lvl : 121 bt121-8:0(354)X476629
97.41/97.52	conflict 37lvl : 122 bt122-65:0(273)X476669
97.41/97.52	conflict 37lvl : 190 bt190-51:0(301)X476709
97.41/97.54	conflict 53lvl : 185 bt185-228:0(315)X476749
97.41/97.55	conflict 53lvl : 181 bt181-225:0(309)X476805
97.41/97.55	conflict 53lvl : 180 bt180-165:0(307)X476861
98.41/98.52	conflict 68lvl : 186 bt186-168:0(320)X476917
98.41/98.52	conflict 37lvl : 186 bt186-168:0(338)X476988
98.71/98.87	conflict 37lvl : 188 bt188-268:0(334)X477028
124.91/125.10	conflict 52lvl : 22 bt21-311:0(379)X485370
125.01/125.10	conflict 84lvl : 21 bt20-376:0(372)X485425
136.30/136.42	conflict 53lvl : 22 bt21-307:0(380)X487658
136.30/136.42	conflict 84lvl : 21 bt20-216:0(372)X487714
183.01/183.17	conflict 37lvl : 30 bt30-352:0(584)X492617
204.10/204.26	conflict 52lvl : 22 bt21-307:0(379)X494658
204.10/204.26	conflict 99lvl : 21 bt20-236:0(372)X494713
226.79/226.90	conflict 53lvl : 22 bt21-72:0(379)X496147
226.79/226.90	conflict 99lvl : 21 bt20-316:0(372)X496203
251.90/252.00	
251.90/252.00	c *** INTERRUPTED ***
251.90/252.00	c restarts              : 568         
251.90/252.00	c conflicts             : 753908       (2993 /sec)
251.90/252.00	c decisions             : 9306336      (36944 /sec)
251.90/252.00	c propagations          : 128441007   (509881 /sec)
251.90/252.00	c root propagations     : 4877        
251.90/252.00	c filter calls          : 94704314       (375954 /sec)
251.90/252.00	c useless filter calls  : 70592209       (74 %)
251.90/252.00	c
251.90/252.00	c clauses               : 18621
251.90/252.00	c SAT propagations      : 6544
251.90/252.00	c SAT conflicts         : 3429 (330 learnts)
251.90/252.00	c Memory used           : 34.14 MB
251.90/252.00	c CPU time              : 251.904 s
251.90/252.00	
251.90/252.00	c nb Solutions = 15
251.90/252.00	s SATISFIABLE
251.90/252.00	c Best value found: -1463
251.90/252.00	
251.90/252.00	
251.90/252.00	v <instantiation type='solution' cost='-1463'>
251.90/252.00	v <list>d[0][0] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] 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][15] d[10][16] d[10][17] d[10][18] d[10][19] 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][15] d[11][16] d[11][17] d[11][18] d[11][19] 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][15] d[12][16] d[12][17] d[12][18] d[12][19] 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][15] d[13][16] d[13][17] d[13][18] d[13][19] 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][15] d[14][16] d[14][17] d[14][18] d[14][19] 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[15][0] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][1] d[15][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[16][0] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][1] d[16][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[17][0] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][1] d[17][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[18][0] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][1] d[18][2] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[19][0] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][1] d[19][2] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[1][0] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] 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][15] d[2][16] d[2][17] d[2][18] d[2][19] 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][15] d[3][16] d[3][17] d[3][18] d[3][19] 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][15] d[4][16] d[4][17] d[4][18] d[4][19] 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][15] d[5][16] d[5][17] d[5][18] d[5][19] 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][15] d[6][16] d[6][17] d[6][18] d[6][19] 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][15] d[7][16] d[7][17] d[7][18] d[7][19] 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][15] d[8][16] d[8][17] d[8][18] d[8][19] 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][15] d[9][16] d[9][17] d[9][18] d[9][19] 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[15] x[16] x[17] x[18] x[19] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] </list>
251.90/252.00	v <values>* 0 1 4 0 2 5 5 0 0 0 3 5 5 0 5 2 0 4 0 * * 1 5 1 1 5 5 5 5 5 * * * * * * * * * * * * 10 10 2 2 5 0 2 10 * * * * * * * * * * * * * 10 2 2 3 5 2 2 * * * * * * * * * * * * * * 5 5 1 0 5 6 * * * * * * * * * * * * * * * 0 0 5 2 5 * * * * * * * * * * * * * * * * 2 1 10 1 * * * * * * * * * * * * * * * * * 4 0 0 * * * * * * * * * * * * * * * * * * 0 2 * * * * * * * * * * * * * * * * * * * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 10 1 5 10 1 0 0 0 10 * 5 10 3 4 5 5 2 2 * 2 5 2 1 2 0 0 5 0 1 * * 5 0 5 1 1 0 2 * 1 5 0 0 0 0 0 1 2 5 * * * 5 5 2 10 5 5 * 1 3 2 0 1 0 4 0 1 2 * * * * 0 1 0 5 10 * 5 1 1 2 0 6 5 0 0 5 * * * * * 0 5 2 5 * 6 5 0 10 5 5 10 2 2 0 * * * * * * 10 0 5 * 0 5 10 5 2 0 5 1 2 2 * * * * * * * 3 5 * 2 0 1 2 1 1 1 0 5 0 * * * * * * * * 0 * 2 1 10 5 10 0 5 0 2 2 * * * * * * * * * 2 4 14 7 19 3 5 0 16 12 18 1 17 13 15 9 6 11 8 10 </values>
251.90/252.00	v </instantiation>
251.90/252.00

Verifier Data 

OK	1463

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266785-1502645485/watcher-4266785-1502645485 -o /tmp/evaluation-result-4266785-1502645485/solver-4266785-1502645485 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502644648-26369 --watchdog 312 cosoco -lc -model -restarts -sat HOME/instance-4266785-1502645485.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Current StackSize limit: 8192 KiB

solver pid=26399, runsolver pid=26396

[startup+0.100208 s]*
/proc/loadavg: 1.53 1.95 2.22 4/183 26400
/proc/meminfo: memFree=31369368/32770624 swapFree=67108860/67108860
[pid=26399] ppid=26396 vsize=34536 memory=6496 CPUtime=0.03 cores=0,2,4,6
/proc/26399/stat : 26399 (cosoco) R 26396 26399 7968 0 -1 4202496 1846 0 1 0 3 0 0 0 20 0 1 0 18431163 35364864 1624 18446744073709551615 4194304 5972588 140727360596288 140727360592936 4934247 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 23007232 140727360602570 140727360602670 140727360602670 140727360606158 0
/proc/26399/statm: 8634 1624 766 435 0 1997 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 34536 KiB
Current children cumulated memory: 6496 KiB

[startup+0.209589 s]*
/proc/loadavg: 1.53 1.95 2.22 4/183 26400
/proc/meminfo: memFree=31344628/32770624 swapFree=67108860/67108860
[pid=26399] ppid=26396 vsize=34668 memory=6760 CPUtime=0.14 cores=0,2,4,6
/proc/26399/stat : 26399 (cosoco) R 26396 26399 7968 0 -1 4202496 1886 0 1 0 14 0 0 0 20 0 1 0 18431163 35500032 1690 18446744073709551615 4194304 5972588 140727360596288 140727360592936 5048020 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 23007232 140727360602570 140727360602670 140727360602670 140727360606158 0
/proc/26399/statm: 8667 1690 786 435 0 2030 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 34668 KiB
Current children cumulated memory: 6760 KiB

[startup+0.309118 s]*
/proc/loadavg: 1.73 1.99 2.23 4/183 26400
/proc/meminfo: memFree=31342768/32770624 swapFree=67108860/67108860
[pid=26399] ppid=26396 vsize=34668 memory=6760 CPUtime=0.24 cores=0,2,4,6
/proc/26399/stat : 26399 (cosoco) R 26396 26399 7968 0 -1 4202496 1900 0 1 0 24 0 0 0 20 0 1 0 18431163 35500032 1690 18446744073709551615 4194304 5972588 140727360596288 140727360592936 4936000 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 23007232 140727360602570 140727360602670 140727360602670 140727360606158 0
/proc/26399/statm: 8667 1690 786 435 0 2030 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 34668 KiB
Current children cumulated memory: 6760 KiB

[startup+0.700339 s]
/proc/loadavg: 1.73 1.99 2.23 4/183 26400
/proc/meminfo: memFree=31330120/32770624 swapFree=67108860/67108860
[pid=26399] ppid=26396 vsize=34668 memory=7024 CPUtime=0.62 cores=0,2,4,6
/proc/26399/stat : 26399 (cosoco) R 26396 26399 7968 0 -1 4202496 1931 0 1 0 62 0 0 0 20 0 1 0 18431163 35500032 1756 18446744073709551615 4194304 5972588 140727360596288 140727360593512 5328030 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 23007232 140727360602570 140727360602670 140727360602670 140727360606158 0
/proc/26399/statm: 8667 1756 791 435 0 2030 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 34668 KiB
Current children cumulated memory: 7024 KiB

[startup+1.50033 s]
/proc/loadavg: 1.73 1.99 2.23 4/183 26400
/proc/meminfo: memFree=31329872/32770624 swapFree=67108860/67108860
[pid=26399] ppid=26396 vsize=34668 memory=7024 CPUtime=1.42 cores=0,2,4,6
/proc/26399/stat : 26399 (cosoco) R 26396 26399 7968 0 -1 4202496 1976 0 1 0 142 0 0 0 20 0 1 0 18431163 35500032 1756 18446744073709551615 4194304 5972588 140727360596288 140727360593512 4936013 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 23007232 140727360602570 140727360602670 140727360602670 140727360606158 0
/proc/26399/statm: 8667 1756 791 435 0 2030 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 34668 KiB
Current children cumulated memory: 7024 KiB

[startup+3.10905 s]
/proc/loadavg: 1.73 1.99 2.23 4/183 26400
/proc/meminfo: memFree=31329304/32770624 swapFree=67108860/67108860
[pid=26399] ppid=26396 vsize=34832 memory=7628 CPUtime=3.03 cores=0,2,4,6
/proc/26399/stat : 26399 (cosoco) R 26396 26399 7968 0 -1 4202496 2986 0 1 0 303 0 0 0 20 0 1 0 18431163 35667968 1907 18446744073709551615 4194304 5972588 140727360596288 140727360593512 4935596 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 23007232 140727360602570 140727360602670 140727360602670 140727360606158 0
/proc/26399/statm: 8708 1907 791 435 0 2071 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 34832 KiB
Current children cumulated memory: 7628 KiB

[startup+6.30033 s]
/proc/loadavg: 1.75 1.99 2.23 4/183 26402
/proc/meminfo: memFree=31326852/32770624 swapFree=67108860/67108860
[pid=26399] ppid=26396 vsize=34832 memory=10128 CPUtime=6.22 cores=0,2,4,6
/proc/26399/stat : 26399 (cosoco) R 26396 26399 7968 0 -1 4202496 4119 0 1 0 622 0 0 0 20 0 1 0 18431163 35667968 2532 18446744073709551615 4194304 5972588 140727360596288 140727360593512 5322698 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 23007232 140727360602570 140727360602670 140727360602670 140727360606158 0
/proc/26399/statm: 8708 2532 792 435 0 2071 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 34832 KiB
Current children cumulated memory: 10128 KiB

[startup+12.7003 s]
/proc/loadavg: 1.77 1.99 2.23 4/183 26402
/proc/meminfo: memFree=31315960/32770624 swapFree=67108860/67108860
[pid=26399] ppid=26396 vsize=34832 memory=10176 CPUtime=12.62 cores=0,2,4,6
/proc/26399/stat : 26399 (cosoco) R 26396 26399 7968 0 -1 4202496 4734 0 1 0 1262 0 0 0 20 0 1 0 18431163 35667968 2544 18446744073709551615 4194304 5972588 140727360596288 140727360593512 4935454 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 23007232 140727360602570 140727360602670 140727360602670 140727360606158 0
/proc/26399/statm: 8708 2544 792 435 0 2071 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 34832 KiB
Current children cumulated memory: 10176 KiB

[startup+25.5003 s]
/proc/loadavg: 1.81 1.99 2.23 4/183 26402
/proc/meminfo: memFree=31304844/32770624 swapFree=67108860/67108860
[pid=26399] ppid=26396 vsize=34960 memory=10260 CPUtime=25.42 cores=0,2,4,6
/proc/26399/stat : 26399 (cosoco) R 26396 26399 7968 0 -1 4202496 5879 0 1 0 2542 0 0 0 20 0 1 0 18431163 35799040 2565 18446744073709551615 4194304 5972588 140727360596288 140727360593512 5048024 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 23007232 140727360602570 140727360602670 140727360602670 140727360606158 0
/proc/26399/statm: 8740 2565 792 435 0 2103 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 34960 KiB
Current children cumulated memory: 10260 KiB

[startup+51.1091 s]
/proc/loadavg: 1.88 1.99 2.22 4/183 26403
/proc/meminfo: memFree=31293776/32770624 swapFree=67108860/67108860
[pid=26399] ppid=26396 vsize=34960 memory=10280 CPUtime=51.02 cores=0,2,4,6
/proc/26399/stat : 26399 (cosoco) R 26396 26399 7968 0 -1 4202496 6549 0 1 0 5102 0 0 0 20 0 1 0 18431163 35799040 2570 18446744073709551615 4194304 5972588 140727360596288 140727360593512 4935463 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 23007232 140727360602570 140727360602670 140727360602670 140727360606158 0
/proc/26399/statm: 8740 2570 792 435 0 2103 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 34960 KiB
Current children cumulated memory: 10280 KiB

[startup+102.3 s]
/proc/loadavg: 1.95 1.99 2.21 4/183 26406
/proc/meminfo: memFree=31291920/32770624 swapFree=67108860/67108860
[pid=26399] ppid=26396 vsize=34960 memory=10316 CPUtime=102.21 cores=0,2,4,6
/proc/26399/stat : 26399 (cosoco) R 26396 26399 7968 0 -1 4202496 7199 0 1 0 10221 0 0 0 20 0 1 0 18431163 35799040 2579 18446744073709551615 4194304 5972588 140727360596288 140727360593512 5046284 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 23007232 140727360602570 140727360602670 140727360602670 140727360606158 0
/proc/26399/statm: 8740 2579 792 435 0 2103 0
Current children cumulated CPU time: 102.21 s
Current children cumulated vsize: 34960 KiB
Current children cumulated memory: 10316 KiB

[startup+162.3 s]
/proc/loadavg: 1.98 1.99 2.20 4/186 26424
/proc/meminfo: memFree=31284912/32770624 swapFree=67108860/67108860
[pid=26399] ppid=26396 vsize=34960 memory=10328 CPUtime=162.2 cores=0,2,4,6
/proc/26399/stat : 26399 (cosoco) R 26396 26399 7968 0 -1 4202496 7817 0 1 0 16220 0 0 0 20 0 1 0 18431163 35799040 2582 18446744073709551615 4194304 5972588 140727360596288 140727360593512 5139505 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 23007232 140727360602570 140727360602670 140727360602670 140727360606158 0
/proc/26399/statm: 8740 2582 792 435 0 2103 0
Current children cumulated CPU time: 162.2 s
Current children cumulated vsize: 34960 KiB
Current children cumulated memory: 10328 KiB

[startup+222.3 s]
/proc/loadavg: 2.03 2.00 2.19 4/186 26428
/proc/meminfo: memFree=31281432/32770624 swapFree=67108860/67108860
[pid=26399] ppid=26396 vsize=34960 memory=10328 CPUtime=222.19 cores=0,2,4,6
/proc/26399/stat : 26399 (cosoco) R 26396 26399 7968 0 -1 4202496 8437 0 1 0 22219 0 0 0 20 0 1 0 18431163 35799040 2582 18446744073709551615 4194304 5972588 140727360596288 140727360593512 5139329 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 23007232 140727360602570 140727360602670 140727360602670 140727360606158 0
/proc/26399/statm: 8740 2582 792 435 0 2103 0
Current children cumulated CPU time: 222.19 s
Current children cumulated vsize: 34960 KiB
Current children cumulated memory: 10328 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252 s]*
/proc/loadavg: 2.02 2.00 2.19 4/186 26432
/proc/meminfo: memFree=31281104/32770624 swapFree=67108860/67108860
[pid=26399] ppid=26396 vsize=34960 memory=10328 CPUtime=251.9 cores=0,2,4,6
/proc/26399/stat : 26399 (cosoco) R 26396 26399 7968 0 -1 4202496 8777 0 1 0 25190 0 0 0 20 0 1 0 18431163 35799040 2582 18446744073709551615 4194304 5972588 140727360596288 140727360593512 5046712 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 23007232 140727360602570 140727360602670 140727360602670 140727360606158 0
/proc/26399/statm: 8740 2582 792 435 0 2103 0
Current children cumulated CPU time: 251.9 s
Current children cumulated vsize: 34960 KiB
Current children cumulated memory: 10328 KiB

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

[startup+252.011 s]
# the end of solver process 26399 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.905 s, system=0.007999 s

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

Child status: 1
Real time (s): 252.011
CPU time (s): 251.913
CPU user time (s): 251.905
CPU system time (s): 0.007999
CPU usage (%): 99.9611
Max. virtual memory (cumulated for all children) (KiB): 34960
Max. memory (cumulated for all children) (KiB): 10328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.905
system time used= 0.007999
maximum resident set size= 10408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8838
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 316


# summary of solver processes directly reported to runsolver:
#   pid: 26399
#   total CPU time (s): 251.913
#   total CPU user time (s): 251.905
#   total CPU system time (s): 0.007999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.873735 second user time and 1.74466 second system time

The end

Launcher Data 

Begin job on node128 at 2017-08-13 19:17:28
IDJOB=4266785
IDBENCH=123129
IDSOLVER=2656
FILE ID=node128/4266785-1502645485
RUNJOBID= node128-1502644648-26369
PBS_JOBID= 
Free space on /tmp= 62032 MiB

SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-nug20.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266785-1502645485/watcher-4266785-1502645485 -o /tmp/evaluation-result-4266785-1502645485/solver-4266785-1502645485 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502644648-26369 --watchdog 312  cosoco -lc -model -restarts -sat HOME/instance-4266785-1502645485.xml

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

MD5SUM BENCH= 1ce5b24a466c3cb241db2c2b366e9012
RANDOM SEED=1010452502

node128.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.94
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.94
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.94
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.94
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:        31380960 kB
MemAvailable:   32019664 kB
Buffers:          153260 kB
Cached:           772284 kB
SwapCached:            0 kB
Active:           267504 kB
Inactive:         710436 kB
Active(anon):      52952 kB
Inactive(anon):    16764 kB
Active(file):     214552 kB
Inactive(file):   693672 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              4820 kB
Writeback:             0 kB
AnonPages:         52744 kB
Mapped:            33432 kB
Shmem:             17116 kB
Slab:             117504 kB
SReclaimable:      92628 kB
SUnreclaim:        24876 kB
KernelStack:        3104 kB
PageTables:         4756 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     294652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62028 MiB
End job on node128 at 2017-08-13 19:21:40