Trace number 373259

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, and are wall clock time (not CPU 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
oree 0.1.2 alphaSAT (TO)58 1800.36 1800.8

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir09_area_partials.opb
MD5SUM267e112b52309c055e255eac2f43ef33
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark35
Best CPU time to get the best result obtained on this benchmark3.85141
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 35
Optimality of the best value was proved YES
Number of variables5060
Total number of constraints20188
Number of constraints which are clauses20188
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint250
Number of terms in the objective function 537
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 537
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 537
Number of bits of the biggest sum of numbers10
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 (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.09/0.17	c ...done
0.09/0.17	c #vars=5060 #constraints=20189 hasObjective=yes
0.09/0.20	c res. mode=mod
0.09/0.20	c VSIDS like heuristics
0.09/0.20	c complete search running
0.19/0.26	c restart after 401 decisions
0.29/0.30	c nbDecision=500 #constraints=20189
0.29/0.34	c restart after 801 decisions
0.39/0.40	c nbDecision=1000 #constraints=20189
0.39/0.42	c nbDecision=1294 #constraints=20189
0.39/0.42	c linear search for optimum
0.39/0.42	o 519
0.39/0.44	c nbDecision=1294 #constraints=20190
0.39/0.44	o 518
0.39/0.44	c nbDecision=1294 #constraints=20191
0.39/0.44	o 517
0.39/0.45	c nbDecision=1294 #constraints=20192
0.39/0.45	o 516
0.39/0.45	c nbDecision=1294 #constraints=20193
0.39/0.45	o 515
0.39/0.45	c nbDecision=1294 #constraints=20194
0.39/0.46	o 514
0.39/0.46	c nbDecision=1294 #constraints=20195
0.39/0.46	o 513
0.39/0.46	c nbDecision=1294 #constraints=20196
0.39/0.46	o 512
0.39/0.47	c nbDecision=1294 #constraints=20197
0.39/0.47	o 511
0.39/0.47	c nbDecision=1294 #constraints=20198
0.39/0.47	o 510
0.39/0.48	c nbDecision=1294 #constraints=20199
0.39/0.48	o 509
0.39/0.48	c nbDecision=1294 #constraints=20200
0.39/0.48	o 508
0.39/0.49	c nbDecision=1294 #constraints=20201
0.39/0.49	o 507
0.39/0.49	c nbDecision=1294 #constraints=20202
0.39/0.49	o 506
0.39/0.50	c nbDecision=1294 #constraints=20203
0.39/0.50	o 505
0.50/0.50	c nbDecision=1294 #constraints=20204
0.50/0.50	o 504
0.50/0.51	c nbDecision=1294 #constraints=20205
0.50/0.51	o 503
0.50/0.51	c nbDecision=1294 #constraints=20206
0.50/0.51	o 502
0.50/0.51	c nbDecision=1294 #constraints=20207
0.50/0.51	o 501
0.50/0.52	c nbDecision=1294 #constraints=20208
0.50/0.52	o 500
0.50/0.52	c nbDecision=1294 #constraints=20209
0.50/0.52	o 499
0.50/0.53	c nbDecision=1294 #constraints=20210
0.50/0.53	o 498
0.50/0.53	c nbDecision=1294 #constraints=20211
0.50/0.53	o 497
0.50/0.54	c nbDecision=1294 #constraints=20212
0.50/0.54	o 496
0.50/0.54	c nbDecision=1294 #constraints=20213
0.50/0.54	o 495
0.50/0.55	c nbDecision=1294 #constraints=20214
0.50/0.55	o 494
0.50/0.55	c nbDecision=1294 #constraints=20215
0.50/0.55	o 493
0.50/0.56	c nbDecision=1294 #constraints=20216
0.50/0.56	o 492
0.50/0.56	c nbDecision=1294 #constraints=20217
0.50/0.56	o 491
0.50/0.57	c nbDecision=1294 #constraints=20218
0.50/0.57	o 490
0.50/0.57	c nbDecision=1294 #constraints=20219
0.50/0.57	o 489
0.50/0.58	c nbDecision=1294 #constraints=20220
0.50/0.58	o 488
0.50/0.58	c nbDecision=1294 #constraints=20221
0.50/0.58	o 487
0.50/0.59	c nbDecision=1294 #constraints=20222
0.50/0.59	o 486
0.50/0.59	c nbDecision=1294 #constraints=20223
0.50/0.59	o 485
0.59/0.60	c nbDecision=1294 #constraints=20224
0.59/0.60	o 484
0.59/0.60	c nbDecision=1294 #constraints=20225
0.59/0.60	o 483
0.59/0.61	c nbDecision=1294 #constraints=20226
0.59/0.61	o 482
0.59/0.61	c nbDecision=1294 #constraints=20227
0.59/0.61	o 481
0.59/0.62	c nbDecision=1294 #constraints=20228
0.59/0.62	o 480
0.59/0.62	c nbDecision=1294 #constraints=20229
0.59/0.62	o 479
0.59/0.63	c nbDecision=1294 #constraints=20230
0.59/0.63	o 478
0.59/0.63	c nbDecision=1294 #constraints=20231
0.59/0.63	o 477
0.59/0.64	c nbDecision=1294 #constraints=20232
0.59/0.64	o 476
0.59/0.64	c nbDecision=1294 #constraints=20233
0.59/0.65	o 475
0.59/0.65	c nbDecision=1294 #constraints=20234
0.59/0.65	o 474
0.59/0.66	c nbDecision=1294 #constraints=20235
0.59/0.66	o 473
0.59/0.66	c nbDecision=1294 #constraints=20236
0.59/0.66	o 472
0.59/0.67	c nbDecision=1294 #constraints=20237
0.59/0.67	o 471
0.59/0.67	c nbDecision=1294 #constraints=20238
0.59/0.68	o 470
0.59/0.68	c nbDecision=1294 #constraints=20239
0.59/0.68	o 469
0.59/0.69	c nbDecision=1294 #constraints=20240
0.59/0.69	o 468
0.59/0.69	c nbDecision=1294 #constraints=20241
0.59/0.69	o 467
0.69/0.70	c nbDecision=1294 #constraints=20242
0.69/0.70	o 466
0.69/0.71	c nbDecision=1294 #constraints=20243
0.69/0.71	o 465
0.69/0.71	c nbDecision=1294 #constraints=20244
0.69/0.71	o 464
0.69/0.72	c nbDecision=1294 #constraints=20245
0.69/0.72	o 463
0.69/0.72	c nbDecision=1294 #constraints=20246
0.69/0.72	o 462
0.69/0.73	c nbDecision=1294 #constraints=20247
0.69/0.73	o 461
0.69/0.74	c nbDecision=1294 #constraints=20248
0.69/0.74	o 460
0.69/0.74	c nbDecision=1294 #constraints=20249
0.69/0.74	o 459
0.69/0.75	c nbDecision=1294 #constraints=20250
0.69/0.75	o 458
0.69/0.76	c nbDecision=1294 #constraints=20251
0.69/0.76	o 457
0.69/0.76	c nbDecision=1294 #constraints=20252
0.69/0.76	o 456
0.69/0.77	c nbDecision=1294 #constraints=20253
0.69/0.77	o 455
0.69/0.78	c nbDecision=1294 #constraints=20254
0.69/0.78	o 454
0.69/0.78	c nbDecision=1294 #constraints=20255
0.69/0.78	o 453
0.69/0.79	c nbDecision=1294 #constraints=20256
0.69/0.79	o 452
0.79/0.80	c nbDecision=1294 #constraints=20257
0.79/0.80	o 451
0.79/0.80	c nbDecision=1294 #constraints=20258
0.79/0.80	o 450
0.79/0.81	c nbDecision=1294 #constraints=20259
0.79/0.81	o 449
0.79/0.82	c nbDecision=1294 #constraints=20260
0.79/0.82	o 448
0.79/0.82	c nbDecision=1294 #constraints=20261
0.79/0.82	o 447
0.79/0.83	c nbDecision=1294 #constraints=20262
0.79/0.83	o 446
0.79/0.84	c nbDecision=1294 #constraints=20263
0.79/0.84	o 445
0.79/0.85	c nbDecision=1294 #constraints=20264
0.79/0.85	o 444
0.79/0.85	c nbDecision=1294 #constraints=20265
0.79/0.85	o 443
0.79/0.86	c nbDecision=1294 #constraints=20266
0.79/0.86	o 442
0.79/0.87	c nbDecision=1294 #constraints=20267
0.79/0.87	o 441
0.79/0.88	c nbDecision=1294 #constraints=20268
0.79/0.88	o 440
0.79/0.88	c nbDecision=1294 #constraints=20269
0.79/0.88	o 439
0.79/0.89	c nbDecision=1294 #constraints=20270
0.79/0.89	o 438
0.89/0.90	c nbDecision=1294 #constraints=20271
0.89/0.90	o 437
0.89/0.91	c nbDecision=1294 #constraints=20272
0.89/0.91	o 436
0.89/0.91	c nbDecision=1294 #constraints=20273
0.89/0.91	o 435
0.89/0.92	c nbDecision=1294 #constraints=20274
0.89/0.92	o 434
0.89/0.93	c nbDecision=1294 #constraints=20275
0.89/0.93	o 433
0.89/0.94	c nbDecision=1294 #constraints=20276
0.89/0.94	o 432
0.89/0.95	c nbDecision=1294 #constraints=20277
0.89/0.95	o 431
0.89/0.96	c nbDecision=1294 #constraints=20278
0.89/0.96	o 430
0.89/0.96	c nbDecision=1294 #constraints=20279
0.89/0.96	o 429
0.89/0.97	c nbDecision=1294 #constraints=20280
0.89/0.97	o 428
0.89/0.98	c nbDecision=1294 #constraints=20281
0.89/0.98	o 427
0.89/0.99	c nbDecision=1294 #constraints=20282
0.89/0.99	o 426
0.99/1.00	c nbDecision=1294 #constraints=20283
0.99/1.00	o 425
0.99/1.01	c nbDecision=1294 #constraints=20284
0.99/1.01	o 424
0.99/1.01	c nbDecision=1294 #constraints=20285
0.99/1.01	o 423
0.99/1.02	c nbDecision=1294 #constraints=20286
0.99/1.02	o 422
0.99/1.03	c nbDecision=1294 #constraints=20287
0.99/1.03	o 421
0.99/1.04	c nbDecision=1294 #constraints=20288
0.99/1.04	o 420
0.99/1.05	c nbDecision=1294 #constraints=20289
0.99/1.05	o 419
0.99/1.06	c nbDecision=1294 #constraints=20290
0.99/1.06	o 418
0.99/1.07	c nbDecision=1294 #constraints=20291
0.99/1.07	o 417
0.99/1.08	c nbDecision=1294 #constraints=20292
0.99/1.08	o 416
0.99/1.09	c nbDecision=1294 #constraints=20293
0.99/1.09	o 415
0.99/1.10	c nbDecision=1294 #constraints=20294
0.99/1.10	o 414
1.09/1.11	c nbDecision=1294 #constraints=20295
1.09/1.11	o 413
1.09/1.12	c nbDecision=1294 #constraints=20296
1.09/1.12	o 412
1.09/1.13	c nbDecision=1294 #constraints=20297
1.09/1.13	o 411
1.09/1.14	c nbDecision=1294 #constraints=20298
1.09/1.14	o 410
1.09/1.15	c nbDecision=1294 #constraints=20299
1.09/1.15	o 409
1.09/1.16	c nbDecision=1294 #constraints=20300
1.09/1.16	o 408
1.09/1.17	c nbDecision=1294 #constraints=20301
1.09/1.17	o 407
1.09/1.18	c nbDecision=1294 #constraints=20302
1.09/1.18	o 406
1.09/1.19	c nbDecision=1294 #constraints=20303
1.09/1.19	o 405
1.19/1.20	c nbDecision=1294 #constraints=20304
1.19/1.20	o 404
1.19/1.21	c nbDecision=1294 #constraints=20305
1.19/1.21	o 403
1.19/1.22	c nbDecision=1294 #constraints=20306
1.19/1.22	o 402
1.19/1.23	c nbDecision=1294 #constraints=20307
1.19/1.23	o 401
1.19/1.25	c nbDecision=1294 #constraints=20308
1.19/1.25	o 400
1.19/1.26	c nbDecision=1294 #constraints=20309
1.19/1.26	o 399
1.19/1.27	c nbDecision=1294 #constraints=20310
1.19/1.27	o 398
1.19/1.28	c nbDecision=1294 #constraints=20311
1.19/1.28	o 397
1.19/1.29	c nbDecision=1294 #constraints=20312
1.19/1.29	o 396
1.29/1.30	c nbDecision=1294 #constraints=20313
1.29/1.30	o 395
1.29/1.32	c nbDecision=1294 #constraints=20314
1.29/1.32	o 394
1.29/1.33	c nbDecision=1294 #constraints=20315
1.29/1.33	o 393
1.29/1.34	c nbDecision=1294 #constraints=20316
1.29/1.34	o 392
1.29/1.35	c nbDecision=1294 #constraints=20317
1.29/1.35	o 391
1.29/1.37	c nbDecision=1294 #constraints=20318
1.29/1.37	o 390
1.29/1.38	c nbDecision=1294 #constraints=20319
1.29/1.38	o 389
1.29/1.39	c nbDecision=1294 #constraints=20320
1.29/1.39	o 388
1.40/1.40	c nbDecision=1294 #constraints=20321
1.40/1.40	o 387
1.40/1.42	c nbDecision=1294 #constraints=20322
1.40/1.42	o 386
1.40/1.43	c nbDecision=1294 #constraints=20323
1.40/1.43	o 385
1.40/1.44	c nbDecision=1294 #constraints=20324
1.40/1.44	o 384
1.40/1.45	c nbDecision=1294 #constraints=20325
1.40/1.45	o 383
1.40/1.47	c nbDecision=1294 #constraints=20326
1.40/1.47	o 382
1.40/1.48	c nbDecision=1294 #constraints=20327
1.40/1.48	o 381
1.40/1.49	c nbDecision=1294 #constraints=20328
1.40/1.49	o 380
1.49/1.51	c nbDecision=1294 #constraints=20329
1.49/1.51	o 379
1.49/1.52	c nbDecision=1294 #constraints=20330
1.49/1.52	o 378
1.49/1.53	c nbDecision=1294 #constraints=20331
1.49/1.53	o 377
1.49/1.55	c nbDecision=1294 #constraints=20332
1.49/1.55	o 376
1.49/1.56	c nbDecision=1294 #constraints=20333
1.49/1.56	o 375
1.49/1.57	c nbDecision=1294 #constraints=20334
1.49/1.57	o 374
1.49/1.59	c nbDecision=1294 #constraints=20335
1.49/1.59	o 373
1.59/1.60	c nbDecision=1294 #constraints=20336
1.59/1.60	o 372
1.59/1.62	c nbDecision=1294 #constraints=20337
1.59/1.62	o 371
1.59/1.63	c nbDecision=1294 #constraints=20338
1.59/1.63	o 370
1.59/1.64	c nbDecision=1294 #constraints=20339
1.59/1.64	o 369
1.59/1.66	c nbDecision=1294 #constraints=20340
1.59/1.66	o 368
1.59/1.67	c nbDecision=1294 #constraints=20341
1.59/1.67	o 367
1.59/1.69	c nbDecision=1294 #constraints=20342
1.59/1.69	o 366
1.69/1.70	c nbDecision=1294 #constraints=20343
1.69/1.70	o 365
1.69/1.72	c nbDecision=1294 #constraints=20344
1.69/1.72	o 364
1.69/1.73	c nbDecision=1294 #constraints=20345
1.69/1.73	o 363
1.69/1.75	c nbDecision=1294 #constraints=20346
1.69/1.75	o 362
1.69/1.76	c nbDecision=1294 #constraints=20347
1.69/1.76	o 361
1.69/1.78	c nbDecision=1294 #constraints=20348
1.69/1.78	o 360
1.69/1.79	c nbDecision=1294 #constraints=20349
1.69/1.79	o 359
1.79/1.81	c nbDecision=1294 #constraints=20350
1.79/1.81	o 358
1.79/1.82	c nbDecision=1294 #constraints=20351
1.79/1.82	o 357
1.79/1.84	c nbDecision=1294 #constraints=20352
1.79/1.84	o 356
1.79/1.85	c nbDecision=1294 #constraints=20353
1.79/1.85	o 355
1.79/1.87	c nbDecision=1294 #constraints=20354
1.79/1.87	o 354
1.79/1.89	c nbDecision=1294 #constraints=20355
1.79/1.89	o 353
1.89/1.90	c nbDecision=1294 #constraints=20356
1.89/1.90	o 352
1.89/1.92	c nbDecision=1294 #constraints=20357
1.89/1.92	o 351
1.89/1.93	c nbDecision=1294 #constraints=20358
1.89/1.93	o 350
1.89/1.95	c nbDecision=1294 #constraints=20359
1.89/1.95	o 349
1.89/1.97	c nbDecision=1294 #constraints=20360
1.89/1.97	o 348
1.89/1.98	c nbDecision=1294 #constraints=20361
1.89/1.98	o 347
1.99/2.00	c nbDecision=1294 #constraints=20362
1.99/2.00	o 346
1.99/2.02	c nbDecision=1294 #constraints=20363
1.99/2.02	o 345
1.99/2.03	c nbDecision=1294 #constraints=20364
1.99/2.04	o 344
1.99/2.05	c nbDecision=1294 #constraints=20365
1.99/2.05	o 343
1.99/2.07	c nbDecision=1294 #constraints=20366
1.99/2.07	o 342
1.99/2.09	c nbDecision=1294 #constraints=20367
1.99/2.09	o 341
2.09/2.11	c nbDecision=1294 #constraints=20368
2.09/2.11	o 340
2.09/2.12	c nbDecision=1294 #constraints=20369
2.09/2.12	o 339
2.09/2.14	c nbDecision=1294 #constraints=20370
2.09/2.14	o 338
2.09/2.16	c nbDecision=1294 #constraints=20371
2.09/2.16	o 337
2.09/2.18	c nbDecision=1294 #constraints=20372
2.09/2.18	o 336
2.09/2.20	c nbDecision=1294 #constraints=20373
2.09/2.20	o 335
2.19/2.21	c nbDecision=1294 #constraints=20374
2.19/2.21	o 334
2.19/2.23	c nbDecision=1294 #constraints=20375
2.19/2.23	o 333
2.19/2.25	c nbDecision=1294 #constraints=20376
2.19/2.25	o 332
2.19/2.27	c nbDecision=1294 #constraints=20377
2.19/2.27	o 331
2.19/2.29	c nbDecision=1294 #constraints=20378
2.19/2.29	o 330
2.29/2.31	c nbDecision=1294 #constraints=20379
2.29/2.31	o 329
2.29/2.33	c nbDecision=1294 #constraints=20380
2.29/2.33	o 328
2.29/2.35	c nbDecision=1294 #constraints=20381
2.29/2.35	o 327
2.29/2.37	c nbDecision=1294 #constraints=20382
2.29/2.37	o 326
2.29/2.39	c nbDecision=1294 #constraints=20383
2.29/2.39	o 325
2.39/2.41	c nbDecision=1294 #constraints=20384
2.39/2.41	o 324
2.39/2.42	c nbDecision=1294 #constraints=20385
2.39/2.42	o 323
2.39/2.45	c nbDecision=1294 #constraints=20386
2.39/2.45	o 322
2.39/2.47	c nbDecision=1294 #constraints=20387
2.39/2.47	o 321
2.39/2.49	c nbDecision=1294 #constraints=20388
2.39/2.49	o 320
2.49/2.51	c nbDecision=1294 #constraints=20389
2.49/2.51	o 319
2.49/2.53	c nbDecision=1294 #constraints=20390
2.49/2.53	o 318
2.49/2.55	c nbDecision=1294 #constraints=20391
2.49/2.55	o 317
2.49/2.57	c nbDecision=1294 #constraints=20392
2.49/2.57	o 316
2.49/2.59	c nbDecision=1294 #constraints=20393
2.49/2.59	o 315
2.59/2.61	c nbDecision=1294 #constraints=20394
2.59/2.61	o 314
2.59/2.63	c nbDecision=1294 #constraints=20395
2.59/2.63	o 313
2.59/2.66	c nbDecision=1294 #constraints=20396
2.59/2.66	o 312
2.59/2.68	c nbDecision=1294 #constraints=20397
2.59/2.68	o 311
2.69/2.70	c nbDecision=1294 #constraints=20398
2.69/2.70	o 310
2.69/2.72	c nbDecision=1294 #constraints=20399
2.69/2.72	o 309
2.69/2.75	c nbDecision=1294 #constraints=20400
2.69/2.75	o 308
2.69/2.77	c nbDecision=1294 #constraints=20401
2.69/2.77	o 307
2.69/2.79	c nbDecision=1294 #constraints=20402
2.69/2.79	o 306
2.79/2.82	c nbDecision=1294 #constraints=20403
2.79/2.82	o 305
2.79/2.84	c nbDecision=1294 #constraints=20404
2.79/2.84	o 304
2.79/2.86	c nbDecision=1294 #constraints=20405
2.79/2.86	o 303
2.79/2.89	c nbDecision=1294 #constraints=20406
2.79/2.89	o 302
2.89/2.91	c nbDecision=1294 #constraints=20407
2.89/2.91	o 301
2.89/2.94	c nbDecision=1294 #constraints=20408
2.89/2.94	o 300
2.89/2.96	c nbDecision=1294 #constraints=20409
2.89/2.96	o 299
2.89/2.99	c nbDecision=1294 #constraints=20410
2.89/2.99	o 298
2.99/3.01	c nbDecision=1294 #constraints=20411
2.99/3.01	o 297
2.99/3.04	c nbDecision=1294 #constraints=20412
2.99/3.04	o 296
2.99/3.06	c nbDecision=1294 #constraints=20413
2.99/3.06	o 295
2.99/3.09	c nbDecision=1294 #constraints=20414
2.99/3.09	o 294
3.09/3.11	c nbDecision=1294 #constraints=20415
3.09/3.11	o 293
3.09/3.14	c nbDecision=1294 #constraints=20416
3.09/3.14	o 292
3.09/3.16	c nbDecision=1294 #constraints=20417
3.09/3.16	o 291
3.09/3.19	c nbDecision=1294 #constraints=20418
3.09/3.19	o 290
3.20/3.21	c nbDecision=1294 #constraints=20419
3.20/3.21	o 289
3.20/3.24	c nbDecision=1294 #constraints=20420
3.20/3.24	o 288
3.20/3.27	c nbDecision=1294 #constraints=20421
3.20/3.27	o 287
3.20/3.29	c nbDecision=1294 #constraints=20422
3.20/3.29	o 286
3.29/3.32	c nbDecision=1294 #constraints=20423
3.29/3.32	o 285
3.29/3.35	c nbDecision=1294 #constraints=20424
3.29/3.35	o 284
3.29/3.37	c nbDecision=1294 #constraints=20425
3.29/3.37	o 283
3.39/3.40	c nbDecision=1294 #constraints=20426
3.39/3.40	o 282
3.39/3.43	c nbDecision=1294 #constraints=20427
3.39/3.43	o 281
3.39/3.46	c nbDecision=1294 #constraints=20428
3.39/3.46	o 280
3.39/3.48	c nbDecision=1294 #constraints=20429
3.39/3.48	o 279
3.49/3.51	c nbDecision=1294 #constraints=20430
3.49/3.51	o 278
3.49/3.54	c nbDecision=1294 #constraints=20431
3.49/3.54	o 277
3.49/3.57	c nbDecision=1294 #constraints=20432
3.49/3.57	o 276
3.49/3.60	c nbDecision=1294 #constraints=20433
3.49/3.60	o 275
3.59/3.63	c nbDecision=1294 #constraints=20434
3.59/3.63	o 274
3.59/3.65	c nbDecision=1294 #constraints=20435
3.59/3.65	o 273
3.59/3.68	c nbDecision=1294 #constraints=20436
3.59/3.68	o 272
3.69/3.71	c nbDecision=1294 #constraints=20437
3.69/3.71	o 271
3.69/3.74	c nbDecision=1294 #constraints=20438
3.69/3.74	o 270
3.69/3.77	c nbDecision=1294 #constraints=20439
3.69/3.77	o 269
3.79/3.80	c nbDecision=1294 #constraints=20440
3.79/3.80	o 268
3.79/3.83	c nbDecision=1294 #constraints=20441
3.79/3.83	o 267
3.79/3.86	c nbDecision=1294 #constraints=20442
3.79/3.86	o 266
3.79/3.89	c nbDecision=1294 #constraints=20443
3.79/3.89	o 265
3.89/3.92	c nbDecision=1294 #constraints=20444
3.89/3.92	o 264
3.89/3.95	c nbDecision=1294 #constraints=20445
3.89/3.95	o 263
3.89/3.99	c nbDecision=1294 #constraints=20446
3.89/3.99	o 262
3.99/4.02	c nbDecision=1294 #constraints=20447
3.99/4.02	o 261
3.99/4.05	c nbDecision=1294 #constraints=20448
3.99/4.05	o 260
3.99/4.08	c nbDecision=1294 #constraints=20449
3.99/4.08	o 259
4.09/4.11	c nbDecision=1294 #constraints=20450
4.09/4.11	o 258
4.09/4.14	c nbDecision=1294 #constraints=20451
4.09/4.14	o 257
4.09/4.18	c nbDecision=1294 #constraints=20452
4.09/4.18	o 256
4.19/4.21	c nbDecision=1294 #constraints=20453
4.19/4.21	o 255
4.19/4.24	c nbDecision=1294 #constraints=20454
4.19/4.24	o 254
4.19/4.27	c nbDecision=1294 #constraints=20455
4.19/4.27	o 253
4.29/4.31	c nbDecision=1294 #constraints=20456
4.29/4.31	o 252
4.29/4.34	c nbDecision=1294 #constraints=20457
4.29/4.34	o 251
4.29/4.37	c nbDecision=1294 #constraints=20458
4.29/4.37	o 250
4.39/4.41	c nbDecision=1294 #constraints=20459
4.39/4.41	o 249
4.39/4.44	c nbDecision=1294 #constraints=20460
4.39/4.44	o 248
4.39/4.48	c nbDecision=1294 #constraints=20461
4.39/4.48	o 247
4.49/4.51	c nbDecision=1294 #constraints=20462
4.49/4.51	o 246
4.49/4.54	c nbDecision=1294 #constraints=20463
4.49/4.54	o 245
4.49/4.58	c nbDecision=1294 #constraints=20464
4.49/4.58	o 244
4.59/4.61	c nbDecision=1294 #constraints=20465
4.59/4.61	o 243
4.59/4.65	c nbDecision=1294 #constraints=20466
4.59/4.65	o 242
4.59/4.68	c nbDecision=1294 #constraints=20467
4.59/4.68	o 241
4.69/4.72	c nbDecision=1294 #constraints=20468
4.69/4.72	o 240
4.69/4.75	c nbDecision=1294 #constraints=20469
4.69/4.75	o 239
4.69/4.79	c nbDecision=1294 #constraints=20470
4.69/4.79	o 238
4.79/4.83	c nbDecision=1294 #constraints=20471
4.79/4.83	o 237
4.79/4.86	c nbDecision=1294 #constraints=20472
4.79/4.86	o 236
4.89/4.90	c nbDecision=1294 #constraints=20473
4.89/4.90	o 235
4.89/4.93	c nbDecision=1294 #constraints=20474
4.89/4.93	o 234
4.89/4.97	c nbDecision=1294 #constraints=20475
4.89/4.97	o 233
4.99/5.01	c nbDecision=1294 #constraints=20476
4.99/5.01	o 232
4.99/5.04	c nbDecision=1294 #constraints=20477
4.99/5.04	o 231
4.99/5.08	c nbDecision=1294 #constraints=20478
4.99/5.08	o 230
5.09/5.12	c nbDecision=1294 #constraints=20479
5.09/5.12	o 229
5.09/5.16	c nbDecision=1294 #constraints=20480
5.09/5.16	o 228
5.09/5.19	c nbDecision=1294 #constraints=20481
5.09/5.19	o 227
5.19/5.23	c nbDecision=1294 #constraints=20482
5.19/5.23	o 226
5.19/5.27	c nbDecision=1294 #constraints=20483
5.19/5.27	o 225
5.29/5.31	c nbDecision=1294 #constraints=20484
5.29/5.31	o 224
5.29/5.34	c nbDecision=1294 #constraints=20485
5.29/5.34	o 223
5.29/5.38	c nbDecision=1294 #constraints=20486
5.29/5.38	o 222
5.39/5.42	c nbDecision=1294 #constraints=20487
5.39/5.42	o 221
5.39/5.46	c nbDecision=1294 #constraints=20488
5.39/5.46	o 220
5.39/5.50	c nbDecision=1294 #constraints=20489
5.39/5.50	o 219
5.49/5.54	c nbDecision=1294 #constraints=20490
5.49/5.54	o 218
5.49/5.58	c nbDecision=1294 #constraints=20491
5.49/5.58	o 217
5.59/5.62	c nbDecision=1294 #constraints=20492
5.59/5.62	o 216
5.59/5.66	c nbDecision=1294 #constraints=20493
5.59/5.66	o 215
5.69/5.70	c nbDecision=1294 #constraints=20494
5.69/5.70	o 214
5.69/5.74	c nbDecision=1294 #constraints=20495
5.69/5.74	o 213
5.69/5.78	c nbDecision=1294 #constraints=20496
5.69/5.78	o 212
5.79/5.82	c nbDecision=1294 #constraints=20497
5.79/5.82	o 211
5.79/5.86	c nbDecision=1294 #constraints=20498
5.79/5.86	o 210
5.89/5.90	c nbDecision=1294 #constraints=20499
5.89/5.90	o 209
5.89/5.94	c nbDecision=1294 #constraints=20500
5.89/5.94	o 208
5.89/5.98	c nbDecision=1294 #constraints=20501
5.89/5.98	o 207
5.99/6.02	c nbDecision=1294 #constraints=20502
5.99/6.02	o 206
5.99/6.06	c nbDecision=1294 #constraints=20503
5.99/6.06	o 205
6.09/6.10	c nbDecision=1294 #constraints=20504
6.09/6.10	o 204
6.09/6.14	c nbDecision=1294 #constraints=20505
6.09/6.14	o 203
6.09/6.19	c nbDecision=1294 #constraints=20506
6.09/6.19	o 202
6.19/6.23	c nbDecision=1294 #constraints=20507
6.19/6.23	o 201
6.19/6.27	c nbDecision=1294 #constraints=20508
6.19/6.27	o 200
6.29/6.31	c nbDecision=1294 #constraints=20509
6.29/6.31	o 199
6.29/6.35	c nbDecision=1294 #constraints=20510
6.29/6.35	o 198
6.29/6.40	c nbDecision=1294 #constraints=20511
6.29/6.40	o 197
6.39/6.44	c nbDecision=1294 #constraints=20512
6.39/6.44	o 196
6.39/6.48	c nbDecision=1294 #constraints=20513
6.39/6.48	o 195
6.49/6.53	c nbDecision=1294 #constraints=20514
6.49/6.53	o 194
6.49/6.57	c nbDecision=1294 #constraints=20515
6.49/6.57	o 193
6.59/6.61	c nbDecision=1294 #constraints=20516
6.59/6.61	o 192
6.59/6.65	c nbDecision=1294 #constraints=20517
6.59/6.65	o 191
6.69/6.70	c nbDecision=1294 #constraints=20518
6.69/6.70	o 190
6.69/6.74	c nbDecision=1294 #constraints=20519
6.69/6.74	o 189
6.69/6.79	c nbDecision=1294 #constraints=20520
6.69/6.79	o 188
6.79/6.83	c nbDecision=1294 #constraints=20521
6.79/6.83	o 187
6.79/6.88	c nbDecision=1294 #constraints=20522
6.79/6.88	o 186
6.89/6.92	c nbDecision=1294 #constraints=20523
6.89/6.92	o 185
6.89/6.97	c nbDecision=1294 #constraints=20524
6.89/6.97	o 184
6.99/7.01	c nbDecision=1294 #constraints=20525
6.99/7.01	o 183
6.99/7.06	c nbDecision=1294 #constraints=20526
6.99/7.06	o 182
7.09/7.10	c nbDecision=1294 #constraints=20527
7.09/7.10	o 181
7.09/7.15	c nbDecision=1294 #constraints=20528
7.09/7.15	o 180
7.19/7.20	c nbDecision=1294 #constraints=20529
7.19/7.20	o 179
7.19/7.24	c nbDecision=1294 #constraints=20530
7.19/7.24	o 178
7.19/7.29	c nbDecision=1294 #constraints=20531
7.19/7.29	o 177
7.29/7.34	c nbDecision=1294 #constraints=20532
7.29/7.34	o 176
7.29/7.38	c nbDecision=1294 #constraints=20533
7.29/7.38	o 175
7.39/7.43	c nbDecision=1294 #constraints=20534
7.39/7.43	o 174
7.39/7.48	c nbDecision=1294 #constraints=20535
7.39/7.48	o 173
7.49/7.52	c nbDecision=1294 #constraints=20536
7.49/7.52	o 172
7.49/7.57	c nbDecision=1294 #constraints=20537
7.49/7.57	o 171
7.59/7.62	c nbDecision=1294 #constraints=20538
7.59/7.62	o 170
7.59/7.67	c nbDecision=1294 #constraints=20539
7.59/7.67	o 169
7.69/7.72	c nbDecision=1294 #constraints=20540
7.69/7.72	o 168
7.69/7.76	c nbDecision=1294 #constraints=20541
7.69/7.76	o 167
7.79/7.81	c nbDecision=1294 #constraints=20542
7.79/7.81	o 166
7.79/7.86	c nbDecision=1294 #constraints=20543
7.79/7.86	o 165
7.89/7.91	c nbDecision=1294 #constraints=20544
7.89/7.91	o 164
7.89/7.96	c nbDecision=1294 #constraints=20545
7.89/7.96	o 163
7.99/8.01	c nbDecision=1294 #constraints=20546
7.99/8.01	o 162
7.99/8.06	c nbDecision=1294 #constraints=20547
7.99/8.06	o 161
8.08/8.11	c nbDecision=1294 #constraints=20548
8.08/8.11	o 160
8.08/8.16	c nbDecision=1294 #constraints=20549
8.08/8.16	o 159
8.18/8.21	c nbDecision=1294 #constraints=20550
8.18/8.21	o 158
8.18/8.26	c nbDecision=1294 #constraints=20551
8.18/8.26	o 157
8.28/8.31	c nbDecision=1294 #constraints=20552
8.28/8.31	o 156
8.28/8.36	c nbDecision=1294 #constraints=20553
8.28/8.36	o 155
8.38/8.41	c nbDecision=1294 #constraints=20554
8.38/8.41	o 154
8.38/8.46	c nbDecision=1294 #constraints=20555
8.38/8.46	o 153
8.48/8.51	c nbDecision=1294 #constraints=20556
8.48/8.51	o 152
8.48/8.56	c nbDecision=1294 #constraints=20557
8.48/8.56	o 151
8.58/8.61	c nbDecision=1294 #constraints=20558
8.58/8.61	o 150
8.58/8.66	c nbDecision=1294 #constraints=20559
8.58/8.66	o 149
8.69/8.72	c nbDecision=1294 #constraints=20560
8.69/8.72	o 148
8.69/8.77	c nbDecision=1294 #constraints=20561
8.69/8.77	o 147
8.79/8.82	c nbDecision=1294 #constraints=20562
8.79/8.82	o 146
8.79/8.87	c nbDecision=1294 #constraints=20563
8.79/8.87	o 145
8.88/8.93	c nbDecision=1294 #constraints=20564
8.88/8.93	o 144
8.88/8.98	c nbDecision=1294 #constraints=20565
8.88/8.98	o 143
8.98/9.03	c nbDecision=1294 #constraints=20566
8.98/9.03	o 142
8.98/9.09	c nbDecision=1294 #constraints=20567
8.98/9.09	o 141
9.08/9.14	c nbDecision=1295 #constraints=20569
9.08/9.14	o 140
9.08/9.19	c nbDecision=1295 #constraints=20570
9.08/9.20	o 139
9.18/9.25	c nbDecision=1295 #constraints=20571
9.18/9.25	o 138
9.28/9.30	c nbDecision=1295 #constraints=20572
9.28/9.30	o 137
9.28/9.36	c nbDecision=1295 #constraints=20573
9.28/9.36	o 136
9.38/9.41	c nbDecision=1295 #constraints=20574
9.38/9.41	o 135
9.38/9.47	c nbDecision=1295 #constraints=20575
9.38/9.47	o 134
9.48/9.52	c nbDecision=1295 #constraints=20576
9.48/9.52	o 133
9.48/9.58	c nbDecision=1295 #constraints=20577
9.48/9.58	o 132
9.58/9.63	c nbDecision=1295 #constraints=20578
9.58/9.63	o 131
9.58/9.69	c nbDecision=1295 #constraints=20579
9.58/9.69	o 130
9.68/9.75	c nbDecision=1296 #constraints=20581
9.68/9.75	o 129
9.79/9.80	c nbDecision=1296 #constraints=20582
9.79/9.80	o 128
9.79/9.86	c nbDecision=1296 #constraints=20583
9.79/9.86	o 127
9.89/9.92	c nbDecision=1296 #constraints=20584
9.89/9.92	o 126
9.89/9.98	c nbDecision=1296 #constraints=20585
9.89/9.98	o 125
9.98/10.03	c nbDecision=1296 #constraints=20586
9.98/10.03	o 124
9.98/10.09	c nbDecision=1296 #constraints=20587
9.98/10.09	o 123
10.08/10.15	c nbDecision=1296 #constraints=20588
10.08/10.15	o 122
10.18/10.21	c nbDecision=1296 #constraints=20589
10.18/10.21	o 121
10.18/10.27	c nbDecision=1296 #constraints=20590
10.18/10.27	o 120
10.28/10.33	c nbDecision=1297 #constraints=20592
10.28/10.33	o 119
10.28/10.39	c nbDecision=1297 #constraints=20593
10.28/10.39	o 118
10.38/10.44	c nbDecision=1297 #constraints=20594
10.38/10.44	o 117
10.48/10.50	c nbDecision=1297 #constraints=20595
10.48/10.50	o 116
10.48/10.56	c nbDecision=1297 #constraints=20596
10.48/10.56	o 115
10.58/10.62	c nbDecision=1297 #constraints=20597
10.58/10.62	o 114
10.58/10.68	c nbDecision=1297 #constraints=20598
10.58/10.68	o 113
10.68/10.75	c nbDecision=1297 #constraints=20599
10.68/10.75	o 112
10.78/10.81	c nbDecision=1297 #constraints=20600
10.78/10.81	o 111
10.78/10.87	c nbDecision=1297 #constraints=20601
10.78/10.87	o 110
10.89/10.93	c nbDecision=1297 #constraints=20602
10.89/10.93	o 109
10.89/10.99	c nbDecision=1297 #constraints=20603
10.89/10.99	o 108
10.99/11.05	c nbDecision=1297 #constraints=20604
10.99/11.05	o 107
11.08/11.11	c nbDecision=1297 #constraints=20605
11.08/11.11	o 106
11.08/11.18	c nbDecision=1297 #constraints=20606
11.08/11.18	o 105
11.18/11.24	c nbDecision=1297 #constraints=20607
11.18/11.24	o 104
11.28/11.30	c nbDecision=1297 #constraints=20608
11.28/11.30	o 103
11.28/11.36	c nbDecision=1297 #constraints=20609
11.28/11.36	o 102
11.38/11.43	c nbDecision=1297 #constraints=20610
11.38/11.43	o 101
11.38/11.49	c nbDecision=1297 #constraints=20611
11.38/11.49	o 100
11.48/11.56	c nbDecision=1297 #constraints=20612
11.48/11.56	o 99
11.58/11.62	c nbDecision=1298 #constraints=20614
11.58/11.62	o 98
11.58/11.69	c nbDecision=1298 #constraints=20615
11.58/11.69	o 97
11.68/11.75	c nbDecision=1298 #constraints=20616
11.68/11.75	o 96
11.78/11.82	c nbDecision=1298 #constraints=20617
11.78/11.82	o 95
11.78/11.89	c nbDecision=1298 #constraints=20618
11.78/11.89	o 94
11.89/11.95	c nbDecision=1299 #constraints=20620
11.89/11.95	o 93
11.99/12.02	c nbDecision=1299 #constraints=20621
11.99/12.02	o 92
11.99/12.09	c nbDecision=1299 #constraints=20622
11.99/12.09	o 91
12.09/12.16	c nbDecision=1299 #constraints=20623
12.09/12.16	o 90
12.19/12.22	c nbDecision=1299 #constraints=20624
12.19/12.22	o 89
12.19/12.29	c nbDecision=1299 #constraints=20625
12.19/12.29	o 88
12.29/12.36	c nbDecision=1299 #constraints=20626
12.29/12.36	o 87
12.39/12.43	c nbDecision=1299 #constraints=20627
12.39/12.43	o 86
12.39/12.49	c nbDecision=1299 #constraints=20628
12.39/12.49	o 85
12.48/12.56	c nbDecision=1299 #constraints=20629
12.48/12.56	o 84
12.58/12.63	c nbDecision=1299 #constraints=20630
12.58/12.63	o 83
12.68/12.70	c nbDecision=1299 #constraints=20631
12.68/12.70	o 82
12.68/12.77	c nbDecision=1299 #constraints=20632
12.68/12.77	o 81
12.78/12.84	c nbDecision=1299 #constraints=20633
12.78/12.84	o 80
16.58/16.68	c nbDecision=1343 #constraints=20678
16.58/16.68	o 79
25.19/25.26	c nbDecision=1438 #constraints=20773
25.19/25.26	o 78
30.99/31.09	c nbDecision=1500 #constraints=20836
35.88/35.97	c restart after 1601 decisions
39.78/39.83	c nbDecision=2000 #constraints=21233
40.58/40.68	c nbDecision=2046 #constraints=21277
40.58/40.68	o 77
54.78/54.85	c nbDecision=2354 #constraints=21548
54.78/54.85	o 76
65.88/65.97	c nbDecision=2478 #constraints=21666
65.98/66.00	o 75
68.67/68.76	c nbDecision=2500 #constraints=21689
77.07/77.15	c nbDecision=2598 #constraints=21781
77.07/77.15	o 74
87.77/87.89	c nbDecision=2706 #constraints=21884
87.77/87.89	o 73
100.96/101.08	c nbDecision=2860 #constraints=22029
100.96/101.08	o 72
113.07/113.16	c nbDecision=3000 #constraints=22160
117.17/117.24	c restart after 3201 decisions
133.56/133.62	c nbDecision=3500 #constraints=22559
135.17/135.23	c nbDecision=3578 #constraints=22629
135.17/135.23	o 71
150.26/150.35	c nbDecision=3734 #constraints=22776
150.26/150.35	o 70
167.25/167.34	c nbDecision=4000 #constraints=23012
175.35/175.48	c nbDecision=4396 #constraints=23339
175.35/175.48	o 69
190.34/190.47	c nbDecision=4500 #constraints=23440
199.14/199.20	c nbDecision=5000 #constraints=23802
203.04/203.10	c nbDecision=5129 #constraints=23892
203.04/203.10	o 68
227.74/227.82	c nbDecision=5500 #constraints=24186
235.34/235.46	c nbDecision=5977 #constraints=24530
235.34/235.46	o 67
241.94/242.02	c nbDecision=6000 #constraints=24554
264.33/264.42	c restart after 6401 decisions
281.53/281.69	c nbDecision=6500 #constraints=24910
296.02/296.16	c nbDecision=7000 #constraints=25295
301.82/301.92	c nbDecision=7278 #constraints=25495
301.82/301.92	o 66
330.71/330.89	c nbDecision=7500 #constraints=25670
345.41/345.52	c nbDecision=8000 #constraints=26039
353.61/353.77	c nbDecision=8393 #constraints=26342
353.61/353.77	o 65
381.40/381.54	c nbDecision=8500 #constraints=26446
397.10/397.26	c nbDecision=9000 #constraints=26834
406.19/406.39	c nbDecision=9500 #constraints=27209
410.50/410.67	c nbDecision=9867 #constraints=27472
410.50/410.67	o 64
445.78/445.98	c nbDecision=10000 #constraints=27590
464.69/464.84	c nbDecision=10500 #constraints=27919
483.78/483.99	c nbDecision=11000 #constraints=28315
494.08/494.25	c nbDecision=11500 #constraints=28716
494.67/494.87	c nbDecision=11623 #constraints=28791
494.67/494.87	o 63
553.96/554.19	c nbDecision=12000 #constraints=29048
575.55/575.77	c nbDecision=12500 #constraints=29440
583.95/584.19	c restart after 12801 decisions
635.34/635.58	c nbDecision=13000 #constraints=29786
659.33/659.54	c nbDecision=13500 #constraints=30132
680.43/680.66	c nbDecision=14000 #constraints=30516
688.03/688.25	c nbDecision=14500 #constraints=30890
688.53/688.76	c nbDecision=14598 #constraints=30952
688.53/688.76	o 62
762.12/762.31	c nbDecision=15000 #constraints=31216
788.00/788.29	c nbDecision=15500 #constraints=31595
805.50/805.75	c nbDecision=16000 #constraints=31956
811.60/811.82	c nbDecision=16463 #constraints=32287
811.60/811.82	o 61
838.69/838.95	c nbDecision=16500 #constraints=32325
902.47/902.76	c nbDecision=17000 #constraints=32627
936.17/936.47	c nbDecision=17500 #constraints=33014
958.16/958.40	c nbDecision=18000 #constraints=33374
965.36/965.68	c nbDecision=18500 #constraints=33733
965.56/965.88	c nbDecision=18526 #constraints=33755
965.56/965.88	o 60
1064.44/1064.71	c nbDecision=19000 #constraints=34017
1100.63/1100.94	c nbDecision=19500 #constraints=34327
1126.82/1127.16	c nbDecision=20000 #constraints=34657
1148.31/1148.60	c nbDecision=20500 #constraints=35017
1155.22/1155.58	c nbDecision=20911 #constraints=35319
1155.22/1155.58	o 59
1216.51/1216.87	c nbDecision=21000 #constraints=35398
1270.49/1270.87	c nbDecision=21500 #constraints=35619
1320.38/1320.71	c nbDecision=22000 #constraints=35956
1336.27/1336.63	c nbDecision=22500 #constraints=36243
1363.87/1364.27	c nbDecision=23000 #constraints=36628
1367.36/1367.79	c nbDecision=23288 #constraints=36812
1367.36/1367.79	o 58
1465.44/1465.82	c nbDecision=23500 #constraints=36948
1511.43/1511.87	c nbDecision=24000 #constraints=37121
1557.32/1557.71	c nbDecision=24500 #constraints=37397
1603.81/1604.25	c nbDecision=25000 #constraints=37731
1637.70/1638.11	c nbDecision=25500 #constraints=38009
1638.00/1638.48	c restart after 25601 decisions
1733.18/1733.65	c nbDecision=26000 #constraints=38231
1766.57/1767.08	c nbDecision=26500 #constraints=38423
1800.06/1800.50	Received signal 15
1800.26/1800.75	
1800.26/1800.75	s SATISFIABLE
1800.26/1800.75	v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 -x14 -x15 -x16 x17 -x18 x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 x32
1800.26/1800.75	v -x33 x34 -x35 -x36 -x37 -x38 x39 x40 -x41 -x42 -x43 -x44 x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59
1800.26/1800.75	v -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 x70 -x71 x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 x84 x85 -x86
1800.26/1800.75	v -x87 -x88 x89 -x90 -x91 x92 x93 x94 x95 x96 x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 -x111
1800.26/1800.75	v -x112 x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132
1800.26/1800.75	v -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153
1800.26/1800.75	v -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174
1800.26/1800.75	v -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195
1800.26/1800.75	v -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216
1800.26/1800.75	v -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237
1800.26/1800.75	v -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258
1800.26/1800.75	v -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279
1800.26/1800.75	v -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300
1800.26/1800.75	v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321
1800.26/1800.75	v -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342
1800.26/1800.75	v -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363
1800.26/1800.75	v -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384
1800.26/1800.75	v -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405
1800.26/1800.75	v -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 x423 -x424 -x425 -x426
1800.26/1800.75	v -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 x446 -x447
1800.26/1800.75	v -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468
1800.26/1800.75	v -x469 -x470 -x471 -x472 -x473 -x474 x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489
1800.26/1800.75	v -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 -x510
1800.26/1800.75	v -x511 -x512 -x513 -x514 -x515 x516 x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 x526 x527 x528 x529 -x530 -x531 -x532
1800.26/1800.75	v x533 -x534 -x535 x536 -x537 x538 -x539 -x540 x541 x542 -x543 -x544 x545 x546 x547 x548 x549 -x550 -x551 -x552 x553 -x554 -x555
1800.26/1800.75	v -x556 -x557 x558 -x559 x560 -x561 -x562 -x563 -x564 x565 -x566 -x567 x568 x569 x570 x571 x572 x573 x574 -x575 -x576 -x577 x578
1800.26/1800.75	v x579 -x580 -x581 x582 x583 -x584 -x585 -x586 x587 x588 x589 x590 x591 -x592 x593 x594 x595 -x596 -x597 -x598 x599 -x600 -x601
1800.26/1800.75	v x602 x603 x604 x605 -x606 x607 -x608 -x609 x610 x611 -x612 -x613 x614 -x615 x616 -x617 x618 x619 x620 -x621 -x622 -x623 -x624
1800.26/1800.75	v x625 -x626 -x627 x628 x629 x630 -x631 -x632 -x633 x634 x635 x636 -x637 x638 -x639 -x640 -x641 x642 x643 -x644 -x645 x646 x647
1800.26/1800.75	v x648 -x649 -x650 x651 x652 x653 -x654 -x655 x656 x657 -x658 -x659 -x660 x661 -x662 -x663 x664 -x665 -x666 x667 -x668 -x669
1800.26/1800.75	v x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 x689 x690 -x691
1800.26/1800.75	v -x692 x693 -x694 -x695 x696 -x697 x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 x709 -x710 -x711 -x712 x713
1800.26/1800.75	v -x714 -x715 x716 x717 -x718 -x719 x720 -x721 -x722 x723 x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 x732 -x733 -x734 -x735
1800.26/1800.75	v -x736 x737 -x738 -x739 -x740 -x741 x742 x743 x744 -x745 -x746 -x747 x748 x749 x750 -x751 -x752 x753 -x754 -x755 x756 -x757
1800.26/1800.75	v x758 -x759 -x760 -x761 x762 -x763 -x764 x765 -x766 -x767 x768 x769 -x770 -x771 x772 -x773 -x774 x775 x776 x777 x778 x779 -x780
1800.26/1800.75	v -x781 -x782 x783 x784 -x785 x786 -x787 -x788 -x789 x790 x791 -x792 -x793 x794 x795 -x796 -x797 -x798 x799 -x800 -x801 -x802
1800.26/1800.75	v -x803 x804 -x805 -x806 -x807 -x808 x809 -x810 -x811 x812 -x813 -x814 x815 x816 -x817 x818 -x819 -x820 -x821 x822 -x823 x824
1800.26/1800.75	v -x825 -x826 x827 -x828 -x829 x830 -x831 -x832 x833 -x834 -x835 x836 x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 x846
1800.26/1800.75	v x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 x857 -x858 -x859 x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 x868
1800.26/1800.75	v x869 -x870 -x871 x872 -x873 -x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889
1800.26/1800.75	v -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910
1800.26/1800.75	v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931
1800.26/1800.75	v -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952
1800.26/1800.75	v -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973
1800.26/1800.75	v -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994
1800.26/1800.75	v -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012
1800.26/1800.75	v -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029
1800.26/1800.75	v -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046
1800.26/1800.75	v -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 x1062 -x1063
1800.26/1800.75	v -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080
1800.26/1800.75	v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097
1800.26/1800.75	v -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113 -x1114
1800.26/1800.75	v -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131
1800.26/1800.75	v -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148
1800.26/1800.75	v -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165
1800.26/1800.75	v -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182
1800.26/1800.75	v -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199
1800.26/1800.75	v -x1200 x1201 -x1202 -x1203 -x1204 x1205 -x1206 -x1207 x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217
1800.26/1800.75	v -x1218 -x1219 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 x1226 -x1227 -x1228 x1229 -x1230 -x1231 x1232 -x1233 -x1234 -x1235
1800.26/1800.75	v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 x1246 -x1247 -x1248 -x1249 -x1250 x1251 -x1252 -x1253
1800.26/1800.75	v -x1254 x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1267 x1268 -x1269 -x1270 -x1271
1800.26/1800.75	v -x1272 x1273 -x1274 -x1275 x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289
1800.26/1800.75	v -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x1300 x1301 -x1302 -x1303 -x1304 -x1305 x1306 -x1307
1800.26/1800.75	v -x1308 x1309 -x1310 -x1311 -x1312 -x1313 -x1314 x1315 -x1316 -x1317 -x1318 -x1319 x1320 -x1321 x1322 -x1323 -x1324 -x1325
1800.26/1800.75	v x1326 x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343
1800.26/1800.75	v -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360
1800.26/1800.75	v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377
1800.26/1800.75	v -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 x1386 x1387 -x1388 -x1389 -x1390 -x1391 x1392 x1393 -x1394 -x1395
1800.26/1800.75	v -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 x1403 -x1404 x1405 -x1406 -x1407 -x1408 x1409 -x1410 -x1411 -x1412 -x1413
1800.26/1800.75	v -x1414 x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430
1800.26/1800.75	v x1431 -x1432 -x1433 x1434 -x1435 -x1436 -x1437 x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448
1800.26/1800.75	v -x1449 -x1450 x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 x1465 -x1466
1800.26/1800.75	v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483
1800.26/1800.75	v -x1484 x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501
1800.26/1800.75	v -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518
1800.26/1800.75	v -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 x1533 -x1534 -x1535 -x1536
1800.26/1800.75	v -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553
1800.26/1800.75	v -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570
1800.26/1800.75	v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 x1584 -x1585 -x1586 -x1587
1800.26/1800.75	v x1588 -x1589 -x1590 -x1591 x1592 -x1593 -x1594 -x1595 -x1596 x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605
1800.26/1800.75	v -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622
1800.26/1800.75	v -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639
1800.26/1800.75	v -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 x1655 -x1656 -x1657
1800.26/1800.75	v -x1658 -x1659 -x1660 -x1661 x1662 -x1663 -x1664 -x1665 -x1666 x1667 x1668 x1669 -x1670 -x1671 x1672 -x1673 -x1674 x1675
1800.26/1800.75	v -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692
1800.26/1800.75	v -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709
1800.26/1800.75	v -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 x1723 -x1724 -x1725 x1726 -x1727
1800.26/1800.75	v -x1728 -x1729 x1730 -x1731 x1732 -x1733 -x1734 -x1735 -x1736 -x1737 x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745
1800.26/1800.75	v -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 x1758 -x1759 -x1760 -x1761 -x1762 -x1763
1800.26/1800.75	v -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780
1800.26/1800.75	v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797
1800.26/1800.75	v -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814
1800.26/1800.75	v -x1815 x1816 -x1817 -x1818 x1819 -x1820 -x1821 -x1822 x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 x1832
1800.26/1800.75	v -x1833 -x1834 x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849
1800.26/1800.75	v -x1850 -x1851 -x1852 -x1853 x1854 x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 x1862 -x1863 -x1864 -x1865 x1866 -x1867
1800.26/1800.75	v -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 x1883 -x1884
1800.26/1800.75	v -x1885 -x1886 x1887 -x1888 -x1889 x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902
1800.26/1800.75	v -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 x1910 -x1911 -x1912 x1913 -x1914 x1915 x1916 -x1917 x1918 -x1919 -x1920
1800.26/1800.75	v -x1921 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938
1800.26/1800.75	v -x1939 -x1940 -x1941 -x1942 x1943 x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956
1800.26/1800.75	v -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973
1800.26/1800.75	v -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 x1984 -x1985 -x1986 x1987 x1988 -x1989 -x1990 -x1991
1800.26/1800.75	v -x1992 x1993 x1994 x1995 -x1996 -x1997 x1998 -x1999 -x2000 -x2001 -x2002 -x2003 x2004 -x2005 -x2006 -x2007 -x2008 -x2009
1800.26/1800.75	v -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026
1800.26/1800.75	v -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043
1800.26/1800.75	v -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 x2058 -x2059 -x2060
1800.26/1800.75	v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077
1800.26/1800.75	v -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094
1800.26/1800.75	v -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111
1800.26/1800.75	v -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 x2126 -x2127 -x2128
1800.26/1800.75	v -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145
1800.26/1800.75	v -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162
1800.26/1800.75	v -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179
1800.26/1800.75	v -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196
1800.26/1800.75	v -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213
1800.26/1800.75	v -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230
1800.26/1800.75	v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 x2243 -x2244 -x2245 -x2246 -x2247
1800.26/1800.75	v -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 x2260 -x2261 -x2262 -x2263 -x2264
1800.26/1800.75	v -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281
1800.26/1800.75	v -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298
1800.26/1800.75	v -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315
1800.26/1800.75	v -x2316 -x2317 -x2318 -x2319 -x2320 x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332
1800.26/1800.75	v -x2333 -x2334 -x2335 x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 x2345 -x2346 -x2347 x2348 x2349 -x2350
1800.26/1800.75	v x2351 -x2352 -x2353 x2354 -x2355 -x2356 -x2357 -x2358 x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368
1800.26/1800.75	v -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385
1800.26/1800.75	v -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402
1800.26/1800.75	v -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419
1800.26/1800.75	v -x2420 -x2421 -x2422 x2423 -x2424 -x2425 -x2426 -x2427 -x2428 x2429 -x2430 -x2431 x2432 -x2433 x2434 -x2435 -x2436 x2437
1800.26/1800.75	v -x2438 -x2439 -x2440 x2441 -x2442 -x2443 x2444 x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455
1800.26/1800.75	v -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472
1800.26/1800.75	v -x2473 x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490
1800.26/1800.75	v -x2491 x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507
1800.26/1800.75	v -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524
1800.26/1800.75	v -x2525 -x2526 x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541
1800.26/1800.75	v -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558
1800.26/1800.75	v x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575
1800.26/1800.75	v -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592
1800.26/1800.75	v -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609
1800.26/1800.75	v -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626
1800.26/1800.75	v -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643
1800.26/1800.75	v -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660
1800.26/1800.75	v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677
1800.26/1800.75	v -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694
1800.26/1800.75	v -x2695 -x2696 -x2697 x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711
1800.26/1800.75	v -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 x2720 x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729
1800.26/1800.75	v -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 x2740 -x2741 -x2742 x2743 -x2744 -x2745 -x2746 -x2747
1800.26/1800.75	v -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764
1800.26/1800.75	v -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781
1800.26/1800.75	v -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 x2795 -x2796 -x2797 -x2798
1800.26/1800.75	v -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 x2813 -x2814 -x2815
1800.26/1800.75	v x2816 -x2817 -x2818 x2819 -x2820 -x2821 -x2822 -x2823 x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833
1800.26/1800.75	v -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 x2841 x2842 -x2843 -x2844 x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851
1800.26/1800.75	v -x2852 x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869
1800.26/1800.75	v -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886
1800.26/1800.75	v -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903
1800.26/1800.75	v -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920
1800.26/1800.75	v -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937
1800.26/1800.75	v -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954
1800.26/1800.75	v -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 x2970 -x2971
1800.26/1800.75	v -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988
1800.26/1800.75	v -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005
1800.26/1800.75	v -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 x3017 -x3018 -x3019 -x3020 -x3021 -x3022
1800.26/1800.75	v -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039
1800.26/1800.75	v -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056
1800.26/1800.75	v -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073
1800.26/1800.75	v -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090
1800.26/1800.75	v -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107
1800.26/1800.75	v -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124
1800.26/1800.75	v -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 x3139 -x3140 -x3141
1800.26/1800.75	v -x3142 x3143 -x3144 -x3145 x3146 -x3147 -x3148 -x3149 x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159
1800.26/1800.75	v -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 x3166 -x3167 -x3168 x3169 -x3170 -x3171 -x3172 -x3173 x3174 -x3175 -x3176 -x3177
1800.26/1800.75	v -x3178 x3179 -x3180 -x3181 x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195
1800.26/1800.75	v x3196 -x3197 -x3198 x3199 -x3200 -x3201 x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213
1800.26/1800.75	v -x3214 -x3215 -x3216 -x3217 x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 x3227 -x3228 -x3229 -x3230 -x3231
1800.26/1800.75	v x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248
1800.26/1800.75	v -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265
1800.26/1800.75	v -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 x3273 -x3274 -x3275 -x3276 x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283
1800.26/1800.75	v x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301
1800.26/1800.75	v -x3302 -x3303 -x3304 -x3305 -x3306 x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 x3314 -x3315 -x3316 x3317 -x3318 -x3319
1800.26/1800.75	v -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336
1800.26/1800.75	v -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353
1800.26/1800.75	v -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370
1800.26/1800.75	v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387
1800.26/1800.75	v -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404
1800.26/1800.75	v -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 x3420 -x3421
1800.26/1800.75	v -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 x3435 -x3436 -x3437 x3438 -x3439
1800.26/1800.75	v -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 x3455 -x3456 -x3457
1800.26/1800.75	v -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474
1800.26/1800.75	v -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 x3490 x3491 x3492
1800.26/1800.75	v -x3493 -x3494 -x3495 x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 x3508 -x3509 -x3510
1800.26/1800.75	v -x3511 -x3512 -x3513 x3514 -x3515 -x3516 -x3517 -x3518 -x3519 x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 x3528
1800.26/1800.75	v -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 x3541 -x3542 -x3543 -x3544 -x3545
1800.26/1800.75	v -x3546 x3547 -x3548 -x3549 -x3550 x3551 -x3552 -x3553 x3554 -x3555 -x3556 -x3557 -x3558 x3559 -x3560 -x3561 -x3562 -x3563
1800.26/1800.75	v -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 x3572 -x3573 -x3574 x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581
1800.26/1800.75	v -x3582 -x3583 -x3584 x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 x3594 -x3595 -x3596 -x3597 -x3598 -x3599
1800.26/1800.75	v -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616
1800.26/1800.75	v -x3617 -x3618 -x3619 x3620 -x3621 -x3622 -x3623 x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 x3631 -x3632 -x3633 -x3634
1800.26/1800.75	v -x3635 -x3636 -x3637 x3638 -x3639 -x3640 -x3641 x3642 -x3643 -x3644 x3645 -x3646 x3647 -x3648 -x3649 x3650 -x3651 -x3652
1800.26/1800.75	v -x3653 -x3654 x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669
1800.26/1800.75	v -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686
1800.26/1800.75	v -x3687 -x3688 -x3689 x3690 -x3691 -x3692 x3693 -x3694 x3695 -x3696 -x3697 x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704
1800.26/1800.75	v x3705 -x3706 -x3707 -x3708 -x3709 -x3710 x3711 -x3712 -x3713 x3714 -x3715 -x3716 -x3717 x3718 -x3719 -x3720 x3721 -x3722
1800.26/1800.75	v x3723 -x3724 -x3725 -x3726 -x3727 x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740
1800.26/1800.75	v -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757
1800.26/1800.75	v -x3758 -x3759 x3760 -x3761 -x3762 x3763 -x3764 -x3765 x3766 -x3767 -x3768 -x3769 -x3770 x3771 -x3772 -x3773 x3774 -x3775
1800.26/1800.75	v -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 x3786 -x3787 -x3788 -x3789 x3790 -x3791 -x3792 x3793
1800.26/1800.75	v -x3794 -x3795 -x3796 x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811
1800.26/1800.75	v -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828
1800.26/1800.75	v -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 x3843 -x3844 -x3845
1800.26/1800.75	v -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 x3860 -x3861 -x3862
1800.26/1800.75	v -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879
1800.26/1800.75	v -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896
1800.26/1800.75	v x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913
1800.26/1800.75	v -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930
1800.26/1800.75	v -x3931 -x3932 -x3933 -x3934 -x3935 x3936 -x3937 -x3938 -x3939 -x3940 x3941 -x3942 -x3943 x3944 -x3945 -x3946 -x3947 -x3948
1800.26/1800.75	v -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 x3965
1800.26/1800.75	v x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983
1800.26/1800.75	v -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 x3997 -x3998 -x3999 -x4000 x4001
1800.26/1800.75	v -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 x4011 -x4012 -x4013 x4014 -x4015 -x4016 x4017 -x4018 -x4019
1800.26/1800.75	v -x4020 -x4021 -x4022 -x4023 x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036
1800.26/1800.75	v -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053
1800.26/1800.75	v -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 x4068 -x4069 -x4070
1800.26/1800.75	v -x4071 x4072 -x4073 -x4074 -x4075 -x4076 -x4077 x4078 -x4079 -x4080 -x4081 -x4082 -x4083 x4084 -x4085 -x4086 -x4087 x4088
1800.26/1800.75	v -x4089 -x4090 x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105
1800.26/1800.75	v -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122
1800.26/1800.75	v -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139
1800.26/1800.75	v -x4140 x4141 -x4142 -x4143 -x4144 -x4145 -x4146 x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 x4154 -x4155 -x4156 -x4157
1800.26/1800.75	v -x4158 -x4159 x4160 -x4161 -x4162 x4163 -x4164 -x4165 x4166 -x4167 -x4168 -x4169 x4170 -x4171 -x4172 x4173 -x4174 -x4175
1800.26/1800.75	v x4176 -x4177 -x4178 -x4179 -x4180 x4181 -x4182 -x4183 x4184 -x4185 -x4186 -x4187 -x4188 -x4189 x4190 -x4191 -x4192 -x4193
1800.26/1800.75	v -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 x4201 -x4202 -x4203 -x4204 -x4205 -x4206 x4207 -x4208 -x4209 -x4210 -x4211
1800.26/1800.75	v -x4212 -x4213 x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228
1800.26/1800.75	v -x4229 -x4230 -x4231 -x4232 x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245
1800.26/1800.75	v -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262
1800.26/1800.75	v -x4263 -x4264 x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 x4274 -x4275 -x4276 x4277 -x4278 -x4279 -x4280
1800.26/1800.75	v -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 x4294 -x4295 -x4296 -x4297
1800.26/1800.75	v -x4298 x4299 -x4300 -x4301 -x4302 -x4303 x4304 -x4305 -x4306 -x4307 x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315
1800.26/1800.75	v -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332
1800.26/1800.75	v -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349
1800.26/1800.75	v -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 x4361 -x4362 -x4363 -x4364 -x4365 x4366 -x4367
1800.26/1800.75	v -x4368 x4369 -x4370 -x4371 -x4372 x4373 -x4374 -x4375 x4376 -x4377 -x4378 x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385
1800.26/1800.75	v -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402
1800.26/1800.75	v -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419
1800.26/1800.75	v -x4420 x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436
1800.26/1800.75	v -x4437 x4438 -x4439 -x4440 -x4441 x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454
1800.26/1800.75	v -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471
1800.26/1800.75	v -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488
1800.26/1800.75	v -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505
1800.26/1800.75	v -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522
1800.26/1800.75	v -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539
1800.26/1800.75	v -x4540 -x4541 -x4542 -x4543 x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556
1800.26/1800.75	v -x4557 -x4558 -x4559 -x4560 -x4561 x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573
1800.26/1800.75	v -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590
1800.26/1800.75	v -x4591 -x4592 -x4593 x4594 -x4595 -x4596 x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 x4605 -x4606 -x4607 -x4608
1800.26/1800.75	v x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625
1800.26/1800.75	v -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642
1800.26/1800.75	v -x4643 x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 x4653 -x4654 -x4655 -x4656 -x4657 -x4658 x4659 -x4660
1800.26/1800.75	v -x4661 -x4662 -x4663 -x4664 x4665 -x4666 -x4667 x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 x4675 -x4676 -x4677 -x4678
1800.26/1800.75	v -x4679 -x4680 -x4681 -x4682 x4683 -x4684 -x4685 -x4686 -x4687 x4688 -x4689 -x4690 x4691 -x4692 -x4693 -x4694 -x4695 -x4696
1800.26/1800.75	v -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713
1800.26/1800.75	v x4714 x4715 -x4716 -x4717 x4718 -x4719 -x4720 -x4721 x4722 -x4723 -x4724 -x4725 x4726 -x4727 -x4728 -x4729 -x4730 -x4731
1800.26/1800.75	v x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749
1800.26/1800.75	v -x4750 -x4751 -x4752 -x4753 x4754 -x4755 -x4756 -x4757 -x4758 -x4759 x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767
1800.26/1800.75	v -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784
1800.26/1800.75	v -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801
1800.26/1800.75	v -x4802 -x4803 x4804 -x4805 -x4806 x4807 -x4808 -x4809 -x4810 -x4811 x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819
1800.26/1800.75	v -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836
1800.26/1800.75	v -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853
1800.26/1800.75	v -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 x4864 -x4865 -x4866 -x4867 x4868 -x4869 -x4870 -x4871
1800.26/1800.75	v -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888
1800.26/1800.75	v -x4889 -x4890 x4891 -x4892 -x4893 x4894 -x4895 -x4896 -x4897 x4898 -x4899 -x4900 x4901 -x4902 -x4903 -x4904 -x4905 -x4906
1800.26/1800.75	v -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923
1800.26/1800.75	v -x4924 -x4925 -x4926 x4927 -x4928 -x4929 x4930 -x4931 -x4932 x4933 -x4934 -x4935 x4936 -x4937 -x4938 -x4939 x4940 -x4941
1800.26/1800.75	v -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 x4950 -x4951 -x4952 -x4953 -x4954 -x4955 x4956 -x4957 -x4958 -x4959
1800.26/1800.75	v x4960 -x4961 -x4962 -x4963 x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 x4977
1800.26/1800.75	v -x4978 -x4979 -x4980 -x4981 x4982 -x4983 -x4984 x4985 -x4986 -x4987 x4988 -x4989 -x4990 x4991 x4992 -x4993 -x4994 -x4995
1800.26/1800.75	v -x4996 x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 x5005 -x5006 -x5007 x5008 x5009 x5010 x5011 -x5012 -x5013
1800.26/1800.75	v x5014 -x5015 -x5016 x5017 -x5018 -x5019 x5020 -x5021 -x5022 x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 x5030 -x5031
1800.26/1800.75	v -x5032 -x5033 x5034 x5035 x5036 x5037 x5038 x5039 x5040 x5041 x5042 x5043 x5044 x5045 x5046 x5047 x5048 x5049 -x5050 x5051
1800.26/1800.75	v x5052 x5053 x5054 x5055 x5056 x5057 x5058 x5059 x5060
1800.26/1800.76	
1800.26/1800.76	c user time= 1799.94 s
1800.26/1800.76	c system time= 0.385941 s
1800.26/1800.76	c wall clock time=1800.76

Verifier Data (download as text)

OK	58

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node43/watcher-373259-1177175780 -o ROOT/results/node43/solver-373259-1177175780 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/373259-1177175780/instance-373259-1177175780.opb mod 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.94 0.95 0.98 3/77 13490
/proc/meminfo: memFree=1728632/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=1468 CPUtime=0
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 165489781 1503232 165 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 367 165 130 317 0 46 0

[startup+0.0814309 s]
/proc/loadavg: 0.94 0.95 0.98 3/77 13490
/proc/meminfo: memFree=1728632/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=3092 CPUtime=0.07
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 589 0 0 0 7 0 0 0 18 0 1 0 165489781 3166208 571 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 773 572 130 317 0 452 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3092

[startup+0.101431 s]
/proc/loadavg: 0.94 0.95 0.98 3/77 13490
/proc/meminfo: memFree=1728632/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=3620 CPUtime=0.09
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 696 0 0 0 9 0 0 0 18 0 1 0 165489781 3706880 678 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 905 678 130 317 0 584 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3620

[startup+0.301448 s]
/proc/loadavg: 0.94 0.95 0.98 3/77 13490
/proc/meminfo: memFree=1728632/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=7168 CPUtime=0.29
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 1600 0 0 0 29 0 0 0 19 0 1 0 165489781 7340032 1582 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 1792 1582 138 317 0 1471 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7168

[startup+0.701484 s]
/proc/loadavg: 0.94 0.95 0.98 3/77 13490
/proc/meminfo: memFree=1728632/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=9144 CPUtime=0.69
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 2108 0 0 0 68 1 0 0 23 0 1 0 165489781 9363456 1951 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135279024 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 2286 1951 170 317 0 1965 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9144

[startup+1.50155 s]
/proc/loadavg: 0.94 0.95 0.98 2/78 13491
/proc/meminfo: memFree=1720560/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=11116 CPUtime=1.49
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 2609 0 0 0 147 2 0 0 25 0 1 0 165489781 11382784 2452 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135147705 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 2779 2452 170 317 0 2458 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11116

[startup+3.10169 s]
/proc/loadavg: 0.94 0.95 0.98 2/78 13491
/proc/meminfo: memFree=1718704/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=12392 CPUtime=3.09
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 2941 0 0 0 307 2 0 0 25 0 1 0 165489781 12689408 2784 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 3098 2784 170 317 0 2777 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12392

[startup+6.30197 s]
/proc/loadavg: 0.95 0.95 0.98 2/78 13491
/proc/meminfo: memFree=1716464/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=13868 CPUtime=6.29
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 3324 0 0 0 627 2 0 0 25 0 1 0 165489781 14200832 3167 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718306 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 3467 3167 170 317 0 3146 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13868

[startup+12.7015 s]
/proc/loadavg: 0.95 0.95 0.98 2/78 13491
/proc/meminfo: memFree=1715504/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=14660 CPUtime=12.68
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 3515 0 0 0 1266 2 0 0 25 0 1 0 165489781 15011840 3358 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564074 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 3665 3358 170 317 0 3344 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14660

[startup+25.5016 s]
/proc/loadavg: 0.96 0.95 0.98 2/78 13491
/proc/meminfo: memFree=1714352/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=15856 CPUtime=25.49
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 3804 0 0 0 2546 3 0 0 25 0 1 0 165489781 16236544 3647 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604197 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 3964 3647 170 317 0 3643 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15856

[startup+51.1019 s]
/proc/loadavg: 0.97 0.95 0.98 2/78 13491
/proc/meminfo: memFree=1709616/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=20880 CPUtime=51.08
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 5013 0 0 0 5105 3 0 0 25 0 1 0 165489781 21381120 4856 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 5220 4856 170 317 0 4899 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 20880

[startup+102.305 s]
/proc/loadavg: 0.99 0.96 0.98 2/78 13491
/proc/meminfo: memFree=1705008/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=25388 CPUtime=102.27
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 6160 0 0 0 10222 5 0 0 25 0 1 0 165489781 25997312 6003 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604048 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 6347 6003 170 317 0 6026 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 25388

[startup+162.302 s]
/proc/loadavg: 0.99 0.96 0.98 2/78 13491
/proc/meminfo: memFree=1698928/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=31664 CPUtime=162.25
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 7680 0 0 0 16218 7 0 0 25 0 1 0 165489781 32423936 7523 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134562888 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 7916 7523 170 317 0 7595 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 31664

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13491
/proc/meminfo: memFree=1690224/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=40128 CPUtime=222.24
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 9854 0 0 0 22215 9 0 0 25 0 1 0 165489781 41091072 9697 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 10032 9697 170 317 0 9711 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 40128

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13491
/proc/meminfo: memFree=1683824/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=47428 CPUtime=282.23
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 11452 0 0 0 28212 11 0 0 25 0 1 0 165489781 48566272 11295 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 11857 11295 170 317 0 11536 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 47428

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13491
/proc/meminfo: memFree=1676848/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=54256 CPUtime=342.2
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 13188 0 0 0 34208 12 0 0 25 0 1 0 165489781 55558144 13031 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 13564 13031 170 317 0 13243 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 54256

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13491
/proc/meminfo: memFree=1670768/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=59940 CPUtime=402.2
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 14723 0 0 0 40206 14 0 0 25 0 1 0 165489781 61378560 14566 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 14985 14566 170 317 0 14664 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 59940

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13491
/proc/meminfo: memFree=1665200/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=65344 CPUtime=462.18
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 16105 0 0 0 46203 15 0 0 25 0 1 0 165489781 66912256 15948 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 16336 15948 170 317 0 16015 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 65344

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13491
/proc/meminfo: memFree=1656880/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=76200 CPUtime=522.16
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 18185 0 0 0 52199 17 0 0 25 0 1 0 165489781 78028800 18028 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715645 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 19050 18028 170 317 0 18729 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 76200

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13491
/proc/meminfo: memFree=1652656/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=80008 CPUtime=582.15
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 19246 0 0 0 58197 18 0 0 25 0 1 0 165489781 81928192 19089 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 20002 19089 170 317 0 19681 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 80008

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13491
/proc/meminfo: memFree=1651632/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=80944 CPUtime=642.14
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 19496 0 0 0 64195 19 0 0 25 0 1 0 165489781 82886656 19339 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 20236 19339 170 317 0 19915 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 80944


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

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13491
/proc/meminfo: memFree=1630128/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=102620 CPUtime=942.06
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 24915 0 0 0 94181 25 0 0 25 0 1 0 165489781 105082880 24758 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 25655 24758 170 317 0 25334 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 102620

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13491
/proc/meminfo: memFree=1625456/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=107304 CPUtime=1002.06
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 26083 0 0 0 100179 27 0 0 25 0 1 0 165489781 109879296 25926 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 26826 25926 170 317 0 26505 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 107304

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13491
/proc/meminfo: memFree=1624688/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=108096 CPUtime=1062.04
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 26283 0 0 0 106177 27 0 0 25 0 1 0 165489781 110690304 26126 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 27024 26126 170 317 0 26703 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 108096

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13491
/proc/meminfo: memFree=1621872/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=110748 CPUtime=1122.02
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 27013 0 0 0 112174 28 0 0 25 0 1 0 165489781 113405952 26856 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 27687 26856 170 317 0 27366 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 110748

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13491
/proc/meminfo: memFree=1616112/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=116252 CPUtime=1182.01
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 28438 0 0 0 118172 29 0 0 25 0 1 0 165489781 119042048 28281 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 29063 28281 170 317 0 28742 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 116252

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13491
/proc/meminfo: memFree=1615600/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=116780 CPUtime=1242
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 28567 0 0 0 124170 30 0 0 25 0 1 0 165489781 119582720 28410 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 29195 28410 170 317 0 28874 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 116780

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13491
/proc/meminfo: memFree=1613744/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=118496 CPUtime=1301.98
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 29039 0 0 0 130168 30 0 0 25 0 1 0 165489781 121339904 28882 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 29624 28882 170 317 0 29303 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 118496

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13493
/proc/meminfo: memFree=1607536/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=130572 CPUtime=1361.96
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 31877 0 0 0 136164 32 0 0 25 0 1 0 165489781 133705728 30400 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135284169 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 32643 30400 170 317 0 32322 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 130572

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 13493
/proc/meminfo: memFree=1606000/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=132168 CPUtime=1421.95
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 32306 0 0 0 142163 32 0 0 25 0 1 0 165489781 135340032 30829 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 33042 30829 170 317 0 32721 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 132168

[startup+1482.3 s]
/proc/loadavg: 1.03 0.99 0.98 2/78 13493
/proc/meminfo: memFree=1605552/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=132692 CPUtime=1481.94
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 32412 0 0 0 148161 33 0 0 25 0 1 0 165489781 135876608 30935 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 33173 30935 170 317 0 32852 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 132692

[startup+1542.3 s]
/proc/loadavg: 1.01 0.99 0.98 2/78 13493
/proc/meminfo: memFree=1603952/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=133996 CPUtime=1541.92
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 32806 0 0 0 154158 34 0 0 25 0 1 0 165489781 137211904 31329 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 33499 31329 170 317 0 33178 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 133996

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13493
/proc/meminfo: memFree=1601904/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=136100 CPUtime=1601.91
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 33383 0 0 0 160156 35 0 0 25 0 1 0 165489781 139366400 31906 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564065 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 34025 31906 170 317 0 33704 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 136100

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13493
/proc/meminfo: memFree=1599280/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=138488 CPUtime=1661.89
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 33993 0 0 0 166153 36 0 0 25 0 1 0 165489781 141811712 32516 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 34622 32516 170 317 0 34301 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 138488

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13493
/proc/meminfo: memFree=1598448/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=139384 CPUtime=1721.88
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 34224 0 0 0 172151 37 0 0 25 0 1 0 165489781 142729216 32747 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 34846 32747 170 317 0 34525 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 139384

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13493
/proc/meminfo: memFree=1596656/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=141116 CPUtime=1781.86
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 34673 0 0 0 178148 38 0 0 25 0 1 0 165489781 144502784 33196 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563383 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 35279 33196 170 317 0 34958 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 141116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 13493
/proc/meminfo: memFree=1596016/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=141512 CPUtime=1800.06
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 34829 0 0 0 179968 38 0 0 25 0 1 0 165489781 144908288 33352 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 35378 33352 170 317 0 35057 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 141512

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 0.99 0.98 2/79 13494
/proc/meminfo: memFree=1595944/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=141512 CPUtime=1800.17
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 34830 0 0 0 179979 38 0 0 25 0 1 0 165489781 144908288 33353 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 35378 33353 170 317 0 35057 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 141512

[startup+1800.71 s]
/proc/loadavg: 1.00 0.99 0.98 2/79 13494
/proc/meminfo: memFree=1595944/2055920 swapFree=4164584/4192956
[pid=13490] ppid=13488 vsize=141512 CPUtime=1800.26
/proc/13490/stat : 13490 (oree) R 13488 13490 11019 0 -1 4194304 34830 0 0 0 179988 38 0 0 25 0 1 0 165489781 144908288 33353 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13490/statm: 35378 33353 170 317 0 35057 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 141512

Child status: 0
Real time (s): 1800.8
CPU time (s): 1800.36
CPU user time (s): 1799.95
CPU system time (s): 0.408937
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 141512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.408937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34846
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= 6403

runsolver used 2.09968 second user time and 4.47032 second system time

The end

Launcher Data (download as text)

Begin job on node43 on Sat Apr 21 17:16:20 UTC 2007

IDJOB= 373259
IDBENCH= 25030
IDSOLVER= 172
FILE ID= node43/373259-1177175780

PBS_JOBID= 4648975

Free space on /tmp= 66433 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir09_area_partials.opb
COMMAND LINE= oree /tmp/evaluation/373259-1177175780/instance-373259-1177175780.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node43/watcher-373259-1177175780 -o ROOT/results/node43/solver-373259-1177175780 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/373259-1177175780/instance-373259-1177175780.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  267e112b52309c055e255eac2f43ef33

RANDOM SEED= 677706859

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node43.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1729040 kB
Buffers:         56372 kB
Cached:         168136 kB
SwapCached:       2204 kB
Active:         187600 kB
Inactive:        82408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1729040 kB
SwapTotal:     4192956 kB
SwapFree:      4164584 kB
Dirty:            1944 kB
Writeback:           0 kB
Mapped:          57960 kB
Slab:            42300 kB
Committed_AS:  2606792 kB
PageTables:       1900 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66433 MiB

End job on node43 on Sat Apr 21 17:46:22 UTC 2007