Trace number 429139

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 alphaOPT3 1586.69 1587.18

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=5-P0=5-P1=11-P2=11-P3=29-P4=29-P5=23-P6=29-P7=17-P8=29-P9=17-B.opb
MD5SUMe959fdee0b143510a2016bc4f8055563
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.073987
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables135
Total number of constraints19
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 constraints19
Minimum length of a constraint5
Maximum length of a constraint35
Number of terms in the objective function 5
Biggest coefficient in the objective function 16
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 31
Number of bits of the sum of numbers in the objective function 5
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 1984
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)225
Sum of products size (including duplicates)450
Number of different products225
Sum of products size450

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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.00/0.00	c ...done
0.00/0.00	c #vars=360 #constraints=479 hasObjective=yes
0.00/0.00	c res. mode=mod
0.00/0.00	c VSIDS like heuristics
0.00/0.00	c complete search running
0.10/0.17	c restart after 401 decisions
0.20/0.21	c nbDecision=500 #constraints=897
0.29/0.37	c restart after 801 decisions
0.40/0.48	c nbDecision=1000 #constraints=1317
0.89/0.90	c nbDecision=1500 #constraints=1749
1.00/1.03	c restart after 1601 decisions
1.39/1.47	c nbDecision=2000 #constraints=2187
2.39/2.49	c nbDecision=2500 #constraints=2652
3.59/3.62	c nbDecision=3000 #constraints=3095
4.09/4.16	c restart after 3201 decisions
4.99/5.01	c nbDecision=3500 #constraints=3499
7.59/7.70	c nbDecision=4000 #constraints=3949
10.89/10.91	c nbDecision=4500 #constraints=4411
13.99/14.10	c nbDecision=5000 #constraints=4878
16.88/16.92	c nbDecision=5500 #constraints=5303
20.38/20.49	c nbDecision=6000 #constraints=5725
23.68/23.78	c restart after 6401 decisions
23.99/24.08	c nbDecision=6500 #constraints=6144
29.09/29.12	c nbDecision=7000 #constraints=6591
33.68/33.74	c nbDecision=7500 #constraints=7024
40.58/40.66	c nbDecision=8000 #constraints=7512
44.58/44.64	c nbDecision=8500 #constraints=7958
49.87/49.94	c nbDecision=9000 #constraints=8426
55.26/55.33	c nbDecision=9500 #constraints=8894
61.25/61.38	c nbDecision=10000 #constraints=9358
68.93/69.01	c nbDecision=10500 #constraints=9812
73.52/73.70	c nbDecision=11000 #constraints=10282
77.61/77.76	c nbDecision=11500 #constraints=10747
81.70/81.89	c nbDecision=12000 #constraints=11186
86.60/86.80	c nbDecision=12500 #constraints=11595
90.49/90.63	c restart after 12801 decisions
91.89/92.00	c nbDecision=13000 #constraints=12010
98.89/99.00	c nbDecision=13500 #constraints=12468
105.37/105.51	c nbDecision=14000 #constraints=12934
109.87/110.06	c nbDecision=14500 #constraints=13372
114.67/114.89	c nbDecision=15000 #constraints=13799
119.77/119.91	c nbDecision=15500 #constraints=14253
126.66/126.84	c nbDecision=16000 #constraints=14731
134.47/134.60	c nbDecision=16500 #constraints=15203
140.67/140.82	c nbDecision=17000 #constraints=15649
145.76/145.90	c nbDecision=17500 #constraints=16075
151.16/151.38	c nbDecision=18000 #constraints=16556
157.65/157.85	c nbDecision=18500 #constraints=17025
164.46/164.63	c nbDecision=19000 #constraints=17469
172.86/173.01	c nbDecision=19500 #constraints=17966
179.06/179.22	c nbDecision=20000 #constraints=18407
183.35/183.59	c nbDecision=20500 #constraints=18812
188.95/189.16	c nbDecision=21000 #constraints=19268
195.25/195.44	c nbDecision=21500 #constraints=19754
203.45/203.66	c nbDecision=22000 #constraints=20241
211.85/212.07	c nbDecision=22500 #constraints=20700
220.55/220.80	c nbDecision=23000 #constraints=21150
230.64/230.89	c nbDecision=23500 #constraints=21605
241.34/241.57	c nbDecision=24000 #constraints=22045
255.64/255.90	c nbDecision=24500 #constraints=22479
271.83/272.06	c nbDecision=25000 #constraints=22922
287.03/287.21	c nbDecision=25500 #constraints=23303
291.23/291.48	c restart after 25601 decisions
301.22/301.47	c nbDecision=26000 #constraints=23727
315.22/315.49	c nbDecision=26500 #constraints=24113
331.62/331.83	c nbDecision=27000 #constraints=24530
351.51/351.79	c nbDecision=27500 #constraints=24938
371.80/372.06	c nbDecision=28000 #constraints=25346
390.21/390.44	c nbDecision=28500 #constraints=25765
410.19/410.41	c nbDecision=29000 #constraints=26231
428.09/428.39	c nbDecision=29500 #constraints=26643
444.29/444.54	c nbDecision=30000 #constraints=27060
462.28/462.57	c nbDecision=30500 #constraints=27537
477.88/478.14	c nbDecision=31000 #constraints=27950
497.58/497.87	c nbDecision=31500 #constraints=28415
514.17/514.42	c nbDecision=32000 #constraints=28797
531.37/531.63	c nbDecision=32500 #constraints=29228
549.56/549.80	c nbDecision=33000 #constraints=29637
566.16/566.43	c nbDecision=33500 #constraints=30108
583.86/584.20	c nbDecision=34000 #constraints=30563
606.05/606.31	c nbDecision=34500 #constraints=31021
628.74/629.09	c nbDecision=35000 #constraints=31451
655.13/655.44	c nbDecision=35500 #constraints=31839
683.03/683.36	c nbDecision=36000 #constraints=32258
709.42/709.78	c nbDecision=36500 #constraints=32712
733.11/733.43	c nbDecision=37000 #constraints=33141
757.71/758.04	c nbDecision=37500 #constraints=33570
783.70/784.06	c nbDecision=38000 #constraints=34020
805.39/805.77	c nbDecision=38500 #constraints=34422
834.89/835.23	c nbDecision=39000 #constraints=34890
858.68/859.07	c nbDecision=39500 #constraints=35307
882.17/882.55	c nbDecision=40000 #constraints=35752
902.68/903.06	c nbDecision=40500 #constraints=36175
925.36/925.71	c nbDecision=41000 #constraints=36593
952.95/953.31	c nbDecision=41500 #constraints=37034
982.75/983.18	c nbDecision=42000 #constraints=37452
1012.44/1012.81	c nbDecision=42500 #constraints=37869
1041.14/1041.57	c nbDecision=43000 #constraints=38287
1070.13/1070.53	c nbDecision=43500 #constraints=38678
1100.72/1101.20	c nbDecision=44000 #constraints=39115
1133.02/1133.48	c nbDecision=44500 #constraints=39541
1166.40/1166.85	c nbDecision=45000 #constraints=39999
1197.60/1198.00	c nbDecision=45500 #constraints=40445
1223.39/1223.86	c nbDecision=46000 #constraints=40861
1249.78/1250.23	c nbDecision=46500 #constraints=41272
1287.08/1287.50	c nbDecision=47000 #constraints=41688
1318.66/1319.14	c nbDecision=47500 #constraints=42068
1355.77/1356.22	c nbDecision=48000 #constraints=42476
1393.75/1394.23	c nbDecision=48500 #constraints=42902
1429.34/1429.81	c nbDecision=49000 #constraints=43317
1464.23/1464.70	c nbDecision=49500 #constraints=43713
1498.02/1498.56	c nbDecision=50000 #constraints=44128
1533.71/1534.25	c nbDecision=50500 #constraints=44538
1566.92/1567.41	c nbDecision=51000 #constraints=44959
1579.60/1580.14	c restart after 51201 decisions
1581.60/1582.17	c nbDecision=51261 #constraints=45136
1581.60/1582.17	c linear search for optimum
1581.60/1582.17	o 17
1585.80/1586.30	c nbDecision=51356 #constraints=45192
1585.80/1586.30	o 3
1586.60/1587.15	c nbDecision=51356 #constraints=45194
1586.60/1587.15	
1586.60/1587.15	s OPTIMUM FOUND
1586.60/1587.15	v x1 x2 -x3 -x4 -x5 x6 -x7 x8 -x9 -x10 x11 -x12 x13 -x14 x15 x16 x17 -x18 x19 x20 x21 x22 x23 -x24 x25 x26 -x27 -x28 -x29 x30 x31 x32 -x33
1586.60/1587.15	v -x34 x35 x36 x37 -x38 x39 x40 x41 -x42 -x43 -x44 x45 x46 -x47 x48 -x49 x50 x51 x52 x53 x54 -x55 x56 x57 -x58 x59 x60 x61 -x62 -x63
1586.60/1587.15	v x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 -x75 x76 -x77 x78 x79 x80 x81 x82 x83 x84 -x85 x86 x87 x88 x89 x90 -x91 -x92 -x93 -x94 -x95
1586.60/1587.15	v x96 -x97 -x98 x99 -x100 -x101 x102 x103 -x104 x105 x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118
1586.60/1587.15	v x119 -x120 -x121 -x122 -x123 x124 x125 x126 x127 x128 -x129 -x130 -x131 -x132 x133 -x134 x135 x136 x137 -x138 -x139 -x140 -x141
1586.60/1587.15	v -x142 -x143 -x144 -x145 x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 x162
1586.60/1587.15	v x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 x172 x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 x182 x183 x184 -x185
1586.60/1587.15	v x186 x187 -x188 x189 x190 x191 x192 -x193 x194 x195 -x196 -x197 -x198 -x199 -x200 x201 x202 -x203 x204 x205 x206 x207 -x208
1586.60/1587.15	v x209 x210 x211 -x212 -x213 x214 x215 x216 -x217 -x218 x219 x220 x221 -x222 -x223 x224 x225 -x226 -x227 -x228 -x229 -x230 x231
1586.60/1587.15	v -x232 -x233 x234 x235 x236 x237 x238 x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253
1586.60/1587.15	v -x254 -x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 -x265 x266 x267 x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276
1586.60/1587.15	v -x277 -x278 -x279 -x280 x281 x282 x283 x284 -x285 x286 -x287 x288 x289 x290 x291 -x292 x293 x294 x295 -x296 -x297 -x298 -x299
1586.60/1587.15	v -x300 x301 -x302 x303 x304 x305 x306 -x307 x308 x309 x310 x311 x312 x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322
1586.60/1587.15	v -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 x332 x333 x334 -x335 x336 x337 x338 x339 x340 -x341 -x342 -x343 -x344
1586.60/1587.15	v -x345 x346 x347 x348 x349 x350 -x351 -x352 -x353 -x354 -x355 x356 x357 x358 x359 x360
1586.60/1587.15	
1586.60/1587.15	c user time= 1586.35 s
1586.60/1587.15	c system time= 0.314952 s
1586.60/1587.15	c wall clock time=1587.15

