Trace number 41305

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.46 1801.16

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-sp97ic.opb
MD5SUM398f2ddedf5bd2978b4636f0e4bc50cf
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark657
Best CPU time to get the best result obtained on this benchmark1801.2
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 638
Optimality of the best value was proved NO
Number of variables12497
Total number of constraints1033
Number of constraints which are clauses41
Number of constraints which are cardinality constraints (but not clauses)815
Number of constraints which are nor clauses,nor cardinality constraints177
Minimum length of a constraint2
Maximum length of a constraint6739
Number of terms in the objective function 12497
Biggest coefficient in the objective function 172
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 530548
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 172
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 530548
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/node89/41305-1149270248/instance-41305-1149270248.opb ......
8.11	c done parsing opb.
8.11	o 54319
11.94	o 54318
15.75	o 54311
19.58	o 54310
23.43	o 54303
27.28	o 54302
31.09	o 54301
34.90	o 54294
38.72	o 54293
42.57	o 54287
46.42	o 54284
50.24	o 54278
54.04	o 54273
57.86	o 54267
61.70	o 54262
65.55	o 54256
69.37	o 54254
73.18	o 54249
76.99	o 54243
80.83	o 54242
84.67	o 54236
88.51	o 54235
92.32	o 54229
96.13	o 54227
99.96	o 54226
103.80	o 54220
107.65	o 54219
111.46	o 54216
115.26	o 54215
119.08	o 54209
122.93	o 54207
126.77	o 54205
130.59	o 54204
134.40	o 54202
138.21	o 54201
142.06	o 54200
145.90	o 54199
149.72	o 54198
153.53	o 54192
157.34	o 54191
161.18	o 54186
165.02	o 54183
168.85	o 54181
172.66	o 54178
176.47	o 54176
180.30	o 54174
184.15	o 54171
187.99	o 54169
191.79	o 54166
195.60	o 54164
199.43	o 54161
203.27	o 54159
207.12	o 54158
210.93	o 54157
214.74	o 54156
218.55	o 54155
222.40	o 54153
226.24	o 54152
230.06	o 54151
233.87	o 54150
237.68	o 54145
241.52	o 54143
245.37	o 54141
249.20	o 54139
253.00	o 54138
256.81	o 54137
260.65	o 54136
264.49	o 54135
268.33	o 54130
272.14	o 54128
275.94	o 54126
279.77	o 54125
283.62	o 54124
287.46	o 54123
291.27	o 54122
295.08	o 54121
298.90	o 54116
302.74	o 54115
306.59	o 54114
310.41	o 54109
314.21	o 54108
318.02	o 54107
321.87	o 54106
325.71	o 54105
329.54	o 54104
333.35	o 54099
337.15	o 54097
340.99	o 54095
344.84	o 54093
348.67	o 54091
352.48	o 54089
356.29	o 54087
360.12	o 54086
363.96	o 54085
367.81	o 54084
371.61	o 54083
375.42	o 54082
379.25	o 54081
383.09	o 54076
386.94	o 54074
390.75	o 54071
394.56	o 54069
398.37	o 54067
402.22	o 54065
406.06	o 54063
409.89	o 54060
413.70	o 54058
417.51	o 54056
421.35	o 54055
425.19	o 54054
429.02	o 54053
432.83	o 54052
436.64	o 54051
440.48	o 54050
444.32	o 54045
448.16	o 54043
451.97	o 54042
455.78	o 54041
459.61	o 54040
463.45	o 54039
467.30	o 54038
471.11	o 54033
474.92	o 54031
478.74	o 54029
482.58	o 54028
486.43	o 54027
490.25	o 54025
494.06	o 54024
497.87	o 54021
501.71	o 54017
505.56	o 54016
509.39	o 54011
513.20	o 54008
517.00	o 54007
520.84	o 54003
524.69	o 53998
528.53	o 53997
532.33	o 53993
536.14	o 53992
539.97	o 53990
543.82	o 53989
547.66	o 53987
551.47	o 53986
555.28	o 53985
559.10	o 53984
562.95	o 53980
566.79	o 53979
570.61	o 53978
574.42	o 53977
578.23	o 53973
582.08	o 53968
585.92	o 53966
589.75	o 53964
593.56	o 53959
597.37	o 53958
601.21	o 53956
605.06	o 53955
608.89	o 53952
612.70	o 53951
616.51	o 53949
620.34	o 53948
624.19	o 53946
628.03	o 53942
631.84	o 53941
635.65	o 53606
639.48	o 53603
643.32	o 53600
647.17	o 53596
650.99	o 53564
654.80	o 53498
658.62	o 53495
662.47	o 53492
666.31	o 53488
670.14	o 53485
673.95	o 53482
677.76	o 53481
681.60	o 53476
685.45	o 53472
689.28	o 53470
693.09	o 53469
696.90	o 53467
700.73	o 53466
704.58	o 53464
708.42	o 53461
712.23	o 53459
716.04	o 53456
719.87	o 53451
723.72	o 53448
727.57	o 53447
731.38	o 53446
735.19	o 53444
739.01	o 53441
742.86	o 53440
746.71	o 53438
750.53	o 53433
754.34	o 53432
758.15	o 53428
762.00	o 53426
765.85	o 53422
769.68	o 53417
773.49	o 53412
777.30	o 53410
781.14	o 53408
784.98	o 53406
788.82	o 53405
792.64	o 50869
796.45	o 50594
800.29	o 50592
804.14	o 50590
807.99	o 50587
811.81	o 50586
815.62	o 50580
819.46	o 50579
823.31	o 50578
827.16	o 50575
830.98	o 50572
834.79	o 50571
838.61	o 50570
842.47	o 50569
846.32	o 50564
850.15	o 50561
853.96	o 50560
857.78	o 50556
861.63	o 50555
865.48	o 50554
869.31	o 50551
873.13	o 50549
876.94	o 50547
880.78	o 50543
884.63	o 50542
888.48	o 50541
892.29	o 50540
896.10	o 50539
899.93	o 50537
903.78	o 50535
907.64	o 50534
911.45	o 50533
915.26	o 50531
919.09	o 50529
922.94	o 50528
926.79	o 50527
930.62	o 50524
934.43	o 50523
938.25	o 50520
942.10	o 50515
945.96	o 50513
949.79	o 49616
953.59	o 49611
957.40	o 49610
961.24	o 49557
965.08	o 49554
968.92	o 49549
972.73	o 49447
976.54	o 49445
980.37	o 49444
984.21	o 49442
988.06	o 49441
991.86	o 49438
995.67	o 49437
999.50	o 49436
1003.34	o 49435
1007.18	o 49267
1011.00	o 49262
1014.83	o 49152
1018.65	o 49149
1022.52	o 49147
1026.37	o 49146
1030.21	o 49143
1034.02	o 49142
1037.82	o 49139
1041.67	o 49137
1045.52	o 49136
1049.35	o 49133
1053.16	o 49132
1056.97	o 49130
1060.80	o 49035
1064.65	o 49034
1068.49	o 49030
1072.30	o 49029
1076.12	o 49027
1079.95	o 49025
1083.80	o 49024
1087.64	o 49021
1091.45	o 49020
1095.26	o 49018
1099.08	o 49017
1102.93	o 49012
1106.78	o 49011
1110.60	o 49009
1114.41	o 49007
1118.23	o 49005
1122.08	o 49001
1125.92	o 48997
1129.75	o 48996
1133.56	o 48992
1137.38	o 48991
1141.22	o 48990
1145.07	o 48986
1148.91	o 48982
1152.72	o 48980
1156.53	o 48979
1160.36	o 48975
1164.21	o 48972
1168.05	o 48969
1171.87	o 48968
1175.68	o 48965
1179.51	o 48964
1183.36	o 48963
1187.21	o 48960
1191.03	o 48955
1194.84	o 48950
1198.66	o 48948
1202.50	o 48946
1206.35	o 48945
1210.18	o 48944
1213.99	o 48943
1217.80	o 48940
1221.65	o 48939
1225.50	o 48937
1229.33	o 48932
1233.15	o 48927
1236.96	o 48926
1240.80	o 48924
1244.65	o 48922
1248.49	o 48920
1252.31	o 48915
1256.12	o 48912
1259.95	o 48907
1263.80	o 48906
1267.65	o 48904
1271.46	o 48903
1275.28	o 48902
1279.10	o 48897
1282.95	o 48895
1286.79	o 48894
1290.62	o 48893
1294.43	o 48890
1298.24	o 48888
1302.10	o 48887
1305.95	o 48884
1309.78	o 48883
1313.59	o 48880
1317.40	o 48878
1321.25	o 48877
1325.09	o 48876
1328.94	o 48873
1332.75	o 48872
1336.57	o 48869
1340.40	o 48865
1344.25	o 48864
1348.10	o 48863
1351.91	o 48861
1355.72	o 48860
1359.55	o 48859
1363.40	o 48858
1367.25	o 48857
1371.07	o 48856
1374.89	o 48855
1378.71	o 48851
1382.56	o 48849
1386.41	o 48848
1390.24	o 48845
1394.05	o 48840
1397.86	o 48837
1401.71	o 48834
1405.56	o 48829
1409.40	o 48827
1413.21	o 48826
1417.03	o 48822
1420.87	o 48821
1424.71	o 48820
1428.56	o 48815
1432.37	o 48814
1436.19	o 48813
1440.02	o 48812
1443.87	o 48811
1447.72	o 48810
1451.53	o 48808
1455.34	o 48807
1459.16	o 48806
1463.01	o 48804
1466.86	o 48801
1470.69	o 48800
1474.51	o 48798
1478.32	o 48794
1482.18	o 48793
1486.03	o 48789
1489.87	o 48787
1493.68	o 48785
1497.50	o 48781
1501.34	o 48777
1505.19	o 48775
1509.03	o 48771
1512.84	o 48770
1516.66	o 48767
1520.49	o 48765
1524.34	o 48763
1528.19	o 48761
1532.00	o 48759
1535.81	o 48756
1539.64	o 48755
1543.49	o 48753
1547.34	o 48752
1551.16	o 48750
1554.97	o 48748
1558.79	o 48744
1562.64	o 48743
1566.49	o 48742
1570.32	o 48741
1574.14	o 48737
1577.95	o 48736
1581.80	o 48735
1585.65	o 48734
1589.49	o 48730
1593.30	o 48729
1597.12	o 48726
1600.96	o 48724
1604.81	o 48720
1608.66	o 48719
1612.47	o 48718
1616.29	o 48714
1620.12	o 48710
1623.98	o 48708
1627.83	o 48707
1631.64	o 48706
1635.46	o 48702
1639.29	o 48700
1643.14	o 48698
1646.99	o 48693
1650.81	o 48690
1654.63	o 48688
1658.45	o 48687
1662.30	o 48682
1666.15	o 48678
1669.98	o 48676
1673.80	o 48672
1677.61	o 48670
1681.45	o 48669
1685.30	o 48666
1689.14	o 48663
1692.96	o 48662
1696.77	o 48661
1700.60	o 48660
1704.45	o 48659
1708.30	o 48658
1712.12	o 48657
1715.94	o 48655
1719.78	o 48654
1723.63	o 48649
1727.48	o 48646
1731.30	o 48641
1735.11	o 48640
1738.94	o 48638
1742.79	o 48634
1746.64	o 48629
1750.47	o 48626
1754.28	o 48624
1758.09	o 48620
1761.94	o 48618
1765.80	o 48617
1769.64	o 48616
1773.45	o 48614
1777.27	o 48612
1781.11	o 48611
1784.97	o 48608
1788.81	o 48606
1792.63	o 48605
1796.44	o 48603
1800.28	o 48598

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/node89/watcher-41305-1149270248 -o ROOT/results/node89/solver-41305-1149270248 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node89/41305-1149270248/instance-41305-1149270248.opb 566909261 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.97 0.94 2/68 16487
/proc/meminfo: memFree=1633048/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=2572 CPUtime=0
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 192663900 2633728 112 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135085963 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 643 113 90 232 0 408 0

