Trace number 419717

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.25 1800.75

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/industrial/
babic/hsatv17/hsat_vc12072.opb
MD5SUM9db97d50c85d2c37e8812e72b8a2d525
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 benchmark23.1445
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables236486
Total number of constraints673711
Number of constraints which are clauses673711
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...
5.79/5.82	c ...done
5.79/5.82	c #vars=236486 #constraints=673711 hasObjective=no
6.60/6.67	c res. mode=mod
6.60/6.67	c VSIDS like heuristics
6.60/6.67	c complete search running
9.09/9.12	c restart after 401 decisions
9.59/9.65	c nbDecision=500 #constraints=673716
11.49/11.57	c restart after 801 decisions
12.49/12.56	c nbDecision=1000 #constraints=673720
16.69/16.74	c nbDecision=1500 #constraints=673731
18.09/18.11	c restart after 1601 decisions
20.39/20.43	c nbDecision=2000 #constraints=673741
24.29/24.34	c nbDecision=2500 #constraints=673751
29.79/29.88	c nbDecision=3000 #constraints=673773
30.69/30.74	c restart after 3201 decisions
33.99/34.08	c nbDecision=3500 #constraints=673784
38.68/38.79	c nbDecision=4000 #constraints=673808
42.58/42.65	c nbDecision=4500 #constraints=673827
50.88/50.95	c nbDecision=5000 #constraints=673918
55.68/55.71	c nbDecision=5500 #constraints=673973
71.58/71.61	c nbDecision=6000 #constraints=674231
88.87/88.92	c restart after 6401 decisions
90.17/90.20	c nbDecision=6500 #constraints=674523
101.07/101.16	c nbDecision=7000 #constraints=674692
118.56/118.64	c nbDecision=7500 #constraints=674961
129.66/129.70	c nbDecision=8000 #constraints=675119
141.56/141.64	c nbDecision=8500 #constraints=675311
156.35/156.43	c nbDecision=9000 #constraints=675502
166.95/167.08	c nbDecision=9500 #constraints=675637
175.55/175.67	c nbDecision=10000 #constraints=675730
192.74/192.83	c nbDecision=10500 #constraints=675928
216.74/216.86	c nbDecision=11000 #constraints=676234
242.94/243.08	c nbDecision=11500 #constraints=676548
273.93/274.05	c nbDecision=12000 #constraints=676890
302.12/302.29	c nbDecision=12500 #constraints=677188
319.12/319.28	c restart after 12801 decisions
320.22/320.37	c nbDecision=13000 #constraints=677372
324.91/325.04	c nbDecision=13500 #constraints=677419
331.21/331.38	c nbDecision=14000 #constraints=677499
339.81/339.92	c nbDecision=14500 #constraints=677615
345.41/345.57	c nbDecision=15000 #constraints=677675
351.01/351.17	c nbDecision=15500 #constraints=677729
353.51/353.66	c nbDecision=16000 #constraints=677736
355.81/355.90	c nbDecision=16500 #constraints=677740
357.81/357.92	c nbDecision=17000 #constraints=677742
360.71/360.85	c nbDecision=17500 #constraints=677757
376.40/376.58	c nbDecision=18000 #constraints=677995
381.51/381.61	c nbDecision=18500 #constraints=678050
388.90/389.04	c nbDecision=19000 #constraints=678170
392.90/393.03	c nbDecision=19500 #constraints=678195
400.80/400.90	c nbDecision=20000 #constraints=678284
422.89/423.03	c nbDecision=20500 #constraints=678545
443.79/443.93	c nbDecision=21000 #constraints=678796
461.18/461.37	c nbDecision=21500 #constraints=679040
471.28/471.48	c nbDecision=22000 #constraints=679162
482.38/482.53	c nbDecision=22500 #constraints=679316
497.68/497.86	c nbDecision=23000 #constraints=679449
500.38/500.56	c nbDecision=23500 #constraints=679461
507.27/507.47	c nbDecision=24000 #constraints=679576
511.87/512.03	c nbDecision=24500 #constraints=679638
514.87/515.05	c nbDecision=25000 #constraints=679662
522.97/523.15	c nbDecision=25500 #constraints=679767
526.07/526.24	c restart after 25601 decisions
534.47/534.65	c nbDecision=26000 #constraints=679897
543.57/543.70	c nbDecision=26500 #constraints=680005
549.46/549.69	c nbDecision=27000 #constraints=680061
557.66/557.88	c nbDecision=27500 #constraints=680168
586.36/586.53	c nbDecision=28000 #constraints=680490
617.56/617.72	c nbDecision=28500 #constraints=680857
628.93/629.13	c nbDecision=29000 #constraints=681013
633.51/633.76	c nbDecision=29500 #constraints=681059
639.50/639.72	c nbDecision=30000 #constraints=681122
642.69/642.96	c nbDecision=30500 #constraints=681142
656.26/656.51	c nbDecision=31000 #constraints=681349
661.96/662.23	c nbDecision=31500 #constraints=681415
675.25/675.58	c nbDecision=32000 #constraints=681590
691.14/691.41	c nbDecision=32500 #constraints=681800
709.14/709.41	c nbDecision=33000 #constraints=682014
725.83/726.12	c nbDecision=33500 #constraints=682210
737.04/737.39	c nbDecision=34000 #constraints=682337
756.03/756.30	c nbDecision=34500 #constraints=682544
772.23/772.54	c nbDecision=35000 #constraints=682752
791.52/791.89	c nbDecision=35500 #constraints=682933
810.11/810.40	c nbDecision=36000 #constraints=683076
827.82/828.14	c nbDecision=36500 #constraints=683275
848.91/849.23	c nbDecision=37000 #constraints=683491
870.60/870.97	c nbDecision=37500 #constraints=683745
878.50/878.85	c nbDecision=38000 #constraints=683805
882.80/883.20	c nbDecision=38500 #constraints=683826
886.40/886.72	c nbDecision=39000 #constraints=683852
890.90/891.22	c nbDecision=39500 #constraints=683886
893.70/894.02	c nbDecision=40000 #constraints=683895
896.79/897.11	c nbDecision=40500 #constraints=683905
900.50/900.82	c nbDecision=41000 #constraints=683922
902.99/903.35	c nbDecision=41500 #constraints=683926
907.39/907.74	c nbDecision=42000 #constraints=683981
909.69/910.08	c nbDecision=42500 #constraints=683988
912.29/912.62	c nbDecision=43000 #constraints=683994
916.99/917.32	c nbDecision=43500 #constraints=684032
920.19/920.53	c nbDecision=44000 #constraints=684057
922.19/922.56	c nbDecision=44500 #constraints=684059
924.59/924.98	c nbDecision=45000 #constraints=684064
926.89/927.21	c nbDecision=45500 #constraints=684069
929.19/929.51	c nbDecision=46000 #constraints=684071
932.59/932.96	c nbDecision=46500 #constraints=684092
936.28/936.69	c nbDecision=47000 #constraints=684114
942.58/942.92	c nbDecision=47500 #constraints=684187
944.49/944.80	c nbDecision=48000 #constraints=684191
952.28/952.68	c nbDecision=48500 #constraints=684284
957.98/958.32	c nbDecision=49000 #constraints=684344
962.58/962.91	c nbDecision=49500 #constraints=684369
965.98/966.32	c nbDecision=50000 #constraints=684383
968.78/969.13	c nbDecision=50500 #constraints=684401
977.17/977.53	c nbDecision=51000 #constraints=684517
977.97/978.35	c restart after 51201 decisions
980.67/981.03	c nbDecision=51500 #constraints=684537
984.18/984.56	c nbDecision=52000 #constraints=684567
988.38/988.76	c nbDecision=52500 #constraints=684602
997.38/997.73	c nbDecision=53000 #constraints=684726
1003.28/1003.67	c nbDecision=53500 #constraints=684779
1010.58/1010.99	c nbDecision=54000 #constraints=684838
1015.57/1015.92	c nbDecision=54500 #constraints=684872
1024.97/1025.35	c nbDecision=55000 #constraints=684963
1036.97/1037.33	c nbDecision=55500 #constraints=685089
1043.76/1044.11	c nbDecision=56000 #constraints=685169
1048.26/1048.67	c nbDecision=56500 #constraints=685194
1057.66/1058.08	c nbDecision=57000 #constraints=685255
1072.26/1072.65	c nbDecision=57500 #constraints=685410
1081.96/1082.38	c nbDecision=58000 #constraints=685494
1088.35/1088.72	c nbDecision=58500 #constraints=685547
1093.65/1094.07	c nbDecision=59000 #constraints=685597
1106.94/1107.37	c nbDecision=59500 #constraints=685746
1121.94/1122.35	c nbDecision=60000 #constraints=685937
1135.44/1135.83	c nbDecision=60500 #constraints=686078
1153.24/1153.64	c nbDecision=61000 #constraints=686312
1168.94/1169.38	c nbDecision=61500 #constraints=686515
1181.53/1181.90	c nbDecision=62000 #constraints=686658
1193.03/1193.40	c nbDecision=62500 #constraints=686787
1201.72/1202.20	c nbDecision=63000 #constraints=686878
1210.72/1211.14	c nbDecision=63500 #constraints=686972
1219.02/1219.40	c nbDecision=64000 #constraints=687050
1226.63/1227.03	c nbDecision=64500 #constraints=687142
1239.82/1240.24	c nbDecision=65000 #constraints=687290
1248.32/1248.77	c nbDecision=65500 #constraints=687377
1274.21/1274.61	c nbDecision=66000 #constraints=687699
1296.11/1296.54	c nbDecision=66500 #constraints=687981
1328.00/1328.48	c nbDecision=67000 #constraints=688270
1340.79/1341.24	c nbDecision=67500 #constraints=688399
1369.39/1369.86	c nbDecision=68000 #constraints=688680
1396.39/1396.89	c nbDecision=68500 #constraints=689015
1421.68/1422.18	c nbDecision=69000 #constraints=689342
1446.08/1446.50	c nbDecision=69500 #constraints=689625
1469.57/1470.01	c nbDecision=70000 #constraints=689892
1479.86/1480.35	c nbDecision=70500 #constraints=689979
1488.16/1488.62	c nbDecision=71000 #constraints=690062
1504.86/1505.40	c nbDecision=71500 #constraints=690262
1521.35/1521.80	c nbDecision=72000 #constraints=690446
1545.15/1545.64	c nbDecision=72500 #constraints=690732
1549.25/1549.73	c nbDecision=73000 #constraints=690749
1566.65/1567.10	c nbDecision=73500 #constraints=691089
1585.34/1585.88	c nbDecision=74000 #constraints=691458
1591.14/1591.65	c nbDecision=74500 #constraints=691538
1594.04/1594.55	c nbDecision=75000 #constraints=691550
1596.14/1596.60	c nbDecision=75500 #constraints=691554
1600.04/1600.58	c nbDecision=76000 #constraints=691577
1607.53/1608.02	c nbDecision=76500 #constraints=691624
1609.94/1610.48	c nbDecision=77000 #constraints=691630
1614.24/1614.70	c nbDecision=77500 #constraints=691659
1617.23/1617.73	c nbDecision=78000 #constraints=691675
1622.93/1623.45	c nbDecision=78500 #constraints=691740
1626.83/1627.39	c nbDecision=79000 #constraints=691753
1634.04/1634.57	c nbDecision=79500 #constraints=691882
1640.13/1640.61	c nbDecision=80000 #constraints=691954
1644.33/1644.81	c nbDecision=80500 #constraints=691981
1653.83/1654.39	c nbDecision=81000 #constraints=692091
1660.92/1661.45	c nbDecision=81500 #constraints=692158
1663.83/1664.32	c nbDecision=82000 #constraints=692169
1678.52/1679.03	c nbDecision=82500 #constraints=692429
1682.22/1682.79	c nbDecision=83000 #constraints=692467
1690.32/1690.88	c nbDecision=83500 #constraints=692570
1696.72/1697.20	c nbDecision=84000 #constraints=692638
1703.51/1704.05	c nbDecision=84500 #constraints=692715
1705.71/1706.21	c nbDecision=85000 #constraints=692720
1708.21/1708.72	c nbDecision=85500 #constraints=692730
1711.11/1711.67	c nbDecision=86000 #constraints=692765
1713.41/1713.90	c nbDecision=86500 #constraints=692766
1717.51/1718.05	c nbDecision=87000 #constraints=692847
1719.91/1720.48	c nbDecision=87500 #constraints=692858
1722.31/1722.85	c nbDecision=88000 #constraints=692866
1724.81/1725.31	c nbDecision=88500 #constraints=692878
1726.81/1727.36	c nbDecision=89000 #constraints=692879
1729.11/1729.65	c nbDecision=89500 #constraints=692893
1731.61/1732.20	c nbDecision=90000 #constraints=692903
1738.51/1739.02	c nbDecision=90500 #constraints=692976
1744.01/1744.56	c nbDecision=91000 #constraints=693043
1747.90/1748.41	c nbDecision=91500 #constraints=693082
1750.00/1750.56	c nbDecision=92000 #constraints=693091
1754.10/1754.64	c nbDecision=92500 #constraints=693131
1761.61/1762.18	c nbDecision=93000 #constraints=693242
1765.01/1765.58	c nbDecision=93500 #constraints=693260
1768.21/1768.73	c nbDecision=94000 #constraints=693277
1774.10/1774.63	c nbDecision=94500 #constraints=693351
1778.11/1778.65	c nbDecision=95000 #constraints=693388
1781.80/1782.38	c nbDecision=95500 #constraints=693420
1784.20/1784.79	c nbDecision=96000 #constraints=693428
1786.20/1786.77	c nbDecision=96500 #constraints=693429
1788.30/1788.82	c nbDecision=97000 #constraints=693430
1790.30/1790.80	c nbDecision=97500 #constraints=693430
1793.60/1794.12	c nbDecision=98000 #constraints=693449
1795.40/1795.99	c nbDecision=98500 #constraints=693449
1797.50/1798.08	c nbDecision=99000 #constraints=693451
1799.50/1800.09	c nbDecision=99500 #constraints=693451
1800.00/1800.50	Received signal 15
1800.00/1800.55	
1800.00/1800.55	s UNKNOWN
1800.00/1800.55	
1800.00/1800.55	c user time= 1799.68 s
1800.00/1800.55	c system time= 0.384941 s
1800.00/1800.55	c wall clock time=1800.56

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/node52/watcher-419717-1177411842 -o ROOT/results/node52/solver-419717-1177411842 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/419717-1177411842/instance-419717-1177411842.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.95 0.98 3/64 6491
/proc/meminfo: memFree=1869604/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=1468 CPUtime=0
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 96029367 1503232 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 367 167 129 317 0 46 0

