Trace number 41275

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
PBS 4.1L? (TO) 1800.62 1801.18

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-sp98ar.opb
MD5SUMd7af4e70b8b5243fa0953f7b849db937
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1566
Best CPU time to get the best result obtained on this benchmark1801.76
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1229
Optimality of the best value was proved NO
Number of variables15085
Total number of constraints1430
Number of constraints which are clauses181
Number of constraints which are cardinality constraints (but not clauses)837
Number of constraints which are nor clauses,nor cardinality constraints412
Minimum length of a constraint2
Maximum length of a constraint4222
Number of terms in the objective function 15085
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 531850
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 128
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 531850
Number of bits of the biggest sum of numbers20
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 PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00	c Solving ROOT/tmp/node81/41275-1149259849/instance-41275-1149259849.opb ......
8.50	c done parsing opb.
8.50	o 50589
12.09	o 50588
15.69	o 50583
19.29	o 50581
22.85	o 50580
26.42	o 50577
29.98	o 50572
33.58	o 50568
37.18	o 50566
40.76	o 50565
44.32	o 50564
47.89	o 50561
51.47	o 50560
55.06	o 50559
58.66	o 50557
62.23	o 50555
65.79	o 50554
69.35	o 50553
72.95	o 50552
76.54	o 50550
80.13	o 50549
83.69	o 50547
87.25	o 50544
90.83	o 50543
94.42	o 50541
98.01	o 50538
101.59	o 50537
105.15	o 50536
108.71	o 50534
112.29	o 50532
115.89	o 50530
119.48	o 50529
123.04	o 50528
126.60	o 50527
130.17	o 50525
133.76	o 50524
137.35	o 50522
140.93	o 50520
144.49	o 50518
148.05	o 50515
151.63	o 50512
155.22	o 50509
158.81	o 50508
162.37	o 50506
165.93	o 50505
169.49	o 50504
173.09	o 50502
176.68	o 50500
180.26	o 50498
183.82	o 50495
187.37	o 50493
190.94	o 50492
194.54	o 50490
198.13	o 50489
201.69	o 50486
205.25	o 50483
208.81	o 50481
212.39	o 50479
215.99	o 50478
219.58	o 50476
223.13	o 50475
226.69	o 50474
230.25	o 50471
233.84	o 50470
237.44	o 50468
241.01	o 50465
244.57	o 50464
248.12	o 50461
251.70	o 50459
255.29	o 50458
258.88	o 50457
262.44	o 50454
266.00	o 50452
269.56	o 50450
273.15	o 50449
276.74	o 50448
280.32	o 50447
283.88	o 50445
287.44	o 50443
291.01	o 50442
294.60	o 50441
298.19	o 50440
301.75	o 50439
305.31	o 50437
308.87	o 50436
312.45	o 50433
316.04	o 50432
319.63	o 50431
323.18	o 50428
326.74	o 50427
330.30	o 50426
333.89	o 50424
337.48	o 50423
341.05	o 50421
344.61	o 50420
348.16	o 50419
351.73	o 50417
355.32	o 50415
358.91	o 50414
362.47	o 50413
366.02	o 50411
369.58	o 50410
373.17	o 50409
376.76	o 50408
380.33	o 50406
383.89	o 50405
387.45	o 50403
391.01	o 50402
394.60	o 50401
398.19	o 50399
401.75	o 50398
405.31	o 50397
408.86	o 50395
412.45	o 50393
416.03	o 50392
419.62	o 50391
423.17	o 50390
426.73	o 50388
430.29	o 50387
433.87	o 50386
437.46	o 50385
441.03	o 50383
444.58	o 50382
448.14	o 50381
451.72	o 50380
455.32	o 50356
458.91	o 50343
462.48	o 50342
466.04	o 50341
469.60	o 50318
473.19	o 50316
476.79	o 50315
480.37	o 50313
483.93	o 50311
487.49	o 50308
491.07	o 50306
494.66	o 50303
498.25	o 50300
501.82	o 50299
505.39	o 50297
508.94	o 50294
512.53	o 50293
516.12	o 50290
519.71	o 50287
523.26	o 50285
526.82	o 50283
530.38	o 50282
533.97	o 50281
537.56	o 50279
541.14	o 50278
544.70	o 50277
548.26	o 50275
551.84	o 50274
555.43	o 50272
559.02	o 50271
562.58	o 50269
566.14	o 50267
569.70	o 50265
573.29	o 50263
576.88	o 50262
580.47	o 49727
584.03	o 49726
587.59	o 49723
591.17	o 49662
594.77	o 49534
598.37	o 49532
601.94	o 49531
605.51	o 49530
609.07	o 49529
612.69	o 49528
616.27	o 49527
619.85	o 49526
623.50	o 49525
627.11	o 49524
630.70	o 49523
634.30	o 49521
637.89	o 49520
641.46	o 49518
645.02	o 49517
648.59	o 49516
652.18	o 49515
655.78	o 49514
659.38	o 49512
662.93	o 49510
666.49	o 49508
670.06	o 49507
673.66	o 49505
677.26	o 49504
680.85	o 49503
684.41	o 49502
687.97	o 49501
691.56	o 49498
695.15	o 49497
698.74	o 49496
702.32	o 49495
705.88	o 49492
709.44	o 49491
713.04	o 49490
716.63	o 49489
720.22	o 49488
723.80	o 46644
727.38	o 46554
730.97	o 46553
734.58	o 46460
738.18	o 46459
741.76	o 46458
747.34	o 46457
750.93	o 46456
754.53	o 46454
758.12	o 46453
761.71	o 46452
765.29	o 46451
768.86	o 46449
772.47	o 46448
776.07	o 46447
779.69	o 46443
783.26	o 46440
786.84	o 46439
790.41	o 46438
794.00	o 46437
797.61	o 46436
801.20	o 46435
804.77	o 46433
808.35	o 46432
811.94	o 46431
815.54	o 46429
819.14	o 46427
822.71	o 46426
826.29	o 46423
829.85	o 46422
833.46	o 46421
837.05	o 46420
840.64	o 46418
844.21	o 46417
847.79	o 46415
851.37	o 46414
854.97	o 46413
858.56	o 46412
862.14	o 46411
865.72	o 44657
869.30	o 44321
872.90	o 44320
876.48	o 44319
880.07	o 44317
883.63	o 44316
887.19	o 44314
890.77	o 44313
894.36	o 44312
897.97	o 44310
901.54	o 44309
905.11	o 44308
908.67	o 44306
912.25	o 44305
915.85	o 44304
922.97	o 44302
926.59	o 39167
930.20	o 39166
933.85	o 39165
937.49	o 39164
941.11	o 39163
944.72	o 39162
948.33	o 39160
951.96	o 39159
955.60	o 39158
959.23	o 39157
962.84	o 39156
966.44	o 39155
970.06	o 39154
973.72	o 39151
977.36	o 39149
980.99	o 39148
984.60	o 39146
988.20	o 39145
991.84	o 39144
995.49	o 39143
999.13	o 39142
1002.74	o 39141
1006.35	o 39140
1009.96	o 39138
1013.63	o 39137
1017.29	o 39135
1025.03	o 39134
1028.65	o 39133
1032.31	o 39132
1035.97	o 39131
1039.63	o 39129
1043.27	o 39128
1046.88	o 39127
1050.51	o 39126
1054.16	o 39124
1057.80	o 39123
1061.44	o 39122
1065.06	o 39120
1072.25	o 39119
1075.94	o 35815
1079.65	o 35567
1083.31	o 35566
1086.97	o 35565
1090.65	o 35405
1094.37	o 35387
1101.61	o 35386
1105.30	o 32340
1109.02	o 32339
1112.76	o 32338
1116.51	o 32337
1120.27	o 32052
1124.00	o 32051
1127.71	o 32050
1131.45	o 32049
1135.19	o 32047
1138.94	o 32046
1142.67	o 32045
1146.39	o 32044
1150.16	o 32043
1153.98	o 32042
1157.80	o 32040
1165.39	o 32039
1169.11	o 32037
1176.52	o 32036
1183.92	o 32035
1187.66	o 31231
1191.47	o 30817
1195.29	o 30816
1199.12	o 30815
1202.92	o 30605
1206.70	o 30604
1210.50	o 30503
1214.32	o 30502
1218.14	o 30501
1221.94	o 30499
1225.72	o 30498
1229.51	o 30497
1233.32	o 30495
1237.13	o 30493
1240.94	o 30492
1244.72	o 30491
1248.49	o 30490
1252.30	o 30489
1256.11	o 30487
1259.93	o 30485
1263.70	o 30483
1267.50	o 30482
1271.30	o 30479
1275.11	o 30478
1278.93	o 30476
1282.71	o 30474
1286.50	o 30472
1290.28	o 30471
1294.09	o 30470
1306.01	o 30468
1309.89	o 30467
1313.81	o 30466
1321.49	o 30465
1329.32	o 30464
1333.11	o 30463
1336.93	o 30462
1340.75	o 30461
1344.53	o 30460
1348.32	o 30458
1352.13	o 30457
1355.95	o 30456
1359.79	o 30455
1363.59	o 30454
1367.38	o 30452
1371.18	o 30451
1374.99	o 30449
1378.81	o 30447
1382.61	o 30446
1386.39	o 30445
1390.18	o 30444
1394.02	o 30443
1397.83	o 30441
1401.64	o 30440
1405.42	o 30439
1409.19	o 30438
1413.02	o 30436
1416.84	o 30434
1420.65	o 30433
1424.44	o 30432
1428.22	o 30431
1432.03	o 30430
1435.84	o 30428
1439.66	o 30426
1443.48	o 30425
1447.30	o 30424
1451.13	o 30423
1454.99	o 30421
1458.86	o 30420
1462.69	o 30418
1466.49	o 30417
1470.31	o 30416
1474.16	o 30415
1478.01	o 30414
1481.85	o 30413
1485.67	o 30412
1489.49	o 30410
1493.32	o 30409
1497.18	o 30408
1501.03	o 30407
1504.85	o 30406
1508.67	o 30405
1512.51	o 30404
1516.37	o 30403
1520.23	o 30402
1524.06	o 30400
1527.88	o 30398
1531.73	o 30397
1535.59	o 30396
1543.90	o 30395
1547.74	o 30394
1551.53	o 30392
1555.36	o 30391
1559.18	o 30390
1562.97	o 30389
1570.48	o 30388
1574.27	o 30387
1578.10	o 30385
1581.96	o 30383
1585.81	o 30382
1589.64	o 30381
1593.52	o 30379
1597.40	o 30378
1601.27	o 30377
1605.13	o 30375
1608.97	o 30374
1612.82	o 30372
1616.70	o 30371
1620.58	o 30370
1624.44	o 30368
1628.28	o 30367
1632.15	o 30365
1636.04	o 30364
1639.94	o 30362
1643.78	o 30361
1647.64	o 30360
1651.52	o 30359
1655.40	o 30358
1659.26	o 30357
1663.10	o 30356
1666.94	o 30354
1670.80	o 30353
1674.68	o 30352
1678.56	o 30351
1686.15	o 30349
1690.45	o 30348
1694.27	o 30346
1698.10	o 30345
1701.90	o 30344
1705.69	o 30342
1709.47	o 30341
1713.28	o 30340
1717.10	o 30339
1720.91	o 30337
1724.71	o 30336
1728.50	o 30335
1732.33	o 30334
1736.19	o 30332
1740.07	o 30331
1743.92	o 30329
1747.77	o 30327
1751.64	o 30326
1755.52	o 30325
1759.41	o 30324
1763.26	o 30322
1767.11	o 30321
1770.96	o 30320
1774.85	o 30319
1778.73	o 30318
1782.57	o 30317
1786.42	o 30315
1790.30	o 30314
1794.18	o 30312
1798.05	o 30311

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/node81/watcher-41275-1149259849 -o ROOT/results/node81/solver-41275-1149259849 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node81/41275-1149259849/instance-41275-1149259849.opb 445135784 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.92 2/68 23143
/proc/meminfo: memFree=1207336/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=2816 CPUtime=0
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 223 0 0 0 0 0 0 0 18 0 1 0 191624316 2883584 208 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599096 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 704 210 90 232 0 469 0

