Trace number 50315

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/05SAT70 1800.12 1800.72

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_3.opb
MD5SUM8d16c34d0eecf3c16ca4b890652c15ca
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7
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 constraint64
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 1270
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4321
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.00	c Time Limit set via PBTIMEOUT to 1800
0.02	c INFO: OSL Context initialized.
0.03	c Initial problem consists of 146 variables and 12 constraints.
0.03	c No problem reductions applied in OPT. instance.
0.03	c	preprocess terminated. Elapsed time: 0.004
0.03	c After prepocess the problem consists of 146 variables and 12 constraints.
0.03	c Initial Lower Bound: 0
0.04	c Restart #1 #Var: 146 LB: 0 @ 0.014
0.06	c Restart #2 #Var: 146 LB: 0 @ 0.033
0.09	c Restart #3 #Var: 146 LB: 0 @ 0.065
0.14	c Restart #4 #Var: 146 LB: 0 @ 0.113
0.19	c Restart #5 #Var: 146 LB: 0 @ 0.163
0.24	c Restart #6 #Var: 146 LB: 0 @ 0.218
0.29	c Restart #7 #Var: 146 LB: 0 @ 0.268
0.36	c Restart #8 #Var: 146 LB: 0 @ 0.333
0.44	c Restart #9 #Var: 146 LB: 0 @ 0.417
0.51	c Restart #10 #Var: 146 LB: 0 @ 0.488
0.61	c Restart #11 #Var: 146 LB: 0 @ 0.583
0.71	c Restart #12 #Var: 146 LB: 0 @ 0.686
0.83	c Restart #13 #Var: 146 LB: 0 @ 0.802
0.97	c Sol. found (all assignments made)...
0.97	o 1466
0.97	c NEW SOLUTION FOUND: 1466 @ 0.951
0.97	c Sol. found (all assignments made)...
0.97	o 1450
0.97	c NEW SOLUTION FOUND: 1450 @ 0.951
0.97	c Sol. found (all assignments made)...
0.97	o 1386
0.98	c NEW SOLUTION FOUND: 1386 @ 0.951
0.98	c Sol. found (all assignments made)...
0.98	c Sol. found (all assignments made)...
0.98	c Sol. found (all assignments made)...
0.98	c Sol. found (all assignments made)...
0.98	c Sol. found (all assignments made)...
0.98	c Sol. found (all assignments made)...
0.98	c Sol. found (all assignments made)...
0.98	o 1376
0.98	c NEW SOLUTION FOUND: 1376 @ 0.957
0.98	c Sol. found (all assignments made)...
0.98	c Sol. found (all assignments made)...
0.98	o 1368
0.98	c NEW SOLUTION FOUND: 1368 @ 0.957
0.98	c Sol. found (all assignments made)...
0.98	o 1246
0.98	c NEW SOLUTION FOUND: 1246 @ 0.958
0.98	c Sol. found (all assignments made)...
0.98	o 1242
0.98	c NEW SOLUTION FOUND: 1242 @ 0.958
0.98	c Sol. found (all assignments made)...
0.98	c Sol. found (all assignments made)...
0.98	o 1240
0.98	c NEW SOLUTION FOUND: 1240 @ 0.958
0.98	c Sol. found (all assignments made)...
0.98	c Sol. found (all assignments made)...
0.99	c Sol. found (all assignments made)...
0.99	o 1238
0.99	c NEW SOLUTION FOUND: 1238 @ 0.961
1.00	c Sol. found (all assignments made)...
1.00	o 1220
1.00	c NEW SOLUTION FOUND: 1220 @ 0.974
1.00	c Sol. found (all assignments made)...
1.00	o 1216
1.00	c NEW SOLUTION FOUND: 1216 @ 0.975
1.00	c Sol. found (all assignments made)...
1.00	o 1214
1.00	c NEW SOLUTION FOUND: 1214 @ 0.975
1.01	c Sol. found (all assignments made)...
1.01	o 1208
1.01	c NEW SOLUTION FOUND: 1208 @ 0.986
1.01	c Sol. found (all assignments made)...
1.01	o 1206
1.01	c NEW SOLUTION FOUND: 1206 @ 0.987
1.04	c Sol. found (all assignments made)...
1.04	o 1204
1.04	c NEW SOLUTION FOUND: 1204 @ 1.018
1.04	c Sol. found (all assignments made)...
1.04	o 1202
1.04	c NEW SOLUTION FOUND: 1202 @ 1.019
1.13	c Sol. found (all assignments made)...
1.13	o 1180
1.13	c NEW SOLUTION FOUND: 1180 @ 1.103
1.13	c Sol. found (all assignments made)...
1.13	o 1178
1.13	c NEW SOLUTION FOUND: 1178 @ 1.103
1.13	c Sol. found (all assignments made)...
1.13	o 1172
1.13	c NEW SOLUTION FOUND: 1172 @ 1.105
1.13	c Sol. found (all assignments made)...
1.13	o 1170
1.13	c NEW SOLUTION FOUND: 1170 @ 1.105
1.27	c Sol. found (all assignments made)...
1.27	o 1164
1.27	c NEW SOLUTION FOUND: 1164 @ 1.247
1.27	c Sol. found (all assignments made)...
1.27	o 1154
1.27	c NEW SOLUTION FOUND: 1154 @ 1.248
1.27	c Sol. found (all assignments made)...
1.27	o 1150
1.27	c NEW SOLUTION FOUND: 1150 @ 1.249
1.27	c Sol. found (all assignments made)...
1.27	o 1146
1.27	c NEW SOLUTION FOUND: 1146 @ 1.249
1.43	c Sol. found (all assignments made)...
1.43	o 1140
1.43	c NEW SOLUTION FOUND: 1140 @ 1.408
1.43	c Sol. found (all assignments made)...
1.43	o 1138
1.43	c NEW SOLUTION FOUND: 1138 @ 1.408
1.60	c Sol. found (all assignments made)...
1.60	o 1132
1.60	c NEW SOLUTION FOUND: 1132 @ 1.576
1.60	c Sol. found (all assignments made)...
1.60	o 1116
1.60	c NEW SOLUTION FOUND: 1116 @ 1.577
1.60	c Sol. found (all assignments made)...
1.60	o 1114
1.60	c NEW SOLUTION FOUND: 1114 @ 1.578
2.19	c Sol. found (all assignments made)...
2.19	o 1084
2.19	c NEW SOLUTION FOUND: 1084 @ 2.167
2.19	c Sol. found (all assignments made)...
2.19	o 1082
2.19	c NEW SOLUTION FOUND: 1082 @ 2.168
2.20	c Sol. found (all assignments made)...
2.20	o 1076
2.20	c NEW SOLUTION FOUND: 1076 @ 2.175
2.20	c Sol. found (all assignments made)...
2.20	o 1074
2.20	c NEW SOLUTION FOUND: 1074 @ 2.177
2.22	c Sol. found (all assignments made)...
2.22	o 1068
2.22	c NEW SOLUTION FOUND: 1068 @ 2.195
2.22	c Sol. found (all assignments made)...
2.22	o 1052
2.22	c NEW SOLUTION FOUND: 1052 @ 2.199
2.23	c Sol. found (all assignments made)...
2.23	o 1050
2.23	c NEW SOLUTION FOUND: 1050 @ 2.204
3.93	c Restart #14 #Var: 146 LB: 0 @ 3.905
4.00	c Sol. found (all assignments made)...
4.00	c Sol. found (all assignments made)...
4.00	c Sol. found (all assignments made)...
4.00	c Sol. found (all assignments made)...
4.00	c Sol. found (all assignments made)...
4.00	c Sol. found (all assignments made)...
4.00	c Sol. found (all assignments made)...
4.00	c Sol. found (all assignments made)...
4.00	c Sol. found (all assignments made)...
4.00	c Sol. found (all assignments made)...
4.00	c Sol. found (all assignments made)...
4.01	c Sol. found (all assignments made)...
4.01	c Sol. found (all assignments made)...
4.01	c Sol. found (all assignments made)...
4.01	c Sol. found (all assignments made)...
4.02	c Sol. found (all assignments made)...
4.02	c Sol. found (all assignments made)...
4.02	c Sol. found (all assignments made)...
4.02	c Sol. found (all assignments made)...
4.02	c Sol. found (all assignments made)...
4.02	c Sol. found (all assignments made)...
4.06	c Sol. found (all assignments made)...
4.06	c Sol. found (all assignments made)...
4.06	c Sol. found (all assignments made)...
4.06	c Sol. found (all assignments made)...
4.06	c Sol. found (all assignments made)...
4.06	c Sol. found (all assignments made)...
4.06	c Sol. found (all assignments made)...
4.06	c Sol. found (all assignments made)...
4.52	c Restart #15 #Var: 146 LB: 0 @ 4.498
4.72	c Sol. found (all assignments made)...
4.72	o 1042
4.72	c NEW SOLUTION FOUND: 1042 @ 4.691
4.72	c Sol. found (all assignments made)...
4.72	o 1040
4.72	c NEW SOLUTION FOUND: 1040 @ 4.698
4.72	c Sol. found (all assignments made)...
4.72	o 980
4.72	c NEW SOLUTION FOUND: 980 @ 4.7
4.72	c Sol. found (all assignments made)...
4.72	o 976
4.72	c NEW SOLUTION FOUND: 976 @ 4.7
4.73	c Sol. found (all assignments made)...
4.73	o 974
4.73	c NEW SOLUTION FOUND: 974 @ 4.707
4.74	c Sol. found (all assignments made)...
4.74	o 956
4.74	c NEW SOLUTION FOUND: 956 @ 4.711
4.93	c Sol. found (all assignments made)...
4.93	o 954
4.93	c NEW SOLUTION FOUND: 954 @ 4.907
4.93	c Sol. found (all assignments made)...
4.93	o 952
4.93	c NEW SOLUTION FOUND: 952 @ 4.91
5.28	c Sol. found (all assignments made)...
5.28	o 950
5.28	c NEW SOLUTION FOUND: 950 @ 5.258
6.59	c Sol. found (all assignments made)...
6.59	o 944
6.59	c NEW SOLUTION FOUND: 944 @ 6.561
6.59	c Sol. found (all assignments made)...
6.59	o 936
6.59	c NEW SOLUTION FOUND: 936 @ 6.561
6.59	c Sol. found (all assignments made)...
6.59	o 930
6.59	c NEW SOLUTION FOUND: 930 @ 6.566
6.59	c Sol. found (all assignments made)...
6.59	o 928
6.59	c NEW SOLUTION FOUND: 928 @ 6.57
6.60	c Sol. found (all assignments made)...
6.60	o 920
6.60	c NEW SOLUTION FOUND: 920 @ 6.575
6.60	c Sol. found (all assignments made)...
6.60	o 912
6.60	c NEW SOLUTION FOUND: 912 @ 6.58
6.62	c Sol. found (all assignments made)...
6.62	o 908
6.62	c NEW SOLUTION FOUND: 908 @ 6.594
6.63	c Sol. found (all assignments made)...
6.63	o 904
6.63	c NEW SOLUTION FOUND: 904 @ 6.607
6.64	c Sol. found (all assignments made)...
6.64	o 902
6.64	c NEW SOLUTION FOUND: 902 @ 6.612
6.64	c Sol. found (all assignments made)...
6.64	o 898
6.64	c NEW SOLUTION FOUND: 898 @ 6.612
6.64	c Sol. found (all assignments made)...
6.64	o 896
6.64	c NEW SOLUTION FOUND: 896 @ 6.615
6.65	c Sol. found (all assignments made)...
6.65	o 880
6.65	c NEW SOLUTION FOUND: 880 @ 6.621
6.66	c Sol. found (all assignments made)...
6.66	o 876
6.66	c NEW SOLUTION FOUND: 876 @ 6.636
6.69	c Sol. found (all assignments made)...
6.69	o 872
6.69	c NEW SOLUTION FOUND: 872 @ 6.666
6.70	c Sol. found (all assignments made)...
6.70	o 870
6.70	c NEW SOLUTION FOUND: 870 @ 6.672
6.71	c Sol. found (all assignments made)...
6.71	o 856
6.71	c NEW SOLUTION FOUND: 856 @ 6.681
6.71	c Sol. found (all assignments made)...
6.71	o 854
6.71	c NEW SOLUTION FOUND: 854 @ 6.683
6.71	c Sol. found (all assignments made)...
6.71	o 840
6.71	c NEW SOLUTION FOUND: 840 @ 6.688
6.72	c Sol. found (all assignments made)...
6.72	o 838
6.72	c NEW SOLUTION FOUND: 838 @ 6.695
6.73	c Sol. found (all assignments made)...
6.73	o 836
6.73	c NEW SOLUTION FOUND: 836 @ 6.707
6.74	c Sol. found (all assignments made)...
6.74	o 834
6.74	c NEW SOLUTION FOUND: 834 @ 6.714
6.78	c Sol. found (all assignments made)...
6.78	o 832
6.78	c NEW SOLUTION FOUND: 832 @ 6.75
6.78	c Sol. found (all assignments made)...
6.78	o 830
6.78	c NEW SOLUTION FOUND: 830 @ 6.753
6.82	c Sol. found (all assignments made)...
6.82	o 824
6.82	c NEW SOLUTION FOUND: 824 @ 6.792
6.82	c Sol. found (all assignments made)...
6.82	o 822
6.82	c NEW SOLUTION FOUND: 822 @ 6.793
6.82	c Sol. found (all assignments made)...
6.82	o 820
6.82	c NEW SOLUTION FOUND: 820 @ 6.793
6.82	c Sol. found (all assignments made)...
6.82	o 816
6.82	c NEW SOLUTION FOUND: 816 @ 6.793
6.83	c Sol. found (all assignments made)...
6.83	o 808
6.83	c NEW SOLUTION FOUND: 808 @ 6.801
6.83	c Sol. found (all assignments made)...
6.83	o 806
6.83	c NEW SOLUTION FOUND: 806 @ 6.801
6.83	c Sol. found (all assignments made)...
6.83	o 804
6.83	c NEW SOLUTION FOUND: 804 @ 6.802
6.83	c Sol. found (all assignments made)...
6.83	o 800
6.83	c NEW SOLUTION FOUND: 800 @ 6.802
6.84	c Sol. found (all assignments made)...
6.84	o 792
6.84	c NEW SOLUTION FOUND: 792 @ 6.816
6.84	c Sol. found (all assignments made)...
6.84	o 790
6.84	c NEW SOLUTION FOUND: 790 @ 6.817
6.84	c Sol. found (all assignments made)...
6.84	o 788
6.84	c NEW SOLUTION FOUND: 788 @ 6.817
6.84	c Sol. found (all assignments made)...
6.84	o 784
6.84	c NEW SOLUTION FOUND: 784 @ 6.817
6.85	c Sol. found (all assignments made)...
6.85	o 776
6.85	c NEW SOLUTION FOUND: 776 @ 6.824
6.85	c Sol. found (all assignments made)...
6.85	o 774
6.85	c NEW SOLUTION FOUND: 774 @ 6.825
6.85	c Sol. found (all assignments made)...
6.85	o 768
6.85	c NEW SOLUTION FOUND: 768 @ 6.825
6.88	c Sol. found (all assignments made)...
6.88	o 764
6.88	c NEW SOLUTION FOUND: 764 @ 6.85
6.94	c Sol. found (all assignments made)...
6.94	o 760
6.94	c NEW SOLUTION FOUND: 760 @ 6.912
6.94	c Sol. found (all assignments made)...
6.94	o 758
6.94	c NEW SOLUTION FOUND: 758 @ 6.917
6.95	c Sol. found (all assignments made)...
6.95	o 744
6.95	c NEW SOLUTION FOUND: 744 @ 6.923
6.95	c Sol. found (all assignments made)...
6.95	o 742
6.95	c NEW SOLUTION FOUND: 742 @ 6.927
6.96	c Sol. found (all assignments made)...
6.96	o 728
6.96	c NEW SOLUTION FOUND: 728 @ 6.93
6.96	c Sol. found (all assignments made)...
6.96	o 726
6.96	c NEW SOLUTION FOUND: 726 @ 6.934
6.98	c Sol. found (all assignments made)...
6.98	o 724
6.98	c NEW SOLUTION FOUND: 724 @ 6.954
6.98	c Sol. found (all assignments made)...
6.98	o 722
6.98	c NEW SOLUTION FOUND: 722 @ 6.958
7.24	c Sol. found (all assignments made)...
7.24	o 718
7.24	c NEW SOLUTION FOUND: 718 @ 7.212
7.77	c Sol. found (all assignments made)...
7.77	o 706
7.77	c NEW SOLUTION FOUND: 706 @ 7.748
9.67	c Restart #16 #Var: 146 LB: 0 @ 9.644
11.65	c Sol. found (all assignments made)...
11.65	o 704
11.65	c NEW SOLUTION FOUND: 704 @ 11.624
11.66	c Sol. found (all assignments made)...
11.66	o 702
11.66	c NEW SOLUTION FOUND: 702 @ 11.628
13.76	c Sol. found (all assignments made)...
13.76	o 638
13.76	c NEW SOLUTION FOUND: 638 @ 13.732
13.77	c Sol. found (all assignments made)...
13.77	o 630
13.77	c NEW SOLUTION FOUND: 630 @ 13.736
13.83	c Sol. found (all assignments made)...
13.83	o 592
13.83	c NEW SOLUTION FOUND: 592 @ 13.795
13.83	c Sol. found (all assignments made)...
13.83	o 590
13.83	c NEW SOLUTION FOUND: 590 @ 13.797
13.84	c Sol. found (all assignments made)...
13.84	o 534
13.84	c NEW SOLUTION FOUND: 534 @ 13.809
13.90	c Sol. found (all assignments made)...
13.90	o 518
13.90	c NEW SOLUTION FOUND: 518 @ 13.868
13.90	c Sol. found (all assignments made)...
13.90	o 510
13.90	c NEW SOLUTION FOUND: 510 @ 13.871
15.96	c Sol. found (all assignments made)...
15.96	o 494
15.96	c NEW SOLUTION FOUND: 494 @ 15.929
15.96	c Sol. found (all assignments made)...
15.96	o 486
15.96	c NEW SOLUTION FOUND: 486 @ 15.933
16.30	c Sol. found (all assignments made)...
16.30	o 470
16.30	c NEW SOLUTION FOUND: 470 @ 16.272
16.45	c Sol. found (all assignments made)...
16.45	o 462
16.45	c NEW SOLUTION FOUND: 462 @ 16.42
16.46	c Sol. found (all assignments made)...
16.46	o 454
16.46	c NEW SOLUTION FOUND: 454 @ 16.433
17.84	c Sol. found (all assignments made)...
17.84	o 452
17.84	c NEW SOLUTION FOUND: 452 @ 17.807
19.34	c Sol. found (all assignments made)...
19.34	o 446
19.34	c NEW SOLUTION FOUND: 446 @ 19.306
19.36	c Sol. found (all assignments made)...
19.36	o 438
19.36	c NEW SOLUTION FOUND: 438 @ 19.334
19.52	c Sol. found (all assignments made)...
19.52	o 436
19.52	c NEW SOLUTION FOUND: 436 @ 19.485
19.63	c Sol. found (all assignments made)...
19.63	o 430
19.63	c NEW SOLUTION FOUND: 430 @ 19.601
19.74	c Sol. found (all assignments made)...
19.74	o 428
19.74	c NEW SOLUTION FOUND: 428 @ 19.708
20.54	c Sol. found (all assignments made)...
20.54	o 414
20.54	c NEW SOLUTION FOUND: 414 @ 20.505
20.57	c Sol. found (all assignments made)...
20.57	o 406
20.57	c NEW SOLUTION FOUND: 406 @ 20.533
20.72	c Sol. found (all assignments made)...
20.72	o 404
20.72	c NEW SOLUTION FOUND: 404 @ 20.684
21.63	c Sol. found (all assignments made)...
21.63	o 398
21.63	c NEW SOLUTION FOUND: 398 @ 21.602
21.71	c Sol. found (all assignments made)...
21.71	o 382
21.71	c NEW SOLUTION FOUND: 382 @ 21.678
21.74	c Sol. found (all assignments made)...
21.74	o 374
21.74	c NEW SOLUTION FOUND: 374 @ 21.711
21.88	c Sol. found (all assignments made)...
21.88	o 372
21.88	c NEW SOLUTION FOUND: 372 @ 21.846
25.57	c Sol. found (all assignments made)...
25.58	c Sol. found (all assignments made)...
25.58	o 371
25.58	c NEW SOLUTION FOUND: 371 @ 25.544
25.58	c Sol. found (all assignments made)...
25.58	o 369
25.58	c NEW SOLUTION FOUND: 369 @ 25.549
29.06	c Restart #17 #Var: 146 LB: 0 @ 29.027
31.91	c Restart #18 #Var: 146 LB: 0 @ 31.872
36.68	c Restart #19 #Var: 146 LB: 0 @ 36.644
39.22	c Restart #20 #Var: 146 LB: 0 @ 39.183
42.69	c CHANGE to MIS mode... 	UB: 369	MIS: 0	LPR: 0 (0.016)	Diff: nan
42.69	c Restart #0 #Var: 146 LB: 0 @ 42.652
43.09	c Restart #1 #Var: 146 LB: 0 @ 43.053
43.70	c Restart #2 #Var: 146 LB: 0 @ 43.662
45.45	c Restart #3 #Var: 146 LB: 0 @ 45.411
48.01	c Restart #4 #Var: 146 LB: 0 @ 47.966
49.99	c Restart #5 #Var: 146 LB: 0 @ 49.948
51.77	c Restart #6 #Var: 146 LB: 0 @ 51.729
54.66	c Restart #7 #Var: 146 LB: 0 @ 54.614
58.71	c Restart #8 #Var: 146 LB: 0 @ 58.666
61.62	c Restart #9 #Var: 146 LB: 0 @ 61.578
65.11	c Restart #10 #Var: 146 LB: 0 @ 65.065
68.16	c Restart #11 #Var: 146 LB: 0 @ 68.111
73.72	c Restart #12 #Var: 146 LB: 0 @ 73.672
77.95	c Restart #13 #Var: 146 LB: 0 @ 77.903
85.05	c Restart #14 #Var: 146 LB: 0 @ 84.994
91.78	c Restart #15 #Var: 146 LB: 0 @ 91.728
97.49	c Restart #16 #Var: 146 LB: 0 @ 97.433
105.15	c Restart #17 #Var: 146 LB: 0 @ 105.1
109.73	c Restart #18 #Var: 146 LB: 0 @ 109.67
119.78	c Restart #19 #Var: 146 LB: 0 @ 119.71
126.23	c Restart #20 #Var: 146 LB: 0 @ 126.16
136.48	c Restart #21 #Var: 146 LB: 0 @ 136.41
154.85	c Restart #22 #Var: 146 LB: 0 @ 154.78
166.80	c Restart #23 #Var: 146 LB: 0 @ 166.72
179.36	c Restart #24 #Var: 146 LB: 0 @ 179.28
196.43	c Restart #25 #Var: 146 LB: 0 @ 196.35
216.38	c Restart #26 #Var: 146 LB: 0 @ 216.29
229.51	c Restart #27 #Var: 146 LB: 0 @ 229.42
245.50	c Restart #28 #Var: 146 LB: 0 @ 245.4
263.56	c Restart #29 #Var: 146 LB: 0 @ 263.46
279.33	c Restart #30 #Var: 146 LB: 0 @ 279.2
301.98	c Restart #31 #Var: 146 LB: 0 @ 301.79
326.96	c Restart #32 #Var: 146 LB: 0 @ 326.76
344.36	c Restart #33 #Var: 146 LB: 0 @ 344.17
373.06	c Restart #34 #Var: 146 LB: 0 @ 372.85
397.43	c Restart #35 #Var: 146 LB: 0 @ 397.22
417.01	c Sol. found (all assignments made)...
417.01	o 364
417.01	c NEW SOLUTION FOUND: 364 @ 416.79
417.01	c Sol. found (all assignments made)...
417.01	c Sol. found (all assignments made)...
417.08	c Sol. found (all assignments made)...
417.08	o 356
417.08	c NEW SOLUTION FOUND: 356 @ 416.87
417.09	c Sol. found (all assignments made)...
417.09	c Sol. found (all assignments made)...
417.09	o 354
417.09	c NEW SOLUTION FOUND: 354 @ 416.88
417.09	c Sol. found (all assignments made)...
417.18	c Sol. found (all assignments made)...
417.18	o 352
417.18	c NEW SOLUTION FOUND: 352 @ 416.96
417.18	c Sol. found (all assignments made)...
417.18	o 344
417.18	c NEW SOLUTION FOUND: 344 @ 416.96
417.18	c Sol. found (all assignments made)...
417.18	o 342
417.18	c NEW SOLUTION FOUND: 342 @ 416.96
417.18	c Sol. found (all assignments made)...
417.18	o 340
417.18	c NEW SOLUTION FOUND: 340 @ 416.96
417.18	c Sol. found (all assignments made)...
417.18	o 336
417.18	c NEW SOLUTION FOUND: 336 @ 416.96
417.18	c Sol. found (all assignments made)...
417.18	o 334
417.18	c NEW SOLUTION FOUND: 334 @ 416.96
417.19	c Sol. found (all assignments made)...
417.19	o 332
417.19	c NEW SOLUTION FOUND: 332 @ 416.97
417.26	c Sol. found (all assignments made)...
417.26	o 328
417.26	c NEW SOLUTION FOUND: 328 @ 417.05
417.27	c Sol. found (all assignments made)...
417.27	o 324
417.27	c NEW SOLUTION FOUND: 324 @ 417.05
417.28	c Sol. found (all assignments made)...
417.28	o 322
417.28	c NEW SOLUTION FOUND: 322 @ 417.06
417.51	c Sol. found (all assignments made)...
417.51	o 316
417.51	c NEW SOLUTION FOUND: 316 @ 417.29
417.57	c Sol. found (all assignments made)...
417.57	o 314
417.57	c NEW SOLUTION FOUND: 314 @ 417.35
417.86	c Sol. found (all assignments made)...
417.86	o 312
417.86	c NEW SOLUTION FOUND: 312 @ 417.64
417.97	c Sol. found (all assignments made)...
417.97	o 310
417.97	c NEW SOLUTION FOUND: 310 @ 417.75
433.98	c Restart #36 #Var: 146 LB: 0 @ 433.76
448.19	c Sol. found (all assignments made)...
464.37	c Restart #37 #Var: 146 LB: 0 @ 464.14
502.51	c Restart #38 #Var: 146 LB: 0 @ 502.27
538.20	c Sol. found (all assignments made)...
538.20	o 299
538.20	c NEW SOLUTION FOUND: 299 @ 537.95
538.36	c Sol. found (all assignments made)...
538.41	c Sol. found (all assignments made)...
538.46	c Sol. found (all assignments made)...
538.51	c Sol. found (all assignments made)...
538.51	c Sol. found (all assignments made)...
538.52	c Sol. found (all assignments made)...
538.53	c Sol. found (all assignments made)...
539.05	c Sol. found (all assignments made)...
539.05	o 297
539.05	c NEW SOLUTION FOUND: 297 @ 538.8
543.14	c Sol. found (all assignments made)...
543.14	c Sol. found (all assignments made)...
543.14	o 289
543.14	c NEW SOLUTION FOUND: 289 @ 542.89
543.14	c Sol. found (all assignments made)...
543.14	c Sol. found (all assignments made)...
543.14	o 285
543.14	c NEW SOLUTION FOUND: 285 @ 542.89
543.15	c Sol. found (all assignments made)...
543.15	o 271
543.15	c NEW SOLUTION FOUND: 271 @ 542.9
543.15	c Sol. found (all assignments made)...
543.15	o 269
543.15	c NEW SOLUTION FOUND: 269 @ 542.9
543.92	c Sol. found (all assignments made)...
543.92	o 267
543.92	c NEW SOLUTION FOUND: 267 @ 543.67
544.15	c Sol. found (all assignments made)...
544.15	o 265
544.15	c NEW SOLUTION FOUND: 265 @ 543.9
548.88	c Sol. found (all assignments made)...
548.88	o 263
548.88	c NEW SOLUTION FOUND: 263 @ 548.62
550.77	c Sol. found (all assignments made)...
550.77	o 253
550.77	c NEW SOLUTION FOUND: 253 @ 550.51
550.78	c Sol. found (all assignments made)...
550.78	o 251
550.78	c NEW SOLUTION FOUND: 251 @ 550.53
550.87	c Sol. found (all assignments made)...
550.87	o 247
550.87	c NEW SOLUTION FOUND: 247 @ 550.62
571.45	c Sol. found (all assignments made)...
571.45	o 222
571.45	c NEW SOLUTION FOUND: 222 @ 571.19
571.45	c Sol. found (all assignments made)...
571.45	o 220
571.45	c NEW SOLUTION FOUND: 220 @ 571.19
571.59	c Sol. found (all assignments made)...
571.59	o 218
571.59	c NEW SOLUTION FOUND: 218 @ 571.33
573.34	c Sol. found (all assignments made)...
573.34	o 216
573.34	c NEW SOLUTION FOUND: 216 @ 573.07
574.92	c Sol. found (all assignments made)...
574.92	o 208
574.92	c NEW SOLUTION FOUND: 208 @ 574.65
575.00	c Sol. found (all assignments made)...
575.00	o 206
575.00	c NEW SOLUTION FOUND: 206 @ 574.73
576.07	c Sol. found (all assignments made)...
576.07	o 200
576.07	c NEW SOLUTION FOUND: 200 @ 575.8
576.86	c Sol. found (all assignments made)...
576.86	o 192
576.86	c NEW SOLUTION FOUND: 192 @ 576.59
578.91	c Sol. found (all assignments made)...
578.91	o 182
578.91	c NEW SOLUTION FOUND: 182 @ 578.65
578.99	c Sol. found (all assignments made)...
578.99	o 180
578.99	c NEW SOLUTION FOUND: 180 @ 578.73
579.41	c Sol. found (all assignments made)...
579.41	o 178
579.41	c NEW SOLUTION FOUND: 178 @ 579.15
579.56	c Sol. found (all assignments made)...
579.56	o 176
579.56	c NEW SOLUTION FOUND: 176 @ 579.29
579.79	c Sol. found (all assignments made)...
579.79	o 168
579.79	c NEW SOLUTION FOUND: 168 @ 579.53
580.27	c Sol. found (all assignments made)...
580.27	o 166
580.27	c NEW SOLUTION FOUND: 166 @ 580.01
605.07	c Sol. found (all assignments made)...
605.07	o 162
605.07	c NEW SOLUTION FOUND: 162 @ 604.8
636.33	c Restart #39 #Var: 146 LB: 0 @ 636.05
670.24	c Restart #40 #Var: 146 LB: 0 @ 669.95
739.75	c Restart #41 #Var: 146 LB: 0 @ 739.44
743.92	c Sol. found (all assignments made)...
743.92	c Sol. found (all assignments made)...
771.24	c Restart #42 #Var: 146 LB: 0 @ 770.93
852.98	c Sol. found (all assignments made)...
852.98	o 161
852.98	c NEW SOLUTION FOUND: 161 @ 852.64
852.98	c Sol. found (all assignments made)...
852.98	o 153
852.98	c NEW SOLUTION FOUND: 153 @ 852.64
853.00	c Sol. found (all assignments made)...
853.00	o 151
853.00	c NEW SOLUTION FOUND: 151 @ 852.66
853.01	c Sol. found (all assignments made)...
853.01	o 149
853.01	c NEW SOLUTION FOUND: 149 @ 852.67
853.02	c Sol. found (all assignments made)...
853.02	o 147
853.02	c NEW SOLUTION FOUND: 147 @ 852.68
853.09	c Sol. found (all assignments made)...
853.09	o 145
853.09	c NEW SOLUTION FOUND: 145 @ 852.75
853.09	c Sol. found (all assignments made)...
853.09	o 143
853.09	c NEW SOLUTION FOUND: 143 @ 852.75
872.97	c Sol. found (all assignments made)...
872.97	o 141
872.97	c NEW SOLUTION FOUND: 141 @ 872.62
873.01	c Sol. found (all assignments made)...
873.01	o 139
873.01	c NEW SOLUTION FOUND: 139 @ 872.66
873.82	c Sol. found (all assignments made)...
873.82	o 137
873.82	c NEW SOLUTION FOUND: 137 @ 873.48
873.92	c Sol. found (all assignments made)...
873.92	o 133
873.92	c NEW SOLUTION FOUND: 133 @ 873.58
874.55	c Sol. found (all assignments made)...
874.55	o 131
874.55	c NEW SOLUTION FOUND: 131 @ 874.2
877.48	c Sol. found (all assignments made)...
877.48	o 129
877.48	c NEW SOLUTION FOUND: 129 @ 877.14
877.58	c Sol. found (all assignments made)...
877.58	o 127
877.58	c NEW SOLUTION FOUND: 127 @ 877.23
895.39	c Sol. found (all assignments made)...
895.39	o 125
895.39	c NEW SOLUTION FOUND: 125 @ 895.04
958.14	c Sol. found (all assignments made)...
958.14	o 119
958.14	c NEW SOLUTION FOUND: 119 @ 957.77
958.74	c Sol. found (all assignments made)...
958.74	o 117
958.74	c NEW SOLUTION FOUND: 117 @ 958.37
1010.19	c Restart #43 #Var: 145 LB: 0 @ 1009.8
1113.33	c Restart #44 #Var: 143 LB: 0 @ 1112.9
1199.68	c Restart #45 #Var: 141 LB: 0 @ 1199.2
1294.07	c Restart #46 #Var: 140 LB: 0 @ 1293.6
1397.70	c Restart #47 #Var: 139 LB: 0 @ 1397.2
1487.83	c Restart #48 #Var: 139 LB: 0 @ 1487.3
1493.34	c Sol. found (all assignments made)...
1493.34	o 84
1493.34	c NEW SOLUTION FOUND: 84 @ 1492.8
1493.97	c Sol. found (all assignments made)...
1493.97	o 82
1493.97	c NEW SOLUTION FOUND: 82 @ 1493.5
1524.20	c Sol. found (all assignments made)...
1524.20	o 80
1524.20	c NEW SOLUTION FOUND: 80 @ 1523.7
1529.87	c Sol. found (all assignments made)...
1529.87	o 78
1529.87	c NEW SOLUTION FOUND: 78 @ 1529.3
1531.46	c Sol. found (all assignments made)...
1531.46	o 74
1531.46	c NEW SOLUTION FOUND: 74 @ 1530.9
1626.10	c Restart #49 #Var: 139 LB: 0 @ 1625.5
1633.38	c Sol. found (all assignments made)...
1633.50	c Sol. found (all assignments made)...
1638.38	c Sol. found (all assignments made)...
1638.40	c Sol. found (all assignments made)...
1638.40	c Sol. found (all assignments made)...
1638.41	c Sol. found (all assignments made)...
1638.53	c Sol. found (all assignments made)...
1638.62	c Sol. found (all assignments made)...
1638.62	o 72
1638.62	c NEW SOLUTION FOUND: 72 @ 1638.1
1686.11	c Sol. found (all assignments made)...
1689.89	c Sol. found (all assignments made)...
1689.89	o 70
1689.89	c NEW SOLUTION FOUND: 70 @ 1689.3
1800.63	s SATISFIABLE
1800.63	c Cost: 70
1800.63	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.63	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.63	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.63	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.63	v -x109 -x110 -x111 -x112 -x113 x114 x115 -x116 -x117 x118 x119 -x120 x121 x122 -x123 x124 x125 -x126 x127 x128 -x129 -x130 x131
1800.63	v -x132 -x133 -x134 x135 -x136 -x137 x138 x139 -x140 -x141 -x142 -x143 -x144 x145 x146
1800.63	c Exit Code: 10
1800.63	c Total time: 1800 s

