Trace number 39749

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 NameAnswerCPU timeWall clock time
bsolo 2006/05? 1800.13 1800.77

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
MD5SUM24c836f3fcb46569dfcfdc2eda4dee98
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.259959
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4608
Total number of constraints30348
Number of constraints which are clauses29328
Number of constraints which are cardinality constraints (but not clauses)942
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint3
Maximum length of a constraint29
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 102
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Time Limit set via PBTIMEOUT to 1800
0.01	c INFO: OSL Context initialized.
0.60	c Initial problem consists of 4608 variables and 30522 constraints.
0.88	c Using non-optimization problem switches.
0.88	c No problem reductions applied in OPT. instance.
0.88	c	preprocess terminated. Elapsed time: 0.864
0.88	c After prepocess the problem consists of 4608 variables and 30522 constraints.
1.18	c Restart #1 #Var: 4608 LB: 0 @ 1.162
1.71	c Restart #2 #Var: 4608 LB: 0 @ 1.698
2.43	c Restart #3 #Var: 4608 LB: 0 @ 2.418
3.00	c Restart #4 #Var: 4608 LB: 0 @ 2.985
3.32	c Restart #5 #Var: 4608 LB: 0 @ 3.307
3.66	c Restart #6 #Var: 4608 LB: 0 @ 3.65
4.04	c Restart #7 #Var: 4608 LB: 0 @ 4.022
4.50	c Restart #8 #Var: 4608 LB: 0 @ 4.488
5.21	c Restart #9 #Var: 4608 LB: 0 @ 5.198
5.74	c Restart #10 #Var: 4608 LB: 0 @ 5.723
6.39	c Restart #11 #Var: 4608 LB: 0 @ 6.376
7.35	c Restart #12 #Var: 4608 LB: 0 @ 7.337
8.37	c Restart #13 #Var: 4608 LB: 0 @ 8.357
9.74	c Restart #14 #Var: 4608 LB: 0 @ 9.723
11.34	c Restart #15 #Var: 4608 LB: 0 @ 11.32
12.61	c Restart #16 #Var: 4608 LB: 0 @ 12.589
14.80	c Restart #17 #Var: 4608 LB: 0 @ 14.78
16.64	c Restart #18 #Var: 4608 LB: 0 @ 16.619
18.30	c Restart #19 #Var: 4608 LB: 0 @ 18.274
20.25	c Restart #20 #Var: 4608 LB: 0 @ 20.226
23.80	c Restart #21 #Var: 4608 LB: 0 @ 23.776
26.80	c Restart #22 #Var: 4608 LB: 0 @ 26.771
28.88	c Restart #23 #Var: 4608 LB: 0 @ 28.853
31.43	c Restart #24 #Var: 4608 LB: 0 @ 31.403
37.31	c Restart #25 #Var: 4608 LB: 0 @ 37.28
41.49	c Restart #26 #Var: 4608 LB: 0 @ 41.464
45.75	c Restart #27 #Var: 4608 LB: 0 @ 45.716
49.07	c Restart #28 #Var: 4608 LB: 0 @ 49.035
54.46	c Restart #29 #Var: 4608 LB: 0 @ 54.422
59.48	c Restart #30 #Var: 4608 LB: 0 @ 59.441
63.98	c Restart #31 #Var: 4608 LB: 0 @ 63.946
69.42	c Restart #32 #Var: 4608 LB: 0 @ 69.379
75.08	c Restart #33 #Var: 4608 LB: 0 @ 75.044
80.68	c Restart #34 #Var: 4608 LB: 0 @ 80.635
88.39	c Restart #35 #Var: 4608 LB: 0 @ 88.348
93.68	c Restart #36 #Var: 4608 LB: 0 @ 93.632
101.40	c Restart #37 #Var: 4608 LB: 0 @ 101.35
109.24	c Restart #38 #Var: 4608 LB: 0 @ 109.19
119.31	c Restart #39 #Var: 4608 LB: 0 @ 119.26
128.99	c Restart #40 #Var: 4608 LB: 0 @ 128.93
135.84	c Restart #41 #Var: 4608 LB: 0 @ 135.78
145.15	c Restart #42 #Var: 4608 LB: 0 @ 145.09
155.53	c Restart #43 #Var: 4608 LB: 0 @ 155.47
163.63	c Restart #44 #Var: 4608 LB: 0 @ 163.56
180.82	c Restart #45 #Var: 4608 LB: 0 @ 180.74
194.65	c Restart #46 #Var: 4608 LB: 0 @ 194.57
203.48	c Restart #47 #Var: 4608 LB: 0 @ 203.4
219.66	c Restart #48 #Var: 4608 LB: 0 @ 219.58
233.32	c Restart #49 #Var: 4608 LB: 0 @ 233.23
248.39	c Restart #50 #Var: 4608 LB: 0 @ 248.3
261.96	c Restart #51 #Var: 4608 LB: 0 @ 261.86
274.94	c Restart #52 #Var: 4608 LB: 0 @ 274.84
285.49	c Restart #53 #Var: 4608 LB: 0 @ 285.38
303.09	c Restart #54 #Var: 4608 LB: 0 @ 302.98
316.67	c Restart #55 #Var: 4608 LB: 0 @ 316.55
336.96	c Restart #56 #Var: 4608 LB: 0 @ 336.8
351.85	c Restart #57 #Var: 4608 LB: 0 @ 351.68
367.52	c Restart #58 #Var: 4608 LB: 0 @ 367.34
386.89	c Restart #59 #Var: 4608 LB: 0 @ 386.71
410.31	c Restart #60 #Var: 4608 LB: 0 @ 410.12
428.54	c Restart #61 #Var: 4608 LB: 0 @ 428.35
454.27	c Restart #62 #Var: 4608 LB: 0 @ 454.07
488.82	c Restart #63 #Var: 4608 LB: 0 @ 488.6
516.78	c Restart #64 #Var: 4608 LB: 0 @ 516.55
535.57	c Restart #65 #Var: 4608 LB: 0 @ 535.34
569.28	c Restart #66 #Var: 4608 LB: 0 @ 569.04
621.78	c Restart #67 #Var: 4608 LB: 0 @ 621.53
633.65	c Restart #68 #Var: 4608 LB: 0 @ 633.39
680.33	c Restart #69 #Var: 4608 LB: 0 @ 680.05
693.03	c Restart #70 #Var: 4608 LB: 0 @ 692.75
726.40	c Restart #71 #Var: 4608 LB: 0 @ 726.11
762.03	c Restart #72 #Var: 4608 LB: 0 @ 761.73
806.49	c Restart #73 #Var: 4608 LB: 0 @ 806.18
838.71	c Restart #74 #Var: 4608 LB: 0 @ 838.39
874.68	c Restart #75 #Var: 4608 LB: 0 @ 874.34
906.67	c CHANGE Heuristic... 
906.67	c Restart #0 #Var: 4608 LB: 0 @ 906.32
907.95	c Restart #1 #Var: 4608 LB: 0 @ 907.6
910.26	c Restart #2 #Var: 4608 LB: 0 @ 909.91
912.79	c Restart #3 #Var: 4608 LB: 0 @ 912.44
916.04	c Restart #4 #Var: 4608 LB: 0 @ 915.69
920.38	c Restart #5 #Var: 4608 LB: 0 @ 920.03
928.22	c Restart #6 #Var: 4608 LB: 0 @ 927.87
931.09	c Restart #7 #Var: 4608 LB: 0 @ 930.73
935.74	c Restart #8 #Var: 4608 LB: 0 @ 935.38
939.17	c Restart #9 #Var: 4608 LB: 0 @ 938.82
944.77	c Restart #10 #Var: 4608 LB: 0 @ 944.41
950.12	c Restart #11 #Var: 4608 LB: 0 @ 949.75
959.38	c Restart #12 #Var: 4608 LB: 0 @ 959.01
968.28	c Restart #13 #Var: 4608 LB: 0 @ 967.92
972.46	c Restart #14 #Var: 4608 LB: 0 @ 972.09
985.98	c Restart #15 #Var: 4608 LB: 0 @ 985.61
992.50	c Restart #16 #Var: 4608 LB: 0 @ 992.12
999.55	c Restart #17 #Var: 4608 LB: 0 @ 999.17
1010.99	c Restart #18 #Var: 4608 LB: 0 @ 1010.6
1020.74	c Restart #19 #Var: 4608 LB: 0 @ 1020.4
1031.50	c Restart #20 #Var: 4608 LB: 0 @ 1031.1
1044.94	c Restart #21 #Var: 4608 LB: 0 @ 1044.5
1051.73	c Restart #22 #Var: 4608 LB: 0 @ 1051.3
1067.16	c Restart #23 #Var: 4608 LB: 0 @ 1066.8
1081.82	c Restart #24 #Var: 4608 LB: 0 @ 1081.4
1092.89	c Restart #25 #Var: 4608 LB: 0 @ 1092.5
1108.05	c Restart #26 #Var: 4608 LB: 0 @ 1107.6
1118.30	c Restart #27 #Var: 4608 LB: 0 @ 1117.9
1126.62	c Restart #28 #Var: 4608 LB: 0 @ 1126.2
1149.48	c Restart #29 #Var: 4608 LB: 0 @ 1149.1
1170.72	c Restart #30 #Var: 4608 LB: 0 @ 1170.3
1182.03	c Restart #31 #Var: 4608 LB: 0 @ 1181.6
1230.99	c Restart #32 #Var: 4608 LB: 0 @ 1230.5
1268.19	c Restart #33 #Var: 4608 LB: 0 @ 1267.7
1284.69	c Restart #34 #Var: 4608 LB: 0 @ 1284.2
1317.94	c Restart #35 #Var: 4608 LB: 0 @ 1317.5
1349.35	c Restart #36 #Var: 4608 LB: 0 @ 1348.9
1370.23	c Restart #37 #Var: 4608 LB: 0 @ 1369.7
1409.99	c Restart #38 #Var: 4608 LB: 0 @ 1409.5
1443.41	c Restart #39 #Var: 4608 LB: 0 @ 1442.9
1485.01	c Restart #40 #Var: 4608 LB: 0 @ 1484.5
1511.01	c Restart #41 #Var: 4608 LB: 0 @ 1510.5
1530.75	c Restart #42 #Var: 4608 LB: 0 @ 1530.2
1554.69	c Restart #43 #Var: 4608 LB: 0 @ 1554.1
1586.39	c Restart #44 #Var: 4608 LB: 0 @ 1585.8
1609.85	c Restart #45 #Var: 4608 LB: 0 @ 1609.3
1630.26	c Restart #46 #Var: 4608 LB: 0 @ 1629.7
1690.04	c Restart #47 #Var: 4608 LB: 0 @ 1689.4
1727.21	c Restart #48 #Var: 4608 LB: 0 @ 1726.6
1757.49	c Restart #49 #Var: 4608 LB: 0 @ 1756.9
1800.64	s UNKNOWN
1800.64	c Exit Code: 0
1800.64	c Total time: 1800 s

