0.00/0.01	c 2012-05-28T13:31:30+0200
0.00/0.01	c arch = x86_64
0.00/0.01	c os = linux
0.00/0.01	c compiler = ghc 7.4
0.00/0.01	c packages:
0.00/0.01	c   OptDir-0.0.1
0.00/0.01	c   array-0.4.0.0
0.00/0.01	c   base-4.5.0.0
0.00/0.01	c   bytestring-0.9.2.1
0.00/0.01	c   containers-0.4.2.1
0.00/0.01	c   deepseq-1.3.0.0
0.00/0.01	c   mtl-2.1.1
0.00/0.01	c   old_locale-1.0.0.4
0.00/0.01	c   parse_dimacs-1.2
0.00/0.01	c   parsec-3.1.2
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   stm-2.3
0.00/0.01	c   time-1.4
0.00/0.01	c command line = ["--wbo","HOME/instance-3712352-1338204690.wbo"]
0.00/0.01	c #vars 169
0.00/0.01	c #constraints 101
0.00/0.01	c Solving starts ...
0.01/0.05	c solving time = 0.042s
0.01/0.05	c #decision = 458
0.01/0.05	c #conflict = 101
0.01/0.05	c #restart = 1
0.01/0.05	o 605
0.01/0.05	c Solving starts ...
0.01/0.05	c solving time = 0.001s
0.01/0.05	c #decision = 576
0.01/0.05	c #conflict = 101
0.01/0.05	c #restart = 1
0.01/0.05	o 545
0.01/0.05	c Solving starts ...
0.01/0.05	c solving time = 0.001s
0.01/0.05	c #decision = 671
0.01/0.05	c #conflict = 101
0.01/0.05	c #restart = 1
0.01/0.05	o 525
0.01/0.05	c Solving starts ...
0.01/0.06	c solving time = 0.005s
0.01/0.06	c #decision = 785
0.01/0.06	c #conflict = 103
0.01/0.06	c #restart = 1
0.01/0.06	o 485
0.01/0.06	c Solving starts ...
0.01/0.06	c solving time = 0.007s
0.01/0.06	c #decision = 858
0.01/0.06	c #conflict = 105
0.01/0.06	c #restart = 1
0.01/0.06	o 455
0.01/0.06	c Solving starts ...
0.09/0.10	c solving time = 0.032s
0.09/0.10	c #decision = 928
0.09/0.10	c #conflict = 122
0.09/0.10	c #restart = 1
0.09/0.10	o 445
0.09/0.10	c Solving starts ...
0.09/0.10	c solving time = 0.001s
0.09/0.10	c #decision = 953
0.09/0.10	c #conflict = 122
0.09/0.10	c #restart = 1
0.09/0.10	o 441
0.09/0.10	c Solving starts ...
0.09/0.10	c solving time = 0.001s
0.09/0.10	c #decision = 987
0.09/0.10	c #conflict = 122
0.09/0.10	c #restart = 1
0.09/0.10	o 422
0.09/0.10	c Solving starts ...
0.09/0.15	c solving time = 0.050s
0.09/0.15	c #decision = 1039
0.09/0.15	c #conflict = 144
0.09/0.15	c #restart = 1
0.09/0.15	o 407
0.09/0.15	c Solving starts ...
0.09/0.15	c learnt constraints deletion: 143 -> 72
0.09/0.15	c solving time = 0.002s
0.09/0.15	c #decision = 1075
0.09/0.15	c #conflict = 144
0.09/0.15	c #restart = 1
0.09/0.15	o 382
0.09/0.15	c Solving starts ...
0.29/0.31	c learnt constraints deletion: 171 -> 86
0.39/0.40	c solving time = 0.243s
0.39/0.40	c #decision = 1335
0.39/0.40	c #conflict = 286
0.39/0.40	c #restart = 2
0.39/0.40	o 373
0.39/0.40	c Solving starts ...
0.39/0.40	c learnt constraints deletion: 128 -> 64
0.39/0.40	c solving time = 0.002s
0.39/0.40	c #decision = 1349
0.39/0.40	c #conflict = 286
0.39/0.40	c #restart = 2
0.39/0.40	o 371
0.39/0.40	c Solving starts ...
0.39/0.40	c solving time = 0.001s
0.39/0.40	c #decision = 1364
0.39/0.40	c #conflict = 286
0.39/0.40	c #restart = 2
0.39/0.40	o 367
0.39/0.40	c Solving starts ...
0.39/0.40	c solving time = 0.005s
0.39/0.40	c #decision = 1388
0.39/0.40	c #conflict = 287
0.39/0.40	c #restart = 2
0.39/0.40	o 352
0.39/0.40	c Solving starts ...
0.39/0.41	c solving time = 0.001s
0.39/0.41	c #decision = 1444
0.39/0.41	c #conflict = 287
0.39/0.41	c #restart = 2
0.39/0.41	o 300
0.39/0.41	c Solving starts ...
0.49/0.55	c learnt constraints deletion: 164 -> 82
0.69/0.71	c learnt constraints deletion: 231 -> 116
0.89/0.90	c learnt constraints deletion: 249 -> 127
0.89/1.00	c learnt constraints deletion: 218 -> 109
1.19/1.21	c learnt constraints deletion: 276 -> 143
1.29/1.36	c learnt constraints deletion: 258 -> 132
1.39/1.43	c learnt constraints deletion: 187 -> 94
1.68/1.71	c learnt constraints deletion: 287 -> 149
1.78/1.86	c learnt constraints deletion: 289 -> 146
1.98/2.02	c solving time = 1.618s
1.98/2.02	c #decision = 3591
1.98/2.02	c #conflict = 1569
1.98/2.02	c #restart = 6
1.98/2.02	o 289
1.98/2.02	c Solving starts ...
1.98/2.02	c learnt constraints deletion: 282 -> 141
1.98/2.02	c learnt constraints deletion: 141 -> 71
2.09/2.15	c learnt constraints deletion: 170 -> 85
2.29/2.31	c learnt constraints deletion: 221 -> 112
2.39/2.47	c learnt constraints deletion: 246 -> 130
2.49/2.57	c learnt constraints deletion: 233 -> 117
2.69/2.74	c learnt constraints deletion: 261 -> 135
2.88/2.93	c learnt constraints deletion: 300 -> 156
2.98/3.02	c learnt constraints deletion: 184 -> 92
3.08/3.12	c learnt constraints deletion: 228 -> 115
3.08/3.12	c solving time = 1.098s
3.08/3.12	c #decision = 5242
3.08/3.12	c #conflict = 2518
3.08/3.12	c #restart = 10
3.08/3.12	o 285
3.08/3.12	c Solving starts ...
3.08/3.13	c solving time = 0.004s
3.08/3.13	c #decision = 5315
3.08/3.13	c #conflict = 2520
3.08/3.13	c #restart = 10
3.08/3.13	o 264
3.08/3.13	c Solving starts ...
3.08/3.13	c solving time = 0.004s
3.08/3.13	c #decision = 5347
3.08/3.13	c #conflict = 2524
3.08/3.13	c #restart = 10
3.08/3.13	o 260
3.08/3.13	c Solving starts ...
3.08/3.13	c solving time = 0.002s
3.08/3.13	c #decision = 5378
3.08/3.13	c #conflict = 2526
3.08/3.13	c #restart = 10
3.08/3.13	o 259
3.08/3.13	c Solving starts ...
3.08/3.14	c solving time = 0.006s
3.08/3.14	c #decision = 5409
3.08/3.14	c #conflict = 2532
3.08/3.14	c #restart = 10
3.08/3.14	o 257
3.08/3.14	c Solving starts ...
3.08/3.14	c solving time = 0.001s
3.08/3.14	c #decision = 5424
3.08/3.14	c #conflict = 2532
3.08/3.14	c #restart = 10
3.08/3.14	o 254
3.08/3.14	c Solving starts ...
3.08/3.14	c solving time = 0.001s
3.08/3.14	c #decision = 5493
3.08/3.14	c #conflict = 2532
3.08/3.14	c #restart = 10
3.08/3.14	o 209
3.08/3.14	c Solving starts ...
3.08/3.14	c solving time = 0.001s
3.08/3.14	c #decision = 5535
3.08/3.14	c #conflict = 2532
3.08/3.14	c #restart = 10
3.08/3.14	o 202
3.08/3.14	c Solving starts ...
3.08/3.14	c solving time = 0.002s
3.08/3.14	c #decision = 5601
3.08/3.14	c #conflict = 2533
3.08/3.14	c #restart = 10
3.08/3.14	o 189
3.08/3.14	c Solving starts ...
3.08/3.15	c solving time = 0.002s
3.08/3.15	c #decision = 5643
3.08/3.15	c #conflict = 2533
3.08/3.15	c #restart = 10
3.08/3.15	o 172
3.08/3.15	c Solving starts ...
3.08/3.15	c solving time = 0.001s
3.08/3.15	c #decision = 5679
3.08/3.15	c #conflict = 2533
3.08/3.15	c #restart = 10
3.08/3.15	o 153
3.08/3.15	c Solving starts ...
3.08/3.15	c solving time = 0.001s
3.08/3.15	c #decision = 5742
3.08/3.15	c #conflict = 2533
3.08/3.15	c #restart = 10
3.08/3.15	o 118
3.08/3.15	c Solving starts ...
3.08/3.15	c solving time = 0.001s
3.08/3.15	c #decision = 5845
3.08/3.15	c #conflict = 2533
3.08/3.15	c #restart = 10
3.08/3.15	o 46
3.08/3.15	c Solving starts ...
3.20/3.21	c learnt constraints deletion: 229 -> 115
3.20/3.29	c learnt constraints deletion: 264 -> 132
3.30/3.36	c learnt constraints deletion: 261 -> 132
3.39/3.42	c learnt constraints deletion: 227 -> 114
3.49/3.54	c learnt constraints deletion: 305 -> 160
3.59/3.61	c learnt constraints deletion: 261 -> 131
3.69/3.72	c learnt constraints deletion: 329 -> 168
3.79/3.81	c learnt constraints deletion: 317 -> 160
3.89/3.92	c learnt constraints deletion: 336 -> 171
3.99/4.02	c learnt constraints deletion: 332 -> 170
4.08/4.13	c learnt constraints deletion: 348 -> 183
4.08/4.19	c learnt constraints deletion: 301 -> 151
4.29/4.32	c learnt constraints deletion: 363 -> 187
4.29/4.38	c learnt constraints deletion: 306 -> 153
4.48/4.51	c learnt constraints deletion: 390 -> 202
4.58/4.60	c learnt constraints deletion: 366 -> 191
4.58/4.69	c learnt constraints deletion: 337 -> 171
4.78/4.81	c learnt constraints deletion: 364 -> 188
4.88/4.93	c learnt constraints deletion: 362 -> 191
4.99/5.05	c learnt constraints deletion: 377 -> 194
5.09/5.17	c learnt constraints deletion: 406 -> 206
5.19/5.28	c learnt constraints deletion: 412 -> 212
5.29/5.39	c learnt constraints deletion: 400 -> 206
5.50/5.52	c learnt constraints deletion: 419 -> 215
5.59/5.63	c learnt constraints deletion: 432 -> 222
5.69/5.74	c learnt constraints deletion: 415 -> 211
5.79/5.86	c learnt constraints deletion: 419 -> 216
5.89/5.97	c learnt constraints deletion: 400 -> 201
5.99/6.09	c learnt constraints deletion: 399 -> 203
6.19/6.21	c learnt constraints deletion: 419 -> 211
6.29/6.35	c learnt constraints deletion: 453 -> 237
6.39/6.47	c learnt constraints deletion: 424 -> 215
6.60/6.62	c learnt constraints deletion: 444 -> 228
6.69/6.73	c learnt constraints deletion: 418 -> 214
6.79/6.86	c learnt constraints deletion: 414 -> 214
6.99/7.00	c learnt constraints deletion: 443 -> 235
7.09/7.11	c learnt constraints deletion: 423 -> 222
7.19/7.25	c learnt constraints deletion: 435 -> 231
7.29/7.36	c learnt constraints deletion: 419 -> 216
7.39/7.48	c learnt constraints deletion: 445 -> 225
7.49/7.58	c learnt constraints deletion: 417 -> 209
7.69/7.71	c learnt constraints deletion: 456 -> 231
7.78/7.84	c learnt constraints deletion: 431 -> 218
7.98/8.00	c learnt constraints deletion: 472 -> 241
8.08/8.13	c learnt constraints deletion: 473 -> 245
8.18/8.26	c learnt constraints deletion: 474 -> 248
8.28/8.36	c learnt constraints deletion: 438 -> 223
8.38/8.48	c learnt constraints deletion: 449 -> 231
8.59/8.62	c learnt constraints deletion: 457 -> 238
8.70/8.75	c learnt constraints deletion: 461 -> 234
8.89/8.90	c learnt constraints deletion: 470 -> 242
8.99/9.01	c learnt constraints deletion: 450 -> 227
9.09/9.12	c learnt constraints deletion: 438 -> 227
9.19/9.26	c learnt constraints deletion: 454 -> 234
9.29/9.35	c learnt constraints deletion: 458 -> 236
9.48/9.52	c learnt constraints deletion: 501 -> 258
9.58/9.63	c learnt constraints deletion: 469 -> 243
9.69/9.73	c learnt constraints deletion: 420 -> 213
9.90/9.93	c learnt constraints deletion: 516 -> 267
9.99/10.06	c learnt constraints deletion: 508 -> 261
10.09/10.19	c learnt constraints deletion: 492 -> 257
10.29/10.31	c learnt constraints deletion: 495 -> 262
10.38/10.45	c learnt constraints deletion: 508 -> 267
10.48/10.59	c learnt constraints deletion: 483 -> 242
10.68/10.74	c learnt constraints deletion: 496 -> 252
10.78/10.88	c learnt constraints deletion: 513 -> 262
10.89/10.98	c learnt constraints deletion: 477 -> 244
11.09/11.12	c learnt constraints deletion: 480 -> 240
11.19/11.26	c learnt constraints deletion: 479 -> 245
11.38/11.40	c learnt constraints deletion: 460 -> 230
11.48/11.54	c learnt constraints deletion: 499 -> 251
11.58/11.68	c learnt constraints deletion: 485 -> 244
11.78/11.82	c learnt constraints deletion: 486 -> 250
11.88/11.94	c learnt constraints deletion: 483 -> 250
11.99/12.04	c learnt constraints deletion: 476 -> 244
12.09/12.15	c learnt constraints deletion: 487 -> 254
12.18/12.28	c learnt constraints deletion: 489 -> 245
12.38/12.45	c learnt constraints deletion: 513 -> 262
12.48/12.58	c learnt constraints deletion: 509 -> 264
12.68/12.72	c learnt constraints deletion: 492 -> 249
12.78/12.86	c learnt constraints deletion: 497 -> 253
12.88/12.98	c learnt constraints deletion: 517 -> 265
13.10/13.11	c learnt constraints deletion: 495 -> 251
13.19/13.25	c learnt constraints deletion: 500 -> 256
13.29/13.39	c learnt constraints deletion: 511 -> 260
13.49/13.55	c learnt constraints deletion: 539 -> 274
13.59/13.68	c learnt constraints deletion: 536 -> 279
13.78/13.81	c learnt constraints deletion: 522 -> 267
13.88/13.97	c learnt constraints deletion: 535 -> 272
14.08/14.15	c learnt constraints deletion: 531 -> 267
14.19/14.29	c learnt constraints deletion: 495 -> 251
14.38/14.45	c learnt constraints deletion: 566 -> 287
14.48/14.58	c learnt constraints deletion: 544 -> 280
14.68/14.72	c learnt constraints deletion: 558 -> 284
14.79/14.84	c learnt constraints deletion: 499 -> 255
14.99/15.00	c learnt constraints deletion: 521 -> 262
15.09/15.15	c learnt constraints deletion: 517 -> 260
15.19/15.29	c learnt constraints deletion: 505 -> 254
15.39/15.48	c learnt constraints deletion: 523 -> 265
15.59/15.64	c learnt constraints deletion: 542 -> 274
15.68/15.73	c learnt constraints deletion: 506 -> 254
15.78/15.86	c learnt constraints deletion: 527 -> 267
15.88/15.96	c learnt constraints deletion: 500 -> 250
15.98/16.06	c learnt constraints deletion: 453 -> 227
16.18/16.26	c learnt constraints deletion: 544 -> 276
16.39/16.42	c learnt constraints deletion: 490 -> 249
16.59/16.61	c learnt constraints deletion: 511 -> 257
16.79/16.80	c learnt constraints deletion: 552 -> 278
16.89/16.98	c learnt constraints deletion: 518 -> 263
17.09/17.16	c learnt constraints deletion: 504 -> 258
17.29/17.33	c learnt constraints deletion: 480 -> 243
17.39/17.50	c learnt constraints deletion: 499 -> 255
17.59/17.67	c learnt constraints deletion: 482 -> 248
17.78/17.85	c learnt constraints deletion: 502 -> 264
17.88/17.99	c learnt constraints deletion: 491 -> 257
18.08/18.19	c learnt constraints deletion: 560 -> 288
18.38/18.40	c learnt constraints deletion: 553 -> 290
18.48/18.57	c learnt constraints deletion: 524 -> 267
18.68/18.75	c learnt constraints deletion: 564 -> 287
18.88/18.92	c learnt constraints deletion: 534 -> 269
19.09/19.12	c learnt constraints deletion: 572 -> 290
19.19/19.29	c learnt constraints deletion: 555 -> 286
19.48/19.50	c learnt constraints deletion: 625 -> 320
19.58/19.66	c learnt constraints deletion: 589 -> 306
19.79/19.81	c learnt constraints deletion: 557 -> 288
19.98/20.00	c learnt constraints deletion: 587 -> 303
20.08/20.19	c learnt constraints deletion: 559 -> 288
20.38/20.40	c learnt constraints deletion: 597 -> 304
20.48/20.55	c learnt constraints deletion: 555 -> 286
20.58/20.62	c solving time = 17.468s
20.58/20.62	c #decision = 57967
20.58/20.62	c #conflict = 31992
20.58/20.62	c #restart = 22
20.58/20.62	o 30
20.58/20.62	c Solving starts ...
20.58/20.62	c learnt constraints deletion: 383 -> 192
20.58/20.63	c solving time = 0.001s
20.58/20.63	c #decision = 57980
20.58/20.63	c #conflict = 31992
20.58/20.63	c #restart = 22
20.58/20.63	o 28
20.58/20.63	c Solving starts ...
20.58/20.67	c learnt constraints deletion: 291 -> 146
20.68/20.74	c learnt constraints deletion: 295 -> 148
20.78/20.84	c learnt constraints deletion: 314 -> 158
20.88/20.92	c learnt constraints deletion: 347 -> 180
20.98/21.02	c learnt constraints deletion: 384 -> 196
21.08/21.10	c learnt constraints deletion: 358 -> 181
21.08/21.17	c learnt constraints deletion: 323 -> 165
21.18/21.27	c learnt constraints deletion: 367 -> 192
21.28/21.36	c learnt constraints deletion: 383 -> 202
21.38/21.43	c learnt constraints deletion: 356 -> 183
21.48/21.52	c learnt constraints deletion: 377 -> 197
21.58/21.60	c learnt constraints deletion: 385 -> 207
21.58/21.68	c learnt constraints deletion: 358 -> 179
21.68/21.77	c learnt constraints deletion: 385 -> 194
21.78/21.86	c learnt constraints deletion: 384 -> 195
21.89/21.94	c learnt constraints deletion: 398 -> 210
21.99/22.01	c learnt constraints deletion: 389 -> 203
22.08/22.11	c learnt constraints deletion: 397 -> 204
22.18/22.23	c learnt constraints deletion: 437 -> 222
22.28/22.33	c learnt constraints deletion: 430 -> 220
22.38/22.44	c learnt constraints deletion: 436 -> 220
22.48/22.52	c learnt constraints deletion: 415 -> 211
22.58/22.64	c learnt constraints deletion: 457 -> 239
22.68/22.72	c learnt constraints deletion: 439 -> 228
22.78/22.80	c learnt constraints deletion: 414 -> 210
22.88/22.92	c learnt constraints deletion: 447 -> 225
22.88/23.00	c learnt constraints deletion: 404 -> 202
23.08/23.13	c learnt constraints deletion: 469 -> 240
23.18/23.23	c learnt constraints deletion: 423 -> 215
23.28/23.35	c learnt constraints deletion: 445 -> 231
23.38/23.44	c learnt constraints deletion: 453 -> 229
23.48/23.54	c learnt constraints deletion: 447 -> 228
23.58/23.65	c learnt constraints deletion: 462 -> 234
23.68/23.74	c learnt constraints deletion: 412 -> 207
23.78/23.89	c learnt constraints deletion: 462 -> 234
23.88/23.99	c learnt constraints deletion: 468 -> 238
23.98/24.10	c learnt constraints deletion: 452 -> 236
24.09/24.13	c solving time = 3.503s
24.09/24.13	c #decision = 70177
24.09/24.13	c #conflict = 39361
24.09/24.13	c #restart = 30
24.09/24.13	o 27
24.09/24.13	c Solving starts ...
24.09/24.13	c learnt constraints deletion: 299 -> 150
24.09/24.13	c solving time = 0.001s
24.09/24.13	c #decision = 70193
24.09/24.13	c #conflict = 39361
24.09/24.13	c #restart = 30
24.09/24.13	o 26
24.09/24.13	c Solving starts ...
24.09/24.18	c learnt constraints deletion: 249 -> 125
24.19/24.25	c learnt constraints deletion: 274 -> 137
24.28/24.33	c learnt constraints deletion: 320 -> 163
24.38/24.42	c learnt constraints deletion: 338 -> 172
24.38/24.49	c learnt constraints deletion: 350 -> 179
24.48/24.55	c learnt constraints deletion: 320 -> 161
24.58/24.65	c learnt constraints deletion: 373 -> 193
24.68/24.73	c learnt constraints deletion: 362 -> 189
24.78/24.83	c learnt constraints deletion: 395 -> 204
24.88/24.91	c learnt constraints deletion: 373 -> 193
24.88/24.98	c learnt constraints deletion: 376 -> 193
24.98/25.07	c learnt constraints deletion: 387 -> 202
25.08/25.15	c learnt constraints deletion: 390 -> 200
25.18/25.24	c learnt constraints deletion: 396 -> 203
25.28/25.33	c learnt constraints deletion: 411 -> 208
25.38/25.43	c learnt constraints deletion: 435 -> 221
25.48/25.51	c learnt constraints deletion: 408 -> 215
25.48/25.57	c learnt constraints deletion: 367 -> 184
25.58/25.66	c learnt constraints deletion: 407 -> 206
25.68/25.75	c learnt constraints deletion: 411 -> 215
25.78/25.83	c learnt constraints deletion: 421 -> 213
25.88/25.93	c learnt constraints deletion: 447 -> 224
25.98/26.04	c learnt constraints deletion: 452 -> 231
26.08/26.13	c learnt constraints deletion: 450 -> 231
26.18/26.22	c learnt constraints deletion: 417 -> 211
26.28/26.31	c learnt constraints deletion: 422 -> 211
26.38/26.42	c learnt constraints deletion: 462 -> 239
26.47/26.53	c learnt constraints deletion: 463 -> 239
26.57/26.61	c learnt constraints deletion: 436 -> 218
26.68/26.72	c learnt constraints deletion: 465 -> 237
26.78/26.82	c learnt constraints deletion: 465 -> 241
26.88/26.91	c learnt constraints deletion: 451 -> 228
26.98/27.01	c learnt constraints deletion: 454 -> 231
27.08/27.11	c learnt constraints deletion: 459 -> 237
27.18/27.20	c learnt constraints deletion: 457 -> 239
27.18/27.28	c learnt constraints deletion: 447 -> 232
27.28/27.39	c learnt constraints deletion: 468 -> 236
27.38/27.49	c learnt constraints deletion: 461 -> 234
27.58/27.60	c learnt constraints deletion: 495 -> 251
27.68/27.70	c learnt constraints deletion: 492 -> 246
27.68/27.78	c learnt constraints deletion: 474 -> 237
27.78/27.89	c learnt constraints deletion: 506 -> 257
27.88/27.96	c learnt constraints deletion: 459 -> 230
27.98/28.09	c learnt constraints deletion: 492 -> 249
28.08/28.17	c learnt constraints deletion: 458 -> 233
28.18/28.27	c learnt constraints deletion: 473 -> 237
28.28/28.37	c learnt constraints deletion: 492 -> 247
28.38/28.46	c learnt constraints deletion: 469 -> 235
28.49/28.57	c learnt constraints deletion: 485 -> 243
28.59/28.69	c learnt constraints deletion: 482 -> 243
28.78/28.82	c learnt constraints deletion: 516 -> 264
28.88/28.94	c learnt constraints deletion: 515 -> 262
28.98/29.05	c learnt constraints deletion: 508 -> 262
29.08/29.16	c learnt constraints deletion: 508 -> 256
29.18/29.27	c learnt constraints deletion: 524 -> 264
29.28/29.37	c learnt constraints deletion: 516 -> 264
29.38/29.49	c learnt constraints deletion: 543 -> 277
29.48/29.60	c learnt constraints deletion: 530 -> 267
29.68/29.71	c learnt constraints deletion: 526 -> 267
29.78/29.81	c learnt constraints deletion: 508 -> 259
29.88/29.94	c learnt constraints deletion: 531 -> 271
29.98/30.06	c learnt constraints deletion: 510 -> 264
30.08/30.16	c learnt constraints deletion: 500 -> 255
30.18/30.28	c learnt constraints deletion: 518 -> 262
30.38/30.41	c learnt constraints deletion: 554 -> 282
30.48/30.51	c learnt constraints deletion: 502 -> 252
30.58/30.65	c learnt constraints deletion: 533 -> 272
30.68/30.75	c learnt constraints deletion: 519 -> 265
30.79/30.86	c learnt constraints deletion: 508 -> 256
30.88/30.97	c learnt constraints deletion: 509 -> 261
31.08/31.10	c learnt constraints deletion: 519 -> 266
31.18/31.23	c learnt constraints deletion: 537 -> 278
31.28/31.34	c learnt constraints deletion: 541 -> 276
31.38/31.47	c learnt constraints deletion: 538 -> 279
31.48/31.58	c learnt constraints deletion: 515 -> 267
31.58/31.67	c learnt constraints deletion: 489 -> 245
31.78/31.82	c learnt constraints deletion: 568 -> 288
31.88/31.93	c learnt constraints deletion: 522 -> 267
31.98/32.09	c learnt constraints deletion: 566 -> 284
32.18/32.22	c learnt constraints deletion: 550 -> 282
32.28/32.35	c learnt constraints deletion: 563 -> 289
32.38/32.46	c learnt constraints deletion: 547 -> 282
32.48/32.59	c learnt constraints deletion: 566 -> 285
32.68/32.71	c learnt constraints deletion: 565 -> 286
32.77/32.86	c learnt constraints deletion: 581 -> 299
32.88/32.98	c learnt constraints deletion: 564 -> 292
32.98/33.07	c learnt constraints deletion: 545 -> 287
33.08/33.20	c learnt constraints deletion: 553 -> 280
33.28/33.31	c learnt constraints deletion: 573 -> 292
33.38/33.42	c learnt constraints deletion: 555 -> 278
33.48/33.54	c learnt constraints deletion: 557 -> 280
33.58/33.66	c learnt constraints deletion: 566 -> 289
33.68/33.78	c learnt constraints deletion: 560 -> 286
33.78/33.87	c learnt constraints deletion: 544 -> 281
33.87/33.97	c learnt constraints deletion: 549 -> 288
34.09/34.10	c learnt constraints deletion: 555 -> 282
34.18/34.22	c learnt constraints deletion: 564 -> 293
34.28/34.35	c learnt constraints deletion: 563 -> 289
34.38/34.47	c learnt constraints deletion: 548 -> 275
34.48/34.58	c learnt constraints deletion: 555 -> 284
34.68/34.71	c learnt constraints deletion: 576 -> 293
34.78/34.81	c learnt constraints deletion: 542 -> 271
34.88/34.94	c learnt constraints deletion: 548 -> 277
34.98/35.06	c learnt constraints deletion: 579 -> 298
35.08/35.19	c learnt constraints deletion: 598 -> 304
35.28/35.32	c learnt constraints deletion: 591 -> 303
35.38/35.44	c learnt constraints deletion: 606 -> 310
35.48/35.58	c learnt constraints deletion: 604 -> 312
35.68/35.71	c learnt constraints deletion: 580 -> 294
35.78/35.83	c learnt constraints deletion: 578 -> 296
35.88/35.95	c learnt constraints deletion: 583 -> 304
35.98/36.08	c learnt constraints deletion: 586 -> 294
36.18/36.21	c learnt constraints deletion: 569 -> 289
36.28/36.33	c learnt constraints deletion: 580 -> 300
36.37/36.46	c learnt constraints deletion: 582 -> 296
36.47/36.59	c learnt constraints deletion: 602 -> 307
36.67/36.72	c learnt constraints deletion: 605 -> 310
36.78/36.84	c learnt constraints deletion: 584 -> 299
36.88/36.95	c learnt constraints deletion: 554 -> 283
36.98/37.09	c learnt constraints deletion: 604 -> 305
37.18/37.24	c learnt constraints deletion: 606 -> 307
37.29/37.38	c learnt constraints deletion: 611 -> 309
37.48/37.52	c learnt constraints deletion: 604 -> 305
37.58/37.66	c learnt constraints deletion: 593 -> 303
37.78/37.80	c learnt constraints deletion: 591 -> 306
37.88/37.93	c learnt constraints deletion: 596 -> 307
37.98/38.04	c learnt constraints deletion: 551 -> 276
38.17/38.20	c learnt constraints deletion: 587 -> 298
38.27/38.35	c learnt constraints deletion: 616 -> 315
38.38/38.48	c learnt constraints deletion: 597 -> 307
38.48/38.59	c learnt constraints deletion: 576 -> 292
38.68/38.72	c learnt constraints deletion: 596 -> 302
38.78/38.85	c learnt constraints deletion: 580 -> 295
38.88/38.98	c learnt constraints deletion: 595 -> 304
38.98/39.09	c learnt constraints deletion: 552 -> 276
39.18/39.23	c learnt constraints deletion: 579 -> 300
39.28/39.38	c learnt constraints deletion: 589 -> 295
39.48/39.52	c learnt constraints deletion: 572 -> 289
39.58/39.66	c learnt constraints deletion: 586 -> 299
39.77/39.80	c learnt constraints deletion: 580 -> 293
39.87/39.92	c learnt constraints deletion: 534 -> 267
39.97/40.08	c learnt constraints deletion: 625 -> 320
40.17/40.22	c learnt constraints deletion: 652 -> 329
40.28/40.33	c learnt constraints deletion: 602 -> 309
40.38/40.46	c learnt constraints deletion: 599 -> 302
40.48/40.59	c learnt constraints deletion: 615 -> 313
40.68/40.73	c learnt constraints deletion: 635 -> 331
40.78/40.85	c learnt constraints deletion: 607 -> 311
40.88/40.98	c learnt constraints deletion: 611 -> 312
41.08/41.11	c learnt constraints deletion: 608 -> 315
41.18/41.23	c learnt constraints deletion: 596 -> 305
41.27/41.36	c learnt constraints deletion: 633 -> 317
41.37/41.49	c learnt constraints deletion: 652 -> 332
41.57/41.62	c learnt constraints deletion: 616 -> 310
41.68/41.77	c learnt constraints deletion: 655 -> 333
41.88/41.92	c learnt constraints deletion: 669 -> 335
41.98/42.08	c learnt constraints deletion: 678 -> 343
42.18/42.24	c learnt constraints deletion: 659 -> 334
42.38/42.40	c learnt constraints deletion: 650 -> 331
42.48/42.54	c learnt constraints deletion: 636 -> 326
42.58/42.69	c learnt constraints deletion: 639 -> 327
42.78/42.83	c learnt constraints deletion: 644 -> 335
42.88/42.98	c learnt constraints deletion: 644 -> 334
43.08/43.12	c learnt constraints deletion: 632 -> 324
43.18/43.26	c learnt constraints deletion: 635 -> 321
43.38/43.40	c learnt constraints deletion: 637 -> 327
43.47/43.55	c learnt constraints deletion: 627 -> 314
43.57/43.69	c learnt constraints deletion: 597 -> 299
43.77/43.83	c learnt constraints deletion: 613 -> 310
43.88/43.97	c learnt constraints deletion: 640 -> 327
44.07/44.12	c learnt constraints deletion: 614 -> 309
44.18/44.27	c learnt constraints deletion: 614 -> 314
44.38/44.43	c learnt constraints deletion: 627 -> 314
44.48/44.58	c learnt constraints deletion: 637 -> 321
44.68/44.73	c learnt constraints deletion: 617 -> 309
44.78/44.88	c learnt constraints deletion: 650 -> 327
44.98/45.04	c learnt constraints deletion: 635 -> 319
45.08/45.18	c learnt constraints deletion: 632 -> 322
45.28/45.34	c learnt constraints deletion: 641 -> 324
45.38/45.49	c learnt constraints deletion: 641 -> 330
45.57/45.64	c learnt constraints deletion: 637 -> 327
45.77/45.80	c learnt constraints deletion: 644 -> 327
45.87/45.94	c learnt constraints deletion: 597 -> 306
45.97/46.08	c learnt constraints deletion: 629 -> 325
46.18/46.24	c learnt constraints deletion: 659 -> 344
46.27/46.37	c learnt constraints deletion: 633 -> 323
46.47/46.50	c learnt constraints deletion: 629 -> 318
46.58/46.65	c learnt constraints deletion: 641 -> 329
46.78/46.80	c learnt constraints deletion: 653 -> 337
46.88/46.95	c learnt constraints deletion: 645 -> 332
46.98/47.09	c learnt constraints deletion: 597 -> 303
47.18/47.25	c learnt constraints deletion: 641 -> 330
47.28/47.39	c learnt constraints deletion: 615 -> 314
47.47/47.55	c learnt constraints deletion: 650 -> 331
47.67/47.71	c learnt constraints deletion: 646 -> 327
47.77/47.85	c learnt constraints deletion: 611 -> 313
47.87/47.98	c learnt constraints deletion: 611 -> 307
48.08/48.11	c learnt constraints deletion: 631 -> 320
48.18/48.25	c learnt constraints deletion: 640 -> 324
48.28/48.39	c learnt constraints deletion: 645 -> 325
48.48/48.53	c learnt constraints deletion: 643 -> 329
48.58/48.69	c learnt constraints deletion: 640 -> 323
48.78/48.85	c learnt constraints deletion: 681 -> 346
48.98/49.00	c learnt constraints deletion: 654 -> 336
49.08/49.13	c learnt constraints deletion: 632 -> 324
49.18/49.29	c learnt constraints deletion: 628 -> 323
49.38/49.44	c learnt constraints deletion: 646 -> 334
49.48/49.56	c learnt constraints deletion: 630 -> 326
49.68/49.70	c learnt constraints deletion: 645 -> 331
49.78/49.85	c learnt constraints deletion: 649 -> 336
49.88/49.99	c learnt constraints deletion: 652 -> 338
50.07/50.14	c learnt constraints deletion: 638 -> 326
50.17/50.29	c learnt constraints deletion: 640 -> 331
50.37/50.44	c learnt constraints deletion: 679 -> 353
50.48/50.60	c learnt constraints deletion: 665 -> 337
50.67/50.78	c learnt constraints deletion: 717 -> 362
50.87/50.93	c learnt constraints deletion: 687 -> 346
50.97/51.09	c learnt constraints deletion: 680 -> 346
51.18/51.25	c learnt constraints deletion: 677 -> 339
51.38/51.43	c learnt constraints deletion: 692 -> 349
51.48/51.58	c learnt constraints deletion: 679 -> 345
51.68/51.76	c learnt constraints deletion: 692 -> 354
51.88/51.91	c learnt constraints deletion: 649 -> 329
51.97/52.08	c learnt constraints deletion: 691 -> 357
52.17/52.22	c learnt constraints deletion: 657 -> 334
52.27/52.36	c learnt constraints deletion: 644 -> 331
52.47/52.53	c learnt constraints deletion: 654 -> 327
52.58/52.70	c learnt constraints deletion: 682 -> 348
52.78/52.86	c learnt constraints deletion: 672 -> 340
52.88/52.99	c learnt constraints deletion: 671 -> 339
53.08/53.14	c learnt constraints deletion: 676 -> 340
53.18/53.28	c learnt constraints deletion: 668 -> 340
53.38/53.42	c learnt constraints deletion: 679 -> 348
53.48/53.56	c solving time = 29.420s
53.48/53.56	c #decision = 175252
53.48/53.56	c #conflict = 104254
53.48/53.56	c #restart = 44
53.48/53.56	o 25
53.48/53.56	c Solving starts ...
53.48/53.56	c learnt constraints deletion: 681 -> 341
53.48/53.56	c learnt constraints deletion: 341 -> 171
53.48/53.56	c solving time = 0.002s
53.48/53.56	c #decision = 175268
53.48/53.56	c #conflict = 104254
53.48/53.56	c #restart = 44
53.48/53.56	o 22
53.48/53.56	c Solving starts ...
53.57/53.60	c learnt constraints deletion: 270 -> 135
53.57/53.67	c learnt constraints deletion: 284 -> 142
53.67/53.76	c learnt constraints deletion: 356 -> 181
53.78/53.84	c learnt constraints deletion: 396 -> 205
53.78/53.89	c learnt constraints deletion: 337 -> 169
53.88/53.96	c learnt constraints deletion: 363 -> 186
53.97/54.04	c learnt constraints deletion: 359 -> 186
53.97/54.09	c learnt constraints deletion: 325 -> 163
54.07/54.17	c learnt constraints deletion: 384 -> 195
54.17/54.25	c learnt constraints deletion: 400 -> 204
54.27/54.32	c learnt constraints deletion: 359 -> 180
54.38/54.40	c learnt constraints deletion: 359 -> 180
54.38/54.49	c learnt constraints deletion: 399 -> 202
54.48/54.57	c learnt constraints deletion: 409 -> 213
54.58/54.66	c learnt constraints deletion: 429 -> 221
54.68/54.73	c learnt constraints deletion: 406 -> 204
54.78/54.81	c learnt constraints deletion: 435 -> 223
54.78/54.90	c learnt constraints deletion: 433 -> 219
54.88/54.97	c learnt constraints deletion: 432 -> 226
54.98/55.05	c learnt constraints deletion: 443 -> 223
55.08/55.13	c learnt constraints deletion: 423 -> 213
55.18/55.22	c learnt constraints deletion: 427 -> 218
55.27/55.31	c learnt constraints deletion: 422 -> 213
55.27/55.39	c learnt constraints deletion: 426 -> 214
55.37/55.49	c learnt constraints deletion: 465 -> 233
55.47/55.58	c learnt constraints deletion: 442 -> 222
55.58/55.68	c learnt constraints deletion: 470 -> 240
55.68/55.78	c learnt constraints deletion: 489 -> 249
55.78/55.89	c learnt constraints deletion: 452 -> 231
55.88/55.99	c learnt constraints deletion: 466 -> 239
55.98/56.10	c learnt constraints deletion: 498 -> 257
56.08/56.18	c learnt constraints deletion: 471 -> 240
56.18/56.27	c learnt constraints deletion: 452 -> 226
56.28/56.38	c learnt constraints deletion: 488 -> 248
56.38/56.47	c learnt constraints deletion: 458 -> 229
56.48/56.56	c learnt constraints deletion: 447 -> 227
56.57/56.67	c learnt constraints deletion: 491 -> 247
56.67/56.77	c learnt constraints deletion: 508 -> 256
56.77/56.86	c learnt constraints deletion: 482 -> 248
56.87/56.97	c learnt constraints deletion: 500 -> 254
56.97/57.07	c learnt constraints deletion: 493 -> 247
57.08/57.18	c learnt constraints deletion: 499 -> 254
57.18/57.29	c learnt constraints deletion: 506 -> 260
57.27/57.39	c learnt constraints deletion: 488 -> 246
57.47/57.50	c learnt constraints deletion: 490 -> 250
57.58/57.61	c learnt constraints deletion: 484 -> 247
57.68/57.71	c learnt constraints deletion: 496 -> 248
57.78/57.82	c learnt constraints deletion: 516 -> 259
57.88/57.91	c learnt constraints deletion: 494 -> 249
57.98/58.02	c learnt constraints deletion: 477 -> 244
58.08/58.15	c learnt constraints deletion: 510 -> 260
58.18/58.24	c learnt constraints deletion: 489 -> 245
58.28/58.36	c learnt constraints deletion: 531 -> 266
58.37/58.46	c learnt constraints deletion: 506 -> 253
58.47/58.55	c learnt constraints deletion: 513 -> 260
58.57/58.66	c learnt constraints deletion: 532 -> 269
58.67/58.76	c learnt constraints deletion: 520 -> 261
58.77/58.87	c learnt constraints deletion: 520 -> 262
58.87/58.99	c learnt constraints deletion: 548 -> 277
58.97/59.09	c learnt constraints deletion: 525 -> 267
59.17/59.20	c learnt constraints deletion: 534 -> 273
59.17/59.30	c learnt constraints deletion: 523 -> 266
59.28/59.39	c learnt constraints deletion: 496 -> 251
59.48/59.50	c learnt constraints deletion: 549 -> 281
59.48/59.59	c learnt constraints deletion: 516 -> 265
59.57/59.69	c learnt constraints deletion: 521 -> 272
59.67/59.77	c learnt constraints deletion: 538 -> 283
59.77/59.87	c learnt constraints deletion: 534 -> 277
59.87/59.98	c learnt constraints deletion: 551 -> 281
59.97/60.07	c learnt constraints deletion: 534 -> 267
60.07/60.18	c learnt constraints deletion: 541 -> 271
60.17/60.29	c learnt constraints deletion: 525 -> 268
60.27/60.39	c learnt constraints deletion: 519 -> 270
60.38/60.49	c learnt constraints deletion: 519 -> 268
60.58/60.61	c learnt constraints deletion: 572 -> 290
60.68/60.73	c learnt constraints deletion: 583 -> 292
60.78/60.86	c learnt constraints deletion: 576 -> 293
60.88/60.99	c learnt constraints deletion: 579 -> 298
61.08/61.11	c learnt constraints deletion: 569 -> 292
61.18/61.22	c learnt constraints deletion: 561 -> 291
61.28/61.34	c learnt constraints deletion: 569 -> 288
61.38/61.45	c learnt constraints deletion: 553 -> 277
61.48/61.58	c learnt constraints deletion: 583 -> 298
61.58/61.69	c learnt constraints deletion: 581 -> 299
61.77/61.82	c learnt constraints deletion: 570 -> 291
61.87/61.92	c learnt constraints deletion: 532 -> 267
61.97/62.03	c learnt constraints deletion: 581 -> 296
62.07/62.14	c learnt constraints deletion: 571 -> 293
62.17/62.25	c learnt constraints deletion: 574 -> 294
62.27/62.36	c learnt constraints deletion: 597 -> 307
62.37/62.47	c learnt constraints deletion: 581 -> 291
62.47/62.60	c learnt constraints deletion: 575 -> 290
62.68/62.70	c learnt constraints deletion: 553 -> 277
62.77/62.82	c learnt constraints deletion: 543 -> 274
62.87/62.95	c learnt constraints deletion: 569 -> 287
62.97/63.09	c learnt constraints deletion: 547 -> 278
63.17/63.21	c learnt constraints deletion: 573 -> 291
63.27/63.33	c learnt constraints deletion: 552 -> 282
63.37/63.44	c learnt constraints deletion: 559 -> 284
63.48/63.57	c learnt constraints deletion: 575 -> 288
63.58/63.70	c learnt constraints deletion: 593 -> 304
63.68/63.79	c learnt constraints deletion: 563 -> 288
63.87/63.92	c learnt constraints deletion: 580 -> 290
63.97/64.02	c learnt constraints deletion: 551 -> 280
64.07/64.15	c learnt constraints deletion: 599 -> 305
64.17/64.28	c learnt constraints deletion: 621 -> 314
64.37/64.42	c learnt constraints deletion: 631 -> 319
64.37/64.44	c solving time = 10.875s
64.37/64.44	c #decision = 216329
64.37/64.44	c #conflict = 130681
64.37/64.44	c #restart = 56
64.37/64.44	o 20
64.37/64.44	c Solving starts ...
64.37/64.44	c learnt constraints deletion: 356 -> 241
64.37/64.44	c solving time = 0.002s
64.37/64.44	c #decision = 216345
64.37/64.44	c #conflict = 130681
64.37/64.44	c #restart = 56
64.37/64.44	o 17
64.37/64.44	c Solving starts ...
64.37/64.44	c learnt constraints deletion: 241 -> 241
64.37/64.44	c solving time = 0.001s
64.37/64.44	c #decision = 216360
64.37/64.44	c #conflict = 130681
64.37/64.44	c #restart = 56
64.37/64.44	o 16
64.37/64.44	c Solving starts ...
64.37/64.44	c learnt constraints deletion: 241 -> 241
64.37/64.48	c learnt constraints deletion: 340 -> 241
64.47/64.52	c learnt constraints deletion: 349 -> 243
64.47/64.53	c learnt constraints deletion: 284 -> 241
64.47/64.57	c learnt constraints deletion: 355 -> 244
64.57/64.61	c learnt constraints deletion: 354 -> 241
64.57/64.65	c learnt constraints deletion: 343 -> 243
64.68/64.70	c learnt constraints deletion: 382 -> 242
64.68/64.74	c learnt constraints deletion: 338 -> 242
64.68/64.78	c learnt constraints deletion: 371 -> 245
64.78/64.84	c learnt constraints deletion: 402 -> 244
64.78/64.88	c learnt constraints deletion: 375 -> 247
64.88/64.91	c learnt constraints deletion: 336 -> 244
64.88/64.96	c learnt constraints deletion: 395 -> 246
64.98/65.01	c learnt constraints deletion: 386 -> 245
64.98/65.06	c learnt constraints deletion: 426 -> 248
65.08/65.10	c learnt constraints deletion: 395 -> 247
65.08/65.15	c learnt constraints deletion: 388 -> 249
65.18/65.22	c learnt constraints deletion: 448 -> 254
65.18/65.28	c learnt constraints deletion: 409 -> 261
65.27/65.36	c learnt constraints deletion: 446 -> 262
65.37/65.42	c learnt constraints deletion: 433 -> 261
65.37/65.49	c learnt constraints deletion: 419 -> 261
65.47/65.55	c learnt constraints deletion: 426 -> 268
65.57/65.62	c learnt constraints deletion: 484 -> 270
65.57/65.68	c learnt constraints deletion: 465 -> 272
65.67/65.75	c learnt constraints deletion: 457 -> 273
65.77/65.81	c learnt constraints deletion: 446 -> 280
65.77/65.87	c learnt constraints deletion: 444 -> 283
65.88/65.94	c learnt constraints deletion: 461 -> 284
65.88/65.99	c learnt constraints deletion: 450 -> 285
65.98/66.05	c learnt constraints deletion: 451 -> 284
66.07/66.11	c learnt constraints deletion: 439 -> 284
66.07/66.17	c learnt constraints deletion: 446 -> 281
66.18/66.24	c learnt constraints deletion: 475 -> 283
66.28/66.30	c learnt constraints deletion: 443 -> 288
66.28/66.37	c learnt constraints deletion: 490 -> 290
66.38/66.44	c learnt constraints deletion: 471 -> 295
66.48/66.52	c learnt constraints deletion: 486 -> 294
66.48/66.56	c learnt constraints deletion: 423 -> 299
66.58/66.64	c learnt constraints deletion: 476 -> 306
66.58/66.68	c learnt constraints deletion: 414 -> 305
66.67/66.75	c learnt constraints deletion: 487 -> 307
66.77/66.81	c learnt constraints deletion: 500 -> 311
66.77/66.87	c learnt constraints deletion: 476 -> 309
66.87/66.94	c learnt constraints deletion: 512 -> 311
66.98/67.02	c learnt constraints deletion: 511 -> 314
66.98/67.07	c learnt constraints deletion: 496 -> 307
67.08/67.13	c learnt constraints deletion: 463 -> 308
67.18/67.21	c learnt constraints deletion: 506 -> 310
67.28/67.30	c learnt constraints deletion: 509 -> 315
67.28/67.38	c learnt constraints deletion: 510 -> 322
67.38/67.46	c learnt constraints deletion: 525 -> 326
67.47/67.53	c learnt constraints deletion: 522 -> 325
67.47/67.59	c learnt constraints deletion: 484 -> 326
67.57/67.66	c learnt constraints deletion: 491 -> 334
67.67/67.71	c learnt constraints deletion: 467 -> 336
67.67/67.78	c learnt constraints deletion: 511 -> 339
67.77/67.82	c learnt constraints deletion: 457 -> 340
67.77/67.88	c learnt constraints deletion: 492 -> 344
67.87/67.95	c learnt constraints deletion: 517 -> 352
67.97/68.02	c learnt constraints deletion: 550 -> 359
67.97/68.07	c learnt constraints deletion: 533 -> 355
68.08/68.13	c learnt constraints deletion: 515 -> 355
68.08/68.19	c learnt constraints deletion: 496 -> 358
68.18/68.25	c learnt constraints deletion: 526 -> 360
68.27/68.31	c learnt constraints deletion: 521 -> 361
68.27/68.36	c learnt constraints deletion: 520 -> 358
68.37/68.42	c learnt constraints deletion: 510 -> 357
68.37/68.48	c learnt constraints deletion: 499 -> 357
68.47/68.53	c learnt constraints deletion: 501 -> 360
68.57/68.61	c learnt constraints deletion: 544 -> 366
68.57/68.66	c learnt constraints deletion: 516 -> 371
68.67/68.71	c learnt constraints deletion: 496 -> 369
68.67/68.76	c learnt constraints deletion: 507 -> 373
68.78/68.83	c learnt constraints deletion: 545 -> 379
68.88/68.90	c learnt constraints deletion: 539 -> 384
68.88/68.95	c learnt constraints deletion: 560 -> 394
68.88/68.96	c solving time = 4.517s
68.88/68.96	c #decision = 235682
68.88/68.96	c #conflict = 142982
68.88/68.96	c #restart = 66
68.88/68.96	s OPTIMUM FOUND
68.88/68.96	v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10
68.88/68.96	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
68.88/68.96	v -x21 x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30
68.88/68.96	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
68.88/68.96	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
68.88/68.96	v -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60
68.88/68.96	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
68.88/68.96	v x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
68.88/68.96	v -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90
68.88/68.96	v -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100
68.88/68.96	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
68.88/68.96	v -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120
68.88/68.96	v x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
68.88/68.96	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
68.88/68.96	v -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
68.88/68.96	v -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 x159 -x160
68.88/68.96	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
68.88/68.96	c total time = 68.944s

