Trace number 420417

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.08 1800.66

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/
pebbling/unsat-pbl-00070.sat05-1324.reshuffled-07.opb
MD5SUMd0827ac69c7f1f6f6ddbed367d41eab4
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 benchmark4.52931
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables257
Total number of constraints7375
Number of constraints which are clauses7375
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 constraint11
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 7
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 17
Number of bits of the biggest sum of numbers5
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...
0.09/0.16	c ...done
0.09/0.16	c #vars=257 #constraints=7375 hasObjective=no
0.09/0.18	c res. mode=mod
0.09/0.18	c VSIDS like heuristics
0.09/0.18	c complete search running
0.29/0.35	c restart after 401 decisions
0.29/0.38	c nbDecision=500 #constraints=7453
0.39/0.48	c restart after 801 decisions
0.49/0.56	c nbDecision=1000 #constraints=7572
1.19/1.26	c nbDecision=1500 #constraints=7789
1.29/1.35	c restart after 1601 decisions
1.59/1.62	c nbDecision=2000 #constraints=7910
2.19/2.25	c nbDecision=2500 #constraints=8165
2.29/2.34	c nbDecision=3000 #constraints=8406
2.29/2.39	c restart after 3201 decisions
2.69/2.77	c nbDecision=3500 #constraints=8567
3.99/4.09	c nbDecision=4000 #constraints=8846
5.59/5.64	c nbDecision=4500 #constraints=9212
7.49/7.56	c nbDecision=5000 #constraints=9588
9.59/9.61	c nbDecision=5500 #constraints=9944
12.18/12.26	c nbDecision=6000 #constraints=10322
14.59/14.64	c restart after 6401 decisions
14.69/14.70	c nbDecision=6500 #constraints=10651
15.19/15.25	c nbDecision=7000 #constraints=10855
15.59/15.66	c nbDecision=7500 #constraints=10997
16.19/16.25	c nbDecision=8000 #constraints=11257
16.99/17.03	c nbDecision=8500 #constraints=11537
17.89/17.99	c nbDecision=9000 #constraints=11907
18.99/19.03	c nbDecision=9500 #constraints=12198
19.79/19.89	c nbDecision=10000 #constraints=12410
20.89/20.91	c nbDecision=10500 #constraints=12693
22.38/22.47	c nbDecision=11000 #constraints=13032
23.68/23.79	c nbDecision=11500 #constraints=13269
24.68/24.74	c nbDecision=12000 #constraints=13497
26.99/27.03	c nbDecision=12500 #constraints=13862
27.79/27.82	c restart after 12801 decisions
28.09/28.15	c nbDecision=13000 #constraints=14058
30.48/30.57	c nbDecision=13500 #constraints=14320
33.28/33.31	c nbDecision=14000 #constraints=14585
36.78/36.83	c nbDecision=14500 #constraints=14909
39.98/40.04	c nbDecision=15000 #constraints=15193
43.37/43.45	c nbDecision=15500 #constraints=15477
48.08/48.12	c nbDecision=16000 #constraints=15868
52.68/52.79	c nbDecision=16500 #constraints=16226
57.47/57.53	c nbDecision=17000 #constraints=16550
62.77/62.83	c nbDecision=17500 #constraints=16942
68.56/68.65	c nbDecision=18000 #constraints=17358
73.47/73.55	c nbDecision=18500 #constraints=17734
80.37/80.49	c nbDecision=19000 #constraints=18147
88.06/88.10	c nbDecision=19500 #constraints=18586
95.26/95.31	c nbDecision=20000 #constraints=18976
104.16/104.23	c nbDecision=20500 #constraints=19429
112.55/112.61	c nbDecision=21000 #constraints=19790
121.15/121.25	c nbDecision=21500 #constraints=20208
130.15/130.21	c nbDecision=22000 #constraints=20599
139.05/139.17	c nbDecision=22500 #constraints=21014
147.34/147.40	c nbDecision=23000 #constraints=21380
154.84/154.99	c nbDecision=23500 #constraints=21703
162.44/162.50	c nbDecision=24000 #constraints=22057
172.54/172.65	c nbDecision=24500 #constraints=22439
181.93/182.08	c nbDecision=25000 #constraints=22778
191.24/191.36	c nbDecision=25500 #constraints=23142
194.13/194.22	c restart after 25601 decisions
194.64/194.74	c nbDecision=26000 #constraints=23286
195.53/195.62	c nbDecision=26500 #constraints=23481
196.84/196.91	c nbDecision=27000 #constraints=23672
198.43/198.58	c nbDecision=27500 #constraints=23922
199.93/200.10	c nbDecision=28000 #constraints=24103
201.13/201.23	c nbDecision=28500 #constraints=24269
202.72/202.81	c nbDecision=29000 #constraints=24502
204.33/204.45	c nbDecision=29500 #constraints=24686
206.53/206.67	c nbDecision=30000 #constraints=24896
209.23/209.39	c nbDecision=30500 #constraints=25119
211.22/211.35	c nbDecision=31000 #constraints=25325
213.72/213.85	c nbDecision=31500 #constraints=25557
216.02/216.11	c nbDecision=32000 #constraints=25763
218.62/218.73	c nbDecision=32500 #constraints=25979
222.02/222.14	c nbDecision=33000 #constraints=26238
226.52/226.62	c nbDecision=33500 #constraints=26552
230.41/230.55	c nbDecision=34000 #constraints=26836
232.11/232.27	c nbDecision=34500 #constraints=26978
235.11/235.23	c nbDecision=35000 #constraints=27251
238.31/238.48	c nbDecision=35500 #constraints=27473
241.12/241.29	c nbDecision=36000 #constraints=27665
244.71/244.84	c nbDecision=36500 #constraints=27888
247.11/247.29	c nbDecision=37000 #constraints=28046
250.11/250.27	c nbDecision=37500 #constraints=28232
254.81/254.93	c nbDecision=38000 #constraints=28498
259.20/259.35	c nbDecision=38500 #constraints=28727
264.90/265.05	c nbDecision=39000 #constraints=28978
269.50/269.61	c nbDecision=39500 #constraints=29264
275.61/275.71	c nbDecision=40000 #constraints=29567
281.21/281.31	c nbDecision=40500 #constraints=29799
290.10/290.25	c nbDecision=41000 #constraints=30099
297.60/297.74	c nbDecision=41500 #constraints=30363
302.30/302.47	c nbDecision=42000 #constraints=30548
306.49/306.69	c nbDecision=42500 #constraints=30812
311.59/311.79	c nbDecision=43000 #constraints=31069
317.19/317.31	c nbDecision=43500 #constraints=31329
323.09/323.22	c nbDecision=44000 #constraints=31607
327.18/327.37	c nbDecision=44500 #constraints=31798
332.98/333.18	c nbDecision=45000 #constraints=32031
337.78/337.90	c nbDecision=45500 #constraints=32271
342.58/342.76	c nbDecision=46000 #constraints=32431
347.39/347.51	c nbDecision=46500 #constraints=32611
352.38/352.54	c nbDecision=47000 #constraints=32819
358.48/358.66	c nbDecision=47500 #constraints=33048
367.97/368.11	c nbDecision=48000 #constraints=33394
375.17/375.38	c nbDecision=48500 #constraints=33701
383.87/384.04	c nbDecision=49000 #constraints=34003
390.96/391.11	c nbDecision=49500 #constraints=34256
398.76/398.98	c nbDecision=50000 #constraints=34496
407.76/407.96	c nbDecision=50500 #constraints=34812
419.06/419.22	c nbDecision=51000 #constraints=35114
422.55/422.77	c restart after 51201 decisions
425.65/425.87	c nbDecision=51500 #constraints=35331
431.65/431.87	c nbDecision=52000 #constraints=35617
436.75/436.94	c nbDecision=52500 #constraints=35842
442.35/442.52	c nbDecision=53000 #constraints=36133
449.34/449.58	c nbDecision=53500 #constraints=36515
458.14/458.31	c nbDecision=54000 #constraints=36907
466.04/466.29	c nbDecision=54500 #constraints=37275
475.24/475.46	c nbDecision=55000 #constraints=37576
486.93/487.20	c nbDecision=55500 #constraints=37924
501.43/501.65	c nbDecision=56000 #constraints=38321
510.63/510.87	c nbDecision=56500 #constraints=38680
520.83/521.08	c nbDecision=57000 #constraints=38978
530.82/531.08	c nbDecision=57500 #constraints=39365
539.32/539.60	c nbDecision=58000 #constraints=39607
543.92/544.14	c nbDecision=58500 #constraints=39757
553.61/553.83	c nbDecision=59000 #constraints=40138
562.01/562.24	c nbDecision=59500 #constraints=40451
572.31/572.58	c nbDecision=60000 #constraints=40787
581.40/581.67	c nbDecision=60500 #constraints=40978
592.70/592.95	c nbDecision=61000 #constraints=41309
604.70/604.93	c nbDecision=61500 #constraints=41614
616.60/616.81	c nbDecision=62000 #constraints=41929
628.79/629.05	c nbDecision=62500 #constraints=42284
641.89/642.19	c nbDecision=63000 #constraints=42609
655.48/655.76	c nbDecision=63500 #constraints=42929
661.68/661.99	c nbDecision=64000 #constraints=43080
671.67/671.97	c nbDecision=64500 #constraints=43342
683.67/683.92	c nbDecision=65000 #constraints=43704
696.47/696.73	c nbDecision=65500 #constraints=44124
715.26/715.55	c nbDecision=66000 #constraints=44483
727.25/727.57	c nbDecision=66500 #constraints=44765
742.95/743.26	c nbDecision=67000 #constraints=45160
752.95/753.23	c nbDecision=67500 #constraints=45381
764.05/764.31	c nbDecision=68000 #constraints=45652
775.44/775.75	c nbDecision=68500 #constraints=45947
785.84/786.14	c nbDecision=69000 #constraints=46183
796.93/797.24	c nbDecision=69500 #constraints=46363
812.03/812.30	c nbDecision=70000 #constraints=46684
830.02/830.34	c nbDecision=70500 #constraints=47042
850.32/850.68	c nbDecision=71000 #constraints=47455
872.81/873.13	c nbDecision=71500 #constraints=47813
884.91/885.28	c nbDecision=72000 #constraints=48199
900.51/900.90	c nbDecision=72500 #constraints=48519
918.20/918.59	c nbDecision=73000 #constraints=48852
935.09/935.46	c nbDecision=73500 #constraints=49162
949.89/950.26	c nbDecision=74000 #constraints=49416
964.38/964.75	c nbDecision=74500 #constraints=49694
983.38/983.79	c nbDecision=75000 #constraints=50067
997.57/997.92	c nbDecision=75500 #constraints=50380
1010.57/1010.94	c nbDecision=76000 #constraints=50651
1024.36/1024.75	c nbDecision=76500 #constraints=50881
1049.35/1049.78	c nbDecision=77000 #constraints=51247
1073.75/1074.19	c nbDecision=77500 #constraints=51602
1094.44/1094.86	c nbDecision=78000 #constraints=51888
1112.13/1112.57	c nbDecision=78500 #constraints=52200
1131.12/1131.57	c nbDecision=79000 #constraints=52497
1147.93/1148.35	c nbDecision=79500 #constraints=52753
1164.42/1164.88	c nbDecision=80000 #constraints=53013
1189.00/1189.47	c nbDecision=80500 #constraints=53366
1209.90/1210.31	c nbDecision=81000 #constraints=53700
1225.60/1226.02	c nbDecision=81500 #constraints=53935
1240.40/1240.89	c nbDecision=82000 #constraints=54168
1269.68/1270.14	c nbDecision=82500 #constraints=54493
1290.88/1291.33	c nbDecision=83000 #constraints=54792
1304.97/1305.48	c nbDecision=83500 #constraints=55121
1322.96/1323.42	c nbDecision=84000 #constraints=55444
1346.96/1347.45	c nbDecision=84500 #constraints=55834
1368.45/1368.94	c nbDecision=85000 #constraints=56150
1397.74/1398.25	c nbDecision=85500 #constraints=56553
1414.04/1414.52	c nbDecision=86000 #constraints=56863
1446.33/1446.87	c nbDecision=86500 #constraints=57257
1480.21/1480.71	c nbDecision=87000 #constraints=57611
1496.91/1497.46	c nbDecision=87500 #constraints=57960
1514.50/1515.10	c nbDecision=88000 #constraints=58333
1546.99/1547.54	c nbDecision=88500 #constraints=58699
1578.78/1579.38	c nbDecision=89000 #constraints=59013
1611.98/1612.59	c nbDecision=89500 #constraints=59390
1632.27/1632.88	c nbDecision=90000 #constraints=59611
1651.36/1651.97	c nbDecision=90500 #constraints=59943
1678.15/1678.71	c nbDecision=91000 #constraints=60306
1706.44/1707.04	c nbDecision=91500 #constraints=60628
1732.63/1733.24	c nbDecision=92000 #constraints=60943
1764.63/1765.29	c nbDecision=92500 #constraints=61294
1784.12/1784.78	c nbDecision=93000 #constraints=61623
1800.02/1800.60	Received signal 15
1800.02/1800.63	
1800.02/1800.63	s UNKNOWN
1800.02/1800.63	
1800.02/1800.63	c user time= 1799.81 s
1800.02/1800.63	c system time= 0.254961 s
1800.02/1800.63	c wall clock time=1800.64

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/node69/watcher-420417-1177423956 -o ROOT/results/node69/solver-420417-1177423956 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/420417-1177423956/instance-420417-1177423956.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.86 0.97 0.99 3/64 7466
/proc/meminfo: memFree=1913764/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=1468 CPUtime=0
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 218385045 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 367 163 130 317 0 46 0