Verifier Data (download as text)

OK	3

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/429139-1177981212/instance-429139-1177981212.opb
mv /tmp/evaluation/429139-1177981212/instance-429139-1177981212.opb.tmp /tmp/evaluation/429139-1177981212/instance-429139-1177981212.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node29/watcher-429139-1177981212 -o ROOT/results/node29/solver-429139-1177981212 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/429139-1177981212/instance-429139-1177981212.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.93 1.01 0.95 3/77 26699
/proc/meminfo: memFree=1852848/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=1468 CPUtime=0
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 246036964 1503232 177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 400 178 132 317 0 79 0

[startup+0.0515249 s]
/proc/loadavg: 0.93 1.01 0.95 3/77 26699
/proc/meminfo: memFree=1852848/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=1732 CPUtime=0.04
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 260 0 0 0 4 0 0 0 18 0 1 0 246036964 1773568 243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712587 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 433 243 139 317 0 112 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1732

[startup+0.102528 s]
/proc/loadavg: 0.93 1.01 0.95 3/77 26699
/proc/meminfo: memFree=1852848/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=1996 CPUtime=0.1
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 304 0 0 0 10 0 0 0 18 0 1 0 246036964 2043904 287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 499 287 139 317 0 178 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1996

[startup+0.30154 s]
/proc/loadavg: 0.93 1.01 0.95 3/77 26699
/proc/meminfo: memFree=1852848/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=2532 CPUtime=0.29
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 461 0 0 0 29 0 0 0 19 0 1 0 246036964 2592768 444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 633 444 139 317 0 312 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2532