Verifier Data (download as text)

ERROR: no interpretation found !

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
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node22/watcher-39749-1149242143 -o ROOT/results/node22/solver-39749-1149242143 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node22/39749-1149242143/instance-39749-1149242143.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.85 0.95 0.85 2/64 16181
/proc/meminfo: memFree=1436424/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=3224 CPUtime=0
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 55 0 0 0 0 0 0 0 18 0 1 0 85648626 3301376 38 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4678436 0 0 4096 0 0 0 0 17 1 0 0
/proc/16181/statm: 806 39 29 55 0 40 0

[startup+10.0027 s]
/proc/loadavg: 0.87 0.95 0.85 2/64 16181
/proc/meminfo: memFree=1395984/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=45116 CPUtime=9.97
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 10512 0 0 0 990 7 0 0 25 0 1 0 85648626 46198784 10427 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540723 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 11279 10427 296 55 0 10171 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 45116

[startup+20.0094 s]
/proc/loadavg: 0.89 0.95 0.85 2/64 16181
/proc/meminfo: memFree=1375632/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=65436 CPUtime=19.98
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 15590 0 0 0 1985 13 0 0 25 0 1 0 85648626 67006464 15505 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537582 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 16359 15505 296 55 0 15251 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 65436

[startup+30.018 s]
/proc/loadavg: 0.91 0.95 0.85 2/64 16181
/proc/meminfo: memFree=1360144/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=81004 CPUtime=29.98
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 19460 0 0 0 2981 17 0 0 25 0 1 0 85648626 82948096 19375 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534860 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 20251 19375 296 55 0 19143 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 81004