[startup+0.0718629 s]
/proc/loadavg: 0.86 0.95 0.98 3/64 6491
/proc/meminfo: memFree=1869604/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=3324 CPUtime=0.06
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 627 0 0 0 6 0 0 0 18 0 1 0 96029367 3403776 610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 831 611 129 317 0 510 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3324

[startup+0.101865 s]
/proc/loadavg: 0.86 0.95 0.98 3/64 6491
/proc/meminfo: memFree=1869604/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=4116 CPUtime=0.09
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 822 0 0 0 9 0 0 0 18 0 1 0 96029367 4214784 805 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 1029 805 129 317 0 708 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4116

[startup+0.301879 s]
/proc/loadavg: 0.86 0.95 0.98 3/64 6491
/proc/meminfo: memFree=1869604/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=8468 CPUtime=0.29
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 1951 0 0 0 29 0 0 0 19 0 1 0 96029367 8671232 1901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 2117 1901 130 317 0 1796 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8468

[startup+0.701905 s]
/proc/loadavg: 0.86 0.95 0.98 3/64 6491
/proc/meminfo: memFree=1869604/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=16908 CPUtime=0.69
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 4102 0 0 0 68 1 0 0 22 0 1 0 96029367 17313792 3987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 4227 3987 130 317 0 3906 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16908

