Trace number 41556

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
PBS 4.1L? (TO) 1800.62 1801.18

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mzzv42z.opb
MD5SUM8886b8ab7bdc8ec03150a7b794b8a992
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-8205
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -10270
Optimality of the best value was proved YES
Number of variables12596
Total number of constraints10687
Number of constraints which are clauses4
Number of constraints which are cardinality constraints (but not clauses)5680
Number of constraints which are nor clauses,nor cardinality constraints5003
Minimum length of a constraint2
Maximum length of a constraint80
Number of terms in the objective function 714
Biggest coefficient in the objective function 559
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 66891
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1117
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 66891
Number of bits of the biggest sum of numbers17
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/node7/41556-1149371943/instance-41556-1149371943.opb ......
0.73	c done parsing opb.
0.73	o 11099
0.77	o 11089
5.58	o 9995
8.96	o 9849
10.43	o 9845
12.02	o 9840
12.87	o 9839
12.92	o 9835
13.65	o 9834
13.75	o 9830
14.48	o 9825
15.13	o 9820
16.75	o 9815
16.85	o 9791
17.94	o 9774
19.61	o 9113
19.65	o 8850
28.33	o 8849
43.06	o 8848
43.14	o 8847
43.25	o 8843
43.36	o 8840
48.25	o 8837
48.61	o 8834
54.38	o 8829
54.91	o 8825
55.40	o 8820
58.47	o 8815
59.93	o 8810
60.24	o 8805
61.07	o 8803
61.51	o 8802
61.68	o 8799
61.79	o 8798
62.14	o 8796
62.97	o 8795
64.53	o 8793
64.64	o 8789
64.86	o 8784
69.93	o 8780
70.11	o 8779
74.11	o 8778
76.23	o 8774
80.08	o 8771
83.13	o 8769
83.45	o 8767
83.52	o 8766
83.57	o 8764
83.62	o 8762
83.86	o 8759
88.71	o 8754
89.98	o 8749
94.08	o 8740
96.87	o 8735
99.93	o 8734
101.13	o 8732
101.72	o 8731
102.09	o 8729
105.31	o 8726
108.16	o 8725
108.20	o 8721
108.23	o 8720
108.31	o 8707
108.36	o 8108
108.38	o 8099
108.40	o 8026
112.90	o 8023
121.11	o 8020
121.47	o 8019
133.39	o 8014
133.89	o 8012
145.27	o 8011
147.91	o 8008
153.29	o 8007
153.66	o 8005
154.80	o 8004
157.63	o 8003
157.95	o 8000
159.12	o 7996
168.83	o 7995
171.04	o 7994
171.13	o 7990
171.17	o 7987
171.41	o 7982
171.45	o 7977
171.57	o 7973
171.61	o 7971
171.64	o 7969
171.68	o 7968
171.70	o 7939
171.72	o 7938
171.74	o 7936
171.75	o 7903
171.77	o 7692
171.79	o 7687
171.81	o 7686
171.82	o 7685
171.84	o 7684
171.86	o 7667
171.88	o 7662
171.89	o 7659
171.91	o 7657
171.93	o 7653
171.95	o 7648
172.02	o 7645
172.05	o 7644
172.07	o 7641
172.41	o 7638
173.21	o 7634
173.78	o 7633
174.74	o 7630
179.64	o 7627
179.81	o 7623
186.63	o 7619
204.07	o 7615
206.51	o 7612
206.87	o 7611
234.71	o 7609
241.97	o 7606
244.14	o 7605
244.41	o 7601
249.46	o 7598
258.81	o 7594
261.80	o 7592
262.02	o 7591
262.61	o 7590
266.34	o 7589
267.40	o 7588
270.52	o 7584
276.83	o 7579
282.54	o 7575
288.13	o 7571
298.01	o 7570
298.94	o 7566
309.26	o 7565
309.38	o 7562
309.65	o 7561
309.70	o 7558
309.73	o 7557
309.76	o 7554
309.79	o 7549
309.81	o 7547
309.84	o 7544
310.00	o 7539
310.04	o 7538
310.14	o 7534
310.17	o 7532
310.21	o 7527
310.24	o 7523
310.26	o 7521
310.28	o 7517
310.31	o 7514
310.32	o 7513
310.34	o 7511
310.36	o 7508
310.38	o 7504
310.40	o 7499
310.42	o 7497
310.44	o 7494
310.46	o 7491
310.47	o 7488
310.49	o 7487
310.51	o 7486
310.53	o 7482
310.56	o 7481
310.58	o 7478
310.59	o 7476
310.61	o 7473
310.63	o 7470
310.65	o 7468
310.67	o 7464
310.69	o 7462
310.71	o 7461
310.73	o 7460
310.75	o 7456
310.76	o 7455
310.78	o 7454
310.80	o 7450
310.89	o 7449
310.92	o 7446
310.94	o 7444
310.97	o 7443
311.02	o 7441
311.04	o 7440
311.06	o 7437
311.09	o 7434
311.11	o 7431
313.80	o 7428
315.61	o 7424
315.81	o 7423
315.84	o 7420
316.43	o 7418
319.10	o 7416
322.24	o 7414
323.56	o 7409
323.65	o 7401
323.68	o 7392
323.71	o 7386
323.74	o 7384
323.77	o 7374
323.79	o 7364
323.82	o 7359
323.84	o 7349
323.86	o 7339
323.88	o 7334
323.89	o 7326
323.91	o 7319
323.93	o 7314
323.95	o 7304
323.97	o 7294
323.99	o 7291
324.01	o 7286
324.03	o 7281
324.04	o 7276
324.06	o 7269
324.08	o 7264
324.10	o 7261
324.12	o 7254
324.14	o 7251
324.16	o 7246
324.18	o 7241
324.19	o 7236
324.21	o 7234
324.23	o 7231
324.25	o 7226
324.27	o 7224
324.29	o 7221
324.31	o 7220
324.33	o 7216
324.34	o 7211
324.36	o 7206
324.38	o 7205
324.40	o 7204
324.42	o 7200
324.44	o 7196
324.46	o 7195
324.48	o 7190
324.49	o 7189
324.51	o 7186
324.53	o 7181
324.55	o 7176
324.57	o 7171
324.59	o 7169
324.61	o 7166
324.63	o 7165
324.64	o 7160
324.66	o 7156
324.68	o 7151
324.70	o 7149
324.72	o 7145
324.74	o 7141
324.76	o 7136
324.77	o 7135
324.79	o 7131
324.81	o 7130
324.83	o 7126
324.85	o 7121
324.87	o 7120
324.89	o 7116
324.91	o 7115
324.92	o 7111
324.94	o 7106
324.96	o 7102
324.98	o 7101
325.00	o 7097
325.02	o 7095
325.04	o 7094
325.06	o 7090
325.07	o 7086
325.09	o 7083
325.11	o 7081
325.13	o 7080
325.15	o 7079
325.17	o 7078
325.19	o 7075
325.21	o 7070
325.22	o 7065
325.24	o 7063
325.26	o 7061
325.28	o 7060
325.30	o 7056
325.32	o 7055
325.34	o 7050
325.35	o 7049
325.37	o 7048
325.39	o 7045
325.41	o 7041
325.43	o 7040
325.45	o 7035
325.47	o 7034
325.48	o 7030
325.50	o 7029
325.52	o 7025
325.54	o 7020
325.56	o 7017
337.81	o 7015
337.99	o 7014
343.57	o 7013
346.11	o 7012
347.45	o 7010
370.21	o 7009
376.27	o 7006
384.41	o 7005
394.90	o 7004
397.64	o 7000
399.45	o 6997
418.36	o 6995
419.79	o 6994
420.23	o 6990
430.59	o 6985
431.94	o 6984
434.00	o 6981
452.55	o 6980
455.84	o 6976
456.07	o 6974
466.71	o 6970
494.04	o 6968
496.96	o 6965
563.08	o 6964
602.78	o 6960
607.83	o 6956
608.19	o 6955
608.36	o 6953
608.48	o 6952
612.94	o 6950
616.61	o 6949
616.77	o 6946
617.10	o 6945
617.49	o 6942
626.93	o 6941
630.43	o 6937
630.72	o 6933
647.56	o 6932
653.59	o 6928
659.89	o 6927
670.28	o 6925
671.22	o 6924
671.74	o 6920
682.23	o 6915
684.45	o 6910
694.35	o 6905
712.62	o 6904
760.35	o 6900
789.00	o 6897
789.66	o 6895
789.84	o 6891
789.99	o 6887
790.61	o 6884
790.80	o 6880
795.75	o 6877
796.49	o 6873
796.81	o 6869
801.14	o 6866
812.47	o 6863
818.81	o 6858
819.27	o 6853
820.50	o 6852
824.97	o 6851
833.58	o 6850
833.87	o 6848
837.45	o 6845
838.04	o 6844
852.21	o 6838
852.48	o 6836
852.55	o 6831
852.61	o 6826
852.68	o 6820
852.74	o 6816
852.91	o 6815
853.11	o 6811
853.27	o 6809
853.56	o 6806
860.13	o 6805
919.38	o 6802
919.83	o 6800
962.11	o 6796
962.29	o 6795
992.78	o 6794
1010.91	o 6793
1020.17	o 6789
1025.21	o 6786
1025.38	o 6781
1025.48	o 6780
1025.50	o 6777
1025.55	o 6772
1025.58	o 6767
1025.60	o 6762
1025.62	o 6757
1025.64	o 6752
1025.66	o 6747
1025.69	o 6742
1025.71	o 6737
1025.73	o 6732
1025.75	o 6727
1025.78	o 6722
1025.80	o 6717
1025.82	o 6712
1025.84	o 6707
1025.86	o 6702
1025.89	o 6697
1025.91	o 6692
1025.93	o 6690
1025.95	o 6687
1025.98	o 6682
1026.00	o 6677
1026.02	o 6672
1026.04	o 6667
1026.06	o 6662
1026.09	o 6660
1026.11	o 6657
1026.13	o 6652
1026.15	o 6650
1026.17	o 6647
1026.20	o 6642
1026.22	o 6637
1026.24	o 6632
1026.28	o 6627
1026.30	o 6622
1026.34	o 6621
1026.36	o 6617
1026.38	o 6612
1026.40	o 6611
1026.43	o 6607
1026.45	o 6606
1026.47	o 6601
1026.49	o 6599
1026.51	o 6597
1026.54	o 6596
1026.56	o 6591
1026.58	o 6586
1026.60	o 6581
1026.63	o 6576
1026.65	o 6572
1026.67	o 6570
1026.69	o 6566
1026.72	o 6562
1026.74	o 6560
1026.76	o 6556
1026.78	o 6552
1026.81	o 6551
1026.83	o 6546
1026.85	o 6545
1026.87	o 6542
1026.89	o 6537
1026.92	o 6534
1026.94	o 6531
1026.96	o 6530
1026.98	o 6528
1027.01	o 6527
1027.03	o 6522
1027.05	o 6521
1027.07	o 6516
1027.09	o 6515
1027.12	o 6511
1027.14	o 6510
1027.16	o 6505
1027.18	o 6502
1027.21	o 6501
1027.23	o 6500
1027.25	o 6499
1027.27	o 6497
1027.30	o 6492
1027.35	o 6491
1035.88	o 6487
1077.65	o 6485
1088.09	o 6484
1090.92	o 6481
1091.18	o 6480
1094.82	o 6477
1169.29	o 6476
1174.88	o 6474
1186.29	o 6473
1189.41	o 6472
1196.37	o 6468
1210.94	o 6464
1249.04	o 6462
1280.52	o 6461
1280.90	o 6456
1283.45	o 6454
1317.84	o 6453
1326.04	o 6451
1371.66	o 6449
1373.25	o 6448
1379.34	o 6447
1381.68	o 6446
1386.99	o 6444
1391.20	o 6443
1396.96	o 6442
1402.52	o 6439
1402.65	o 6438
1411.22	o 6434
1415.76	o 6432
1431.15	o 6430
1493.26	o 6429
1503.17	o 6428
1509.70	o 6425
1531.61	o 6420
1536.30	o 6419
1551.19	o 6416
1555.21	o 6413
1622.19	o 6411
1661.91	o 6408
1664.55	o 6407
1678.07	o 6403
1698.33	o 6400
1740.87	o 6399
1761.50	o 6395
1770.86	o 6391

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/node7/watcher-41556-1149371943 -o ROOT/results/node7/solver-41556-1149371943 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node7/41556-1149371943/instance-41556-1149371943.opb 973226123 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.97 0.95 3/64 22342
/proc/meminfo: memFree=1488032/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=2584 CPUtime=0
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 202856519 2646016 162 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 646 163 90 232 0 411 0

