Trace number 3706607

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
toysat 2012-05-17? (TO) 1800.03 1800.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod008.opb
MD5SUM4dd9ac2644c29d272d2675c7fc366ed6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark307
Best CPU time to get the best result obtained on this benchmark0.305953
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 307
Optimality of the best value was proved YES
Number of variables319
Total number of constraints6
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint186
Maximum length of a constraint231
Number of terms in the objective function 319
Biggest coefficient in the objective function 87
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 23554
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 22000
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 1027256
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.02	c 2012-05-27T11:38:57+0200
0.00/0.02	c arch = x86_64
0.00/0.02	c os = linux
0.00/0.02	c compiler = ghc 7.4
0.00/0.02	c packages:
0.00/0.02	c   OptDir-0.0.1
0.00/0.02	c   array-0.4.0.0
0.00/0.02	c   base-4.5.0.0
0.00/0.02	c   bytestring-0.9.2.1
0.00/0.02	c   containers-0.4.2.1
0.00/0.02	c   deepseq-1.3.0.0
0.00/0.02	c   mtl-2.1.1
0.00/0.02	c   old_locale-1.0.0.4
0.00/0.02	c   parse_dimacs-1.2
0.00/0.02	c   parsec-3.1.2
0.00/0.02	c   queue-0.1.2
0.00/0.02	c   stm-2.3
0.00/0.02	c   time-1.4
0.00/0.02	c command line = ["--pb","HOME/instance-3706607-1338111537.opb"]
0.00/0.02	c #vars 319
0.00/0.02	c #constraints 6
0.00/0.02	c Solving starts ...
0.00/0.03	c solving time = 0.011s
0.00/0.03	c #decision = 313
0.00/0.03	c #conflict = 0
0.00/0.03	c #restart = 0
0.00/0.03	o 359
0.00/0.03	c Solving starts ...
1.10/1.11	c learnt constraints deletion: 248 -> 124
1.10/1.11	c learnt constraints deletion: 124 -> 62
1.39/1.45	c solving time = 1.419s
1.39/1.45	c #decision = 2831
1.39/1.45	c #conflict = 291
1.39/1.45	c #restart = 2
1.39/1.45	o 319
1.39/1.45	c Solving starts ...
2.09/2.13	c learnt constraints deletion: 136 -> 70
2.99/3.01	c learnt constraints deletion: 132 -> 70
4.18/4.25	c learnt constraints deletion: 155 -> 81
4.99/5.02	c learnt constraints deletion: 135 -> 73
5.09/5.15	c solving time = 3.694s
5.09/5.15	c #decision = 3463
5.09/5.15	c #conflict = 533
5.09/5.15	c #restart = 3
5.09/5.15	o 317
5.09/5.15	c Solving starts ...
5.79/5.85	c learnt constraints deletion: 132 -> 70
6.38/6.45	c learnt constraints deletion: 117 -> 59
7.29/7.38	c learnt constraints deletion: 208 -> 104
10.59/10.64	c learnt constraints deletion: 299 -> 151
10.59/10.64	c learnt constraints deletion: 151 -> 77
12.29/12.31	c learnt constraints deletion: 185 -> 94
13.29/13.31	c learnt constraints deletion: 160 -> 82
13.79/13.89	c learnt constraints deletion: 189 -> 99
14.89/14.92	c learnt constraints deletion: 156 -> 79
16.19/16.20	c learnt constraints deletion: 281 -> 143
17.18/17.28	c learnt constraints deletion: 241 -> 123
18.19/18.20	c learnt constraints deletion: 201 -> 104
19.28/19.34	c learnt constraints deletion: 172 -> 88
19.59/19.61	c learnt constraints deletion: 176 -> 88
22.99/23.06	c learnt constraints deletion: 387 -> 195
22.99/23.06	c learnt constraints deletion: 195 -> 99
25.49/25.59	c learnt constraints deletion: 233 -> 118
27.08/27.10	c learnt constraints deletion: 436 -> 221
27.08/27.18	c learnt constraints deletion: 230 -> 115
29.78/29.86	c learnt constraints deletion: 279 -> 146
30.79/30.84	c learnt constraints deletion: 224 -> 119
32.78/32.83	c learnt constraints deletion: 252 -> 135
35.48/35.58	c learnt constraints deletion: 381 -> 206
38.28/38.33	c learnt constraints deletion: 391 -> 210
41.48/41.51	c learnt constraints deletion: 383 -> 199
43.58/43.67	c learnt constraints deletion: 339 -> 171
44.58/44.61	c learnt constraints deletion: 249 -> 128
46.18/46.21	c learnt constraints deletion: 401 -> 225
47.78/47.86	c learnt constraints deletion: 347 -> 181
49.08/49.18	c learnt constraints deletion: 286 -> 155
50.48/50.57	c learnt constraints deletion: 267 -> 148
51.88/51.98	c learnt constraints deletion: 228 -> 119
53.48/53.51	c learnt constraints deletion: 284 -> 156
55.58/55.63	c learnt constraints deletion: 319 -> 166
56.27/56.33	c learnt constraints deletion: 232 -> 126
57.98/58.09	c learnt constraints deletion: 243 -> 124
59.48/59.57	c learnt constraints deletion: 402 -> 211
60.87/60.90	c learnt constraints deletion: 354 -> 180
61.68/61.70	c learnt constraints deletion: 249 -> 128
63.78/63.85	c learnt constraints deletion: 353 -> 190
64.38/64.45	c learnt constraints deletion: 297 -> 161
65.89/65.96	c learnt constraints deletion: 277 -> 149
67.68/67.75	c learnt constraints deletion: 304 -> 156
69.67/69.71	c learnt constraints deletion: 276 -> 144
71.58/71.63	c learnt constraints deletion: 258 -> 137
74.38/74.49	c learnt constraints deletion: 398 -> 203
75.07/75.19	c learnt constraints deletion: 256 -> 133
76.98/77.06	c learnt constraints deletion: 366 -> 193
80.67/80.70	c learnt constraints deletion: 458 -> 236
83.97/84.07	c learnt constraints deletion: 499 -> 260
86.17/86.29	c learnt constraints deletion: 458 -> 236
88.67/88.77	c learnt constraints deletion: 463 -> 239
91.07/91.16	c learnt constraints deletion: 434 -> 217
91.67/91.72	c learnt constraints deletion: 306 -> 155
94.27/94.32	c learnt constraints deletion: 364 -> 187
97.07/97.18	c learnt constraints deletion: 474 -> 248
97.68/97.70	c learnt constraints deletion: 294 -> 148
99.67/99.71	c learnt constraints deletion: 298 -> 152
101.68/101.73	c learnt constraints deletion: 301 -> 156
104.17/104.24	c learnt constraints deletion: 350 -> 182
105.67/105.76	c learnt constraints deletion: 282 -> 150
106.97/107.01	c learnt constraints deletion: 395 -> 209
108.07/108.18	c learnt constraints deletion: 324 -> 174
109.47/109.50	c learnt constraints deletion: 432 -> 231
113.07/113.11	c learnt constraints deletion: 517 -> 274
116.07/116.14	c learnt constraints deletion: 504 -> 267
118.77/118.86	c learnt constraints deletion: 447 -> 236
119.77/119.90	c learnt constraints deletion: 303 -> 165
124.57/124.69	c learnt constraints deletion: 521 -> 263
125.07/125.17	c learnt constraints deletion: 288 -> 146
129.97/130.05	c learnt constraints deletion: 481 -> 244
133.26/133.36	c learnt constraints deletion: 517 -> 264
134.47/134.54	c learnt constraints deletion: 356 -> 181
135.97/136.03	c learnt constraints deletion: 349 -> 175
139.16/139.26	c learnt constraints deletion: 466 -> 234
140.47/140.57	c learnt constraints deletion: 318 -> 162
143.57/143.68	c learnt constraints deletion: 492 -> 248
147.57/147.65	c learnt constraints deletion: 522 -> 264
148.56/148.63	c learnt constraints deletion: 474 -> 271
151.46/151.53	c learnt constraints deletion: 464 -> 236
154.66/154.75	c learnt constraints deletion: 459 -> 235
155.76/155.88	c learnt constraints deletion: 454 -> 233
157.57/157.61	c learnt constraints deletion: 339 -> 176
161.86/161.98	c learnt constraints deletion: 485 -> 250
164.36/164.44	c learnt constraints deletion: 457 -> 237
165.26/165.35	c learnt constraints deletion: 305 -> 161
168.46/168.50	c learnt constraints deletion: 396 -> 207
169.66/169.75	c learnt constraints deletion: 478 -> 287
171.57/171.65	c learnt constraints deletion: 440 -> 230
174.86/174.94	c learnt constraints deletion: 549 -> 286
175.66/175.75	c learnt constraints deletion: 326 -> 174
177.96/178.03	c learnt constraints deletion: 353 -> 189
181.26/181.35	c learnt constraints deletion: 468 -> 247
184.86/184.91	c learnt constraints deletion: 485 -> 257
187.26/187.35	c learnt constraints deletion: 471 -> 251
187.96/188.06	c learnt constraints deletion: 314 -> 172
191.06/191.13	c learnt constraints deletion: 437 -> 235
193.16/193.28	c learnt constraints deletion: 414 -> 224
194.85/194.93	c learnt constraints deletion: 464 -> 264
197.25/197.38	c learnt constraints deletion: 439 -> 238
198.05/198.18	c learnt constraints deletion: 434 -> 237
199.75/199.80	c learnt constraints deletion: 357 -> 198
201.76/201.81	c learnt constraints deletion: 483 -> 281
203.55/203.69	c learnt constraints deletion: 449 -> 237
204.15/204.27	c learnt constraints deletion: 348 -> 188
205.45/205.51	c learnt constraints deletion: 356 -> 193
207.65/207.70	c learnt constraints deletion: 441 -> 235
209.75/209.80	c learnt constraints deletion: 484 -> 257
211.56/211.61	c learnt constraints deletion: 383 -> 207
213.45/213.53	c learnt constraints deletion: 467 -> 250
214.96/215.05	c learnt constraints deletion: 380 -> 208
217.26/217.36	c learnt constraints deletion: 441 -> 238
218.25/218.32	c learnt constraints deletion: 383 -> 210
220.25/220.30	c learnt constraints deletion: 467 -> 252
221.35/221.46	c learnt constraints deletion: 481 -> 282
222.85/222.98	c learnt constraints deletion: 403 -> 220
225.25/225.33	c learnt constraints deletion: 560 -> 301
226.25/226.35	c learnt constraints deletion: 569 -> 309
227.15/227.20	c learnt constraints deletion: 595 -> 335
227.85/227.98	c learnt constraints deletion: 557 -> 308
228.86/228.97	c learnt constraints deletion: 554 -> 310
229.55/229.69	c learnt constraints deletion: 582 -> 329
230.45/230.50	c learnt constraints deletion: 572 -> 322
231.35/231.40	c learnt constraints deletion: 569 -> 321
232.55/232.67	c learnt constraints deletion: 535 -> 295
233.55/233.69	c learnt constraints deletion: 482 -> 260
234.85/234.96	c learnt constraints deletion: 485 -> 281
235.95/236.01	c learnt constraints deletion: 409 -> 224
238.74/238.89	c learnt constraints deletion: 382 -> 210
241.25/241.35	c learnt constraints deletion: 467 -> 254
242.55/242.60	c learnt constraints deletion: 483 -> 266
244.55/244.65	c learnt constraints deletion: 452 -> 247
247.94/248.01	c learnt constraints deletion: 473 -> 259
250.76/250.81	c learnt constraints deletion: 545 -> 296
253.35/253.48	c learnt constraints deletion: 525 -> 287
256.05/256.17	c learnt constraints deletion: 491 -> 271
257.35/257.49	c learnt constraints deletion: 443 -> 249
258.65/258.70	c learnt constraints deletion: 423 -> 239
261.75/261.88	c learnt constraints deletion: 505 -> 280
263.24/263.35	c learnt constraints deletion: 451 -> 255
264.84/264.96	c learnt constraints deletion: 487 -> 284
266.54/266.63	c learnt constraints deletion: 439 -> 248
267.55/267.65	c learnt constraints deletion: 471 -> 236
268.84/268.95	c learnt constraints deletion: 502 -> 271
270.14/270.28	c learnt constraints deletion: 420 -> 212
273.44/273.50	c learnt constraints deletion: 472 -> 240
275.15/275.22	c learnt constraints deletion: 538 -> 295
276.64/276.76	c learnt constraints deletion: 508 -> 265
279.25/279.37	c learnt constraints deletion: 580 -> 300
281.84/281.92	c learnt constraints deletion: 589 -> 308
283.04/283.17	c learnt constraints deletion: 442 -> 227
286.14/286.27	c learnt constraints deletion: 548 -> 284
288.54/288.67	c learnt constraints deletion: 586 -> 299
291.14/291.24	c learnt constraints deletion: 507 -> 256
292.54/292.66	c learnt constraints deletion: 376 -> 191
294.23/294.32	c learnt constraints deletion: 365 -> 187
295.74/295.87	c learnt constraints deletion: 380 -> 192
297.74/297.81	c learnt constraints deletion: 369 -> 191
301.14/301.30	c learnt constraints deletion: 430 -> 228
302.64/302.74	c learnt constraints deletion: 401 -> 217
306.75/306.81	c learnt constraints deletion: 572 -> 304
307.74/307.83	c learnt constraints deletion: 374 -> 197
311.53/311.60	c learnt constraints deletion: 536 -> 271
313.63/313.79	c learnt constraints deletion: 576 -> 292
314.84/314.94	c learnt constraints deletion: 494 -> 261
316.64/316.79	c learnt constraints deletion: 391 -> 200
318.03/318.12	c learnt constraints deletion: 425 -> 222
319.24/319.33	c learnt constraints deletion: 369 -> 191
321.34/321.43	c learnt constraints deletion: 522 -> 269
323.25/323.35	c learnt constraints deletion: 506 -> 258
326.64/326.73	c learnt constraints deletion: 485 -> 248
327.44/327.54	c learnt constraints deletion: 435 -> 226
330.83/330.98	c learnt constraints deletion: 513 -> 262
334.24/334.35	c learnt constraints deletion: 544 -> 277
337.73/337.83	c learnt constraints deletion: 594 -> 304
340.04/340.16	c learnt constraints deletion: 570 -> 292
342.23/342.32	c learnt constraints deletion: 558 -> 300
344.33/344.41	c learnt constraints deletion: 524 -> 271
347.44/347.53	c learnt constraints deletion: 584 -> 297
348.33/348.44	c learnt constraints deletion: 513 -> 264
349.74/349.86	c learnt constraints deletion: 532 -> 302
351.53/351.66	c learnt constraints deletion: 423 -> 222
355.03/355.14	c learnt constraints deletion: 560 -> 287
356.63/356.73	c learnt constraints deletion: 427 -> 222
358.73/358.85	c learnt constraints deletion: 397 -> 210
361.23/361.34	c learnt constraints deletion: 437 -> 236
363.13/363.20	c learnt constraints deletion: 514 -> 278
364.63/364.70	c learnt constraints deletion: 470 -> 265
366.52/366.66	c learnt constraints deletion: 486 -> 272
368.02/368.17	c learnt constraints deletion: 551 -> 306
369.03/369.18	c learnt constraints deletion: 494 -> 272
373.83/373.93	c learnt constraints deletion: 628 -> 325
376.03/376.13	c learnt constraints deletion: 455 -> 239
377.63/377.77	c learnt constraints deletion: 427 -> 228
379.62/379.72	c learnt constraints deletion: 433 -> 233
380.82/380.91	c learnt constraints deletion: 391 -> 215
385.72/385.80	c learnt constraints deletion: 597 -> 311
388.93/389.09	c learnt constraints deletion: 629 -> 322
390.33/390.42	c learnt constraints deletion: 413 -> 214
392.63/392.76	c learnt constraints deletion: 471 -> 243
396.22/396.35	c learnt constraints deletion: 625 -> 323
398.53/398.68	c learnt constraints deletion: 529 -> 270
402.02/402.19	c learnt constraints deletion: 678 -> 349
403.23/403.31	c learnt constraints deletion: 543 -> 283
404.32/404.49	c learnt constraints deletion: 412 -> 214
406.42/406.58	c learnt constraints deletion: 448 -> 233
409.12/409.25	c learnt constraints deletion: 404 -> 208
411.92/412.03	c learnt constraints deletion: 509 -> 263
415.12/415.28	c learnt constraints deletion: 648 -> 338
418.62/418.75	c learnt constraints deletion: 652 -> 340
420.52/420.69	c learnt constraints deletion: 470 -> 245
423.12/423.25	c learnt constraints deletion: 446 -> 238
428.12/428.25	c learnt constraints deletion: 617 -> 319
431.72/431.86	c learnt constraints deletion: 626 -> 322
432.62/432.79	c learnt constraints deletion: 423 -> 220
435.43/435.51	c learnt constraints deletion: 473 -> 248
437.52/437.65	c learnt constraints deletion: 440 -> 234
440.62/440.75	c learnt constraints deletion: 516 -> 276
442.22/442.35	c learnt constraints deletion: 536 -> 290
444.92/445.04	c learnt constraints deletion: 522 -> 282
448.81/448.98	c learnt constraints deletion: 623 -> 324
450.32/450.43	c learnt constraints deletion: 439 -> 228
452.31/452.40	c learnt constraints deletion: 526 -> 273
455.12/455.29	c learnt constraints deletion: 546 -> 302
456.62/456.78	c learnt constraints deletion: 449 -> 237
459.11/459.28	c learnt constraints deletion: 545 -> 284
461.92/462.05	c learnt constraints deletion: 516 -> 268
463.81/463.90	c learnt constraints deletion: 583 -> 303
465.01/465.13	c learnt constraints deletion: 544 -> 296
466.41/466.53	c learnt constraints deletion: 455 -> 240
469.21/469.31	c learnt constraints deletion: 526 -> 279
472.41/472.55	c learnt constraints deletion: 557 -> 292
473.92/474.10	c learnt constraints deletion: 566 -> 330
475.72/475.86	c learnt constraints deletion: 482 -> 254
477.32/477.48	c learnt constraints deletion: 546 -> 287
479.21/479.32	c learnt constraints deletion: 466 -> 247
483.41/483.52	c learnt constraints deletion: 613 -> 322
486.21/486.32	c learnt constraints deletion: 517 -> 275
487.81/487.94	c learnt constraints deletion: 519 -> 278
490.01/490.13	c learnt constraints deletion: 448 -> 241
493.31/493.40	c learnt constraints deletion: 540 -> 288
496.01/496.18	c learnt constraints deletion: 516 -> 277
499.01/499.10	c learnt constraints deletion: 515 -> 278
501.70/501.83	c learnt constraints deletion: 534 -> 288
504.50/504.62	c learnt constraints deletion: 521 -> 283
506.11/506.21	c learnt constraints deletion: 517 -> 283
509.21/509.38	c learnt constraints deletion: 608 -> 349
511.31/511.46	c learnt constraints deletion: 511 -> 280
512.61/512.77	c learnt constraints deletion: 507 -> 279
513.80/513.93	c learnt constraints deletion: 516 -> 284
517.00/517.11	c learnt constraints deletion: 560 -> 306
519.50/519.66	c learnt constraints deletion: 584 -> 324
520.50/520.68	c learnt constraints deletion: 558 -> 326
522.60/522.72	c learnt constraints deletion: 521 -> 288
525.11/525.24	c learnt constraints deletion: 492 -> 274
527.51/527.68	c learnt constraints deletion: 464 -> 261
530.00/530.16	c learnt constraints deletion: 467 -> 264
532.80/532.90	c learnt constraints deletion: 521 -> 292
535.31/535.49	c learnt constraints deletion: 519 -> 292
537.71/537.87	c learnt constraints deletion: 544 -> 305
540.10/540.29	c learnt constraints deletion: 554 -> 311
542.60/542.76	c learnt constraints deletion: 510 -> 290
544.90/545.05	c learnt constraints deletion: 515 -> 294
547.20/547.31	c learnt constraints deletion: 501 -> 288
549.91/550.09	c learnt constraints deletion: 615 -> 346
552.20/552.32	c learnt constraints deletion: 570 -> 324
554.40/554.51	c learnt constraints deletion: 514 -> 297
556.50/556.69	c learnt constraints deletion: 468 -> 275
558.60/558.80	c learnt constraints deletion: 500 -> 292
560.70/560.82	c learnt constraints deletion: 456 -> 271
563.20/563.38	c learnt constraints deletion: 558 -> 323
565.39/565.52	c learnt constraints deletion: 543 -> 317
567.70/567.81	c learnt constraints deletion: 544 -> 318
570.20/570.37	c learnt constraints deletion: 614 -> 354
572.20/572.39	c learnt constraints deletion: 547 -> 322
574.30/574.47	c learnt constraints deletion: 520 -> 309
576.20/576.36	c learnt constraints deletion: 476 -> 288
578.59/578.72	c learnt constraints deletion: 583 -> 343
580.61/580.73	c learnt constraints deletion: 541 -> 323
582.80/582.93	c learnt constraints deletion: 575 -> 341
584.59/584.74	c learnt constraints deletion: 544 -> 279
586.60/586.70	c learnt constraints deletion: 454 -> 232
589.29/589.44	c learnt constraints deletion: 505 -> 259
592.50/592.63	c learnt constraints deletion: 487 -> 251
595.60/595.76	c learnt constraints deletion: 569 -> 293
598.40/598.57	c learnt constraints deletion: 612 -> 315
600.40/600.55	c learnt constraints deletion: 468 -> 243
603.89/604.00	c learnt constraints deletion: 568 -> 294
607.29/607.48	c learnt constraints deletion: 688 -> 355
608.89/609.04	c learnt constraints deletion: 508 -> 267
612.59/612.74	c learnt constraints deletion: 471 -> 258
615.69/615.88	c learnt constraints deletion: 484 -> 254
617.39/617.57	c learnt constraints deletion: 537 -> 285
620.39/620.59	c learnt constraints deletion: 511 -> 269
622.49/622.68	c learnt constraints deletion: 504 -> 267
625.19/625.38	c learnt constraints deletion: 604 -> 318
626.89/627.08	c learnt constraints deletion: 590 -> 310
628.79/628.90	c learnt constraints deletion: 533 -> 282
630.49/630.66	c learnt constraints deletion: 517 -> 276
633.19/633.40	c learnt constraints deletion: 519 -> 282
636.59/636.76	c learnt constraints deletion: 566 -> 301
638.39/638.51	c learnt constraints deletion: 499 -> 265
642.29/642.42	c learnt constraints deletion: 598 -> 314
644.79/644.95	c learnt constraints deletion: 582 -> 316
645.98/646.19	c learnt constraints deletion: 538 -> 293
647.89/648.02	c learnt constraints deletion: 463 -> 256
650.69/650.80	c learnt constraints deletion: 596 -> 338
652.09/652.27	c learnt constraints deletion: 551 -> 314
654.59/654.80	c learnt constraints deletion: 601 -> 319
657.39/657.53	c learnt constraints deletion: 494 -> 265
659.18/659.36	c learnt constraints deletion: 509 -> 274
661.88/662.01	c learnt constraints deletion: 534 -> 287
664.49/664.66	c learnt constraints deletion: 605 -> 324
666.78/666.91	c learnt constraints deletion: 454 -> 248
669.88/670.06	c learnt constraints deletion: 550 -> 297
672.58/672.76	c learnt constraints deletion: 566 -> 306
675.29/675.46	c learnt constraints deletion: 519 -> 284
678.49/678.65	c learnt constraints deletion: 650 -> 350
681.58/681.70	c learnt constraints deletion: 658 -> 355
684.18/684.37	c learnt constraints deletion: 556 -> 305
686.78/686.98	c learnt constraints deletion: 571 -> 314
689.28/689.47	c learnt constraints deletion: 513 -> 286
691.78/691.93	c learnt constraints deletion: 476 -> 268
696.58/696.72	c learnt constraints deletion: 635 -> 350
698.88/699.05	c learnt constraints deletion: 522 -> 294
702.07/702.20	c learnt constraints deletion: 717 -> 393
704.47/704.61	c learnt constraints deletion: 573 -> 322
706.87/707.06	c learnt constraints deletion: 608 -> 340
709.29/709.42	c learnt constraints deletion: 544 -> 309
712.17/712.33	c learnt constraints deletion: 671 -> 374
714.78/714.93	c learnt constraints deletion: 686 -> 382
717.08/717.27	c learnt constraints deletion: 580 -> 330
718.37/718.55	c learnt constraints deletion: 566 -> 324
722.28/722.41	c learnt constraints deletion: 643 -> 364
724.37/724.59	c learnt constraints deletion: 544 -> 315
726.67/726.82	c learnt constraints deletion: 558 -> 323
728.37/728.57	c learnt constraints deletion: 595 -> 362
729.78/729.93	c learnt constraints deletion: 496 -> 293
731.27/731.50	c learnt constraints deletion: 600 -> 347
733.18/733.39	c learnt constraints deletion: 501 -> 297
734.58/734.74	c learnt constraints deletion: 570 -> 333
738.17/738.37	c learnt constraints deletion: 661 -> 379
739.08/739.28	c learnt constraints deletion: 602 -> 373
740.87/741.08	c learnt constraints deletion: 529 -> 314
743.38/743.55	c learnt constraints deletion: 647 -> 374
744.37/744.51	c learnt constraints deletion: 557 -> 330
746.27/746.40	c learnt constraints deletion: 508 -> 305
747.57/747.75	c learnt constraints deletion: 558 -> 331
749.57/749.78	c learnt constraints deletion: 587 -> 348
751.77/751.90	c learnt constraints deletion: 608 -> 383
755.07/755.27	c learnt constraints deletion: 669 -> 390
756.87/757.08	c learnt constraints deletion: 552 -> 332
758.26/758.46	c learnt constraints deletion: 617 -> 375
759.87/760.07	c learnt constraints deletion: 513 -> 314
762.17/762.32	c learnt constraints deletion: 541 -> 329
763.96/764.14	c learnt constraints deletion: 536 -> 327
766.17/766.39	c learnt constraints deletion: 580 -> 359
767.87/768.09	c learnt constraints deletion: 541 -> 332
770.17/770.30	c learnt constraints deletion: 682 -> 403
770.87/771.03	c learnt constraints deletion: 588 -> 362
772.67/772.87	c learnt constraints deletion: 596 -> 378
775.77/775.97	c learnt constraints deletion: 696 -> 413
777.48/777.69	c learnt constraints deletion: 649 -> 391
779.47/779.69	c learnt constraints deletion: 593 -> 364
780.47/780.61	c learnt constraints deletion: 565 -> 351
782.37/782.51	c learnt constraints deletion: 673 -> 409
783.36/783.53	c learnt constraints deletion: 584 -> 361
784.66/784.86	c learnt constraints deletion: 554 -> 346
786.17/786.35	c learnt constraints deletion: 605 -> 392
787.57/787.79	c learnt constraints deletion: 583 -> 371
789.36/789.56	c learnt constraints deletion: 590 -> 367
791.37/791.51	c learnt constraints deletion: 679 -> 413
792.26/792.42	c learnt constraints deletion: 602 -> 375
794.17/794.39	c learnt constraints deletion: 616 -> 407
795.36/795.55	c learnt constraints deletion: 525 -> 337
796.46/796.68	c learnt constraints deletion: 611 -> 382
798.37/798.52	c learnt constraints deletion: 652 -> 402
799.27/799.46	c learnt constraints deletion: 576 -> 364
800.96/801.17	c learnt constraints deletion: 597 -> 378
802.66/802.88	c learnt constraints deletion: 627 -> 411
803.97/804.18	c learnt constraints deletion: 559 -> 358
805.56/805.79	c learnt constraints deletion: 552 -> 355
807.36/807.51	c learnt constraints deletion: 564 -> 362
808.66/808.81	c learnt constraints deletion: 632 -> 415
809.56/809.73	c learnt constraints deletion: 549 -> 356
810.96/811.19	c learnt constraints deletion: 578 -> 371
812.56/812.75	c learnt constraints deletion: 584 -> 375
814.26/814.42	c learnt constraints deletion: 641 -> 421
815.26/815.43	c learnt constraints deletion: 568 -> 368
816.26/816.46	c learnt constraints deletion: 607 -> 399
817.46/817.63	c learnt constraints deletion: 549 -> 360
818.26/818.48	c learnt constraints deletion: 604 -> 389
819.86/820.05	c learnt constraints deletion: 632 -> 406
821.16/821.37	c learnt constraints deletion: 598 -> 388
822.26/822.49	c learnt constraints deletion: 540 -> 358
824.16/824.39	c learnt constraints deletion: 599 -> 390
825.66/825.81	c learnt constraints deletion: 554 -> 368
827.36/827.59	c learnt constraints deletion: 641 -> 448
827.86/828.02	c learnt constraints deletion: 565 -> 376
829.16/829.34	c learnt constraints deletion: 546 -> 367
830.55/830.73	c learnt constraints deletion: 592 -> 391
832.06/832.24	c learnt constraints deletion: 622 -> 407
832.96/833.19	c learnt constraints deletion: 683 -> 461
834.15/834.36	c learnt constraints deletion: 626 -> 313
835.86/836.03	c learnt constraints deletion: 556 -> 282
838.65/838.89	c learnt constraints deletion: 530 -> 272
841.16/841.31	c learnt constraints deletion: 536 -> 273
844.45/844.64	c learnt constraints deletion: 583 -> 295
847.55/847.76	c learnt constraints deletion: 609 -> 315
850.35/850.55	c learnt constraints deletion: 523 -> 266
853.46/853.69	c learnt constraints deletion: 512 -> 261
855.86/856.04	c learnt constraints deletion: 575 -> 294
859.06/859.23	c learnt constraints deletion: 594 -> 306
864.05/864.27	c learnt constraints deletion: 654 -> 335
866.75/866.98	c learnt constraints deletion: 626 -> 322
869.45/869.64	c learnt constraints deletion: 611 -> 318
873.05/873.21	c learnt constraints deletion: 731 -> 377
874.95/875.14	c learnt constraints deletion: 738 -> 382
876.75/876.99	c learnt constraints deletion: 751 -> 387
878.85/879.01	c learnt constraints deletion: 708 -> 365
882.06/882.26	c learnt constraints deletion: 601 -> 312
885.55/885.70	c learnt constraints deletion: 616 -> 320
888.74/888.95	c learnt constraints deletion: 608 -> 317
891.55/891.79	c learnt constraints deletion: 543 -> 286
894.75/894.99	c learnt constraints deletion: 546 -> 288
897.55/897.71	c learnt constraints deletion: 527 -> 280
900.54/900.77	c learnt constraints deletion: 510 -> 272
904.15/904.35	c learnt constraints deletion: 680 -> 403
906.44/906.68	c learnt constraints deletion: 566 -> 302
909.04/909.28	c learnt constraints deletion: 509 -> 275
912.24/912.40	c learnt constraints deletion: 619 -> 331
914.74/914.98	c learnt constraints deletion: 588 -> 316
917.45/917.61	c learnt constraints deletion: 535 -> 291
920.64/920.84	c learnt constraints deletion: 632 -> 342
925.24/925.46	c learnt constraints deletion: 657 -> 355
926.74/926.98	c learnt constraints deletion: 581 -> 319
930.74/930.90	c learnt constraints deletion: 644 -> 350
933.14/933.34	c learnt constraints deletion: 546 -> 302
935.04/935.20	c learnt constraints deletion: 624 -> 343
937.24/937.43	c learnt constraints deletion: 518 -> 289
939.74/939.95	c learnt constraints deletion: 535 -> 299
942.34/942.51	c learnt constraints deletion: 558 -> 311
944.65/944.83	c learnt constraints deletion: 520 -> 293
949.24/949.40	c learnt constraints deletion: 688 -> 379
951.54/951.79	c learnt constraints deletion: 622 -> 347
953.73/953.96	c learnt constraints deletion: 543 -> 309
956.44/956.66	c learnt constraints deletion: 635 -> 356
958.44/958.65	c learnt constraints deletion: 620 -> 349
961.63/961.81	c learnt constraints deletion: 593 -> 337
963.74/963.92	c learnt constraints deletion: 565 -> 324
965.23/965.48	c learnt constraints deletion: 615 -> 350
967.74/967.92	c learnt constraints deletion: 650 -> 371
969.94/970.19	c learnt constraints deletion: 645 -> 379
973.53/973.77	c learnt constraints deletion: 657 -> 374
975.54/975.79	c learnt constraints deletion: 624 -> 358
977.64/977.88	c learnt constraints deletion: 608 -> 351
980.54/980.71	c learnt constraints deletion: 633 -> 366
982.53/982.75	c learnt constraints deletion: 602 -> 351
984.94/985.18	c learnt constraints deletion: 630 -> 372
987.43/987.62	c learnt constraints deletion: 679 -> 417
988.94/989.12	c learnt constraints deletion: 576 -> 340
990.94/991.17	c learnt constraints deletion: 543 -> 325
992.83/993.04	c learnt constraints deletion: 581 -> 345
994.63/994.83	c learnt constraints deletion: 543 -> 327
996.93/997.14	c learnt constraints deletion: 635 -> 375
998.84/999.09	c learnt constraints deletion: 583 -> 349
1000.13/1000.36	c learnt constraints deletion: 610 -> 363
1001.43/1001.60	c learnt constraints deletion: 623 -> 371
1003.53/1003.77	c learnt constraints deletion: 606 -> 362
1006.13/1006.34	c learnt constraints deletion: 683 -> 402
1008.03/1008.23	c learnt constraints deletion: 611 -> 367
1009.33/1009.55	c learnt constraints deletion: 587 -> 356
1011.53/1011.75	c learnt constraints deletion: 586 -> 356
1012.83/1013.01	c learnt constraints deletion: 582 -> 355
1014.93/1015.13	c learnt constraints deletion: 628 -> 379
1016.24/1016.46	c learnt constraints deletion: 566 -> 349
1018.13/1018.38	c learnt constraints deletion: 656 -> 405
1019.33/1019.53	c learnt constraints deletion: 591 -> 364
1021.03/1021.21	c learnt constraints deletion: 689 -> 435
1022.12/1022.33	c learnt constraints deletion: 638 -> 389
1024.03/1024.21	c learnt constraints deletion: 613 -> 378
1026.03/1026.27	c learnt constraints deletion: 646 -> 394
1027.93/1028.11	c learnt constraints deletion: 652 -> 398
1029.33/1029.55	c learnt constraints deletion: 628 -> 387
1030.72/1030.95	c learnt constraints deletion: 631 -> 390
1033.23/1033.40	c learnt constraints deletion: 672 -> 412
1034.63/1034.80	c learnt constraints deletion: 615 -> 386
1036.33/1036.52	c learnt constraints deletion: 687 -> 449
1037.23/1037.49	c learnt constraints deletion: 590 -> 374
1038.43/1038.65	c learnt constraints deletion: 628 -> 394
1040.23/1040.46	c learnt constraints deletion: 617 -> 389
1041.22/1041.46	c learnt constraints deletion: 639 -> 401
1042.53/1042.77	c learnt constraints deletion: 647 -> 407
1043.83/1044.00	c learnt constraints deletion: 585 -> 376
1045.33/1045.52	c learnt constraints deletion: 606 -> 386
1047.13/1047.36	c learnt constraints deletion: 683 -> 445
1047.93/1048.15	c learnt constraints deletion: 639 -> 405
1049.52/1049.77	c learnt constraints deletion: 695 -> 445
1050.92/1051.14	c learnt constraints deletion: 692 -> 433
1052.22/1052.42	c learnt constraints deletion: 621 -> 398
1053.32/1053.56	c learnt constraints deletion: 645 -> 412
1055.22/1055.48	c learnt constraints deletion: 618 -> 398
1056.52/1056.73	c learnt constraints deletion: 601 -> 391
1058.22/1058.41	c learnt constraints deletion: 650 -> 417
1059.42/1059.67	c learnt constraints deletion: 640 -> 417
1060.82/1061.01	c learnt constraints deletion: 640 -> 414
1062.33/1062.52	c learnt constraints deletion: 637 -> 414
1063.62/1063.81	c learnt constraints deletion: 656 -> 425
1064.82/1065.00	c learnt constraints deletion: 622 -> 409
1066.42/1066.62	c learnt constraints deletion: 676 -> 473
1067.12/1067.38	c learnt constraints deletion: 640 -> 419
1068.22/1068.44	c learnt constraints deletion: 637 -> 419
1069.62/1069.83	c learnt constraints deletion: 638 -> 421
1071.02/1071.20	c learnt constraints deletion: 619 -> 414
1072.42/1072.69	c learnt constraints deletion: 616 -> 415
1074.12/1074.35	c learnt constraints deletion: 740 -> 484
1074.62/1074.88	c learnt constraints deletion: 622 -> 420
1075.92/1076.18	c learnt constraints deletion: 638 -> 429
1077.42/1077.68	c learnt constraints deletion: 637 -> 437
1078.72/1078.99	c learnt constraints deletion: 633 -> 430
1080.51/1080.72	c learnt constraints deletion: 621 -> 422
1082.02/1082.21	c learnt constraints deletion: 703 -> 467
1082.92/1083.11	c learnt constraints deletion: 657 -> 447
1084.22/1084.46	c learnt constraints deletion: 690 -> 467
1085.71/1085.92	c learnt constraints deletion: 688 -> 472
1086.63/1086.88	c learnt constraints deletion: 665 -> 468
1088.11/1088.34	c learnt constraints deletion: 706 -> 466
1089.92/1090.14	c learnt constraints deletion: 719 -> 478
1091.22/1091.48	c learnt constraints deletion: 669 -> 455
1092.21/1092.48	c learnt constraints deletion: 626 -> 426
1093.52/1093.74	c learnt constraints deletion: 693 -> 465
1094.62/1094.84	c learnt constraints deletion: 708 -> 474
1095.82/1096.07	c learnt constraints deletion: 713 -> 488
1097.01/1097.26	c learnt constraints deletion: 706 -> 471
1097.92/1098.15	c learnt constraints deletion: 681 -> 456
1099.02/1099.23	c learnt constraints deletion: 645 -> 441
1100.41/1100.68	c learnt constraints deletion: 675 -> 454
1101.52/1101.70	c learnt constraints deletion: 681 -> 462
1102.51/1102.73	c learnt constraints deletion: 687 -> 459
1103.41/1103.61	c learnt constraints deletion: 661 -> 448
1104.41/1104.62	c learnt constraints deletion: 667 -> 456
1105.41/1105.61	c learnt constraints deletion: 670 -> 466
1106.33/1106.56	c learnt constraints deletion: 632 -> 435
1107.21/1107.47	c learnt constraints deletion: 648 -> 451
1108.52/1108.71	c learnt constraints deletion: 687 -> 462
1109.51/1109.75	c learnt constraints deletion: 645 -> 444
1110.52/1110.79	c learnt constraints deletion: 660 -> 453
1111.71/1111.93	c learnt constraints deletion: 672 -> 459
1112.42/1112.69	c learnt constraints deletion: 645 -> 446
1113.72/1113.98	c learnt constraints deletion: 683 -> 467
1114.51/1114.76	c learnt constraints deletion: 652 -> 453
1115.31/1115.53	c learnt constraints deletion: 668 -> 464
1116.02/1116.24	c learnt constraints deletion: 668 -> 467
1116.71/1116.93	c learnt constraints deletion: 694 -> 487
1117.22/1117.49	c learnt constraints deletion: 694 -> 497
1117.71/1117.91	c learnt constraints deletion: 674 -> 473
1118.31/1118.53	c learnt constraints deletion: 665 -> 466
1119.01/1119.25	c learnt constraints deletion: 665 -> 468
1119.71/1119.95	c learnt constraints deletion: 655 -> 462
1120.41/1120.68	c learnt constraints deletion: 653 -> 457
1121.11/1121.39	c learnt constraints deletion: 651 -> 459
1121.91/1122.16	c learnt constraints deletion: 665 -> 484
1122.51/1122.74	c learnt constraints deletion: 646 -> 453
1123.22/1123.43	c learnt constraints deletion: 647 -> 446
1123.92/1124.18	c learnt constraints deletion: 641 -> 445
1124.91/1125.14	c learnt constraints deletion: 671 -> 460
1126.11/1126.40	c learnt constraints deletion: 689 -> 469
1127.11/1127.30	c learnt constraints deletion: 654 -> 458
1128.31/1128.57	c learnt constraints deletion: 715 -> 488
1129.52/1129.71	c learnt constraints deletion: 693 -> 468
1130.52/1130.71	c learnt constraints deletion: 677 -> 465
1131.51/1131.70	c learnt constraints deletion: 659 -> 477
1132.61/1132.82	c learnt constraints deletion: 686 -> 460
1133.51/1133.75	c learnt constraints deletion: 643 -> 436
1134.81/1135.02	c learnt constraints deletion: 646 -> 420
1136.02/1136.25	c learnt constraints deletion: 624 -> 402
1137.51/1137.78	c learnt constraints deletion: 662 -> 421
1139.42/1139.63	c learnt constraints deletion: 652 -> 417
1141.21/1141.45	c learnt constraints deletion: 683 -> 446
1142.62/1142.89	c learnt constraints deletion: 603 -> 390
1144.01/1144.27	c learnt constraints deletion: 695 -> 440
1145.71/1145.93	c learnt constraints deletion: 709 -> 474
1146.61/1146.86	c learnt constraints deletion: 607 -> 392
1148.80/1149.00	c learnt constraints deletion: 671 -> 423
1150.31/1150.52	c learnt constraints deletion: 661 -> 408
1151.80/1152.00	c learnt constraints deletion: 677 -> 414
1153.80/1154.04	c learnt constraints deletion: 714 -> 440
1155.71/1155.98	c learnt constraints deletion: 632 -> 318
1157.60/1157.87	c learnt constraints deletion: 549 -> 279
1160.11/1160.33	c learnt constraints deletion: 648 -> 327
1163.80/1164.06	c learnt constraints deletion: 584 -> 295
1165.61/1165.82	c learnt constraints deletion: 647 -> 358
1167.31/1167.56	c learnt constraints deletion: 549 -> 279
1170.22/1170.45	c learnt constraints deletion: 650 -> 330
1173.30/1173.53	c learnt constraints deletion: 747 -> 380
1175.90/1176.19	c learnt constraints deletion: 569 -> 291
1179.70/1179.93	c learnt constraints deletion: 571 -> 297
1184.80/1185.03	c learnt constraints deletion: 749 -> 382
1187.50/1187.79	c learnt constraints deletion: 628 -> 322
1190.01/1190.28	c learnt constraints deletion: 690 -> 354
1192.50/1192.78	c learnt constraints deletion: 616 -> 317
1195.30/1195.53	c learnt constraints deletion: 652 -> 348
1196.81/1197.01	c learnt constraints deletion: 596 -> 312
1199.30/1199.51	c learnt constraints deletion: 642 -> 336
1202.40/1202.61	c learnt constraints deletion: 628 -> 326
1205.20/1205.42	c learnt constraints deletion: 557 -> 291
1208.80/1209.03	c learnt constraints deletion: 627 -> 327
1210.60/1210.86	c learnt constraints deletion: 652 -> 341
1212.10/1212.36	c learnt constraints deletion: 561 -> 295
1214.60/1214.80	c learnt constraints deletion: 690 -> 361
1216.41/1216.64	c learnt constraints deletion: 667 -> 352
1218.50/1218.71	c learnt constraints deletion: 576 -> 303
1220.80/1221.10	c learnt constraints deletion: 706 -> 385
1223.40/1223.60	c learnt constraints deletion: 611 -> 322
1225.20/1225.40	c learnt constraints deletion: 675 -> 355
1226.60/1226.82	c learnt constraints deletion: 596 -> 315
1229.30/1229.58	c learnt constraints deletion: 580 -> 309
1231.99/1232.24	c learnt constraints deletion: 633 -> 336
1234.80/1235.03	c learnt constraints deletion: 688 -> 372
1237.00/1237.29	c learnt constraints deletion: 590 -> 315
1238.79/1239.03	c learnt constraints deletion: 618 -> 330
1240.99/1241.22	c learnt constraints deletion: 625 -> 335
1242.60/1242.84	c learnt constraints deletion: 598 -> 321
1246.40/1246.64	c learnt constraints deletion: 593 -> 320
1248.60/1248.82	c learnt constraints deletion: 606 -> 327
1251.50/1251.77	c learnt constraints deletion: 609 -> 330
1254.29/1254.57	c learnt constraints deletion: 722 -> 388
1255.70/1255.96	c learnt constraints deletion: 647 -> 351
1258.09/1258.39	c learnt constraints deletion: 563 -> 308
1259.69/1259.96	c learnt constraints deletion: 648 -> 351
1261.70/1261.95	c learnt constraints deletion: 586 -> 320
1265.29/1265.58	c learnt constraints deletion: 746 -> 401
1267.79/1268.05	c learnt constraints deletion: 604 -> 331
1270.79/1271.02	c learnt constraints deletion: 691 -> 376
1272.09/1272.36	c learnt constraints deletion: 609 -> 336
1275.18/1275.48	c learnt constraints deletion: 606 -> 335
1279.89/1280.19	c learnt constraints deletion: 720 -> 394
1281.89/1282.13	c learnt constraints deletion: 598 -> 335
1284.88/1285.14	c learnt constraints deletion: 635 -> 354
1287.18/1287.42	c learnt constraints deletion: 651 -> 365
1290.19/1290.47	c learnt constraints deletion: 650 -> 363
1293.09/1293.33	c learnt constraints deletion: 707 -> 393
1294.39/1294.68	c learnt constraints deletion: 728 -> 416
1295.88/1296.17	c learnt constraints deletion: 661 -> 370
1298.18/1298.45	c learnt constraints deletion: 651 -> 366
1299.49/1299.79	c learnt constraints deletion: 588 -> 334
1301.98/1302.25	c learnt constraints deletion: 692 -> 388
1304.19/1304.48	c learnt constraints deletion: 728 -> 410
1305.89/1306.18	c learnt constraints deletion: 670 -> 379
1308.48/1308.70	c learnt constraints deletion: 644 -> 364
1312.19/1312.41	c learnt constraints deletion: 773 -> 433
1313.79/1314.04	c learnt constraints deletion: 668 -> 376
1317.28/1317.56	c learnt constraints deletion: 647 -> 368
1319.48/1319.73	c learnt constraints deletion: 603 -> 349
1322.39/1322.68	c learnt constraints deletion: 642 -> 375
1326.39/1326.67	c learnt constraints deletion: 779 -> 448
1328.49/1328.78	c learnt constraints deletion: 743 -> 426
1330.18/1330.41	c learnt constraints deletion: 679 -> 394
1332.38/1332.65	c learnt constraints deletion: 708 -> 411
1336.08/1336.39	c learnt constraints deletion: 776 -> 436
1338.88/1339.17	c learnt constraints deletion: 739 -> 416
1340.98/1341.23	c learnt constraints deletion: 680 -> 385
1343.48/1343.74	c learnt constraints deletion: 591 -> 340
1345.18/1345.49	c learnt constraints deletion: 677 -> 392
1347.57/1347.83	c learnt constraints deletion: 647 -> 371
1349.98/1350.29	c learnt constraints deletion: 675 -> 399
1353.58/1353.80	c learnt constraints deletion: 767 -> 432
1356.28/1356.50	c learnt constraints deletion: 694 -> 393
1359.18/1359.40	c learnt constraints deletion: 632 -> 362
1362.97/1363.25	c learnt constraints deletion: 693 -> 398
1365.47/1365.71	c learnt constraints deletion: 614 -> 366
1367.87/1368.13	c learnt constraints deletion: 701 -> 417
1371.78/1372.01	c learnt constraints deletion: 768 -> 439
1373.48/1373.72	c learnt constraints deletion: 590 -> 345
1375.78/1376.08	c learnt constraints deletion: 665 -> 387
1378.38/1378.69	c learnt constraints deletion: 685 -> 393
1381.77/1382.08	c learnt constraints deletion: 755 -> 427
1383.97/1384.20	c learnt constraints deletion: 663 -> 382
1387.08/1387.36	c learnt constraints deletion: 733 -> 417
1388.77/1389.04	c learnt constraints deletion: 706 -> 407
1392.47/1392.76	c learnt constraints deletion: 762 -> 436
1395.17/1395.44	c learnt constraints deletion: 689 -> 397
1397.67/1397.98	c learnt constraints deletion: 688 -> 395
1399.87/1400.20	c learnt constraints deletion: 693 -> 401
1402.18/1402.41	c learnt constraints deletion: 680 -> 400
1404.07/1404.34	c learnt constraints deletion: 797 -> 472
1405.27/1405.55	c learnt constraints deletion: 659 -> 397
1407.78/1408.04	c learnt constraints deletion: 664 -> 390
1410.17/1410.47	c learnt constraints deletion: 593 -> 351
1412.77/1413.02	c learnt constraints deletion: 603 -> 355
1416.17/1416.41	c learnt constraints deletion: 602 -> 355
1418.56/1418.85	c learnt constraints deletion: 663 -> 388
1419.88/1420.15	c learnt constraints deletion: 677 -> 395
1423.46/1423.77	c learnt constraints deletion: 753 -> 434
1425.38/1425.61	c learnt constraints deletion: 630 -> 373
1426.57/1426.86	c learnt constraints deletion: 653 -> 386
1429.27/1429.53	c learnt constraints deletion: 621 -> 371
1432.97/1433.22	c learnt constraints deletion: 785 -> 455
1434.57/1434.84	c learnt constraints deletion: 601 -> 364
1436.28/1436.51	c learnt constraints deletion: 642 -> 385
1439.07/1439.32	c learnt constraints deletion: 697 -> 414
1440.77/1441.01	c learnt constraints deletion: 644 -> 388
1442.97/1443.20	c learnt constraints deletion: 716 -> 447
1445.57/1445.89	c learnt constraints deletion: 745 -> 442
1448.37/1448.67	c learnt constraints deletion: 716 -> 429
1450.97/1451.29	c learnt constraints deletion: 685 -> 416
1453.76/1454.03	c learnt constraints deletion: 677 -> 414
1456.26/1456.58	c learnt constraints deletion: 732 -> 443
1458.76/1459.06	c learnt constraints deletion: 707 -> 433
1461.17/1461.47	c learnt constraints deletion: 737 -> 450
1463.46/1463.75	c learnt constraints deletion: 688 -> 427
1465.26/1465.55	c learnt constraints deletion: 703 -> 437
1466.96/1467.23	c learnt constraints deletion: 663 -> 418
1468.76/1469.07	c learnt constraints deletion: 675 -> 425
1470.37/1470.69	c learnt constraints deletion: 716 -> 447
1472.06/1472.39	c learnt constraints deletion: 711 -> 460
1473.76/1474.07	c learnt constraints deletion: 675 -> 429
1475.26/1475.58	c learnt constraints deletion: 676 -> 429
1476.85/1477.19	c learnt constraints deletion: 668 -> 426
1478.66/1478.92	c learnt constraints deletion: 739 -> 470
1479.56/1479.88	c learnt constraints deletion: 639 -> 414
1481.46/1481.77	c learnt constraints deletion: 700 -> 446
1483.36/1483.65	c learnt constraints deletion: 743 -> 483
1484.66/1484.94	c learnt constraints deletion: 694 -> 446
1486.76/1487.00	c learnt constraints deletion: 725 -> 463
1488.25/1488.58	c learnt constraints deletion: 668 -> 436
1489.75/1490.03	c learnt constraints deletion: 730 -> 469
1491.45/1491.74	c learnt constraints deletion: 704 -> 458
1492.55/1492.85	c learnt constraints deletion: 695 -> 455
1494.06/1494.35	c learnt constraints deletion: 694 -> 456
1495.66/1495.94	c learnt constraints deletion: 683 -> 454
1497.45/1497.73	c learnt constraints deletion: 719 -> 475
1498.66/1498.96	c learnt constraints deletion: 704 -> 481
1499.76/1500.02	c learnt constraints deletion: 705 -> 473
1500.55/1500.86	c learnt constraints deletion: 689 -> 466
1501.66/1501.96	c learnt constraints deletion: 712 -> 479
1502.65/1502.96	c learnt constraints deletion: 702 -> 481
1503.46/1503.79	c learnt constraints deletion: 693 -> 474
1504.35/1504.70	c learnt constraints deletion: 711 -> 485
1505.25/1505.59	c learnt constraints deletion: 703 -> 487
1506.26/1506.59	c learnt constraints deletion: 724 -> 496
1507.06/1507.33	c learnt constraints deletion: 729 -> 501
1507.76/1508.09	c learnt constraints deletion: 755 -> 522
1508.35/1508.64	c learnt constraints deletion: 752 -> 533
1508.86/1509.17	c learnt constraints deletion: 728 -> 503
1509.65/1509.98	c learnt constraints deletion: 736 -> 504
1510.55/1510.81	c learnt constraints deletion: 715 -> 491
1511.35/1511.64	c learnt constraints deletion: 724 -> 496
1512.16/1512.50	c learnt constraints deletion: 717 -> 498
1513.06/1513.34	c learnt constraints deletion: 708 -> 490
1514.36/1514.61	c learnt constraints deletion: 739 -> 537
1515.05/1515.35	c learnt constraints deletion: 711 -> 499
1515.95/1516.28	c learnt constraints deletion: 689 -> 467
1517.25/1517.59	c learnt constraints deletion: 718 -> 478
1518.45/1518.74	c learnt constraints deletion: 677 -> 456
1520.25/1520.57	c learnt constraints deletion: 752 -> 494
1521.45/1521.75	c learnt constraints deletion: 687 -> 460
1522.65/1522.90	c learnt constraints deletion: 677 -> 447
1524.05/1524.30	c learnt constraints deletion: 722 -> 467
1525.25/1525.53	c learnt constraints deletion: 697 -> 453
1526.75/1527.05	c learnt constraints deletion: 690 -> 449
1527.85/1528.13	c learnt constraints deletion: 661 -> 435
1529.05/1529.36	c learnt constraints deletion: 672 -> 436
1530.45/1530.75	c learnt constraints deletion: 661 -> 431
1531.75/1532.03	c learnt constraints deletion: 690 -> 445
1533.35/1533.66	c learnt constraints deletion: 724 -> 461
1534.75/1535.03	c learnt constraints deletion: 713 -> 456
1536.46/1536.73	c learnt constraints deletion: 751 -> 475
1537.75/1538.00	c learnt constraints deletion: 658 -> 428
1538.95/1539.29	c learnt constraints deletion: 722 -> 463
1541.15/1541.42	c learnt constraints deletion: 714 -> 429
1542.65/1542.91	c learnt constraints deletion: 636 -> 390
1544.75/1545.03	c learnt constraints deletion: 712 -> 438
1547.46/1547.71	c learnt constraints deletion: 683 -> 404
1550.15/1550.45	c learnt constraints deletion: 669 -> 394
1552.64/1552.91	c learnt constraints deletion: 650 -> 380
1554.95/1555.30	c learnt constraints deletion: 612 -> 357
1557.44/1557.74	c learnt constraints deletion: 614 -> 354
1560.14/1560.49	c learnt constraints deletion: 609 -> 358
1562.75/1563.02	c learnt constraints deletion: 602 -> 359
1566.55/1566.85	c learnt constraints deletion: 750 -> 437
1569.04/1569.36	c learnt constraints deletion: 657 -> 384
1571.34/1571.66	c learnt constraints deletion: 700 -> 403
1573.94/1574.29	c learnt constraints deletion: 660 -> 371
1575.95/1576.27	c learnt constraints deletion: 653 -> 373
1579.04/1579.33	c learnt constraints deletion: 703 -> 395
1581.55/1581.88	c learnt constraints deletion: 605 -> 344
1584.04/1584.31	c learnt constraints deletion: 617 -> 352
1586.75/1587.09	c learnt constraints deletion: 638 -> 362
1588.44/1588.72	c learnt constraints deletion: 650 -> 368
1590.94/1591.26	c learnt constraints deletion: 752 -> 437
1592.45/1592.73	c learnt constraints deletion: 639 -> 364
1595.14/1595.40	c learnt constraints deletion: 744 -> 422
1596.44/1596.76	c learnt constraints deletion: 690 -> 408
1598.05/1598.31	c learnt constraints deletion: 581 -> 331
1600.24/1600.52	c learnt constraints deletion: 620 -> 347
1605.44/1605.71	c learnt constraints deletion: 786 -> 429
1607.74/1608.04	c learnt constraints deletion: 717 -> 391
1609.53/1609.87	c learnt constraints deletion: 576 -> 318
1612.44/1612.79	c learnt constraints deletion: 671 -> 358
1614.55/1614.89	c learnt constraints deletion: 694 -> 365
1616.93/1617.28	c learnt constraints deletion: 608 -> 322
1620.23/1620.56	c learnt constraints deletion: 626 -> 328
1622.04/1622.40	c learnt constraints deletion: 789 -> 407
1623.34/1623.68	c learnt constraints deletion: 796 -> 408
1624.83/1625.19	c learnt constraints deletion: 745 -> 384
1626.54/1626.85	c learnt constraints deletion: 648 -> 335
1629.63/1629.95	c learnt constraints deletion: 737 -> 379
1634.84/1635.18	c learnt constraints deletion: 755 -> 391
1638.54/1638.86	c learnt constraints deletion: 635 -> 326
1643.43/1643.77	c learnt constraints deletion: 803 -> 410
1644.93/1645.28	c learnt constraints deletion: 537 -> 277
1647.33/1647.62	c learnt constraints deletion: 680 -> 342
1650.23/1650.55	c learnt constraints deletion: 572 -> 291
1653.83/1654.14	c learnt constraints deletion: 656 -> 345
1656.93/1657.29	c learnt constraints deletion: 665 -> 337
1658.63/1658.97	c learnt constraints deletion: 642 -> 333
1661.73/1662.06	c learnt constraints deletion: 561 -> 284
1664.13/1664.45	c learnt constraints deletion: 708 -> 371
1667.63/1667.91	c learnt constraints deletion: 672 -> 341
1670.83/1671.14	c learnt constraints deletion: 590 -> 300
1674.53/1674.89	c learnt constraints deletion: 673 -> 343
1676.43/1676.72	c learnt constraints deletion: 686 -> 343
1678.82/1679.18	c learnt constraints deletion: 620 -> 313
1681.93/1682.21	c learnt constraints deletion: 591 -> 298
1684.23/1684.55	c learnt constraints deletion: 659 -> 333
1687.13/1687.45	c learnt constraints deletion: 613 -> 311
1689.53/1689.80	c learnt constraints deletion: 680 -> 344
1692.64/1692.96	c learnt constraints deletion: 632 -> 321
1696.22/1696.51	c learnt constraints deletion: 599 -> 306
1699.43/1699.75	c learnt constraints deletion: 614 -> 314
1705.42/1705.75	c learnt constraints deletion: 700 -> 361
1709.13/1709.44	c learnt constraints deletion: 668 -> 345
1714.22/1714.57	c learnt constraints deletion: 726 -> 377
1717.32/1717.68	c learnt constraints deletion: 648 -> 340
1721.13/1721.46	c learnt constraints deletion: 688 -> 361
1725.22/1725.50	c learnt constraints deletion: 682 -> 360
1730.32/1730.61	c learnt constraints deletion: 731 -> 387
1734.82/1735.15	c learnt constraints deletion: 710 -> 378
1738.12/1738.41	c learnt constraints deletion: 618 -> 333
1743.13/1743.44	c learnt constraints deletion: 698 -> 376
1747.62/1747.96	c learnt constraints deletion: 719 -> 389
1750.83/1751.19	c learnt constraints deletion: 636 -> 348
1753.72/1754.03	c learnt constraints deletion: 633 -> 348
1757.82/1758.10	c learnt constraints deletion: 625 -> 346
1762.11/1762.42	c learnt constraints deletion: 719 -> 397
1764.12/1764.46	c learnt constraints deletion: 641 -> 359
1767.52/1767.84	c learnt constraints deletion: 644 -> 360
1771.21/1771.54	c learnt constraints deletion: 629 -> 355
1776.41/1776.70	c learnt constraints deletion: 751 -> 419
1780.12/1780.42	c learnt constraints deletion: 700 -> 395
1784.61/1784.93	c learnt constraints deletion: 731 -> 414
1787.81/1788.17	c learnt constraints deletion: 655 -> 378
1791.41/1791.70	c learnt constraints deletion: 733 -> 420
1795.11/1795.44	c learnt constraints deletion: 715 -> 413
1797.91/1798.21	c learnt constraints deletion: 652 -> 383

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3706607-1338111537/watcher-3706607-1338111537 -o /tmp/evaluation-result-3706607-1338111537/solver-3706607-1338111537 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706607-1338111537.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.92 2/178 22392
/proc/meminfo: memFree=29897980/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 814 0 0 0 0 0 0 0 20 0 1 0 277278489 6356992 735 33554432000 4194304 8973514 140733368533968 140734644214824 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/22392/statm: 1552 735 415 1167 0 333 0