[startup+1.50196 s]
/proc/loadavg: 0.86 0.95 0.98 2/65 6492
/proc/meminfo: memFree=1847772/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=33788 CPUtime=1.49
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 8413 0 0 0 146 3 0 0 25 0 1 0 96029367 34598912 8169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 8447 8169 130 317 0 8126 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33788

[startup+3.10107 s]
/proc/loadavg: 0.86 0.95 0.98 2/65 6492
/proc/meminfo: memFree=1823836/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=67416 CPUtime=3.08
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 16987 0 0 0 301 7 0 0 25 0 1 0 96029367 69033984 16486 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 16854 16486 130 317 0 16533 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 67416

[startup+6.30128 s]
/proc/loadavg: 0.88 0.95 0.98 2/65 6492
/proc/meminfo: memFree=1756124/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=192372 CPUtime=6.29
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 48513 0 0 0 607 22 0 0 25 0 1 0 96029367 196988928 47499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 48093 47499 137 317 0 47772 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 192372

[startup+12.7027 s]
/proc/loadavg: 0.89 0.95 0.98 2/65 6492
/proc/meminfo: memFree=1650140/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=240312 CPUtime=12.69
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 60474 0 0 0 1242 27 0 0 25 0 1 0 96029367 246079488 54854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715638 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 60078 54854 139 317 0 59757 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 240312

