Trace number 4266787

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)3705 251.88901 252.00999

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-nug30.xml
MD5SUM7992d423b18f632a54772c1bcf249848
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark3175
Best CPU time to get the best result obtained on this benchmark251.867
Satisfiable
(Un)Satisfiability was proved
Number of variables930
Number of constraints436
Number of domains2
Minimum domain size8
Maximum domain size30
Distribution of domain sizes[{"size":8,"count":435},{"size":30,"count":30}]
Minimum variable degree0
Maximum variable degree30
Distribution of variable degrees[{"degree":0,"count":465},{"degree":2,"count":435},{"degree":30,"count":30}]
Minimum constraint arity3
Maximum constraint arity30
Distribution of constraint arities[{"arity":3,"count":435},{"arity":30,"count":1}]
Number of extensional constraints435
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":435},{"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.09	c SAT : Variables: 8100 -- Clauses: 39180
0.00/0.09	c best=?? lower=-15950 upper=0 
0.04/0.20	c
0.04/0.20	c This is cosoco 1.12 --  
0.04/0.20	c
0.04/0.20	c command line: cosoco -lc -model -restarts -sat HOME/instance-4266787-1502645293.xml 
0.04/0.20	c enable optimization
0.04/0.20	c ========================================[ Problem Statistics ]===========================================
0.04/0.20	c |                                                                                                       
0.04/0.20	c |  Parse time        :         0.03 s 
0.04/0.20	c |
0.04/0.20	c |               Variables: 930
0.04/0.20	c |            Domain Sizes: 8..30
0.04/0.20	c |
0.04/0.20	c |             Constraints: 437
0.04/0.20	c |                   Arity: 3..435  -- Ternary: 435
0.04/0.20	c | 
0.04/0.20	c |                   Types: 
0.04/0.20	c |                          All Different: 1
0.04/0.20	c |                          Extension: 435  (nb tuples: 870..870) -- (shared: 434)
0.04/0.20	c |                          Sum: 1
0.04/0.20	c |                          
0.04/0.20	c =========================================================================================================
0.04/0.20	o -3954
0.04/0.20	c    1 calls to solver: best=-3954 lower=-3953 upper=0 
0.15/0.27	o -3948
0.25/0.37	conflict 57lvl : 28 bt28-148:0(644)X169418
0.83/0.94	o -3904
0.83/0.94	c    3 calls to solver: best=-3904 lower=-3903 upper=0 
4.13/4.28	o -3824
7.23/7.36	o -3810
7.23/7.36	c    5 calls to solver: best=-3810 lower=-3809 upper=0 
7.73/7.83	o -3799
19.93/20.06	o -3775
19.93/20.06	c    7 calls to solver: best=-3775 lower=-3774 upper=0 
22.72/22.81	o -3726
32.12/32.24	conflict 57lvl : 435 bt435-38:0(549)X1090725
32.22/32.37	conflict 57lvl : 434 bt434-578:0(548)X1090785
33.02/33.11	o -3709
33.02/33.11	c    9 calls to solver: best=-3709 lower=-3708 upper=0 
33.02/33.17	conflict 57lvl : 435 bt435-698:0(549)X1097419
35.71/35.80	conflict 57lvl : 44 bt43-768:0(871)X1108331
35.71/35.80	conflict 57lvl : 44 bt43-858:0(875)X1108391
37.21/37.35	conflict 57lvl : 435 bt435-518:0(549)X1109325
37.31/37.48	conflict 57lvl : 435 bt435-128:0(549)X1109385
37.71/37.89	conflict 57lvl : 435 bt435-38:0(549)X1109445
41.82/41.93	conflict 57lvl : 106 bt106-687:0(1457)X1123628
41.82/41.93	conflict 57lvl : 107 bt107-446:0(1582)X1123688
41.82/41.93	 -> -446:X(1582)conflict 83lvl : 119 bt119-687:0(1579)X1123748
44.62/44.72	conflict 57lvl : 435 bt435-608:0(549)X1126800
44.62/44.78	conflict 57lvl : 434 bt434-611:0(613)X1126860
44.72/44.80	conflict 84lvl : 433 bt4339:0(601)X1126920
44.72/44.82	conflict 56lvl : 432 bt432-549:0(1039)X1127007
44.82/44.99	conflict 57lvl : 435 bt435-728:0(551)X1127066
44.93/45.07	conflict 57lvl : 434 bt434-731:0(617)X1127126
44.93/45.09	conflict 84lvl : 433 bt4339:0(607)X1127186
45.03/45.16	conflict 56lvl : 429 bt429-219:0(1036)X1127273
45.12/45.22	conflict 57lvl : 434 bt434-550:0(920)X1127332
45.12/45.23	conflict 84lvl : 433 bt433-260:0(609)X1127392
45.12/45.25	conflict 57lvl : 432 bt432-251:0(583)X1127479
45.22/45.31	conflict 57lvl : 427 bt427-71:0(569)X1127539
45.32/45.48	conflict 57lvl : 415 bt415-69:0(1022)X1127599
45.42/45.53	conflict 57lvl : 435 bt435-8:0(555)X1127659
45.52/45.66	conflict 57lvl : 435 bt435-488:0(551)X1127719
45.72/45.88	conflict 57lvl : 433 bt433-11:0(622)X1127779
45.72/45.89	conflict 84lvl : 432 bt43239:0(609)X1127839
48.03/48.13	conflict 57lvl : 435 bt435-188:0(551)X1133381
48.12/48.29	conflict 57lvl : 433 bt433-220:0(920)X1133441
48.22/48.30	conflict 84lvl : 432 bt432-320:0(594)X1133501
48.22/48.32	conflict 57lvl : 431 bt431-311:0(582)X1133588
48.32/48.48	conflict 57lvl : 419 bt419-521:0(561)X1133648
48.52/48.68	conflict 57lvl : 405 bt405-69:0(1012)X1133708
48.62/48.77	conflict 57lvl : 432 bt432-604:0(1029)X1133768
48.62/48.78	conflict 57lvl : 432 bt432-616:0(938)X1133828
48.72/48.80	conflict 112lvl : 431 bt431611:0(744)X1133888
48.72/48.86	conflict 57lvl : 435 bt435-458:0(553)X1134003
49.32/49.44	conflict 57lvl : 433 bt433-620:0(630)X1134063
49.32/49.46	conflict 138lvl : 432 bt4329:0(611)X1134123
49.32/49.49	conflict 112lvl : 430 bt430722:0(757)X1134264
49.42/49.58	conflict 57lvl : 434 bt434-189:0(925)X1134379
49.42/49.59	conflict 84lvl : 433 bt433-290:0(594)X1134439
49.52/49.61	conflict 113lvl : 432 bt43211:0(586)X1134526
49.52/49.66	conflict 57lvl : 428 bt428-671:0(572)X1134642
49.52/49.67	conflict 57lvl : 428 bt428-664:0(1016)X1134702
67.11/67.29	conflict 57lvl : 435 bt435-11:0(592)X1156203
67.21/67.39	conflict 57lvl : 427 bt427-71:0(570)X1156263
67.71/67.82	conflict 57lvl : 397 bt397-69:0(1003)X1156323
67.71/67.83	conflict 57lvl : 397 bt397-69:0(985)X1156383
67.71/67.83	conflict 57lvl : 397 bt397-219:0(857)X1156443
67.71/67.84	conflict 57lvl : 397 bt397-82:0(910)X1156503
67.71/67.85	conflict 83lvl : 397 bt397-82:0(906)X1156563
67.71/67.86	conflict 57lvl : 396 bt396-20:0(701)X1156649
67.71/67.87	conflict 57lvl : 396 bt396-729:0(986)X1156709
67.71/67.88	conflict 57lvl : 396 bt396-742:0(877)X1156769
67.71/67.89	conflict 57lvl : 395 bt395-2:0(694)X1156829
67.81/67.91	conflict 57lvl : 395 bt395-82:0(875)X1156889
67.81/67.93	conflict 84lvl : 394 bt39469:0(681)X1156949
67.81/67.97	conflict 84lvl : 393 bt39331:0(873)X1157036
68.02/68.16	conflict 57lvl : 389 bt389-230:0(905)X1157123
68.02/68.18	conflict 57lvl : 389 bt389-238:0(866)X1157183
68.11/68.23	conflict 57lvl : 435 bt435-731:0(586)X1157243
68.21/68.32	conflict 57lvl : 434 bt434-518:0(550)X1157303
68.41/68.52	conflict 57lvl : 433 bt433-548:0(549)X1157363
68.41/68.59	conflict 57lvl : 434 bt434-551:0(620)X1157423
68.51/68.60	conflict 84lvl : 433 bt4339:0(607)X1157483
68.61/68.72	conflict 57lvl : 426 bt426-220:0(913)X1157570
68.61/68.74	conflict 84lvl : 425 bt425-650:0(581)X1157630
68.61/68.75	conflict 113lvl : 424 bt42411:0(576)X1157717
68.61/68.77	conflict 57lvl : 423 bt423-641:0(574)X1157833
69.11/69.20	conflict 57lvl : 435 bt435-728:0(563)X1157893
69.11/69.28	conflict 57lvl : 434 bt434-728:0(556)X1157953
69.61/69.71	conflict 57lvl : 433 bt433-182:0(611)X1158013
69.61/69.72	conflict 57lvl : 432 bt432-191:0(615)X1158073
69.61/69.73	conflict 57lvl : 432 bt432-219:0(923)X1158133
69.61/69.75	conflict 84lvl : 431 bt431-860:0(603)X1158193
69.61/69.76	conflict 113lvl : 430 bt43011:0(584)X1158280
69.61/69.78	conflict 57lvl : 429 bt429-851:0(582)X1158396
70.02/70.12	conflict 57lvl : 433 bt433-731:0(625)X1158456
70.02/70.13	conflict 84lvl : 432 bt4329:0(619)X1158516
82.92/83.04	conflict 57lvl : 435 bt435-128:0(551)X1169163
83.11/83.26	conflict 57lvl : 433 bt433-131:0(619)X1169223
83.11/83.27	conflict 84lvl : 432 bt4329:0(604)X1169283
83.41/83.59	conflict 57lvl : 413 bt413-80:0(890)X1169370
83.41/83.59	conflict 57lvl : 413 bt413-232:0(926)X1169430
83.51/83.62	conflict 57lvl : 412 bt412-80:0(876)X1169490
83.51/83.62	conflict 82lvl : 412 bt412-17:0(913)X1169550
83.51/83.65	conflict 84lvl : 411 bt41113:0(870)X1169635
83.51/83.68	conflict 164lvl : 410 bt41020:0(868)X1169722
83.51/83.68	conflict 238lvl : 410 bt41052:0(910)X1169889
83.61/83.71	conflict 136lvl : 409 bt409-20:0(866)X1170130
83.61/83.73	conflict 57lvl : 408 bt408-219:0(998)X1170269
83.61/83.74	conflict 243lvl : 408 bt40839:0(853)X1170329
83.61/83.74	conflict 57lvl : 408 bt408-82:0(888)X1170575
83.61/83.76	conflict 82lvl : 407 bt407-122:0(706)X1170635
83.61/83.77	conflict 106lvl : 407 bt407-9:0(994)X1170720
83.61/83.78	conflict 191lvl : 407 bt4071:0(886)X1170829
83.71/83.80	conflict 84lvl : 406 bt4061:0(992)X1171023
83.71/83.81	conflict 244lvl : 406 bt4061:0(883)X1171110
83.71/83.82	conflict 138lvl : 405 bt40569:0(692)X1171357
83.71/83.83	conflict 138lvl : 405 bt405-1:0(986)X1171498
83.71/83.84	conflict 243lvl : 405 bt40544:0(880)X1171639
83.71/83.86	conflict 191lvl : 404 bt40415:0(980)X1171885
83.71/83.89	conflict 190lvl : 403 bt4039:0(974)X1172079
83.81/83.93	conflict 189lvl : 402 bt40252:0(972)X1172272
83.92/84.05	conflict 57lvl : 399 bt399-212:0(896)X1172464
83.92/84.05	conflict 57lvl : 399 bt399-62:0(838)X1172524
84.02/84.17	conflict 57lvl : 434 bt434-461:0(617)X1172584
84.02/84.19	conflict 84lvl : 433 bt4339:0(605)X1172644
84.31/84.45	conflict 57lvl : 417 bt417-220:0(903)X1172731
84.31/84.47	conflict 84lvl : 416 bt416-860:0(593)X1172791
84.31/84.48	conflict 57lvl : 415 bt415-851:0(566)X1172878
85.51/85.62	conflict 57lvl : 416 bt416-393:0(907)X1172938
85.51/85.65	conflict 57lvl : 435 bt435-278:0(553)X1172998
85.71/85.84	conflict 57lvl : 416 bt416-272:0(588)X1173058
86.11/86.22	conflict 57lvl : 416 bt416-303:0(909)X1173118
87.31/87.42	conflict 83lvl : 433 bt433-182:0(631)X1173178
87.31/87.44	conflict 57lvl : 432 bt432-191:0(641)X1173264
87.31/87.46	conflict 84lvl : 431 bt4319:0(631)X1173324
113.91/114.06	conflict 57lvl : 435 bt435-368:0(556)X1188705
113.91/114.07	conflict 57lvl : 434 bt434-371:0(614)X1188765
113.91/114.09	conflict 84lvl : 433 bt4339:0(603)X1188825
114.20/114.30	conflict 84lvl : 420 bt42040:0(1008)X1188912
114.20/114.31	conflict 57lvl : 420 bt420-616:0(927)X1188999
114.20/114.35	conflict 57lvl : 435 bt435-248:0(549)X1189059
114.30/114.43	conflict 57lvl : 430 bt430-63:0(904)X1189119
114.30/114.44	conflict 57lvl : 430 bt430-80:0(964)X1189179
114.40/114.54	conflict 57lvl : 435 bt435-362:0(611)X1189239
114.60/114.75	conflict 57lvl : 422 bt422-603:0(895)X1189299
114.60/114.75	conflict 82lvl : 422 bt422-406:0(924)X1189359
114.80/114.98	conflict 236lvl : 423 bt423-407:0(953)X1189444
114.91/115.07	conflict 57lvl : 435 bt435-380:0(630)X1189683
114.91/115.08	conflict 138lvl : 433 bt4339:0(614)X1189743
115.10/115.27	conflict 57lvl : 422 bt422-407:0(953)X1189884
115.20/115.33	conflict 57lvl : 434 bt434-410:0(580)X1189944
115.20/115.34	conflict 84lvl : 433 bt4332:0(517)X1190004
115.30/115.48	conflict 83lvl : 422 bt422-616:0(922)X1190091
115.40/115.51	conflict 57lvl : 435 bt435-548:0(549)X1190177
116.20/116.31	conflict 84lvl : 426 bt426-458:0(644)X1190237
117.30/117.49	conflict 83lvl : 421 bt421-611:0(663)X1190324
117.60/117.71	conflict 57lvl : 425 bt425-77:0(926)X1190410
117.80/117.91	conflict 138lvl : 423 bt42334:0(944)X1190470
118.01/118.11	conflict 80lvl : 425 bt425-406:0(951)X1190611
118.40/118.51	conflict 107lvl : 425 bt425-17:0(926)X1190694
118.40/118.56	conflict 57lvl : 435 bt435-398:0(562)X1190804
118.40/118.58	conflict 137lvl : 434 bt434632:0(679)X1190864
118.40/118.60	conflict 111lvl : 433 bt433-632:0(642)X1191004
118.50/118.61	conflict 137lvl : 432 bt43211:0(609)X1191118
118.70/118.82	conflict 266lvl : 427 bt4271:0(928)X1191258
118.91/119.10	conflict 190lvl : 428 bt42846:0(925)X1191527
119.01/119.13	conflict 321lvl : 427 bt42734:0(916)X1191720
119.01/119.16	conflict 189lvl : 426 bt42646:0(908)X1192044
119.20/119.34	conflict 217lvl : 426 bt42646:0(919)X1192236
119.40/119.51	conflict 56lvl : 435 bt435-242:0(618)X1192456
119.80/119.91	conflict 318lvl : 428 bt42850:0(921)X1192515
120.01/120.11	conflict 316lvl : 427 bt42747:0(951)X1192836
120.50/120.64	conflict 57lvl : 428 bt428-50:0(921)X1193155
120.70/120.87	conflict 84lvl : 432 bt432-562:0(708)X1193215
121.60/121.73	conflict 316lvl : 428 bt42847:0(917)X1193302
121.60/121.79	conflict 57lvl : 425 bt425-394:0(727)X1193621
121.70/121.83	conflict 56lvl : 424 bt424-122:0(599)X1193681
140.39/140.56	conflict 82lvl : 430 bt430-393:0(910)X1204219
140.39/140.56	conflict 57lvl : 430 bt430-76:0(947)X1204304
140.69/140.82	conflict 138lvl : 434 bt4349:0(627)X1204364
141.29/141.46	conflict 57lvl : 433 bt433-398:0(563)X1204505
142.59/142.74	conflict 138lvl : 431 bt4319:0(626)X1204565
143.00/143.14	conflict 138lvl : 433 bt4339:0(626)X1204706
143.09/143.23	conflict 137lvl : 434 bt434-250:0(717)X1204847
143.09/143.25	conflict 136lvl : 433 bt4339:0(643)X1204987
144.29/144.42	conflict 57lvl : 428 bt428-548:0(546)X1205126
145.29/145.43	conflict 57lvl : 427 bt427-608:0(549)X1205186
145.59/145.75	conflict 57lvl : 425 bt425-800:0(614)X1205246
145.59/145.77	conflict 57lvl : 424 bt424-791:0(604)X1205306
145.59/145.79	conflict 84lvl : 423 bt4239:0(600)X1205366
145.59/145.79	conflict 82lvl : 423 bt423-429:0(1021)X1205453
145.69/145.80	conflict 57lvl : 423 bt423-430:0(917)X1205538
145.90/146.03	conflict 315lvl : 429 bt42952:0(948)X1205598
146.00/146.12	conflict 57lvl : 432 bt432-220:0(920)X1205916
146.00/146.14	conflict 84lvl : 431 bt431-20:0(608)X1205976
146.39/146.54	conflict 57lvl : 426 bt426-64:0(1013)X1206063
146.39/146.55	conflict 136lvl : 426 bt426-76:0(913)X1206123
146.49/146.62	conflict 138lvl : 434 bt4349:0(625)X1206262
146.90/147.05	conflict 315lvl : 430 bt43047:0(947)X1206403
147.39/147.54	conflict 57lvl : 429 bt429-428:0(547)X1206721
153.59/153.71	o -3705
153.69/153.86	conflict 84lvl : 430 bt43040:0(1008)X1213276
153.69/153.87	conflict 317lvl : 430 bt43048:0(913)X1213363
153.79/153.93	conflict 138lvl : 434 bt4349:0(623)X1213683
153.90/154.10	conflict 57lvl : 430 bt430-31:0(943)X1213824
154.19/154.33	conflict 316lvl : 430 bt43047:0(909)X1213884
154.39/154.59	conflict 313lvl : 430 bt43038:0(942)X1214203
154.69/154.82	conflict 312lvl : 430 bt43047:0(947)X1214519
155.69/155.83	conflict 57lvl : 428 bt428-782:0(600)X1214834
155.69/155.84	conflict 57lvl : 427 bt427-440:0(574)X1214894
155.69/155.85	conflict 84lvl : 426 bt4262:0(512)X1214954
155.79/155.94	conflict 57lvl : 419 bt419-429:0(1026)X1215041
155.90/156.04	conflict 82lvl : 432 bt432-370:0(913)X1215101
156.00/156.17	conflict 313lvl : 430 bt43047:0(942)X1215186
156.49/156.65	conflict 57lvl : 429 bt429-638:0(545)X1215502
157.90/158.01	conflict 312lvl : 430 bt43038:0(945)X1215562
157.90/158.07	conflict 57lvl : 428 bt428-158:0(548)X1215877
158.59/158.79	conflict 82lvl : 428 bt428-641:0(612)X1215937
158.69/158.81	conflict 57lvl : 427 bt427-431:0(569)X1216022
158.69/158.86	conflict 83lvl : 424 bt424-430:0(910)X1216082
159.29/159.44	conflict 57lvl : 435 bt435-242:0(616)X1216168
159.39/159.55	conflict 57lvl : 429 bt429-2:0(602)X1216228
160.19/160.38	conflict 57lvl : 429 bt429-632:0(603)X1216288
188.58/188.73	conflict 57lvl : 432 bt432-235:0(919)X1227397
188.58/188.74	conflict 57lvl : 432 bt432-17:0(957)X1227457
188.78/188.95	conflict 139lvl : 432 bt4321:0(920)X1227517
188.99/189.17	conflict 57lvl : 432 bt432-1:0(912)X1227659
189.18/189.33	conflict 57lvl : 429 bt429-8:0(557)X1227719
189.18/189.35	conflict 57lvl : 428 bt428-11:0(608)X1227779
189.18/189.37	conflict 84lvl : 427 bt42739:0(597)X1227839
189.18/189.39	conflict 57lvl : 426 bt426-64:0(1022)X1227926
189.18/189.40	conflict 57lvl : 426 bt426-52:0(923)X1227986
189.28/189.44	conflict 57lvl : 435 bt435-392:0(611)X1228046
189.28/189.49	conflict 57lvl : 432 bt432-234:0(906)X1228106
189.28/189.49	conflict 57lvl : 432 bt432-237:0(953)X1228166
189.48/189.62	conflict 312lvl : 430 bt43031:0(943)X1228226
189.58/189.71	conflict 160lvl : 432 bt432-24:0(910)X1228541
189.78/189.93	conflict 188lvl : 432 bt43240:0(900)X1228704
189.78/189.93	conflict 136lvl : 432 bt432-17:0(954)X1228895
189.89/190.09	conflict 57lvl : 429 bt429-608:0(545)X1229034
189.99/190.18	conflict 214lvl : 432 bt43233:0(907)X1229094
191.18/191.33	conflict 135lvl : 432 bt432-17:0(952)X1229311
191.38/191.51	conflict 57lvl : 428 bt428-608:0(544)X1229449
192.99/193.19	conflict 313lvl : 430 bt43047:0(954)X1229509
194.38/194.55	conflict 57lvl : 431 bt431-830:0(580)X1229825
194.38/194.56	conflict 84lvl : 430 bt43010:0(516)X1229885
194.38/194.58	conflict 57lvl : 429 bt429-640:0(916)X1229972
194.48/194.60	conflict 84lvl : 428 bt428-800:0(583)X1230032
194.48/194.61	conflict 113lvl : 427 bt42711:0(579)X1230119
194.48/194.64	conflict 57lvl : 425 bt425-791:0(576)X1230235
194.48/194.67	conflict 82lvl : 423 bt423-731:0(565)X1230295
194.68/194.80	conflict 57lvl : 414 bt414-729:0(1011)X1230380
194.68/194.81	conflict 83lvl : 414 bt414-749:0(921)X1230440
194.68/194.89	conflict 57lvl : 433 bt433-4:0(1013)X1230526
194.78/194.90	conflict 236lvl : 433 bt433-385:0(905)X1230586
194.78/194.90	conflict 109lvl : 433 bt433-16:0(923)X1230825
194.78/194.92	conflict 84lvl : 432 bt43270:0(1002)X1230937
194.78/194.93	conflict 267lvl : 432 bt432370:0(892)X1231024
194.78/194.93	conflict 290lvl : 432 bt43257:0(912)X1231294
194.78/194.95	conflict 212lvl : 431 bt431-370:0(889)X1231587
194.78/194.96	conflict 57lvl : 431 bt431-57:0(909)X1231802
194.78/194.98	conflict 57lvl : 430 bt430-244:0(1019)X1231862
194.78/194.99	conflict 258lvl : 430 bt430-256:0(930)X1231922
194.78/195.00	conflict 57lvl : 430 bt430-385:0(895)X1232183
194.89/195.01	conflict 57lvl : 430 bt430-22:0(946)X1232243
194.89/195.05	conflict 57lvl : 435 bt435-68:0(555)X1232303
194.99/195.19	conflict 57lvl : 434 bt434-401:0(637)X1232363
195.08/195.21	conflict 84lvl : 433 bt4339:0(625)X1232423
195.08/195.27	conflict 57lvl : 430 bt430-20:0(935)X1232510
195.08/195.29	conflict 57lvl : 430 bt430-40:0(594)X1232570
195.28/195.43	conflict 57lvl : 429 bt429-398:0(545)X1232630
195.28/195.45	conflict 84lvl : 429 bt429-257:0(977)X1232690
195.28/195.46	conflict 109lvl : 430 bt429-40:0(899)X1232777
195.28/195.48	conflict 57lvl : 430 bt430-7:0(687)X1232889
195.38/195.50	conflict 83lvl : 429 bt429-400:0(813)X1232949
195.99/196.16	conflict 135lvl : 431 bt431-249:0(917)X1233035
195.99/196.18	conflict 84lvl : 430 bt430-500:0(600)X1233173
195.99/196.19	conflict 140lvl : 429 bt42911:0(583)X1233260
196.08/196.23	conflict 57lvl : 426 bt426-401:0(570)X1233403
196.18/196.30	conflict 82lvl : 421 bt421-491:0(562)X1233463
196.58/196.78	conflict 134lvl : 388 bt388-309:0(995)X1233548
196.58/196.79	conflict 57lvl : 388 bt388-24:0(1010)X1233685
196.68/196.80	conflict 82lvl : 388 bt388-160:0(884)X1233745
196.68/196.84	conflict 57lvl : 387 bt387-399:0(979)X1233830
196.68/196.85	conflict 134lvl : 387 bt387-322:0(896)X1233890
196.78/196.97	conflict 57lvl : 431 bt431-219:0(912)X1234027
196.78/196.98	conflict 84lvl : 431 bt431-226:0(955)X1234087
196.89/197.07	conflict 162lvl : 433 bt433-17:0(963)X1234174
197.18/197.36	conflict 159lvl : 433 bt433-17:0(963)X1234339
197.38/197.52	conflict 57lvl : 421 bt421-820:0(903)X1234501
197.58/197.73	conflict 83lvl : 433 bt433-5:0(915)X1234561
198.58/198.76	conflict 207lvl : 389 bt389-729:0(872)X1234647
198.58/198.78	conflict 110lvl : 388 bt388219:0(670)X1234857
198.68/198.83	conflict 82lvl : 387 bt387-729:0(861)X1234970
198.68/198.84	conflict 57lvl : 387 bt387-406:0(921)X1235055
198.78/198.92	conflict 83lvl : 433 bt433-370:0(1030)X1235115
198.78/198.93	conflict 236lvl : 433 bt433-387:0(930)X1235201
198.89/199.04	conflict 84lvl : 431 bt431-249:0(1027)X1235440
198.89/199.04	conflict 57lvl : 431 bt431-226:0(930)X1235527
199.18/199.34	conflict 57lvl : 431 bt431-214:0(1027)X1235587
199.18/199.35	conflict 110lvl : 431 bt431-16:0(932)X1235647
199.28/199.42	conflict 83lvl : 434 bt434-370:0(940)X1235760
199.28/199.44	conflict 57lvl : 433 bt433-9:0(1050)X1235846
199.58/199.73	conflict 57lvl : 434 bt434-10:0(931)X1235906
199.68/199.88	conflict 57lvl : 424 bt424-652:0(935)X1235966
199.88/200.08	conflict 57lvl : 404 bt404-752:0(694)X1236026
199.88/200.09	conflict 239lvl : 404 bt404-844:0(900)X1236086
199.88/200.10	conflict 57lvl : 403 bt403-752:0(701)X1236328
199.99/200.11	conflict 57lvl : 403 bt403-66:0(850)X1236388
199.99/200.11	conflict 244lvl : 403 bt40340:0(1009)X1236448
199.99/200.12	conflict 163lvl : 403 bt403-844:0(914)X1236695
200.48/200.66	conflict 183lvl : 433 bt433-364:0(1019)X1236861
200.48/200.67	conflict 160lvl : 433 bt433-376:0(917)X1237047
200.99/201.19	conflict 80lvl : 433 bt433-387:0(952)X1237210
201.48/201.68	conflict 214lvl : 433 bt43347:0(957)X1237293
201.58/201.80	conflict 80lvl : 431 bt431-256:0(964)X1237510
201.68/201.82	conflict 57lvl : 435 bt435-161:0(593)X1237593
201.78/201.90	conflict 57lvl : 429 bt429-131:0(576)X1237653
202.08/202.27	conflict 239lvl : 431 bt43147:0(957)X1237713
202.28/202.41	conflict 57lvl : 428 bt428-398:0(546)X1237955
203.07/203.21	conflict 57lvl : 431 bt431-9:0(925)X1238015
203.07/203.25	conflict 57lvl : 435 bt435-161:0(594)X1238075
203.17/203.33	conflict 57lvl : 429 bt429-71:0(577)X1238135
251.87/252.00	
251.87/252.00	c *** INTERRUPTED ***
251.87/252.00	c restarts              : 560         
251.87/252.00	c conflicts             : 335743       (1333 /sec)
251.87/252.00	c decisions             : 2331081      (9255 /sec)
251.87/252.00	c propagations          : 116506075   (462567 /sec)
251.87/252.00	c root propagations     : 10588       
251.87/252.00	c filter calls          : 71750547       (284873 /sec)
251.87/252.00	c useless filter calls  : 55719583       (77 %)
251.87/252.00	c
251.87/252.00	c clauses               : 43102
251.87/252.00	c SAT propagations      : 3199
251.87/252.00	c SAT conflicts         : 30 (308 learnts)
251.87/252.00	c Memory used           : 44.64 MB
251.87/252.00	c CPU time              : 251.868 s
251.87/252.00	
251.87/252.00	c nb Solutions = 10
251.87/252.00	s SATISFIABLE
251.87/252.00	c Best value found: -3705
251.87/252.00	
251.87/252.00	
251.87/252.00	v <instantiation type='solution' cost='-3705'>
251.87/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][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] 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][26] d[10][27] d[10][28] d[10][29] 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][26] d[11][27] d[11][28] d[11][29] 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][26] d[12][27] d[12][28] d[12][29] 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][26] d[13][27] d[13][28] d[13][29] 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][26] d[14][27] d[14][28] d[14][29] 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][26] d[15][27] d[15][28] d[15][29] 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][26] d[16][27] d[16][28] d[16][29] 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][26] d[17][27] d[17][28] d[17][29] 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][26] d[18][27] d[18][28] d[18][29] 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][26] d[19][27] d[19][28] d[19][29] 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][26] d[1][27] d[1][28] d[1][29] 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][26] d[20][27] d[20][28] d[20][29] 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][26] d[21][27] d[21][28] d[21][29] 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][26] d[22][27] d[22][28] d[22][29] 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][26] d[23][27] d[23][28] d[23][29] 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][26] d[24][27] d[24][28] d[24][29] 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][26] d[25][27] d[25][28] d[25][29] 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[26][0] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][1] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[26][2] d[26][3] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[27][0] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][1] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[27][2] d[27][3] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[28][0] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][1] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[28][2] d[28][3] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[29][0] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][1] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] d[29][2] d[29][3] d[29][4] d[29][5] d[29][6] d[29][7] d[29][8] d[29][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][26] d[2][27] d[2][28] d[2][29] 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][26] d[3][27] d[3][28] d[3][29] 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][26] d[4][27] d[4][28] d[4][29] 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][26] d[5][27] d[5][28] d[5][29] 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][26] d[6][27] d[6][28] d[6][29] 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][26] d[7][27] d[7][28] d[7][29] 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][26] d[8][27] d[8][28] d[8][29] 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][26] d[9][27] d[9][28] d[9][29] 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[26] x[27] x[28] x[29] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] </list>
251.87/252.00	v <values>* 0 2 0 10 10 1 0 1 0 0 0 0 5 0 0 1 0 10 5 1 2 0 0 0 2 5 4 5 5 * * 5 0 0 0 10 5 3 3 2 * 1 10 0 5 0 0 2 1 2 1 * * * * * * * * * * * 1 5 2 0 4 0 2 2 * 0 1 1 2 0 0 0 0 0 0 * * * * * * * * * * * * 10 1 2 2 1 2 2 * 2 1 2 5 10 0 0 0 2 0 * * * * * * * * * * * * * 0 1 5 0 4 0 * 0 1 1 2 0 4 1 0 2 5 * * * * * * * * * * * * * * 0 0 1 0 0 * 0 5 0 2 5 5 3 0 2 1 * * * * * * * * * * * * * * * 10 2 10 5 * 10 2 2 2 0 0 3 2 2 1 * * * * * * * * * * * * * * * * 4 1 5 * 0 5 5 4 5 0 10 2 3 0 * * * * * * * * * * * * * * * * * 4 3 * 3 1 0 5 0 0 5 2 5 4 * * * * * * * * * * * * * * * * * * 6 * 0 5 2 5 4 5 10 6 2 0 * * * * * * * * * * * * * * * * * * * * 1 0 5 2 2 0 0 4 2 0 * * * * * * * * * 0 0 5 0 1 0 2 5 0 2 * 5 3 0 0 0 0 5 0 4 2 0 2 6 5 0 4 1 6 * * * * * * * * * * * * * 5 10 10 5 2 10 1 0 0 * * * * * * * * * * * * * * * * * * * * * * 5 3 2 10 5 0 10 0 * * * * * * * * * * * * * * * * * * * * * * * 0 1 0 1 2 5 2 * * * * * * * * * * * * * * * * * * * * * * * * 5 0 10 5 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * 1 5 4 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * 0 4 5 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 10 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 0 0 5 1 0 0 0 1 * 2 5 5 5 3 5 2 6 0 2 * 2 0 0 0 0 5 2 * 5 1 0 5 4 0 3 6 2 1 * 5 0 0 2 0 0 1 10 2 1 * * 2 1 5 10 6 2 * 5 0 1 4 1 5 0 4 1 0 * 0 2 10 0 2 2 0 0 2 10 * * * 1 0 1 3 5 * 6 1 5 0 3 3 2 2 0 1 * 0 2 5 6 1 5 1 1 0 0 * * * * 10 2 0 0 * 4 2 2 2 2 5 1 4 1 5 * 3 0 5 0 0 0 0 4 2 0 * * * * * 0 0 2 * 5 5 0 10 0 5 0 5 6 2 * 5 5 2 5 4 4 5 5 0 0 * * * * * * 10 2 * 1 2 1 2 10 1 0 2 2 0 * 3 5 0 5 2 1 10 0 0 0 * * * * * * * 0 * 0 0 1 10 5 5 4 0 0 2 * 1 6 5 0 5 0 6 1 5 0 * * * * * * * * 11 26 14 27 5 23 29 15 2 10 3 20 18 9 28 7 24 25 6 22 8 4 16 17 1 19 13 21 0 12 </values>
251.87/252.00	v </instantiation>
251.87/252.00