Verifier Data (download as text)

OK	70

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/node60/watcher-50315-1154102190 -o ROOT/results/node60/solver-50315-1154102190 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node60/50315-1154102190/instance-50315-1154102190.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 3/64 786
/proc/meminfo: memFree=1495192/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=3216 CPUtime=0
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 52 0 0 0 0 0 0 0 18 0 1 0 157088854 3293184 35 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 5536397 0 0 4096 0 0 0 0 17 1 0 0
/proc/786/statm: 806 38 28 55 0 40 0

[startup+10.0021 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 786
/proc/meminfo: memFree=1432096/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=67432 CPUtime=9.97
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 16118 0 0 0 985 12 0 0 25 0 1 0 157088854 69050368 16032 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528509 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 16858 16032 297 55 0 15750 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 67432

[startup+20.0081 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 786
/proc/meminfo: memFree=1418656/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=80924 CPUtime=19.97
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 19479 0 0 0 1982 15 0 0 25 0 1 0 157088854 82866176 19393 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 20231 19393 297 55 0 19123 0
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 80924

[startup+30.0141 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 786
/proc/meminfo: memFree=1408800/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=90828 CPUtime=29.97
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 21934 0 0 0 2978 19 0 0 25 0 1 0 157088854 93007872 21848 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 22707 21848 297 55 0 21599 0
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 90828

[startup+40.0201 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 786
/proc/meminfo: memFree=1393056/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=106552 CPUtime=39.98
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 25854 0 0 0 3974 24 0 0 25 0 1 0 157088854 109109248 25768 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 26638 25768 297 55 0 25530 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 106552

[startup+50.0261 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 786
/proc/meminfo: memFree=1381472/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=118036 CPUtime=49.97
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 28749 0 3 0 4970 27 0 0 25 0 1 0 157088854 120868864 28663 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 29509 28663 420 55 0 28401 0
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 118036

[startup+60.0321 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 786
/proc/meminfo: memFree=1375200/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=124396 CPUtime=59.98
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 30311 0 3 0 5968 30 0 0 25 0 1 0 157088854 127381504 30225 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 31099 30225 420 55 0 29991 0
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 124396

[startup+70.0381 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 786
/proc/meminfo: memFree=1367392/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=132340 CPUtime=69.98
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 32274 0 3 0 6965 33 0 0 25 0 1 0 157088854 135516160 32188 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 33085 32188 420 55 0 31977 0
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 132340

[startup+80.0441 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 786
/proc/meminfo: memFree=1360800/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=138872 CPUtime=79.98
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 33914 0 3 0 7962 36 0 0 25 0 1 0 157088854 142204928 33828 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 34718 33828 420 55 0 33610 0
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 138872

[startup+90.0501 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 786
/proc/meminfo: memFree=1355808/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=143928 CPUtime=89.99
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 35166 0 3 0 8961 38 0 0 25 0 1 0 157088854 147382272 35079 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134557740 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 35982 35079 420 55 0 34874 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 143928

[startup+100.056 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 786
/proc/meminfo: memFree=1347936/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=151944 CPUtime=99.99
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 37141 0 3 0 9958 41 0 0 25 0 1 0 157088854 155590656 37051 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529509 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 37986 37051 420 55 0 36878 0
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 151944

[startup+110.062 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 786
/proc/meminfo: memFree=1340512/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=159356 CPUtime=110
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 38981 0 3 0 10956 44 0 0 25 0 1 0 157088854 163180544 38891 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 39839 38891 420 55 0 38731 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 159356

[startup+120.068 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 786
/proc/meminfo: memFree=1335648/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=164256 CPUtime=120
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 40202 0 3 0 11954 46 0 0 25 0 1 0 157088854 168198144 40112 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 41064 40112 420 55 0 39956 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 164256

[startup+130.074 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 786
/proc/meminfo: memFree=1328544/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=171412 CPUtime=130
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 41976 0 3 0 12951 49 0 0 25 0 1 0 157088854 175525888 41885 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 42853 41885 420 55 0 41745 0
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 171412

[startup+140.08 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 786
/proc/meminfo: memFree=1323936/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=175904 CPUtime=140
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 43115 0 3 0 13950 50 0 0 25 0 1 0 157088854 180125696 43024 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550888 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 43976 43024 420 55 0 42868 0
Current children cumulated CPU time (s) 140
Current children cumulated vsize (Kb) 175904

[startup+150.086 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 786
/proc/meminfo: memFree=1320608/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=179368 CPUtime=150
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 43942 0 3 0 14948 52 0 0 25 0 1 0 157088854 183672832 43850 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 44842 43850 420 55 0 43734 0
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 179368

[startup+160.092 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 786
/proc/meminfo: memFree=1316896/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=183216 CPUtime=160.01
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 44870 0 3 0 15947 54 0 0 25 0 1 0 157088854 187613184 44776 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 45804 44776 420 55 0 44696 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 183216

[startup+170.098 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 786
/proc/meminfo: memFree=1310688/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=189304 CPUtime=170.01
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 46422 0 3 0 16944 57 0 0 25 0 1 0 157088854 193847296 46327 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 47326 46327 420 55 0 46218 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 189304

[startup+180.104 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 786
/proc/meminfo: memFree=1305760/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=194244 CPUtime=180.02
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 47648 0 3 0 17943 59 0 0 25 0 1 0 157088854 198905856 47551 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134551614 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 48561 47551 420 55 0 47453 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 194244

[startup+190.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 786
/proc/meminfo: memFree=1302432/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=197708 CPUtime=190.02
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 48493 0 3 0 18941 61 0 0 25 0 1 0 157088854 202452992 48396 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134524861 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 49427 48396 420 55 0 48319 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 197708

[startup+200.116 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 786
/proc/meminfo: memFree=1298336/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=201844 CPUtime=200.02
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 49517 0 3 0 19939 63 0 0 25 0 1 0 157088854 206688256 49418 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 50461 49418 420 55 0 49353 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 201844

[startup+210.122 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 786

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

Current children cumulated CPU time (s) 1760.46
Current children cumulated vsize (Kb) 509344

[startup+1771.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 984
/proc/meminfo: memFree=991520/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=510004 CPUtime=1770.46
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128010 0 3 0 176855 191 0 0 25 0 1 0 157088854 522244096 125888 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134535012 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 127501 125888 420 55 0 126393 0
Current children cumulated CPU time (s) 1770.46
Current children cumulated vsize (Kb) 510004

[startup+1781.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 984
/proc/meminfo: memFree=990816/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=510664 CPUtime=1780.46
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128192 0 3 0 177855 191 0 0 25 0 1 0 157088854 522919936 126070 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 127666 126070 420 55 0 126558 0
Current children cumulated CPU time (s) 1780.46
Current children cumulated vsize (Kb) 510664

[startup+1782.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 984
/proc/meminfo: memFree=990816/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=510664 CPUtime=1781.46
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128193 0 3 0 177955 191 0 0 25 0 1 0 157088854 522919936 126071 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 127666 126071 420 55 0 126558 0
Current children cumulated CPU time (s) 1781.46
Current children cumulated vsize (Kb) 510664

[startup+1783.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 984
/proc/meminfo: memFree=990752/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=510796 CPUtime=1782.47
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128202 0 3 0 178056 191 0 0 25 0 1 0 157088854 523055104 126080 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 127699 126080 420 55 0 126591 0
Current children cumulated CPU time (s) 1782.47
Current children cumulated vsize (Kb) 510796

[startup+1784.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 984
/proc/meminfo: memFree=990688/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=510796 CPUtime=1783.47
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128216 0 3 0 178156 191 0 0 25 0 1 0 157088854 523055104 126094 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 127699 126094 420 55 0 126591 0
Current children cumulated CPU time (s) 1783.47
Current children cumulated vsize (Kb) 510796

[startup+1785.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 984
/proc/meminfo: memFree=990624/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=510796 CPUtime=1784.48
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128230 0 3 0 178257 191 0 0 25 0 1 0 157088854 523055104 126108 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 127699 126108 420 55 0 126591 0
Current children cumulated CPU time (s) 1784.48
Current children cumulated vsize (Kb) 510796

[startup+1786.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 984
/proc/meminfo: memFree=990560/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=510928 CPUtime=1785.48
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128252 0 3 0 178357 191 0 0 25 0 1 0 157088854 523190272 126130 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 127732 126130 420 55 0 126624 0
Current children cumulated CPU time (s) 1785.48
Current children cumulated vsize (Kb) 510928

[startup+1787.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 984
/proc/meminfo: memFree=990496/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=510928 CPUtime=1786.48
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128259 0 3 0 178457 191 0 0 25 0 1 0 157088854 523190272 126137 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 127732 126137 420 55 0 126624 0
Current children cumulated CPU time (s) 1786.48
Current children cumulated vsize (Kb) 510928

[startup+1788.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 984
/proc/meminfo: memFree=990496/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=511060 CPUtime=1787.5
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128267 0 3 0 178558 192 0 0 25 0 1 0 157088854 523325440 126145 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 127765 126145 420 55 0 126657 0
Current children cumulated CPU time (s) 1787.5
Current children cumulated vsize (Kb) 511060

[startup+1789.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 984
/proc/meminfo: memFree=990432/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=511060 CPUtime=1788.5
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128282 0 3 0 178658 192 0 0 25 0 1 0 157088854 523325440 126160 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 127765 126160 420 55 0 126657 0
Current children cumulated CPU time (s) 1788.5
Current children cumulated vsize (Kb) 511060

[startup+1790.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 984
/proc/meminfo: memFree=990368/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=511192 CPUtime=1789.51
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128301 0 3 0 178759 192 0 0 25 0 1 0 157088854 523460608 126179 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 127798 126179 420 55 0 126690 0
Current children cumulated CPU time (s) 1789.51
Current children cumulated vsize (Kb) 511192

[startup+1791.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 984
/proc/meminfo: memFree=990304/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=511192 CPUtime=1790.51
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128313 0 3 0 178859 192 0 0 25 0 1 0 157088854 523460608 126191 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 127798 126191 420 55 0 126690 0
Current children cumulated CPU time (s) 1790.51
Current children cumulated vsize (Kb) 511192

[startup+1792.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 984
/proc/meminfo: memFree=990240/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=511192 CPUtime=1791.51
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128325 0 3 0 178959 192 0 0 25 0 1 0 157088854 523460608 126203 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 127798 126203 420 55 0 126690 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (Kb) 511192

[startup+1793.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 984
/proc/meminfo: memFree=990240/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=511324 CPUtime=1792.52
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128334 0 3 0 179060 192 0 0 25 0 1 0 157088854 523595776 126212 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 127831 126212 420 55 0 126723 0
Current children cumulated CPU time (s) 1792.52
Current children cumulated vsize (Kb) 511324

[startup+1794.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 984
/proc/meminfo: memFree=990176/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=511324 CPUtime=1793.52
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128339 0 3 0 179160 192 0 0 25 0 1 0 157088854 523595776 126217 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528766 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 127831 126217 420 55 0 126723 0
Current children cumulated CPU time (s) 1793.52
Current children cumulated vsize (Kb) 511324

[startup+1795.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 984
/proc/meminfo: memFree=990176/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=511324 CPUtime=1794.53
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128350 0 3 0 179261 192 0 0 25 0 1 0 157088854 523595776 126228 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 127831 126228 420 55 0 126723 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (Kb) 511324

[startup+1796.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 984
/proc/meminfo: memFree=990112/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=511324 CPUtime=1795.53
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128363 0 3 0 179361 192 0 0 25 0 1 0 157088854 523595776 126241 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 127831 126241 420 55 0 126723 0
Current children cumulated CPU time (s) 1795.53
Current children cumulated vsize (Kb) 511324

[startup+1797.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 984
/proc/meminfo: memFree=990048/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=511456 CPUtime=1796.54
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128375 0 3 0 179462 192 0 0 25 0 1 0 157088854 523730944 126253 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 127864 126253 420 55 0 126756 0
Current children cumulated CPU time (s) 1796.54
Current children cumulated vsize (Kb) 511456

[startup+1798.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 984
/proc/meminfo: memFree=989984/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=511456 CPUtime=1797.54
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128391 0 3 0 179562 192 0 0 25 0 1 0 157088854 523730944 126269 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534923 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 127864 126269 420 55 0 126756 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (Kb) 511456

[startup+1799.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 984
/proc/meminfo: memFree=989920/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=511588 CPUtime=1798.55
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128404 0 3 0 179663 192 0 0 25 0 1 0 157088854 523866112 126282 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 127897 126282 420 55 0 126789 0
Current children cumulated CPU time (s) 1798.55
Current children cumulated vsize (Kb) 511588

[startup+1800.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 984
/proc/meminfo: memFree=989920/2055920 swapFree=4184148/4192956
[pid=786] ppid=784 vsize=511588 CPUtime=1799.55
/proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128409 0 3 0 179763 192 0 0 25 0 1 0 157088854 523866112 126287 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/786/statm: 127897 126287 420 55 0 126789 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (Kb) 511588

Child status: 10
Real time (s): 1800.72
CPU time (s): 1800.12
CPU user time (s): 1798.11
CPU system time (s): 2.00469
CPU usage (%): 99.9665
Max. virtual memory (cumulated for all children) (Kb): 511588
The end

Launcher Data (download as text)

Begin job on node60 on Fri Jul 28 15:56:30 UTC 2006


FILE ID= 50315-1154102190

PBS_JOBID= 886150

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  8d16c34d0eecf3c16ca4b890652c15ca

RANDOM SEED= 618315657

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.231
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.231
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:       1495400 kB
Buffers:         31532 kB
Cached:         454676 kB
SwapCached:       2576 kB
Active:          49148 kB
Inactive:       445624 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1495400 kB
SwapTotal:     4192956 kB
SwapFree:      4184148 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          14584 kB
Slab:            51724 kB
Committed_AS:  1124404 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node60 on Fri Jul 28 16:26:31 UTC 2006