[startup+0.702565 s]
/proc/loadavg: 0.93 1.01 0.95 3/77 26699
/proc/meminfo: memFree=1852848/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=3456 CPUtime=0.69
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 707 0 0 0 69 0 0 0 23 0 1 0 246036964 3538944 690 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563783 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 864 690 170 317 0 543 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3456

[startup+1.50162 s]
/proc/loadavg: 0.93 1.01 0.95 2/78 26700
/proc/meminfo: memFree=1850216/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=4512 CPUtime=1.49
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 990 0 0 0 149 0 0 0 25 0 1 0 246036964 4620288 973 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 1128 973 170 317 0 807 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4512

[startup+3.10172 s]
/proc/loadavg: 0.93 1.01 0.95 2/78 26700
/proc/meminfo: memFree=1848936/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=5840 CPUtime=3.09
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 1309 0 0 0 309 0 0 0 25 0 1 0 246036964 5980160 1292 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 1460 1292 170 317 0 1139 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5840

[startup+6.30192 s]
/proc/loadavg: 0.93 1.01 0.95 2/78 26700
/proc/meminfo: memFree=1846952/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=7320 CPUtime=6.29
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 1672 0 0 0 629 0 0 0 25 0 1 0 246036964 7495680 1655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 1830 1655 170 317 0 1509 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7320