[startup+10.0024 s]
/proc/loadavg: 0.93 0.95 0.92 2/68 23143
/proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18684 CPUtime=9.99
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 997 2 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4671 4492 107 232 0 4436 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 18684

[startup+20.0085 s]
/proc/loadavg: 0.94 0.96 0.92 2/68 23143
/proc/meminfo: memFree=1189800/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18684 CPUtime=19.99
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 1997 2 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4671 4492 107 232 0 4436 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 18684

[startup+30.0146 s]
/proc/loadavg: 0.95 0.96 0.92 2/68 23143
/proc/meminfo: memFree=1189864/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18684 CPUtime=29.99
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 2996 3 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4671 4492 107 232 0 4436 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 18684

[startup+40.0207 s]
/proc/loadavg: 0.95 0.96 0.92 2/68 23143
/proc/meminfo: memFree=1189864/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18684 CPUtime=40
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 3997 3 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4671 4492 107 232 0 4436 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 18684

[startup+50.0268 s]
/proc/loadavg: 0.96 0.96 0.92 2/68 23143
/proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18684 CPUtime=50
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 4996 4 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4671 4492 107 232 0 4436 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 18684

[startup+60.0319 s]
/proc/loadavg: 0.97 0.96 0.92 2/68 23143
/proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18684 CPUtime=60
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 5996 4 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4671 4492 107 232 0 4436 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 18684

