Trace number 50517

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.7 1801.18

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-ex1010.pi.opb
MD5SUM225ae73e36cb5800832cbb742bcd7f01
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark293
Best CPU time to get the best result obtained on this benchmark1800.24
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 251
Optimality of the best value was proved NO
Number of variables25200
Total number of constraints1468
Number of constraints which are clauses1468
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint9
Maximum length of a constraint172
Number of terms in the objective function 25200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 25200
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 25200
Number of bits of the biggest sum of numbers15
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/node48/50517-1154095418/instance-50517-1154095418.opb ......
9.16	c done parsing opb.
9.16	o 23944
15.19	o 23943
21.21	o 23925
27.23	o 23924
33.33	o 23923
39.38	o 23922
45.40	o 23921
51.48	o 23920
57.55	o 23919
63.57	o 23918
69.63	o 23917
75.72	o 23916
81.76	o 23915
87.80	o 23914
93.87	o 23913
99.91	o 23912
105.93	o 23911
112.01	o 23910
118.06	o 23909
124.08	o 23908
130.13	o 23904
136.21	o 23903
142.23	o 23902
148.29	o 23901
154.37	o 23900
160.41	o 23899
166.44	o 23898
172.52	o 23897
178.57	o 23896
184.59	o 23895
190.67	o 23894
196.75	o 23893
202.77	o 23892
208.82	o 23891
214.90	o 23890
220.94	o 23889
226.96	o 23888
233.03	o 23887
239.08	o 23886
245.10	o 23885
251.17	o 23884
257.24	o 23883
263.26	o 23882
269.32	o 23881
275.39	o 23880
281.42	o 23879
287.44	o 23878
293.52	o 23877
299.56	o 23876
305.56	o 23875
311.65	o 23874
317.71	o 23873
323.75	o 23872
329.81	o 23871
335.87	o 23870
341.88	o 23869
347.92	o 23868
353.99	o 23867
360.03	o 23866
366.05	o 23865
372.13	o 23864
378.19	o 23863
384.18	o 23862
390.23	o 23861
396.32	o 23860
402.34	o 23859
408.38	o 23858
414.45	o 23857
420.48	o 23856
426.50	o 23855
432.57	o 23854
438.64	o 23853
444.67	o 23852
450.73	o 23851
456.82	o 23850
462.83	o 23849
468.89	o 23848
474.97	o 23847
481.01	o 23846
487.03	o 23845
493.11	o 23844
499.16	o 23843
504.15	o 19308
509.04	o 19307
513.92	o 19306
518.77	o 19302
523.62	o 19301
528.47	o 19291
533.38	o 19290
538.27	o 19289
543.15	o 19288
548.05	o 19287
552.96	o 19286
557.87	o 19285
562.75	o 19284
567.63	o 19265
572.54	o 19264
577.44	o 19263
582.31	o 19262
587.19	o 19261
592.09	o 19235
597.00	o 19234
601.88	o 19233
606.74	o 19232
611.68	o 19231
616.58	o 19230
621.46	o 19229
626.36	o 19228
631.28	o 19227
636.17	o 19226
641.03	o 19225
645.91	o 19224
650.82	o 19223
655.73	o 19222
660.59	o 19221
665.44	o 19220
670.36	o 19219
675.25	o 19218
680.16	o 19217
685.02	o 19216
689.90	o 19215
694.81	o 19214
699.68	o 19213
703.28	o 13482
706.75	o 13481
710.28	o 13480
713.77	o 13479
717.28	o 13478
720.74	o 13477
724.23	o 13476
727.69	o 13415
731.20	o 13414
734.71	o 13413
738.16	o 13412
741.61	o 13411
745.06	o 13410
748.55	o 13409
751.99	o 13381
755.48	o 13380
758.94	o 13379
762.39	o 13378
765.87	o 13377
769.34	o 13376
772.85	o 13375
776.36	o 13374
779.80	o 13373
783.25	o 13372
786.74	o 13371
790.22	o 13370
793.68	o 13369
797.16	o 13368
800.62	o 13367
804.07	o 13366
807.51	o 13365
810.98	o 13364
814.45	o 13363
817.91	o 13362
821.34	o 13361
824.79	o 13360
828.25	o 13359
831.71	o 13358
835.21	o 13357
838.68	o 13356
842.12	o 13355
845.41	o 12710
848.67	o 12664
851.93	o 12663
855.21	o 12662
858.44	o 12645
861.67	o 12623
864.88	o 12603
868.14	o 12602
871.41	o 12601
874.66	o 12517
877.93	o 12516
881.17	o 12515
884.40	o 12514
887.65	o 12513
890.95	o 12512
894.24	o 12511
897.46	o 12510
900.73	o 12509
903.98	o 12508
907.21	o 12507
910.47	o 12506
913.71	o 12505
916.96	o 12504
920.19	o 12503
923.42	o 12502
926.68	o 12501
929.94	o 12500
933.21	o 12499
936.46	o 12498
939.70	o 12497
942.88	o 12392
946.10	o 12391
949.31	o 12390
952.57	o 12389
955.84	o 12388
959.08	o 12387
962.33	o 12386
965.56	o 12385
968.82	o 12384
972.05	o 12383
975.29	o 12382
978.53	o 12381
981.75	o 12380
984.98	o 12379
988.21	o 12378
991.46	o 12377
994.73	o 12376
997.97	o 12375
1001.18	o 12374
1004.38	o 12373
1007.59	o 12372
1010.82	o 12371
1014.07	o 12370
1017.27	o 12369
1020.49	o 12368
1023.69	o 12367
1026.94	o 12366
1030.18	o 12365
1033.39	o 12364
1036.61	o 12363
1039.84	o 12362
1043.09	o 12361
1046.32	o 12360
1049.54	o 12359
1052.77	o 12358
1056.00	o 12357
1059.23	o 12356
1062.43	o 12355
1065.65	o 12354
1068.91	o 12353
1072.16	o 12352
1075.35	o 12351
1078.59	o 12350
1081.79	o 12349
1084.98	o 12348
1088.19	o 12347
1091.44	o 12346
1094.71	o 12345
1097.95	o 12344
1101.18	o 12343
1104.42	o 12342
1107.64	o 12341
1110.84	o 12340
1114.12	o 12339
1117.37	o 12338
1120.54	o 12337
1123.73	o 12336
1126.93	o 12335
1130.15	o 12334
1133.41	o 12333
1136.64	o 12332
1139.86	o 12331
1143.08	o 12330
1146.27	o 12329
1149.51	o 12328
1152.79	o 12327
1156.04	o 12326
1159.27	o 12325
1162.49	o 12324
1165.67	o 12323
1168.90	o 12322
1172.11	o 12321
1175.35	o 12320
1178.60	o 12319
1181.79	o 12318
1185.02	o 12317
1188.23	o 12316
1191.49	o 12315
1194.76	o 12314
1197.97	o 12313
1201.16	o 12312
1204.34	o 12311
1207.58	o 12310
1210.85	o 12309
1214.08	o 12308
1217.34	o 12307
1220.59	o 12306
1223.83	o 12305
1227.07	o 12304
1230.33	o 12303
1233.56	o 12302
1236.78	o 12301
1240.01	o 12300
1243.23	o 12299
1246.43	o 12298
1249.68	o 12297
1252.93	o 12296
1256.19	o 12295
1259.37	o 12294
1262.58	o 12293
1265.83	o 12292
1269.08	o 12291
1272.36	o 12290
1275.62	o 12289
1278.82	o 12288
1282.00	o 12287
1285.21	o 12286
1288.43	o 12285
1291.66	o 12284
1294.89	o 12283
1298.12	o 12282
1301.33	o 12281
1304.57	o 12280
1307.82	o 12279
1311.06	o 12278
1314.29	o 12277
1317.51	o 12276
1320.72	o 12275
1323.90	o 12274
1327.13	o 12273
1330.33	o 12272
1333.54	o 12271
1336.80	o 12270
1339.99	o 12269
1343.18	o 12268
1346.35	o 12267
1349.58	o 12266
1352.80	o 12265
1356.02	o 12264
1359.21	o 12263
1362.41	o 12262
1365.64	o 12261
1368.88	o 12260
1372.13	o 12259
1375.35	o 12258
1378.57	o 12257
1381.76	o 12256
1385.00	o 12255
1388.22	o 12254
1391.42	o 12253
1394.65	o 12252
1397.86	o 12251
1401.06	o 12250
1404.25	o 12249
1407.47	o 12248
1410.70	o 12247
1413.92	o 12246
1417.12	o 12245
1420.29	o 12244
1423.47	o 12243
1426.70	o 12242
1429.97	o 12241
1433.23	o 12240
1436.47	o 12239
1439.68	o 12238
1442.86	o 12237
1446.04	o 12236
1449.30	o 12235
1452.52	o 12234
1455.77	o 12233
1458.96	o 12232
1462.18	o 12231
1465.37	o 12230
1468.57	o 12229
1471.79	o 12228
1475.04	o 12227
1478.22	o 12226
1481.44	o 12225
1484.67	o 12224
1487.91	o 12223
1491.13	o 12222
1494.41	o 12221
1497.61	o 12220
1500.81	o 12219
1504.01	o 12218
1507.24	o 12217
1510.50	o 12216
1513.75	o 12215
1516.99	o 12214
1520.20	o 12213
1523.40	o 12212
1526.60	o 12211
1529.83	o 12210
1533.06	o 12209
1536.28	o 12208
1539.50	o 12207
1542.74	o 12206
1545.91	o 12205
1549.14	o 12204
1552.40	o 12203
1555.66	o 12202
1558.86	o 12201
1562.05	o 12200
1565.27	o 12199
1568.48	o 12198
1571.70	o 12197
1574.87	o 12196
1578.10	o 12195
1581.32	o 12194
1584.49	o 12193
1587.72	o 12192
1590.93	o 12191
1594.14	o 12190
1597.36	o 12189
1600.58	o 12188
1603.77	o 12187
1606.97	o 12186
1610.18	o 12185
1613.40	o 12184
1616.63	o 12183
1619.83	o 12182
1623.03	o 12181
1626.23	o 12180
1629.45	o 12179
1632.65	o 12178
1635.89	o 12177
1639.09	o 12176
1642.27	o 12175
1645.48	o 12174
1648.72	o 12173
1651.92	o 12172
1655.11	o 12171
1658.31	o 12170
1661.48	o 12169
1664.70	o 12168
1667.94	o 12167
1671.17	o 12166
1674.39	o 12165
1677.59	o 12164
1680.83	o 12163
1684.03	o 12162
1687.28	o 12161
1690.52	o 12160
1693.73	o 12159
1696.96	o 12158
1700.15	o 12157
1703.35	o 12156
1706.52	o 12155
1709.75	o 12154
1712.99	o 12153
1716.22	o 12152
1719.42	o 12151
1722.61	o 12150
1725.81	o 12149
1729.04	o 12148
1732.27	o 12147
1735.50	o 12146
1738.73	o 12145
1741.94	o 12144
1745.13	o 12143
1748.36	o 12142
1751.61	o 12141
1754.82	o 12140
1758.01	o 12139
1761.20	o 12138
1764.38	o 12137
1767.61	o 12136
1770.80	o 12135
1774.06	o 12134
1777.29	o 12133
1780.49	o 12132
1783.68	o 12131
1786.88	o 12130
1790.11	o 12129
1793.32	o 12128
1796.55	o 12127
1799.76	o 12126

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

runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node48/watcher-50517-1154095418 -o ROOT/results/node48/solver-50517-1154095418 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node48/50517-1154095418/instance-50517-1154095418.opb 346518307 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 3/64 26596
/proc/meminfo: memFree=801464/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=3764 CPUtime=0
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 186 0 0 0 0 0 0 0 18 0 1 0 156412543 3854336 169 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599096 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 941 170 90 232 0 706 0

[startup+10.0027 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=794808/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=7852 CPUtime=9.98
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2015 0 0 0 997 1 0 0 25 0 1 0 156412543 8040448 1733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134542458 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 1963 1733 107 232 0 1728 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 7852

[startup+20.0096 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=794872/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=7852 CPUtime=19.99
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2015 0 0 0 1995 4 0 0 25 0 1 0 156412543 8040448 1733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 1963 1733 107 232 0 1728 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 7852

[startup+30.0165 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=794936/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=7852 CPUtime=29.99
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2015 0 0 0 2991 8 0 0 25 0 1 0 156412543 8040448 1733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 1963 1733 107 232 0 1728 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 7852

[startup+40.0225 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=795064/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=7852 CPUtime=40
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2015 0 0 0 3989 11 0 0 25 0 1 0 156412543 8040448 1733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 1963 1733 107 232 0 1728 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 7852

[startup+50.0284 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=795128/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=7852 CPUtime=50
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2015 0 0 0 4986 14 0 0 25 0 1 0 156412543 8040448 1733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 1963 1733 107 232 0 1728 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 7852

[startup+60.0343 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=795128/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=7852 CPUtime=60.01
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2015 0 0 0 5984 17 0 0 25 0 1 0 156412543 8040448 1733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 1963 1733 107 232 0 1728 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 7852

[startup+70.0402 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=795128/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=7852 CPUtime=70.01
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2015 0 0 0 6980 21 0 0 25 0 1 0 156412543 8040448 1733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 1963 1733 107 232 0 1728 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 7852

[startup+80.0462 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=795128/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=7852 CPUtime=80.01
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2015 0 0 0 7978 23 0 0 25 0 1 0 156412543 8040448 1733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 1963 1733 107 232 0 1728 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 7852

[startup+90.0521 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=795128/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=7852 CPUtime=90.02
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2015 0 0 0 8977 25 0 0 25 0 1 0 156412543 8040448 1733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 1963 1733 107 232 0 1728 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 7852

[startup+100.057 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=795128/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=7852 CPUtime=100.02
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2015 0 0 0 9973 29 0 0 25 0 1 0 156412543 8040448 1733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546663 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 1963 1733 107 232 0 1728 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 7852

[startup+110.063 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=795192/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=7852 CPUtime=110.02
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2015 0 0 0 10971 31 0 0 25 0 1 0 156412543 8040448 1733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 1963 1733 107 232 0 1728 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 7852

[startup+120.069 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=795192/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=7852 CPUtime=120.03
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2015 0 0 0 11968 35 0 0 25 0 1 0 156412543 8040448 1733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 1963 1733 107 232 0 1728 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 7852

[startup+130.075 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=795192/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=7852 CPUtime=130.03
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2015 0 0 0 12965 38 0 0 25 0 1 0 156412543 8040448 1733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 1963 1733 107 232 0 1728 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 7852

[startup+140.081 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=795192/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=7852 CPUtime=140.03
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2015 0 0 0 13961 42 0 0 25 0 1 0 156412543 8040448 1733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 1963 1733 107 232 0 1728 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 7852

[startup+150.087 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=795192/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=7852 CPUtime=150.04
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2015 0 0 0 14959 45 0 0 25 0 1 0 156412543 8040448 1733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 1963 1733 107 232 0 1728 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 7852

[startup+160.093 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=795192/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=7852 CPUtime=160.04
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2015 0 0 0 15956 48 0 0 25 0 1 0 156412543 8040448 1733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 1963 1733 107 232 0 1728 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 7852

[startup+170.098 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=795192/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=7852 CPUtime=170.04
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2015 0 0 0 16953 51 0 0 25 0 1 0 156412543 8040448 1733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 1963 1733 107 232 0 1728 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 7852

[startup+180.104 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=795192/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=7852 CPUtime=180.05
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2015 0 0 0 17951 54 0 0 25 0 1 0 156412543 8040448 1733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 1963 1733 107 232 0 1728 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 7852

[startup+190.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=795192/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=7852 CPUtime=190.05
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2015 0 0 0 18948 57 0 0 25 0 1 0 156412543 8040448 1733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 1963 1733 107 232 0 1728 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 7852

[startup+200.116 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=795192/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=7852 CPUtime=200.05
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2015 0 0 0 19946 59 0 0 25 0 1 0 156412543 8040448 1733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 1963 1733 107 232 0 1728 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 7852

[startup+210.123 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596

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

/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2320 0 0 0 177362 798 0 0 25 0 1 0 156412543 9273344 2038 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 2264 2038 107 232 0 2029 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (Kb) 9056

[startup+1783.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=794104/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=9056 CPUtime=1782.6
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2320 0 0 0 177461 799 0 0 25 0 1 0 156412543 9273344 2038 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 2264 2038 107 232 0 2029 0
Current children cumulated CPU time (s) 1782.6
Current children cumulated vsize (Kb) 9056

[startup+1784.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=794040/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=9056 CPUtime=1783.6
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2323 0 0 0 177561 799 0 0 25 0 1 0 156412543 9273344 2041 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 2264 2041 107 232 0 2029 0
Current children cumulated CPU time (s) 1783.6
Current children cumulated vsize (Kb) 9056

[startup+1785.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=794040/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=9056 CPUtime=1784.61
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2323 0 0 0 177661 800 0 0 25 0 1 0 156412543 9273344 2041 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 2264 2041 107 232 0 2029 0
Current children cumulated CPU time (s) 1784.61
Current children cumulated vsize (Kb) 9056

[startup+1786.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=794040/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=9056 CPUtime=1785.61
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2323 0 0 0 177761 800 0 0 25 0 1 0 156412543 9273344 2041 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 2264 2041 107 232 0 2029 0
Current children cumulated CPU time (s) 1785.61
Current children cumulated vsize (Kb) 9056

[startup+1787.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=794040/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=9056 CPUtime=1786.62
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2325 0 0 0 177861 801 0 0 25 0 1 0 156412543 9273344 2043 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 2264 2043 107 232 0 2029 0
Current children cumulated CPU time (s) 1786.62
Current children cumulated vsize (Kb) 9056

[startup+1788.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=794040/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=9056 CPUtime=1787.62
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2325 0 0 0 177961 801 0 0 25 0 1 0 156412543 9273344 2043 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 2264 2043 107 232 0 2029 0
Current children cumulated CPU time (s) 1787.62
Current children cumulated vsize (Kb) 9056

[startup+1789.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=794040/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=9056 CPUtime=1788.62
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2325 0 0 0 178061 801 0 0 25 0 1 0 156412543 9273344 2043 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 2264 2043 107 232 0 2029 0
Current children cumulated CPU time (s) 1788.62
Current children cumulated vsize (Kb) 9056

[startup+1790.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=794040/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=9056 CPUtime=1789.63
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2325 0 0 0 178161 802 0 0 25 0 1 0 156412543 9273344 2043 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 2264 2043 107 232 0 2029 0
Current children cumulated CPU time (s) 1789.63
Current children cumulated vsize (Kb) 9056

[startup+1791.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=794040/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=9056 CPUtime=1790.64
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2327 0 0 0 178261 803 0 0 25 0 1 0 156412543 9273344 2045 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 2264 2045 107 232 0 2029 0
Current children cumulated CPU time (s) 1790.64
Current children cumulated vsize (Kb) 9056

[startup+1792.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=794040/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=9056 CPUtime=1791.65
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2327 0 0 0 178361 804 0 0 25 0 1 0 156412543 9273344 2045 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 2264 2045 107 232 0 2029 0
Current children cumulated CPU time (s) 1791.65
Current children cumulated vsize (Kb) 9056

[startup+1793.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=794040/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=9056 CPUtime=1792.65
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2327 0 0 0 178461 804 0 0 25 0 1 0 156412543 9273344 2045 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 2264 2045 107 232 0 2029 0
Current children cumulated CPU time (s) 1792.65
Current children cumulated vsize (Kb) 9056

[startup+1794.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=794040/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=9056 CPUtime=1793.65
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2327 0 0 0 178561 804 0 0 25 0 1 0 156412543 9273344 2045 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 2264 2045 107 232 0 2029 0
Current children cumulated CPU time (s) 1793.65
Current children cumulated vsize (Kb) 9056

[startup+1795.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=794040/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=9056 CPUtime=1794.65
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2327 0 0 0 178660 805 0 0 25 0 1 0 156412543 9273344 2045 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 2264 2045 107 232 0 2029 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (Kb) 9056

[startup+1796.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=794040/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=9056 CPUtime=1795.66
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2327 0 0 0 178760 806 0 0 25 0 1 0 156412543 9273344 2045 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 2264 2045 107 232 0 2029 0
Current children cumulated CPU time (s) 1795.66
Current children cumulated vsize (Kb) 9056

[startup+1797.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=794040/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=9056 CPUtime=1796.67
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2330 0 0 0 178860 807 0 0 25 0 1 0 156412543 9273344 2048 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 2264 2048 107 232 0 2029 0
Current children cumulated CPU time (s) 1796.67
Current children cumulated vsize (Kb) 9056

[startup+1798.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=794040/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=9056 CPUtime=1797.67
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2330 0 0 0 178960 807 0 0 25 0 1 0 156412543 9273344 2048 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 2264 2048 107 232 0 2029 0
Current children cumulated CPU time (s) 1797.67
Current children cumulated vsize (Kb) 9056

[startup+1799.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=794040/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=9056 CPUtime=1798.68
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2330 0 0 0 179060 808 0 0 25 0 1 0 156412543 9273344 2048 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 2264 2048 107 232 0 2029 0
Current children cumulated CPU time (s) 1798.68
Current children cumulated vsize (Kb) 9056

[startup+1800.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=794040/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=9056 CPUtime=1799.68
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2332 0 0 0 179160 808 0 0 25 0 1 0 156412543 9273344 2050 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 2264 2050 107 232 0 2029 0
Current children cumulated CPU time (s) 1799.68
Current children cumulated vsize (Kb) 9056

[startup+1801.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=794040/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=9056 CPUtime=1800.69
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2332 0 0 0 179260 809 0 0 25 0 1 0 156412543 9273344 2050 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 2264 2050 107 232 0 2029 0
Current children cumulated CPU time (s) 1800.69
Current children cumulated vsize (Kb) 9056



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 26596
/proc/meminfo: memFree=794040/2055920 swapFree=4182820/4192956
[pid=26596] ppid=26594 vsize=9056 CPUtime=1800.69
/proc/26596/stat : 26596 (PBS4L) R 26594 26596 26547 0 -1 4194304 2332 0 0 0 179260 809 0 0 25 0 1 0 156412543 9273344 2050 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/26596/statm: 2264 2050 107 232 0 2029 0
Current children cumulated CPU time (s) 1800.69
Current children cumulated vsize (Kb) 9056

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.18
CPU time (s): 1800.7
CPU user time (s): 1792.61
CPU system time (s): 8.09377
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (Kb): 9056
The end

Launcher Data (download as text)

Begin job on node48 on Fri Jul 28 14:03:38 UTC 2006


FILE ID= 50517-1154095418

PBS_JOBID= 885891

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ex1010.pi.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node48/50517-1154095418/instance-50517-1154095418.opb 346518307
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node48/watcher-50517-1154095418 -o ROOT/results/node48/solver-50517-1154095418 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node48/50517-1154095418/instance-50517-1154095418.opb 346518307

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  225ae73e36cb5800832cbb742bcd7f01

RANDOM SEED= 346518307

TIMEOUT= 1800 seconds


/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.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        801736 kB
Buffers:         39560 kB
Cached:        1154808 kB
SwapCached:       4676 kB
Active:         395544 kB
Inactive:       808312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        801736 kB
SwapTotal:     4192956 kB
SwapFree:      4182820 kB
Dirty:             212 kB
Writeback:           0 kB
Mapped:          14444 kB
Slab:            36380 kB
Committed_AS:   640472 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node48 on Fri Jul 28 14:33:39 UTC 2006