Verifier Data 

OK	3705

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266787-1502645293/watcher-4266787-1502645293 -o /tmp/evaluation-result-4266787-1502645293/solver-4266787-1502645293 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502642157-20628 --watchdog 312 cosoco -lc -model -restarts -sat HOME/instance-4266787-1502645293.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=21892, runsolver pid=21889

[startup+0.100197 s]*
/proc/loadavg: 2.00 2.08 2.45 3/186 21893
/proc/meminfo: memFree=31826208/32770624 swapFree=67108764/67108860
[pid=21892] ppid=21889 vsize=40504 memory=12644 CPUtime=0.04 cores=0,2,4,6
/proc/21892/stat : 21892 (cosoco) R 21889 21892 4674 0 -1 4202496 3349 0 0 0 4 0 0 0 20 0 1 0 112035718 41476096 3161 18446744073709551615 4194304 5972588 140737271651632 140737271648280 140208290393061 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 11395072 140737271652809 140737271652909 140737271652909 140737271656398 0
/proc/21892/statm: 10126 3161 766 435 0 3489 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 40504 KiB
Current children cumulated memory: 12644 KiB

[startup+0.209816 s]*
/proc/loadavg: 2.00 2.08 2.45 3/186 21893
/proc/meminfo: memFree=31824720/32770624 swapFree=67108764/67108860
[pid=21892] ppid=21889 vsize=41824 memory=13960 CPUtime=0.15 cores=0,2,4,6
/proc/21892/stat : 21892 (cosoco) R 21889 21892 4674 0 -1 4202496 3693 0 0 0 15 0 0 0 20 0 1 0 112035718 42827776 3490 18446744073709551615 4194304 5972588 140737271651632 140737271648344 4935493 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 11395072 140737271652809 140737271652909 140737271652909 140737271656398 0
/proc/21892/statm: 10456 3490 784 435 0 3819 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 41824 KiB
Current children cumulated memory: 13960 KiB