[startup+12.7013 s]
/proc/loadavg: 0.94 1.01 0.95 2/78 26700
/proc/meminfo: memFree=1845240/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=9148 CPUtime=12.69
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 2077 0 0 0 1268 1 0 0 25 0 1 0 246036964 9367552 2060 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 2287 2060 170 317 0 1966 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9148

[startup+25.5011 s]
/proc/loadavg: 0.95 1.01 0.95 2/78 26700
/proc/meminfo: memFree=1842168/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=12216 CPUtime=25.49
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 2825 0 0 0 2547 2 0 0 25 0 1 0 246036964 12509184 2808 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 3054 2808 170 317 0 2733 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 12216

[startup+51.1018 s]
/proc/loadavg: 0.97 1.01 0.95 2/84 26726
/proc/meminfo: memFree=1836744/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=16452 CPUtime=51.07
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 3907 0 0 0 5103 4 0 0 25 0 1 0 246036964 16846848 3832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 4113 3832 170 317 0 3792 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 16452

[startup+102.307 s]
/proc/loadavg: 0.98 1.00 0.95 2/84 26878
/proc/meminfo: memFree=1829560/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=23612 CPUtime=102.19
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 5691 0 0 0 10213 6 0 0 25 0 1 0 246036964 24178688 5616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 5903 5616 170 317 0 5582 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 23612

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 0.95 2/78 26898
/proc/meminfo: memFree=1822328/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=32540 CPUtime=162.15
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 7902 0 0 0 16207 8 0 0 25 0 1 0 246036964 33320960 7713 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 8135 7713 170 317 0 7814 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 32540

[startup+222.302 s]
/proc/loadavg: 0.99 1.00 0.95 2/78 26898
/proc/meminfo: memFree=1815096/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=39836 CPUtime=222.15
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 9687 0 0 0 22204 11 0 0 25 0 1 0 246036964 40792064 9498 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 9959 9498 170 317 0 9638 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 39836

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.95 2/78 26898
/proc/meminfo: memFree=1811640/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=43352 CPUtime=282.13
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 10538 0 0 0 28201 12 0 0 25 0 1 0 246036964 44392448 10349 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 10838 10349 170 317 0 10517 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 43352

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 0.95 2/78 26898
/proc/meminfo: memFree=1808824/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=46200 CPUtime=342.11
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 11242 0 0 0 34198 13 0 0 25 0 1 0 246036964 47308800 11053 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 11550 11053 170 317 0 11229 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 46200

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 0.95 2/78 26898
/proc/meminfo: memFree=1806328/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=48728 CPUtime=402.1
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 11856 0 0 0 40196 14 0 0 25 0 1 0 246036964 49897472 11667 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 12182 11667 170 317 0 11861 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 48728

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 0.95 2/78 26898
/proc/meminfo: memFree=1803640/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=51496 CPUtime=462.08
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 12547 0 0 0 46193 15 0 0 25 0 1 0 246036964 52731904 12358 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 12874 12358 170 317 0 12553 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 51496