[startup+0.089189 s]
/proc/loadavg: 0.86 0.97 0.99 3/64 7466
/proc/meminfo: memFree=1913764/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=3184 CPUtime=0.08
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 607 0 0 0 8 0 0 0 18 0 1 0 218385045 3260416 590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 796 590 130 317 0 475 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3184

[startup+0.101197 s]
/proc/loadavg: 0.86 0.97 0.99 3/64 7466
/proc/meminfo: memFree=1913764/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=3448 CPUtime=0.09
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 669 0 0 0 9 0 0 0 18 0 1 0 218385045 3530752 652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 862 652 130 317 0 541 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3448

[startup+0.301228 s]
/proc/loadavg: 0.86 0.97 0.99 3/64 7466
/proc/meminfo: memFree=1913764/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=6364 CPUtime=0.29
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 1400 0 0 0 29 0 0 0 19 0 1 0 218385045 6516736 1332 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596337 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 1591 1332 139 317 0 1270 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6364

[startup+0.701292 s]
/proc/loadavg: 0.86 0.97 0.99 3/64 7466
/proc/meminfo: memFree=1913764/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=6364 CPUtime=0.69
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 1400 0 0 0 69 0 0 0 22 0 1 0 218385045 6516736 1332 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746922 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 1591 1332 139 317 0 1270 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6364

