Trace number 419801

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 NameAnswerCPU timeWall clock time
oree 0.1.2 alpha? (TO) 1800.32 1800.83

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/industrial/
manolios/manol-pipe-c6nidw_i.opb
MD5SUM0c63894d62f4302163b30af51999a51b
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark751.243
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables95863
Total number of constraints283363
Number of constraints which are clauses283363
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 constraint1
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
2.19/2.26	c ...done
2.19/2.26	c #vars=95863 #constraints=283363 hasObjective=no
2.59/2.61	c res. mode=mod
2.59/2.61	c VSIDS like heuristics
2.59/2.61	c complete search running
4.09/4.10	c restart after 401 decisions
4.29/4.38	c nbDecision=500 #constraints=283391
5.29/5.40	c restart after 801 decisions
5.79/5.86	c nbDecision=1000 #constraints=283417
7.29/7.38	c nbDecision=1500 #constraints=283443
7.59/7.66	c restart after 1601 decisions
9.69/9.72	c nbDecision=2000 #constraints=283497
11.09/11.20	c nbDecision=2500 #constraints=283525
12.38/12.42	c nbDecision=3000 #constraints=283548
14.58/14.69	c restart after 3201 decisions
17.38/17.46	c nbDecision=3500 #constraints=283758
19.98/20.09	c nbDecision=4000 #constraints=283821
21.89/21.95	c nbDecision=4500 #constraints=283859
26.38/26.41	c nbDecision=5000 #constraints=284033
27.58/27.62	c nbDecision=5500 #constraints=284053
33.77/33.81	c nbDecision=6000 #constraints=284368
39.67/39.73	c restart after 6401 decisions
40.17/40.21	c nbDecision=6500 #constraints=284637
42.87/42.91	c nbDecision=7000 #constraints=284703
47.57/47.61	c nbDecision=7500 #constraints=284856
48.67/48.71	c nbDecision=8000 #constraints=284866
50.97/51.02	c nbDecision=8500 #constraints=284982
53.96/54.03	c nbDecision=9000 #constraints=285135
59.06/59.16	c nbDecision=9500 #constraints=285417
64.06/64.13	c nbDecision=10000 #constraints=285676
70.66/70.70	c nbDecision=10500 #constraints=286031
77.56/77.62	c nbDecision=11000 #constraints=286373
86.16/86.23	c nbDecision=11500 #constraints=286766
95.36/95.48	c nbDecision=12000 #constraints=287169
106.35/106.48	c nbDecision=12500 #constraints=287539
111.85/111.93	c restart after 12801 decisions
113.65/113.78	c nbDecision=13000 #constraints=287747
118.45/118.51	c nbDecision=13500 #constraints=287818
121.75/121.88	c nbDecision=14000 #constraints=287892
125.36/125.46	c nbDecision=14500 #constraints=287989
128.45/128.59	c nbDecision=15000 #constraints=288076
130.75/130.83	c nbDecision=15500 #constraints=288118
135.65/135.76	c nbDecision=16000 #constraints=288278
142.25/142.34	c nbDecision=16500 #constraints=288516
146.44/146.53	c nbDecision=17000 #constraints=288632
152.94/153.05	c nbDecision=17500 #constraints=288851
156.04/156.14	c nbDecision=18000 #constraints=288917
161.24/161.35	c nbDecision=18500 #constraints=289065
164.14/164.28	c nbDecision=19000 #constraints=289134
167.94/168.03	c nbDecision=19500 #constraints=289250
173.74/173.85	c nbDecision=20000 #constraints=289491
179.24/179.40	c nbDecision=20500 #constraints=289693
183.03/183.14	c nbDecision=21000 #constraints=289801
188.13/188.22	c nbDecision=21500 #constraints=289938
194.54/194.67	c nbDecision=22000 #constraints=290136
201.73/201.89	c nbDecision=22500 #constraints=290370
207.23/207.36	c nbDecision=23000 #constraints=290557
214.82/214.96	c nbDecision=23500 #constraints=290845
222.13/222.28	c nbDecision=24000 #constraints=291107
226.62/226.72	c nbDecision=24500 #constraints=291241
234.32/234.42	c nbDecision=25000 #constraints=291494
240.72/240.84	c nbDecision=25500 #constraints=291701
241.61/241.70	c restart after 25601 decisions
244.21/244.35	c nbDecision=26000 #constraints=291761
251.11/251.29	c nbDecision=26500 #constraints=291973
259.11/259.26	c nbDecision=27000 #constraints=292229
268.41/268.58	c nbDecision=27500 #constraints=292544
279.60/279.76	c nbDecision=28000 #constraints=292895
288.40/288.51	c nbDecision=28500 #constraints=293154
295.10/295.29	c nbDecision=29000 #constraints=293340
301.60/301.79	c nbDecision=29500 #constraints=293516
308.90/309.08	c nbDecision=30000 #constraints=293717
316.40/316.55	c nbDecision=30500 #constraints=293917
323.79/323.92	c nbDecision=31000 #constraints=294113
331.19/331.30	c nbDecision=31500 #constraints=294299
339.99/340.14	c nbDecision=32000 #constraints=294565
348.88/349.08	c nbDecision=32500 #constraints=294792
355.09/355.24	c nbDecision=33000 #constraints=294931
365.88/366.00	c nbDecision=33500 #constraints=295223
373.98/374.13	c nbDecision=34000 #constraints=295434
385.07/385.20	c nbDecision=34500 #constraints=295719
392.07/392.23	c nbDecision=35000 #constraints=295866
403.17/403.30	c nbDecision=35500 #constraints=296152
414.87/415.04	c nbDecision=36000 #constraints=296424
427.16/427.35	c nbDecision=36500 #constraints=296653
437.86/438.01	c nbDecision=37000 #constraints=296872
450.16/450.31	c nbDecision=37500 #constraints=297128
461.86/462.06	c nbDecision=38000 #constraints=297354
472.05/472.20	c nbDecision=38500 #constraints=297573
484.95/485.11	c nbDecision=39000 #constraints=297810
496.04/496.27	c nbDecision=39500 #constraints=298003
507.95/508.15	c nbDecision=40000 #constraints=298231
523.04/523.26	c nbDecision=40500 #constraints=298499
536.43/536.67	c nbDecision=41000 #constraints=298770
551.23/551.45	c nbDecision=41500 #constraints=299033
570.82/571.08	c nbDecision=42000 #constraints=299341
587.51/587.75	c nbDecision=42500 #constraints=299643
603.01/603.22	c nbDecision=43000 #constraints=299927
612.01/612.24	c nbDecision=43500 #constraints=300098
630.71/631.00	c nbDecision=44000 #constraints=300364
664.40/664.67	c nbDecision=44500 #constraints=300733
680.99/681.20	c nbDecision=45000 #constraints=300991
697.19/697.48	c nbDecision=45500 #constraints=301216
708.28/708.55	c nbDecision=46000 #constraints=301384
723.78/724.05	c nbDecision=46500 #constraints=301647
744.17/744.41	c nbDecision=47000 #constraints=301908
764.67/764.94	c nbDecision=47500 #constraints=302231
779.36/779.66	c nbDecision=48000 #constraints=302467
790.66/790.91	c nbDecision=48500 #constraints=302691
811.36/811.62	c nbDecision=49000 #constraints=302950
828.75/829.09	c nbDecision=49500 #constraints=303169
835.25/835.59	c nbDecision=50000 #constraints=303366
838.15/838.46	c nbDecision=50500 #constraints=303452
839.95/840.23	c nbDecision=51000 #constraints=303546
840.55/840.89	c restart after 51201 decisions
842.05/842.36	c nbDecision=51500 #constraints=303579
843.35/843.60	c nbDecision=52000 #constraints=303581
848.95/849.28	c nbDecision=52500 #constraints=303639
860.95/861.30	c nbDecision=53000 #constraints=303754
865.24/865.53	c nbDecision=53500 #constraints=303806
877.64/877.95	c nbDecision=54000 #constraints=304086
891.23/891.57	c nbDecision=54500 #constraints=304271
907.93/908.25	c nbDecision=55000 #constraints=304450
912.63/912.94	c nbDecision=55500 #constraints=304586
920.33/920.62	c nbDecision=56000 #constraints=304924
928.63/928.91	c nbDecision=56500 #constraints=305293
937.22/937.59	c nbDecision=57000 #constraints=305661
947.21/947.56	c nbDecision=57500 #constraints=306026
956.21/956.54	c nbDecision=58000 #constraints=306346
966.52/966.88	c nbDecision=58500 #constraints=306683
978.41/978.72	c nbDecision=59000 #constraints=306934
986.11/986.45	c nbDecision=59500 #constraints=307181
994.40/994.71	c nbDecision=60000 #constraints=307478
1003.71/1004.02	c nbDecision=60500 #constraints=307829
1015.70/1016.03	c nbDecision=61000 #constraints=308218
1022.20/1022.51	c nbDecision=61500 #constraints=308394
1027.50/1027.83	c nbDecision=62000 #constraints=308509
1033.50/1033.82	c nbDecision=62500 #constraints=308580
1041.89/1042.27	c nbDecision=63000 #constraints=308714
1049.59/1050.00	c nbDecision=63500 #constraints=308829
1058.69/1059.05	c nbDecision=64000 #constraints=308984
1068.89/1069.27	c nbDecision=64500 #constraints=309172
1080.38/1080.75	c nbDecision=65000 #constraints=309369
1087.18/1087.58	c nbDecision=65500 #constraints=309513
1100.28/1100.62	c nbDecision=66000 #constraints=309885
1111.87/1112.28	c nbDecision=66500 #constraints=310208
1122.17/1122.57	c nbDecision=67000 #constraints=310476
1134.16/1134.53	c nbDecision=67500 #constraints=310783
1147.17/1147.55	c nbDecision=68000 #constraints=311110
1154.37/1154.70	c nbDecision=68500 #constraints=311237
1196.05/1196.48	c nbDecision=69000 #constraints=311598
1223.34/1223.76	c nbDecision=69500 #constraints=311964
1243.63/1244.04	c nbDecision=70000 #constraints=312179
1266.92/1267.34	c nbDecision=70500 #constraints=312398
1293.52/1293.98	c nbDecision=71000 #constraints=312623
1325.12/1325.59	c nbDecision=71500 #constraints=312922
1339.31/1339.79	c nbDecision=72000 #constraints=313114
1341.01/1341.48	c nbDecision=72500 #constraints=313148
1348.61/1349.01	c nbDecision=73000 #constraints=313465
1355.90/1356.36	c nbDecision=73500 #constraints=313655
1366.50/1366.98	c nbDecision=74000 #constraints=313954
1378.60/1379.08	c nbDecision=74500 #constraints=314251
1388.69/1389.17	c nbDecision=75000 #constraints=314549
1397.79/1398.26	c nbDecision=75500 #constraints=314790
1409.29/1409.70	c nbDecision=76000 #constraints=315074
1420.98/1421.42	c nbDecision=76500 #constraints=315320
1430.88/1431.30	c nbDecision=77000 #constraints=315520
1437.08/1437.58	c nbDecision=77500 #constraints=315639
1442.58/1443.08	c nbDecision=78000 #constraints=315731
1455.08/1455.56	c nbDecision=78500 #constraints=316031
1466.47/1466.99	c nbDecision=79000 #constraints=316305
1478.97/1479.44	c nbDecision=79500 #constraints=316573
1488.77/1489.29	c nbDecision=80000 #constraints=316766
1501.86/1502.35	c nbDecision=80500 #constraints=316991
1515.86/1516.38	c nbDecision=81000 #constraints=317248
1530.16/1530.69	c nbDecision=81500 #constraints=317498
1542.55/1543.06	c nbDecision=82000 #constraints=317692
1556.75/1557.27	c nbDecision=82500 #constraints=317977
1568.95/1569.44	c nbDecision=83000 #constraints=318199
1581.74/1582.27	c nbDecision=83500 #constraints=318421
1600.13/1600.64	c nbDecision=84000 #constraints=318680
1611.24/1611.74	c nbDecision=84500 #constraints=318822
1622.43/1622.97	c nbDecision=85000 #constraints=318991
1632.73/1633.27	c nbDecision=85500 #constraints=319139
1644.82/1645.35	c nbDecision=86000 #constraints=319294
1649.12/1649.64	c nbDecision=86500 #constraints=319363
1658.02/1658.57	c nbDecision=87000 #constraints=319627
1671.32/1671.86	c nbDecision=87500 #constraints=319994
1682.42/1682.96	c nbDecision=88000 #constraints=320298
1693.01/1693.53	c nbDecision=88500 #constraints=320581
1706.00/1706.51	c nbDecision=89000 #constraints=320889
1717.80/1718.36	c nbDecision=89500 #constraints=321180
1731.70/1732.22	c nbDecision=90000 #constraints=321496
1747.40/1747.96	c nbDecision=90500 #constraints=321812
1762.79/1763.37	c nbDecision=91000 #constraints=322139
1779.68/1780.23	c nbDecision=91500 #constraints=322448
1798.68/1799.27	c nbDecision=92000 #constraints=322738
1800.09/1800.61	Received signal 15
1800.19/1800.71	
1800.19/1800.72	s UNKNOWN
1800.19/1800.72	
1800.19/1800.72	c user time= 1799.77 s
1800.19/1800.72	c system time= 0.442932 s
1800.19/1800.72	c wall clock time=1800.72

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node54/watcher-419801-1177413212 -o ROOT/results/node54/solver-419801-1177413212 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/419801-1177413212/instance-419801-1177413212.opb mod 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.93 3/66 10060
/proc/meminfo: memFree=1589440/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=1468 CPUtime=0
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 188695698 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 367 166 130 317 0 46 0