[startup+10.0022 s]
/proc/loadavg: 0.93 0.97 0.94 2/68 16487
/proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=9.99
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 998 1 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 12536

[startup+20.0081 s]
/proc/loadavg: 0.94 0.97 0.94 2/68 16487
/proc/meminfo: memFree=1621784/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=19.98
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 1997 1 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 12536

[startup+30.0139 s]
/proc/loadavg: 0.95 0.97 0.94 2/68 16487
/proc/meminfo: memFree=1621848/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=29.99
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 2997 2 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551626 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 12536

[startup+40.0198 s]
/proc/loadavg: 0.96 0.97 0.94 2/68 16487
/proc/meminfo: memFree=1621784/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=39.99
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 3997 2 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551632 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 12536

[startup+50.0257 s]
/proc/loadavg: 0.96 0.97 0.94 2/68 16487
/proc/meminfo: memFree=1621784/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=49.99
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 4997 2 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 12536

[startup+60.0315 s]
/proc/loadavg: 0.97 0.97 0.94 2/68 16487
/proc/meminfo: memFree=1621848/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=59.99
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 5997 2 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 12536

[startup+70.0374 s]
/proc/loadavg: 0.97 0.97 0.94 2/68 16487
/proc/meminfo: memFree=1621848/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=70
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 6998 2 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 12536