[startup+25.5016 s]
/proc/loadavg: 0.91 0.96 0.98 2/65 6492
/proc/meminfo: memFree=1650268/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=240312 CPUtime=25.49
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 60475 0 0 0 2522 27 0 0 25 0 1 0 96029367 246079488 54855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 60078 54855 139 317 0 59757 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 240312

[startup+51.1013 s]
/proc/loadavg: 0.94 0.96 0.98 2/65 6492
/proc/meminfo: memFree=1650268/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=240312 CPUtime=51.08
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 60477 0 0 0 5081 27 0 0 25 0 1 0 96029367 246079488 54857 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 60078 54857 139 317 0 59757 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 240312

[startup+102.306 s]
/proc/loadavg: 0.97 0.96 0.98 2/65 6492
/proc/meminfo: memFree=1650332/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=240312 CPUtime=102.27
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 60483 0 0 0 10200 27 0 0 25 0 1 0 96029367 246079488 54863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 60078 54863 139 317 0 59757 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 240312

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6492
/proc/meminfo: memFree=1650332/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=240312 CPUtime=162.25
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 60494 0 0 0 16198 27 0 0 25 0 1 0 96029367 246079488 54874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 60078 54874 139 317 0 59757 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 240312

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6492
/proc/meminfo: memFree=1650332/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=240312 CPUtime=222.24
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 60502 0 0 0 22197 27 0 0 25 0 1 0 96029367 246079488 54882 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 60078 54882 139 317 0 59757 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 240312

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6492
/proc/meminfo: memFree=1650332/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=240312 CPUtime=282.22
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 60509 0 0 0 28195 27 0 0 25 0 1 0 96029367 246079488 54889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 60078 54889 139 317 0 59757 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 240312

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6492
/proc/meminfo: memFree=1650268/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=240312 CPUtime=342.21
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 60517 0 0 0 34194 27 0 0 25 0 1 0 96029367 246079488 54897 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 60078 54897 139 317 0 59757 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 240312

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6492
/proc/meminfo: memFree=1650268/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=240312 CPUtime=402.2
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 60524 0 0 0 40193 27 0 0 25 0 1 0 96029367 246079488 54904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 60078 54904 139 317 0 59757 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 240312

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6492
/proc/meminfo: memFree=1650204/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=240312 CPUtime=462.18
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 60531 0 0 0 46191 27 0 0 25 0 1 0 96029367 246079488 54911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 60078 54911 139 317 0 59757 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 240312

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6492
/proc/meminfo: memFree=1650140/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=240312 CPUtime=522.17
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 60540 0 0 0 52190 27 0 0 25 0 1 0 96029367 246079488 54920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 60078 54920 139 317 0 59757 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 240312

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6492
/proc/meminfo: memFree=1649180/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=241240 CPUtime=582.16
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 60786 0 0 0 58189 27 0 0 25 0 1 0 96029367 247029760 55166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 60310 55166 139 317 0 59989 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 241240

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/71 6630
/proc/meminfo: memFree=1644876/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=244084 CPUtime=642.09
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 61490 0 0 0 64181 28 0 0 25 0 1 0 96029367 249942016 55870 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 61021 55870 139 317 0 60700 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 244084


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

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6690
/proc/meminfo: memFree=1635804/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=254444 CPUtime=941.98
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 64087 0 0 0 94167 31 0 0 25 0 1 0 96029367 260550656 58446 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 63611 58446 139 317 0 63290 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 254444

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6690
/proc/meminfo: memFree=1634844/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=255376 CPUtime=1001.98
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 64335 0 0 0 100166 32 0 0 25 0 1 0 96029367 261505024 58679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 63844 58679 139 317 0 63523 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 255376

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6690
/proc/meminfo: memFree=1633180/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=257084 CPUtime=1061.96
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 64776 0 0 0 106164 32 0 0 25 0 1 0 96029367 263254016 59102 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 64271 59102 139 317 0 63950 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 257084

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6692
/proc/meminfo: memFree=1632156/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=258096 CPUtime=1121.94
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 65025 0 0 0 112162 32 0 0 25 0 1 0 96029367 264290304 59351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 64524 59351 139 317 0 64203 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 258096

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6692
/proc/meminfo: memFree=1630876/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=259280 CPUtime=1181.93
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 65330 0 0 0 118160 33 0 0 25 0 1 0 96029367 265502720 59656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 64820 59656 139 317 0 64499 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 259280

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6692
/proc/meminfo: memFree=1630172/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=259948 CPUtime=1241.92
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 65501 0 0 0 124158 34 0 0 25 0 1 0 96029367 266186752 59827 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 64987 59827 139 317 0 64666 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 259948

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6692
/proc/meminfo: memFree=1629084/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=261000 CPUtime=1301.91
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 65760 0 0 0 130157 34 0 0 25 0 1 0 96029367 267264000 60086 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 65250 60086 139 317 0 64929 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 261000

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6692
/proc/meminfo: memFree=1627612/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=262584 CPUtime=1361.89
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 66138 0 0 0 136155 34 0 0 25 0 1 0 96029367 268886016 60464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 65646 60464 139 317 0 65325 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 262584

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6692
/proc/meminfo: memFree=1626460/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=263660 CPUtime=1421.88
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 66417 0 0 0 142153 35 0 0 25 0 1 0 96029367 269987840 60743 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 65915 60743 139 317 0 65594 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 263660

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6692
/proc/meminfo: memFree=1625436/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=264684 CPUtime=1481.86
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 66676 0 0 0 148151 35 0 0 25 0 1 0 96029367 271036416 61002 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 66171 61002 139 317 0 65850 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 264684

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6692
/proc/meminfo: memFree=1624284/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=265700 CPUtime=1541.86
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 66942 0 0 0 154150 36 0 0 25 0 1 0 96029367 272076800 61268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 66425 61268 139 317 0 66104 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 265700

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6692
/proc/meminfo: memFree=1621852/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=268068 CPUtime=1601.83
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 67540 0 0 0 160147 36 0 0 25 0 1 0 96029367 274501632 61865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 67017 61865 139 317 0 66696 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 268068

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6692
/proc/meminfo: memFree=1620700/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=269096 CPUtime=1661.82
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 67888 0 0 0 166145 37 0 0 25 0 1 0 96029367 275554304 62129 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 67274 62129 139 317 0 66953 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 269096

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6692
/proc/meminfo: memFree=1618076/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=271840 CPUtime=1721.81
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 68559 0 0 0 172144 37 0 0 25 0 1 0 96029367 278364160 62799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 67960 62799 139 317 0 67639 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 271840

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6692
/proc/meminfo: memFree=1616284/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=273696 CPUtime=1781.8
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 69045 0 0 0 178142 38 0 0 25 0 1 0 96029367 280264704 63285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 68424 63285 139 317 0 68103 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 273696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6692
/proc/meminfo: memFree=1615964/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=273952 CPUtime=1800
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 69214 0 0 0 179962 38 0 0 25 0 1 0 96029367 280526848 63319 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604231 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 68488 63319 139 317 0 68167 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 273952

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

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

