Trace number 357001

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
oree 0.1.2 alpha? (TO) 1800.41 1800.85

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-khb05250.opb
MD5SUM0abc7673c35064c54cd6e972f16047d8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables38297
Total number of constraints102
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints102
Minimum length of a constraint23
Maximum length of a constraint1530
Number of terms in the objective function 37494
Biggest coefficient in the objective function 580
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 555190
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 260900
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 555190
Number of bits of the biggest sum of numbers20
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.29/0.35	c ...done
0.29/0.35	c #vars=38297 #constraints=180 hasObjective=yes
0.69/0.75	c res. mode=mod
0.69/0.75	c VSIDS like heuristics
0.69/0.75	c complete search running
1.29/1.37	c restart after 401 decisions
1.39/1.45	c nbDecision=500 #constraints=397
1.89/1.96	c restart after 801 decisions
2.10/2.12	c nbDecision=1000 #constraints=595
3.20/3.28	c nbDecision=1500 #constraints=1089
3.50/3.56	c restart after 1601 decisions
4.30/4.30	c nbDecision=2000 #constraints=1393
5.59/5.60	c nbDecision=2500 #constraints=1893
6.89/6.94	c nbDecision=3000 #constraints=2393
7.49/7.53	c restart after 3201 decisions
8.39/8.40	c nbDecision=3500 #constraints=2717
9.79/9.88	c nbDecision=4000 #constraints=3217
11.29/11.39	c nbDecision=4500 #constraints=3717
12.98/13.00	c nbDecision=5000 #constraints=4217
14.59/14.67	c nbDecision=5500 #constraints=4717
16.28/16.40	c nbDecision=6000 #constraints=5217
17.79/17.86	c restart after 6401 decisions
18.69/18.78	c nbDecision=6500 #constraints=5619
20.58/20.66	c nbDecision=7000 #constraints=6011
22.58/22.66	c nbDecision=7500 #constraints=6511
24.68/24.70	c nbDecision=8000 #constraints=7011
26.78/26.80	c nbDecision=8500 #constraints=7511
28.89/28.95	c nbDecision=9000 #constraints=8011
31.08/31.18	c nbDecision=9500 #constraints=8511
33.48/33.55	c nbDecision=10000 #constraints=9011
35.88/35.98	c nbDecision=10500 #constraints=9511
38.38/38.45	c nbDecision=11000 #constraints=10011
40.88/40.94	c nbDecision=11500 #constraints=10511
43.38/43.45	c nbDecision=12000 #constraints=11011
46.19/46.21	c nbDecision=12500 #constraints=11511
47.78/47.86	c restart after 12801 decisions
50.48/50.56	c nbDecision=13000 #constraints=11816
53.48/53.50	c nbDecision=13500 #constraints=12316
56.48/56.51	c nbDecision=14000 #constraints=12816
59.58/59.61	c nbDecision=14500 #constraints=13316
62.68/62.74	c nbDecision=15000 #constraints=13816
65.88/65.92	c nbDecision=15500 #constraints=14316
69.08/69.15	c nbDecision=16000 #constraints=14816
72.37/72.41	c nbDecision=16500 #constraints=15316
75.57/75.67	c nbDecision=17000 #constraints=15816
78.87/78.95	c nbDecision=17500 #constraints=16316
82.47/82.54	c nbDecision=18000 #constraints=16816
86.07/86.13	c nbDecision=18500 #constraints=17316
89.57/89.64	c nbDecision=19000 #constraints=17816
92.97/93.08	c nbDecision=19500 #constraints=18316
96.77/96.83	c nbDecision=20000 #constraints=18816
100.57/100.63	c nbDecision=20500 #constraints=19316
104.06/104.20	c nbDecision=21000 #constraints=19816
108.07/108.17	c nbDecision=21500 #constraints=20316
111.87/111.92	c nbDecision=22000 #constraints=20816
115.76/115.86	c nbDecision=22500 #constraints=21316
119.66/119.79	c nbDecision=23000 #constraints=21816
123.77/123.85	c nbDecision=23500 #constraints=22316
127.66/127.75	c nbDecision=24000 #constraints=22816
131.86/131.93	c nbDecision=24500 #constraints=23316
135.86/135.92	c nbDecision=25000 #constraints=23816
140.05/140.14	c nbDecision=25500 #constraints=24316
140.95/141.08	c restart after 25601 decisions
148.56/148.65	c nbDecision=26000 #constraints=24589
153.76/153.82	c nbDecision=26500 #constraints=25089
158.85/158.99	c nbDecision=27000 #constraints=25589
164.05/164.14	c nbDecision=27500 #constraints=26089
169.26/169.30	c nbDecision=28000 #constraints=26589
174.34/174.48	c nbDecision=28500 #constraints=27089
179.75/179.84	c nbDecision=29000 #constraints=27589
185.25/185.40	c nbDecision=29500 #constraints=28089
190.85/190.95	c nbDecision=30000 #constraints=28589
196.34/196.48	c nbDecision=30500 #constraints=29089
201.84/201.97	c nbDecision=31000 #constraints=29589
207.24/207.38	c nbDecision=31500 #constraints=30089
212.93/213.00	c nbDecision=32000 #constraints=30589
218.84/218.92	c nbDecision=32500 #constraints=31089
224.63/224.70	c nbDecision=33000 #constraints=31589
230.04/230.19	c nbDecision=33500 #constraints=32089
236.23/236.37	c nbDecision=34000 #constraints=32589
242.13/242.22	c nbDecision=34500 #constraints=33089
247.93/248.09	c nbDecision=35000 #constraints=33589
254.13/254.20	c nbDecision=35500 #constraints=34089
259.82/259.91	c nbDecision=36000 #constraints=34589
266.13/266.23	c nbDecision=36500 #constraints=35089
271.92/272.04	c nbDecision=37000 #constraints=35589
278.12/278.25	c nbDecision=37500 #constraints=36089
284.32/284.48	c nbDecision=38000 #constraints=36589
290.12/290.29	c nbDecision=38500 #constraints=37089
296.51/296.66	c nbDecision=39000 #constraints=37589
302.81/302.93	c nbDecision=39500 #constraints=38089
308.92/309.03	c nbDecision=40000 #constraints=38589
314.91/315.08	c nbDecision=40500 #constraints=39089
321.12/321.23	c nbDecision=41000 #constraints=39589
327.31/327.44	c nbDecision=41500 #constraints=40089
333.51/333.63	c nbDecision=42000 #constraints=40589
339.81/339.96	c nbDecision=42500 #constraints=41089
346.21/346.38	c nbDecision=43000 #constraints=41589
352.51/352.60	c nbDecision=43500 #constraints=42089
358.60/358.73	c nbDecision=44000 #constraints=42589
364.70/364.88	c nbDecision=44500 #constraints=43089
371.00/371.16	c nbDecision=45000 #constraints=43589
377.11/377.24	c nbDecision=45500 #constraints=44089
383.20/383.37	c nbDecision=46000 #constraints=44589
389.50/389.62	c nbDecision=46500 #constraints=45089
395.70/395.81	c nbDecision=47000 #constraints=45589
401.80/401.90	c nbDecision=47500 #constraints=46089
407.79/407.91	c nbDecision=48000 #constraints=46589
413.99/414.10	c nbDecision=48500 #constraints=47089
419.89/420.06	c nbDecision=49000 #constraints=47589
425.89/426.01	c nbDecision=49500 #constraints=48090
431.78/431.95	c nbDecision=50000 #constraints=48589
437.78/437.91	c nbDecision=50500 #constraints=49089
443.58/443.73	c nbDecision=51000 #constraints=49589
445.88/446.02	c restart after 51201 decisions
460.87/461.00	c nbDecision=51500 #constraints=49888
472.38/472.50	c nbDecision=52000 #constraints=50388
483.78/484.00	c nbDecision=52500 #constraints=50888
494.77/494.96	c nbDecision=53000 #constraints=51388
505.67/505.84	c nbDecision=53500 #constraints=51888
516.17/516.30	c nbDecision=54000 #constraints=52388
526.46/526.62	c nbDecision=54500 #constraints=52888
536.66/536.86	c nbDecision=55000 #constraints=53388
547.05/547.22	c nbDecision=55500 #constraints=53888
557.25/557.45	c nbDecision=56000 #constraints=54388
567.65/567.80	c nbDecision=56500 #constraints=54888
578.15/578.31	c nbDecision=57000 #constraints=55388
588.55/588.75	c nbDecision=57500 #constraints=55888
598.85/599.08	c nbDecision=58000 #constraints=56388
609.15/609.32	c nbDecision=58500 #constraints=56888
619.04/619.27	c nbDecision=59000 #constraints=57388
629.64/629.86	c nbDecision=59500 #constraints=57888
640.43/640.64	c nbDecision=60000 #constraints=58388
650.94/651.18	c nbDecision=60500 #constraints=58888
661.13/661.32	c nbDecision=61000 #constraints=59388
671.73/671.90	c nbDecision=61500 #constraints=59888
682.53/682.76	c nbDecision=62000 #constraints=60388
692.82/693.03	c nbDecision=62500 #constraints=60888
703.52/703.71	c nbDecision=63000 #constraints=61388
714.22/714.43	c nbDecision=63500 #constraints=61888
724.41/724.66	c nbDecision=64000 #constraints=62388
735.62/735.80	c nbDecision=64500 #constraints=62888
745.61/745.86	c nbDecision=65000 #constraints=63388
756.81/757.03	c nbDecision=65500 #constraints=63888
767.20/767.43	c nbDecision=66000 #constraints=64388
777.80/778.06	c nbDecision=66500 #constraints=64888
788.70/788.97	c nbDecision=67000 #constraints=65388
799.29/799.50	c nbDecision=67500 #constraints=65888
809.89/810.13	c nbDecision=68000 #constraints=66388
820.69/820.97	c nbDecision=68500 #constraints=66888
831.29/831.59	c nbDecision=69000 #constraints=67388
841.98/842.20	c nbDecision=69500 #constraints=67888
852.38/852.66	c nbDecision=70000 #constraints=68388
862.88/863.16	c nbDecision=70500 #constraints=68888
873.28/873.53	c nbDecision=71000 #constraints=69388
883.48/883.73	c nbDecision=71500 #constraints=69888
893.77/894.00	c nbDecision=72000 #constraints=70388
904.26/904.53	c nbDecision=72500 #constraints=70888
914.16/914.42	c nbDecision=73000 #constraints=71388
924.47/924.76	c nbDecision=73500 #constraints=71888
934.06/934.32	c nbDecision=74000 #constraints=72388
944.36/944.63	c nbDecision=74500 #constraints=72888
954.25/954.56	c nbDecision=75000 #constraints=73388
964.15/964.40	c nbDecision=75500 #constraints=73888
973.75/974.03	c nbDecision=76000 #constraints=74388
983.25/983.53	c nbDecision=76500 #constraints=74888
992.95/993.20	c nbDecision=77000 #constraints=75388
1002.14/1002.41	c nbDecision=77500 #constraints=75888
1011.44/1011.76	c nbDecision=78000 #constraints=76388
1020.64/1020.99	c nbDecision=78500 #constraints=76888
1029.43/1029.79	c nbDecision=79000 #constraints=77388
1038.04/1038.39	c nbDecision=79500 #constraints=77888
1046.73/1047.01	c nbDecision=80000 #constraints=78388
1054.73/1055.03	c nbDecision=80500 #constraints=78889
1062.63/1062.97	c nbDecision=81000 #constraints=79388
1069.94/1070.23	c nbDecision=81500 #constraints=79888
1076.63/1076.98	c nbDecision=82000 #constraints=80388
1079.93/1080.22	c nbDecision=82500 #constraints=80673
1080.03/1080.38	c nbDecision=83000 #constraints=80673
1087.82/1088.17	c nbDecision=83500 #constraints=80978
1103.32/1103.65	c nbDecision=84000 #constraints=81471
1122.21/1122.54	c nbDecision=84500 #constraints=81969
1144.01/1144.35	c nbDecision=85000 #constraints=82473
1170.61/1170.95	c nbDecision=85500 #constraints=82977
1198.30/1198.63	c nbDecision=86000 #constraints=83480
1224.79/1225.14	c nbDecision=86500 #constraints=83976
1260.88/1261.20	c nbDecision=87000 #constraints=84469
1300.67/1301.07	c nbDecision=87500 #constraints=84978
1339.06/1339.41	c nbDecision=88000 #constraints=85470
1382.45/1382.86	c nbDecision=88500 #constraints=85976
1424.44/1424.84	c nbDecision=89000 #constraints=86471
1470.13/1470.55	c nbDecision=89500 #constraints=86982
1520.22/1520.65	c nbDecision=90000 #constraints=87475
1583.81/1584.29	c nbDecision=90500 #constraints=87979
1644.39/1644.83	c nbDecision=91000 #constraints=88469
1702.77/1703.25	c nbDecision=91500 #constraints=88981
1771.95/1772.44	c nbDecision=92000 #constraints=89481
1800.05/1800.50	Received signal 15
1800.05/1800.58	
1800.05/1800.58	s UNKNOWN
1800.05/1800.58	
1800.05/1800.58	c user time= 1797.78 s
1800.05/1800.58	c system time= 2.36464 s
1800.05/1800.58	c wall clock time=1800.59

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node14/watcher-357001-1176851106 -o ROOT/results/node14/solver-357001-1176851106 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357001-1176851106/instance-357001-1176851106.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.92 0.97 0.98 3/77 1979
/proc/meminfo: memFree=1833288/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=1620 CPUtime=0
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 133028324 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 405 175 126 317 0 84 0