[startup+40.0237 s]
/proc/loadavg: 0.92 0.95 0.86 2/64 16181
/proc/meminfo: memFree=1349328/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=91692 CPUtime=39.98
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 22151 0 0 0 3979 19 0 0 25 0 1 0 85648626 93892608 22066 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 22923 22066 296 55 0 21815 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 91692

[startup+50.0304 s]
/proc/loadavg: 0.93 0.96 0.86 2/64 16181
/proc/meminfo: memFree=1336016/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=105028 CPUtime=49.99
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 25477 0 0 0 4977 22 0 0 25 0 1 0 85648626 107548672 25392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 26257 25392 296 55 0 25149 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 105028

[startup+60.0361 s]
/proc/loadavg: 0.94 0.96 0.86 2/64 16181
/proc/meminfo: memFree=1324624/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=116380 CPUtime=60.01
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 28322 0 0 0 5975 26 0 0 25 0 1 0 85648626 119173120 28237 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 29095 28237 296 55 0 27987 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 116380

[startup+70.0537 s]
/proc/loadavg: 0.95 0.96 0.86 2/64 16181
/proc/meminfo: memFree=1309968/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=131024 CPUtime=70
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 31970 0 0 0 6970 30 0 0 25 0 1 0 85648626 134168576 31885 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 32756 31885 296 55 0 31648 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 131024