[startup+0.3096 s]*
/proc/loadavg: 2.00 2.08 2.45 3/186 21893
/proc/meminfo: memFree=31824720/32770624 swapFree=67108764/67108860
[pid=21892] ppid=21889 vsize=41956 memory=14224 CPUtime=0.25 cores=0,2,4,6
/proc/21892/stat : 21892 (cosoco) R 21889 21892 4674 0 -1 4202496 3731 0 0 0 25 0 0 0 20 0 1 0 112035718 42962944 3556 18446744073709551615 4194304 5972588 140737271651632 140737271648344 5048552 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 11395072 140737271652809 140737271652909 140737271652909 140737271656398 0
/proc/21892/statm: 10489 3556 786 435 0 3852 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 41956 KiB
Current children cumulated memory: 14224 KiB

[startup+0.700392 s]
/proc/loadavg: 2.00 2.08 2.45 3/186 21893
/proc/meminfo: memFree=31823976/32770624 swapFree=67108764/67108860
[pid=21892] ppid=21889 vsize=42616 memory=15016 CPUtime=0.63 cores=0,2,4,6
/proc/21892/stat : 21892 (cosoco) R 21889 21892 4674 0 -1 4202496 3925 0 0 0 63 0 0 0 20 0 1 0 112035718 43638784 3754 18446744073709551615 4194304 5972588 140737271651632 140737271648344 4935493 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 11395072 140737271652809 140737271652909 140737271652909 140737271656398 0
/proc/21892/statm: 10654 3754 791 435 0 4017 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 42616 KiB
Current children cumulated memory: 15016 KiB

