Trace number 4265788

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)3837939 2519.9199 2520.02

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-bur26g.xml
MD5SUMe15ea9448d462545754e2532d86d3e94
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark3138098
Best CPU time to get the best result obtained on this benchmark2400.12
Satisfiable
(Un)Satisfiability was proved
Number of variables702
Number of constraints326
Number of domains2
Minimum domain size26
Maximum domain size280
Distribution of domain sizes[{"size":26,"count":26},{"size":280,"count":325}]
Minimum variable degree0
Maximum variable degree26
Distribution of variable degrees[{"degree":0,"count":351},{"degree":2,"count":325},{"degree":26,"count":26}]
Minimum constraint arity3
Maximum constraint arity26
Distribution of constraint arities[{"arity":3,"count":325},{"arity":26,"count":1}]
Number of extensional constraints325
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":325},{"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 

1.92/2.04	c SAT : Variables: 189956 -- Clauses: 26413712
1.92/2.04	c best=?? lower=-205560396 upper=0 
1.92/2.09	c
1.92/2.09	c This is cosoco 1.12 --  
1.92/2.09	c
1.92/2.09	c command line: cosoco -lc -model -restarts -sat HOME/instance-4265788-1502571071.xml 
1.92/2.09	c enable optimization
1.92/2.09	c ========================================[ Problem Statistics ]===========================================
1.92/2.09	c |                                                                                                       
1.92/2.09	c |  Parse time        :         1.66 s 
1.92/2.09	c |
1.92/2.09	c |               Variables: 702
1.92/2.09	c |            Domain Sizes: 26..280
1.92/2.09	c |
1.92/2.09	c |             Constraints: 327
1.92/2.09	c |                   Arity: 3..325  -- Ternary: 325
1.92/2.09	c | 
1.92/2.09	c |                   Types: 
1.92/2.09	c |                          All Different: 1
1.92/2.09	c |                          Extension: 325  (nb tuples: 650..650) -- (shared: 324)
1.92/2.09	c |                          Sum: 1
1.92/2.09	c |                          
1.92/2.09	c =========================================================================================================
1.92/2.09	conflict 49lvl : 105 bt105-421:0(60843)X105844154
1.92/2.09	conflict 49lvl : 105 bt104-425:0(60854)X105844206
2.02/2.18	o -5370865
2.02/2.18	c    1 calls to solver: best=-5370865 lower=-5370864 upper=0 
2.31/2.48	o -5269580
2.41/2.59	o -5011253
2.41/2.59	c    3 calls to solver: best=-5011253 lower=-5011252 upper=0 
2.61/2.70	o -4998736
2.71/2.87	conflict 49lvl : 103 bt103-149:0(64101)X105847288
2.71/2.87	conflict 49lvl : 103 bt102-404:0(64110)X105847340
2.81/2.96	conflict 49lvl : 59 bt59-97:0(48738)X105849252
2.81/2.97	conflict 49lvl : 69 bt69-357:0(52992)X105849304
3.21/3.34	conflict 49lvl : 103 bt103-97:0(64100)X105853144
3.21/3.34	conflict 49lvl : 103 bt102-196:0(64109)X105853196
3.61/3.71	conflict 49lvl : 104 bt104-590:0(64202)X105858359
3.61/3.71	conflict 49lvl : 104 bt103-508:0(64211)X105858411
4.02/4.13	conflict 49lvl : 104 bt104-664:0(64199)X105862772
4.02/4.13	conflict 49lvl : 104 bt103-118:0(64208)X105862824
4.02/4.18	o -4747122
4.02/4.18	c    5 calls to solver: best=-4747122 lower=-4747121 upper=0 
4.11/4.25	conflict 49lvl : 105 bt104-668:0(64172)X105862876
4.32/4.44	conflict 49lvl : 26 bt26-508:0(12423)X105864682
4.32/4.44	conflict 71lvl : 26 bt25-471:0(12439)X105864734
4.32/4.44	conflict 49lvl : 28 bt25-498:0(18391)X105864808
4.51/4.67	conflict 49lvl : 130 bt130-174:0(70494)X105865780
4.51/4.67	conflict 49lvl : 130 bt129-170:0(70501)X105865832
5.51/5.64	conflict 49lvl : 171 bt155-382:0(78347)X105874779
5.71/5.86	conflict 49lvl : 105 bt105-560:0(64199)X105876513
5.71/5.86	conflict 49lvl : 104 bt104-565:0(64198)X105876565
6.02/6.18	conflict 49lvl : 59 bt59-356:0(48744)X105878305
6.02/6.19	conflict 49lvl : 69 bt69-201:0(53017)X105878357
6.02/6.19	conflict 49lvl : 80 bt69-222:0(57019)X105878409
6.41/6.56	conflict 49lvl : 59 bt59-278:0(48738)X105883205
6.41/6.57	conflict 49lvl : 69 bt69-326:0(53011)X105883257
6.80/6.95	conflict 49lvl : 60 bt60-616:0(48764)X105886438
6.80/6.95	conflict 49lvl : 70 bt70-534:0(53035)X105886490
7.02/7.16	conflict 49lvl : 59 bt59-279:0(48750)X105889763
7.02/7.16	conflict 49lvl : 69 bt69-14:0(53007)X105889815
7.11/7.25	conflict 49lvl : 44 bt44-591:0(39968)X105892029
7.11/7.25	conflict 72lvl : 49 bt49616:0(44697)X105892081
7.21/7.34	conflict 96lvl : 28 bt28638:0(18431)X105893261
7.41/7.53	conflict 49lvl : 116 bt115-488:0(64321)X105895400
7.41/7.53	conflict 49lvl : 128 bt115-488:0(67611)X105895452
7.71/7.85	o -4469419
7.81/7.95	o -4217447
7.81/7.95	c    7 calls to solver: best=-4217447 lower=-4217446 upper=0 
8.02/8.15	o -4182180
8.21/8.38	conflict 72lvl : 25 bt25404:0(12417)X105902093
8.21/8.38	conflict 70lvl : 25 bt24-393:0(12431)X105902168
8.91/9.09	conflict 49lvl : 59 bt59-331:0(48769)X105908305
8.91/9.09	conflict 49lvl : 69 bt69-643:0(53027)X105908357
8.91/9.10	conflict 71lvl : 80 bt69-201:0(57039)X105908409
9.81/9.90	conflict 49lvl : 116 bt115-421:0(64335)X105916827
9.81/9.90	conflict 49lvl : 128 bt115-408:0(67617)X105916879
9.81/9.99	conflict 49lvl : 92 bt92-665:0(61321)X105918163
10.61/10.75	conflict 49lvl : 59 bt59-487:0(48788)X105924152
10.61/10.75	conflict 49lvl : 69 bt69-408:0(53055)X105924204
10.61/10.76	conflict 49lvl : 80 bt69-278:0(57057)X105924256
10.71/10.85	conflict 49lvl : 61 bt61-404:0(48785)X105925648
10.71/10.86	conflict 49lvl : 71 bt71-482:0(53049)X105925700
10.71/10.86	conflict 93lvl : 71 bt61-473:0(53039)X105925752
11.02/11.15	conflict 49lvl : 59 bt59-71:0(48788)X105929121
11.02/11.15	conflict 49lvl : 69 bt69-149:0(53028)X105929173
11.02/11.15	conflict 93lvl : 69 bt59-135:0(53024)X105929225
11.11/11.24	conflict 49lvl : 38 bt38-616:0(34898)X105930595
11.51/11.62	conflict 49lvl : 60 bt60-278:0(48795)X105935325
11.51/11.63	conflict 49lvl : 70 bt70-305:0(53050)X105935377
11.80/11.93	conflict 72lvl : 59 bt59222:0(48737)X105938368
11.80/11.93	conflict 49lvl : 69 bt69-201:0(52997)X105938443
11.80/11.94	conflict 71lvl : 80 bt69-227:0(57008)X105938495
12.02/12.12	conflict 49lvl : 116 bt116-317:0(64334)X105940282
12.02/12.12	conflict 71lvl : 116 bt115-291:0(64339)X105940334
12.02/12.13	conflict 49lvl : 128 bt128-668:0(67613)X105940408
12.02/12.19	conflict 71lvl : 28 bt28-659:0(18395)X105941943
12.11/12.20	conflict 96lvl : 31 bt31617:0(24230)X105942017
12.40/12.56	conflict 93lvl : 27 bt26-133:0(12443)X105945454
12.40/12.57	conflict 93lvl : 29 bt26-134:0(18395)X105945550
13.20/13.35	conflict 49lvl : 60 bt60-331:0(48792)X105952795
13.20/13.35	conflict 49lvl : 70 bt70-305:0(53053)X105952847
13.20/13.35	conflict 49lvl : 81 bt70-201:0(57055)X105952899
13.80/13.97	conflict 49lvl : 60 bt60-149:0(48775)X105958638
13.80/13.98	conflict 49lvl : 70 bt70-201:0(53031)X105958690
13.80/13.98	conflict 49lvl : 81 bt70-331:0(57043)X105958742
13.92/14.10	conflict 71lvl : 140 bt140-101:0(73227)X105960955
14.11/14.29	conflict 49lvl : 116 bt116-659:0(64281)X105963032
14.11/14.29	conflict 71lvl : 116 bt115-291:0(64286)X105963084
14.11/14.29	conflict 71lvl : 128 bt128-659:0(67564)X105963158
14.41/14.54	conflict 93lvl : 27 bt26-185:0(12443)X105966461
14.41/14.55	conflict 93lvl : 29 bt26-186:0(18415)X105966557
14.51/14.63	conflict 71lvl : 27 bt26-654:0(12429)X105967947
14.51/14.63	conflict 137lvl : 26 bt25-263:0(12437)X105968021
14.51/14.64	conflict 71lvl : 29 bt29-669:0(18380)X105968161
14.51/14.64	conflict 93lvl : 29 bt28-264:0(18396)X105968235
14.51/14.64	conflict 115lvl : 28 bt25-420:0(18389)X105968331
14.61/14.80	conflict 49lvl : 27 bt27-664:0(12429)X105970068
14.71/14.80	conflict 93lvl : 27 bt26-55:0(12445)X105970120
14.71/14.80	conflict 71lvl : 29 bt26-654:0(18381)X105970216
15.31/15.42	conflict 49lvl : 38 bt38-591:0(34909)X105976579
15.31/15.42	conflict 49lvl : 42 bt42-643:0(39857)X105976631
16.01/16.18	conflict 93lvl : 26 bt26-56:0(12426)X105986604
16.01/16.18	conflict 115lvl : 26 bt25-133:0(12437)X105986700
16.01/16.18	conflict 118lvl : 28 bt28149:0(18368)X105986818
16.01/16.19	conflict 49lvl : 32 bt28-668:0(23978)X105986939
16.51/16.66	conflict 93lvl : 27 bt26-341:0(12443)X105994013
16.51/16.67	conflict 93lvl : 29 bt26-342:0(18398)X105994109
17.40/17.54	conflict 49lvl : 103 bt90-21:0(67578)X106004688
17.60/17.75	conflict 72lvl : 79 bt79223:0(56874)X106006894
17.60/17.75	conflict 49lvl : 103 bt79-44:0(67633)X106006969
17.70/17.83	conflict 93lvl : 27 bt26-393:0(12443)X106008457
17.70/17.83	conflict 90lvl : 29 bt26-394:0(18408)X106008553
17.91/18.02	conflict 49lvl : 26 bt25-123:0(12423)X106010793
17.91/18.03	conflict 49lvl : 28 bt25-123:0(18390)X106010845
18.20/18.31	conflict 96lvl : 79 bt79197:0(56871)X106013235
18.20/18.31	conflict 117lvl : 79 bt79197:0(56876)X106013334
18.20/18.32	conflict 49lvl : 103 bt78-20:0(67639)X106013454
18.40/18.53	conflict 118lvl : 79 bt79197:0(56866)X106016345
18.40/18.53	conflict 116lvl : 79 bt78197:0(56872)X106016466
18.40/18.54	conflict 72lvl : 90 bt90197:0(60698)X106016585
18.60/18.74	conflict 49lvl : 105 bt104-482:0(60633)X106018529
18.60/18.74	conflict 49lvl : 116 bt105-642:0(64194)X106018581
18.60/18.79	conflict 49lvl : 26 bt25-196:0(12423)X106020575
18.60/18.79	conflict 49lvl : 28 bt25-565:0(18372)X106020627
19.10/19.21	conflict 72lvl : 116 bt116330:0(67526)X106023749
19.10/19.29	conflict 72lvl : 117 bt117122:0(67514)X106025064
19.20/19.38	conflict 72lvl : 116 bt116330:0(67526)X106026422
19.40/19.57	conflict 49lvl : 105 bt105-664:0(60633)X106028673
19.40/19.57	conflict 49lvl : 105 bt104-670:0(60639)X106028725
19.40/19.57	conflict 49lvl : 116 bt105-666:0(64191)X106028777
19.50/19.62	conflict 72lvl : 25 bt2571:0(12417)X106030771
19.50/19.63	conflict 70lvl : 25 bt24-55:0(12431)X106030846
19.50/19.63	conflict 49lvl : 28 bt28-66:0(18394)X106030919
19.50/19.63	conflict 71lvl : 28 bt27-186:0(18410)X106030971
19.50/19.64	conflict 71lvl : 31 bt27-187:0(23994)X106031045
19.70/19.84	conflict 49lvl : 117 bt117-201:0(67518)X106033220
19.70/19.84	conflict 49lvl : 117 bt116-196:0(67522)X106033272
19.91/20.02	conflict 70lvl : 78 bt78-197:0(56860)X106037136
20.01/20.13	conflict 49lvl : 117 bt116-97:0(67529)X106037807
20.30/20.40	conflict 118lvl : 79 bt79483:0(56886)X106042596
20.30/20.40	conflict 117lvl : 79 bt79483:0(56892)X106042717
20.30/20.40	conflict 49lvl : 78 bt78-46:0(56892)X106042837
21.30/21.47	conflict 93lvl : 27 bt26-81:0(12443)X106056226
21.30/21.47	conflict 93lvl : 29 bt26-82:0(18403)X106056322
21.70/21.87	conflict 49lvl : 104 bt103-668:0(64256)X106059633
21.91/22.10	conflict 49lvl : 172 bt157-538:0(78346)X106060620
22.50/22.69	conflict 72lvl : 115 bt115222:0(67455)X106067430
22.60/22.78	conflict 72lvl : 79 bt79666:0(56873)X106069307
22.60/22.78	conflict 117lvl : 79 bt79665:0(56879)X106069382
22.60/22.78	conflict 71lvl : 78 bt78-665:0(56877)X106069502
22.70/22.89	conflict 49lvl : 116 bt116-149:0(67470)X106070041
22.70/22.89	conflict 49lvl : 116 bt115-144:0(67475)X106070093
22.90/23.05	conflict 93lvl : 27 bt26-263:0(12443)X106073118
22.90/23.06	conflict 93lvl : 29 bt26-264:0(18384)X106073214
23.41/23.56	conflict 72lvl : 115 bt115564:0(67485)X106078483
23.60/23.77	conflict 72lvl : 144 bt144122:0(73377)X106079855
24.01/24.17	conflict 49lvl : 145 bt145-357:0(73337)X106087265
24.01/24.17	conflict 49lvl : 145 bt144-352:0(73337)X106087317
24.50/24.66	conflict 49lvl : 161 bt161-175:0(75920)X106095960
24.50/24.66	conflict 49lvl : 161 bt160-170:0(75920)X106096012
24.91/25.01	conflict 49lvl : 61 bt61-196:0(48783)X106101181
24.91/25.02	conflict 49lvl : 71 bt71-383:0(53039)X106101233
25.01/25.13	conflict 49lvl : 170 bt169-447:0(75889)X106103162
25.20/25.34	conflict 49lvl : 141 bt141-633:0(70603)X106105912
25.20/25.34	conflict 49lvl : 141 bt140-627:0(70603)X106105964
25.30/25.44	conflict 49lvl : 144 bt144-378:0(73323)X106108117
25.80/25.91	conflict 49lvl : 145 bt145-383:0(73325)X106116529
25.80/25.91	conflict 49lvl : 145 bt144-378:0(73331)X106116581
25.80/25.98	conflict 49lvl : 59 bt59-97:0(48768)X106119335
25.80/25.99	conflict 49lvl : 80 bt69-201:0(57025)X106119387
25.91/26.09	conflict 49lvl : 91 bt90-20:0(60659)X106120779
25.91/26.09	conflict 49lvl : 103 bt91-20:0(64230)X106120831
26.10/26.29	conflict 49lvl : 130 bt90-23:0(73509)X106124074
26.50/26.70	conflict 49lvl : 145 bt145-201:0(73323)X106128306
26.60/26.70	conflict 49lvl : 145 bt144-196:0(73325)X106128358
26.60/26.75	conflict 71lvl : 27 bt26-654:0(12429)X106130528
26.60/26.75	conflict 115lvl : 26 bt25-55:0(12437)X106130602
26.60/26.76	conflict 142lvl : 28 bt28300:0(18394)X106130720
26.60/26.76	conflict 70lvl : 28 bt25-290:0(18407)X106130865
26.79/26.99	conflict 49lvl : 145 bt145-96:0(73319)X106133285
26.79/26.99	conflict 49lvl : 145 bt144-92:0(73325)X106133337
26.90/27.05	conflict 49lvl : 28 bt28-643:0(18442)X106135046
26.90/27.05	conflict 72lvl : 31 bt31664:0(24163)X106135098
27.00/27.17	conflict 49lvl : 105 bt104-369:0(60854)X106135722
27.00/27.17	conflict 49lvl : 116 bt104-655:0(64385)X106135774
27.20/27.36	conflict 72lvl : 90 bt90639:0(60633)X106139547
27.20/27.36	conflict 70lvl : 90 bt89-638:0(60638)X106139622
27.30/27.44	conflict 97lvl : 29 bt26289:0(18262)X106141410
27.40/27.53	conflict 72lvl : 49 bt49638:0(35029)X106142322
27.60/27.71	conflict 117lvl : 90 bt90197:0(60629)X106143541
27.60/27.71	conflict 116lvl : 90 bt89-196:0(60635)X106143661
27.80/27.91	conflict 49lvl : 130 bt90-46:0(73489)X106145108
28.01/28.12	conflict 49lvl : 128 bt127-629:0(67596)X106147754
28.01/28.12	conflict 49lvl : 141 bt127-369:0(70627)X106147806
28.40/28.50	conflict 138lvl : 79 bt79640:0(56882)X106153508
28.40/28.51	conflict 71lvl : 79 bt78-639:0(56888)X106153649
28.40/28.51	conflict 94lvl : 90 bt90642:0(60695)X106153723
29.29/29.40	conflict 49lvl : 101 bt101-20:0(67679)X106164298
29.29/29.46	conflict 49lvl : 38 bt38-642:0(34892)X106164848
29.29/29.47	conflict 72lvl : 49 bt49586:0(44658)X106164900
29.59/29.77	conflict 160lvl : 78 bt78430:0(56883)X106169147
29.59/29.78	conflict 139lvl : 90 bt79642:0(60701)X106169310
29.79/29.98	conflict 49lvl : 105 bt104-373:0(60859)X106172482
29.79/29.98	conflict 49lvl : 116 bt104-529:0(64385)X106172534
29.90/30.05	conflict 49lvl : 38 bt38-617:0(34887)X106174717
29.90/30.05	conflict 72lvl : 42 bt42664:0(39832)X106174769
30.09/30.27	conflict 72lvl : 116 bt11644:0(67523)X106177903
30.29/30.45	conflict 141lvl : 90 bt90205:0(60686)X106180657
30.49/30.65	conflict 141lvl : 90 bt90205:0(60691)X106184008
30.90/31.06	conflict 94lvl : 90 bt90200:0(60709)X106187782
31.19/31.34	conflict 138lvl : 78 bt7892:0(56884)X106189145
31.19/31.35	conflict 140lvl : 90 bt90197:0(60693)X106189286
31.29/31.44	conflict 138lvl : 78 bt78406:0(56874)X106190453
31.29/31.44	conflict 139lvl : 90 bt79197:0(60690)X106190594
31.59/31.75	conflict 72lvl : 146 bt14645:0(73440)X106194883
31.59/31.75	conflict 49lvl : 163 bt146-665:0(76010)X106194958
31.79/31.93	conflict 159lvl : 78 bt7898:0(56874)X106199034
31.79/31.93	conflict 158lvl : 79 bt79-92:0(56881)X106199196
31.79/31.93	 -> -92:X(56881)conflict 138lvl : 89 bt8998:0(60684)X106199357
32.00/32.12	conflict 136lvl : 79 bt79-664:0(56876)X106200662
32.50/32.63	 -> -664:X(56876)conflict 72lvl : 104 bt104549:0(60849)X106207690
32.50/32.64	conflict 70lvl : 104 bt103-549:0(60855)X106207765
32.50/32.64	conflict 49lvl : 116 bt115-551:0(64381)X106207838
32.91/33.02	conflict 140lvl : 90 bt90642:0(60636)X106213170
32.91/33.02	conflict 139lvl : 90 bt89-639:0(60642)X106213313
32.91/33.03	conflict 49lvl : 102 bt102-46:0(64204)X106213455
32.91/33.03	conflict 93lvl : 102 bt89-639:0(64208)X106213507
33.10/33.22	conflict 136lvl : 79 bt79-638:0(56889)X106215513
33.50/33.60	 -> -638:X(56889)conflict 140lvl : 79 bt79483:0(56881)X106219298
33.50/33.60	conflict 136lvl : 80 bt80-482:0(56887)X106219441
33.70/33.80	 -> -482:X(56887)conflict 136lvl : 79 bt79-404:0(56873)X106221929
34.01/34.19	 -> -404:X(56873)conflict 49lvl : 101 bt101-127:0(67668)X106226825
34.40/34.55	conflict 118lvl : 90 bt90205:0(60694)X106231144
34.70/34.87	conflict 49lvl : 163 bt146-665:0(75993)X106234151
34.90/35.04	conflict 49lvl : 101 bt101-205:0(67667)X106236331
35.09/35.28	conflict 49lvl : 43 bt43-612:0(39987)X106240237
35.09/35.29	conflict 72lvl : 49 bt49668:0(44723)X106240289
35.49/35.61	conflict 49lvl : 118 bt118-565:0(67479)X106243800
35.49/35.61	conflict 49lvl : 117 bt117-487:0(67478)X106243852
35.59/35.70	conflict 49lvl : 116 bt115-565:0(67485)X106245940
35.69/35.84	o -4142226
35.69/35.84	c    9 calls to solver: best=-4142226 lower=-4142225 upper=0 
35.69/35.90	conflict 161lvl : 78 bt78197:0(56881)X106247552
35.79/35.90	conflict 136lvl : 79 bt79-196:0(56886)X106247716
35.90/36.05	 -> -196:X(56886)o -4133810
38.01/38.12	conflict 72lvl : 160 bt160226:0(75899)X106275072
38.50/38.66	conflict 49lvl : 62 bt62-97:0(48793)X106283900
38.50/38.67	conflict 49lvl : 94 bt94-668:0(64461)X106283952
38.50/38.68	conflict 95lvl : 118 bt118-612:0(70831)X106284004
38.60/38.73	conflict 139lvl : 26 bt25-289:0(12423)X106285186
38.60/38.74	conflict 71lvl : 32 bt28-655:0(23997)X106285328
39.19/39.34	o -4006230
39.19/39.34	c   11 calls to solver: best=-4006230 lower=-4006229 upper=0 
39.39/39.59	conflict 72lvl : 62 bt62612:0(48787)X106294229
39.49/39.61	conflict 141lvl : 94 bt94616:0(64467)X106294304
40.00/40.19	conflict 72lvl : 61 bt61616:0(48787)X106301277
40.00/40.20	conflict 49lvl : 71 bt71-513:0(53067)X106301352
40.49/40.67	conflict 49lvl : 60 bt60-123:0(48784)X106308142
40.49/40.68	conflict 49lvl : 70 bt70-565:0(53042)X106308194
40.49/40.68	conflict 70lvl : 81 bt70-486:0(57046)X106308246
40.69/40.81	conflict 71lvl : 128 bt127-384:0(67595)X106309753
40.69/40.81	conflict 49lvl : 141 bt127-451:0(70627)X106309827
40.79/40.99	conflict 49lvl : 141 bt140-525:0(70609)X106313573
41.00/41.18	conflict 72lvl : 115 bt11573:0(70680)X106316570
42.00/42.11	conflict 49lvl : 115 bt115-101:0(70684)X106327130
42.39/42.59	conflict 49lvl : 141 bt141-503:0(70604)X106332612
42.39/42.59	conflict 49lvl : 141 bt140-497:0(70603)X106332664
43.29/43.49	o -3837939
43.49/43.60	conflict 93lvl : 27 bt26-187:0(12443)X106343312
43.49/43.61	conflict 70lvl : 29 bt26-191:0(18418)X106343408
43.79/43.97	conflict 70lvl : 115 bt89-101:0(70687)X106346634
44.49/44.67	conflict 49lvl : 161 bt161-148:0(75907)X106354661
44.49/44.67	conflict 49lvl : 161 bt160-144:0(75906)X106354713
45.40/45.52	conflict 95lvl : 25 bt25497:0(12419)X106364092
45.40/45.53	conflict 119lvl : 28 bt2871:0(18396)X106364190
45.40/45.53	conflict 117lvl : 28 bt25-56:0(18410)X106364312
46.01/46.15	conflict 49lvl : 145 bt144-18:0(73303)X106370625
46.19/46.35	conflict 49lvl : 141 bt141-607:0(70600)X106373057
46.19/46.35	conflict 49lvl : 141 bt140-601:0(70602)X106373109
46.39/46.52	conflict 72lvl : 140 bt140577:0(70593)X106376211
46.49/46.61	conflict 49lvl : 130 bt130-201:0(70495)X106378291
46.49/46.61	conflict 49lvl : 130 bt129-196:0(70502)X106378343
47.00/47.18	conflict 71lvl : 90 bt90-203:0(60612)X106384812
47.00/47.18	conflict 139lvl : 90 bt89-197:0(60618)X106384886
47.00/47.19	conflict 117lvl : 102 bt102200:0(64184)X106385028
47.49/47.66	conflict 138lvl : 89 bt89430:0(60611)X106390664
47.49/47.66	conflict 116lvl : 102 bt90-202:0(64185)X106390805
47.69/47.88	conflict 138lvl : 89 bt89203:0(60629)X106392761
47.69/47.88	conflict 116lvl : 102 bt89647:0(64200)X106392902
48.00/48.18	conflict 71lvl : 91 bt91-543:0(60632)X106395933
48.00/48.18	conflict 49lvl : 91 bt90-535:0(60640)X106396007
48.00/48.19	conflict 49lvl : 103 bt91-645:0(64218)X106396059
48.09/48.25	conflict 49lvl : 27 bt27-668:0(12429)X106397651
48.09/48.25	conflict 114lvl : 27 bt26-3:0(12445)X106397703
48.09/48.26	conflict 70lvl : 29 bt26-654:0(18415)X106397820
48.29/48.42	conflict 96lvl : 26 bt26601:0(12427)X106399313
48.29/48.42	conflict 49lvl : 29 bt26-664:0(18416)X106399412
48.49/48.68	conflict 49lvl : 115 bt115-101:0(70696)X106402246
48.59/48.76	conflict 49lvl : 91 bt90-20:0(60630)X106403605
48.59/48.77	conflict 49lvl : 103 bt90-20:0(64216)X106403657
48.69/48.84	conflict 93lvl : 27 bt26-367:0(12443)X106405167
48.69/48.85	conflict 70lvl : 29 bt26-368:0(18411)X106405263
48.79/48.93	conflict 93lvl : 26 bt26-357:0(12423)X106406630
48.79/48.93	conflict 113lvl : 26 bt25-445:0(12439)X106406726
48.79/48.93	conflict 49lvl : 28 bt25-342:0(18403)X106406842
49.19/49.33	conflict 49lvl : 141 bt127-607:0(70626)X106411904
49.29/49.43	conflict 49lvl : 145 bt144-357:0(73327)X106413837
49.39/49.50	conflict 95lvl : 90 bt90145:0(60638)X106415586
49.39/49.50	conflict 92lvl : 90 bt89-144:0(60641)X106415684
49.39/49.51	conflict 70lvl : 102 bt102-566:0(64203)X106415779
49.39/49.58	conflict 71lvl : 25 bt25-446:0(12420)X106416883
49.39/49.58	conflict 137lvl : 25 bt24-3:0(12431)X106416957
49.39/49.58	conflict 71lvl : 28 bt28-19:0(18404)X106417097
49.39/49.58	conflict 70lvl : 28 bt27-342:0(18420)X106417171
49.49/49.66	conflict 70lvl : 26 bt26-456:0(12426)X106417788
49.49/49.66	conflict 70lvl : 26 bt25-456:0(12437)X106417861
49.49/49.66	conflict 120lvl : 28 bt28602:0(18367)X106417934
49.49/49.67	conflict 49lvl : 32 bt28-668:0(24044)X106418057
49.69/49.84	conflict 137lvl : 26 bt25-445:0(12437)X106420251
49.69/49.84	conflict 72lvl : 28 bt28421:0(18365)X106420391
49.69/49.84	conflict 70lvl : 28 bt25-420:0(18377)X106420466
49.79/49.95	conflict 49lvl : 130 bt129-435:0(70523)X106421214
50.00/50.13	conflict 139lvl : 79 bt79202:0(56908)X106425598
50.00/50.13	conflict 49lvl : 91 bt79-21:0(60722)X106425740
50.19/50.33	conflict 49lvl : 79 bt79-14:0(56904)X106429005
50.19/50.33	conflict 49lvl : 91 bt80-15:0(60723)X106429057
50.39/50.52	conflict 163lvl : 79 bt79203:0(56901)X106432374
50.39/50.52	conflict 162lvl : 79 bt79203:0(56908)X106432540
50.39/50.52	conflict 133lvl : 79 bt78-567:0(56910)X106432705
50.39/50.53	conflict 114lvl : 90 bt90200:0(60712)X106432841
50.49/50.65	conflict 49lvl : 116 bt116-179:0(64087)X106433616
50.49/50.65	conflict 49lvl : 116 bt115-176:0(64094)X106433668
50.49/50.65	conflict 49lvl : 128 bt116-179:0(67397)X106433720
50.69/50.80	conflict 70lvl : 26 bt26-420:0(12426)X106436871
50.69/50.80	conflict 114lvl : 26 bt25-3:0(12437)X106436944
50.69/50.80	conflict 95lvl : 28 bt289:0(18394)X106437061
50.69/50.81	conflict 71lvl : 32 bt28-669:0(23986)X106437159
50.79/50.98	conflict 71lvl : 25 bt25-341:0(12421)X106440374
50.79/50.98	conflict 71lvl : 28 bt25-564:0(18392)X106440448
51.79/51.96	conflict 70lvl : 27 bt26-369:0(12443)X106456851
51.79/51.97	conflict 70lvl : 29 bt26-373:0(18412)X106456924
51.90/52.05	conflict 70lvl : 26 bt25-4:0(12426)X106458291
51.90/52.06	conflict 70lvl : 32 bt28-659:0(24031)X106458364
52.09/52.23	conflict 96lvl : 25 bt25638:0(12420)X106461159
52.09/52.23	conflict 93lvl : 25 bt24-627:0(12431)X106461258
52.09/52.23	conflict 92lvl : 27 bt27-643:0(18386)X106461354
52.09/52.23	conflict 116lvl : 27 bt24-186:0(18397)X106461449
52.29/52.41	conflict 71lvl : 33 bt26-668:0(29426)X106464152
52.39/52.50	conflict 94lvl : 38 bt38664:0(34916)X106465491
52.79/52.92	conflict 49lvl : 157 bt157-91:0(73533)X106471606
53.00/53.11	 -> -91:X(73533)conflict 49lvl : 117 bt117-331:0(67499)X106474379
53.00/53.11	conflict 49lvl : 117 bt116-326:0(67507)X106474431
55.00/55.16	conflict 72lvl : 117 bt117382:0(67526)X106483701
57.19/57.37	conflict 70lvl : 27 bt26-29:0(12443)X106487211
57.19/57.38	conflict 70lvl : 29 bt26-30:0(18384)X106487284
59.99/60.13	conflict 49lvl : 116 bt115-70:0(67517)X106492483
61.49/61.66	conflict 49lvl : 172 bt156-564:0(78363)X106494460
63.00/63.12	conflict 165lvl : 26 bt26227:0(12423)X106500071
63.00/63.12	conflict 114lvl : 26 bt25-211:0(12437)X106500239
63.00/63.13	conflict 164lvl : 28 bt28226:0(18406)X106500356
63.00/63.13	conflict 94lvl : 28 bt25-212:0(18419)X106500523
66.69/66.85	conflict 49lvl : 104 bt104-643:0(64186)X106505211
66.69/66.85	conflict 49lvl : 104 bt103-66:0(64195)X106505263
76.79/76.96	conflict 49lvl : 59 bt59-40:0(48745)X106518656
76.79/76.97	conflict 49lvl : 69 bt69-66:0(52995)X106518708
88.89/89.03	conflict 49lvl : 59 bt59-326:0(48744)X106526059
88.89/89.04	conflict 49lvl : 69 bt69-40:0(53016)X106526111
88.89/89.04	conflict 49lvl : 80 bt69-71:0(57023)X106526163
109.49/109.66	conflict 70lvl : 123 bt123-280:0(67668)X106539128
109.49/109.67	conflict 70lvl : 138 bt122-46:0(70735)X106539201
154.18/154.38	conflict 94lvl : 28 bt28-612:0(18476)X106567510
154.18/154.38	conflict 70lvl : 30 bt28-638:0(24043)X106567607
166.68/166.80	conflict 49lvl : 170 bt169-607:0(75873)X106571827
192.57/192.74	conflict 49lvl : 103 bt102-305:0(64195)X106580170
263.27/263.45	conflict 71lvl : 93 bt93-439:0(57142)X106592063
263.27/263.46	conflict 71lvl : 125 bt125-361:0(64584)X106592137
287.88/288.08	conflict 72lvl : 61 bt61248:0(48734)X106593993
287.88/288.09	conflict 49lvl : 71 bt71-253:0(52993)X106594068
350.88/351.02	conflict 49lvl : 60 bt60-461:0(48767)X106607082
350.88/351.03	conflict 49lvl : 70 bt70-253:0(53037)X106607134
383.17/383.36	conflict 160lvl : 108 bt106499:0(64564)X106607981
461.17/461.40	conflict 49lvl : 59 bt59-148:0(48818)X106615680
461.27/461.40	conflict 49lvl : 69 bt69-44:0(53068)X106615732
461.27/461.40	conflict 49lvl : 80 bt69-539:0(57063)X106615784
551.77/551.99	conflict 49lvl : 69 bt69-122:0(53033)X106631048
551.77/551.99	conflict 72lvl : 80 bt80456:0(57046)X106631100
551.77/552.00	conflict 49lvl : 92 bt80-149:0(60825)X106631175
721.67/721.81	conflict 49lvl : 61 bt61-487:0(48767)X106637907
721.67/721.81	conflict 72lvl : 71 bt71560:0(53029)X106637959
796.67/796.81	conflict 96lvl : 27 bt27445:0(12430)X106640135
796.67/796.82	conflict 93lvl : 27 bt26-445:0(12443)X106640234
796.67/796.82	conflict 90lvl : 29 bt26-446:0(18410)X106640330
1152.98/1153.17	conflict 49lvl : 103 bt103-40:0(64254)X106657130
1152.98/1153.17	conflict 49lvl : 103 bt102-300:0(64263)X106657182
1977.59/1977.78	conflict 49lvl : 80 bt79-482:0(56909)X106673909
1977.59/1977.79	conflict 49lvl : 91 bt80-489:0(60732)X106673961
2450.50/2450.61	conflict 49lvl : 103 bt103-14:0(64237)X106681243
2450.50/2450.61	conflict 49lvl : 103 bt102-222:0(64246)X106681295
2519.90/2520.00	
2519.90/2520.00	c *** INTERRUPTED ***
2519.90/2520.00	c restarts              : 577         
2519.90/2520.00	c conflicts             : 1693877      (672 /sec)
2519.90/2520.00	c decisions             : 16911399     (6713 /sec)
2519.90/2520.00	c propagations          : 2836608297  (1125977 /sec)
2519.90/2520.00	c root propagations     : 3575        
2519.90/2520.00	c filter calls          : 260488886      (103400 /sec)
2519.90/2520.00	c useless filter calls  : 209917342      (80 %)
2519.90/2520.00	c
2519.90/2520.00	c clauses               : 26418409
2519.90/2520.00	c SAT propagations      : 612
2519.90/2520.00	c SAT conflicts         : 0 (378 learnts)
2519.90/2520.00	c Memory used           : 1368.08 MB
2519.90/2520.00	c CPU time              : 2519.24 s
2519.90/2520.00	
2519.90/2520.00	c nb Solutions = 12
2519.90/2520.00	s SATISFIABLE
2519.90/2520.00	c Best value found: -3837939
2519.90/2520.00	
2519.90/2520.00	
2519.90/2520.00	v <instantiation type='solution' cost='-3837939'>
2519.90/2520.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][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] 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][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] 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][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] 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][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] 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][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] 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][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] 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][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] 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][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] 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][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] 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][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] 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][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] 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][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] 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[20][0] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][1] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[21][0] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][1] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][2] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[22][0] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][1] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][2] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[23][0] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][1] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][2] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[24][0] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][1] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][2] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[25][0] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][1] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][2] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][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][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] 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][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] 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][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] 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][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] 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][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] 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][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] 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][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] 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][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] 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[20] x[21] x[22] x[23] x[24] x[25] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] </list>
2519.90/2520.00	v <values>* 30 8 506 40 3 5 0 296 3 3 0 4 8 8 1 0 0 2 5 11 6 7 973 16 1356 * * 28 556 16 15 54 12 1268 8 1 * 9 24 21 19 0 1 * * * * * * * * * * * 313 2 1 0 0 140 256 0 * 0 3 0 0 0 0 * * * * * * * * * * * * 5 270 8 856 49 566 242 * 291 454 955 528 4 0 * * * * * * * * * * * * * 0 0 1 4 0 7 * 0 0 1 1 0 0 * * * * * * * * * * * * * * 79 24 228 191 0 * 7 10 2 5 0 0 * * * * * * * * * * * * * * * 8 286 15 0 * 4 3 0 0 0 0 * * * * * * * * * * * * * * * * 546 23 1 * 11 16 93 17 0 0 * * * * * * * * * * * * * * * * * 375 462 * 46 88 75 896 2 10 * * * * * * * * * * * * * * * * * * 5 * 106 28 43 177 0 0 * * * * * * * * * * * * * * * * * * * * 1 1 3 0 0 1 * * * * * * * * * 0 0 574 0 5 0 0 477 13 0 * 0 1 0 7 0 0 0 17 108 11 0 390 0 959 * * * * * * * * * * * * * 4 5 53 0 0 * * * * * * * * * * * * * * * * * * * * * * 3 1 0 0 * * * * * * * * * * * * * * * * * * * * * * * 55 0 0 * * * * * * * * * * * * * * * * * * * * * * * * 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 5 1 1 0 21 1 7 9 * 0 0 39 1 0 0 * 4 0 16 17 6 34 9 * 60 48 811 52 22 160 34 1256 46 12 * 6 88 12 139 0 0 * * 280 5 622 770 595 3844 * 224 83 0 1 136 8 80 977 228 64 * 12 11 14 69 11 0 * * * 489 494 29 388 81 * 2401 116 533 14 318 107 64 1212 187 146 * 47 131 20 1949 2 8 * * * * 31 768 1009 1012 * 1434 190 1095 9 476 165 234 1035 427 39 * 13 187 86 301 5 1 * * * * * 1140 869 2129 * 516 57 1 6 507 15 576 94 1531 495 * 294 120 247 610 3 0 * * * * * * 500 5 * 70 70 232 93 90 51 89 301 336 1005 * 20 61 339 26 0 2 * * * * * * * 943 * 1114 331 46 9 777 222 688 1061 2717 415 * 515 660 284 926 56 11 * * * * * * * * 22 3 1 14 9 10 7 12 8 11 2 25 5 21 15 6 23 16 24 19 20 13 17 0 18 4 </values>
2519.90/2520.00	v </instantiation>
2519.90/2520.00