[startup+1800.61 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 6693
/proc/meminfo: memFree=1615956/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=273656 CPUtime=1800.1
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 69230 0 0 0 179972 38 0 0 25 0 1 0 96029367 280223744 63291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284215 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 68414 63291 155 317 0 68093 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 273656

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 6693
/proc/meminfo: memFree=1615956/2055920 swapFree=4182996/4192956
[pid=6491] ppid=6489 vsize=231532 CPUtime=1800.19
/proc/6491/stat : 6491 (oree) R 6489 6491 6369 0 -1 4194304 69230 0 0 0 179981 38 0 0 25 0 1 0 96029367 237088768 57283 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6491/statm: 57883 57283 756 317 0 57562 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 231532

Child status: 0
Real time (s): 1800.75
CPU time (s): 1800.25
CPU user time (s): 1799.82
CPU system time (s): 0.428934
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 273956

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

runsolver used 1.37179 second user time and 3.62045 second system time

The end

Launcher Data (download as text)

Begin job on node52 on Tue Apr 24 10:50:43 UTC 2007

IDJOB= 419717
IDBENCH= 47793
IDSOLVER= 172
FILE ID= node52/419717-1177411842

PBS_JOBID= 4675681

Free space on /tmp= 66290 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/industrial/babic/hsatv17/hsat_vc12072.opb
COMMAND LINE= oree /tmp/evaluation/419717-1177411842/instance-419717-1177411842.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node52/watcher-419717-1177411842 -o ROOT/results/node52/solver-419717-1177411842 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/419717-1177411842/instance-419717-1177411842.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  9db97d50c85d2c37e8812e72b8a2d525

RANDOM SEED= 313410351

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node52.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.236
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.236
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:       1870012 kB
Buffers:          3592 kB
Cached:         109196 kB
SwapCached:       3968 kB
Active:          66644 kB
Inactive:        55876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1870012 kB
SwapTotal:     4192956 kB
SwapFree:      4182996 kB
Dirty:           24132 kB
Writeback:           0 kB
Mapped:          15688 kB
Slab:            49332 kB
Committed_AS:  1797292 kB
PageTables:       1484 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= 66290 MiB

End job on node52 on Tue Apr 24 11:20:46 UTC 2007