[startup+1.50037 s]
/proc/loadavg: 2.00 2.08 2.45 3/186 21893
/proc/meminfo: memFree=31823644/32770624 swapFree=67108764/67108860
[pid=21892] ppid=21889 vsize=42744 memory=15080 CPUtime=1.43 cores=0,2,4,6
/proc/21892/stat : 21892 (cosoco) R 21889 21892 4674 0 -1 4202496 3959 0 0 0 143 0 0 0 20 0 1 0 112035718 43769856 3770 18446744073709551615 4194304 5972588 140737271651632 140737271638824 4935454 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 11395072 140737271652809 140737271652909 140737271652909 140737271656398 0
/proc/21892/statm: 10686 3770 791 435 0 4049 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 42744 KiB
Current children cumulated memory: 15080 KiB

[startup+3.10953 s]
/proc/loadavg: 2.00 2.08 2.45 3/186 21893
/proc/meminfo: memFree=31823644/32770624 swapFree=67108764/67108860
[pid=21892] ppid=21889 vsize=42744 memory=15368 CPUtime=3.04 cores=0,2,4,6
/proc/21892/stat : 21892 (cosoco) R 21889 21892 4674 0 -1 4202496 6587 0 0 0 304 0 0 0 20 0 1 0 112035718 43769856 3842 18446744073709551615 4194304 5972588 140737271651632 140737271638824 4935428 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 11395072 140737271652809 140737271652909 140737271652909 140737271656398 0
/proc/21892/statm: 10686 3842 791 435 0 4049 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 42744 KiB
Current children cumulated memory: 15368 KiB