[startup+522.303 s]
/proc/loadavg: 0.99 1.00 0.95 2/78 26898
/proc/meminfo: memFree=1801016/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=54336 CPUtime=522.06
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 13221 0 0 0 52190 16 0 0 25 0 1 0 246036964 55640064 13032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 13584 13032 170 317 0 13263 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 54336

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 0.95 2/78 26898
/proc/meminfo: memFree=1797880/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=58020 CPUtime=582.05
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 13981 0 0 0 58188 17 0 0 25 0 1 0 246036964 59412480 13792 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 14505 13792 170 317 0 14184 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 58020

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 0.95 2/78 26898
/proc/meminfo: memFree=1795896/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=59888 CPUtime=642.04
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 14466 0 0 0 64186 18 0 0 25 0 1 0 246036964 61325312 14277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 14972 14277 170 317 0 14651 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 59888


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

/proc/meminfo: memFree=1786552/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=70108 CPUtime=941.96
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 17062 0 0 0 94174 22 0 0 25 0 1 0 246036964 71790592 16613 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 17527 16613 170 317 0 17206 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 70108

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.95 2/78 26898
/proc/meminfo: memFree=1784760/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=71744 CPUtime=1001.94
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 17480 0 0 0 100171 23 0 0 25 0 1 0 246036964 73465856 17031 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 17936 17031 170 317 0 17615 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 71744

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.95 2/78 26898
/proc/meminfo: memFree=1783288/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=73272 CPUtime=1061.93
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 17844 0 0 0 106169 24 0 0 25 0 1 0 246036964 75030528 17395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 18318 17395 170 317 0 17997 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 73272

[startup+1122.3 s]
/proc/loadavg: 1.06 1.02 0.95 2/78 26898
/proc/meminfo: memFree=1781624/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=74732 CPUtime=1121.91
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 18252 0 0 0 112167 24 0 0 25 0 1 0 246036964 76525568 17803 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 18683 17803 170 317 0 18362 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 74732

[startup+1182.3 s]
/proc/loadavg: 1.08 1.03 0.96 2/78 26898
/proc/meminfo: memFree=1779960/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=76384 CPUtime=1181.9
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 18668 0 0 0 118165 25 0 0 25 0 1 0 246036964 78217216 18219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 19096 18219 170 317 0 18775 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 76384

[startup+1242.3 s]
/proc/loadavg: 1.03 1.02 0.96 2/78 26898
/proc/meminfo: memFree=1778104/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=78400 CPUtime=1241.88
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 19135 0 0 0 124162 26 0 0 25 0 1 0 246036964 80281600 18686 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 19600 18686 170 317 0 19279 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 78400

[startup+1302.3 s]
/proc/loadavg: 1.01 1.01 0.96 2/78 26898
/proc/meminfo: memFree=1776888/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=79608 CPUtime=1301.87
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 19410 0 0 0 130160 27 0 0 25 0 1 0 246036964 81518592 18961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 19902 18961 170 317 0 19581 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 79608

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 0.96 2/78 26898
/proc/meminfo: memFree=1775480/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=81548 CPUtime=1361.86
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 19881 0 0 0 136158 28 0 0 25 0 1 0 246036964 83505152 19267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712565 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 20387 19267 170 317 0 20066 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 81548

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26898
/proc/meminfo: memFree=1774328/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=82780 CPUtime=1421.85
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 20188 0 0 0 142156 29 0 0 25 0 1 0 246036964 84766720 19574 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 20695 19574 170 317 0 20374 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 82780

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26898
/proc/meminfo: memFree=1773176/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=83876 CPUtime=1481.83
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 20485 0 0 0 148154 29 0 0 25 0 1 0 246036964 85889024 19871 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 20969 19871 170 317 0 20648 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 83876

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26898
/proc/meminfo: memFree=1771768/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=85884 CPUtime=1541.81
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 20954 0 0 0 154151 30 0 0 25 0 1 0 246036964 87945216 20208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 21471 20208 170 317 0 21150 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 85884

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

