Trace number 357308

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.5 1801.27

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb
MD5SUMa5c62cef1e86c64304fd5ef232ab5991
Bench CategoryOPT-BIGINT (optimisation, big 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 variables107808
Total number of constraints3904
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 constraints3904
Minimum length of a constraint31
Maximum length of a constraint1440
Number of terms in the objective function 38688
Biggest coefficient in the objective function 348966092800
Number of bits for the biggest coefficient in the objective function 39
Sum of the numbers in the objective function 299074813804544
Number of bits of the sum of numbers in the objective function 49
Biggest number in a constraint 348966092800
Number of bits of the biggest number in a constraint 39
Biggest sum of numbers in a constraint 299074813804544
Number of bits of the biggest sum of numbers49
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...
1.10/1.15	c ...done
1.10/1.15	c #vars=107808 #constraints=5185 hasObjective=yes
1.59/1.66	c res. mode=mod
1.59/1.66	c VSIDS like heuristics
1.59/1.66	c complete search running
2.39/2.43	c restart after 401 decisions
2.49/2.59	c nbDecision=500 #constraints=5185
2.99/3.06	c restart after 801 decisions
3.30/3.38	c nbDecision=1000 #constraints=5185
4.09/4.17	c nbDecision=1500 #constraints=5185
4.30/4.33	c restart after 1601 decisions
4.89/4.96	c nbDecision=2000 #constraints=5185
5.69/5.74	c nbDecision=2500 #constraints=5185
6.50/6.51	c nbDecision=3000 #constraints=5185
6.79/6.83	c restart after 3201 decisions
7.29/7.30	c nbDecision=3500 #constraints=5185
7.99/8.08	c nbDecision=4000 #constraints=5185
8.79/8.86	c nbDecision=4500 #constraints=5185
9.59/9.64	c nbDecision=5000 #constraints=5185
10.39/10.41	c nbDecision=5500 #constraints=5185
11.09/11.18	c nbDecision=6000 #constraints=5185
11.69/11.79	c restart after 6401 decisions
11.89/11.96	c nbDecision=6500 #constraints=5185
12.69/12.74	c nbDecision=7000 #constraints=5185
13.49/13.52	c nbDecision=7500 #constraints=5185
14.19/14.29	c nbDecision=8000 #constraints=5185
14.99/15.07	c nbDecision=8500 #constraints=5185
15.79/15.85	c nbDecision=9000 #constraints=5185
16.59/16.63	c nbDecision=9500 #constraints=5185
17.39/17.40	c nbDecision=10000 #constraints=5185
18.09/18.17	c nbDecision=10500 #constraints=5185
18.88/18.93	c nbDecision=11000 #constraints=5185
19.58/19.69	c nbDecision=11500 #constraints=5185
20.38/20.45	c nbDecision=12000 #constraints=5185
21.18/21.21	c nbDecision=12500 #constraints=5185
21.58/21.66	c restart after 12801 decisions
21.89/21.99	c nbDecision=13000 #constraints=5185
22.68/22.78	c nbDecision=13500 #constraints=5185
23.48/23.56	c nbDecision=14000 #constraints=5185
24.28/24.35	c nbDecision=14500 #constraints=5185
25.08/25.12	c nbDecision=15000 #constraints=5185
25.78/25.89	c nbDecision=15500 #constraints=5185
26.58/26.65	c nbDecision=16000 #constraints=5185
27.38/27.42	c nbDecision=16500 #constraints=5185
28.08/28.18	c nbDecision=17000 #constraints=5185
28.88/28.94	c nbDecision=17500 #constraints=5185
29.58/29.68	c nbDecision=18000 #constraints=5185
30.38/30.43	c nbDecision=18500 #constraints=5185
31.08/31.18	c nbDecision=19000 #constraints=5185
31.88/31.92	c nbDecision=19500 #constraints=5185
32.58/32.66	c nbDecision=20000 #constraints=5185
33.38/33.40	c nbDecision=20500 #constraints=5185
34.08/34.14	c nbDecision=21000 #constraints=5185
34.78/34.88	c nbDecision=21500 #constraints=5185
35.58/35.62	c nbDecision=22000 #constraints=5185
36.28/36.35	c nbDecision=22500 #constraints=5185
36.98/37.08	c nbDecision=23000 #constraints=5185
37.78/37.81	c nbDecision=23500 #constraints=5185
38.48/38.54	c nbDecision=24000 #constraints=5185
39.18/39.26	c nbDecision=24500 #constraints=5185
39.87/39.98	c nbDecision=25000 #constraints=5185
40.58/40.69	c nbDecision=25500 #constraints=5185
40.77/40.84	c restart after 25601 decisions
41.37/41.50	c nbDecision=26000 #constraints=5185
42.17/42.28	c nbDecision=26500 #constraints=5185
42.97/43.07	c nbDecision=27000 #constraints=5185
43.77/43.85	c nbDecision=27500 #constraints=5185
44.57/44.62	c nbDecision=28000 #constraints=5185
45.27/45.39	c nbDecision=28500 #constraints=5185
46.08/46.16	c nbDecision=29000 #constraints=5185
46.87/46.92	c nbDecision=29500 #constraints=5185
47.57/47.68	c nbDecision=30000 #constraints=5185
48.38/48.43	c nbDecision=30500 #constraints=5185
49.07/49.18	c nbDecision=31000 #constraints=5185
49.87/49.93	c nbDecision=31500 #constraints=5185
50.58/50.68	c nbDecision=32000 #constraints=5185
51.37/51.43	c nbDecision=32500 #constraints=5185
52.07/52.17	c nbDecision=33000 #constraints=5185
52.87/52.91	c nbDecision=33500 #constraints=5185
53.57/53.64	c nbDecision=34000 #constraints=5185
54.27/54.38	c nbDecision=34500 #constraints=5185
55.07/55.11	c nbDecision=35000 #constraints=5185
55.77/55.85	c nbDecision=35500 #constraints=5185
56.47/56.58	c nbDecision=36000 #constraints=5185
57.27/57.30	c nbDecision=36500 #constraints=5185
57.97/58.03	c nbDecision=37000 #constraints=5185
58.67/58.75	c nbDecision=37500 #constraints=5185
59.37/59.47	c nbDecision=38000 #constraints=5185
60.06/60.18	c nbDecision=38500 #constraints=5185
60.86/60.90	c nbDecision=39000 #constraints=5185
61.57/61.61	c nbDecision=39500 #constraints=5185
62.26/62.32	c nbDecision=40000 #constraints=5185
62.96/63.02	c nbDecision=40500 #constraints=5185
63.67/63.72	c nbDecision=41000 #constraints=5187
64.36/64.42	c nbDecision=41500 #constraints=5188
65.06/65.12	c nbDecision=42000 #constraints=5192
65.76/65.81	c nbDecision=42500 #constraints=5197
66.36/66.50	c nbDecision=43000 #constraints=5197
67.16/67.20	c nbDecision=43500 #constraints=5206
67.76/67.88	c nbDecision=44000 #constraints=5209
68.46/68.55	c nbDecision=44500 #constraints=5211
69.17/69.23	c nbDecision=45000 #constraints=5216
69.87/69.91	c nbDecision=45500 #constraints=5223
73.06/73.13	c nbDecision=46000 #constraints=5648
77.87/77.97	c nbDecision=46500 #constraints=6152
83.76/83.87	c nbDecision=47000 #constraints=6650
90.96/91.10	c nbDecision=47500 #constraints=7152
99.85/99.96	c nbDecision=48000 #constraints=7646
109.96/110.02	c nbDecision=48500 #constraints=8147
121.35/121.46	c nbDecision=49000 #constraints=8650
134.15/134.21	c nbDecision=49500 #constraints=9150
147.84/147.99	c nbDecision=50000 #constraints=9646
164.73/164.86	c nbDecision=50500 #constraints=10147
182.43/182.54	c nbDecision=51000 #constraints=10646
189.42/189.56	c restart after 51201 decisions
190.82/190.90	c nbDecision=51500 #constraints=10847
191.52/191.68	c nbDecision=52000 #constraints=10847
192.33/192.46	c nbDecision=52500 #constraints=10847
193.12/193.24	c nbDecision=53000 #constraints=10847
193.92/194.01	c nbDecision=53500 #constraints=10847
194.63/194.78	c nbDecision=54000 #constraints=10847
195.42/195.56	c nbDecision=54500 #constraints=10847
196.22/196.33	c nbDecision=55000 #constraints=10847
196.92/197.09	c nbDecision=55500 #constraints=10847
197.72/197.86	c nbDecision=56000 #constraints=10847
198.52/198.63	c nbDecision=56500 #constraints=10847
199.22/199.39	c nbDecision=57000 #constraints=10847
200.02/200.15	c nbDecision=57500 #constraints=10847
200.82/200.90	c nbDecision=58000 #constraints=10847
201.52/201.66	c nbDecision=58500 #constraints=10847
202.32/202.41	c nbDecision=59000 #constraints=10847
203.02/203.16	c nbDecision=59500 #constraints=10847
203.82/203.91	c nbDecision=60000 #constraints=10847
204.52/204.64	c nbDecision=60500 #constraints=10847
205.22/205.37	c nbDecision=61000 #constraints=10847
205.92/206.09	c nbDecision=61500 #constraints=10847
206.72/206.82	c nbDecision=62000 #constraints=10847
207.42/207.55	c nbDecision=62500 #constraints=10847
208.12/208.27	c nbDecision=63000 #constraints=10847
209.02/209.13	c nbDecision=63500 #constraints=10847
209.72/209.86	c nbDecision=64000 #constraints=10847
210.42/210.57	c nbDecision=64500 #constraints=10847
211.22/211.31	c nbDecision=65000 #constraints=10847
211.92/212.02	c nbDecision=65500 #constraints=10847
212.62/212.73	c nbDecision=66000 #constraints=10847
213.32/213.43	c nbDecision=66500 #constraints=10847
214.01/214.13	c nbDecision=67000 #constraints=10847
214.71/214.84	c nbDecision=67500 #constraints=10847
215.42/215.57	c nbDecision=68000 #constraints=10847
216.21/216.32	c nbDecision=68500 #constraints=10847
216.91/217.06	c nbDecision=69000 #constraints=10847
217.62/217.80	c nbDecision=69500 #constraints=10847
218.31/218.49	c nbDecision=70000 #constraints=10847
219.11/219.24	c nbDecision=70500 #constraints=10847
219.82/219.98	c nbDecision=71000 #constraints=10847
235.01/235.14	c nbDecision=71500 #constraints=11216
255.30/255.47	c nbDecision=72000 #constraints=11717
277.39/277.55	c nbDecision=72500 #constraints=12218
302.09/302.25	c nbDecision=73000 #constraints=12721
326.48/326.64	c nbDecision=73500 #constraints=13216
353.56/353.72	c nbDecision=74000 #constraints=13714
381.45/381.70	c nbDecision=74500 #constraints=14216
411.05/411.22	c nbDecision=75000 #constraints=14717
442.03/442.21	c nbDecision=75500 #constraints=15218
475.82/476.05	c nbDecision=76000 #constraints=15704
514.61/514.84	c nbDecision=76500 #constraints=16207
552.29/552.54	c nbDecision=77000 #constraints=16710
592.37/592.68	c nbDecision=77500 #constraints=17212
633.06/633.33	c nbDecision=78000 #constraints=17709
675.75/676.08	c nbDecision=78500 #constraints=18209
719.73/720.06	c nbDecision=79000 #constraints=18708
766.21/766.51	c nbDecision=79500 #constraints=19207
813.79/814.13	c nbDecision=80000 #constraints=19709
858.69/859.00	c nbDecision=80500 #constraints=20207
910.87/911.35	c nbDecision=81000 #constraints=20707
964.24/964.70	c nbDecision=81500 #constraints=21210
1014.62/1015.12	c nbDecision=82000 #constraints=21708
1072.00/1072.57	c nbDecision=82500 #constraints=22211
1126.88/1127.44	c nbDecision=83000 #constraints=22708
1182.86/1183.49	c nbDecision=83500 #constraints=23206
1240.84/1241.45	c nbDecision=84000 #constraints=23711
1299.02/1299.67	c nbDecision=84500 #constraints=24206
1361.29/1361.90	c nbDecision=85000 #constraints=24711
1423.77/1424.45	c nbDecision=85500 #constraints=25207
1501.44/1502.15	c nbDecision=86000 #constraints=25708
1574.71/1575.41	c nbDecision=86500 #constraints=26201
1651.99/1652.79	c nbDecision=87000 #constraints=26707
1726.66/1727.49	c nbDecision=87500 #constraints=27206
1800.04/1800.80	Received signal 15
1800.33/1801.16	
1800.33/1801.16	s UNKNOWN
1800.33/1801.16	
1800.33/1801.16	c user time= 1799.67 s
1800.33/1801.16	c system time= 0.735888 s
1800.33/1801.16	c wall clock time=1801.17

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/node46/watcher-357308-1176993984 -o ROOT/results/node46/solver-357308-1176993984 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357308-1176993984/instance-357308-1176993984.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.99 0.97 0.91 3/78 24619
/proc/meminfo: memFree=1591800/2055920 swapFree=4115448/4192956
[pid=24619] ppid=24617 vsize=1468 CPUtime=0
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 54081772 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134569752 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 367 161 127 317 0 46 0

[startup+0.0315771 s]
/proc/loadavg: 0.99 0.97 0.91 3/78 24619
/proc/meminfo: memFree=1591800/2055920 swapFree=4115448/4192956
[pid=24619] ppid=24617 vsize=1880 CPUtime=0.02
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 303 0 0 0 2 0 0 0 18 0 1 0 54081772 1925120 252 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 470 252 127 317 0 149 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1880

[startup+0.101592 s]
/proc/loadavg: 0.99 0.97 0.91 3/78 24619
/proc/meminfo: memFree=1591800/2055920 swapFree=4115448/4192956
[pid=24619] ppid=24617 vsize=3440 CPUtime=0.09
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 791 0 0 0 9 0 0 0 18 0 1 0 54081772 3522560 546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 860 546 127 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.301627 s]
/proc/loadavg: 0.99 0.97 0.91 3/78 24619
/proc/meminfo: memFree=1591800/2055920 swapFree=4115448/4192956
[pid=24619] ppid=24617 vsize=5232 CPUtime=0.29
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 1231 0 0 0 29 0 0 0 20 0 1 0 54081772 5357568 986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 1308 986 131 317 0 987 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5232