[startup+1.50142 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 7467
/proc/meminfo: memFree=1908764/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=6496 CPUtime=1.49
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 1459 0 0 0 149 0 0 0 25 0 1 0 218385045 6651904 1391 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 1624 1391 139 317 0 1303 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6496

[startup+3.10167 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 7467
/proc/meminfo: memFree=1908316/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=7456 CPUtime=3.09
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 1686 0 0 0 309 0 0 0 25 0 1 0 218385045 7634944 1618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718338 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 1864 1618 139 317 0 1543 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7456

[startup+6.3012 s]
/proc/loadavg: 0.87 0.97 0.99 2/65 7467
/proc/meminfo: memFree=1907100/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=8276 CPUtime=6.29
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 1874 0 0 0 628 1 0 0 25 0 1 0 218385045 8474624 1806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 2069 1806 139 317 0 1748 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8276

[startup+12.7012 s]
/proc/loadavg: 0.88 0.97 0.99 2/65 7467
/proc/meminfo: memFree=1905764/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=9332 CPUtime=12.68
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 2162 0 0 0 1267 1 0 0 25 0 1 0 218385045 9555968 2094 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 2333 2094 139 317 0 2012 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 9332

[startup+25.5013 s]
/proc/loadavg: 0.90 0.97 0.99 2/65 7467
/proc/meminfo: memFree=1901476/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=13736 CPUtime=25.48
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 3244 0 0 0 2546 2 0 0 25 0 1 0 218385045 14065664 3176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278982 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 3434 3176 139 317 0 3113 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 13736

[startup+51.1015 s]
/proc/loadavg: 0.94 0.97 0.99 2/65 7467
/proc/meminfo: memFree=1898532/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=16964 CPUtime=51.08
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 4059 0 0 0 5104 4 0 0 25 0 1 0 218385045 17371136 3891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715615 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 4241 3891 139 317 0 3920 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 16964

[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.99 2/65 7467
/proc/meminfo: memFree=1895140/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=20284 CPUtime=102.26
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 4886 0 0 0 10221 5 0 0 25 0 1 0 218385045 20770816 4718 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 5071 4718 139 317 0 4750 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 20284

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7467
/proc/meminfo: memFree=1892260/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=23412 CPUtime=162.24
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 5609 0 0 0 16219 5 0 0 25 0 1 0 218385045 23973888 5441 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 5853 5441 139 317 0 5532 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 23412

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7467
/proc/meminfo: memFree=1886308/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=29652 CPUtime=222.22
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 7089 0 0 0 22215 7 0 0 25 0 1 0 218385045 30363648 6921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 7413 6921 139 317 0 7092 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 29652

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7467
/proc/meminfo: memFree=1879844/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=36692 CPUtime=282.2
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 8881 0 0 0 28211 9 0 0 25 0 1 0 218385045 37572608 8515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 9173 8515 139 317 0 8852 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 36692

[startup+342.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7467
/proc/meminfo: memFree=1875492/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=41504 CPUtime=342.19
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 9949 0 0 0 34209 10 0 0 25 0 1 0 218385045 42500096 9583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 10376 9583 139 317 0 10055 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 41504

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7467
/proc/meminfo: memFree=1871780/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=45240 CPUtime=402.16
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 10890 0 0 0 40206 10 0 0 25 0 1 0 218385045 46325760 10524 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 11310 10524 139 317 0 10989 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 45240

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7467
/proc/meminfo: memFree=1868260/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=48828 CPUtime=462.14
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 11758 0 0 0 46202 12 0 0 25 0 1 0 218385045 49999872 11392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 12207 11392 139 317 0 11886 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 48828

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7467
/proc/meminfo: memFree=1865252/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=52272 CPUtime=522.13
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 12545 0 0 0 52200 13 0 0 25 0 1 0 218385045 53526528 12146 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 13068 12146 139 317 0 12747 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 52272

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7467
/proc/meminfo: memFree=1862372/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=55152 CPUtime=582.1
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 13277 0 0 0 58197 13 0 0 25 0 1 0 218385045 56475648 12845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 13788 12845 139 317 0 13467 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 55152

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7467
/proc/meminfo: memFree=1859876/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=57568 CPUtime=642.09
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 13903 0 0 0 64195 14 0 0 25 0 1 0 218385045 58949632 13471 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 14392 13471 139 317 0 14071 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 57568


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7467
/proc/meminfo: memFree=1853220/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=64052 CPUtime=822.03
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 15609 0 0 0 82186 17 0 0 25 0 1 0 218385045 65589248 15111 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 16013 15111 139 317 0 15692 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 64052

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7467
/proc/meminfo: memFree=1850980/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=66528 CPUtime=882.01
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 16204 0 0 0 88183 18 0 0 25 0 1 0 218385045 68124672 15673 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 16632 15673 139 317 0 16311 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 66528

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7467
/proc/meminfo: memFree=1848868/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=68752 CPUtime=941.99
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 16784 0 0 0 94181 18 0 0 25 0 1 0 218385045 70402048 16187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 17188 16187 139 317 0 16867 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 68752

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7467
/proc/meminfo: memFree=1846820/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=71024 CPUtime=1001.97
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 17396 0 0 0 100178 19 0 0 25 0 1 0 218385045 72728576 16700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 17756 16700 139 317 0 17435 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 71024

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7467
/proc/meminfo: memFree=1845028/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=72988 CPUtime=1061.95
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 17919 0 0 0 106175 20 0 0 25 0 1 0 218385045 74739712 17124 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 18247 17124 139 317 0 17926 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 72988

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7467
/proc/meminfo: memFree=1843172/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=74744 CPUtime=1121.93
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 18406 0 0 0 112173 20 0 0 25 0 1 0 218385045 76537856 17611 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 18686 17611 139 317 0 18365 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 74744

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7467
/proc/meminfo: memFree=1841188/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=76880 CPUtime=1181.91
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 18958 0 0 0 118170 21 0 0 25 0 1 0 218385045 78725120 18064 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 19220 18064 139 317 0 18899 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 76880

[startup+1242.3 s]
/proc/loadavg: 1.03 0.99 0.99 2/65 7467
/proc/meminfo: memFree=1839524/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=78452 CPUtime=1241.89
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 19388 0 0 0 124167 22 0 0 25 0 1 0 218385045 80334848 18494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 19613 18494 139 317 0 19292 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 78452

[startup+1302.3 s]
/proc/loadavg: 1.05 1.00 1.00 2/65 7467
/proc/meminfo: memFree=1838116/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=79924 CPUtime=1301.88
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 19777 0 0 0 130166 22 0 0 25 0 1 0 218385045 81842176 18850 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 19981 18850 139 317 0 19660 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 79924

[startup+1362.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/65 7467
/proc/meminfo: memFree=1836708/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=81368 CPUtime=1361.85
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 20122 0 0 0 136163 22 0 0 25 0 1 0 218385045 83320832 19195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 20342 19195 139 317 0 20021 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 81368

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7467
/proc/meminfo: memFree=1835364/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=82548 CPUtime=1421.84
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 20442 0 0 0 142161 23 0 0 25 0 1 0 218385045 84529152 19515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 20637 19515 139 317 0 20316 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 82548

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7467
/proc/meminfo: memFree=1834340/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=83592 CPUtime=1481.81
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 20744 0 0 0 148158 23 0 0 25 0 1 0 218385045 85598208 19784 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 20898 19784 139 317 0 20577 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 83592

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7467
/proc/meminfo: memFree=1832164/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=87012 CPUtime=1541.79
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 21669 0 0 0 154156 23 0 0 25 0 1 0 218385045 89100288 20281 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 21753 20281 139 317 0 21432 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 87012

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7467
/proc/meminfo: memFree=1831524/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=88076 CPUtime=1601.78
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 21958 0 0 0 160154 24 0 0 25 0 1 0 218385045 90189824 20472 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 22019 20472 139 317 0 21698 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 88076

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7467
/proc/meminfo: memFree=1830308/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=89248 CPUtime=1661.76
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 22288 0 0 0 166152 24 0 0 25 0 1 0 218385045 91389952 20769 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 22312 20769 139 317 0 21991 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 89248

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7469
/proc/meminfo: memFree=1829156/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=90428 CPUtime=1721.73
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 22600 0 0 0 172149 24 0 0 25 0 1 0 218385045 92598272 21048 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 22607 21048 139 317 0 22286 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 90428

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7469
/proc/meminfo: memFree=1828004/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=91612 CPUtime=1781.72
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 22883 0 0 0 178147 25 0 0 25 0 1 0 218385045 93810688 21331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 22903 21331 139 317 0 22582 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 91612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 7469
/proc/meminfo: memFree=1827620/2055920 swapFree=4182892/4192956
[pid=7466] ppid=7464 vsize=92136 CPUtime=1800.02
/proc/7466/stat : 7466 (oree) R 7464 7466 5894 0 -1 4194304 22974 0 0 0 179977 25 0 0 25 0 1 0 218385045 94347264 21422 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7466/statm: 23034 21422 139 317 0 22713 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 92136

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

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

Child status: 0
Real time (s): 1800.66
CPU time (s): 1800.08
CPU user time (s): 1799.81
CPU system time (s): 0.267959
CPU usage (%): 99.9679
Max. virtual memory (cumulated for all children) (KiB): 92136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.81
system time used= 0.267959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22990
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= 1705

runsolver used 1.43578 second user time and 3.50247 second system time

The end

Launcher Data (download as text)

Begin job on node69 on Tue Apr 24 14:12:36 UTC 2007

IDJOB= 420417
IDBENCH= 47843
IDSOLVER= 172
FILE ID= node69/420417-1177423956

PBS_JOBID= 4675654

Free space on /tmp= 66494 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/pebbling/unsat-pbl-00070.sat05-1324.reshuffled-07.opb
COMMAND LINE= oree /tmp/evaluation/420417-1177423956/instance-420417-1177423956.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node69/watcher-420417-1177423956 -o ROOT/results/node69/solver-420417-1177423956 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/420417-1177423956/instance-420417-1177423956.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  d0827ac69c7f1f6f6ddbed367d41eab4

RANDOM SEED= 144964849

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node69.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.264
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	: 5931.00
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.264
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:       1914236 kB
Buffers:          7696 kB
Cached:          78548 kB
SwapCached:       3788 kB
Active:          53244 kB
Inactive:        47044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1914236 kB
SwapTotal:     4192956 kB
SwapFree:      4182892 kB
Dirty:            1984 kB
Writeback:           0 kB
Mapped:          20092 kB
Slab:            27368 kB
Committed_AS:  2254624 kB
PageTables:       1488 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66494 MiB

End job on node69 on Tue Apr 24 14:42:39 UTC 2007