Trace number 41281

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.54 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-sp98ic.opb
MD5SUMc7b5febdd9943d6f5734f2bb85a2dc73
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark832
Best CPU time to get the best result obtained on this benchmark1782.77
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 801
Optimality of the best value was proved NO
Number of variables10894
Total number of constraints825
Number of constraints which are clauses20
Number of constraints which are cardinality constraints (but not clauses)624
Number of constraints which are nor clauses,nor cardinality constraints181
Minimum length of a constraint2
Maximum length of a constraint5038
Number of terms in the objective function 10894
Biggest coefficient in the objective function 187
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 529756
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 187
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 529756
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/41281-1149261214/instance-41281-1149261214.opb ......
7.72	c done parsing opb.
7.72	o 50821
11.41	o 50818
15.11	o 50809
18.82	o 50808
22.49	o 50800
26.16	o 50797
29.84	o 50793
33.54	o 50792
37.25	o 50790
40.94	o 50783
44.61	o 50781
48.28	o 50778
51.97	o 50776
55.68	o 50774
59.38	o 50773
63.06	o 50772
66.73	o 50765
70.41	o 50762
74.11	o 50760
77.82	o 50758
81.50	o 50756
85.17	o 50755
88.84	o 50754
92.54	o 50753
96.25	o 50752
99.95	o 50745
103.62	o 50744
107.29	o 50743
110.97	o 50736
114.68	o 50734
118.38	o 50733
122.06	o 50726
125.73	o 50724
129.40	o 50723
133.11	o 50721
136.81	o 50720
140.50	o 50713
144.17	o 50711
147.84	o 50708
151.53	o 50706
155.24	o 50703
158.94	o 50701
162.62	o 50698
166.29	o 50697
169.96	o 50696
173.66	o 50694
177.37	o 50693
181.06	o 50692
184.73	o 50685
188.40	o 50684
192.09	o 50677
195.80	o 50676
199.50	o 50675
203.17	o 50673
206.84	o 50672
210.52	o 50671
214.22	o 50664
217.93	o 50661
221.61	o 50658
225.28	o 50655
228.95	o 50651
232.65	o 50648
236.36	o 50645
240.06	o 50644
243.72	o 50643
247.39	o 50641
251.08	o 50639
254.78	o 50637
258.49	o 50636
262.17	o 50635
265.84	o 50628
269.50	o 50623
273.21	o 50621
276.91	o 50618
280.61	o 50616
284.28	o 50613
287.95	o 50611
291.64	o 50610
295.34	o 50609
299.04	o 50608
302.72	o 50606
306.39	o 50605
310.06	o 50603
313.77	o 50602
317.47	o 50601
321.16	o 50594
324.83	o 50591
328.50	o 50588
332.20	o 50585
335.90	o 50584
339.60	o 50582
343.27	o 50580
346.94	o 50579
350.62	o 50577
354.33	o 50576
358.03	o 50575
361.71	o 50574
365.38	o 50567
369.05	o 50563
372.75	o 50558
376.45	o 50555
380.15	o 50552
383.82	o 50550
387.49	o 50547
391.17	o 50545
394.88	o 50543
398.58	o 50542
402.26	o 50540
405.93	o 50539
409.60	o 50538
413.30	o 50537
417.00	o 50530
420.70	o 50528
424.37	o 50527
428.04	o 50525
431.73	o 50524
435.43	o 50522
439.13	o 50521
442.81	o 50520
446.48	o 50519
450.15	o 50512
453.85	o 50509
457.56	o 50506
461.25	o 50505
464.92	o 50503
468.59	o 50499
472.28	o 50497
475.99	o 50496
479.69	o 50494
483.36	o 50493
487.03	o 50489
490.71	o 50488
494.41	o 50487
498.11	o 50485
501.80	o 50484
505.47	o 50480
509.14	o 50479
512.84	o 50472
516.54	o 50470
520.24	o 50468
523.91	o 50466
527.58	o 50459
531.27	o 50456
534.97	o 50453
538.67	o 50450
542.35	o 50446
546.02	o 50443
549.69	o 50442
553.39	o 50440
557.10	o 50439
560.79	o 50437
564.46	o 50435
568.13	o 50434
571.82	o 50433
575.53	o 50425
579.23	o 50422
582.90	o 50419
586.57	o 50416
590.25	o 50413
593.95	o 50410
597.66	o 50409
601.35	o 50407
605.02	o 50405
608.69	o 50403
612.38	o 50327
616.09	o 50325
619.79	o 50230
623.46	o 50225
627.14	o 50221
630.82	o 50219
634.52	o 50214
638.23	o 50213
641.91	o 50209
645.58	o 50208
649.25	o 50206
652.95	o 50204
656.66	o 50199
660.35	o 50196
664.02	o 50194
667.70	o 50187
671.38	o 50186
675.09	o 50180
678.79	o 50165
682.47	o 50164
686.14	o 50160
689.81	o 50159
693.52	o 50157
697.22	o 50156
700.92	o 50150
704.59	o 50148
708.26	o 50146
711.95	o 50144
715.66	o 50143
719.36	o 50139
723.03	o 50134
726.70	o 50132
730.38	o 50127
734.08	o 50126
737.79	o 50121
741.48	o 50116
745.15	o 50115
748.82	o 50114
752.52	o 50113
756.22	o 50112
759.93	o 50110
763.60	o 47968
767.27	o 47967
770.95	o 47965
774.65	o 47964
778.36	o 47962
782.04	o 47961
785.71	o 47951
789.38	o 47949
793.08	o 47819
796.78	o 47815
800.48	o 47809
804.15	o 47807
807.82	o 47805
811.50	o 47802
815.20	o 47801
818.91	o 47797
822.58	o 47796
826.25	o 47793
829.92	o 47790
833.63	o 47789
837.33	o 47787
841.02	o 47785
844.69	o 47784
848.36	o 47782
852.05	o 47776
855.76	o 47775
859.46	o 47774
863.13	o 47770
866.80	o 47769
870.47	o 47767
874.18	o 47761
877.88	o 47760
881.57	o 47759
885.24	o 47756
888.91	o 47754
892.60	o 47752
896.31	o 47746
900.01	o 47742
903.68	o 47741
907.35	o 47740
911.03	o 47736
914.73	o 45987
918.43	o 45986
922.10	o 45980
925.76	o 45974
929.42	o 45973
933.11	o 45971
936.81	o 45855
940.50	o 45854
944.16	o 45850
947.83	o 45847
951.51	o 45846
955.20	o 45840
958.90	o 45833
962.57	o 45831
966.23	o 45827
969.90	o 45826
973.60	o 45825
977.29	o 45819
980.98	o 45815
984.64	o 45813
988.30	o 45807
991.98	o 45805
995.68	o 45804
999.38	o 45802
1003.05	o 45799
1006.71	o 45797
1010.38	o 45796
1014.08	o 45795
1017.78	o 45792
1021.46	o 45791
1025.12	o 45789
1028.78	o 45787
1032.47	o 45782
1036.17	o 45538
1039.86	o 45537
1043.52	o 45536
1047.19	o 45532
1050.87	o 45525
1054.57	o 45522
1058.27	o 45518
1061.95	o 45517
1065.61	o 45516
1069.28	o 45514
1072.97	o 45509
1076.67	o 45506
1080.37	o 45505
1084.04	o 45500
1087.70	o 45499
1091.39	o 45497
1095.08	o 45493
1098.78	o 45488
1102.46	o 45487
1106.12	o 45481
1109.79	o 45479
1113.49	o 45477
1117.19	o 45476
1120.87	o 45471
1124.54	o 45470
1128.21	o 45467
1131.90	o 45463
1135.60	o 45458
1139.31	o 45455
1142.98	o 45454
1146.64	o 45449
1150.30	o 45445
1154.01	o 45444
1157.71	o 45438
1161.40	o 45435
1165.06	o 45432
1168.72	o 45429
1172.41	o 45426
1176.12	o 45420
1179.82	o 45419
1183.49	o 45417
1187.15	o 45413
1190.83	o 45410
1194.53	o 45408
1198.23	o 45407
1201.92	o 45405
1205.59	o 45402
1209.26	o 45401
1212.95	o 45398
1216.66	o 45396
1220.35	o 45395
1224.02	o 45389
1227.69	o 45388
1231.37	o 45387
1235.07	o 45383
1238.77	o 45381
1242.45	o 45377
1246.11	o 45376
1249.78	o 45374
1253.49	o 45373
1257.19	o 45369
1260.88	o 45364
1264.54	o 45358
1268.21	o 45354
1271.89	o 45353
1275.59	o 45348
1279.29	o 45347
1282.96	o 45346
1286.63	o 45345
1290.31	o 45341
1294.01	o 45340
1297.71	o 45339
1301.39	o 45336
1305.06	o 45335
1308.73	o 45332
1312.42	o 45331
1316.12	o 45327
1319.83	o 45320
1323.50	o 45314
1327.17	o 45308
1330.85	o 45304
1334.56	o 45299
1338.26	o 45298
1341.94	o 45293
1345.61	o 45292
1349.28	o 45286
1352.97	o 45283
1356.68	o 45279
1360.37	o 45278
1364.04	o 45277
1367.70	o 45275
1371.38	o 45270
1375.09	o 45269
1378.79	o 45268
1382.47	o 45265
1386.14	o 45263
1389.81	o 45262
1393.51	o 45257
1397.20	o 45255
1400.90	o 45253
1404.57	o 45250
1408.23	o 45245
1411.92	o 45239
1415.62	o 45238
1419.32	o 45237
1423.00	o 45236
1426.66	o 45230
1430.33	o 45228
1434.04	o 45227
1437.74	o 45223
1441.43	o 45220
1445.10	o 45218
1448.76	o 45217
1452.46	o 45215
1456.16	o 45212
1459.86	o 45211
1463.53	o 45210
1467.19	o 45209
1470.87	o 45204
1474.58	o 45199
1478.28	o 45193
1481.97	o 45192
1485.64	o 45189
1489.31	o 45184
1493.01	o 45182
1496.72	o 45177
1500.42	o 45176
1504.09	o 45175
1507.76	o 45173
1511.44	o 45170
1515.15	o 45165
1518.85	o 45164
1522.52	o 45163
1526.19	o 45162
1529.85	o 45158
1533.55	o 45155
1537.26	o 45152
1540.95	o 45149
1544.62	o 45144
1548.29	o 45143
1551.97	o 45142
1555.67	o 45140
1559.37	o 45138
1563.04	o 45135
1566.72	o 45130
1570.39	o 45127
1574.09	o 45125
1577.80	o 45121
1581.49	o 45116
1585.16	o 45115
1588.83	o 45112
1592.52	o 45108
1596.23	o 45106
1599.93	o 45101
1603.60	o 45097
1607.27	o 45095
1610.95	o 45094
1614.66	o 45093
1618.37	o 45092
1622.05	o 45091
1625.72	o 45088
1629.38	o 45087
1633.09	o 45084
1636.79	o 45082
1640.49	o 45081
1644.16	o 45080
1647.83	o 45078
1651.51	o 45076
1655.22	o 45074
1658.93	o 45073
1662.60	o 45072
1666.27	o 45070
1669.95	o 45065
1673.65	o 45063
1677.36	o 45060
1681.05	o 45057
1684.72	o 45056
1688.38	o 45053
1692.07	o 45048
1695.78	o 45046
1699.49	o 45045
1703.16	o 45044
1706.83	o 45043
1710.51	o 45039
1714.23	o 45038
1717.93	o 45037
1721.62	o 45030
1725.30	o 45024
1728.98	o 45019
1732.68	o 45017
1736.38	o 45014
1740.08	o 45009
1743.76	o 45007
1747.43	o 45006
1751.12	o 45002
1754.83	o 44997
1758.52	o 44991
1762.20	o 44990
1765.87	o 44983
1769.54	o 44976
1773.24	o 44975
1776.95	o 44974
1780.65	o 44971
1784.32	o 44969
1788.00	o 44968
1791.68	o 44964
1795.39	o 44962
1799.10	o 44959

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 1.01 0.96 2/68 15774
/proc/meminfo: memFree=1640856/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=2424 CPUtime=0
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 191760438 2482176 167 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598917 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 606 169 90 232 0 371 0