[startup+80.0432 s]
/proc/loadavg: 0.98 0.97 0.94 2/68 16487
/proc/meminfo: memFree=1621848/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=80
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 7997 3 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551529 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 12536

[startup+90.0491 s]
/proc/loadavg: 0.98 0.97 0.94 2/68 16487
/proc/meminfo: memFree=1621848/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=90.01
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 8998 3 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 12536

[startup+100.055 s]
/proc/loadavg: 0.98 0.97 0.94 2/68 16487
/proc/meminfo: memFree=1621848/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=100.01
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 9998 3 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 12536

[startup+110.061 s]
/proc/loadavg: 0.98 0.97 0.94 2/68 16487
/proc/meminfo: memFree=1621848/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=110.01
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 10998 3 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 12536

[startup+120.067 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 16487
/proc/meminfo: memFree=1621848/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=120.01
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 11998 3 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551632 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 12536

[startup+130.073 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 16487
/proc/meminfo: memFree=1621848/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=130.02
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 12998 4 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 12536

[startup+140.078 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 16487
/proc/meminfo: memFree=1621848/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=140.02
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 13998 4 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 12536

[startup+150.084 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 16487
/proc/meminfo: memFree=1621912/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=150.02
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 14998 4 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 12536

[startup+160.09 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 16487
/proc/meminfo: memFree=1621912/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=160.02
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 15998 4 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 12536

[startup+170.096 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 16487
/proc/meminfo: memFree=1621848/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=170.03
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 16998 5 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 12536

[startup+180.102 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 16487
/proc/meminfo: memFree=1621848/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=180.03
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 17998 5 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 12536

[startup+190.107 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 16487
/proc/meminfo: memFree=1621848/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=190.02
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 18997 5 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 12536

[startup+200.113 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 16487
/proc/meminfo: memFree=1621848/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=200.03
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 19997 6 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 12536

[startup+210.119 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 16487
/proc/meminfo: memFree=1621848/2055892 swapFree=4085360/4096564

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

/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 178080 56 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 1781.36
Current children cumulated vsize (Kb) 12536

[startup+1783.06 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 16682
/proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=1782.36
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 178180 56 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (Kb) 12536

[startup+1784.07 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 16682
/proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=1783.36
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 178280 56 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 1783.36
Current children cumulated vsize (Kb) 12536

[startup+1785.07 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 16682
/proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=1784.38
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 178381 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 1784.38
Current children cumulated vsize (Kb) 12536

[startup+1786.08 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 16682
/proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=1785.38
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 178481 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551638 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 1785.38
Current children cumulated vsize (Kb) 12536

[startup+1787.08 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 16682
/proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=1786.39
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 178582 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 1786.39
Current children cumulated vsize (Kb) 12536

[startup+1788.09 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 16682
/proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=1787.39
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 178682 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 1787.39
Current children cumulated vsize (Kb) 12536

[startup+1789.09 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 16682
/proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=1788.39
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 178782 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 1788.39
Current children cumulated vsize (Kb) 12536

[startup+1790.1 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 16682
/proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=1789.4
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 178883 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 1789.4
Current children cumulated vsize (Kb) 12536

[startup+1791.1 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 16682
/proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=1790.4
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 178983 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 1790.4
Current children cumulated vsize (Kb) 12536

[startup+1792.11 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 16682
/proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=1791.41
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 179084 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551624 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (Kb) 12536

[startup+1793.11 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 16682
/proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=1792.41
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 179184 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 1792.41
Current children cumulated vsize (Kb) 12536

[startup+1794.12 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 16682
/proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=1793.41
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 179284 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 1793.41
Current children cumulated vsize (Kb) 12536

[startup+1795.12 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 16682
/proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=1794.42
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 179385 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 1794.42
Current children cumulated vsize (Kb) 12536

[startup+1796.13 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 16682
/proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=1795.42
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 179485 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 1795.42
Current children cumulated vsize (Kb) 12536

[startup+1797.13 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 16682
/proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=1796.43
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 179586 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 1796.43
Current children cumulated vsize (Kb) 12536

[startup+1798.14 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 16682
/proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=1797.43
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 179686 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551632 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 1797.43
Current children cumulated vsize (Kb) 12536

[startup+1799.14 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 16682
/proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=1798.44
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 179787 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 1798.44
Current children cumulated vsize (Kb) 12536

[startup+1800.15 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 16682
/proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=1799.44
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 179887 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 1799.44
Current children cumulated vsize (Kb) 12536

[startup+1801.15 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 16682
/proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=1800.45
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 179988 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (Kb) 12536



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.15 s]
/proc/loadavg: 0.99 0.97 0.94 2/68 16682
/proc/meminfo: memFree=1621656/2055892 swapFree=4085360/4096564
[pid=16487] ppid=16485 vsize=12536 CPUtime=1800.45
/proc/16487/stat : 16487 (PBS4L) R 16485 16487 16441 0 -1 4194304 3495 0 0 0 179988 57 0 0 25 0 1 0 192663900 12836864 2957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/16487/statm: 3134 2957 107 232 0 2899 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (Kb) 12536

Sending SIGTERM to -16487
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.16
CPU time (s): 1800.46
CPU user time (s): 1799.89
CPU system time (s): 0.574912
CPU usage (%): 99.9611
Max. virtual memory (cumulated for all children) (Kb): 12536
The end

Launcher Data (download as text)

Begin job on node89 on Fri Jun  2 17:44:08 UTC 2006


FILE ID= 41305-1149270248

PBS_JOBID= 298986

BENCH NAME= ROOT/tmp/node89/41305-1149270248/instance-41305-1149270248.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node89/41305-1149270248/instance-41305-1149270248.opb 566909261
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node89/watcher-41305-1149270248 -o ROOT/results/node89/solver-41305-1149270248 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node89/41305-1149270248/instance-41305-1149270248.opb 566909261

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  398f2ddedf5bd2978b4636f0e4bc50cf

RANDOM SEED= 566909261


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


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1633256 kB
Buffers:         31868 kB
Cached:         319716 kB
SwapCached:       2560 kB
Active:         102340 kB
Inactive:       258088 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1633256 kB
SwapTotal:     4096564 kB
SwapFree:      4085360 kB
Dirty:             132 kB
Writeback:           0 kB
Mapped:          16532 kB
Slab:            48748 kB
Committed_AS:   271780 kB
PageTables:       1300 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node89 on Fri Jun  2 18:14:10 UTC 2006