Trace number 50307

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
bsolo 2006/05SAT68 1800.08 1800.67

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_1.opb
MD5SUMcdfa46b59876181d5d89fd18757b8cfb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1800.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved NO
Number of variables146
Total number of constraints12
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint66
Maximum length of a constraint66
Number of terms in the objective function 96
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1273
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4329
Number of bits of the biggest sum of numbers13
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.02	c Time Limit set via PBTIMEOUT to 1800
0.09	c INFO: OSL Context initialized.
0.09	c Initial problem consists of 146 variables and 12 constraints.
0.09	c No problem reductions applied in OPT. instance.
0.09	c	preprocess terminated. Elapsed time: 0.012
0.09	c After prepocess the problem consists of 146 variables and 12 constraints.
0.09	c Initial Lower Bound: 0
0.10	c Restart #1 #Var: 146 LB: 0 @ 0.022
0.12	c Restart #2 #Var: 146 LB: 0 @ 0.043
0.16	c Restart #3 #Var: 146 LB: 0 @ 0.079
0.20	c Restart #4 #Var: 146 LB: 0 @ 0.125
0.25	c Restart #5 #Var: 146 LB: 0 @ 0.172
0.30	c Restart #6 #Var: 146 LB: 0 @ 0.218
0.35	c Restart #7 #Var: 146 LB: 0 @ 0.271
0.41	c Restart #8 #Var: 146 LB: 0 @ 0.332
0.46	c Sol. found (all assignments made)...
0.46	o 1518
0.46	c NEW SOLUTION FOUND: 1518 @ 0.384
0.46	c Sol. found (all assignments made)...
0.46	c Sol. found (all assignments made)...
0.46	o 1454
0.46	c NEW SOLUTION FOUND: 1454 @ 0.384
0.46	c Sol. found (all assignments made)...
0.46	o 1438
0.46	c NEW SOLUTION FOUND: 1438 @ 0.384
0.47	c Sol. found (all assignments made)...
0.47	o 1434
0.47	c NEW SOLUTION FOUND: 1434 @ 0.386
0.47	c Sol. found (all assignments made)...
0.47	o 1418
0.47	c NEW SOLUTION FOUND: 1418 @ 0.387
0.47	c Sol. found (all assignments made)...
0.47	o 1410
0.47	c NEW SOLUTION FOUND: 1410 @ 0.388
0.47	c Sol. found (all assignments made)...
0.47	o 1402
0.47	c NEW SOLUTION FOUND: 1402 @ 0.388
0.47	c Sol. found (all assignments made)...
0.47	o 1400
0.47	c NEW SOLUTION FOUND: 1400 @ 0.393
0.48	c Sol. found (all assignments made)...
0.48	o 1398
0.48	c NEW SOLUTION FOUND: 1398 @ 0.398
0.48	c Sol. found (all assignments made)...
0.48	o 1396
0.48	c NEW SOLUTION FOUND: 1396 @ 0.398
0.48	c Sol. found (all assignments made)...
0.48	o 1394
0.48	c NEW SOLUTION FOUND: 1394 @ 0.399
0.48	c Sol. found (all assignments made)...
0.48	o 1392
0.48	c NEW SOLUTION FOUND: 1392 @ 0.399
0.48	c Sol. found (all assignments made)...
0.48	o 1384
0.48	c NEW SOLUTION FOUND: 1384 @ 0.402
0.49	c Sol. found (all assignments made)...
0.49	o 1380
0.49	c NEW SOLUTION FOUND: 1380 @ 0.409
0.50	c Sol. found (all assignments made)...
0.50	o 1378
0.50	c NEW SOLUTION FOUND: 1378 @ 0.42
0.52	c Sol. found (all assignments made)...
0.52	o 1370
0.52	c NEW SOLUTION FOUND: 1370 @ 0.435
0.53	c Sol. found (all assignments made)...
0.53	o 1362
0.53	c NEW SOLUTION FOUND: 1362 @ 0.451
0.56	c Sol. found (all assignments made)...
0.56	o 1356
0.56	c NEW SOLUTION FOUND: 1356 @ 0.485
0.57	c Sol. found (all assignments made)...
0.57	o 1354
0.57	c NEW SOLUTION FOUND: 1354 @ 0.491
0.58	c Sol. found (all assignments made)...
0.58	o 1350
0.58	c NEW SOLUTION FOUND: 1350 @ 0.504
0.62	c Sol. found (all assignments made)...
0.62	o 1348
0.62	c NEW SOLUTION FOUND: 1348 @ 0.545
0.64	c Sol. found (all assignments made)...
0.64	o 1334
0.64	c NEW SOLUTION FOUND: 1334 @ 0.565
0.65	c Sol. found (all assignments made)...
0.65	o 1326
0.65	c NEW SOLUTION FOUND: 1326 @ 0.568
0.65	c Sol. found (all assignments made)...
0.65	o 1318
0.65	c NEW SOLUTION FOUND: 1318 @ 0.568
0.65	c Sol. found (all assignments made)...
0.65	o 1316
0.65	c NEW SOLUTION FOUND: 1316 @ 0.572
0.66	c Sol. found (all assignments made)...
0.66	o 1304
0.66	c NEW SOLUTION FOUND: 1304 @ 0.58
0.67	c Sol. found (all assignments made)...
0.67	o 1300
0.67	c NEW SOLUTION FOUND: 1300 @ 0.587
0.67	c Sol. found (all assignments made)...
0.67	o 1296
0.67	c NEW SOLUTION FOUND: 1296 @ 0.595
0.68	c Sol. found (all assignments made)...
0.68	o 1292
0.68	c NEW SOLUTION FOUND: 1292 @ 0.603
0.72	c Sol. found (all assignments made)...
0.72	o 1286
0.72	c NEW SOLUTION FOUND: 1286 @ 0.636
0.72	c Sol. found (all assignments made)...
0.72	o 1284
0.72	c NEW SOLUTION FOUND: 1284 @ 0.64
0.78	c Sol. found (all assignments made)...
0.78	o 1280
0.78	c NEW SOLUTION FOUND: 1280 @ 0.698
0.78	c Sol. found (all assignments made)...
0.78	o 1272
0.78	c NEW SOLUTION FOUND: 1272 @ 0.699
0.78	c Sol. found (all assignments made)...
0.78	o 1270
0.78	c NEW SOLUTION FOUND: 1270 @ 0.703
0.79	c Sol. found (all assignments made)...
0.79	o 1266
0.79	c NEW SOLUTION FOUND: 1266 @ 0.714
0.80	c Sol. found (all assignments made)...
0.80	o 1262
0.80	c NEW SOLUTION FOUND: 1262 @ 0.724
0.83	c Sol. found (all assignments made)...
0.83	o 1260
0.83	c NEW SOLUTION FOUND: 1260 @ 0.75
0.88	c Sol. found (all assignments made)...
0.88	o 1252
0.88	c NEW SOLUTION FOUND: 1252 @ 0.799
1.22	c Sol. found (all assignments made)...
1.22	o 1248
1.22	c NEW SOLUTION FOUND: 1248 @ 1.143
1.72	c Sol. found (all assignments made)...
1.72	o 1246
1.72	c NEW SOLUTION FOUND: 1246 @ 1.64
1.93	c Sol. found (all assignments made)...
1.93	o 1242
1.93	c NEW SOLUTION FOUND: 1242 @ 1.85
1.93	c Sol. found (all assignments made)...
1.93	o 1240
1.93	c NEW SOLUTION FOUND: 1240 @ 1.851
1.93	c Sol. found (all assignments made)...
1.93	o 1226
1.93	c NEW SOLUTION FOUND: 1226 @ 1.852
1.93	c Sol. found (all assignments made)...
1.93	o 1224
1.93	c NEW SOLUTION FOUND: 1224 @ 1.854
1.97	c Sol. found (all assignments made)...
1.97	o 1216
1.97	c NEW SOLUTION FOUND: 1216 @ 1.885
1.97	c Sol. found (all assignments made)...
1.97	o 1208
1.97	c NEW SOLUTION FOUND: 1208 @ 1.887
1.98	c Sol. found (all assignments made)...
1.98	o 1206
1.98	c NEW SOLUTION FOUND: 1206 @ 1.904
2.01	c Sol. found (all assignments made)...
2.01	o 1202
2.01	c NEW SOLUTION FOUND: 1202 @ 1.928
2.05	c Sol. found (all assignments made)...
2.05	o 1196
2.05	c NEW SOLUTION FOUND: 1196 @ 1.968
2.05	c Sol. found (all assignments made)...
2.05	o 1194
2.05	c NEW SOLUTION FOUND: 1194 @ 1.97
2.08	c Sol. found (all assignments made)...
2.08	o 1190
2.08	c NEW SOLUTION FOUND: 1190 @ 1.998
2.28	c Sol. found (all assignments made)...
2.28	o 1188
2.28	c NEW SOLUTION FOUND: 1188 @ 2.204
2.31	c Sol. found (all assignments made)...
2.31	o 1184
2.31	c NEW SOLUTION FOUND: 1184 @ 2.233
2.43	c Sol. found (all assignments made)...
2.43	o 1182
2.43	c NEW SOLUTION FOUND: 1182 @ 2.35
2.74	c Sol. found (all assignments made)...
2.74	o 1180
2.74	c NEW SOLUTION FOUND: 1180 @ 2.656
2.74	c Sol. found (all assignments made)...
2.74	o 1178
2.74	c NEW SOLUTION FOUND: 1178 @ 2.66
3.38	c Restart #9 #Var: 146 LB: 0 @ 3.301
3.88	c Restart #10 #Var: 146 LB: 0 @ 3.802
5.24	c Restart #11 #Var: 146 LB: 0 @ 5.163
5.84	c Restart #12 #Var: 146 LB: 0 @ 5.756
8.43	c Sol. found (all assignments made)...
8.43	o 999
8.43	c NEW SOLUTION FOUND: 999 @ 8.353
8.44	c Sol. found (all assignments made)...
8.44	o 991
8.44	c NEW SOLUTION FOUND: 991 @ 8.354
8.44	c Sol. found (all assignments made)...
8.44	o 975
8.44	c NEW SOLUTION FOUND: 975 @ 8.356
8.44	c Sol. found (all assignments made)...
8.44	o 959
8.44	c NEW SOLUTION FOUND: 959 @ 8.356
8.44	c Sol. found (all assignments made)...
8.44	o 899
8.44	c NEW SOLUTION FOUND: 899 @ 8.359
8.44	c Sol. found (all assignments made)...
8.44	o 895
8.44	c NEW SOLUTION FOUND: 895 @ 8.36
8.49	c Sol. found (all assignments made)...
8.49	o 891
8.49	c NEW SOLUTION FOUND: 891 @ 8.404
8.51	c Sol. found (all assignments made)...
8.51	o 889
8.51	c NEW SOLUTION FOUND: 889 @ 8.433
8.53	c Sol. found (all assignments made)...
8.53	o 887
8.53	c NEW SOLUTION FOUND: 887 @ 8.446
8.56	c Sol. found (all assignments made)...
8.56	o 879
8.56	c NEW SOLUTION FOUND: 879 @ 8.474
8.57	c Sol. found (all assignments made)...
8.57	o 875
8.57	c NEW SOLUTION FOUND: 875 @ 8.487
8.57	c Sol. found (all assignments made)...
8.57	o 871
8.57	c NEW SOLUTION FOUND: 871 @ 8.487
8.57	c Sol. found (all assignments made)...
8.57	o 863
8.57	c NEW SOLUTION FOUND: 863 @ 8.491
8.66	c Sol. found (all assignments made)...
8.66	o 861
8.66	c NEW SOLUTION FOUND: 861 @ 8.575
8.78	c Sol. found (all assignments made)...
8.78	o 859
8.78	c NEW SOLUTION FOUND: 859 @ 8.698
8.83	c Sol. found (all assignments made)...
8.83	o 857
8.83	c NEW SOLUTION FOUND: 857 @ 8.744
10.67	c Sol. found (all assignments made)...
10.67	o 855
10.67	c NEW SOLUTION FOUND: 855 @ 10.584
10.68	c Sol. found (all assignments made)...
10.68	o 851
10.68	c NEW SOLUTION FOUND: 851 @ 10.6
10.70	c Sol. found (all assignments made)...
10.70	o 847
10.70	c NEW SOLUTION FOUND: 847 @ 10.613
10.72	c Sol. found (all assignments made)...
10.72	o 843
10.72	c NEW SOLUTION FOUND: 843 @ 10.637
10.77	c Sol. found (all assignments made)...
10.77	o 839
10.77	c NEW SOLUTION FOUND: 839 @ 10.681
10.83	c Sol. found (all assignments made)...
10.83	o 835
10.83	c NEW SOLUTION FOUND: 835 @ 10.744
11.89	c Sol. found (all assignments made)...
11.89	o 765
11.89	c NEW SOLUTION FOUND: 765 @ 11.804
11.89	c Sol. found (all assignments made)...
11.89	c Sol. found (all assignments made)...
11.89	c Sol. found (all assignments made)...
11.89	o 763
11.89	c NEW SOLUTION FOUND: 763 @ 11.81
11.90	c Sol. found (all assignments made)...
11.90	c Sol. found (all assignments made)...
11.90	o 759
11.90	c NEW SOLUTION FOUND: 759 @ 11.81
11.90	c Sol. found (all assignments made)...
11.90	o 757
11.90	c NEW SOLUTION FOUND: 757 @ 11.811
11.90	c Sol. found (all assignments made)...
11.90	o 749
11.90	c NEW SOLUTION FOUND: 749 @ 11.813
11.90	c Sol. found (all assignments made)...
12.03	c Sol. found (all assignments made)...
12.03	o 747
12.03	c NEW SOLUTION FOUND: 747 @ 11.948
12.63	c Sol. found (all assignments made)...
12.63	o 745
12.63	c NEW SOLUTION FOUND: 745 @ 12.541
12.64	c Sol. found (all assignments made)...
12.64	o 743
12.64	c NEW SOLUTION FOUND: 743 @ 12.551
12.74	c Sol. found (all assignments made)...
12.74	o 741
12.74	c NEW SOLUTION FOUND: 741 @ 12.65
12.80	c Sol. found (all assignments made)...
12.80	o 739
12.80	c NEW SOLUTION FOUND: 739 @ 12.716
12.85	c Sol. found (all assignments made)...
12.85	c Sol. found (all assignments made)...
12.85	o 737
12.85	c NEW SOLUTION FOUND: 737 @ 12.767
17.64	c Restart #13 #Var: 146 LB: 0 @ 17.558
18.86	c Restart #14 #Var: 146 LB: 0 @ 18.771
19.72	c Restart #15 #Var: 146 LB: 0 @ 19.637
20.98	c Restart #16 #Var: 146 LB: 0 @ 20.888
21.72	c Sol. found (all assignments made)...
21.73	c Sol. found (all assignments made)...
21.73	o 727
21.73	c NEW SOLUTION FOUND: 727 @ 21.637
21.74	c Sol. found (all assignments made)...
21.74	o 725
21.74	c NEW SOLUTION FOUND: 725 @ 21.651
21.78	c Sol. found (all assignments made)...
21.78	o 715
21.78	c NEW SOLUTION FOUND: 715 @ 21.696
21.80	c Sol. found (all assignments made)...
21.80	o 675
21.80	c NEW SOLUTION FOUND: 675 @ 21.707
21.80	c Sol. found (all assignments made)...
21.80	o 667
21.80	c NEW SOLUTION FOUND: 667 @ 21.707
21.80	c Sol. found (all assignments made)...
21.80	o 665
21.80	c NEW SOLUTION FOUND: 665 @ 21.708
21.80	c Sol. found (all assignments made)...
21.80	o 653
21.80	c NEW SOLUTION FOUND: 653 @ 21.71
21.80	c Sol. found (all assignments made)...
21.80	o 651
21.80	c NEW SOLUTION FOUND: 651 @ 21.711
21.82	c Sol. found (all assignments made)...
21.82	o 647
21.82	c NEW SOLUTION FOUND: 647 @ 21.727
21.91	c Sol. found (all assignments made)...
21.91	o 641
21.91	c NEW SOLUTION FOUND: 641 @ 21.819
21.91	c Sol. found (all assignments made)...
21.91	o 639
21.91	c NEW SOLUTION FOUND: 639 @ 21.824
21.97	c Sol. found (all assignments made)...
21.97	o 637
21.97	c NEW SOLUTION FOUND: 637 @ 21.886
22.37	c Sol. found (all assignments made)...
22.37	o 635
22.37	c NEW SOLUTION FOUND: 635 @ 22.278
23.57	c Sol. found (all assignments made)...
23.57	o 633
23.57	c NEW SOLUTION FOUND: 633 @ 23.484
24.86	c Restart #17 #Var: 146 LB: 0 @ 24.771
26.68	c Restart #18 #Var: 146 LB: 0 @ 26.592
28.08	c Sol. found (all assignments made)...
28.08	o 631
28.08	c NEW SOLUTION FOUND: 631 @ 27.989
28.12	c Sol. found (all assignments made)...
28.12	o 629
28.12	c NEW SOLUTION FOUND: 629 @ 28.035
28.21	c Sol. found (all assignments made)...
28.21	o 627
28.21	c NEW SOLUTION FOUND: 627 @ 28.12
28.22	c Sol. found (all assignments made)...
28.22	o 625
28.22	c NEW SOLUTION FOUND: 625 @ 28.133
28.26	c Sol. found (all assignments made)...
28.26	o 621
28.26	c NEW SOLUTION FOUND: 621 @ 28.173
28.27	c Sol. found (all assignments made)...
28.27	o 619
28.27	c NEW SOLUTION FOUND: 619 @ 28.181
33.88	c Restart #19 #Var: 146 LB: 0 @ 33.791
37.60	c Sol. found (all assignments made)...
37.60	c Sol. found (all assignments made)...
37.60	o 618
37.60	c NEW SOLUTION FOUND: 618 @ 37.513
37.61	c Sol. found (all assignments made)...
37.61	o 616
37.61	c NEW SOLUTION FOUND: 616 @ 37.519
38.16	c Sol. found (all assignments made)...
38.16	o 608
38.16	c NEW SOLUTION FOUND: 608 @ 38.064
38.16	c Sol. found (all assignments made)...
38.16	o 602
38.16	c NEW SOLUTION FOUND: 602 @ 38.066
38.16	c Sol. found (all assignments made)...
38.16	o 598
38.16	c NEW SOLUTION FOUND: 598 @ 38.071
38.17	c Sol. found (all assignments made)...
38.17	o 596
38.17	c NEW SOLUTION FOUND: 596 @ 38.074
38.17	c Sol. found (all assignments made)...
38.17	o 594
38.17	c NEW SOLUTION FOUND: 594 @ 38.075
38.17	c Sol. found (all assignments made)...
38.17	o 588
38.17	c NEW SOLUTION FOUND: 588 @ 38.082
38.17	c Sol. found (all assignments made)...
38.17	o 582
38.17	c NEW SOLUTION FOUND: 582 @ 38.083
38.18	c Sol. found (all assignments made)...
38.18	o 580
38.18	c NEW SOLUTION FOUND: 580 @ 38.091
38.18	c Sol. found (all assignments made)...
38.18	o 578
38.18	c NEW SOLUTION FOUND: 578 @ 38.091
38.20	c Sol. found (all assignments made)...
38.20	o 556
38.20	c NEW SOLUTION FOUND: 556 @ 38.105
38.20	c Sol. found (all assignments made)...
38.20	o 552
38.20	c NEW SOLUTION FOUND: 552 @ 38.106
38.20	c Sol. found (all assignments made)...
38.20	o 550
38.20	c NEW SOLUTION FOUND: 550 @ 38.107
38.21	c Sol. found (all assignments made)...
38.21	o 546
38.21	c NEW SOLUTION FOUND: 546 @ 38.114
38.25	c Sol. found (all assignments made)...
38.25	o 544
38.25	c NEW SOLUTION FOUND: 544 @ 38.158
38.30	c Sol. found (all assignments made)...
38.30	o 532
38.30	c NEW SOLUTION FOUND: 532 @ 38.209
38.31	c Sol. found (all assignments made)...
38.31	o 528
38.31	c NEW SOLUTION FOUND: 528 @ 38.217
38.33	c Sol. found (all assignments made)...
38.33	o 516
38.33	c NEW SOLUTION FOUND: 516 @ 38.241
38.36	c Sol. found (all assignments made)...
38.36	o 512
38.36	c NEW SOLUTION FOUND: 512 @ 38.271
38.40	c Sol. found (all assignments made)...
38.40	o 500
38.40	c NEW SOLUTION FOUND: 500 @ 38.304
38.40	c Sol. found (all assignments made)...
38.40	o 484
38.40	c NEW SOLUTION FOUND: 484 @ 38.309
38.42	c Sol. found (all assignments made)...
38.42	o 480
38.42	c NEW SOLUTION FOUND: 480 @ 38.329
38.55	c Sol. found (all assignments made)...
38.55	o 470
38.55	c NEW SOLUTION FOUND: 470 @ 38.459
38.57	c Sol. found (all assignments made)...
38.57	o 466
38.57	c NEW SOLUTION FOUND: 466 @ 38.483
38.71	c Sol. found (all assignments made)...
38.71	o 456
38.71	c NEW SOLUTION FOUND: 456 @ 38.623
38.77	c Sol. found (all assignments made)...
38.77	o 452
38.77	c NEW SOLUTION FOUND: 452 @ 38.677
38.80	c Sol. found (all assignments made)...
38.80	o 424
38.80	c NEW SOLUTION FOUND: 424 @ 38.706
38.82	c Sol. found (all assignments made)...
38.82	o 420
38.82	c NEW SOLUTION FOUND: 420 @ 38.731
38.90	c Sol. found (all assignments made)...
38.90	o 410
38.90	c NEW SOLUTION FOUND: 410 @ 38.811
38.93	c Sol. found (all assignments made)...
38.93	o 406
38.93	c NEW SOLUTION FOUND: 406 @ 38.84
39.00	c Sol. found (all assignments made)...
39.00	o 396
39.00	c NEW SOLUTION FOUND: 396 @ 38.905
39.03	c Sol. found (all assignments made)...
39.03	o 392
39.03	c NEW SOLUTION FOUND: 392 @ 38.937
39.10	c Sol. found (all assignments made)...
39.10	o 382
39.10	c NEW SOLUTION FOUND: 382 @ 39.006
39.13	c Sol. found (all assignments made)...
39.13	o 378
39.13	c NEW SOLUTION FOUND: 378 @ 39.033
39.20	c Sol. found (all assignments made)...
39.20	o 374
39.20	c NEW SOLUTION FOUND: 374 @ 39.107
39.22	c Sol. found (all assignments made)...
39.22	o 370
39.22	c NEW SOLUTION FOUND: 370 @ 39.127
39.31	c Sol. found (all assignments made)...
39.31	o 368
39.31	c NEW SOLUTION FOUND: 368 @ 39.223
39.62	c Sol. found (all assignments made)...
39.62	o 364
39.62	c NEW SOLUTION FOUND: 364 @ 39.532
39.77	c Sol. found (all assignments made)...
39.77	o 360
39.77	c NEW SOLUTION FOUND: 360 @ 39.683
40.05	c Sol. found (all assignments made)...
40.05	o 358
40.05	c NEW SOLUTION FOUND: 358 @ 39.955
44.64	c Sol. found (all assignments made)...
44.64	o 354
44.64	c NEW SOLUTION FOUND: 354 @ 44.551
46.19	c Sol. found (all assignments made)...
46.19	o 350
46.19	c NEW SOLUTION FOUND: 350 @ 46.092
46.30	c Sol. found (all assignments made)...
46.30	o 346
46.30	c NEW SOLUTION FOUND: 346 @ 46.203
48.01	c Sol. found (all assignments made)...
48.01	o 345
48.01	c NEW SOLUTION FOUND: 345 @ 47.918
48.64	c Sol. found (all assignments made)...
48.64	o 341
48.64	c NEW SOLUTION FOUND: 341 @ 48.547
48.68	c Sol. found (all assignments made)...
48.68	o 339
48.68	c NEW SOLUTION FOUND: 339 @ 48.582
48.88	c Sol. found (all assignments made)...
48.88	o 337
48.88	c NEW SOLUTION FOUND: 337 @ 48.788
49.41	c Sol. found (all assignments made)...
49.41	o 333
49.41	c NEW SOLUTION FOUND: 333 @ 49.32
49.46	c Sol. found (all assignments made)...
49.46	o 331
49.46	c NEW SOLUTION FOUND: 331 @ 49.365
49.92	c Sol. found (all assignments made)...
49.92	o 329
49.92	c NEW SOLUTION FOUND: 329 @ 49.827
49.95	c Sol. found (all assignments made)...
49.95	o 325
49.95	c NEW SOLUTION FOUND: 325 @ 49.854
50.06	c Sol. found (all assignments made)...
50.06	o 323
50.06	c NEW SOLUTION FOUND: 323 @ 49.964
51.67	c Sol. found (all assignments made)...
51.67	o 307
51.67	c NEW SOLUTION FOUND: 307 @ 51.571
51.68	c Sol. found (all assignments made)...
51.68	o 299
51.68	c NEW SOLUTION FOUND: 299 @ 51.58
51.68	c Sol. found (all assignments made)...
51.68	o 295
51.68	c NEW SOLUTION FOUND: 295 @ 51.585
51.70	c Sol. found (all assignments made)...
51.70	o 293
51.70	c NEW SOLUTION FOUND: 293 @ 51.605
51.85	c Sol. found (all assignments made)...
51.85	o 287
51.85	c NEW SOLUTION FOUND: 287 @ 51.755
51.90	c Sol. found (all assignments made)...
51.90	o 283
51.90	c NEW SOLUTION FOUND: 283 @ 51.802
52.88	c Sol. found (all assignments made)...
52.88	o 261
52.88	c NEW SOLUTION FOUND: 261 @ 52.783
52.95	c Sol. found (all assignments made)...
52.95	o 257
52.95	c NEW SOLUTION FOUND: 257 @ 52.857
53.53	c Sol. found (all assignments made)...
53.53	o 255
53.53	c NEW SOLUTION FOUND: 255 @ 53.436
53.70	c Sol. found (all assignments made)...
53.70	o 251
53.70	c NEW SOLUTION FOUND: 251 @ 53.606
53.91	c Sol. found (all assignments made)...
53.91	o 249
53.91	c NEW SOLUTION FOUND: 249 @ 53.813
54.96	c Sol. found (all assignments made)...
54.96	o 234
54.96	c NEW SOLUTION FOUND: 234 @ 54.859
54.97	c Sol. found (all assignments made)...
54.97	o 218
54.97	c NEW SOLUTION FOUND: 218 @ 54.869
55.57	c Sol. found (all assignments made)...
55.57	o 216
55.57	c NEW SOLUTION FOUND: 216 @ 55.469
55.89	c Sol. found (all assignments made)...
55.89	o 214
55.89	c NEW SOLUTION FOUND: 214 @ 55.79
60.23	c Sol. found (all assignments made)...
60.23	o 212
60.23	c NEW SOLUTION FOUND: 212 @ 60.13
62.56	c Sol. found (all assignments made)...
62.56	o 204
62.56	c NEW SOLUTION FOUND: 204 @ 62.461
62.60	c Sol. found (all assignments made)...
62.60	o 200
62.60	c NEW SOLUTION FOUND: 200 @ 62.497
63.86	c Sol. found (all assignments made)...
63.86	o 198
63.86	c NEW SOLUTION FOUND: 198 @ 63.757
64.80	c Sol. found (all assignments made)...
64.80	o 194
64.80	c NEW SOLUTION FOUND: 194 @ 64.703
65.04	c Sol. found (all assignments made)...
65.04	o 182
65.04	c NEW SOLUTION FOUND: 182 @ 64.94
65.17	c Sol. found (all assignments made)...
65.17	o 178
65.17	c NEW SOLUTION FOUND: 178 @ 65.066
65.21	c Sol. found (all assignments made)...
65.21	o 170
65.21	c NEW SOLUTION FOUND: 170 @ 65.113
65.25	c Sol. found (all assignments made)...
65.25	o 162
65.25	c NEW SOLUTION FOUND: 162 @ 65.147
65.55	c Sol. found (all assignments made)...
65.55	o 154
65.55	c NEW SOLUTION FOUND: 154 @ 65.449
65.60	c Sol. found (all assignments made)...
65.60	o 150
65.60	c NEW SOLUTION FOUND: 150 @ 65.505
65.66	c Sol. found (all assignments made)...
65.66	o 146
65.66	c NEW SOLUTION FOUND: 146 @ 65.564
65.78	c Sol. found (all assignments made)...
65.78	o 144
65.78	c NEW SOLUTION FOUND: 144 @ 65.685
65.99	c Sol. found (all assignments made)...
65.99	o 136
65.99	c NEW SOLUTION FOUND: 136 @ 65.891
66.03	c Sol. found (all assignments made)...
66.03	o 132
66.03	c NEW SOLUTION FOUND: 132 @ 65.929
71.81	c Restart #20 #Var: 146 LB: 0 @ 71.711
80.31	c Restart #21 #Var: 146 LB: 0 @ 80.209
88.36	c Restart #22 #Var: 146 LB: 0 @ 88.256
97.09	c Restart #23 #Var: 146 LB: 0 @ 96.982
108.38	c CHANGE to MIS mode... 	UB: 132	MIS: 0	LPR: 0 (0.023)	Diff: nan
108.38	c Restart #0 #Var: 146 LB: 0 @ 108.26
108.94	c Restart #1 #Var: 146 LB: 0 @ 108.82
110.23	c Restart #2 #Var: 146 LB: 0 @ 110.11
110.89	c Restart #3 #Var: 146 LB: 0 @ 110.77
112.65	c Restart #4 #Var: 146 LB: 0 @ 112.54
114.57	c Restart #5 #Var: 146 LB: 0 @ 114.45
119.78	c Restart #6 #Var: 146 LB: 0 @ 119.66
123.73	c Restart #7 #Var: 146 LB: 0 @ 123.61
127.58	c Restart #8 #Var: 146 LB: 0 @ 127.46
130.01	c Restart #9 #Var: 146 LB: 0 @ 129.88
132.36	c Sol. found (all assignments made)...
132.36	o 130
132.36	c NEW SOLUTION FOUND: 130 @ 132.23
140.33	c Restart #10 #Var: 146 LB: 0 @ 140.21
146.44	c Restart #11 #Var: 146 LB: 0 @ 146.31
150.44	c Restart #12 #Var: 146 LB: 0 @ 150.31
157.96	c Restart #13 #Var: 146 LB: 0 @ 157.83
164.60	c Restart #14 #Var: 146 LB: 0 @ 164.47
172.53	c Restart #15 #Var: 146 LB: 0 @ 172.4
184.59	c Restart #16 #Var: 146 LB: 0 @ 184.46
199.76	c Restart #17 #Var: 146 LB: 0 @ 199.62
213.83	c Restart #18 #Var: 146 LB: 0 @ 213.69
232.85	c Restart #19 #Var: 146 LB: 0 @ 232.7
259.21	c Restart #20 #Var: 146 LB: 0 @ 259.05
267.00	c Restart #21 #Var: 146 LB: 0 @ 266.84
283.68	c Restart #22 #Var: 146 LB: 0 @ 283.51
285.69	c Sol. found (all assignments made)...
285.69	o 129
285.69	c NEW SOLUTION FOUND: 129 @ 285.53
285.69	c Sol. found (all assignments made)...
285.70	c Sol. found (all assignments made)...
285.70	o 113
285.70	c NEW SOLUTION FOUND: 113 @ 285.53
285.70	c Sol. found (all assignments made)...
285.70	c Sol. found (all assignments made)...
285.70	c Sol. found (all assignments made)...
285.70	c Sol. found (all assignments made)...
286.65	c Sol. found (all assignments made)...
286.65	o 109
286.65	c NEW SOLUTION FOUND: 109 @ 286.49
300.12	c Restart #23 #Var: 146 LB: 0 @ 299.95
318.65	c Restart #24 #Var: 143 LB: 0 @ 318.48
342.77	c Restart #25 #Var: 142 LB: 0 @ 342.59
374.88	c Restart #26 #Var: 142 LB: 0 @ 374.69
398.47	c Restart #27 #Var: 142 LB: 0 @ 398.28
421.53	c Restart #28 #Var: 141 LB: 0 @ 421.32
450.19	c Restart #29 #Var: 140 LB: 0 @ 449.98
481.37	c Restart #30 #Var: 140 LB: 0 @ 481.15
552.82	c Restart #31 #Var: 140 LB: 0 @ 552.58
617.49	c Restart #32 #Var: 138 LB: 0 @ 617.23
678.24	c Restart #33 #Var: 138 LB: 0 @ 677.97
742.25	c Sol. found (all assignments made)...
742.25	o 107
742.25	c NEW SOLUTION FOUND: 107 @ 741.96
742.25	c Sol. found (all assignments made)...
742.25	o 103
742.25	c NEW SOLUTION FOUND: 103 @ 741.96
744.59	c Sol. found (all assignments made)...
744.59	o 101
744.59	c NEW SOLUTION FOUND: 101 @ 744.29
756.40	c Sol. found (all assignments made)...
756.40	o 97
756.40	c NEW SOLUTION FOUND: 97 @ 756.1
756.69	c Sol. found (all assignments made)...
756.69	o 95
756.69	c NEW SOLUTION FOUND: 95 @ 756.39
763.00	c Sol. found (all assignments made)...
763.00	o 93
763.00	c NEW SOLUTION FOUND: 93 @ 762.7
763.08	c Sol. found (all assignments made)...
763.08	o 89
763.08	c NEW SOLUTION FOUND: 89 @ 762.78
763.22	c Sol. found (all assignments made)...
763.22	o 87
763.22	c NEW SOLUTION FOUND: 87 @ 762.92
831.71	c Restart #34 #Var: 138 LB: 0 @ 831.4
906.91	c Restart #35 #Var: 137 LB: 0 @ 906.58
994.61	c Restart #36 #Var: 136 LB: 0 @ 994.25
1080.98	c Restart #37 #Var: 136 LB: 0 @ 1080.6
1085.57	c Sol. found (all assignments made)...
1111.22	c Sol. found (all assignments made)...
1111.22	o 85
1111.22	c NEW SOLUTION FOUND: 85 @ 1110.8
1197.44	c Restart #38 #Var: 136 LB: 0 @ 1197
1247.20	c Sol. found (all assignments made)...
1283.70	c Sol. found (all assignments made)...
1283.70	o 83
1283.70	c NEW SOLUTION FOUND: 83 @ 1283.3
1439.07	c Restart #39 #Var: 136 LB: 0 @ 1438.6
1487.92	c Sol. found (all assignments made)...
1487.92	o 82
1487.92	c NEW SOLUTION FOUND: 82 @ 1487.4
1490.04	c Sol. found (all assignments made)...
1490.04	o 80
1490.04	c NEW SOLUTION FOUND: 80 @ 1489.5
1491.89	c Sol. found (all assignments made)...
1491.89	o 76
1491.89	c NEW SOLUTION FOUND: 76 @ 1491.4
1492.40	c Sol. found (all assignments made)...
1492.40	o 74
1492.40	c NEW SOLUTION FOUND: 74 @ 1491.9
1500.84	c Sol. found (all assignments made)...
1500.84	o 72
1500.84	c NEW SOLUTION FOUND: 72 @ 1500.3
1501.67	c Sol. found (all assignments made)...
1501.67	o 70
1501.67	c NEW SOLUTION FOUND: 70 @ 1501.2
1551.88	c Sol. found (all assignments made)...
1551.88	o 68
1551.88	c NEW SOLUTION FOUND: 68 @ 1551.4
1708.77	c Restart #40 #Var: 136 LB: 0 @ 1708.2
1800.60	s SATISFIABLE
1800.60	c Cost: 68
1800.60	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
1800.60	v -x30 -x31 -x32 x33 x34 x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 x50 -x51 -x52 -x53 -x54 -x55 -x56
1800.60	v -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82
1800.60	v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 x92 -x93 -x94 -x95 -x96 x97 -x98 x99 x100 x101 -x102 x103 -x104 -x105 x106 -x107 -x108
1800.60	v x109 x110 -x111 -x112 x113 -x114 -x115 -x116 x117 -x118 -x119 x120 -x121 -x122 -x123 x124 x125 -x126 -x127 x128 -x129 -x130
1800.60	v x131 -x132 x133 x134 -x135 -x136 x137 x138 -x139 -x140 x141 -x142 -x143 x144 -x145 x146
1800.60	c Exit Code: 10
1800.60	c Total time: 1800 s