[startup+0.0814641 s]
/proc/loadavg: 0.91 0.95 0.93 3/66 10060
/proc/meminfo: memFree=1589440/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=3184 CPUtime=0.07
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 591 0 0 0 7 0 0 0 18 0 1 0 188695698 3260416 574 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827801 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 796 574 130 317 0 475 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3184

[startup+0.101466 s]
/proc/loadavg: 0.91 0.95 0.93 3/66 10060
/proc/meminfo: memFree=1589440/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=3580 CPUtime=0.09
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 698 0 0 0 9 0 0 0 18 0 1 0 188695698 3665920 681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 895 681 130 317 0 574 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3580

[startup+0.30149 s]
/proc/loadavg: 0.91 0.95 0.93 3/66 10060
/proc/meminfo: memFree=1589440/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=7932 CPUtime=0.29
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 1786 0 0 0 29 0 0 0 19 0 1 0 188695698 8122368 1736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 1983 1736 130 317 0 1662 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7932

[startup+0.701541 s]
/proc/loadavg: 0.91 0.95 0.93 3/66 10060
/proc/meminfo: memFree=1589440/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=16372 CPUtime=0.69
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 3952 0 0 0 68 1 0 0 22 0 1 0 188695698 16764928 3837 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 4093 3837 130 317 0 3772 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16372