[startup+70.038 s]
/proc/loadavg: 0.97 0.96 0.92 2/68 23143
/proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18684 CPUtime=70.01
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 6996 5 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4671 4492 107 232 0 4436 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 18684

[startup+80.0442 s]
/proc/loadavg: 0.98 0.96 0.92 2/68 23143
/proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18684 CPUtime=80.01
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 7996 5 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4671 4492 107 232 0 4436 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 18684

[startup+90.0503 s]
/proc/loadavg: 0.98 0.96 0.92 2/68 23143
/proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18684 CPUtime=90.01
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 8996 5 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4671 4492 107 232 0 4436 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 18684

[startup+100.056 s]
/proc/loadavg: 0.98 0.96 0.92 2/68 23143
/proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18684 CPUtime=100.01
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 9996 5 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4671 4492 107 232 0 4436 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 18684

[startup+110.062 s]
/proc/loadavg: 0.98 0.96 0.92 2/68 23143
/proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18684 CPUtime=110.03
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 10997 6 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4671 4492 107 232 0 4436 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 18684

[startup+120.068 s]
/proc/loadavg: 0.99 0.97 0.92 2/68 23143
/proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18684 CPUtime=120.03
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 11997 6 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4671 4492 107 232 0 4436 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 18684

