Trace number 40712

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/05? 1800.05 1800.6

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-degen3.opb
MD5SUM180182351d074e1d8188f1fe7258cbed
Bench CategoryOPT-BIGINT (optimisation, big 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 FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables54540
Total number of constraints1503
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 constraints1503
Minimum length of a constraint60
Maximum length of a constraint6090
Number of terms in the objective function 47190
Biggest coefficient in the objective function 1001264250880
Number of bits for the biggest coefficient in the objective function 40
Sum of the numbers in the objective function 339379725479256
Number of bits of the sum of numbers in the objective function 49
Biggest number in a constraint 1001264250880
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 339379725479256
Number of bits of the biggest sum of numbers49
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.02	c BIG Int formula...
13.12	c Initial problem consists of 54540 variables and 2220 constraints.
13.60	c No problem reductions applied in OPT. instance.
13.60	c	preprocess terminated. Elapsed time: 13.587
13.60	c After prepocess the problem consists of 21237 variables and 2220 constraints.
13.60	c Initial Lower Bound: -595977909
20.36	c Restart #1 #Var: 21237 LB: -595977909 @ 20.346
33.70	c Restart #2 #Var: 21237 LB: -595977909 @ 33.683
53.51	c Restart #3 #Var: 21237 LB: -595977909 @ 53.484
79.56	c Restart #4 #Var: 21237 LB: -595977909 @ 79.524
112.04	c Restart #5 #Var: 21237 LB: -595977909 @ 111.99
151.59	c Restart #6 #Var: 21237 LB: -595977909 @ 151.54
196.56	c Restart #7 #Var: 21237 LB: -595977909 @ 196.5
249.12	c Restart #8 #Var: 21237 LB: -595977909 @ 249.04
307.40	c Restart #9 #Var: 21237 LB: -595977909 @ 307.31
373.11	c Restart #10 #Var: 21237 LB: -595977909 @ 373
445.75	c Restart #11 #Var: 21237 LB: -595977909 @ 445.62
513.18	c Restart #12 #Var: 21237 LB: -595977909 @ 513.03
531.88	c Restart #13 #Var: 21237 LB: -595977909 @ 531.72
532.22	c Restart #14 #Var: 21237 LB: -595977909 @ 532.07
533.10	c Restart #15 #Var: 21237 LB: -595977909 @ 532.95
534.00	c Restart #16 #Var: 21237 LB: -595977909 @ 533.84
534.93	c Restart #17 #Var: 21237 LB: -595977909 @ 534.77
535.87	c Restart #18 #Var: 21237 LB: -595977909 @ 535.72
536.86	c Restart #19 #Var: 21237 LB: -595977909 @ 536.7
537.87	c Restart #20 #Var: 21237 LB: -595977909 @ 537.71
538.90	c Restart #21 #Var: 21237 LB: -595977909 @ 538.74
539.98	c Restart #22 #Var: 21237 LB: -595977909 @ 539.82
541.07	c Restart #23 #Var: 21237 LB: -595977909 @ 540.92
542.07	c Restart #24 #Var: 21237 LB: -595977909 @ 541.91
543.24	c Restart #25 #Var: 21237 LB: -595977909 @ 543.08
544.45	c Restart #26 #Var: 21237 LB: -595977909 @ 544.29
545.75	c Restart #27 #Var: 21237 LB: -595977909 @ 545.59
547.30	c Restart #28 #Var: 21237 LB: -595977909 @ 547.14
549.24	c Restart #29 #Var: 21237 LB: -595977909 @ 549.08
551.40	c Restart #30 #Var: 21237 LB: -595977909 @ 551.24
553.04	c Restart #31 #Var: 21237 LB: -595977909 @ 552.88
554.08	c Restart #32 #Var: 21237 LB: -595977909 @ 553.92
573.70	c Restart #33 #Var: 21237 LB: -595977909 @ 573.53
607.86	c Restart #34 #Var: 21237 LB: -595977909 @ 607.69
627.24	c Restart #35 #Var: 21237 LB: -595977909 @ 627.06
655.85	c Restart #36 #Var: 21237 LB: -595977909 @ 655.66
658.40	c Restart #37 #Var: 21237 LB: -595977909 @ 658.21
703.92	c Restart #38 #Var: 21237 LB: -595977909 @ 703.72
718.57	c Restart #39 #Var: 21237 LB: -595977909 @ 718.36
761.92	c Restart #40 #Var: 21237 LB: -595977909 @ 761.71
775.37	c Restart #41 #Var: 21237 LB: -595977909 @ 775.15
780.73	c Restart #42 #Var: 21237 LB: -595977909 @ 780.51
793.34	c Restart #43 #Var: 21237 LB: -595977909 @ 793.12
800.73	c Restart #44 #Var: 21237 LB: -595977909 @ 800.5
818.38	c Restart #45 #Var: 21237 LB: -595977909 @ 818.14
882.07	c Restart #46 #Var: 21237 LB: -595977909 @ 881.82
889.15	c Restart #47 #Var: 21237 LB: -595977909 @ 888.9
926.72	c CHANGE Heuristic... 
926.72	c Restart #0 #Var: 21237 LB: -595977909 @ 926.46
927.10	c Restart #1 #Var: 21237 LB: -595977909 @ 926.84
927.16	c Restart #2 #Var: 21237 LB: -595977909 @ 926.9
927.97	c Restart #3 #Var: 21237 LB: -595977909 @ 927.71
928.28	c Restart #4 #Var: 21237 LB: -595977909 @ 928.02
934.86	c Restart #5 #Var: 21237 LB: -595977909 @ 934.6
938.43	c Restart #6 #Var: 21237 LB: -595977909 @ 938.17
942.24	c Restart #7 #Var: 21237 LB: -595977909 @ 941.98
953.97	c Restart #8 #Var: 21237 LB: -595977909 @ 953.7
959.53	c Restart #9 #Var: 21237 LB: -595977909 @ 959.26
963.28	c Restart #10 #Var: 21237 LB: -595977909 @ 963
975.15	c Restart #11 #Var: 21237 LB: -595977909 @ 974.88
990.94	c Restart #12 #Var: 21237 LB: -595977909 @ 990.66
998.41	c Restart #13 #Var: 21237 LB: -595977909 @ 998.13
1002.41	c Restart #14 #Var: 21237 LB: -595977909 @ 1002.1
1025.55	c Restart #15 #Var: 21237 LB: -595977909 @ 1025.3
1035.72	c Restart #16 #Var: 21237 LB: -595977909 @ 1035.4
1040.45	c Restart #17 #Var: 21237 LB: -595977909 @ 1040.2
1044.24	c Restart #18 #Var: 21237 LB: -595977909 @ 1043.9
1050.77	c Restart #19 #Var: 21237 LB: -595977909 @ 1050.5
1054.86	c Restart #20 #Var: 21237 LB: -595977909 @ 1054.6
1058.97	c Restart #21 #Var: 21237 LB: -595977909 @ 1058.7
1060.27	c Restart #22 #Var: 21237 LB: -595977909 @ 1060
1072.00	c Restart #23 #Var: 21237 LB: -595977909 @ 1071.7
1076.15	c Restart #24 #Var: 21237 LB: -595977909 @ 1075.9
1098.26	c Restart #25 #Var: 21237 LB: -595977909 @ 1098
1099.48	c Restart #26 #Var: 21237 LB: -595977909 @ 1099.2
1103.88	c Restart #27 #Var: 21237 LB: -595977909 @ 1103.6
1105.72	c Restart #28 #Var: 21237 LB: -595977909 @ 1105.4
1117.79	c Restart #29 #Var: 21237 LB: -595977909 @ 1117.5
1127.93	c Restart #30 #Var: 21237 LB: -595977909 @ 1127.6
1129.79	c Restart #31 #Var: 21237 LB: -595977909 @ 1129.5
1143.97	c Restart #32 #Var: 21237 LB: -595977909 @ 1143.7
1149.40	c Restart #33 #Var: 21237 LB: -595977909 @ 1149.1
1151.88	c Restart #34 #Var: 21237 LB: -595977909 @ 1151.6
1158.32	c Restart #35 #Var: 21237 LB: -595977909 @ 1158
1182.59	c Restart #36 #Var: 21237 LB: -595977909 @ 1182.3
1184.84	c Restart #37 #Var: 21237 LB: -595977909 @ 1184.5
1196.05	c Restart #38 #Var: 21237 LB: -595977909 @ 1195.7
1197.64	c Restart #39 #Var: 21237 LB: -595977909 @ 1197.3
1207.68	c Restart #40 #Var: 21237 LB: -595977909 @ 1207.3
1217.15	c Restart #41 #Var: 21237 LB: -595977909 @ 1216.8
1219.62	c Restart #42 #Var: 21237 LB: -595977909 @ 1219.3
1233.46	c Restart #43 #Var: 21237 LB: -595977909 @ 1233.1
1247.56	c Restart #44 #Var: 21237 LB: -595977909 @ 1247.2
1258.94	c Restart #45 #Var: 21237 LB: -595977909 @ 1258.6
1272.47	c Restart #46 #Var: 21237 LB: -595977909 @ 1272.1
1302.51	c Restart #47 #Var: 21237 LB: -595977909 @ 1302.2
1305.89	c Restart #48 #Var: 21237 LB: -595977909 @ 1305.5
1306.51	c Restart #49 #Var: 21237 LB: -595977909 @ 1306.1
1352.42	c Restart #50 #Var: 21237 LB: -595977909 @ 1352
1369.47	c Restart #51 #Var: 21237 LB: -595977909 @ 1369.1
1404.45	c Restart #52 #Var: 21237 LB: -595977909 @ 1404.1
1435.97	c Restart #53 #Var: 21237 LB: -595977909 @ 1435.6
1446.12	c Restart #54 #Var: 21237 LB: -595977909 @ 1445.7
1475.39	c Restart #55 #Var: 21237 LB: -595977909 @ 1475
1488.72	c Restart #56 #Var: 21237 LB: -595977909 @ 1488.3
1540.81	c Restart #57 #Var: 21237 LB: -595977909 @ 1540.3
1560.86	c Restart #58 #Var: 21237 LB: -595977909 @ 1560.4
1578.22	c Restart #59 #Var: 21237 LB: -595977909 @ 1577.7
1591.95	c Restart #60 #Var: 21237 LB: -595977909 @ 1591.5
1607.11	c Restart #61 #Var: 21237 LB: -595977909 @ 1606.6
1643.90	c Restart #62 #Var: 21237 LB: -595977909 @ 1643.4
1664.64	c Restart #63 #Var: 21237 LB: -595977909 @ 1664.1
1680.59	c Restart #64 #Var: 21237 LB: -595977909 @ 1680.1
1720.18	c Restart #65 #Var: 21237 LB: -595977909 @ 1719.7
1738.05	c Restart #66 #Var: 21237 LB: -595977909 @ 1737.5
1772.43	c Restart #67 #Var: 21237 LB: -595977909 @ 1771.9
1793.24	c Restart #68 #Var: 21237 LB: -595977909 @ 1792.7
1800.54	s UNKNOWN
1800.54	c Exit Code: 0
1800.54	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/node72/watcher-40712-1149312964 -o ROOT/results/node72/solver-40712-1149312964 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node72/40712-1149312964/instance-40712-1149312964.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.93 2/64 26504
/proc/meminfo: memFree=1526352/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=4928 CPUtime=0
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 336 0 0 0 0 0 0 0 18 0 1 0 196960823 5046272 300 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3002071 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 1232 312 210 55 0 124 0

[startup+10.0022 s]
/proc/loadavg: 0.93 0.95 0.93 2/64 26504
/proc/meminfo: memFree=1467736/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=64868 CPUtime=9.98
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 795105 0 0 0 782 216 0 0 25 0 1 0 196960823 66424832 14996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537439 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 16217 14996 281 55 0 15109 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 64868

[startup+20.0101 s]
/proc/loadavg: 0.94 0.96 0.93 2/64 26504
/proc/meminfo: memFree=1419480/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=115736 CPUtime=19.99
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 807207 0 0 0 1766 233 0 0 25 0 1 0 196960823 118513664 27049 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 28934 27049 297 55 0 27826 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 115736

[startup+30.016 s]
/proc/loadavg: 0.95 0.96 0.93 2/64 26504
/proc/meminfo: memFree=1419288/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=116132 CPUtime=29.99
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 807452 0 0 0 2750 249 0 0 25 0 1 0 196960823 118919168 27133 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537841 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 29033 27133 297 55 0 27925 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 116132

[startup+40.0219 s]
/proc/loadavg: 0.95 0.96 0.93 2/64 26504
/proc/meminfo: memFree=1418904/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=116396 CPUtime=39.99
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 807536 0 0 0 3734 265 0 0 25 0 1 0 196960823 119189504 27217 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 29099 27217 297 55 0 27991 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 116396

[startup+50.0288 s]
/proc/loadavg: 0.96 0.96 0.93 2/64 26504
/proc/meminfo: memFree=1418648/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=116792 CPUtime=50
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 807623 0 0 0 4717 283 0 0 25 0 1 0 196960823 119595008 27304 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718431 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 29198 27304 297 55 0 28090 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 116792

[startup+60.0347 s]
/proc/loadavg: 0.97 0.96 0.93 2/64 26504
/proc/meminfo: memFree=1418264/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=117056 CPUtime=60
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 807711 0 0 0 5699 301 0 0 25 0 1 0 196960823 119865344 27392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 29264 27392 297 55 0 28156 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 117056

[startup+70.0406 s]
/proc/loadavg: 0.97 0.96 0.93 2/64 26504
/proc/meminfo: memFree=1418008/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=117452 CPUtime=70
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 807798 0 0 0 6684 316 0 0 25 0 1 0 196960823 120270848 27479 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 29363 27479 297 55 0 28255 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 117452

[startup+80.0466 s]
/proc/loadavg: 0.98 0.96 0.93 2/64 26504
/proc/meminfo: memFree=1417624/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=117848 CPUtime=80
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 807881 0 0 0 7667 333 0 0 25 0 1 0 196960823 120676352 27562 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537786 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 29462 27562 297 55 0 28354 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 117848

[startup+90.0525 s]
/proc/loadavg: 0.98 0.96 0.93 2/64 26504
/proc/meminfo: memFree=1417304/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=118112 CPUtime=90.01
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 807965 0 0 0 8652 349 0 0 25 0 1 0 196960823 120946688 27646 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632900 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 29528 27646 297 55 0 28420 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 118112

[startup+100.058 s]
/proc/loadavg: 0.98 0.96 0.93 2/64 26504
/proc/meminfo: memFree=1416920/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=118508 CPUtime=100.02
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 808053 0 0 0 9636 366 0 0 25 0 1 0 196960823 121352192 27734 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 29627 27734 297 55 0 28519 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 118508

[startup+110.064 s]
/proc/loadavg: 0.98 0.96 0.93 2/64 26504
/proc/meminfo: memFree=1416536/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=118772 CPUtime=110.01
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 808141 0 0 0 10620 381 0 0 25 0 1 0 196960823 121622528 27822 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 29693 27822 297 55 0 28585 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 118772

[startup+120.07 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 26504
/proc/meminfo: memFree=1416216/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=119168 CPUtime=120.02
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 808228 0 0 0 11605 397 0 0 25 0 1 0 196960823 122028032 27909 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 29792 27909 297 55 0 28684 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 119168

[startup+130.076 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 26504
/proc/meminfo: memFree=1415832/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=119564 CPUtime=130.02
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 808315 0 0 0 12588 414 0 0 25 0 1 0 196960823 122433536 27996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 29891 27996 297 55 0 28783 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 119564

[startup+140.082 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 26504
/proc/meminfo: memFree=1415512/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=119828 CPUtime=140.03
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 808402 0 0 0 13573 430 0 0 25 0 1 0 196960823 122703872 28083 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 29957 28083 297 55 0 28849 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 119828

[startup+150.088 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 26504
/proc/meminfo: memFree=1415192/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=120224 CPUtime=150.03
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 808488 0 0 0 14558 445 0 0 25 0 1 0 196960823 123109376 28169 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 30056 28169 297 55 0 28948 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 120224

[startup+160.094 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 26504
/proc/meminfo: memFree=1414872/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=120488 CPUtime=160.03
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 808572 0 0 0 15543 460 0 0 25 0 1 0 196960823 123379712 28253 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540685 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 30122 28253 297 55 0 29014 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 120488

[startup+170.1 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 26504
/proc/meminfo: memFree=1414488/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=120884 CPUtime=170.04
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 808655 0 0 0 16526 478 0 0 25 0 1 0 196960823 123785216 28336 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 30221 28336 297 55 0 29113 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 120884

[startup+180.106 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 26504
/proc/meminfo: memFree=1414168/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=121280 CPUtime=180.04
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 808744 0 0 0 17507 497 0 0 25 0 1 0 196960823 124190720 28425 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 30320 28425 297 55 0 29212 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 121280

[startup+190.112 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 26504
/proc/meminfo: memFree=1413784/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=121544 CPUtime=190.04
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 808832 0 0 0 18491 513 0 0 25 0 1 0 196960823 124461056 28513 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 30386 28513 297 55 0 29278 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 121544

[startup+200.117 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 26504
/proc/meminfo: memFree=1413400/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=121940 CPUtime=200.04
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 808921 0 0 0 19474 530 0 0 25 0 1 0 196960823 124866560 28602 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 30485 28602 297 55 0 29377 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 121940

[startup+210.123 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 26504
/proc/meminfo: memFree=1413080/2055920 swapFree=4182504/4192956

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

/proc/26504/statm: 79731 77825 297 55 0 78623 0
Current children cumulated CPU time (s) 1760.5
Current children cumulated vsize (Kb) 318924

[startup+1771.04 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 26699
/proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=319088 CPUtime=1770.5
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 175849 1201 0 0 25 0 1 0 196960823 326746112 77857 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 79772 77857 297 55 0 78664 0
Current children cumulated CPU time (s) 1770.5
Current children cumulated vsize (Kb) 319088

[startup+1781.05 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 26699
/proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=318948 CPUtime=1780.5
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 176848 1202 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 79737 77837 297 55 0 78629 0
Current children cumulated CPU time (s) 1780.5
Current children cumulated vsize (Kb) 318948

[startup+1782.05 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 26699
/proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=318948 CPUtime=1781.51
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 176948 1203 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 79737 77837 297 55 0 78629 0
Current children cumulated CPU time (s) 1781.51
Current children cumulated vsize (Kb) 318948

[startup+1783.06 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 26699
/proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=318948 CPUtime=1782.52
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 177049 1203 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 79737 77837 297 55 0 78629 0
Current children cumulated CPU time (s) 1782.52
Current children cumulated vsize (Kb) 318948

[startup+1784.06 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 26699
/proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=318948 CPUtime=1783.52
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 177149 1203 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537786 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 79737 77837 297 55 0 78629 0
Current children cumulated CPU time (s) 1783.52
Current children cumulated vsize (Kb) 318948

[startup+1785.07 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 26699
/proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=318948 CPUtime=1784.52
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 177249 1203 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604191 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 79737 77837 297 55 0 78629 0
Current children cumulated CPU time (s) 1784.52
Current children cumulated vsize (Kb) 318948

[startup+1786.07 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 26699
/proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=318948 CPUtime=1785.53
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 177350 1203 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 79737 77837 297 55 0 78629 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (Kb) 318948

[startup+1787.08 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 26699
/proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=318948 CPUtime=1786.53
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 177450 1203 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 79737 77837 297 55 0 78629 0
Current children cumulated CPU time (s) 1786.53
Current children cumulated vsize (Kb) 318948

[startup+1788.08 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 26699
/proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=318948 CPUtime=1787.53
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 177550 1203 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548389 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 79737 77837 297 55 0 78629 0
Current children cumulated CPU time (s) 1787.53
Current children cumulated vsize (Kb) 318948

[startup+1789.09 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 26699
/proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=318948 CPUtime=1788.54
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 177651 1203 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 79737 77837 297 55 0 78629 0
Current children cumulated CPU time (s) 1788.54
Current children cumulated vsize (Kb) 318948

[startup+1790.09 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 26699
/proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=318948 CPUtime=1789.54
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 177751 1203 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 79737 77837 297 55 0 78629 0
Current children cumulated CPU time (s) 1789.54
Current children cumulated vsize (Kb) 318948

[startup+1791.1 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 26699
/proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=318948 CPUtime=1790.55
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 177852 1203 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537690 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 79737 77837 297 55 0 78629 0
Current children cumulated CPU time (s) 1790.55
Current children cumulated vsize (Kb) 318948

[startup+1792.1 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 26699
/proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=318948 CPUtime=1791.56
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 177952 1204 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 79737 77837 297 55 0 78629 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (Kb) 318948

[startup+1793.11 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 26699
/proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=318948 CPUtime=1792.56
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 178052 1204 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537786 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 79737 77837 297 55 0 78629 0
Current children cumulated CPU time (s) 1792.56
Current children cumulated vsize (Kb) 318948

[startup+1794.11 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 26699
/proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=318948 CPUtime=1793.57
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 178153 1204 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 79737 77837 297 55 0 78629 0
Current children cumulated CPU time (s) 1793.57
Current children cumulated vsize (Kb) 318948

[startup+1795.12 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 26699
/proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=318948 CPUtime=1794.57
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 178253 1204 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 79737 77837 297 55 0 78629 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (Kb) 318948

[startup+1796.12 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 26699
/proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=318948 CPUtime=1795.57
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 178353 1204 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632654 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 79737 77837 297 55 0 78629 0
Current children cumulated CPU time (s) 1795.57
Current children cumulated vsize (Kb) 318948

[startup+1797.13 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 26699
/proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=318948 CPUtime=1796.58
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 178454 1204 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 79737 77837 297 55 0 78629 0
Current children cumulated CPU time (s) 1796.58
Current children cumulated vsize (Kb) 318948

[startup+1798.13 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 26699
/proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=318948 CPUtime=1797.58
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 178554 1204 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 79737 77837 297 55 0 78629 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (Kb) 318948

[startup+1799.14 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 26699
/proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=318948 CPUtime=1798.59
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 178655 1204 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 79737 77837 297 55 0 78629 0
Current children cumulated CPU time (s) 1798.59
Current children cumulated vsize (Kb) 318948

[startup+1800.14 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 26699
/proc/meminfo: memFree=1215960/2055920 swapFree=4182504/4192956
[pid=26504] ppid=26502 vsize=318948 CPUtime=1799.6
/proc/26504/stat : 26504 (bsolo) R 26502 26504 26458 0 -1 0 859328 0 0 0 178755 1205 0 0 25 0 1 0 196960823 326602752 77837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26504/statm: 79737 77837 297 55 0 78629 0
Current children cumulated CPU time (s) 1799.6
Current children cumulated vsize (Kb) 318948

Child status: 0
Real time (s): 1800.6
CPU time (s): 1800.05
CPU user time (s): 1787.96
CPU system time (s): 12.0992
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (Kb): 319088

Launcher Data (download as text)

Begin job on node72 on Sat Jun  3 05:36:04 UTC 2006


FILE ID= 40712-1149312964

PBS_JOBID= 308163

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-degen3.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node72/40712-1149312964/instance-40712-1149312964.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node72/watcher-40712-1149312964 -o ROOT/results/node72/solver-40712-1149312964 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node72/40712-1149312964/instance-40712-1149312964.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  180182351d074e1d8188f1fe7258cbed

RANDOM SEED= 510870057


/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.227
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.227
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:       1526496 kB
Buffers:         41388 kB
Cached:         411784 kB
SwapCached:       2428 kB
Active:          71980 kB
Inactive:       390192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1526496 kB
SwapTotal:     4192956 kB
SwapFree:      4182504 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          16032 kB
Slab:            53248 kB
Committed_AS:   288312 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node72 on Sat Jun  3 06:06:05 UTC 2006