[startup+6.30036 s]
/proc/loadavg: 2.00 2.08 2.45 4/199 21922
/proc/meminfo: memFree=31820580/32770624 swapFree=67108764/67108860
[pid=21892] ppid=21889 vsize=42744 memory=15812 CPUtime=6.23 cores=0,2,4,6
/proc/21892/stat : 21892 (cosoco) R 21889 21892 4674 0 -1 4202496 9413 0 0 0 623 0 0 0 20 0 1 0 112035718 43769856 3953 18446744073709551615 4194304 5972588 140737271651632 140737271649080 4935456 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 11395072 140737271652809 140737271652909 140737271652909 140737271656398 0
/proc/21892/statm: 10686 3953 791 435 0 4049 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 42744 KiB
Current children cumulated memory: 15812 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 2.08 2.44 3/186 21958
/proc/meminfo: memFree=31836784/32770624 swapFree=67108764/67108860
[pid=21892] ppid=21889 vsize=42864 memory=18212 CPUtime=12.62 cores=0,2,4,6
/proc/21892/stat : 21892 (cosoco) R 21889 21892 4674 0 -1 4202496 12359 0 0 0 1262 0 0 0 20 0 1 0 112035718 43892736 4553 18446744073709551615 4194304 5972588 140737271651632 140737271648856 4936000 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 11395072 140737271652809 140737271652909 140737271652909 140737271656398 0
/proc/21892/statm: 10716 4553 791 435 0 4079 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 42864 KiB
Current children cumulated memory: 18212 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.07 2.44 3/186 21958
/proc/meminfo: memFree=31835536/32770624 swapFree=67108764/67108860
[pid=21892] ppid=21889 vsize=42864 memory=18284 CPUtime=25.42 cores=0,2,4,6
/proc/21892/stat : 21892 (cosoco) R 21889 21892 4674 0 -1 4202496 16107 0 0 0 2542 0 0 0 20 0 1 0 112035718 43892736 4571 18446744073709551615 4194304 5972588 140737271651632 140737271649080 5139274 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 11395072 140737271652809 140737271652909 140737271652909 140737271656398 0
/proc/21892/statm: 10716 4571 791 435 0 4079 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 42864 KiB
Current children cumulated memory: 18284 KiB

