Trace number 40812

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/05Signal 1369.97 1370.51

General information on the benchmark

Namenormalized-PB06/SATUNSAT-MEDINT/submitted-PB06/
manquiho/Aardal_1/normalized-prob8.opb
MD5SUM9a5e6e5ac9dd04defb35f28c3f495740
Bench CategorySATUNSAT-MEDINT (no optimisation, medium integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables86
Total number of constraints2
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 constraints2
Minimum length of a constraint86
Maximum length of a constraint86
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 21733991
Number of bits of the biggest number in a constraint 25
Biggest sum of numbers in a constraint 300042743
Number of bits of the biggest sum of numbers29
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.01	c BIG Int formula...
0.02	c Initial problem consists of 86 variables and 2 constraints.
0.02	c Using non-optimization problem switches.
0.02	c No problem reductions applied in OPT. instance.
0.02	c	preprocess terminated. Elapsed time: 0.006
0.02	c After prepocess the problem consists of 86 variables and 2 constraints.
0.02	c Restart #1 #Var: 86 LB: 0 @ 0.015
0.05	c Restart #2 #Var: 86 LB: 0 @ 0.037
0.08	c Restart #3 #Var: 86 LB: 0 @ 0.072
0.13	c Restart #4 #Var: 86 LB: 0 @ 0.123
0.20	c Restart #5 #Var: 86 LB: 0 @ 0.187
0.26	c Restart #6 #Var: 86 LB: 0 @ 0.246
0.33	c Restart #7 #Var: 86 LB: 0 @ 0.316
0.41	c Restart #8 #Var: 86 LB: 0 @ 0.404
0.53	c Restart #9 #Var: 86 LB: 0 @ 0.518
0.68	c Restart #10 #Var: 86 LB: 0 @ 0.666
0.85	c Restart #11 #Var: 86 LB: 0 @ 0.845
1.05	c Restart #12 #Var: 86 LB: 0 @ 1.041
1.30	c Restart #13 #Var: 86 LB: 0 @ 1.293
1.65	c Restart #14 #Var: 86 LB: 0 @ 1.634
1.99	c Restart #15 #Var: 86 LB: 0 @ 1.981
2.46	c Restart #16 #Var: 86 LB: 0 @ 2.45
2.94	c Restart #17 #Var: 86 LB: 0 @ 2.926
3.60	c Restart #18 #Var: 86 LB: 0 @ 3.583
4.36	c Restart #19 #Var: 86 LB: 0 @ 4.347
5.34	c Restart #20 #Var: 86 LB: 0 @ 5.329
5.86	c Restart #21 #Var: 86 LB: 0 @ 5.851
6.60	c Restart #22 #Var: 86 LB: 0 @ 6.586
7.99	c Restart #23 #Var: 86 LB: 0 @ 7.98
9.29	c Restart #24 #Var: 86 LB: 0 @ 9.279
10.75	c Restart #25 #Var: 86 LB: 0 @ 10.737
12.55	c Restart #26 #Var: 86 LB: 0 @ 12.534
14.58	c Restart #27 #Var: 86 LB: 0 @ 14.563
16.26	c Restart #28 #Var: 86 LB: 0 @ 16.246
18.68	c Restart #29 #Var: 86 LB: 0 @ 18.66
21.41	c Restart #30 #Var: 86 LB: 0 @ 21.395
23.91	c Restart #31 #Var: 86 LB: 0 @ 23.89
26.77	c Restart #32 #Var: 86 LB: 0 @ 26.749
29.27	c Restart #33 #Var: 86 LB: 0 @ 29.247
31.94	c Restart #34 #Var: 86 LB: 0 @ 31.916
35.58	c Restart #35 #Var: 86 LB: 0 @ 35.554
38.59	c Restart #36 #Var: 86 LB: 0 @ 38.562
42.04	c Restart #37 #Var: 86 LB: 0 @ 42.017
46.15	c Restart #38 #Var: 86 LB: 0 @ 46.125
49.85	c Restart #39 #Var: 86 LB: 0 @ 49.819
53.10	c Restart #40 #Var: 86 LB: 0 @ 53.072
56.75	c Restart #41 #Var: 86 LB: 0 @ 56.718
60.13	c Restart #42 #Var: 86 LB: 0 @ 60.101
64.97	c Restart #43 #Var: 86 LB: 0 @ 64.941
70.95	c Restart #44 #Var: 86 LB: 0 @ 70.92
76.01	c Restart #45 #Var: 86 LB: 0 @ 75.976
80.90	c Restart #46 #Var: 86 LB: 0 @ 80.863
85.67	c Restart #47 #Var: 86 LB: 0 @ 85.629
92.42	c Restart #48 #Var: 86 LB: 0 @ 92.382
97.81	c Restart #49 #Var: 86 LB: 0 @ 97.773
103.34	c Restart #50 #Var: 86 LB: 0 @ 103.3
112.58	c Restart #51 #Var: 86 LB: 0 @ 112.53
120.30	c Restart #52 #Var: 86 LB: 0 @ 120.25
126.22	c Restart #53 #Var: 86 LB: 0 @ 126.17
135.11	c Restart #54 #Var: 86 LB: 0 @ 135.06
145.26	c Restart #55 #Var: 86 LB: 0 @ 145.2
153.43	c Restart #56 #Var: 86 LB: 0 @ 153.37
161.72	c Restart #57 #Var: 86 LB: 0 @ 161.66
168.57	c Restart #58 #Var: 86 LB: 0 @ 168.5
182.32	c Restart #59 #Var: 86 LB: 0 @ 182.25
191.20	c Restart #60 #Var: 86 LB: 0 @ 191.13
204.49	c Restart #61 #Var: 86 LB: 0 @ 204.41
218.64	c Restart #62 #Var: 86 LB: 0 @ 218.56
226.33	c Restart #63 #Var: 86 LB: 0 @ 226.25
236.73	c Restart #64 #Var: 86 LB: 0 @ 236.65
245.97	c Restart #65 #Var: 86 LB: 0 @ 245.89
258.12	c Restart #66 #Var: 86 LB: 0 @ 258.03
264.84	c Restart #67 #Var: 86 LB: 0 @ 264.75
277.93	c Restart #68 #Var: 86 LB: 0 @ 277.83
288.71	c Restart #69 #Var: 86 LB: 0 @ 288.61
298.09	c Restart #70 #Var: 86 LB: 0 @ 297.98
311.83	c Restart #71 #Var: 86 LB: 0 @ 311.72
325.49	c Restart #72 #Var: 86 LB: 0 @ 325.38
343.38	c Restart #73 #Var: 86 LB: 0 @ 343.26
361.97	c Restart #74 #Var: 86 LB: 0 @ 361.85
374.28	c Restart #75 #Var: 86 LB: 0 @ 374.15
390.71	c Restart #76 #Var: 86 LB: 0 @ 390.58
407.88	c Restart #77 #Var: 86 LB: 0 @ 407.74
428.39	c Restart #78 #Var: 86 LB: 0 @ 428.25
444.31	c Restart #79 #Var: 86 LB: 0 @ 444.16
462.98	c Restart #80 #Var: 86 LB: 0 @ 462.83
480.72	c Restart #81 #Var: 86 LB: 0 @ 480.56
506.64	c Restart #82 #Var: 86 LB: 0 @ 506.48
521.50	c Restart #83 #Var: 86 LB: 0 @ 521.33
543.15	c Restart #84 #Var: 86 LB: 0 @ 542.98
568.91	c Restart #85 #Var: 86 LB: 0 @ 568.73
591.87	c Restart #86 #Var: 86 LB: 0 @ 591.68
609.36	c Restart #87 #Var: 86 LB: 0 @ 609.16
637.94	c Restart #88 #Var: 86 LB: 0 @ 637.73
658.67	c Restart #89 #Var: 86 LB: 0 @ 658.46
674.48	c Restart #90 #Var: 86 LB: 0 @ 674.26
690.69	c Restart #91 #Var: 86 LB: 0 @ 690.46
715.85	c Restart #92 #Var: 86 LB: 0 @ 715.62
755.15	c Restart #93 #Var: 86 LB: 0 @ 754.91
778.24	c Restart #94 #Var: 86 LB: 0 @ 777.99
803.85	c Restart #95 #Var: 86 LB: 0 @ 803.6
825.17	c Restart #96 #Var: 86 LB: 0 @ 824.91
845.28	c Restart #97 #Var: 86 LB: 0 @ 845.01
863.29	c Restart #98 #Var: 86 LB: 0 @ 863.02
896.09	c Restart #99 #Var: 86 LB: 0 @ 895.81
936.64	c CHANGE Heuristic... 
936.64	c Restart #0 #Var: 86 LB: 0 @ 936.35
939.58	c Restart #1 #Var: 86 LB: 0 @ 939.28
943.61	c Restart #2 #Var: 86 LB: 0 @ 943.31
954.25	c Restart #3 #Var: 86 LB: 0 @ 953.95
961.17	c Restart #4 #Var: 86 LB: 0 @ 960.87
966.27	c Restart #5 #Var: 86 LB: 0 @ 965.96
975.83	c Restart #6 #Var: 86 LB: 0 @ 975.52
988.45	c Restart #7 #Var: 86 LB: 0 @ 988.13
997.81	c Restart #8 #Var: 86 LB: 0 @ 997.5
1010.72	c Restart #9 #Var: 86 LB: 0 @ 1010.4
1020.27	c Restart #10 #Var: 86 LB: 0 @ 1019.9
1032.92	c Restart #11 #Var: 86 LB: 0 @ 1032.6
1043.14	c Restart #12 #Var: 86 LB: 0 @ 1042.8
1057.79	c Restart #13 #Var: 86 LB: 0 @ 1057.5
1075.21	c Restart #14 #Var: 86 LB: 0 @ 1074.9
1085.63	c Restart #15 #Var: 86 LB: 0 @ 1085.3
1098.97	c Restart #16 #Var: 86 LB: 0 @ 1098.6
1112.01	c Restart #17 #Var: 86 LB: 0 @ 1111.7
1125.90	c Restart #18 #Var: 86 LB: 0 @ 1125.5
1142.44	c Restart #19 #Var: 86 LB: 0 @ 1142.1
1166.15	c Restart #20 #Var: 86 LB: 0 @ 1165.8
1181.27	c Restart #21 #Var: 86 LB: 0 @ 1180.9
1203.38	c Restart #22 #Var: 86 LB: 0 @ 1203
1220.78	c Restart #23 #Var: 86 LB: 0 @ 1220.3
1235.66	c Restart #24 #Var: 86 LB: 0 @ 1235.2
1251.54	c Restart #25 #Var: 86 LB: 0 @ 1251.1
1265.81	c Restart #26 #Var: 86 LB: 0 @ 1265.3
1277.94	c Restart #27 #Var: 86 LB: 0 @ 1277.5
1293.62	c Restart #28 #Var: 86 LB: 0 @ 1293.1
1317.52	c Restart #29 #Var: 86 LB: 0 @ 1317
1336.52	c Restart #30 #Var: 86 LB: 0 @ 1336
1359.38	c Restart #31 #Var: 86 LB: 0 @ 1358.9

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/64 20026
/proc/meminfo: memFree=1775832/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=4664 CPUtime=0
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 139 0 0 0 0 0 0 0 19 0 1 0 197710086 4775936 120 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10908864 0 0 4096 0 0 0 0 17 1 0 0
/proc/20026/statm: 1166 123 103 55 0 46 0

[startup+10.003 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 20026
/proc/meminfo: memFree=1676000/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=104248 CPUtime=9.98
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 25292 0 0 0 982 16 0 0 25 0 1 0 197710086 106749952 25198 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 26062 25198 296 55 0 24954 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 104248

[startup+20.0103 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 20026
/proc/meminfo: memFree=1629920/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=150500 CPUtime=19.98
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 36820 0 0 0 1975 23 0 0 25 0 1 0 197710086 154112000 36715 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 37625 36715 296 55 0 36517 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 150500

[startup+30.0166 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 20026
/proc/meminfo: memFree=1591008/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=189440 CPUtime=29.98
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 46545 0 0 0 2967 31 0 0 25 0 1 0 197710086 193986560 46436 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 47360 46436 296 55 0 46252 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 189440

[startup+40.0219 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 20026
/proc/meminfo: memFree=1555744/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=224924 CPUtime=39.99
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 55360 0 0 0 3963 36 0 0 25 0 1 0 197710086 230322176 55238 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 56231 55238 296 55 0 55123 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 224924

[startup+50.0282 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 20026
/proc/meminfo: memFree=1519904/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=260884 CPUtime=49.99
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 64315 0 0 0 4957 42 0 0 25 0 1 0 197710086 267145216 64181 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 65221 64181 296 55 0 64113 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 260884

[startup+60.0344 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 20026
/proc/meminfo: memFree=1479712/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=300996 CPUtime=60
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 74350 0 0 0 5951 49 0 0 25 0 1 0 197710086 308219904 74216 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 75249 74216 296 55 0 74141 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 300996

[startup+70.0407 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 20026
/proc/meminfo: memFree=1455392/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=325376 CPUtime=70
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 80426 0 0 0 6948 52 0 0 25 0 1 0 197710086 333185024 80284 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 81344 80284 296 55 0 80236 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 325376

[startup+80.047 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 20026
/proc/meminfo: memFree=1427680/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=353004 CPUtime=80
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 87347 0 0 0 7944 56 0 0 25 0 1 0 197710086 361476096 87201 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 88251 87201 296 55 0 87143 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 353004

[startup+90.0533 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 20026
/proc/meminfo: memFree=1396000/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=384920 CPUtime=90.01
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 95270 0 0 0 8940 61 0 0 25 0 1 0 197710086 394158080 95111 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 96230 95111 296 55 0 95122 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 384920

[startup+100.059 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 20026
/proc/meminfo: memFree=1368864/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=412188 CPUtime=100
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 102058 0 0 0 9936 64 0 0 25 0 1 0 197710086 422080512 101883 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 103047 101884 296 55 0 101939 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 412188

[startup+110.065 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 20026
/proc/meminfo: memFree=1349088/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=432052 CPUtime=110.01
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 106981 0 0 0 10933 68 0 0 25 0 1 0 197710086 442421248 106802 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 108013 106802 296 55 0 106905 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 432052

[startup+120.071 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20026
/proc/meminfo: memFree=1324384/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=457048 CPUtime=120.01
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 113182 0 0 0 11928 73 0 0 25 0 1 0 197710086 468017152 112990 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 114262 112990 296 55 0 113154 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 457048

[startup+130.077 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20026
/proc/meminfo: memFree=1300064/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=481540 CPUtime=130.01
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 119321 0 0 0 12924 77 0 0 25 0 1 0 197710086 493096960 119043 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529164 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 120385 119043 296 55 0 119277 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 481540

[startup+140.084 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20026
/proc/meminfo: memFree=1280992/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=500724 CPUtime=140.02
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 124091 0 0 0 13921 81 0 0 25 0 1 0 197710086 512741376 123808 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551616 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 125181 123808 296 55 0 124073 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 500724

[startup+150.091 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20026
/proc/meminfo: memFree=1266400/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=515184 CPUtime=150.03
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 127725 0 0 0 14918 85 0 0 25 0 1 0 197710086 527548416 127440 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548612 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 128796 127440 296 55 0 127688 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 515184

[startup+160.097 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20026
/proc/meminfo: memFree=1238112/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=543628 CPUtime=160.03
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 134794 0 0 0 15914 89 0 0 25 0 1 0 197710086 556675072 134506 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 135907 134506 296 55 0 134799 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 543628

[startup+170.104 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20026
/proc/meminfo: memFree=1212320/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=569420 CPUtime=170.03
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 141221 0 0 0 16909 94 0 0 25 0 1 0 197710086 583086080 140927 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 142355 140927 296 55 0 141247 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 569420

[startup+180.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20026
/proc/meminfo: memFree=1197792/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=583988 CPUtime=180.03
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 144866 0 0 0 17907 96 0 0 25 0 1 0 197710086 598003712 144563 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528729 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 145997 144563 296 55 0 144889 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 583988

[startup+190.116 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20026
/proc/meminfo: memFree=1175712/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=605912 CPUtime=190.04
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 150371 0 0 0 18903 101 0 0 25 0 1 0 197710086 620453888 150068 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 151478 150068 296 55 0 150370 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 605912

[startup+200.122 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20026
/proc/meminfo: memFree=1165280/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=616428 CPUtime=200.04
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 152990 0 0 0 19901 103 0 0 25 0 1 0 197710086 631222272 152687 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 154107 152687 296 55 0 152999 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 616428

[startup+210.13 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 20026
/proc/meminfo: memFree=1147552/2055920 swapFree=4181356/4192956

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

Current children cumulated CPU time (s) 1150.35
Current children cumulated vsize (Kb) 1735768

[startup+1160.72 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20026
/proc/meminfo: memFree=46240/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=1740576 CPUtime=1160.35
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 435143 0 0 0 115741 294 0 0 25 0 1 0 197710086 1782349824 431821 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 435144 431821 296 55 0 434036 0
Current children cumulated CPU time (s) 1160.35
Current children cumulated vsize (Kb) 1740576

[startup+1170.73 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20026
/proc/meminfo: memFree=45024/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=1741756 CPUtime=1170.35
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 435443 0 0 0 116741 294 0 0 25 0 1 0 197710086 1783558144 432121 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551564 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 435439 432121 296 55 0 434331 0
Current children cumulated CPU time (s) 1170.35
Current children cumulated vsize (Kb) 1741756

[startup+1180.74 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20026
/proc/meminfo: memFree=38624/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=1748236 CPUtime=1180.36
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 437040 0 0 0 117741 295 0 0 25 0 1 0 197710086 1790193664 433717 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 437059 433717 296 55 0 435951 0
Current children cumulated CPU time (s) 1180.36
Current children cumulated vsize (Kb) 1748236

[startup+1190.74 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20026
/proc/meminfo: memFree=36640/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=1750212 CPUtime=1190.35
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 437533 0 0 0 118740 295 0 0 25 0 1 0 197710086 1792217088 434210 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 437553 434210 296 55 0 436445 0
Current children cumulated CPU time (s) 1190.35
Current children cumulated vsize (Kb) 1750212

[startup+1200.75 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 20049
/proc/meminfo: memFree=32488/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=1753244 CPUtime=1200.36
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 438312 0 0 0 119739 297 0 0 25 0 1 0 197710086 1795321856 434989 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 438311 434989 296 55 0 437203 0
Current children cumulated CPU time (s) 1200.36
Current children cumulated vsize (Kb) 1753244

[startup+1210.76 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 20097
/proc/meminfo: memFree=29096/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=1756408 CPUtime=1210.35
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 439109 0 0 0 120732 303 0 0 25 0 1 0 197710086 1798561792 435786 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 439102 435786 296 55 0 437994 0
Current children cumulated CPU time (s) 1210.35
Current children cumulated vsize (Kb) 1756408

[startup+1220.76 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20221
/proc/meminfo: memFree=23672/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=1762596 CPUtime=1220.29
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 440663 0 0 0 121725 304 0 0 25 0 1 0 197710086 1804898304 437340 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20026/statm: 440649 437340 296 55 0 439541 0
Current children cumulated CPU time (s) 1220.29
Current children cumulated vsize (Kb) 1762596

[startup+1230.77 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20221
/proc/meminfo: memFree=20960/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=1765632 CPUtime=1230.29
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 441395 0 0 0 122724 305 0 0 25 0 1 0 197710086 1808007168 438072 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 441408 438072 296 55 0 440300 0
Current children cumulated CPU time (s) 1230.29
Current children cumulated vsize (Kb) 1765632

[startup+1240.78 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20221
/proc/meminfo: memFree=15200/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=1771336 CPUtime=1240.3
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 442839 0 0 0 123724 306 0 0 25 0 1 0 197710086 1813848064 439515 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 442834 439515 296 55 0 441726 0
Current children cumulated CPU time (s) 1240.3
Current children cumulated vsize (Kb) 1771336

[startup+1250.78 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20221
/proc/meminfo: memFree=16096/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=1778260 CPUtime=1250.29
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 444545 0 0 0 124723 306 0 0 25 0 1 0 197710086 1820938240 441214 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 444565 441214 296 55 0 443457 0
Current children cumulated CPU time (s) 1250.29
Current children cumulated vsize (Kb) 1778260

[startup+1260.79 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20221
/proc/meminfo: memFree=15264/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=1779184 CPUtime=1260.31
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 444784 0 0 0 125724 307 0 0 25 0 1 0 197710086 1821884416 441453 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 444796 441453 296 55 0 443688 0
Current children cumulated CPU time (s) 1260.31
Current children cumulated vsize (Kb) 1779184

[startup+1270.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20221
/proc/meminfo: memFree=29664/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=1788500 CPUtime=1270.31
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 447195 0 0 0 126723 308 0 0 25 0 1 0 197710086 1831424000 443542 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 447125 443542 296 55 0 446017 0
Current children cumulated CPU time (s) 1270.31
Current children cumulated vsize (Kb) 1788500

[startup+1280.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20221
/proc/meminfo: memFree=20896/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=1797276 CPUtime=1280.31
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 449397 0 0 0 127722 309 0 0 25 0 1 0 197710086 1840410624 445743 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 449319 445743 296 55 0 448211 0
Current children cumulated CPU time (s) 1280.31
Current children cumulated vsize (Kb) 1797276

[startup+1290.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20221
/proc/meminfo: memFree=14816/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=1803344 CPUtime=1290.31
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 450913 0 0 0 128722 309 0 0 25 0 1 0 197710086 1846624256 447259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 450836 447259 296 55 0 449728 0
Current children cumulated CPU time (s) 1290.31
Current children cumulated vsize (Kb) 1803344

[startup+1300.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20221
/proc/meminfo: memFree=15392/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=1807436 CPUtime=1300.31
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 451941 0 0 0 129721 310 0 0 25 0 1 0 197710086 1850814464 448287 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 451859 448287 296 55 0 450751 0
Current children cumulated CPU time (s) 1300.31
Current children cumulated vsize (Kb) 1807436

[startup+1310.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20221
/proc/meminfo: memFree=14816/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=1812576 CPUtime=1310.32
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 453247 0 0 0 130720 312 0 0 25 0 1 0 197710086 1856077824 449593 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 453144 449593 296 55 0 452036 0
Current children cumulated CPU time (s) 1310.32
Current children cumulated vsize (Kb) 1812576

[startup+1320.83 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20221
/proc/meminfo: memFree=15008/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=1815476 CPUtime=1320.33
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 453987 0 0 0 131720 313 0 0 25 0 1 0 197710086 1859047424 450333 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 453869 450333 296 55 0 452761 0
Current children cumulated CPU time (s) 1320.33
Current children cumulated vsize (Kb) 1815476

[startup+1330.84 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20221
/proc/meminfo: memFree=14880/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=1817192 CPUtime=1330.33
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 454415 0 0 0 132720 313 0 0 25 0 1 0 197710086 1860804608 450761 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534130 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 454298 450761 296 55 0 453190 0
Current children cumulated CPU time (s) 1330.33
Current children cumulated vsize (Kb) 1817192

[startup+1340.84 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20221
/proc/meminfo: memFree=16160/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=1825244 CPUtime=1340.33
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 456431 0 0 0 133719 314 0 0 25 0 1 0 197710086 1869049856 452777 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 456311 452777 296 55 0 455203 0
Current children cumulated CPU time (s) 1340.33
Current children cumulated vsize (Kb) 1825244

[startup+1350.85 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20221
/proc/meminfo: memFree=14816/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=1828320 CPUtime=1350.33
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 457206 0 0 0 134718 315 0 0 25 0 1 0 197710086 1872199680 453548 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 457080 453548 296 55 0 455972 0
Current children cumulated CPU time (s) 1350.33
Current children cumulated vsize (Kb) 1828320

[startup+1360.86 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 20221
/proc/meminfo: memFree=15904/2055920 swapFree=4181356/4192956
[pid=20026] ppid=20024 vsize=1835032 CPUtime=1360.33
/proc/20026/stat : 20026 (bsolo) R 20024 20026 19980 0 -1 0 458875 0 0 0 135717 316 0 0 25 0 1 0 197710086 1879072768 455217 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551582 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20026/statm: 458758 455217 296 55 0 457650 0
Current children cumulated CPU time (s) 1360.33
Current children cumulated vsize (Kb) 1835032

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1370.51
CPU time (s): 1369.97
CPU user time (s): 1366.51
CPU system time (s): 3.45847
CPU usage (%): 99.9604
Max. virtual memory (cumulated for all children) (Kb): 1835032
The end

Launcher Data (download as text)

Begin job on node33 on Sat Jun  3 07:41:03 UTC 2006


FILE ID= 40812-1149320463

PBS_JOBID= 308611

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-prob8.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node33/40812-1149320463/instance-40812-1149320463.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node33/watcher-40812-1149320463 -o ROOT/results/node33/solver-40812-1149320463 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node33/40812-1149320463/instance-40812-1149320463.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  9a5e6e5ac9dd04defb35f28c3f495740

RANDOM SEED= 826407892


/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.213
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.213
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:       1776040 kB
Buffers:         17260 kB
Cached:         196440 kB
SwapCached:       3288 kB
Active:          40592 kB
Inactive:       181880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1776040 kB
SwapTotal:     4192956 kB
SwapFree:      4181356 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          14912 kB
Slab:            43416 kB
Committed_AS:   331836 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node33 on Sat Jun  3 08:03:53 UTC 2006