[startup+130.074 s]
/proc/loadavg: 0.99 0.97 0.92 2/68 23143
/proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18684 CPUtime=130.03
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 12997 6 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4671 4492 107 232 0 4436 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 18684

[startup+140.08 s]
/proc/loadavg: 0.99 0.97 0.92 2/68 23143
/proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18684 CPUtime=140.03
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 13997 6 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551638 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4671 4492 107 232 0 4436 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 18684

[startup+150.086 s]
/proc/loadavg: 0.99 0.97 0.92 2/68 23143
/proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18684 CPUtime=150.04
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 14997 7 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4671 4492 107 232 0 4436 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 18684

[startup+160.092 s]
/proc/loadavg: 0.99 0.97 0.92 2/68 23143
/proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18684 CPUtime=160.04
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 15997 7 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4671 4492 107 232 0 4436 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 18684

[startup+170.098 s]
/proc/loadavg: 0.99 0.97 0.92 2/68 23143
/proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18684 CPUtime=170.04
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 16997 7 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4671 4492 107 232 0 4436 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 18684

[startup+180.104 s]
/proc/loadavg: 0.99 0.97 0.92 2/68 23143
/proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18684 CPUtime=180.04
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 17997 7 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4671 4492 107 232 0 4436 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 18684