[startup+51.1094 s]
/proc/loadavg: 2.00 2.07 2.42 3/186 21958
/proc/meminfo: memFree=31834668/32770624 swapFree=67108764/67108860
[pid=21892] ppid=21889 vsize=45712 memory=19152 CPUtime=51.03 cores=0,2,4,6
/proc/21892/stat : 21892 (cosoco) R 21889 21892 4674 0 -1 4202496 17957 0 0 0 5102 1 0 0 20 0 1 0 112035718 46809088 4788 18446744073709551615 4194304 5972588 140737271651632 140737271648856 5139312 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 11395072 140737271652809 140737271652909 140737271652909 140737271656398 0
/proc/21892/statm: 11428 4788 792 435 0 4791 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 45712 KiB
Current children cumulated memory: 19152 KiB

[startup+102.3 s]
/proc/loadavg: 2.04 2.07 2.40 3/185 21960
/proc/meminfo: memFree=31834208/32770624 swapFree=67108764/67108860
[pid=21892] ppid=21889 vsize=45712 memory=19340 CPUtime=102.2 cores=0,2,4,6
/proc/21892/stat : 21892 (cosoco) R 21889 21892 4674 0 -1 4202496 19636 0 0 0 10219 1 0 0 20 0 1 0 112035718 46809088 4835 18446744073709551615 4194304 5972588 140737271651632 140737271648856 5046284 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 11395072 140737271652809 140737271652909 140737271652909 140737271656398 0
/proc/21892/statm: 11428 4835 792 435 0 4791 0
Current children cumulated CPU time: 102.2 s
Current children cumulated vsize: 45712 KiB
Current children cumulated memory: 19340 KiB