[startup+1.50164 s]
/proc/loadavg: 0.91 0.95 0.93 2/67 10061
/proc/meminfo: memFree=1568248/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=33252 CPUtime=1.49
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 8277 0 0 0 145 4 0 0 25 0 1 0 188695698 34050048 8033 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 8313 8033 130 317 0 7992 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33252

[startup+3.10185 s]
/proc/loadavg: 0.91 0.95 0.93 2/67 10061
/proc/meminfo: memFree=1544888/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=97236 CPUtime=3.09
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 24361 0 0 0 297 12 0 0 25 0 1 0 188695698 99569664 21922 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 24309 21922 139 317 0 23988 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 97236

[startup+6.30126 s]
/proc/loadavg: 0.92 0.95 0.93 2/67 10061
/proc/meminfo: memFree=1501688/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=97236 CPUtime=6.29
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 24361 0 0 0 617 12 0 0 25 0 1 0 188695698 99569664 21922 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 24309 21922 139 317 0 23988 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 97236

[startup+12.7011 s]
/proc/loadavg: 0.93 0.95 0.93 2/67 10061
/proc/meminfo: memFree=1501688/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=97236 CPUtime=12.68
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 24361 0 0 0 1256 12 0 0 25 0 1 0 188695698 99569664 21922 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 24309 21922 139 317 0 23988 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 97236