[startup+190.11 s]
/proc/loadavg: 0.99 0.97 0.92 2/68 23143
/proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18684 CPUtime=190.05
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 18997 8 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4671 4492 107 232 0 4436 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 18684

[startup+200.117 s]
/proc/loadavg: 0.99 0.97 0.92 2/68 23143
/proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18684 CPUtime=200.05
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5253 0 0 0 19997 8 0 0 25 0 1 0 191624316 19132416 4492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551679 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4671 4492 107 232 0 4436 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 18684

[startup+210.123 s]
/proc/loadavg: 0.99 0.97 0.92 2/68 23143
/proc/meminfo: memFree=1189928/2055892 swapFree=4085344/4096564

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

/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 178052 99 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4735 4536 108 232 0 4500 0
Current children cumulated CPU time (s) 1781.51
Current children cumulated vsize (Kb) 18940

[startup+1783.08 s]
/proc/loadavg: 0.99 0.97 0.92 2/68 23338
/proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18940 CPUtime=1782.52
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 178153 99 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4735 4536 108 232 0 4500 0
Current children cumulated CPU time (s) 1782.52
Current children cumulated vsize (Kb) 18940

[startup+1784.08 s]
/proc/loadavg: 0.99 0.97 0.92 2/68 23338
/proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18940 CPUtime=1783.53
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 178253 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4735 4536 108 232 0 4500 0
Current children cumulated CPU time (s) 1783.53
Current children cumulated vsize (Kb) 18940

[startup+1785.09 s]
/proc/loadavg: 0.99 0.97 0.92 2/68 23338
/proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18940 CPUtime=1784.53
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 178353 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4735 4536 108 232 0 4500 0
Current children cumulated CPU time (s) 1784.53
Current children cumulated vsize (Kb) 18940

[startup+1786.09 s]
/proc/loadavg: 0.99 0.97 0.92 2/68 23338
/proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18940 CPUtime=1785.54
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 178454 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551632 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4735 4536 108 232 0 4500 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (Kb) 18940

[startup+1787.1 s]
/proc/loadavg: 0.99 0.97 0.92 2/68 23338
/proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18940 CPUtime=1786.54
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 178554 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546663 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4735 4536 108 232 0 4500 0
Current children cumulated CPU time (s) 1786.54
Current children cumulated vsize (Kb) 18940

[startup+1788.1 s]
/proc/loadavg: 0.99 0.97 0.92 2/68 23338
/proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18940 CPUtime=1787.55
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 178655 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4735 4536 108 232 0 4500 0
Current children cumulated CPU time (s) 1787.55
Current children cumulated vsize (Kb) 18940

[startup+1789.11 s]
/proc/loadavg: 0.99 0.97 0.92 2/68 23338
/proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18940 CPUtime=1788.55
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 178755 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4735 4536 108 232 0 4500 0
Current children cumulated CPU time (s) 1788.55
Current children cumulated vsize (Kb) 18940

[startup+1790.11 s]
/proc/loadavg: 0.99 0.97 0.92 2/68 23338
/proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18940 CPUtime=1789.56
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 178856 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4735 4536 108 232 0 4500 0
Current children cumulated CPU time (s) 1789.56
Current children cumulated vsize (Kb) 18940

[startup+1791.12 s]
/proc/loadavg: 0.99 0.97 0.92 2/68 23338
/proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18940 CPUtime=1790.56
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 178956 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546657 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4735 4536 108 232 0 4500 0
Current children cumulated CPU time (s) 1790.56
Current children cumulated vsize (Kb) 18940

[startup+1792.12 s]
/proc/loadavg: 0.99 0.97 0.92 2/68 23338
/proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18940 CPUtime=1791.56
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 179056 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4735 4536 108 232 0 4500 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (Kb) 18940

[startup+1793.13 s]
/proc/loadavg: 0.99 0.97 0.92 2/68 23338
/proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18940 CPUtime=1792.57
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 179157 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4735 4536 108 232 0 4500 0
Current children cumulated CPU time (s) 1792.57
Current children cumulated vsize (Kb) 18940