[startup+80.0614 s]
/proc/loadavg: 0.96 0.96 0.86 2/64 16181
/proc/meminfo: memFree=1298000/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=142904 CPUtime=80.01
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 34951 0 0 0 7966 35 0 0 25 0 1 0 85648626 146333696 34866 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 35726 34866 296 55 0 34618 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 142904

[startup+90.0671 s]
/proc/loadavg: 0.96 0.96 0.86 2/64 16181
/proc/meminfo: memFree=1287248/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=153728 CPUtime=90.01
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 37639 0 0 0 8963 38 0 0 25 0 1 0 85648626 157417472 37554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 38432 37554 296 55 0 37324 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 153728

[startup+100.073 s]
/proc/loadavg: 0.97 0.96 0.86 2/64 16181
/proc/meminfo: memFree=1274192/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=166664 CPUtime=100.12
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 40905 0 0 0 9970 42 0 0 25 0 1 0 85648626 170663936 40820 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537746 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 41666 40820 296 55 0 40558 0
Current children cumulated CPU time (s) 100.12
Current children cumulated vsize (Kb) 166664

[startup+110.179 s]
/proc/loadavg: 0.97 0.96 0.86 2/64 16181
/proc/meminfo: memFree=1264336/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=176580 CPUtime=110.12
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 43357 0 0 0 10968 44 0 0 25 0 1 0 85648626 180817920 43272 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 44145 43272 296 55 0 43037 0
Current children cumulated CPU time (s) 110.12
Current children cumulated vsize (Kb) 176580

[startup+120.185 s]
/proc/loadavg: 0.98 0.96 0.86 2/64 16181
/proc/meminfo: memFree=1257296/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=183580 CPUtime=120.12
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 45131 0 0 0 11965 47 0 0 25 0 1 0 85648626 187985920 45046 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5111533 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 45895 45046 296 55 0 44787 0
Current children cumulated CPU time (s) 120.12
Current children cumulated vsize (Kb) 183580

[startup+130.191 s]
/proc/loadavg: 0.98 0.96 0.86 2/64 16181
/proc/meminfo: memFree=1251600/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=189252 CPUtime=130.12
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 46546 0 0 0 12964 48 0 0 25 0 1 0 85648626 193794048 46461 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 47313 46461 296 55 0 46205 0
Current children cumulated CPU time (s) 130.12
Current children cumulated vsize (Kb) 189252