[startup+25.5017 s]
/proc/loadavg: 0.94 0.96 0.93 2/67 10061
/proc/meminfo: memFree=1501752/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=97236 CPUtime=25.48
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 24366 0 0 0 2536 12 0 0 25 0 1 0 188695698 99569664 21927 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 24309 21927 139 317 0 23988 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 97236

[startup+51.103 s]
/proc/loadavg: 0.96 0.96 0.93 2/67 10061
/proc/meminfo: memFree=1501880/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=97236 CPUtime=51.07
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 24374 0 0 0 5095 12 0 0 25 0 1 0 188695698 99569664 21935 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 24309 21935 139 317 0 23988 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 97236

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.93 2/67 10061
/proc/meminfo: memFree=1496760/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=102392 CPUtime=102.26
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 25659 0 0 0 10213 13 0 0 25 0 1 0 188695698 104849408 23220 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 25598 23220 139 317 0 25277 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 102392

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/67 10061
/proc/meminfo: memFree=1492600/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=106460 CPUtime=162.24
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 26695 0 0 0 16210 14 0 0 25 0 1 0 188695698 109015040 24256 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 26615 24256 139 317 0 26294 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 106460

[startup+222.303 s]
/proc/loadavg: 0.99 0.97 0.93 2/67 10061
/proc/meminfo: memFree=1487352/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=111652 CPUtime=222.23
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 27994 0 0 0 22207 16 0 0 25 0 1 0 188695698 114331648 25555 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 27913 25555 139 317 0 27592 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 111652

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/67 10061
/proc/meminfo: memFree=1481208/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=117808 CPUtime=282.2
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 29536 0 0 0 28203 17 0 0 25 0 1 0 188695698 120635392 27097 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 29452 27097 139 317 0 29131 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 117808

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/67 10061
/proc/meminfo: memFree=1473400/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=125644 CPUtime=342.19
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 31468 0 0 0 34200 19 0 0 25 0 1 0 188695698 128659456 29029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 31411 29029 139 317 0 31090 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 125644

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/67 10061
/proc/meminfo: memFree=1465016/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=134216 CPUtime=402.17
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 33562 0 0 0 40196 21 0 0 25 0 1 0 188695698 137437184 31123 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 33554 31123 139 317 0 33233 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 134216

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/67 10061
/proc/meminfo: memFree=1459064/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=140492 CPUtime=462.15
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 35047 0 0 0 46193 22 0 0 25 0 1 0 188695698 143863808 32608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 35123 32608 139 317 0 34802 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 140492

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/67 10061
/proc/meminfo: memFree=1454392/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=145084 CPUtime=522.14
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 36212 0 0 0 52191 23 0 0 25 0 1 0 188695698 148566016 33773 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563486 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 36271 33773 139 317 0 35950 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 145084

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/67 10061
/proc/meminfo: memFree=1449080/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=150760 CPUtime=582.12
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 37545 0 0 0 58188 24 0 0 25 0 1 0 188695698 154378240 35106 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 37690 35106 139 317 0 37369 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 150760

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/67 10061
/proc/meminfo: memFree=1446200/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=153544 CPUtime=642.11
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 38254 0 0 0 64186 25 0 0 25 0 1 0 188695698 157229056 35815 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 38386 35815 139 317 0 38065 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 153544


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/67 10061
/proc/meminfo: memFree=1431224/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=168968 CPUtime=882.04
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 41977 0 0 0 88177 27 0 0 25 0 1 0 188695698 173023232 39538 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 42242 39538 139 317 0 41921 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 168968

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/67 10061
/proc/meminfo: memFree=1425656/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=174616 CPUtime=942.02
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 43398 0 0 0 94174 28 0 0 25 0 1 0 188695698 178806784 40959 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 43654 40959 139 317 0 43333 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 174616

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/67 10061
/proc/meminfo: memFree=1420152/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=179972 CPUtime=1002.01
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 44756 0 0 0 100171 30 0 0 25 0 1 0 188695698 184291328 42317 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 44993 42317 139 317 0 44672 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 179972

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/67 10061
/proc/meminfo: memFree=1417912/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=182316 CPUtime=1061.99
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 45320 0 0 0 106169 30 0 0 25 0 1 0 188695698 186691584 42881 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 45579 42881 139 317 0 45258 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 182316

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/67 10061
/proc/meminfo: memFree=1414840/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=185328 CPUtime=1121.97
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 46081 0 0 0 112166 31 0 0 25 0 1 0 188695698 189775872 43642 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 46332 43642 139 317 0 46011 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 185328

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/67 10061
/proc/meminfo: memFree=1411832/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=188360 CPUtime=1181.95
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 46822 0 0 0 118163 32 0 0 25 0 1 0 188695698 192880640 44383 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563438 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 47090 44383 139 317 0 46769 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 188360

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/67 10061
/proc/meminfo: memFree=1408760/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=191548 CPUtime=1241.93
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 47590 0 0 0 124161 32 0 0 25 0 1 0 188695698 196145152 45151 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 47887 45151 139 317 0 47566 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 191548

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/67 10061
/proc/meminfo: memFree=1406584/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=193792 CPUtime=1301.93
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 48141 0 0 0 130160 33 0 0 25 0 1 0 188695698 198443008 45702 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 48448 45702 139 317 0 48127 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 193792

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/67 10061
/proc/meminfo: memFree=1399672/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=200816 CPUtime=1361.9
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 49869 0 0 0 136156 34 0 0 25 0 1 0 188695698 205635584 47430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 50204 47430 139 317 0 49883 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 200816

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.93 2/67 10061
/proc/meminfo: memFree=1389048/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=211344 CPUtime=1421.89
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 52518 0 0 0 142153 36 0 0 25 0 1 0 188695698 216416256 50079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711134 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 52836 50079 139 317 0 52515 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 211344

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/67 10061
/proc/meminfo: memFree=1379256/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=221808 CPUtime=1481.86
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 54984 0 0 0 148149 37 0 0 25 0 1 0 188695698 227131392 52545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 55452 52545 139 317 0 55131 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 221808

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/67 10061
/proc/meminfo: memFree=1368824/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=232040 CPUtime=1541.85
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 57541 0 0 0 154146 39 0 0 25 0 1 0 188695698 237608960 55102 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711026 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 58010 55102 139 317 0 57689 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 232040

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/67 10061
/proc/meminfo: memFree=1358712/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=242628 CPUtime=1601.83
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 60122 0 0 0 160143 40 0 0 25 0 1 0 188695698 248451072 57683 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 60657 57683 139 317 0 60336 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 242628

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/67 10061
/proc/meminfo: memFree=1350648/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=250300 CPUtime=1661.81
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 62081 0 0 0 166140 41 0 0 25 0 1 0 188695698 256307200 59642 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 62575 59642 139 317 0 62254 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 250300

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/67 10061
/proc/meminfo: memFree=1341816/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=260428 CPUtime=1721.8
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 64298 0 0 0 172138 42 0 0 25 0 1 0 188695698 266678272 61859 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 65107 61859 139 317 0 64786 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 260428

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/67 10061
/proc/meminfo: memFree=1335288/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=266948 CPUtime=1781.78
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 65917 0 0 0 178135 43 0 0 25 0 1 0 188695698 273354752 63478 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 66737 63478 139 317 0 66416 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 266948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.93 2/67 10061
/proc/meminfo: memFree=1332088/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=270260 CPUtime=1800.09
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194304 66715 0 0 0 179965 44 0 0 25 0 1 0 188695698 276746240 64276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712525 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 67565 64276 139 317 0 67244 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 270260

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