[startup+1794.13 s]
/proc/loadavg: 0.99 0.97 0.92 2/68 23338
/proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18940 CPUtime=1793.57
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 179257 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4735 4536 108 232 0 4500 0
Current children cumulated CPU time (s) 1793.57
Current children cumulated vsize (Kb) 18940

[startup+1795.14 s]
/proc/loadavg: 0.99 0.97 0.92 2/68 23338
/proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18940 CPUtime=1794.58
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 179358 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4735 4536 108 232 0 4500 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (Kb) 18940

[startup+1796.14 s]
/proc/loadavg: 0.99 0.97 0.92 2/68 23338
/proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18940 CPUtime=1795.58
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 179458 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4735 4536 108 232 0 4500 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (Kb) 18940

[startup+1797.14 s]
/proc/loadavg: 0.99 0.97 0.92 2/68 23338
/proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18940 CPUtime=1796.59
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 179559 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4735 4536 108 232 0 4500 0
Current children cumulated CPU time (s) 1796.59
Current children cumulated vsize (Kb) 18940

[startup+1798.15 s]
/proc/loadavg: 0.99 0.97 0.92 2/68 23338
/proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18940 CPUtime=1797.59
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 179659 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4735 4536 108 232 0 4500 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (Kb) 18940

[startup+1799.15 s]
/proc/loadavg: 0.99 0.97 0.92 2/68 23338
/proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18940 CPUtime=1798.59
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 179759 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4735 4536 108 232 0 4500 0
Current children cumulated CPU time (s) 1798.59
Current children cumulated vsize (Kb) 18940

[startup+1800.16 s]
/proc/loadavg: 0.99 0.97 0.92 2/68 23338
/proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18940 CPUtime=1799.6
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 179860 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4735 4536 108 232 0 4500 0
Current children cumulated CPU time (s) 1799.6
Current children cumulated vsize (Kb) 18940

[startup+1801.16 s]
/proc/loadavg: 0.99 0.97 0.92 2/68 23338
/proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18940 CPUtime=1800.6
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 179960 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4735 4536 108 232 0 4500 0
Current children cumulated CPU time (s) 1800.6
Current children cumulated vsize (Kb) 18940



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.17 s]
/proc/loadavg: 0.99 0.97 0.92 2/68 23338
/proc/meminfo: memFree=1189672/2055892 swapFree=4085344/4096564
[pid=23143] ppid=23141 vsize=18940 CPUtime=1800.61
/proc/23143/stat : 23143 (PBS4L) R 23141 23143 23097 0 -1 4194304 5297 0 0 0 179961 100 0 0 25 0 1 0 191624316 19394560 4536 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0
/proc/23143/statm: 4735 4536 108 232 0 4500 0
Current children cumulated CPU time (s) 1800.61
Current children cumulated vsize (Kb) 18940

Sending SIGTERM to -23143
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.18
CPU time (s): 1800.62
CPU user time (s): 1799.61
CPU system time (s): 1.01285
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (Kb): 18940
The end

Launcher Data (download as text)

Begin job on node81 on Fri Jun  2 14:50:49 UTC 2006


FILE ID= 41275-1149259849

PBS_JOBID= 298592

BENCH NAME= ROOT/tmp/node81/41275-1149259849/instance-41275-1149259849.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node81/41275-1149259849/instance-41275-1149259849.opb 445135784
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node81/watcher-41275-1149259849 -o ROOT/results/node81/solver-41275-1149259849 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node81/41275-1149259849/instance-41275-1149259849.opb 445135784

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  d7af4e70b8b5243fa0953f7b849db937

RANDOM SEED= 445135784


/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.248
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	: 6006.19
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.248
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	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1207480 kB
Buffers:         44480 kB
Cached:         725208 kB
SwapCached:       2656 kB
Active:         173532 kB
Inactive:       605056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1207480 kB
SwapTotal:     4096564 kB
SwapFree:      4085344 kB
Dirty:             152 kB
Writeback:           0 kB
Mapped:          16516 kB
Slab:            56368 kB
Committed_AS:   245704 kB
PageTables:       1288 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node81 on Fri Jun  2 15:20:50 UTC 2006