[startup+0.0452459 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 1979
/proc/meminfo: memFree=1833288/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=2400 CPUtime=0.04
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 493 0 0 0 4 0 0 0 18 0 1 0 133028324 2457600 377 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 600 377 126 317 0 279 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2400

[startup+0.102251 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 1979
/proc/meminfo: memFree=1833288/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=3440 CPUtime=0.09
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 790 0 0 0 9 0 0 0 18 0 1 0 133028324 3522560 545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 860 545 127 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.302268 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 1979
/proc/meminfo: memFree=1833288/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=8028 CPUtime=0.29
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 1904 0 0 0 29 0 0 0 19 0 1 0 133028324 8220672 1659 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 2007 1660 131 317 0 1686 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8028

[startup+0.702309 s]
/proc/loadavg: 0.92 0.97 0.98 3/77 1979
/proc/meminfo: memFree=1833288/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=13944 CPUtime=0.69
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 3380 0 0 0 69 0 0 0 23 0 1 0 133028324 14278656 3135 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602625 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 3486 3135 137 317 0 3165 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13944

[startup+1.50138 s]
/proc/loadavg: 0.92 0.97 0.98 2/78 1980
/proc/meminfo: memFree=1820416/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=16416 CPUtime=1.49
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 4000 0 0 0 148 1 0 0 25 0 1 0 133028324 16809984 3755 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 4104 3755 139 317 0 3783 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16416

[startup+3.10153 s]
/proc/loadavg: 0.93 0.97 0.98 2/78 1980
/proc/meminfo: memFree=1816576/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=22756 CPUtime=3.1
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 5578 0 0 0 308 2 0 0 25 0 1 0 133028324 23302144 5333 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266178 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 5689 5333 139 317 0 5368 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 22756

[startup+6.30184 s]
/proc/loadavg: 0.93 0.97 0.98 2/78 1980
/proc/meminfo: memFree=1803968/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=34000 CPUtime=6.29
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 8367 0 0 0 626 3 0 0 25 0 1 0 133028324 34816000 8122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284166 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 8500 8122 139 317 0 8179 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34000

[startup+12.7014 s]
/proc/loadavg: 0.94 0.97 0.98 2/78 1980
/proc/meminfo: memFree=1784064/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=53012 CPUtime=12.69
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 13032 0 0 0 1263 6 0 0 25 0 1 0 133028324 54284288 12787 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 13253 12787 139 317 0 12932 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 53012

[startup+25.5017 s]
/proc/loadavg: 0.95 0.97 0.98 2/78 1980
/proc/meminfo: memFree=1752704/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=84044 CPUtime=25.49
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 20595 0 0 0 2536 13 0 0 25 0 1 0 133028324 86061056 20350 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 21011 20350 139 317 0 20690 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 84044

[startup+51.1011 s]
/proc/loadavg: 0.96 0.97 0.98 2/78 1980
/proc/meminfo: memFree=1703552/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=137916 CPUtime=51.08
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 32846 0 0 0 5088 20 0 0 25 0 1 0 133028324 141225984 32543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 34479 32543 139 317 0 34158 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 137916

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.98 2/78 1980
/proc/meminfo: memFree=1629376/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=220672 CPUtime=102.27
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 53856 0 0 0 10194 33 0 0 25 0 1 0 133028324 225968128 50964 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 55168 50964 139 317 0 54847 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 220672

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1980
/proc/meminfo: memFree=1567104/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=282788 CPUtime=162.25
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 71152 0 0 0 16180 45 0 0 25 0 1 0 133028324 289574912 66643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 70697 66643 139 317 0 70376 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 282788

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1980
/proc/meminfo: memFree=1509504/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=336200 CPUtime=222.24
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 86162 0 0 0 22170 54 0 0 25 0 1 0 133028324 344268800 80894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 84050 80894 139 317 0 83729 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 336200

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1980
/proc/meminfo: memFree=1456576/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=414188 CPUtime=282.22
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 107100 0 0 0 28155 67 0 0 25 0 1 0 133028324 424128512 94155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 103547 94155 139 317 0 103226 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 414188

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1980
/proc/meminfo: memFree=1404800/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=469884 CPUtime=342.2
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 122974 0 0 0 34143 77 0 0 25 0 1 0 133028324 481161216 106969 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 117471 106969 139 317 0 117150 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 469884

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1980
/proc/meminfo: memFree=1354432/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=519084 CPUtime=402.19
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 137389 0 0 0 40131 88 0 0 25 0 1 0 133028324 531542016 119759 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 129771 119759 139 317 0 129450 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 519084

[startup+462.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1980
/proc/meminfo: memFree=1313024/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=558084 CPUtime=462.17
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 148823 0 0 0 46123 94 0 0 25 0 1 0 133028324 571478016 129893 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 139521 129893 139 317 0 139200 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 558084

[startup+522.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1980
/proc/meminfo: memFree=1286592/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=580676 CPUtime=522.16
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 155525 0 0 0 52116 100 0 0 25 0 1 0 133028324 594612224 136530 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 145169 136530 139 317 0 144848 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 580676

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1980
/proc/meminfo: memFree=1257408/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=606788 CPUtime=582.15
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 163260 0 0 0 58107 108 0 0 25 0 1 0 133028324 621350912 143777 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 151697 143777 139 317 0 151376 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 606788

[startup+642.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1980
/proc/meminfo: memFree=1228928/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=631348 CPUtime=642.14
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 170444 0 0 0 64101 113 0 0 25 0 1 0 133028324 646500352 150831 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 157837 150831 139 317 0 157516 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 631348


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

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1980
/proc/meminfo: memFree=1087808/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=830436 CPUtime=942.06
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 226251 0 0 0 94063 143 0 0 25 0 1 0 133028324 850366464 186123 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 207609 186123 139 317 0 207288 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 830436

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1980
/proc/meminfo: memFree=1056832/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=858116 CPUtime=1002.04
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 234433 0 0 0 100055 149 0 0 25 0 1 0 133028324 878710784 193789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 214529 193789 139 317 0 214208 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 858116

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1980
/proc/meminfo: memFree=1022912/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=898804 CPUtime=1062.03
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 246095 0 0 0 106046 157 0 0 25 0 1 0 133028324 920375296 202355 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 224701 202355 139 317 0 224380 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 898804

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1980
/proc/meminfo: memFree=915776/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=1011884 CPUtime=1122.01
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 272928 0 0 0 112032 169 0 0 25 0 1 0 133028324 1036169216 229059 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 252971 229059 139 317 0 252650 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 1011884

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1980
/proc/meminfo: memFree=827520/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=1110668 CPUtime=1182
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 295139 0 0 0 118020 180 0 0 25 0 1 0 133028324 1137324032 251270 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 277667 251270 139 317 0 277346 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 1110668

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1980
/proc/meminfo: memFree=764096/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=1172184 CPUtime=1241.98
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 310728 0 0 0 124011 187 0 0 25 0 1 0 133028324 1200316416 266859 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 293046 266859 139 317 0 292725 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1172184

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1980
/proc/meminfo: memFree=692800/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=1265616 CPUtime=1301.97
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 328427 0 0 0 130001 196 0 0 25 0 1 0 133028324 1295990784 284558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270612 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 316404 284558 139 317 0 316083 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1265616

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1980
/proc/meminfo: memFree=645120/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=1312536 CPUtime=1361.96
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 340386 0 0 0 135994 202 0 0 25 0 1 0 133028324 1344036864 296517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 328134 296517 139 317 0 327813 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1312536

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 3/78 1980
/proc/meminfo: memFree=603392/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=1353612 CPUtime=1421.94
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 350733 0 0 0 141988 206 0 0 25 0 1 0 133028324 1386098688 306864 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 338403 306864 139 317 0 338082 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1353612

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1980
/proc/meminfo: memFree=562176/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=1394516 CPUtime=1481.92
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 361134 0 0 0 147980 212 0 0 25 0 1 0 133028324 1427984384 317265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 348629 317265 139 317 0 348308 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1394516

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1980
/proc/meminfo: memFree=528384/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=1427212 CPUtime=1541.92
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 369494 0 0 0 153975 217 0 0 25 0 1 0 133028324 1461465088 325625 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 356803 325625 139 317 0 356482 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 1427212

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1980
/proc/meminfo: memFree=498176/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=1457620 CPUtime=1601.9
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 377128 0 0 0 159969 221 0 0 25 0 1 0 133028324 1492602880 333259 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 364405 333259 139 317 0 364084 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1457620

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1980
/proc/meminfo: memFree=469888/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=1486472 CPUtime=1661.89
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 384091 0 0 0 165963 226 0 0 25 0 1 0 133028324 1522147328 340222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 371618 340222 139 317 0 371297 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1486472

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 1980
/proc/meminfo: memFree=393536/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=1611444 CPUtime=1721.87
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 403234 0 0 0 171955 232 0 0 25 0 1 0 133028324 1650118656 359365 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 402861 359365 139 317 0 402540 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1611444

[startup+1782.3 s]
/proc/loadavg: 1.12 1.02 1.00 2/78 1980
/proc/meminfo: memFree=365312/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=1638628 CPUtime=1781.85
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 410203 0 0 0 177950 235 0 0 25 0 1 0 133028324 1677955072 366334 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 409657 366334 139 317 0 409336 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1638628



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.09 1.01 1.00 2/78 1980
/proc/meminfo: memFree=356544/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=1647904 CPUtime=1800.05
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 412322 0 0 0 179769 236 0 0 25 0 1 0 133028324 1687453696 368453 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 411976 368453 139 317 0 411655 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1647904

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: 1.09 1.01 1.00 2/79 1981
/proc/meminfo: memFree=367224/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=1604136 CPUtime=1800.15
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194304 412353 0 0 0 179779 236 0 0 25 0 1 0 133028324 1642635264 361317 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 401034 361166 155 317 0 400713 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 1604136

[startup+1800.8 s]
/proc/loadavg: 1.09 1.01 1.00 2/79 1981
/proc/meminfo: memFree=367224/2055920 swapFree=4145412/4192956
[pid=1979] ppid=1977 vsize=0 CPUtime=1800.35
/proc/1979/stat : 1979 (oree) R 1977 1979 1621 0 -1 4194308 412353 0 0 0 179780 255 0 0 25 0 1 0 133028324 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1979/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.85
CPU time (s): 1800.41
CPU user time (s): 1797.8
CPU system time (s): 2.6066
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 1647904

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

runsolver used 2.00669 second user time and 4.55931 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Tue Apr 17 23:05:06 UTC 2007

IDJOB= 357001
IDBENCH= 1762
IDSOLVER= 172
FILE ID= node14/357001-1176851106

PBS_JOBID= 4590212

Free space on /tmp= 66297 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-khb05250.opb
COMMAND LINE= oree /tmp/evaluation/357001-1176851106/instance-357001-1176851106.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-357001-1176851106 -o ROOT/results/node14/solver-357001-1176851106 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357001-1176851106/instance-357001-1176851106.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  0abc7673c35064c54cd6e972f16047d8

RANDOM SEED= 745243467

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node14.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.227
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.227
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:       1833696 kB
Buffers:         33096 kB
Cached:         121640 kB
SwapCached:      14788 kB
Active:          68852 kB
Inactive:       112152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1833696 kB
SwapTotal:     4192956 kB
SwapFree:      4145412 kB
Dirty:            2472 kB
Writeback:           0 kB
Mapped:          29840 kB
Slab:            26708 kB
Committed_AS:  6574232 kB
PageTables:       1784 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= 66297 MiB

End job on node14 on Tue Apr 17 23:35:08 UTC 2007