[startup+10.0019 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22342
/proc/meminfo: memFree=1476192/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=14388 CPUtime=9.99
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 3370 0 0 0 984 15 0 0 25 0 1 0 202856519 14733312 3070 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 3597 3070 108 232 0 3362 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 14388

[startup+20.008 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22342
/proc/meminfo: memFree=1474208/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=17548 CPUtime=19.99
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 4000 0 0 0 1973 26 0 0 25 0 1 0 202856519 17969152 3603 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 4387 3603 108 232 0 4152 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 17548

[startup+30.014 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22342
/proc/meminfo: memFree=1472608/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=18236 CPUtime=30
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 4392 0 0 0 2966 34 0 0 25 0 1 0 202856519 18673664 3995 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 4559 3995 108 232 0 4324 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 18236

[startup+40.0201 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22342
/proc/meminfo: memFree=1471712/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=18612 CPUtime=40
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 4629 0 0 0 3957 43 0 0 25 0 1 0 202856519 19058688 4232 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 4653 4232 108 232 0 4418 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 18612

[startup+50.0262 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22342
/proc/meminfo: memFree=1470560/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=23864 CPUtime=50
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 5110 0 0 0 4948 52 0 0 25 0 1 0 202856519 24436736 4520 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546536 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 5966 4520 108 232 0 5731 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 23864

[startup+60.0322 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22342
/proc/meminfo: memFree=1469536/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=24020 CPUtime=60.01
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 5375 0 0 0 5940 61 0 0 25 0 1 0 202856519 24596480 4785 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 6005 4785 108 232 0 5770 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 24020

[startup+70.0383 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22342
/proc/meminfo: memFree=1468320/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=24188 CPUtime=70.01
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 5672 0 0 0 6932 69 0 0 25 0 1 0 202856519 24768512 5082 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551957 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 6047 5082 108 232 0 5812 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 24188

[startup+80.0443 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22342
/proc/meminfo: memFree=1467040/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=24280 CPUtime=80.01
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 5989 0 0 0 7924 77 0 0 25 0 1 0 202856519 24862720 5399 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 6070 5399 108 232 0 5835 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 24280

[startup+90.0504 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22342
/proc/meminfo: memFree=1466592/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=24544 CPUtime=90.01
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 6091 0 0 0 8916 85 0 0 25 0 1 0 202856519 25133056 5501 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546544 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 6136 5501 108 232 0 5901 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 24544

[startup+100.056 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22342
/proc/meminfo: memFree=1466400/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=24656 CPUtime=100.02
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 6151 0 0 0 9907 95 0 0 25 0 1 0 202856519 25247744 5561 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 6164 5561 108 232 0 5929 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 24656

[startup+110.062 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22342
/proc/meminfo: memFree=1466080/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=24864 CPUtime=110.02
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 6223 0 0 0 10898 104 0 0 25 0 1 0 202856519 25460736 5633 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 6216 5633 108 232 0 5981 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 24864

[startup+120.069 s]
/proc/loadavg: 0.99 0.97 0.95 2/70 22365
/proc/meminfo: memFree=1464624/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=26452 CPUtime=120.02
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 6655 0 0 0 11891 111 0 0 25 0 1 0 202856519 27086848 5680 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551638 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 6613 5680 108 232 0 6378 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 26452

[startup+130.075 s]
/proc/loadavg: 0.99 0.97 0.95 2/70 22441
/proc/meminfo: memFree=1463728/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=26528 CPUtime=129.99
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 6878 0 0 0 12879 120 0 0 25 0 1 0 202856519 27164672 5903 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 0 0 0
/proc/22342/statm: 6632 5903 108 232 0 6397 0
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 26528

[startup+140.081 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22537
/proc/meminfo: memFree=1463712/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=34884 CPUtime=139.98
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 7123 0 0 0 13870 128 0 0 25 0 1 0 202856519 35721216 6148 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 8721 6148 108 232 0 8486 0
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 34884

[startup+150.087 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22537
/proc/meminfo: memFree=1463648/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=35160 CPUtime=149.98
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 7186 0 0 0 14863 135 0 0 25 0 1 0 202856519 36003840 6211 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546855 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 8790 6211 108 232 0 8555 0
Current children cumulated CPU time (s) 149.98
Current children cumulated vsize (Kb) 35160

[startup+160.093 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22537
/proc/meminfo: memFree=1463200/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=35268 CPUtime=159.98
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 7301 0 0 0 15857 141 0 0 25 0 1 0 202856519 36114432 6326 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 8817 6326 108 232 0 8582 0
Current children cumulated CPU time (s) 159.98
Current children cumulated vsize (Kb) 35268

[startup+170.099 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22537
/proc/meminfo: memFree=1462304/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=35388 CPUtime=169.98
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 7527 0 0 0 16849 149 0 0 25 0 1 0 202856519 36237312 6552 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 8847 6552 108 232 0 8612 0
Current children cumulated CPU time (s) 169.98
Current children cumulated vsize (Kb) 35388

[startup+180.105 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22537
/proc/meminfo: memFree=1461536/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=35552 CPUtime=179.99
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 7705 0 0 0 17841 158 0 0 25 0 1 0 202856519 36405248 6730 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551216 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 8888 6730 108 232 0 8653 0
Current children cumulated CPU time (s) 179.99
Current children cumulated vsize (Kb) 35552

[startup+190.111 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22537
/proc/meminfo: memFree=1461280/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=35660 CPUtime=189.99
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 7765 0 0 0 18835 164 0 0 25 0 1 0 202856519 36515840 6790 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546536 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 8915 6790 108 232 0 8680 0
Current children cumulated CPU time (s) 189.99
Current children cumulated vsize (Kb) 35660

[startup+200.117 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22537
/proc/meminfo: memFree=1460704/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=35660 CPUtime=200
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 7916 0 0 0 19827 173 0 0 25 0 1 0 202856519 36515840 6941 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 8915 6941 108 232 0 8680 0
Current children cumulated CPU time (s) 200
Current children cumulated vsize (Kb) 35660

[startup+210.123 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22537
/proc/meminfo: memFree=1460000/2055920 swapFree=4181500/4192956

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

/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20443 0 0 0 177264 886 0 0 25 0 1 0 202856519 107204608 17162 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 26173 17162 108 232 0 25938 0
Current children cumulated CPU time (s) 1781.5
Current children cumulated vsize (Kb) 104692

[startup+1783.07 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22537
/proc/meminfo: memFree=1419552/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=104728 CPUtime=1782.5
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20450 0 0 0 177364 886 0 0 25 0 1 0 202856519 107241472 17169 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 26182 17169 108 232 0 25947 0
Current children cumulated CPU time (s) 1782.5
Current children cumulated vsize (Kb) 104728

[startup+1784.08 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22537
/proc/meminfo: memFree=1419552/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=104728 CPUtime=1783.51
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20451 0 0 0 177464 887 0 0 25 0 1 0 202856519 107241472 17170 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 26182 17170 108 232 0 25947 0
Current children cumulated CPU time (s) 1783.51
Current children cumulated vsize (Kb) 104728

[startup+1785.08 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22537
/proc/meminfo: memFree=1419552/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=104728 CPUtime=1784.52
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20452 0 0 0 177564 888 0 0 25 0 1 0 202856519 107241472 17171 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 26182 17171 108 232 0 25947 0
Current children cumulated CPU time (s) 1784.52
Current children cumulated vsize (Kb) 104728

[startup+1786.09 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22537
/proc/meminfo: memFree=1419552/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=104728 CPUtime=1785.52
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20453 0 0 0 177664 888 0 0 25 0 1 0 202856519 107241472 17172 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 26182 17172 108 232 0 25947 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (Kb) 104728

[startup+1787.09 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22537
/proc/meminfo: memFree=1419552/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=104728 CPUtime=1786.52
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20456 0 0 0 177763 889 0 0 25 0 1 0 202856519 107241472 17175 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611827 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 26182 17175 108 232 0 25947 0
Current children cumulated CPU time (s) 1786.52
Current children cumulated vsize (Kb) 104728

[startup+1788.1 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22537
/proc/meminfo: memFree=1419488/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=104728 CPUtime=1787.53
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20457 0 0 0 177863 890 0 0 25 0 1 0 202856519 107241472 17176 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 26182 17176 108 232 0 25947 0
Current children cumulated CPU time (s) 1787.53
Current children cumulated vsize (Kb) 104728

[startup+1789.1 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22537
/proc/meminfo: memFree=1419488/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=104728 CPUtime=1788.53
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20458 0 0 0 177963 890 0 0 25 0 1 0 202856519 107241472 17177 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 26182 17177 108 232 0 25947 0
Current children cumulated CPU time (s) 1788.53
Current children cumulated vsize (Kb) 104728

[startup+1790.11 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22537
/proc/meminfo: memFree=1419488/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=104728 CPUtime=1789.54
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20458 0 0 0 178063 891 0 0 25 0 1 0 202856519 107241472 17177 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 26182 17177 108 232 0 25947 0
Current children cumulated CPU time (s) 1789.54
Current children cumulated vsize (Kb) 104728

[startup+1791.11 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22537
/proc/meminfo: memFree=1419488/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=104728 CPUtime=1790.54
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20459 0 0 0 178163 891 0 0 25 0 1 0 202856519 107241472 17178 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 26182 17178 108 232 0 25947 0
Current children cumulated CPU time (s) 1790.54
Current children cumulated vsize (Kb) 104728

[startup+1792.12 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22537
/proc/meminfo: memFree=1419488/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=104728 CPUtime=1791.55
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20460 0 0 0 178264 891 0 0 25 0 1 0 202856519 107241472 17179 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 26182 17179 108 232 0 25947 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (Kb) 104728

[startup+1793.12 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22537
/proc/meminfo: memFree=1419488/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=104728 CPUtime=1792.55
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20461 0 0 0 178364 891 0 0 25 0 1 0 202856519 107241472 17180 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546626 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 26182 17180 108 232 0 25947 0
Current children cumulated CPU time (s) 1792.55
Current children cumulated vsize (Kb) 104728

[startup+1794.13 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22537
/proc/meminfo: memFree=1419488/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=104728 CPUtime=1793.56
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20462 0 0 0 178464 892 0 0 25 0 1 0 202856519 107241472 17181 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 26182 17181 108 232 0 25947 0
Current children cumulated CPU time (s) 1793.56
Current children cumulated vsize (Kb) 104728

[startup+1795.13 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22537
/proc/meminfo: memFree=1419488/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=104728 CPUtime=1794.57
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20463 0 0 0 178565 892 0 0 25 0 1 0 202856519 107241472 17182 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 26182 17182 108 232 0 25947 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (Kb) 104728

[startup+1796.14 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22537
/proc/meminfo: memFree=1419488/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=104728 CPUtime=1795.57
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20463 0 0 0 178665 892 0 0 25 0 1 0 202856519 107241472 17182 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 26182 17182 108 232 0 25947 0
Current children cumulated CPU time (s) 1795.57
Current children cumulated vsize (Kb) 104728

[startup+1797.14 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22537
/proc/meminfo: memFree=1419488/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=104728 CPUtime=1796.58
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20464 0 0 0 178765 893 0 0 25 0 1 0 202856519 107241472 17183 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 26182 17183 108 232 0 25947 0
Current children cumulated CPU time (s) 1796.58
Current children cumulated vsize (Kb) 104728

[startup+1798.15 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22537
/proc/meminfo: memFree=1419488/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=104728 CPUtime=1797.58
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20466 0 0 0 178865 893 0 0 25 0 1 0 202856519 107241472 17185 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 26182 17185 108 232 0 25947 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (Kb) 104728

[startup+1799.15 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22537
/proc/meminfo: memFree=1419488/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=104728 CPUtime=1798.58
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20467 0 0 0 178964 894 0 0 25 0 1 0 202856519 107241472 17186 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 26182 17186 108 232 0 25947 0
Current children cumulated CPU time (s) 1798.58
Current children cumulated vsize (Kb) 104728

[startup+1800.16 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22537
/proc/meminfo: memFree=1419424/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=104728 CPUtime=1799.58
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20468 0 0 0 179064 894 0 0 25 0 1 0 202856519 107241472 17187 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 26182 17187 108 232 0 25947 0
Current children cumulated CPU time (s) 1799.58
Current children cumulated vsize (Kb) 104728

[startup+1801.16 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22537
/proc/meminfo: memFree=1419424/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=104728 CPUtime=1800.59
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20469 0 0 0 179165 894 0 0 25 0 1 0 202856519 107241472 17188 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 26182 17188 108 232 0 25947 0
Current children cumulated CPU time (s) 1800.59
Current children cumulated vsize (Kb) 104728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.16 s]
/proc/loadavg: 0.99 0.97 0.95 2/64 22537
/proc/meminfo: memFree=1419424/2055920 swapFree=4181500/4192956
[pid=22342] ppid=22340 vsize=104728 CPUtime=1800.59
/proc/22342/stat : 22342 (PBS4L) R 22340 22342 22296 0 -1 4194304 20470 0 0 0 179165 894 0 0 25 0 1 0 202856519 107241472 17189 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551971 0 0 4096 0 0 0 0 17 1 0 0
/proc/22342/statm: 26182 17189 108 232 0 25947 0
Current children cumulated CPU time (s) 1800.59
Current children cumulated vsize (Kb) 104728

Sending SIGTERM to -22342
Sleeping 2 seconds

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

Launcher Data (download as text)

Begin job on node7 on Sat Jun  3 21:59:03 UTC 2006


FILE ID= 41556-1149371943

PBS_JOBID= 312240

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node7/41556-1149371943/instance-41556-1149371943.opb 973226123
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-41556-1149371943 -o ROOT/results/node7/solver-41556-1149371943 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node7/41556-1149371943/instance-41556-1149371943.opb 973226123

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  8886b8ab7bdc8ec03150a7b794b8a992

RANDOM SEED= 973226123


/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:       1488240 kB
Buffers:         27192 kB
Cached:         473176 kB
SwapCached:       3308 kB
Active:          56984 kB
Inactive:       452216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1488240 kB
SwapTotal:     4192956 kB
SwapFree:      4181500 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          14972 kB
Slab:            44380 kB
Committed_AS:   348492 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node7 on Sat Jun  3 22:29:05 UTC 2006