[startup+140.196 s]
/proc/loadavg: 0.98 0.96 0.87 2/64 16181
/proc/meminfo: memFree=1240144/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=200732 CPUtime=140.13
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 49394 0 0 0 13961 52 0 0 25 0 1 0 85648626 205549568 49309 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529424 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 50183 49309 296 55 0 49075 0
Current children cumulated CPU time (s) 140.13
Current children cumulated vsize (Kb) 200732

[startup+150.202 s]
/proc/loadavg: 0.98 0.97 0.87 2/64 16181
/proc/meminfo: memFree=1231632/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=209180 CPUtime=150.13
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 51524 0 0 0 14958 55 0 0 25 0 1 0 85648626 214200320 51439 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534055 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 52295 51439 296 55 0 51187 0
Current children cumulated CPU time (s) 150.13
Current children cumulated vsize (Kb) 209180

[startup+160.208 s]
/proc/loadavg: 0.99 0.97 0.87 2/64 16181
/proc/meminfo: memFree=1224400/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=216436 CPUtime=160.13
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 53319 0 0 0 15956 57 0 0 25 0 1 0 85648626 221630464 53234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 54109 53234 296 55 0 53001 0
Current children cumulated CPU time (s) 160.13
Current children cumulated vsize (Kb) 216436

[startup+170.213 s]
/proc/loadavg: 0.99 0.97 0.87 2/64 16181
/proc/meminfo: memFree=1219472/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=221320 CPUtime=170.14
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 54551 0 0 0 16954 60 0 0 25 0 1 0 85648626 226631680 54466 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 55330 54466 296 55 0 54222 0
Current children cumulated CPU time (s) 170.14
Current children cumulated vsize (Kb) 221320

[startup+180.219 s]
/proc/loadavg: 0.99 0.97 0.87 2/64 16181
/proc/meminfo: memFree=1215760/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=225016 CPUtime=180.14
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 55483 0 0 0 17952 62 0 0 25 0 1 0 85648626 230416384 55398 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 56254 55398 296 55 0 55146 0
Current children cumulated CPU time (s) 180.14
Current children cumulated vsize (Kb) 225016

[startup+190.225 s]
/proc/loadavg: 0.99 0.97 0.87 2/64 16181
/proc/meminfo: memFree=1208464/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=232276 CPUtime=190.14
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 57296 0 0 0 18950 64 0 0 25 0 1 0 85648626 237850624 57211 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 58069 57211 296 55 0 56961 0
Current children cumulated CPU time (s) 190.14
Current children cumulated vsize (Kb) 232276

[startup+200.231 s]
/proc/loadavg: 0.99 0.97 0.87 2/64 16181
/proc/meminfo: memFree=1201872/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=238884 CPUtime=200.14
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 58945 0 0 0 19949 65 0 0 25 0 1 0 85648626 244617216 58860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537697 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 59721 58860 296 55 0 58613 0
Current children cumulated CPU time (s) 200.14
Current children cumulated vsize (Kb) 238884

[startup+210.236 s]
/proc/loadavg: 0.99 0.97 0.87 2/64 16181
/proc/meminfo: memFree=1196688/2055920 swapFree=4183844/4192956

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

/proc/16181/statm: 204075 203010 296 55 0 202967 0
Current children cumulated CPU time (s) 1760.51
Current children cumulated vsize (Kb) 816300