[startup+1561.5 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26898
/proc/meminfo: memFree=1771320/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=86272 CPUtime=1561.01
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 21067 0 0 0 156070 31 0 0 25 0 1 0 246036964 88342528 20321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 21568 20321 170 317 0 21247 0
Current children cumulated CPU time (s) 1561.01
Current children cumulated vsize (KiB) 86272

[startup+1574.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26898
/proc/meminfo: memFree=1771000/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=86532 CPUtime=1573.81
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 21143 0 0 0 157350 31 0 0 25 0 1 0 246036964 88608768 20397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604145 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 21633 20397 170 317 0 21312 0
Current children cumulated CPU time (s) 1573.81
Current children cumulated vsize (KiB) 86532

[startup+1580.71 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26898
/proc/meminfo: memFree=1770872/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=86660 CPUtime=1580.21
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 21181 0 0 0 157990 31 0 0 25 0 1 0 246036964 88739840 20435 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 21665 20435 170 317 0 21344 0
Current children cumulated CPU time (s) 1580.21
Current children cumulated vsize (KiB) 86660

[startup+1583.9 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26898
/proc/meminfo: memFree=1770808/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=86660 CPUtime=1583.41
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 21191 0 0 0 158310 31 0 0 25 0 1 0 246036964 88739840 20445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 21665 20445 170 317 0 21344 0
Current children cumulated CPU time (s) 1583.41
Current children cumulated vsize (KiB) 86660

[startup+1585.5 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26898
/proc/meminfo: memFree=1770808/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=86660 CPUtime=1585
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 21200 0 0 0 158469 31 0 0 25 0 1 0 246036964 88739840 20454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563683 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 21665 20454 170 317 0 21344 0
Current children cumulated CPU time (s) 1585
Current children cumulated vsize (KiB) 86660

[startup+1586.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26898
/proc/meminfo: memFree=1770744/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=86660 CPUtime=1585.8
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 21203 0 0 0 158549 31 0 0 25 0 1 0 246036964 88739840 20457 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 21665 20457 170 317 0 21344 0
Current children cumulated CPU time (s) 1585.8
Current children cumulated vsize (KiB) 86660

[startup+1586.7 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26898
/proc/meminfo: memFree=1770744/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=86660 CPUtime=1586.2
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 21204 0 0 0 158589 31 0 0 25 0 1 0 246036964 88739840 20458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711120 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 21665 20458 170 317 0 21344 0
Current children cumulated CPU time (s) 1586.2
Current children cumulated vsize (KiB) 86660

[startup+1587.1 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26898
/proc/meminfo: memFree=1770744/2055920 swapFree=4146640/4192956
[pid=26699] ppid=26697 vsize=86660 CPUtime=1586.6
/proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 21204 0 0 0 158629 31 0 0 25 0 1 0 246036964 88739840 20458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26699/statm: 21665 20458 170 317 0 21344 0
Current children cumulated CPU time (s) 1586.6
Current children cumulated vsize (KiB) 86660

Child status: 0
Real time (s): 1587.18
CPU time (s): 1586.69
CPU user time (s): 1586.36
CPU system time (s): 0.330949
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 86660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1586.36
system time used= 0.330949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21220
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= 7
involuntary context switches= 33037

runsolver used 1.3038 second user time and 3.56746 second system time

The end

Launcher Data (download as text)

Begin job on node29 on Tue May  1 01:00:12 UTC 2007

IDJOB= 429139
IDBENCH= 47887
IDSOLVER= 172
FILE ID= node29/429139-1177981212

PBS_JOBID= 4727997

Free space on /tmp= 66563 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=5-P0=5-P1=11-P2=11-P3=29-P4=29-P5=23-P6=29-P7=17-P8=29-P9=17-B.opb
COMMAND LINE= oree /tmp/evaluation/429139-1177981212/instance-429139-1177981212.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node29/convwatcher-429139-1177981212 -o ROOT/results/node29/conversion-429139-1177981212 -C 600 -M 1800 /tmp/evaluation/429139-1177981212/substituteSizeProductKeyword /tmp/evaluation/429139-1177981212/instance-429139-1177981212.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node29/watcher-429139-1177981212 -o ROOT/results/node29/solver-429139-1177981212 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/429139-1177981212/instance-429139-1177981212.opb mod           

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  e959fdee0b143510a2016bc4f8055563

RANDOM SEED= 21753329

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node29.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.224
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.224
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:       1853320 kB
Buffers:         30060 kB
Cached:          91468 kB
SwapCached:      11208 kB
Active:          57128 kB
Inactive:        87832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1853320 kB
SwapTotal:     4192956 kB
SwapFree:      4146640 kB
Dirty:            1512 kB
Writeback:           0 kB
Mapped:          30192 kB
Slab:            43112 kB
Committed_AS:  3320700 kB
PageTables:       1872 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= 66563 MiB

End job on node29 on Tue May  1 01:26:39 UTC 2007