[startup+162.3 s]
/proc/loadavg: 2.36 2.18 2.42 3/185 21962
/proc/meminfo: memFree=31833632/32770624 swapFree=67108764/67108860
[pid=21892] ppid=21889 vsize=45712 memory=19564 CPUtime=162.19 cores=0,2,4,6
/proc/21892/stat : 21892 (cosoco) R 21889 21892 4674 0 -1 4202496 20918 0 0 0 16218 1 0 0 20 0 1 0 112035718 46809088 4891 18446744073709551615 4194304 5972588 140737271651632 140737271648856 5139327 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 11395072 140737271652809 140737271652909 140737271652909 140737271656398 0
/proc/21892/statm: 11428 4891 792 435 0 4791 0
Current children cumulated CPU time: 162.19 s
Current children cumulated vsize: 45712 KiB
Current children cumulated memory: 19564 KiB

[startup+222.3 s]
/proc/loadavg: 2.13 2.14 2.39 3/185 21964
/proc/meminfo: memFree=31833384/32770624 swapFree=67108764/67108860
[pid=21892] ppid=21889 vsize=45712 memory=19664 CPUtime=222.17 cores=0,2,4,6
/proc/21892/stat : 21892 (cosoco) R 21889 21892 4674 0 -1 4202496 22147 0 0 0 22216 1 0 0 20 0 1 0 112035718 46809088 4916 18446744073709551615 4194304 5972588 140737271651632 140737271648856 5046462 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 11395072 140737271652809 140737271652909 140737271652909 140737271656398 0
/proc/21892/statm: 11428 4916 792 435 0 4791 0
Current children cumulated CPU time: 222.17 s
Current children cumulated vsize: 45712 KiB
Current children cumulated memory: 19664 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252 s]*
/proc/loadavg: 2.08 2.13 2.38 3/185 21966
/proc/meminfo: memFree=31833260/32770624 swapFree=67108764/67108860
[pid=21892] ppid=21889 vsize=45712 memory=19696 CPUtime=251.87 cores=0,2,4,6
/proc/21892/stat : 21892 (cosoco) R 21889 21892 4674 0 -1 4202496 23200 0 0 0 25186 1 0 0 20 0 1 0 112035718 46809088 4924 18446744073709551615 4194304 5972588 140737271651632 140737271648856 5139312 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 11395072 140737271652809 140737271652909 140737271652909 140737271656398 0
/proc/21892/statm: 11428 4924 792 435 0 4791 0
Current children cumulated CPU time: 251.87 s
Current children cumulated vsize: 45712 KiB
Current children cumulated memory: 19696 KiB

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