[startup+1771.15 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 16378
/proc/meminfo: memFree=622352/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=817756 CPUtime=1770.52
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 203484 0 0 0 176739 313 0 0 25 0 1 0 85648626 837382144 203394 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 204439 203394 296 55 0 203331 0
Current children cumulated CPU time (s) 1770.52
Current children cumulated vsize (Kb) 817756

[startup+1781.16 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 16378
/proc/meminfo: memFree=621072/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=819076 CPUtime=1780.52
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 203809 0 0 0 177738 314 0 0 25 0 1 0 85648626 838733824 203719 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 204769 203719 296 55 0 203661 0
Current children cumulated CPU time (s) 1780.52
Current children cumulated vsize (Kb) 819076

[startup+1782.16 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 16378
/proc/meminfo: memFree=620944/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=819220 CPUtime=1781.53
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 203846 0 0 0 177839 314 0 0 25 0 1 0 85648626 838881280 203756 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 204805 203756 296 55 0 203697 0
Current children cumulated CPU time (s) 1781.53
Current children cumulated vsize (Kb) 819220

[startup+1783.17 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 16378
/proc/meminfo: memFree=620816/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=819352 CPUtime=1782.53
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 203876 0 0 0 177939 314 0 0 25 0 1 0 85648626 839016448 203786 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 204838 203786 296 55 0 203730 0
Current children cumulated CPU time (s) 1782.53
Current children cumulated vsize (Kb) 819352

[startup+1784.17 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 16378
/proc/meminfo: memFree=620624/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=819616 CPUtime=1783.54
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 203916 0 0 0 178040 314 0 0 25 0 1 0 85648626 839286784 203826 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 204904 203826 296 55 0 203796 0
Current children cumulated CPU time (s) 1783.54
Current children cumulated vsize (Kb) 819616

[startup+1785.18 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 16378
/proc/meminfo: memFree=620496/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=819616 CPUtime=1784.54
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 203945 0 0 0 178140 314 0 0 25 0 1 0 85648626 839286784 203855 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528763 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 204904 203855 296 55 0 203796 0
Current children cumulated CPU time (s) 1784.54
Current children cumulated vsize (Kb) 819616

[startup+1786.18 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 16378
/proc/meminfo: memFree=620368/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=819880 CPUtime=1785.55
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 203981 0 0 0 178241 314 0 0 25 0 1 0 85648626 839557120 203891 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 204970 203891 296 55 0 203862 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (Kb) 819880

[startup+1787.19 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 16378
/proc/meminfo: memFree=620240/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=819880 CPUtime=1786.55
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 204012 0 0 0 178341 314 0 0 25 0 1 0 85648626 839557120 203922 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 204970 203922 296 55 0 203862 0
Current children cumulated CPU time (s) 1786.55
Current children cumulated vsize (Kb) 819880

[startup+1788.19 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 16378
/proc/meminfo: memFree=620112/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=820012 CPUtime=1787.55
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 204040 0 0 0 178441 314 0 0 25 0 1 0 85648626 839692288 203950 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 205003 203950 296 55 0 203895 0
Current children cumulated CPU time (s) 1787.55
Current children cumulated vsize (Kb) 820012

[startup+1789.2 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 16378
/proc/meminfo: memFree=620048/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=820144 CPUtime=1788.56
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 204058 0 0 0 178542 314 0 0 25 0 1 0 85648626 839827456 203968 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 205036 203968 296 55 0 203928 0
Current children cumulated CPU time (s) 1788.56
Current children cumulated vsize (Kb) 820144

[startup+1790.2 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 16378
/proc/meminfo: memFree=619920/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=820276 CPUtime=1789.56
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 204095 0 0 0 178642 314 0 0 25 0 1 0 85648626 839962624 204005 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603729 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 205069 204005 296 55 0 203961 0
Current children cumulated CPU time (s) 1789.56
Current children cumulated vsize (Kb) 820276

[startup+1791.21 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 16378
/proc/meminfo: memFree=619792/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=820408 CPUtime=1790.57
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 204123 0 0 0 178743 314 0 0 25 0 1 0 85648626 840097792 204033 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 205102 204033 296 55 0 203994 0
Current children cumulated CPU time (s) 1790.57
Current children cumulated vsize (Kb) 820408

[startup+1792.21 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 16378
/proc/meminfo: memFree=619664/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=820536 CPUtime=1791.57
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 204154 0 0 0 178843 314 0 0 25 0 1 0 85648626 840228864 204064 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 205134 204064 296 55 0 204026 0
Current children cumulated CPU time (s) 1791.57
Current children cumulated vsize (Kb) 820536

[startup+1793.22 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 16378
/proc/meminfo: memFree=619472/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=820668 CPUtime=1792.57
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 204199 0 0 0 178943 314 0 0 25 0 1 0 85648626 840364032 204109 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534060 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 205167 204109 296 55 0 204059 0
Current children cumulated CPU time (s) 1792.57
Current children cumulated vsize (Kb) 820668

[startup+1794.22 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 16378
/proc/meminfo: memFree=619344/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=820800 CPUtime=1793.58
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 204235 0 0 0 179044 314 0 0 25 0 1 0 85648626 840499200 204145 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 205200 204145 296 55 0 204092 0
Current children cumulated CPU time (s) 1793.58
Current children cumulated vsize (Kb) 820800

[startup+1795.23 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 16378
/proc/meminfo: memFree=619216/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=820932 CPUtime=1794.58
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 204264 0 0 0 179144 314 0 0 25 0 1 0 85648626 840634368 204174 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 205233 204174 296 55 0 204125 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (Kb) 820932

[startup+1796.23 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 16378
/proc/meminfo: memFree=619088/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=821064 CPUtime=1795.59
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 204293 0 0 0 179245 314 0 0 25 0 1 0 85648626 840769536 204203 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 205266 204203 296 55 0 204158 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (Kb) 821064

[startup+1797.24 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 16378
/proc/meminfo: memFree=619024/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=821064 CPUtime=1796.59
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 204308 0 0 0 179345 314 0 0 25 0 1 0 85648626 840769536 204218 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 205266 204218 296 55 0 204158 0
Current children cumulated CPU time (s) 1796.59
Current children cumulated vsize (Kb) 821064

[startup+1798.24 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 16378
/proc/meminfo: memFree=618896/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=821328 CPUtime=1797.6
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 204350 0 0 0 179446 314 0 0 25 0 1 0 85648626 841039872 204260 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 205332 204260 296 55 0 204224 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (Kb) 821328

[startup+1799.25 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 16378
/proc/meminfo: memFree=618640/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=821592 CPUtime=1798.6
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 204412 0 0 0 179546 314 0 0 25 0 1 0 85648626 841310208 204322 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 205398 204322 296 55 0 204290 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (Kb) 821592

[startup+1800.25 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 16378
/proc/meminfo: memFree=618448/2055920 swapFree=4183844/4192956
[pid=16181] ppid=16179 vsize=821724 CPUtime=1799.61
/proc/16181/stat : 16181 (bsolo) R 16179 16181 16136 0 -1 0 204456 0 0 0 179647 314 0 0 25 0 1 0 85648626 841445376 204366 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719535 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16181/statm: 205431 204366 296 55 0 204323 0
Current children cumulated CPU time (s) 1799.61
Current children cumulated vsize (Kb) 821724

Child status: 0
Real time (s): 1800.77
CPU time (s): 1800.13
CPU user time (s): 1796.86
CPU system time (s): 3.2725
CPU usage (%): 99.9646
Max. virtual memory (cumulated for all children) (Kb): 821724

Launcher Data (download as text)

Begin job on node22 on Fri Jun  2 09:55:43 UTC 2006


FILE ID= 39749-1149242143

PBS_JOBID= 297488

BENCH NAME= ROOT/tmp/node22/39749-1149242143/instance-39749-1149242143.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node22/39749-1149242143/instance-39749-1149242143.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node22/watcher-39749-1149242143 -o ROOT/results/node22/solver-39749-1149242143 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node22/39749-1149242143/instance-39749-1149242143.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  24c836f3fcb46569dfcfdc2eda4dee98

RANDOM SEED= 60435821


/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.261
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.261
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:       1436632 kB
Buffers:         40604 kB
Cached:         502368 kB
SwapCached:       3204 kB
Active:         174608 kB
Inactive:       377132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1436632 kB
SwapTotal:     4192956 kB
SwapFree:      4183844 kB
Dirty:             188 kB
Writeback:           0 kB
Mapped:          14896 kB
Slab:            53552 kB
Committed_AS:   211084 kB
PageTables:       1404 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node22 on Fri Jun  2 10:25:44 UTC 2006