OK	16

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-3712352-1338204690/watcher-3712352-1338204690 -o /tmp/evaluation-result-3712352-1338204690/solver-3712352-1338204690 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712352-1338204690.wbo 

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.99 1.99 3/176 29362
/proc/meminfo: memFree=26236584/32873844 swapFree=7108/7108
[pid=29362] ppid=29360 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/29362/stat : 29362 (toysat) R 29360 29362 28734 0 -1 4202496 808 0 0 0 0 0 0 0 20 0 1 0 286595978 6356992 730 33554432000 4194304 8973514 140737031314896 140734993659464 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29362/statm: 1552 730 422 1167 0 333 0

[startup+0.0144739 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 29362
/proc/meminfo: memFree=26236584/32873844 swapFree=7108/7108
[pid=29362] ppid=29360 vsize=7232 CPUtime=0.01 cores=0,2,4,6
/proc/29362/stat : 29362 (toysat) R 29360 29362 28734 0 -1 4202496 966 0 0 0 1 0 0 0 20 0 1 0 286595978 7405568 888 33554432000 4194304 8973514 140737031314896 140734993659464 7401165 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29362/statm: 1808 888 452 1167 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7232

[startup+0.100215 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 29362
/proc/meminfo: memFree=26236584/32873844 swapFree=7108/7108
[pid=29362] ppid=29360 vsize=7232 CPUtime=0.09 cores=0,2,4,6
/proc/29362/stat : 29362 (toysat) R 29360 29362 28734 0 -1 4202496 1124 0 0 0 9 0 0 0 20 0 1 0 286595978 7405568 1046 33554432000 4194304 8973514 140737031314896 140737031314392 7730112 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29362/statm: 1808 1046 463 1167 0 589 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7232

[startup+0.300183 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 29362
/proc/meminfo: memFree=26236584/32873844 swapFree=7108/7108
[pid=29362] ppid=29360 vsize=8256 CPUtime=0.29 cores=0,2,4,6
/proc/29362/stat : 29362 (toysat) R 29360 29362 28734 0 -1 4202496 1166 0 0 0 29 0 0 0 20 0 1 0 286595978 8454144 1088 33554432000 4194304 8973514 140737031314896 140737031314392 7688789 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29362/statm: 2064 1088 464 1167 0 845 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8256

[startup+0.700181 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 29362
/proc/meminfo: memFree=26236584/32873844 swapFree=7108/7108
[pid=29362] ppid=29360 vsize=8256 CPUtime=0.69 cores=0,2,4,6
/proc/29362/stat : 29362 (toysat) R 29360 29362 28734 0 -1 4202496 1220 0 0 0 69 0 0 0 20 0 1 0 286595978 8454144 1142 33554432000 4194304 8973514 140737031314896 140737031314392 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29362/statm: 2064 1142 464 1167 0 845 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8256

[startup+1.50018 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 29363
/proc/meminfo: memFree=26233476/32873844 swapFree=7108/7108
[pid=29362] ppid=29360 vsize=8256 CPUtime=1.48 cores=0,2,4,6
/proc/29362/stat : 29362 (toysat) R 29360 29362 28734 0 -1 4202496 1241 0 0 0 148 0 0 0 20 0 1 0 286595978 8454144 1163 33554432000 4194304 8973514 140737031314896 140737031314392 4537677 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29362/statm: 2064 1163 464 1167 0 845 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8256

[startup+3.10018 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 29363
/proc/meminfo: memFree=26233468/32873844 swapFree=7108/7108
[pid=29362] ppid=29360 vsize=8256 CPUtime=3.08 cores=0,2,4,6
/proc/29362/stat : 29362 (toysat) R 29360 29362 28734 0 -1 4202496 1381 0 0 0 307 1 0 0 20 0 1 0 286595978 8454144 1303 33554432000 4194304 8973514 140737031314896 140737031314392 4462765 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29362/statm: 2064 1303 464 1167 0 845 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 8256

[startup+6.30018 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 29363
/proc/meminfo: memFree=26231484/32873844 swapFree=7108/7108
[pid=29362] ppid=29360 vsize=9280 CPUtime=6.29 cores=0,2,4,6
/proc/29362/stat : 29362 (toysat) R 29360 29362 28734 0 -1 4202496 1637 0 0 0 626 3 0 0 20 0 1 0 286595978 9502720 1559 33554432000 4194304 8973514 140737031314896 140737031314392 4415744 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29362/statm: 2320 1559 464 1167 0 1101 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9280

[startup+12.7002 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 29363
/proc/meminfo: memFree=26231500/32873844 swapFree=7108/7108
[pid=29362] ppid=29360 vsize=9280 CPUtime=12.68 cores=0,2,4,6
/proc/29362/stat : 29362 (toysat) R 29360 29362 28734 0 -1 4202496 1637 0 0 0 1261 7 0 0 20 0 1 0 286595978 9502720 1559 33554432000 4194304 8973514 140737031314896 140737031314392 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29362/statm: 2320 1559 464 1167 0 1101 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 9280

[startup+25.5002 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 29363
/proc/meminfo: memFree=26235908/32873844 swapFree=7108/7108
[pid=29362] ppid=29360 vsize=9280 CPUtime=25.48 cores=0,2,4,6
/proc/29362/stat : 29362 (toysat) R 29360 29362 28734 0 -1 4202496 1639 0 0 0 2534 14 0 0 20 0 1 0 286595978 9502720 1566 33554432000 4194304 8973514 140737031314896 140737031314392 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29362/statm: 2320 1566 464 1167 0 1101 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 9280

[startup+51.1002 s]
/proc/loadavg: 1.96 1.99 1.99 3/177 29363
/proc/meminfo: memFree=26234668/32873844 swapFree=7108/7108
[pid=29362] ppid=29360 vsize=9280 CPUtime=51.07 cores=0,2,4,6
/proc/29362/stat : 29362 (toysat) R 29360 29362 28734 0 -1 4202496 1639 0 0 0 5079 28 0 0 20 0 1 0 286595978 9502720 1566 33554432000 4194304 8973514 140737031314896 140737031314392 7937344 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29362/statm: 2320 1566 464 1167 0 1101 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 9280

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

[startup+57.5002 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 29363
/proc/meminfo: memFree=26235164/32873844 swapFree=7108/7108
[pid=29362] ppid=29360 vsize=9280 CPUtime=57.47 cores=0,2,4,6
/proc/29362/stat : 29362 (toysat) R 29360 29362 28734 0 -1 4202496 1639 0 0 0 5715 32 0 0 20 0 1 0 286595978 9502720 1566 33554432000 4194304 8973514 140737031314896 140737031314392 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29362/statm: 2320 1566 464 1167 0 1101 0
Current children cumulated CPU time (s) 57.47
Current children cumulated vsize (KiB) 9280

[startup+63.9002 s]
/proc/loadavg: 1.97 1.99 1.99 3/176 29363
/proc/meminfo: memFree=26235232/32873844 swapFree=7108/7108
[pid=29362] ppid=29360 vsize=9280 CPUtime=63.87 cores=0,2,4,6
/proc/29362/stat : 29362 (toysat) R 29360 29362 28734 0 -1 4202496 1639 0 0 0 6351 36 0 0 20 0 1 0 286595978 9502720 1566 33554432000 4194304 8973514 140737031314896 140737031314000 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29362/statm: 2320 1566 464 1167 0 1101 0
Current children cumulated CPU time (s) 63.87
Current children cumulated vsize (KiB) 9280

[startup+67.1062 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 29364
/proc/meminfo: memFree=26235472/32873844 swapFree=7108/7108
[pid=29362] ppid=29360 vsize=9280 CPUtime=67.08 cores=0,2,4,6
/proc/29362/stat : 29362 (toysat) R 29360 29362 28734 0 -1 4202496 1639 0 0 0 6670 38 0 0 20 0 1 0 286595978 9502720 1566 33554432000 4194304 8973514 140737031314896 140737031314392 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29362/statm: 2320 1566 464 1167 0 1101 0
Current children cumulated CPU time (s) 67.08
Current children cumulated vsize (KiB) 9280

[startup+67.9002 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 29364
/proc/meminfo: memFree=26235472/32873844 swapFree=7108/7108
[pid=29362] ppid=29360 vsize=9280 CPUtime=67.87 cores=0,2,4,6
/proc/29362/stat : 29362 (toysat) R 29360 29362 28734 0 -1 4202496 1639 0 0 0 6748 39 0 0 20 0 1 0 286595978 9502720 1566 33554432000 4194304 8973514 140737031314896 140737031314392 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29362/statm: 2320 1566 464 1167 0 1101 0
Current children cumulated CPU time (s) 67.87
Current children cumulated vsize (KiB) 9280

[startup+68.7002 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 29364
/proc/meminfo: memFree=26235472/32873844 swapFree=7108/7108
[pid=29362] ppid=29360 vsize=9280 CPUtime=68.67 cores=0,2,4,6
/proc/29362/stat : 29362 (toysat) R 29360 29362 28734 0 -1 4202496 1639 0 0 0 6828 39 0 0 20 0 1 0 286595978 9502720 1566 33554432000 4194304 8973514 140737031314896 140737031314000 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29362/statm: 2320 1566 464 1167 0 1101 0
Current children cumulated CPU time (s) 68.67
Current children cumulated vsize (KiB) 9280

[startup+68.9002 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 29364
/proc/meminfo: memFree=26235472/32873844 swapFree=7108/7108
[pid=29362] ppid=29360 vsize=9280 CPUtime=68.88 cores=0,2,4,6
/proc/29362/stat : 29362 (toysat) R 29360 29362 28734 0 -1 4202496 1639 0 0 0 6848 40 0 0 20 0 1 0 286595978 9502720 1566 33554432000 4194304 8973514 140737031314896 140737031314000 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29362/statm: 2320 1566 464 1167 0 1101 0
Current children cumulated CPU time (s) 68.88
Current children cumulated vsize (KiB) 9280

Child status: 0
Real time (s): 68.9622
CPU time (s): 68.9445
CPU user time (s): 68.5426
CPU system time (s): 0.401938
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 9280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 68.5426
system time used= 0.401938
maximum resident set size= 6280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1643
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= 5
involuntary context switches= 131

runsolver used 0.091986 second user time and 0.296954 second system time

The end

Begin job on node111 at 2012-05-28 13:31:30
IDJOB=3712352
IDBENCH=79214
IDSOLVER=2291
FILE ID=node111/3712352-1338204690
RUNJOBID= node111-1338194732-28750
PBS_JOBID= 14624600
Free space on /tmp= 67808 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110970631--soft-0-100-0.wbo
COMMAND LINE= HOME/toysat --wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712352-1338204690/watcher-3712352-1338204690 -o /tmp/evaluation-result-3712352-1338204690/solver-3712352-1338204690 -C 1800 -W 1900 -M 15500  HOME/toysat --wbo HOME/instance-3712352-1338204690.wbo

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

MD5SUM BENCH= e433b9b816c291c8bf4fd4860d096bb6
RANDOM SEED=384403076

node111.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.152
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	: 5332.30
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.152
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.91
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.152
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.152
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.152
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.152
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.91
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.152
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.152
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26237212 kB
Buffers:          559544 kB
Cached:          5106196 kB
SwapCached:         1624 kB
Active:          4735380 kB
Inactive:         961696 kB
Active(anon):      22704 kB
Inactive(anon):     9132 kB
Active(file):    4712676 kB
Inactive(file):   952564 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67105364 kB
Dirty:              7408 kB
Writeback:             8 kB
AnonPages:         37256 kB
Mapped:            16172 kB
Shmem:                 8 kB
Slab:             797948 kB
SReclaimable:     240356 kB
SUnreclaim:       557592 kB
KernelStack:        1456 kB
PageTables:         4148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     147272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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= 67800 MiB
End job on node111 at 2012-05-28 13:32:39