[startup+252.01 s]
# the end of solver process 21892 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.868 s, system=0.020995 s

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

Child status: 1
Real time (s): 252.01
CPU time (s): 251.889
CPU user time (s): 251.868
CPU system time (s): 0.020995
CPU usage (%): 99.952
Max. virtual memory (cumulated for all children) (KiB): 45712
Max. memory (cumulated for all children) (KiB): 19696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.868
system time used= 0.020995
maximum resident set size= 19772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23247
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= 14
involuntary context switches= 1431


# summary of solver processes directly reported to runsolver:
#   pid: 21892
#   total CPU time (s): 251.889
#   total CPU user time (s): 251.868
#   total CPU system time (s): 0.020995

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.935553 second user time and 1.71034 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-13 19:14:18
IDJOB=4266787
IDBENCH=123048
IDSOLVER=2656
FILE ID=node134/4266787-1502645293
RUNJOBID= node134-1502642157-20628
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-nug30.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266787-1502645293/watcher-4266787-1502645293 -o /tmp/evaluation-result-4266787-1502645293/solver-4266787-1502645293 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502642157-20628 --watchdog 312  cosoco -lc -model -restarts -sat HOME/instance-4266787-1502645293.xml

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

MD5SUM BENCH= 7992d423b18f632a54772c1bcf249848
RANDOM SEED=636772167

node134.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.43
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.43
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.43
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.43
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:        31835132 kB
MemAvailable:   31954612 kB
Buffers:          216320 kB
Cached:           206528 kB
SwapCached:            4 kB
Active:           381272 kB
Inactive:         122536 kB
Active(anon):      25184 kB
Inactive(anon):    97600 kB
Active(file):     356088 kB
Inactive(file):    24936 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108764 kB
Dirty:              2372 kB
Writeback:             0 kB
AnonPages:         81104 kB
Mapped:            57996 kB
Shmem:             41564 kB
Slab:             135724 kB
SReclaimable:     108584 kB
SUnreclaim:        27140 kB
KernelStack:        3328 kB
PageTables:         5048 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     368952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62028 MiB
End job on node134 at 2017-08-13 19:18:31