[startup+10.0031 s]
/proc/loadavg: 0.99 1.01 0.96 2/68 15774
/proc/meminfo: memFree=1629656/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=9.99
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 998 1 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 12200

[startup+20.0099 s]
/proc/loadavg: 0.99 1.01 0.96 2/68 15774
/proc/meminfo: memFree=1629848/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=19.99
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 1998 1 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 12200

[startup+30.0158 s]
/proc/loadavg: 0.99 1.01 0.96 2/68 15774
/proc/meminfo: memFree=1629912/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=30
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 2998 2 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 12200

[startup+40.0216 s]
/proc/loadavg: 0.99 1.01 0.96 2/68 15774
/proc/meminfo: memFree=1629912/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=40
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 3998 2 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 12200

[startup+50.0285 s]
/proc/loadavg: 0.99 1.01 0.96 2/68 15774
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=50
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 4998 2 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 12200

[startup+60.0343 s]
/proc/loadavg: 0.99 1.01 0.96 2/68 15774
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=60
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 5998 2 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 12200

[startup+70.0402 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15774
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=70
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 6998 2 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 12200

[startup+80.0461 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15774
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=80
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 7998 2 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 12200

[startup+90.0519 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15774
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=90.01
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 8998 3 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 12200

[startup+100.058 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15774
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=100.01
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 9998 3 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546505 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 12200

[startup+110.064 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15774
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=110.01
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 10998 3 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 12200

[startup+120.069 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15774
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=120.01
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 11998 3 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 12200

[startup+130.075 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15774
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=130.02
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 12998 4 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546657 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 12200

[startup+140.081 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15774
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=140.02
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 13998 4 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 12200

[startup+150.087 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15774
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=150.02
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 14998 4 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 12200

[startup+160.093 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15774
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=160.03
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 15998 5 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 12200

[startup+170.099 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15774
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=170.03
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 16998 5 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 12200

[startup+180.105 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15774
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=180.03
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 17998 5 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 12200

[startup+190.11 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15774
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=190.03
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 18998 5 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 12200

[startup+200.116 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15774
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=200.03
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 19998 5 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 12200

[startup+210.122 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15774
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564

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

/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 178089 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 1781.44
Current children cumulated vsize (Kb) 12200

[startup+1783.06 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15776
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=1782.44
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 178189 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 1782.44
Current children cumulated vsize (Kb) 12200

[startup+1784.06 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15776
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=1783.45
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 178290 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 1783.45
Current children cumulated vsize (Kb) 12200

[startup+1785.07 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15776
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=1784.45
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 178390 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 1784.45
Current children cumulated vsize (Kb) 12200

[startup+1786.07 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15776
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=1785.46
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 178491 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 1785.46
Current children cumulated vsize (Kb) 12200

[startup+1787.08 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15776
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=1786.46
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 178591 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 1786.46
Current children cumulated vsize (Kb) 12200

[startup+1788.08 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15776
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=1787.46
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 178691 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 1787.46
Current children cumulated vsize (Kb) 12200

[startup+1789.09 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15776
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=1788.47
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 178792 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 1788.47
Current children cumulated vsize (Kb) 12200

[startup+1790.09 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15776
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=1789.47
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 178892 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 1789.47
Current children cumulated vsize (Kb) 12200

[startup+1791.1 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15776
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=1790.48
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 178993 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 1790.48
Current children cumulated vsize (Kb) 12200

[startup+1792.1 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15776
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=1791.48
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 179093 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 1791.48
Current children cumulated vsize (Kb) 12200

[startup+1793.11 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15776
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=1792.48
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 179193 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 1792.48
Current children cumulated vsize (Kb) 12200

[startup+1794.11 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15776
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=1793.49
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 179294 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 1793.49
Current children cumulated vsize (Kb) 12200

[startup+1795.11 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15776
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=1794.49
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 179394 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 1794.49
Current children cumulated vsize (Kb) 12200

[startup+1796.12 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15776
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=1795.5
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 179495 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 1795.5
Current children cumulated vsize (Kb) 12200

[startup+1797.13 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15776
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=1796.5
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 179595 55 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 1796.5
Current children cumulated vsize (Kb) 12200

[startup+1798.13 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15776
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=1797.51
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 179695 56 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 1797.51
Current children cumulated vsize (Kb) 12200

[startup+1799.13 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15776
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=1798.52
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 179796 56 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546657 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 1798.52
Current children cumulated vsize (Kb) 12200

[startup+1800.14 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15776
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=1799.52
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 179896 56 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 1799.52
Current children cumulated vsize (Kb) 12200

[startup+1801.14 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15776
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=1800.53
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 179997 56 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 1800.53
Current children cumulated vsize (Kb) 12200



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.15 s]
/proc/loadavg: 0.99 1.00 0.96 2/68 15776
/proc/meminfo: memFree=1629976/2055892 swapFree=4085360/4096564
[pid=15774] ppid=15772 vsize=12200 CPUtime=1800.53
/proc/15774/stat : 15774 (PBS4L) R 15772 15774 15728 0 -1 4194304 3297 0 0 0 179997 56 0 0 25 0 1 0 191760438 12492800 2865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0
/proc/15774/statm: 3050 2865 107 232 0 2815 0
Current children cumulated CPU time (s) 1800.53
Current children cumulated vsize (Kb) 12200

Sending SIGTERM to -15774
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.16
CPU time (s): 1800.54
CPU user time (s): 1799.97
CPU system time (s): 0.564914
CPU usage (%): 99.9658
Max. virtual memory (cumulated for all children) (Kb): 12200
The end

Launcher Data (download as text)

Begin job on node89 on Fri Jun  2 15:13:34 UTC 2006


FILE ID= 41281-1149261214

PBS_JOBID= 298672

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

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  c7b5febdd9943d6f5734f2bb85a2dc73

RANDOM SEED= 547970267


/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:       1641064 kB
Buffers:         31348 kB
Cached:         312416 kB
SwapCached:       2560 kB
Active:         100708 kB
Inactive:       251932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1641064 kB
SwapTotal:     4096564 kB
SwapFree:      4085360 kB
Dirty:             192 kB
Writeback:           0 kB
Mapped:          16532 kB
Slab:            48772 kB
Committed_AS:   269504 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 15:43:35 UTC 2006