Verifier Data 

OK	3837939

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265788-1502571071/watcher-4265788-1502571071 -o /tmp/evaluation-result-4265788-1502571071/solver-4265788-1502571071 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502565138-11650 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265788-1502571071.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=13969, runsolver pid=13966

[startup+0.100157 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 13976
/proc/meminfo: memFree=31481648/32770624 swapFree=67108860/67108860
[pid=13969] ppid=13966 vsize=36364 memory=12488 CPUtime=0.02 cores=1,3,5,7
/proc/13969/stat : 13969 (cosoco) R 13966 13969 11586 0 -1 4202496 3309 0 0 0 2 0 0 0 20 0 1 0 45447792 37236736 3122 18446744073709551615 4194304 5972588 140725913856400 140725913853048 140664131906533 0 0 1 0 0 0 0 17 5 0 0 7 0 0 8070896 8075904 31731712 140725913858500 140725913858600 140725913858600 140725913862094 0
/proc/13969/statm: 9091 3122 711 435 0 2454 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 36364 KiB
Current children cumulated memory: 12488 KiB

[startup+0.209269 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 13976
/proc/meminfo: memFree=31422552/32770624 swapFree=67108860/67108860
[pid=13969] ppid=13966 vsize=96520 memory=71564 CPUtime=0.12 cores=1,3,5,7
/proc/13969/stat : 13969 (cosoco) R 13966 13969 11586 0 -1 4202496 15523 0 0 0 10 2 0 0 20 0 1 0 45447792 98836480 17891 18446744073709551615 4194304 5972588 140725913856400 140725913853048 5277237 0 0 1 0 0 0 0 17 5 0 0 7 0 0 8070896 8075904 31731712 140725913858500 140725913858600 140725913858600 140725913862094 0
/proc/13969/statm: 24130 17891 766 435 0 17493 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 96520 KiB
Current children cumulated memory: 71564 KiB

[startup+0.309097 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 13976
/proc/meminfo: memFree=31363200/32770624 swapFree=67108860/67108860
[pid=13969] ppid=13966 vsize=168048 memory=132412 CPUtime=0.23 cores=1,3,5,7
/proc/13969/stat : 13969 (cosoco) R 13966 13969 11586 0 -1 4202496 25629 0 0 0 19 4 0 0 20 0 1 0 45447792 172081152 33103 18446744073709551615 4194304 5972588 140725913856400 140725913853048 5280489 0 0 1 0 0 0 0 17 5 0 0 7 0 0 8070896 8075904 31731712 140725913858500 140725913858600 140725913858600 140725913862094 0
/proc/13969/statm: 42012 33103 766 435 0 35375 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 168048 KiB
Current children cumulated memory: 132412 KiB

[startup+0.700329 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 13976
/proc/meminfo: memFree=31240688/32770624 swapFree=67108860/67108860
[pid=13969] ppid=13966 vsize=407944 memory=363764 CPUtime=0.61 cores=1,3,5,7
/proc/13969/stat : 13969 (cosoco) R 13966 13969 11586 0 -1 4202496 60497 0 0 0 51 10 0 0 20 0 1 0 45447792 417734656 90941 18446744073709551615 4194304 5972588 140725913856400 140725913853048 140664131902270 0 0 1 0 0 0 0 17 5 0 0 7 0 0 8070896 8075904 31731712 140725913858500 140725913858600 140725913858600 140725913862094 0
/proc/13969/statm: 101986 90941 766 435 0 95349 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 407944 KiB
Current children cumulated memory: 363764 KiB

[startup+1.50033 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 13976
/proc/meminfo: memFree=30939448/32770624 swapFree=67108860/67108860
[pid=13969] ppid=13966 vsize=945484 memory=853032 CPUtime=1.42 cores=1,3,5,7
/proc/13969/stat : 13969 (cosoco) R 13966 13969 11586 0 -1 4202496 130166 0 0 0 120 22 0 0 20 0 1 0 45447792 968175616 213258 18446744073709551615 4194304 5972588 140725913856400 140725913853192 140664131906533 0 0 1 0 0 0 0 17 5 0 0 7 0 0 8070896 8075904 31731712 140725913858500 140725913858600 140725913858600 140725913862094 0
/proc/13969/statm: 236371 213258 766 435 0 229734 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 945484 KiB
Current children cumulated memory: 853032 KiB

[startup+3.10914 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 13976
/proc/meminfo: memFree=30296964/32770624 swapFree=67108860/67108860
[pid=13969] ppid=13966 vsize=1398636 memory=1188376 CPUtime=3.02 cores=1,3,5,7
/proc/13969/stat : 13969 (cosoco) R 13966 13969 11586 0 -1 4202496 183750 0 0 0 271 31 0 0 20 0 1 0 45447792 1432203264 297094 18446744073709551615 4194304 5972588 140725913856400 140725913853160 4935506 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 31731712 140725913858500 140725913858600 140725913858600 140725913862094 0
/proc/13969/statm: 349659 297094 790 435 0 343022 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 1398636 KiB
Current children cumulated memory: 1188376 KiB

[startup+6.30032 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 13976
/proc/meminfo: memFree=30296428/32770624 swapFree=67108860/67108860
[pid=13969] ppid=13966 vsize=1399428 memory=1189140 CPUtime=6.21 cores=1,3,5,7
/proc/13969/stat : 13969 (cosoco) R 13966 13969 11586 0 -1 4202496 240908 0 0 0 587 34 0 0 20 0 1 0 45447792 1433014272 297285 18446744073709551615 4194304 5972588 140725913856400 140725913853560 5244099 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 31731712 140725913858500 140725913858600 140725913858600 140725913862094 0
/proc/13969/statm: 349857 297285 790 435 0 343220 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 1399428 KiB
Current children cumulated memory: 1189140 KiB

[startup+12.7003 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 13976
/proc/meminfo: memFree=30295236/32770624 swapFree=67108860/67108860
[pid=13969] ppid=13966 vsize=1399820 memory=1189636 CPUtime=12.6 cores=1,3,5,7
/proc/13969/stat : 13969 (cosoco) R 13966 13969 11586 0 -1 4202496 313924 0 0 0 1223 37 0 0 20 0 1 0 45447792 1433415680 297409 18446744073709551615 4194304 5972588 140725913856400 140725913853624 5099664 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 31731712 140725913858500 140725913858600 140725913858600 140725913862094 0
/proc/13969/statm: 349955 297409 791 435 0 343318 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1399820 KiB
Current children cumulated memory: 1189636 KiB

[startup+25.5004 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 13976
/proc/meminfo: memFree=30294964/32770624 swapFree=67108860/67108860
[pid=13969] ppid=13966 vsize=1400076 memory=1189920 CPUtime=25.4 cores=1,3,5,7
/proc/13969/stat : 13969 (cosoco) R 13966 13969 11586 0 -1 4202496 396368 0 0 0 2499 41 0 0 20 0 1 0 45447792 1433677824 297480 18446744073709551615 4194304 5972588 140725913856400 140725913853624 4936000 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 31731712 140725913858500 140725913858600 140725913858600 140725913862094 0
/proc/13969/statm: 350019 297480 791 435 0 343382 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1400076 KiB
Current children cumulated memory: 1189920 KiB

[startup+51.1092 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 13976
/proc/meminfo: memFree=30292356/32770624 swapFree=67108860/67108860
[pid=13969] ppid=13966 vsize=1400500 memory=1192256 CPUtime=51 cores=1,3,5,7
/proc/13969/stat : 13969 (cosoco) R 13966 13969 11586 0 -1 4202496 476013 0 0 0 5055 45 0 0 20 0 1 0 45447792 1434112000 298064 18446744073709551615 4194304 5972588 140725913856400 140725913853624 5139327 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 31731712 140725913858500 140725913858600 140725913858600 140725913862094 0
/proc/13969/statm: 350125 298064 791 435 0 343488 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 1400500 KiB
Current children cumulated memory: 1192256 KiB

[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 13978
/proc/meminfo: memFree=30291788/32770624 swapFree=67108860/67108860
[pid=13969] ppid=13966 vsize=1400500 memory=1192368 CPUtime=102.18 cores=1,3,5,7
/proc/13969/stat : 13969 (cosoco) R 13966 13969 11586 0 -1 4202496 565805 0 0 0 10168 50 0 0 20 0 1 0 45447792 1434112000 298092 18446744073709551615 4194304 5972588 140725913856400 140725913853624 5244099 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 31731712 140725913858500 140725913858600 140725913858600 140725913862094 0
/proc/13969/statm: 350125 298092 791 435 0 343488 0
Current children cumulated CPU time: 102.18 s
Current children cumulated vsize: 1400500 KiB
Current children cumulated memory: 1192368 KiB

[startup+162.3 s]
/proc/loadavg: 1.96 2.00 2.04 3/181 13980
/proc/meminfo: memFree=30291252/32770624 swapFree=67108860/67108860
[pid=13969] ppid=13966 vsize=1400628 memory=1192416 CPUtime=162.18 cores=1,3,5,7
/proc/13969/stat : 13969 (cosoco) R 13966 13969 11586 0 -1 4202496 614248 0 0 0 16165 53 0 0 20 0 1 0 45447792 1434243072 298104 18446744073709551615 4194304 5972588 140725913856400 140725913853624 5046712 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 31731712 140725913858500 140725913858600 140725913858600 140725913862094 0
/proc/13969/statm: 350157 298104 791 435 0 343520 0
Current children cumulated CPU time: 162.18 s
Current children cumulated vsize: 1400628 KiB
Current children cumulated memory: 1192416 KiB

[startup+222.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/185 13997
/proc/meminfo: memFree=30286688/32770624 swapFree=67108860/67108860
[pid=13969] ppid=13966 vsize=1400628 memory=1192436 CPUtime=222.17 cores=1,3,5,7
/proc/13969/stat : 13969 (cosoco) R 13966 13969 11586 0 -1 4202496 655483 0 0 0 22162 55 0 0 20 0 1 0 45447792 1434243072 298109 18446744073709551615 4194304 5972588 140725913856400 140725913853624 5139327 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 31731712 140725913858500 140725913858600 140725913858600 140725913862094 0
/proc/13969/statm: 350157 298109 791 435 0 343520 0
Current children cumulated CPU time: 222.17 s
Current children cumulated vsize: 1400628 KiB
Current children cumulated memory: 1192436 KiB

[startup+282.3 s]
/proc/loadavg: 2.70 2.19 2.10 3/185 13999
/proc/meminfo: memFree=30286312/32770624 swapFree=67108860/67108860
[pid=13969] ppid=13966 vsize=1400628 memory=1192452 CPUtime=282.16 cores=1,3,5,7
/proc/13969/stat : 13969 (cosoco) R 13966 13969 11586 0 -1 4202496 694572 0 0 0 28159 57 0 0 20 0 1 0 45447792 1434243072 298113 18446744073709551615 4194304 5972588 140725913856400 140725913853624 5099674 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 31731712 140725913858500 140725913858600 140725913858600 140725913862094 0
/proc/13969/statm: 350157 298113 791 435 0 343520 0
Current children cumulated CPU time: 282.16 s
Current children cumulated vsize: 1400628 KiB
Current children cumulated memory: 1192452 KiB

[startup+342.3 s]
/proc/loadavg: 2.45 2.23 2.12 3/182 14001
/proc/meminfo: memFree=30289784/32770624 swapFree=67108860/67108860
[pid=13969] ppid=13966 vsize=1400628 memory=1192476 CPUtime=342.17 cores=1,3,5,7
/proc/13969/stat : 13969 (cosoco) R 13966 13969 11586 0 -1 4202496 743169 0 0 0 34158 59 0 0 20 0 1 0 45447792 1434243072 298119 18446744073709551615 4194304 5972588 140725913856400 140725913853624 5139327 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 31731712 140725913858500 140725913858600 140725913858600 140725913862094 0
/proc/13969/statm: 350157 298119 791 435 0 343520 0
Current children cumulated CPU time: 342.17 s
Current children cumulated vsize: 1400628 KiB
Current children cumulated memory: 1192476 KiB

[startup+402.3 s]
/proc/loadavg: 2.16 2.18 2.12 3/182 14003
/proc/meminfo: memFree=30289936/32770624 swapFree=67108860/67108860
[pid=13969] ppid=13966 vsize=1400628 memory=1192484 CPUtime=402.17 cores=1,3,5,7
/proc/13969/stat : 13969 (cosoco) R 13966 13969 11586 0 -1 4202496 778236 0 0 0 40156 61 0 0 20 0 1 0 45447792 1434243072 298121 18446744073709551615 4194304 5972588 140725913856400 140725913853624 4931747 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 31731712 140725913858500 140725913858600 140725913858600 140725913862094 0
/proc/13969/statm: 350157 298121 791 435 0 343520 0
Current children cumulated CPU time: 402.17 s
Current children cumulated vsize: 1400628 KiB
Current children cumulated memory: 1192484 KiB

[startup+462.3 s]
/proc/loadavg: 2.06 2.15 2.11 3/182 14005
/proc/meminfo: memFree=30290328/32770624 swapFree=67108860/67108860
[pid=13969] ppid=13966 vsize=1400628 memory=1192496 CPUtime=462.17 cores=1,3,5,7
/proc/13969/stat : 13969 (cosoco) R 13966 13969 11586 0 -1 4202496 812267 0 0 0 46154 63 0 0 20 0 1 0 45447792 1434243072 298124 18446744073709551615 4194304 5972588 140725913856400 140725913853624 5046712 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 31731712 140725913858500 140725913858600 140725913858600 140725913862094 0
/proc/13969/statm: 350157 298124 791 435 0 343520 0
Current children cumulated CPU time: 462.17 s
Current children cumulated vsize: 1400628 KiB
Current children cumulated memory: 1192496 KiB


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

/proc/13969/statm: 350190 298757 791 435 0 343553 0
Current children cumulated CPU time: 1722.19 s
Current children cumulated vsize: 1400760 KiB
Current children cumulated memory: 1195028 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14105
/proc/meminfo: memFree=30287584/32770624 swapFree=67108860/67108860
[pid=13969] ppid=13966 vsize=1400760 memory=1195036 CPUtime=1782.19 cores=1,3,5,7
/proc/13969/stat : 13969 (cosoco) R 13966 13969 11586 0 -1 4202496 864230 0 0 0 178153 66 0 0 20 0 1 0 45447792 1434378240 298759 18446744073709551615 4194304 5972588 140725913856400 140725913853624 5139327 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 31731712 140725913858500 140725913858600 140725913858600 140725913862094 0
/proc/13969/statm: 350190 298759 791 435 0 343553 0
Current children cumulated CPU time: 1782.19 s
Current children cumulated vsize: 1400760 KiB
Current children cumulated memory: 1195036 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14107
/proc/meminfo: memFree=30287460/32770624 swapFree=67108860/67108860
[pid=13969] ppid=13966 vsize=1400760 memory=1195036 CPUtime=1842.19 cores=1,3,5,7
/proc/13969/stat : 13969 (cosoco) R 13966 13969 11586 0 -1 4202496 865684 0 0 0 184152 67 0 0 20 0 1 0 45447792 1434378240 298759 18446744073709551615 4194304 5972588 140725913856400 140725913853624 5251118 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 31731712 140725913858500 140725913858600 140725913858600 140725913862094 0
/proc/13969/statm: 350190 298759 791 435 0 343553 0
Current children cumulated CPU time: 1842.19 s
Current children cumulated vsize: 1400760 KiB
Current children cumulated memory: 1195036 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14109
/proc/meminfo: memFree=30287456/32770624 swapFree=67108860/67108860
[pid=13969] ppid=13966 vsize=1400760 memory=1195036 CPUtime=1902.19 cores=1,3,5,7
/proc/13969/stat : 13969 (cosoco) R 13966 13969 11586 0 -1 4202496 867125 0 0 0 190152 67 0 0 20 0 1 0 45447792 1434378240 298759 18446744073709551615 4194304 5972588 140725913856400 140725913853624 5099674 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 31731712 140725913858500 140725913858600 140725913858600 140725913862094 0
/proc/13969/statm: 350190 298759 791 435 0 343553 0
Current children cumulated CPU time: 1902.19 s
Current children cumulated vsize: 1400760 KiB
Current children cumulated memory: 1195036 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14111
/proc/meminfo: memFree=30287472/32770624 swapFree=67108860/67108860
[pid=13969] ppid=13966 vsize=1400760 memory=1195036 CPUtime=1962.19 cores=1,3,5,7
/proc/13969/stat : 13969 (cosoco) R 13966 13969 11586 0 -1 4202496 868689 0 0 0 196152 67 0 0 20 0 1 0 45447792 1434378240 298759 18446744073709551615 4194304 5972588 140725913856400 140725913853624 5048500 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 31731712 140725913858500 140725913858600 140725913858600 140725913862094 0
/proc/13969/statm: 350190 298759 791 435 0 343553 0
Current children cumulated CPU time: 1962.19 s
Current children cumulated vsize: 1400760 KiB
Current children cumulated memory: 1195036 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 14128
/proc/meminfo: memFree=30283260/32770624 swapFree=67108860/67108860
[pid=13969] ppid=13966 vsize=1400760 memory=1195040 CPUtime=2022.19 cores=1,3,5,7
/proc/13969/stat : 13969 (cosoco) R 13966 13969 11586 0 -1 4202496 870574 0 0 0 202152 67 0 0 20 0 1 0 45447792 1434378240 298760 18446744073709551615 4194304 5972588 140725913856400 140725913853624 5139327 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 31731712 140725913858500 140725913858600 140725913858600 140725913862094 0
/proc/13969/statm: 350190 298760 791 435 0 343553 0
Current children cumulated CPU time: 2022.19 s
Current children cumulated vsize: 1400760 KiB
Current children cumulated memory: 1195040 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 14130
/proc/meminfo: memFree=30282756/32770624 swapFree=67108860/67108860
[pid=13969] ppid=13966 vsize=1400760 memory=1195044 CPUtime=2082.19 cores=1,3,5,7
/proc/13969/stat : 13969 (cosoco) R 13966 13969 11586 0 -1 4202496 871986 0 0 0 208152 67 0 0 20 0 1 0 45447792 1434378240 298761 18446744073709551615 4194304 5972588 140725913856400 140725913853624 5048024 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 31731712 140725913858500 140725913858600 140725913858600 140725913862094 0
/proc/13969/statm: 350190 298761 791 435 0 343553 0
Current children cumulated CPU time: 2082.19 s
Current children cumulated vsize: 1400760 KiB
Current children cumulated memory: 1195044 KiB

[startup+2142.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 14132
/proc/meminfo: memFree=30287112/32770624 swapFree=67108860/67108860
[pid=13969] ppid=13966 vsize=1400760 memory=1195052 CPUtime=2142.19 cores=1,3,5,7
/proc/13969/stat : 13969 (cosoco) R 13966 13969 11586 0 -1 4202496 873449 0 0 0 214152 67 0 0 20 0 1 0 45447792 1434378240 298763 18446744073709551615 4194304 5972588 140725913856400 140725913853624 5048042 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 31731712 140725913858500 140725913858600 140725913858600 140725913862094 0
/proc/13969/statm: 350190 298763 791 435 0 343553 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 1400760 KiB
Current children cumulated memory: 1195052 KiB

[startup+2202.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 14134
/proc/meminfo: memFree=30287228/32770624 swapFree=67108860/67108860
[pid=13969] ppid=13966 vsize=1400760 memory=1195052 CPUtime=2202.19 cores=1,3,5,7
/proc/13969/stat : 13969 (cosoco) R 13966 13969 11586 0 -1 4202496 874932 0 0 0 220152 67 0 0 20 0 1 0 45447792 1434378240 298763 18446744073709551615 4194304 5972588 140725913856400 140725913853624 5099664 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 31731712 140725913858500 140725913858600 140725913858600 140725913862094 0
/proc/13969/statm: 350190 298763 791 435 0 343553 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 1400760 KiB
Current children cumulated memory: 1195052 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 14136
/proc/meminfo: memFree=30287468/32770624 swapFree=67108860/67108860
[pid=13969] ppid=13966 vsize=1400760 memory=1195060 CPUtime=2262.19 cores=1,3,5,7
/proc/13969/stat : 13969 (cosoco) R 13966 13969 11586 0 -1 4202496 876808 0 0 0 226152 67 0 0 20 0 1 0 45447792 1434378240 298765 18446744073709551615 4194304 5972588 140725913856400 140725913853624 5139312 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 31731712 140725913858500 140725913858600 140725913858600 140725913862094 0
/proc/13969/statm: 350190 298765 791 435 0 343553 0
Current children cumulated CPU time: 2262.19 s
Current children cumulated vsize: 1400760 KiB
Current children cumulated memory: 1195060 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14138
/proc/meminfo: memFree=30287336/32770624 swapFree=67108860/67108860
[pid=13969] ppid=13966 vsize=1400760 memory=1195060 CPUtime=2322.19 cores=1,3,5,7
/proc/13969/stat : 13969 (cosoco) R 13966 13969 11586 0 -1 4202496 878057 0 0 0 232152 67 0 0 20 0 1 0 45447792 1434378240 298765 18446744073709551615 4194304 5972588 140725913856400 140725913853624 5139327 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 31731712 140725913858500 140725913858600 140725913858600 140725913862094 0
/proc/13969/statm: 350190 298765 791 435 0 343553 0
Current children cumulated CPU time: 2322.19 s
Current children cumulated vsize: 1400760 KiB
Current children cumulated memory: 1195060 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14140
/proc/meminfo: memFree=30287336/32770624 swapFree=67108860/67108860
[pid=13969] ppid=13966 vsize=1400760 memory=1195060 CPUtime=2382.19 cores=1,3,5,7
/proc/13969/stat : 13969 (cosoco) R 13966 13969 11586 0 -1 4202496 879480 0 0 0 238152 67 0 0 20 0 1 0 45447792 1434378240 298765 18446744073709551615 4194304 5972588 140725913856400 140725913853624 4935401 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 31731712 140725913858500 140725913858600 140725913858600 140725913862094 0
/proc/13969/statm: 350190 298765 791 435 0 343553 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 1400760 KiB
Current children cumulated memory: 1195060 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14142
/proc/meminfo: memFree=30287628/32770624 swapFree=67108860/67108860
[pid=13969] ppid=13966 vsize=1400760 memory=1195060 CPUtime=2442.2 cores=1,3,5,7
/proc/13969/stat : 13969 (cosoco) R 13966 13969 11586 0 -1 4202496 880894 0 0 0 244153 67 0 0 20 0 1 0 45447792 1434378240 298765 18446744073709551615 4194304 5972588 140725913856400 140725913853624 5139327 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 31731712 140725913858500 140725913858600 140725913858600 140725913862094 0
/proc/13969/statm: 350190 298765 791 435 0 343553 0
Current children cumulated CPU time: 2442.2 s
Current children cumulated vsize: 1400760 KiB
Current children cumulated memory: 1195060 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14144
/proc/meminfo: memFree=30287752/32770624 swapFree=67108860/67108860
[pid=13969] ppid=13966 vsize=1400912 memory=1195116 CPUtime=2502.2 cores=1,3,5,7
/proc/13969/stat : 13969 (cosoco) R 13966 13969 11586 0 -1 4202496 882862 0 0 0 250153 67 0 0 20 0 1 0 45447792 1434533888 298779 18446744073709551615 4194304 5972588 140725913856400 140725913853080 5099664 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 31731712 140725913858500 140725913858600 140725913858600 140725913862094 0
/proc/13969/statm: 350228 298779 791 435 0 343591 0
Current children cumulated CPU time: 2502.2 s
Current children cumulated vsize: 1400912 KiB
Current children cumulated memory: 1195116 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/180 14144
/proc/meminfo: memFree=30288768/32770624 swapFree=67108860/67108860
[pid=13969] ppid=13966 vsize=1400912 memory=1195116 CPUtime=2519.9 cores=1,3,5,7
/proc/13969/stat : 13969 (cosoco) R 13966 13969 11586 0 -1 4202496 883050 0 0 0 251923 67 0 0 20 0 1 0 45447792 1434533888 298779 18446744073709551615 4194304 5972588 140725913856400 140725913853080 5139294 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 31731712 140725913858500 140725913858600 140725913858600 140725913862094 0
/proc/13969/statm: 350228 298779 791 435 0 343591 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 1400912 KiB
Current children cumulated memory: 1195116 KiB

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

[startup+2520.02 s]
# the end of solver process 13969 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.24 s, system=0.68301 s

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

Child status: 1
Real time (s): 2520.02
CPU time (s): 2519.92
CPU user time (s): 2519.24
CPU system time (s): 0.68301
CPU usage (%): 99.9964
Max. virtual memory (cumulated for all children) (KiB): 1400912
Max. memory (cumulated for all children) (KiB): 1195116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.24
system time used= 0.68301
maximum resident set size= 1195200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 883100
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= 99
involuntary context switches= 784


# summary of solver processes directly reported to runsolver:
#   pid: 13969
#   total CPU time (s): 2519.92
#   total CPU user time (s): 2519.24
#   total CPU system time (s): 0.68301

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.99827 second user time and 17.889 second system time

The end

Launcher Data 

Begin job on node124 at 2017-08-12 22:36:55
IDJOB=4265788
IDBENCH=123075
IDSOLVER=2655
FILE ID=node124/4265788-1502571071
RUNJOBID= node124-1502565138-11650
PBS_JOBID= 
Free space on /tmp= 62032 MiB

SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-bur26g.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265788-1502571071/watcher-4265788-1502571071 -o /tmp/evaluation-result-4265788-1502571071/solver-4265788-1502571071 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502565138-11650 --watchdog 2580  cosoco -lc -model -restarts -sat HOME/instance-4265788-1502571071.xml

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

MD5SUM BENCH= e15ea9448d462545754e2532d86d3e94
RANDOM SEED=1201810319

node124.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.51
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.51
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.51
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.51
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:        31493520 kB
MemAvailable:   32008372 kB
Buffers:          243020 kB
Cached:           564652 kB
SwapCached:            0 kB
Active:           353512 kB
Inactive:         505216 kB
Active(anon):      51384 kB
Inactive(anon):    24960 kB
Active(file):     302128 kB
Inactive(file):   480256 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              4676 kB
Writeback:             4 kB
AnonPages:         51028 kB
Mapped:            40768 kB
Shmem:             25320 kB
Slab:             121988 kB
SReclaimable:      96604 kB
SUnreclaim:        25384 kB
KernelStack:        3152 kB
PageTables:         4624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     298504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62028 MiB
End job on node124 at 2017-08-12 23:18:55