[startup+0.00989492 s]
/proc/loadavg: 1.92 1.98 1.92 2/178 22392
/proc/meminfo: memFree=29897980/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=7232 CPUtime=0 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 900 0 0 0 0 0 0 0 20 0 1 0 277278489 7405568 821 33554432000 4194304 8973514 140733368533968 140734644214824 4213859 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/22392/statm: 1808 828 420 1167 0 589 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7232

[startup+0.100212 s]
/proc/loadavg: 1.92 1.98 1.92 2/178 22392
/proc/meminfo: memFree=29897980/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=8256 CPUtime=0.09 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 1164 0 0 0 9 0 0 0 20 0 1 0 277278489 8454144 1085 33554432000 4194304 8973514 140733368533968 140734644214824 4212523 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/22392/statm: 2064 1088 450 1167 0 845 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8256

[startup+0.300191 s]
/proc/loadavg: 1.92 1.98 1.92 2/178 22392
/proc/meminfo: memFree=29897980/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=8256 CPUtime=0.29 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 1368 0 0 0 29 0 0 0 20 0 1 0 277278489 8454144 1289 33554432000 4194304 8973514 140733368533968 140734644214824 4415896 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/22392/statm: 2064 1289 450 1167 0 845 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8256

[startup+0.700218 s]
/proc/loadavg: 1.92 1.98 1.92 2/178 22392
/proc/meminfo: memFree=29897980/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=8256 CPUtime=0.68 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 1370 0 0 0 68 0 0 0 20 0 1 0 277278489 8454144 1291 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 2064 1291 452 1167 0 845 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8256