Solver just ended. Dumping a history of the last processes samples

[startup+1800.8 s]
/proc/loadavg: 0.99 0.97 0.93 2/67 10061
/proc/meminfo: memFree=1332088/2055920 swapFree=4182160/4192956
[pid=10060] ppid=10058 vsize=0 CPUtime=1800.28
/proc/10060/stat : 10060 (oree) R 10058 10060 9600 0 -1 4194308 66733 0 0 0 179983 45 0 0 25 0 1 0 188695698 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10060/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.83
CPU time (s): 1800.32
CPU user time (s): 1799.84
CPU system time (s): 0.482926
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 270260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.482926
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66733
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 3306

runsolver used 1.59276 second user time and 4.97924 second system time

The end

Launcher Data (download as text)

Begin job on node54 on Tue Apr 24 11:13:32 UTC 2007

IDJOB= 419801
IDBENCH= 47799
IDSOLVER= 172
FILE ID= node54/419801-1177413212

PBS_JOBID= 4675645

Free space on /tmp= 66331 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/industrial/manolios/manol-pipe-c6nidw_i.opb
COMMAND LINE= oree /tmp/evaluation/419801-1177413212/instance-419801-1177413212.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node54/watcher-419801-1177413212 -o ROOT/results/node54/solver-419801-1177413212 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/419801-1177413212/instance-419801-1177413212.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  0c63894d62f4302163b30af51999a51b

RANDOM SEED= 727522276

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node54.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.234
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.234
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:       1589848 kB
Buffers:         50720 kB
Cached:         335944 kB
SwapCached:       4132 kB
Active:         206876 kB
Inactive:       189764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1589848 kB
SwapTotal:     4192956 kB
SwapFree:      4182160 kB
Dirty:            9656 kB
Writeback:           0 kB
Mapped:          15828 kB
Slab:            55380 kB
Committed_AS:  2250944 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66331 MiB

End job on node54 on Tue Apr 24 11:43:35 UTC 2007