Verifier Data (download as text)

OK	68

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes

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

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node26/watcher-50307-1154099178 -o ROOT/results/node26/solver-50307-1154099178 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node26/50307-1154099178/instance-50307-1154099178.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 0.97 3/64 26776
/proc/meminfo: memFree=1274760/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=2900 CPUtime=0
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 40 0 0 0 0 0 0 0 19 0 1 0 156777924 2969600 24 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 12596231 0 0 4096 0 0 0 0 17 1 0 0
/proc/26776/statm: 725 24 18 55 0 19 0

[startup+10.0021 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=1225552/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=51316 CPUtime=9.91
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 12074 0 10 0 979 12 0 0 25 0 1 0 156777924 52547584 11997 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 12829 11997 297 55 0 11721 0
Current children cumulated CPU time (s) 9.91
Current children cumulated vsize (Kb) 51316

[startup+20.0081 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=1207056/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=69800 CPUtime=19.92
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 16700 0 10 0 1975 17 0 0 25 0 1 0 156777924 71475200 16623 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 17450 16623 297 55 0 16342 0
Current children cumulated CPU time (s) 19.92
Current children cumulated vsize (Kb) 69800

[startup+30.014 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=1177552/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=99408 CPUtime=29.91
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 24053 0 10 0 2969 22 0 0 25 0 1 0 156777924 101793792 23976 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 24852 23976 297 55 0 23744 0
Current children cumulated CPU time (s) 29.91
Current children cumulated vsize (Kb) 99408

[startup+40.02 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=1168848/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=108264 CPUtime=39.92
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 26232 0 10 0 3966 26 0 0 25 0 1 0 156777924 110862336 26153 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 27066 26153 297 55 0 25958 0
Current children cumulated CPU time (s) 39.92
Current children cumulated vsize (Kb) 108264

[startup+50.027 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=1160976/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=116184 CPUtime=49.93
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 28218 0 10 0 4964 29 0 0 25 0 1 0 156777924 118972416 28139 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 29046 28139 297 55 0 27938 0
Current children cumulated CPU time (s) 49.93
Current children cumulated vsize (Kb) 116184

[startup+60.033 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=1155728/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=121504 CPUtime=59.93
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 29544 0 10 0 5962 31 0 0 25 0 1 0 156777924 124420096 29462 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 30376 29462 297 55 0 29268 0
Current children cumulated CPU time (s) 59.93
Current children cumulated vsize (Kb) 121504

[startup+70.039 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=1146832/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=130496 CPUtime=69.93
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 31770 0 10 0 6959 34 0 0 25 0 1 0 156777924 133627904 31688 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 32624 31688 297 55 0 31516 0
Current children cumulated CPU time (s) 69.93
Current children cumulated vsize (Kb) 130496

[startup+80.045 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=1141776/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=135660 CPUtime=79.93
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 33041 0 10 0 7956 37 0 0 25 0 1 0 156777924 138915840 32957 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533477 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 33915 32957 297 55 0 32807 0
Current children cumulated CPU time (s) 79.93
Current children cumulated vsize (Kb) 135660

[startup+90.051 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=1135440/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=141880 CPUtime=89.94
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 34606 0 10 0 8954 40 0 0 25 0 1 0 156777924 145285120 34521 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 35470 34521 297 55 0 34362 0
Current children cumulated CPU time (s) 89.94
Current children cumulated vsize (Kb) 141880

[startup+100.057 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=1129808/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=147696 CPUtime=99.94
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 36023 0 10 0 9951 43 0 0 25 0 1 0 156777924 151240704 35937 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 36924 35937 297 55 0 35816 0
Current children cumulated CPU time (s) 99.94
Current children cumulated vsize (Kb) 147696

[startup+110.064 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=1119184/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=158412 CPUtime=109.94
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 38649 0 14 0 10949 45 0 0 25 0 1 0 156777924 162213888 38562 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548544 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 39603 38562 420 55 0 38495 0
Current children cumulated CPU time (s) 109.94
Current children cumulated vsize (Kb) 158412

[startup+120.07 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=1114832/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=162796 CPUtime=119.95
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 39757 0 14 0 11948 47 0 0 25 0 1 0 156777924 166703104 39670 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 40699 39670 420 55 0 39591 0
Current children cumulated CPU time (s) 119.95
Current children cumulated vsize (Kb) 162796

[startup+130.076 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=1109136/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=168472 CPUtime=129.95
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 41173 0 14 0 12946 49 0 0 25 0 1 0 156777924 172515328 41086 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 42118 41086 420 55 0 41010 0
Current children cumulated CPU time (s) 129.95
Current children cumulated vsize (Kb) 168472

[startup+140.082 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=1104912/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=172760 CPUtime=139.95
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 42228 0 14 0 13944 51 0 0 25 0 1 0 156777924 176906240 42140 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 43190 42140 420 55 0 42082 0
Current children cumulated CPU time (s) 139.95
Current children cumulated vsize (Kb) 172760

[startup+150.088 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=1100112/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=177644 CPUtime=149.96
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 43446 0 14 0 14943 53 0 0 25 0 1 0 156777924 181907456 43356 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 44411 43356 420 55 0 43303 0
Current children cumulated CPU time (s) 149.96
Current children cumulated vsize (Kb) 177644

[startup+160.094 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=1095632/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=182232 CPUtime=159.95
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 44567 0 14 0 15941 54 0 0 25 0 1 0 156777924 186605568 44473 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533920 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 45558 44473 420 55 0 44450 0
Current children cumulated CPU time (s) 159.95
Current children cumulated vsize (Kb) 182232

[startup+170.1 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=1090832/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=187116 CPUtime=169.96
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 45766 0 14 0 16939 57 0 0 25 0 1 0 156777924 191606784 45670 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134551614 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 46779 45670 420 55 0 45671 0
Current children cumulated CPU time (s) 169.96
Current children cumulated vsize (Kb) 187116

[startup+180.106 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=1087696/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=190192 CPUtime=179.96
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 46539 0 14 0 17938 58 0 0 25 0 1 0 156777924 194756608 46442 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 47548 46442 420 55 0 46440 0
Current children cumulated CPU time (s) 179.96
Current children cumulated vsize (Kb) 190192

[startup+190.112 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=1083728/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=194200 CPUtime=189.97
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 47535 0 14 0 18936 61 0 0 25 0 1 0 156777924 198860800 47436 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 48550 47436 420 55 0 47442 0
Current children cumulated CPU time (s) 189.97
Current children cumulated vsize (Kb) 194200

[startup+200.118 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=1082000/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=195940 CPUtime=199.96
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 47966 0 14 0 19935 61 0 0 25 0 1 0 156777924 200642560 47867 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 48985 47867 420 55 0 47877 0
Current children cumulated CPU time (s) 199.96
Current children cumulated vsize (Kb) 195940

[startup+210.124 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776

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

Current children cumulated CPU time (s) 1760.48
Current children cumulated vsize (Kb) 398680

[startup+1771.06 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=879120/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=399604 CPUtime=1770.48
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99558 0 14 0 176894 154 0 0 25 0 1 0 156777924 409194496 98454 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534935 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 99901 98454 420 55 0 98793 0
Current children cumulated CPU time (s) 1770.48
Current children cumulated vsize (Kb) 399604

[startup+1781.07 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=878672/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=400132 CPUtime=1780.48
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99681 0 14 0 177894 154 0 0 25 0 1 0 156777924 409735168 98577 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 100033 98577 420 55 0 98925 0
Current children cumulated CPU time (s) 1780.48
Current children cumulated vsize (Kb) 400132

[startup+1782.07 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=878608/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=400132 CPUtime=1781.48
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99691 0 14 0 177994 154 0 0 25 0 1 0 156777924 409735168 98587 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134551624 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 100033 98587 420 55 0 98925 0
Current children cumulated CPU time (s) 1781.48
Current children cumulated vsize (Kb) 400132

[startup+1783.08 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=878544/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=400132 CPUtime=1782.5
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99701 0 14 0 178095 155 0 0 25 0 1 0 156777924 409735168 98597 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 100033 98597 420 55 0 98925 0
Current children cumulated CPU time (s) 1782.5
Current children cumulated vsize (Kb) 400132

[startup+1784.08 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=878544/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=400264 CPUtime=1783.5
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99709 0 14 0 178195 155 0 0 25 0 1 0 156777924 409870336 98605 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 100066 98605 420 55 0 98958 0
Current children cumulated CPU time (s) 1783.5
Current children cumulated vsize (Kb) 400264

[startup+1785.09 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=878480/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=400264 CPUtime=1784.5
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99727 0 14 0 178295 155 0 0 25 0 1 0 156777924 409870336 98623 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 100066 98623 420 55 0 98958 0
Current children cumulated CPU time (s) 1784.5
Current children cumulated vsize (Kb) 400264

[startup+1786.09 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=878416/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=400396 CPUtime=1785.51
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99745 0 14 0 178396 155 0 0 25 0 1 0 156777924 410005504 98641 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 100099 98641 420 55 0 98991 0
Current children cumulated CPU time (s) 1785.51
Current children cumulated vsize (Kb) 400396

[startup+1787.1 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=878288/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=400396 CPUtime=1786.51
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99769 0 14 0 178496 155 0 0 25 0 1 0 156777924 410005504 98665 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 100099 98665 420 55 0 98991 0
Current children cumulated CPU time (s) 1786.51
Current children cumulated vsize (Kb) 400396

[startup+1788.1 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=878224/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=400528 CPUtime=1787.52
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99783 0 14 0 178597 155 0 0 25 0 1 0 156777924 410140672 98679 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 100132 98679 420 55 0 99024 0
Current children cumulated CPU time (s) 1787.52
Current children cumulated vsize (Kb) 400528

[startup+1789.11 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=878160/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=400528 CPUtime=1788.52
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99797 0 14 0 178697 155 0 0 25 0 1 0 156777924 410140672 98693 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 100132 98693 420 55 0 99024 0
Current children cumulated CPU time (s) 1788.52
Current children cumulated vsize (Kb) 400528

[startup+1790.11 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=878160/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=400660 CPUtime=1789.53
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99807 0 14 0 178798 155 0 0 25 0 1 0 156777924 410275840 98703 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 100165 98703 420 55 0 99057 0
Current children cumulated CPU time (s) 1789.53
Current children cumulated vsize (Kb) 400660

[startup+1791.12 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=878096/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=400660 CPUtime=1790.53
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99813 0 14 0 178898 155 0 0 25 0 1 0 156777924 410275840 98709 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534109 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 100165 98709 420 55 0 99057 0
Current children cumulated CPU time (s) 1790.53
Current children cumulated vsize (Kb) 400660

[startup+1792.12 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=878096/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=400660 CPUtime=1791.53
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99821 0 14 0 178998 155 0 0 25 0 1 0 156777924 410275840 98717 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 100165 98717 420 55 0 99057 0
Current children cumulated CPU time (s) 1791.53
Current children cumulated vsize (Kb) 400660

[startup+1793.13 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=878032/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=400660 CPUtime=1792.54
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99830 0 14 0 179099 155 0 0 25 0 1 0 156777924 410275840 98726 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 100165 98726 420 55 0 99057 0
Current children cumulated CPU time (s) 1792.54
Current children cumulated vsize (Kb) 400660

[startup+1794.13 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=877968/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=400792 CPUtime=1793.54
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99840 0 14 0 179199 155 0 0 25 0 1 0 156777924 410411008 98736 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 100198 98736 420 55 0 99090 0
Current children cumulated CPU time (s) 1793.54
Current children cumulated vsize (Kb) 400792

[startup+1795.14 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=877968/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=400792 CPUtime=1794.55
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99850 0 14 0 179300 155 0 0 25 0 1 0 156777924 410411008 98746 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 100198 98746 420 55 0 99090 0
Current children cumulated CPU time (s) 1794.55
Current children cumulated vsize (Kb) 400792

[startup+1796.14 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=877904/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=400792 CPUtime=1795.55
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99865 0 14 0 179400 155 0 0 25 0 1 0 156777924 410411008 98761 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 100198 98761 420 55 0 99090 0
Current children cumulated CPU time (s) 1795.55
Current children cumulated vsize (Kb) 400792

[startup+1797.15 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=877840/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=400924 CPUtime=1796.56
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99879 0 14 0 179501 155 0 0 25 0 1 0 156777924 410546176 98775 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 100231 98775 420 55 0 99123 0
Current children cumulated CPU time (s) 1796.56
Current children cumulated vsize (Kb) 400924

[startup+1798.15 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=877776/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=400924 CPUtime=1797.56
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99891 0 14 0 179601 155 0 0 25 0 1 0 156777924 410546176 98787 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 100231 98787 420 55 0 99123 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (Kb) 400924

[startup+1799.16 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=877776/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=400924 CPUtime=1798.56
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99901 0 14 0 179701 155 0 0 25 0 1 0 156777924 410546176 98797 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 100231 98797 420 55 0 99123 0
Current children cumulated CPU time (s) 1798.56
Current children cumulated vsize (Kb) 400924

[startup+1800.16 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 26776
/proc/meminfo: memFree=877712/2055920 swapFree=4177816/4192956
[pid=26776] ppid=26774 vsize=401056 CPUtime=1799.57
/proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99907 0 14 0 179802 155 0 0 25 0 1 0 156777924 410681344 98803 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26776/statm: 100264 98803 420 55 0 99156 0
Current children cumulated CPU time (s) 1799.57
Current children cumulated vsize (Kb) 401056

Child status: 10
Real time (s): 1800.67
CPU time (s): 1800.08
CPU user time (s): 1798.46
CPU system time (s): 1.61875
CPU usage (%): 99.9674
Max. virtual memory (cumulated for all children) (Kb): 401056
The end

Launcher Data (download as text)

Begin job on node26 on Fri Jul 28 15:06:18 UTC 2006


FILE ID= 50307-1154099178

PBS_JOBID= 886046

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_1.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node26/50307-1154099178/instance-50307-1154099178.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node26/watcher-50307-1154099178 -o ROOT/results/node26/solver-50307-1154099178 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node26/50307-1154099178/instance-50307-1154099178.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  cdfa46b59876181d5d89fd18757b8cfb

RANDOM SEED= 266373362

TIMEOUT= 1800 seconds


/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.225
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.225
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:       1274968 kB
Buffers:         38412 kB
Cached:         659508 kB
SwapCached:       8804 kB
Active:         133844 kB
Inactive:       578112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1274968 kB
SwapTotal:     4192956 kB
SwapFree:      4177816 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          14468 kB
Slab:            55092 kB
Committed_AS:   715868 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node26 on Fri Jul 28 15:36:19 UTC 2006