[startup+0.701701 s]
/proc/loadavg: 0.99 0.97 0.91 3/78 24619
/proc/meminfo: memFree=1591800/2055920 swapFree=4115448/4192956
[pid=24619] ppid=24617 vsize=13020 CPUtime=0.69
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 3176 0 0 0 68 1 0 0 24 0 1 0 54081772 13332480 2931 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 3255 2932 131 317 0 2934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13020

[startup+1.50185 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24620
/proc/meminfo: memFree=1575536/2055920 swapFree=4115448/4192956
[pid=24619] ppid=24617 vsize=32456 CPUtime=1.49
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 8051 0 0 0 145 4 0 0 25 0 1 0 54081772 33234944 7806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 8114 7806 137 317 0 7793 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32456

[startup+3.10114 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24620
/proc/meminfo: memFree=1559344/2055920 swapFree=4115448/4192956
[pid=24619] ppid=24617 vsize=34040 CPUtime=3.09
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 8435 0 0 0 305 4 0 0 25 0 1 0 54081772 34856960 8190 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 8510 8190 138 317 0 8189 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34040

[startup+6.30174 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24620
/proc/meminfo: memFree=1559344/2055920 swapFree=4115448/4192956
[pid=24619] ppid=24617 vsize=34040 CPUtime=6.29
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 8437 0 0 0 625 4 0 0 25 0 1 0 54081772 34856960 8192 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 8510 8192 138 317 0 8189 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34040

[startup+12.7019 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24620
/proc/meminfo: memFree=1559344/2055920 swapFree=4115448/4192956
[pid=24619] ppid=24617 vsize=34040 CPUtime=12.69
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 8441 0 0 0 1265 4 0 0 25 0 1 0 54081772 34856960 8196 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 8510 8196 138 317 0 8189 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34040

[startup+25.5013 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24620
/proc/meminfo: memFree=1559408/2055920 swapFree=4115512/4192956
[pid=24619] ppid=24617 vsize=34172 CPUtime=25.48
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 8450 0 0 0 2544 4 0 0 25 0 1 0 54081772 34992128 8205 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 8543 8205 138 317 0 8222 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34172

[startup+51.102 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24620
/proc/meminfo: memFree=1559472/2055920 swapFree=4115512/4192956
[pid=24619] ppid=24617 vsize=34172 CPUtime=51.07
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 8465 0 0 0 5103 4 0 0 25 0 1 0 54081772 34992128 8220 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 8543 8220 138 317 0 8222 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 34172

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24620
/proc/meminfo: memFree=1512880/2055920 swapFree=4115512/4192956
[pid=24619] ppid=24617 vsize=82368 CPUtime=102.26
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 20151 0 0 0 10215 11 0 0 25 0 1 0 54081772 84344832 19870 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 20592 19870 170 317 0 20271 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 82368

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24620
/proc/meminfo: memFree=1470576/2055920 swapFree=4115576/4192956
[pid=24619] ppid=24617 vsize=127352 CPUtime=162.23
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 30801 0 0 0 16207 16 0 0 25 0 1 0 54081772 130408448 30520 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563391 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 31838 30520 170 317 0 31517 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 127352

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24620
/proc/meminfo: memFree=1457264/2055920 swapFree=4115576/4192956
[pid=24619] ppid=24617 vsize=139660 CPUtime=222.21
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 34090 0 0 0 22203 18 0 0 25 0 1 0 54081772 143011840 33738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 34915 33738 170 317 0 34594 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 139660

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24620
/proc/meminfo: memFree=1434096/2055920 swapFree=4115576/4192956
[pid=24619] ppid=24617 vsize=160796 CPUtime=282.19
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 39904 0 0 0 28196 23 0 0 25 0 1 0 54081772 164655104 39552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 40199 39552 170 317 0 39878 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 160796

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24620
/proc/meminfo: memFree=1412976/2055920 swapFree=4115640/4192956
[pid=24619] ppid=24617 vsize=183852 CPUtime=342.17
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 45158 0 0 0 34191 26 0 0 25 0 1 0 54081772 188264448 44806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 45963 44806 170 317 0 45642 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 183852

[startup+402.303 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24620
/proc/meminfo: memFree=1389424/2055920 swapFree=4115640/4192956
[pid=24619] ppid=24617 vsize=214280 CPUtime=402.14
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 51075 0 0 0 40185 29 0 0 25 0 1 0 54081772 219422720 50723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 53570 50723 170 317 0 53249 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 214280

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24620
/proc/meminfo: memFree=1372848/2055920 swapFree=4115704/4192956
[pid=24619] ppid=24617 vsize=230480 CPUtime=462.12
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 55172 0 0 0 46180 32 0 0 25 0 1 0 54081772 236011520 54820 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 57620 54820 170 317 0 57299 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 230480

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24620
/proc/meminfo: memFree=1360240/2055920 swapFree=4115704/4192956
[pid=24619] ppid=24617 vsize=242104 CPUtime=522.1
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 58348 0 0 0 52176 34 0 0 25 0 1 0 54081772 247914496 57996 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 60526 57996 170 317 0 60205 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 242104

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24620
/proc/meminfo: memFree=1347504/2055920 swapFree=4115704/4192956
[pid=24619] ppid=24617 vsize=253532 CPUtime=582.08
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 61496 0 0 0 58172 36 0 0 25 0 1 0 54081772 259616768 61144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 63383 61144 170 317 0 63062 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 253532

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24620
/proc/meminfo: memFree=1335344/2055920 swapFree=4115768/4192956
[pid=24619] ppid=24617 vsize=264544 CPUtime=642.06
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 64511 0 0 0 64168 38 0 0 25 0 1 0 54081772 270893056 64159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 66136 64159 170 317 0 65815 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 264544


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

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24819
/proc/meminfo: memFree=1283504/2055920 swapFree=4115896/4192956
[pid=24619] ppid=24617 vsize=312564 CPUtime=941.84
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 77588 0 0 0 94137 47 0 0 25 0 1 0 54081772 320065536 77095 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 78141 77095 170 317 0 77820 0
Current children cumulated CPU time (s) 941.84
Current children cumulated vsize (KiB) 312564

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24819
/proc/meminfo: memFree=1274096/2055920 swapFree=4115896/4192956
[pid=24619] ppid=24617 vsize=321440 CPUtime=1001.82
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 79918 0 0 0 100133 49 0 0 25 0 1 0 54081772 329154560 79425 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562657 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 80360 79425 170 317 0 80039 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 321440

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24819
/proc/meminfo: memFree=1259184/2055920 swapFree=4115960/4192956
[pid=24619] ppid=24617 vsize=359084 CPUtime=1061.8
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 87756 0 0 0 106127 53 0 0 25 0 1 0 54081772 367702016 83204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 89771 83204 170 317 0 89450 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 359084

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24819
/proc/meminfo: memFree=1248048/2055920 swapFree=4115960/4192956
[pid=24619] ppid=24617 vsize=376308 CPUtime=1121.78
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 91756 0 0 0 112123 55 0 0 25 0 1 0 54081772 385339392 85917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 94077 85917 170 317 0 93756 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 376308

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24819
/proc/meminfo: memFree=1239088/2055920 swapFree=4115960/4192956
[pid=24619] ppid=24617 vsize=384268 CPUtime=1181.76
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 94006 0 0 0 118120 56 0 0 25 0 1 0 54081772 393490432 88167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 96067 88167 170 317 0 95746 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 384268

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24819
/proc/meminfo: memFree=1230256/2055920 swapFree=4116024/4192956
[pid=24619] ppid=24617 vsize=392004 CPUtime=1241.74
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 96195 0 0 0 124116 58 0 0 25 0 1 0 54081772 401412096 90356 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 98001 90356 170 317 0 97680 0
Current children cumulated CPU time (s) 1241.74
Current children cumulated vsize (KiB) 392004

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24819
/proc/meminfo: memFree=1221552/2055920 swapFree=4116024/4192956
[pid=24619] ppid=24617 vsize=399632 CPUtime=1301.72
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 98344 0 0 0 130112 60 0 0 25 0 1 0 54081772 409223168 92505 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 99908 92505 170 317 0 99587 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 399632

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24819
/proc/meminfo: memFree=1212848/2055920 swapFree=4116088/4192956
[pid=24619] ppid=24617 vsize=410700 CPUtime=1361.69
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 101111 0 0 0 136107 62 0 0 25 0 1 0 54081772 420556800 94678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716169 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 102675 94678 170 317 0 102354 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 410700

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24819
/proc/meminfo: memFree=1204784/2055920 swapFree=4116088/4192956
[pid=24619] ppid=24617 vsize=417856 CPUtime=1421.67
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 103105 0 0 0 142103 64 0 0 25 0 1 0 54081772 427884544 96672 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 104464 96672 170 317 0 104143 0
Current children cumulated CPU time (s) 1421.67
Current children cumulated vsize (KiB) 417856

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24819
/proc/meminfo: memFree=1198640/2055920 swapFree=4116088/4192956
[pid=24619] ppid=24617 vsize=423652 CPUtime=1481.65
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 104644 0 0 0 148099 66 0 0 25 0 1 0 54081772 433819648 98211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 105913 98211 170 317 0 105592 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 423652

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24819
/proc/meminfo: memFree=1191728/2055920 swapFree=4116152/4192956
[pid=24619] ppid=24617 vsize=429604 CPUtime=1541.62
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 106379 0 0 0 154095 67 0 0 25 0 1 0 54081772 439914496 99946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 107401 99946 170 317 0 107080 0
Current children cumulated CPU time (s) 1541.62
Current children cumulated vsize (KiB) 429604

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/79 24819
/proc/meminfo: memFree=1185072/2055920 swapFree=4116152/4192956
[pid=24619] ppid=24617 vsize=435312 CPUtime=1601.61
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 108047 0 0 0 160092 69 0 0 25 0 1 0 54081772 445759488 101614 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 108828 101614 170 317 0 108507 0
Current children cumulated CPU time (s) 1601.61
Current children cumulated vsize (KiB) 435312

[startup+1662.3 s]
/proc/loadavg: 1.06 0.99 0.91 2/79 24819
/proc/meminfo: memFree=1178224/2055920 swapFree=4116216/4192956
[pid=24619] ppid=24617 vsize=441140 CPUtime=1661.58
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 109752 0 0 0 166088 70 0 0 25 0 1 0 54081772 451727360 103319 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 110285 103319 170 317 0 109964 0
Current children cumulated CPU time (s) 1661.58
Current children cumulated vsize (KiB) 441140

[startup+1722.3 s]
/proc/loadavg: 1.02 0.99 0.91 2/79 24819
/proc/meminfo: memFree=1171952/2055920 swapFree=4116216/4192956
[pid=24619] ppid=24617 vsize=447076 CPUtime=1721.56
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 111325 0 0 0 172085 71 0 0 25 0 1 0 54081772 457805824 104892 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 111769 104892 170 317 0 111448 0
Current children cumulated CPU time (s) 1721.56
Current children cumulated vsize (KiB) 447076

[startup+1782.3 s]
/proc/loadavg: 1.01 0.99 0.91 2/79 24819
/proc/meminfo: memFree=1165360/2055920 swapFree=4116280/4192956
[pid=24619] ppid=24617 vsize=452620 CPUtime=1781.54
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 112945 0 0 0 178082 72 0 0 25 0 1 0 54081772 463482880 106512 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 113155 106512 170 317 0 112834 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (KiB) 452620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 0.99 0.91 2/79 24819
/proc/meminfo: memFree=1163632/2055920 swapFree=4116280/4192956
[pid=24619] ppid=24617 vsize=454204 CPUtime=1800.04
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 113385 0 0 0 179931 73 0 0 25 0 1 0 54081772 465104896 106952 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 113551 106952 170 317 0 113230 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 454204

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

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

[startup+1801 s]
/proc/loadavg: 1.00 0.99 0.91 2/79 24819
/proc/meminfo: memFree=1163632/2055920 swapFree=4116280/4192956
[pid=24619] ppid=24617 vsize=454340 CPUtime=1800.23
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 113393 0 0 0 179950 73 0 0 25 0 1 0 54081772 465244160 106960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 113585 106960 170 317 0 113264 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 454340

[startup+1801.2 s]
/proc/loadavg: 1.00 0.99 0.91 2/79 24819
/proc/meminfo: memFree=1163632/2055920 swapFree=4116280/4192956
[pid=24619] ppid=24617 vsize=0 CPUtime=1800.43
/proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194308 113409 0 0 0 179969 74 0 0 25 0 1 0 54081772 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/24619/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.27
CPU time (s): 1800.5
CPU user time (s): 1799.7
CPU system time (s): 0.804877
CPU usage (%): 99.9575
Max. virtual memory (cumulated for all children) (KiB): 454340

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

runsolver used 1.76873 second user time and 4.80327 second system time

The end

Launcher Data (download as text)

Begin job on node46 on Thu Apr 19 14:46:28 UTC 2007

IDJOB= 357308
IDBENCH= 2372
IDSOLVER= 172
FILE ID= node46/357308-1176993984

PBS_JOBID= 4630453

Free space on /tmp= 66079 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb
COMMAND LINE= oree /tmp/evaluation/357308-1176993984/instance-357308-1176993984.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node46/watcher-357308-1176993984 -o ROOT/results/node46/solver-357308-1176993984 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357308-1176993984/instance-357308-1176993984.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  a5c62cef1e86c64304fd5ef232ab5991

RANDOM SEED= 79225673

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node46.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.268
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.268
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:       1592208 kB
Buffers:         37484 kB
Cached:         355652 kB
SwapCached:       2964 kB
Active:         211708 kB
Inactive:       205068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1592208 kB
SwapTotal:     4192956 kB
SwapFree:      4115448 kB
Dirty:            6104 kB
Writeback:           0 kB
Mapped:          30824 kB
Slab:            32328 kB
Committed_AS:  1948896 kB
PageTables:       1988 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= 66079 MiB

End job on node46 on Thu Apr 19 15:16:31 UTC 2007