[startup+1.50022 s]
/proc/loadavg: 1.92 1.98 1.92 3/179 22393
/proc/meminfo: memFree=29893476/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=9280 CPUtime=1.49 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 1627 0 0 0 148 1 0 0 20 0 1 0 277278489 9502720 1548 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 2320 1548 453 1167 0 1101 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9280

[startup+3.10022 s]
/proc/loadavg: 1.92 1.98 1.92 3/179 22393
/proc/meminfo: memFree=29892360/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=9280 CPUtime=3.09 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 1627 0 0 0 307 2 0 0 20 0 1 0 277278489 9502720 1548 33554432000 4194304 8973514 140733368533968 140733368533072 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 2320 1548 453 1167 0 1101 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9280

[startup+6.30022 s]
/proc/loadavg: 1.93 1.98 1.92 3/179 22393
/proc/meminfo: memFree=29891988/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=9280 CPUtime=6.28 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 1627 0 0 0 623 5 0 0 20 0 1 0 277278489 9502720 1548 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 2320 1548 453 1167 0 1101 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 9280

[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.92 3/179 22393
/proc/meminfo: memFree=29891516/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=9280 CPUtime=12.69 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 1627 0 0 0 1254 15 0 0 20 0 1 0 277278489 9502720 1548 33554432000 4194304 8973514 140733368533968 140733368533464 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 2320 1548 453 1167 0 1101 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9280

[startup+25.5002 s]
/proc/loadavg: 1.95 1.98 1.92 3/179 22393
/proc/meminfo: memFree=29894244/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=9280 CPUtime=25.49 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 1628 0 0 0 2519 30 0 0 20 0 1 0 277278489 9502720 1548 33554432000 4194304 8973514 140733368533968 140733368533232 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 2320 1548 453 1167 0 1101 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 9280

[startup+51.1002 s]
/proc/loadavg: 1.96 1.98 1.92 3/179 22393
/proc/meminfo: memFree=29891888/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=10304 CPUtime=51.08 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 1884 0 0 0 5057 51 0 0 20 0 1 0 277278489 10551296 1804 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 2576 1804 453 1167 0 1357 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 10304

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.92 3/180 22396
/proc/meminfo: memFree=29891320/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=10304 CPUtime=102.28 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 1885 0 0 0 10143 85 0 0 20 0 1 0 277278489 10551296 1805 33554432000 4194304 8973514 140733368533968 140733368533464 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 2576 1805 453 1167 0 1357 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 10304

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.92 3/179 22396
/proc/meminfo: memFree=29890336/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=11328 CPUtime=162.27 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 2141 0 0 0 16105 122 0 0 20 0 1 0 277278489 11599872 2061 33554432000 4194304 8973514 140733368533968 140733368533232 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 2832 2061 453 1167 0 1613 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 11328

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.92 3/179 22396
/proc/meminfo: memFree=29889652/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=11328 CPUtime=222.25 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 2142 0 0 0 22068 157 0 0 20 0 1 0 277278489 11599872 2061 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 2832 2061 453 1167 0 1613 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 11328

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.92 3/179 22397
/proc/meminfo: memFree=29887292/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=13376 CPUtime=282.24 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 3168 0 0 0 28027 197 0 0 20 0 1 0 277278489 13697024 2573 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 3344 2573 453 1167 0 2125 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 13376

[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.92 3/179 22397
/proc/meminfo: memFree=29887416/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=13376 CPUtime=342.23 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 3168 0 0 0 33986 237 0 0 20 0 1 0 277278489 13697024 2573 33554432000 4194304 8973514 140733368533968 140733368533464 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 3344 2573 453 1167 0 2125 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 13376

[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.92 3/179 22397
/proc/meminfo: memFree=29887788/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=13376 CPUtime=402.22 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 3169 0 0 0 39951 271 0 0 20 0 1 0 277278489 13697024 2574 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 3344 2574 453 1167 0 2125 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 13376

[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.92 3/179 22397
/proc/meminfo: memFree=29890392/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=13376 CPUtime=462.21 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 3169 0 0 0 45911 310 0 0 20 0 1 0 277278489 13697024 2574 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 3344 2574 453 1167 0 2125 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 13376

[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.92 3/179 22397
/proc/meminfo: memFree=29890020/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=13376 CPUtime=522.2 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 3169 0 0 0 51872 348 0 0 20 0 1 0 277278489 13697024 2574 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 3344 2574 453 1167 0 2125 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 13376

[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.92 3/179 22398
/proc/meminfo: memFree=29890516/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=13376 CPUtime=582.2 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 3169 0 0 0 57833 387 0 0 20 0 1 0 277278489 13697024 2574 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 3344 2574 453 1167 0 2125 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 13376

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/179 22402
/proc/meminfo: memFree=29887228/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=14400 CPUtime=882.15 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 3426 0 0 0 87641 574 0 0 20 0 1 0 277278489 14745600 2831 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 3600 2831 453 1167 0 2381 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 14400

[startup+942.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/179 22402
/proc/meminfo: memFree=29887660/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=13376 CPUtime=942.14 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 3427 0 0 0 93604 610 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 3344 2575 453 1167 0 2125 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 13376

[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/179 22402
/proc/meminfo: memFree=29887784/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=13376 CPUtime=1002.13 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 3427 0 0 0 99567 646 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533232 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 3344 2575 453 1167 0 2125 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 13376

[startup+1062.3 s]
/proc/loadavg: 2.08 2.01 1.93 3/179 22402
/proc/meminfo: memFree=29887660/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=13376 CPUtime=1062.12 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 3427 0 0 0 105531 681 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 3344 2575 453 1167 0 2125 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 13376

[startup+1122.3 s]
/proc/loadavg: 2.03 2.00 1.93 3/179 22402
/proc/meminfo: memFree=29885180/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=16448 CPUtime=1122.11 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 4195 0 0 0 111494 717 0 0 20 0 1 0 277278489 16842752 3343 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 4112 3343 453 1167 0 2893 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 16448

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/179 22403
/proc/meminfo: memFree=29887288/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=13376 CPUtime=1182.11 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 4195 0 0 0 117456 755 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 3344 2575 453 1167 0 2125 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 13376

[startup+1242.3 s]
/proc/loadavg: 2.06 2.01 1.94 3/179 22403
/proc/meminfo: memFree=29885860/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=13376 CPUtime=1242.09 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 4195 0 0 0 123419 790 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 3344 2575 453 1167 0 2125 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 13376

[startup+1302.3 s]
/proc/loadavg: 2.15 2.04 1.95 3/180 22406
/proc/meminfo: memFree=29885480/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=13376 CPUtime=1302.09 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 4195 0 0 0 129381 828 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533464 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 3344 2575 453 1167 0 2125 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 13376

[startup+1362.3 s]
/proc/loadavg: 2.17 2.06 1.96 3/180 22429
/proc/meminfo: memFree=29885232/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=13376 CPUtime=1362.08 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 4195 0 0 0 135345 863 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533464 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 3344 2575 453 1167 0 2125 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 13376

[startup+1422.31 s]
/proc/loadavg: 2.17 2.08 1.97 3/179 22429
/proc/meminfo: memFree=29885364/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=13376 CPUtime=1422.08 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 4195 0 0 0 141304 904 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533464 4437389 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 3344 2575 453 1167 0 2125 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 13376

[startup+1482.3 s]
/proc/loadavg: 2.16 2.09 1.98 3/179 22430
/proc/meminfo: memFree=29884248/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=13376 CPUtime=1482.06 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 4195 0 0 0 147266 940 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 3344 2575 453 1167 0 2125 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 13376

[startup+1542.3 s]
/proc/loadavg: 2.11 2.09 1.99 3/179 22430
/proc/meminfo: memFree=29885052/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=13376 CPUtime=1542.05 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 4707 0 0 0 153227 978 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 3344 2575 453 1167 0 2125 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 13376

[startup+1602.3 s]
/proc/loadavg: 2.07 2.08 1.99 3/179 22430
/proc/meminfo: memFree=29885176/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=13376 CPUtime=1602.04 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 4707 0 0 0 159190 1014 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 3344 2575 453 1167 0 2125 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 13376

[startup+1662.3 s]
/proc/loadavg: 2.02 2.07 1.99 3/179 22430
/proc/meminfo: memFree=29885112/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=13376 CPUtime=1662.03 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 4964 0 0 0 165150 1053 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533232 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 3344 2575 453 1167 0 2125 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 13376

[startup+1722.3 s]
/proc/loadavg: 2.01 2.05 1.99 3/179 22430
/proc/meminfo: memFree=29885236/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=13376 CPUtime=1722.02 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 4964 0 0 0 171114 1088 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 3344 2575 453 1167 0 2125 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 13376

[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 1.99 3/179 22470
/proc/meminfo: memFree=29879960/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=13376 CPUtime=1782.01 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 4964 0 0 0 177077 1124 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533232 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 3344 2575 453 1167 0 2125 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 13376



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.04 1.99 3/179 22470
/proc/meminfo: memFree=29880456/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=13376 CPUtime=1800.02 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 4964 0 0 0 178866 1136 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 3344 2575 453 1167 0 2125 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13376

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

Solver just ended. Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.00 2.04 1.99 3/179 22470
/proc/meminfo: memFree=29880456/32873844 swapFree=7372/7372
[pid=22392] ppid=22390 vsize=13376 CPUtime=1800.02 cores=0,2,4,6
/proc/22392/stat : 22392 (toysat) R 22390 22392 21797 0 -1 4202496 4964 0 0 0 178866 1136 0 0 20 0 1 0 277278489 13697024 2575 33554432000 4194304 8973514 140733368533968 140733368533464 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22392/statm: 3344 2575 453 1167 0 2125 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13376

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1788.67
CPU system time (s): 11.3603
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 16448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.67
system time used= 11.3603
maximum resident set size= 13372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4964
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= 9
involuntary context switches= 1876

runsolver used 2.94055 second user time and 8.49371 second system time

The end

Launcher Data

Begin job on node133 at 2012-05-27 11:38:57
IDJOB=3706607
IDBENCH=1854
IDSOLVER=2285
FILE ID=node133/3706607-1338111537
RUNJOBID= node133-1338109544-21813
PBS_JOBID= 14624470
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706607-1338111537/watcher-3706607-1338111537 -o /tmp/evaluation-result-3706607-1338111537/solver-3706607-1338111537 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3706607-1338111537.opb

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

MD5SUM BENCH= 4dd9ac2644c29d272d2675c7fc366ed6
RANDOM SEED=1467360996

node133.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.08
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
cpu MHz		: 2666.540
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
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
cpu MHz		: 2666.540
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
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
cpu MHz		: 2666.540
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
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
cpu MHz		: 2666.540
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
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
cpu MHz		: 2666.540
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
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
cpu MHz		: 2666.540
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
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
cpu MHz		: 2666.540
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29897716 kB
Buffers:          347652 kB
Cached:          1778924 kB
SwapCached:          104 kB
Active:           627512 kB
Inactive:        1520036 kB
Active(anon):      12128 kB
Inactive(anon):    11368 kB
Active(file):     615384 kB
Inactive(file):  1508668 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108752 kB
Dirty:              7680 kB
Writeback:             0 kB
AnonPages:         28312 kB
Mapped:            16284 kB
Shmem:               212 kB
Slab:             685664 kB
SReclaimable:     127728 kB
SUnreclaim:       557936 kB
KernelStack:        1464 kB
PageTables:         3896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     135072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node133 at 2012-05-27 12:08:59