Trace number 362454

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) 1802.13 1802.19

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran8x32.opb
MD5SUM857268f55ca3006474c2fa40f262a214
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.184971
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables7936
Total number of constraints296
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 constraints296
Minimum length of a constraint31
Maximum length of a constraint960
Number of terms in the objective function 7936
Biggest coefficient in the objective function 1818
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 530569
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 530569
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.03/0.09	c ...done
0.03/0.09	c #vars=7936 #constraints=337 hasObjective=yes
0.09/0.19	c res. mode=mod
0.09/0.19	c VSIDS like heuristics
0.09/0.19	c complete search running
0.19/0.23	c restart after 401 decisions
0.19/0.23	c nbDecision=500 #constraints=337
0.19/0.26	c restart after 801 decisions
0.19/0.27	c nbDecision=1000 #constraints=337
0.29/0.31	c nbDecision=1500 #constraints=337
0.29/0.31	c restart after 1601 decisions
0.29/0.34	c nbDecision=2000 #constraints=337
0.29/0.38	c nbDecision=2500 #constraints=337
0.39/0.41	c nbDecision=3000 #constraints=337
0.39/0.42	c restart after 3201 decisions
0.39/0.44	c nbDecision=3500 #constraints=337
0.39/0.47	c nbDecision=4000 #constraints=337
0.49/0.50	c nbDecision=4500 #constraints=337
0.49/0.53	c nbDecision=5000 #constraints=337
0.49/0.55	c nbDecision=5500 #constraints=337
0.49/0.58	c nbDecision=6000 #constraints=338
0.99/1.08	c restart after 6401 decisions
0.99/1.10	c nbDecision=6500 #constraints=442
1.09/1.13	c nbDecision=7000 #constraints=442
1.09/1.17	c nbDecision=7500 #constraints=442
1.09/1.19	c nbDecision=8000 #constraints=442
1.19/1.22	c nbDecision=8500 #constraints=442
1.19/1.24	c nbDecision=9000 #constraints=442
1.89/1.91	c nbDecision=9500 #constraints=577
2.49/2.53	c nbDecision=10000 #constraints=661
4.30/4.31	c nbDecision=10500 #constraints=983
6.69/6.79	c nbDecision=11000 #constraints=1274
7.99/8.01	c nbDecision=11500 #constraints=1331
9.19/9.28	c nbDecision=12000 #constraints=1388
10.59/10.61	c nbDecision=12500 #constraints=1445
10.89/10.91	c restart after 12801 decisions
10.89/10.98	c nbDecision=13000 #constraints=1460
10.99/11.03	c nbDecision=13500 #constraints=1460
10.99/11.07	c nbDecision=14000 #constraints=1460
11.09/11.10	c nbDecision=14500 #constraints=1460
11.09/11.14	c nbDecision=15000 #constraints=1460
11.09/11.18	c nbDecision=15500 #constraints=1460
12.19/12.29	c nbDecision=16000 #constraints=1502
13.69/13.73	c nbDecision=16500 #constraints=1559
15.19/15.22	c nbDecision=17000 #constraints=1616
16.69/16.77	c nbDecision=17500 #constraints=1673
18.30/18.37	c nbDecision=18000 #constraints=1730
19.99/20.02	c nbDecision=18500 #constraints=1787
21.69/21.73	c nbDecision=19000 #constraints=1844
23.40/23.48	c nbDecision=19500 #constraints=1901
25.59/25.62	c nbDecision=20000 #constraints=1973
27.09/27.12	c nbDecision=20500 #constraints=2015
30.09/30.18	c nbDecision=21000 #constraints=2252
32.80/32.85	c nbDecision=21500 #constraints=2357
37.99/38.06	c nbDecision=22000 #constraints=2475
43.39/43.44	c nbDecision=22500 #constraints=2716
55.99/56.04	c nbDecision=23000 #constraints=2890
65.50/65.52	c nbDecision=23500 #constraints=3021
79.60/79.63	c nbDecision=24000 #constraints=3195
94.00/94.00	c nbDecision=24500 #constraints=3354
104.39/104.49	c nbDecision=25000 #constraints=3470
109.80/109.81	c nbDecision=25500 #constraints=3528
109.80/109.88	c restart after 25601 decisions
110.40/110.42	c nbDecision=26000 #constraints=3528
110.50/110.53	c nbDecision=26500 #constraints=3528
110.60/110.64	c nbDecision=27000 #constraints=3528
110.70/110.78	c nbDecision=27500 #constraints=3528
110.90/110.90	c nbDecision=28000 #constraints=3528
112.49/112.54	c nbDecision=28500 #constraints=3617
115.79/115.84	c nbDecision=29000 #constraints=3825
119.49/119.52	c nbDecision=29500 #constraints=3892
123.49/123.56	c nbDecision=30000 #constraints=3946
127.60/127.66	c nbDecision=30500 #constraints=4000
131.79/131.84	c nbDecision=31000 #constraints=4054
136.09/136.10	c nbDecision=31500 #constraints=4108
140.39/140.43	c nbDecision=32000 #constraints=4162
144.69/144.78	c nbDecision=32500 #constraints=4216
148.40/148.50	c nbDecision=33000 #constraints=4399
152.89/152.94	c nbDecision=33500 #constraints=4513
158.10/158.20	c nbDecision=34000 #constraints=4618
167.89/167.98	c nbDecision=34500 #constraints=4848
187.00/187.01	c nbDecision=35000 #constraints=5003
209.70/209.74	c nbDecision=35500 #constraints=5177
233.10/233.19	c nbDecision=36000 #constraints=5351
250.20/250.24	c nbDecision=36500 #constraints=5482
274.30/274.32	c nbDecision=37000 #constraints=5641
284.10/284.14	c nbDecision=37500 #constraints=5763
296.91/296.94	c nbDecision=38000 #constraints=5843
303.40/303.49	c nbDecision=38500 #constraints=6065
309.79/309.83	c nbDecision=39000 #constraints=6119
316.20/316.22	c nbDecision=39500 #constraints=6173
322.70/322.75	c nbDecision=40000 #constraints=6227
329.30/329.32	c nbDecision=40500 #constraints=6281
336.00/336.02	c nbDecision=41000 #constraints=6335
342.70/342.77	c nbDecision=41500 #constraints=6389
372.40/372.40	c nbDecision=42000 #constraints=6487
374.40/374.46	c nbDecision=42500 #constraints=6571
383.20/383.23	c nbDecision=43000 #constraints=6736
390.20/390.24	c nbDecision=43500 #constraints=6790
397.40/397.40	c nbDecision=44000 #constraints=6844
401.10/401.15	c nbDecision=44500 #constraints=6871
408.31/408.31	c nbDecision=45000 #constraints=6925
415.61/415.65	c nbDecision=45500 #constraints=6979
423.00/423.01	c nbDecision=46000 #constraints=7033
455.90/455.98	c nbDecision=46500 #constraints=7131
460.91/460.92	c nbDecision=47000 #constraints=7327
467.60/467.67	c nbDecision=47500 #constraints=7380
475.31/475.39	c nbDecision=48000 #constraints=7434
483.21/483.22	c nbDecision=48500 #constraints=7488
491.00/491.10	c nbDecision=49000 #constraints=7542
499.10/499.12	c nbDecision=49500 #constraints=7596
507.11/507.18	c nbDecision=50000 #constraints=7650
515.30/515.40	c nbDecision=50500 #constraints=7704
547.81/547.86	c nbDecision=51000 #constraints=7775
548.31/548.38	c restart after 51201 decisions
549.81/549.80	c nbDecision=51500 #constraints=7789
550.01/550.06	c nbDecision=52000 #constraints=7789
550.31/550.31	c nbDecision=52500 #constraints=7789
550.51/550.59	c nbDecision=53000 #constraints=7789
550.81/550.86	c nbDecision=53500 #constraints=7789
551.51/551.58	c nbDecision=54000 #constraints=7803
563.30/563.33	c nbDecision=54500 #constraints=8024
567.71/567.71	c nbDecision=55000 #constraints=8051
576.21/576.21	c nbDecision=55500 #constraints=8105
584.81/584.84	c nbDecision=56000 #constraints=8159
593.50/593.50	c nbDecision=56500 #constraints=8213
602.21/602.29	c nbDecision=57000 #constraints=8267
611.11/611.17	c nbDecision=57500 #constraints=8321
650.91/651.00	c nbDecision=58000 #constraints=8419
655.51/655.51	c nbDecision=58500 #constraints=8573
664.91/664.91	c nbDecision=59000 #constraints=8668
674.11/674.18	c nbDecision=59500 #constraints=8722
683.51/683.56	c nbDecision=60000 #constraints=8776
693.01/693.00	c nbDecision=60500 #constraints=8830
702.52/702.59	c nbDecision=61000 #constraints=8884
712.21/712.23	c nbDecision=61500 #constraints=8938
717.21/717.27	c nbDecision=62000 #constraints=8965
760.71/760.78	c nbDecision=62500 #constraints=9063
770.41/770.47	c nbDecision=63000 #constraints=9285
775.61/775.64	c nbDecision=63500 #constraints=9312
785.71/785.71	c nbDecision=64000 #constraints=9366
795.92/795.90	c nbDecision=64500 #constraints=9420
806.01/806.04	c nbDecision=65000 #constraints=9474
816.41/816.43	c nbDecision=65500 #constraints=9528
826.82/826.90	c nbDecision=66000 #constraints=9582
837.52/837.52	c nbDecision=66500 #constraints=9636
879.42/879.48	c nbDecision=67000 #constraints=9707
889.82/889.84	c nbDecision=67500 #constraints=9929
900.62/900.69	c nbDecision=68000 #constraints=9983
911.52/911.57	c nbDecision=68500 #constraints=10037
922.62/922.62	c nbDecision=69000 #constraints=10091
933.72/933.71	c nbDecision=69500 #constraints=10145
944.93/944.94	c nbDecision=70000 #constraints=10199
950.72/950.72	c nbDecision=70500 #constraints=10226
962.12/962.10	c nbDecision=71000 #constraints=10280
1007.22/1007.22	c nbDecision=71500 #constraints=10351
1018.22/1018.27	c nbDecision=72000 #constraints=10573
1029.82/1029.83	c nbDecision=72500 #constraints=10627
1041.42/1041.50	c nbDecision=73000 #constraints=10681
1053.12/1053.16	c nbDecision=73500 #constraints=10735
1065.02/1065.06	c nbDecision=74000 #constraints=10789
1077.02/1077.05	c nbDecision=74500 #constraints=10843
1089.13/1089.11	c nbDecision=75000 #constraints=10897
1142.93/1143.09	c nbDecision=75500 #constraints=10995
1146.74/1146.82	c nbDecision=76000 #constraints=11093
1161.22/1161.32	c nbDecision=76500 #constraints=11244
1173.52/1173.68	c nbDecision=77000 #constraints=11298
1186.02/1186.17	c nbDecision=77500 #constraints=11352
1198.62/1198.77	c nbDecision=78000 #constraints=11406
1205.22/1205.30	c nbDecision=78500 #constraints=11433
1217.83/1218.00	c nbDecision=79000 #constraints=11487
1230.62/1230.80	c nbDecision=79500 #constraints=11541
1288.03/1288.11	c nbDecision=80000 #constraints=11639
1295.52/1295.64	c nbDecision=80500 #constraints=11835
1307.23/1307.38	c nbDecision=81000 #constraints=11888
1320.22/1320.37	c nbDecision=81500 #constraints=11942
1333.43/1333.57	c nbDecision=82000 #constraints=11996
1346.82/1346.90	c nbDecision=82500 #constraints=12050
1360.22/1360.36	c nbDecision=83000 #constraints=12104
1373.73/1373.87	c nbDecision=83500 #constraints=12158
1387.42/1387.53	c nbDecision=84000 #constraints=12212
1441.63/1441.77	c nbDecision=84500 #constraints=12283
1454.63/1454.79	c nbDecision=85000 #constraints=12505
1468.43/1468.58	c nbDecision=85500 #constraints=12559
1482.43/1482.51	c nbDecision=86000 #constraints=12613
1496.43/1496.51	c nbDecision=86500 #constraints=12667
1503.64/1503.76	c nbDecision=87000 #constraints=12694
1517.83/1517.93	c nbDecision=87500 #constraints=12748
1532.03/1532.16	c nbDecision=88000 #constraints=12802
1546.23/1546.37	c nbDecision=88500 #constraints=12856
1603.64/1603.79	c nbDecision=89000 #constraints=12927
1617.34/1617.49	c nbDecision=89500 #constraints=13149
1631.63/1631.78	c nbDecision=90000 #constraints=13203
1646.33/1646.41	c nbDecision=90500 #constraints=13257
1661.03/1661.18	c nbDecision=91000 #constraints=13311
1675.94/1676.01	c nbDecision=91500 #constraints=13365
1690.83/1690.93	c nbDecision=92000 #constraints=13419
1705.83/1705.99	c nbDecision=92500 #constraints=13473
1773.24/1773.35	c nbDecision=93000 #constraints=13571
1776.23/1776.35	c nbDecision=93500 #constraints=13627
1795.73/1795.81	c nbDecision=94000 #constraints=13820
1800.04/1800.10	Received signal 15

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/node16/watcher-362454-1176846161 -o ROOT/results/node16/solver-362454-1176846161 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362454-1176846161/instance-362454-1176846161.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: 1.00 1.00 1.00 3/77 29008
/proc/meminfo: memFree=1866232/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=1468 CPUtime=0
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 132533768 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 367 161 126 317 0 46 0

[startup+0.0373949 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 29008
/proc/meminfo: memFree=1866232/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=2020 CPUtime=0.03
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 323 0 0 0 3 0 0 0 18 0 1 0 132533768 2068480 305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134590730 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 505 305 131 317 0 184 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2020

[startup+0.10138 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 29008
/proc/meminfo: memFree=1866232/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=3956 CPUtime=0.09
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 791 0 0 0 9 0 0 0 18 0 1 0 132533768 4050944 773 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602685 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 989 773 137 317 0 668 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3956

[startup+0.301341 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 29008
/proc/meminfo: memFree=1866232/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=4220 CPUtime=0.29
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 858 0 0 0 29 0 0 0 19 0 1 0 132533768 4321280 840 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 1055 840 138 317 0 734 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4220

[startup+0.701257 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 29008
/proc/meminfo: memFree=1866232/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=5160 CPUtime=0.69
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 1105 0 0 0 69 0 0 0 23 0 1 0 132533768 5283840 1087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 1290 1087 139 317 0 969 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5160

[startup+1.50109 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29009
/proc/meminfo: memFree=1860144/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=9240 CPUtime=1.49
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 2108 0 0 0 149 0 0 0 25 0 1 0 132533768 9461760 2090 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 2310 2090 139 317 0 1989 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9240

[startup+3.10176 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29009
/proc/meminfo: memFree=1855600/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=17500 CPUtime=3.09
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 4132 0 0 0 308 1 0 0 25 0 1 0 132533768 17920000 4114 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272627 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 4375 4114 139 317 0 4054 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17500

[startup+6.3011 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29009
/proc/meminfo: memFree=1841072/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=30520 CPUtime=6.29
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 7343 0 0 0 626 3 0 0 25 0 1 0 132533768 31252480 7325 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 7630 7325 139 317 0 7309 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30520

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29009
/proc/meminfo: memFree=1828792/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=39964 CPUtime=12.69
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 9649 0 0 0 1265 4 0 0 25 0 1 0 132533768 40923136 9631 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 9991 9631 139 317 0 9670 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39964

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29009
/proc/meminfo: memFree=1808888/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=60944 CPUtime=25.49
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 14493 0 0 0 2543 6 0 0 25 0 1 0 132533768 62406656 14475 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 15236 14475 139 317 0 14915 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 60944

[startup+51.1018 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 29009
/proc/meminfo: memFree=1777336/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=92580 CPUtime=51.09
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 22306 0 0 0 5100 9 0 0 25 0 1 0 132533768 94801920 22288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 23145 22288 139 317 0 22824 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 92580

[startup+102.305 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 29009
/proc/meminfo: memFree=1741880/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=135924 CPUtime=102.29
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 31103 0 0 0 10216 13 0 0 25 0 1 0 132533768 139186176 31085 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 33981 31085 139 317 0 33660 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 135924

[startup+162.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 29009
/proc/meminfo: memFree=1707320/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=169648 CPUtime=162.3
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 39727 0 0 0 16211 19 0 0 25 0 1 0 132533768 173719552 39709 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 42412 39709 139 317 0 42091 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 169648

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29009
/proc/meminfo: memFree=1686264/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=191208 CPUtime=222.3
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 44962 0 0 0 22209 21 0 0 25 0 1 0 132533768 195796992 44944 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 47802 44944 139 317 0 47481 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 191208

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29009
/proc/meminfo: memFree=1668472/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=211412 CPUtime=282.3
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 49422 0 0 0 28207 23 0 0 25 0 1 0 132533768 216485888 49404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284229 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 52853 49404 139 317 0 52532 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 211412

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29009
/proc/meminfo: memFree=1644408/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=238780 CPUtime=342.3
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 55387 0 0 0 34205 25 0 0 25 0 1 0 132533768 244510720 55369 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 59695 55369 139 317 0 59374 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 238780

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29009
/proc/meminfo: memFree=1626168/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=260020 CPUtime=402.3
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 60014 0 0 0 40203 27 0 0 25 0 1 0 132533768 266260480 59996 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 65005 59996 139 317 0 64684 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 260020

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29009
/proc/meminfo: memFree=1610360/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=277052 CPUtime=462.3
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 63907 0 0 0 46200 30 0 0 25 0 1 0 132533768 283701248 63889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 69263 63889 139 317 0 68942 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 277052

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29009
/proc/meminfo: memFree=1597048/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=290000 CPUtime=522.3
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 67255 0 0 0 52198 32 0 0 25 0 1 0 132533768 296960000 67237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 72500 67237 139 317 0 72179 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 290000

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29009
/proc/meminfo: memFree=1585208/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=301348 CPUtime=582.31
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 70205 0 0 0 58197 34 0 0 25 0 1 0 132533768 308580352 70187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 75337 70187 139 317 0 75016 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 301348

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29009
/proc/meminfo: memFree=1574904/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=310916 CPUtime=642.31
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 72801 0 0 0 64196 35 0 0 25 0 1 0 132533768 318377984 72726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 77729 72726 139 317 0 77408 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 310916


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

/proc/meminfo: memFree=1493304/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=399500 CPUtime=1062.33
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 93191 0 0 0 106184 49 0 0 25 0 1 0 132533768 409088000 93116 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 99875 93116 139 317 0 99554 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 399500

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 29131
/proc/meminfo: memFree=1484920/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=407072 CPUtime=1122.26
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 94935 0 0 0 112175 51 0 0 25 0 1 0 132533768 416841728 94860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 101768 94860 139 317 0 101447 0
Current children cumulated CPU time (s) 1122.26
Current children cumulated vsize (KiB) 407072

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29207
/proc/meminfo: memFree=1475960/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=416632 CPUtime=1182.22
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 97471 0 0 0 118169 53 0 0 25 0 1 0 132533768 426631168 97396 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 104158 97396 139 317 0 103837 0
Current children cumulated CPU time (s) 1182.22
Current children cumulated vsize (KiB) 416632

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29207
/proc/meminfo: memFree=1467576/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=425172 CPUtime=1242.22
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 99525 0 0 0 124168 54 0 0 25 0 1 0 132533768 435376128 99450 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 106293 99450 139 317 0 105972 0
Current children cumulated CPU time (s) 1242.22
Current children cumulated vsize (KiB) 425172

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29207
/proc/meminfo: memFree=1459576/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=432828 CPUtime=1302.23
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 101502 0 0 0 130167 56 0 0 25 0 1 0 132533768 443215872 101427 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 108207 101427 139 317 0 107886 0
Current children cumulated CPU time (s) 1302.23
Current children cumulated vsize (KiB) 432828

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29207
/proc/meminfo: memFree=1445176/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=453988 CPUtime=1362.23
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 105123 0 0 0 136165 58 0 0 25 0 1 0 132533768 464883712 105048 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713798 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 113497 105048 139 317 0 113176 0
Current children cumulated CPU time (s) 1362.23
Current children cumulated vsize (KiB) 453988

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29207
/proc/meminfo: memFree=1439032/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=459936 CPUtime=1422.23
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 106611 0 0 0 142164 59 0 0 25 0 1 0 132533768 470974464 106536 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 114984 106536 139 317 0 114663 0
Current children cumulated CPU time (s) 1422.23
Current children cumulated vsize (KiB) 459936

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29207
/proc/meminfo: memFree=1430072/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=469092 CPUtime=1482.23
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 108863 0 0 0 148163 60 0 0 25 0 1 0 132533768 480350208 108788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 117273 108788 139 317 0 116952 0
Current children cumulated CPU time (s) 1482.23
Current children cumulated vsize (KiB) 469092

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 29207
/proc/meminfo: memFree=1421816/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=476492 CPUtime=1542.24
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 110947 0 0 0 154162 62 0 0 25 0 1 0 132533768 487927808 110872 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 119123 110872 139 317 0 118802 0
Current children cumulated CPU time (s) 1542.24
Current children cumulated vsize (KiB) 476492

[startup+1602.3 s]
/proc/loadavg: 1.11 1.03 1.01 2/78 29207
/proc/meminfo: memFree=1418360/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=480200 CPUtime=1602.23
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 111792 0 0 0 160160 63 0 0 25 0 1 0 132533768 491724800 111717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 120050 111717 139 317 0 119729 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 480200

[startup+1662.3 s]
/proc/loadavg: 1.04 1.02 1.00 2/78 29207
/proc/meminfo: memFree=1402552/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=502140 CPUtime=1662.23
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 115770 0 0 0 166158 65 0 0 25 0 1 0 132533768 514191360 115695 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563614 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 125535 115695 139 317 0 125214 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 502140

[startup+1722.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 29207
/proc/meminfo: memFree=1395256/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=509976 CPUtime=1722.23
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 117598 0 0 0 172157 66 0 0 25 0 1 0 132533768 522215424 117523 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 127494 117523 139 317 0 127173 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 509976

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 29207
/proc/meminfo: memFree=1389112/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=515840 CPUtime=1782.24
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 119153 0 0 0 178156 68 0 0 25 0 1 0 132533768 528220160 119078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 128960 119078 139 317 0 128639 0
Current children cumulated CPU time (s) 1782.24
Current children cumulated vsize (KiB) 515840



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 29207
/proc/meminfo: memFree=1386296/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=518072 CPUtime=1800.04
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 119821 0 0 0 179936 68 0 0 25 0 1 0 132533768 530505728 119746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 129518 119746 139 317 0 129197 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 518072

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

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.01 1.00 2/79 29208
/proc/meminfo: memFree=1386224/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=518204 CPUtime=1801.34
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 119846 0 0 0 180065 69 0 0 25 0 1 0 132533768 530640896 119771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 129551 119771 139 317 0 129230 0
Current children cumulated CPU time (s) 1801.34
Current children cumulated vsize (KiB) 518204

[startup+1801.81 s]
/proc/loadavg: 1.00 1.01 1.00 2/79 29208
/proc/meminfo: memFree=1386160/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=518204 CPUtime=1801.74
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 119858 0 0 0 180105 69 0 0 25 0 1 0 132533768 530640896 119783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 129551 119783 139 317 0 129230 0
Current children cumulated CPU time (s) 1801.74
Current children cumulated vsize (KiB) 518204

[startup+1802 s]
/proc/loadavg: 1.00 1.01 1.00 2/79 29208
/proc/meminfo: memFree=1386160/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=518204 CPUtime=1801.94
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 119858 0 0 0 180125 69 0 0 25 0 1 0 132533768 530640896 119783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 129551 119783 139 317 0 129230 0
Current children cumulated CPU time (s) 1801.94
Current children cumulated vsize (KiB) 518204

[startup+1802.1 s]
/proc/loadavg: 1.00 1.01 1.00 2/79 29208
/proc/meminfo: memFree=1386160/2055920 swapFree=4134660/4192956
[pid=29008] ppid=29006 vsize=518204 CPUtime=1802.04
/proc/29008/stat : 29008 (oree) R 29006 29008 28009 0 -1 4194304 119858 0 0 0 180135 69 0 0 25 0 1 0 132533768 530640896 119783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29008/statm: 129551 119783 139 317 0 129230 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 518204

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.19
CPU time (s): 1802.13
CPU user time (s): 1801.36
CPU system time (s): 0.769882
CPU usage (%): 99.9969
Max. virtual memory (cumulated for all children) (KiB): 518204

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

runsolver used 2.00569 second user time and 4.57031 second system time

The end

Launcher Data (download as text)

Begin job on node16 on Tue Apr 17 21:42:41 UTC 2007

IDJOB= 362454
IDBENCH= 1561
IDSOLVER= 172
FILE ID= node16/362454-1176846161

PBS_JOBID= 4590166

Free space on /tmp= 66399 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran8x32.opb
COMMAND LINE= oree /tmp/evaluation/362454-1176846161/instance-362454-1176846161.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node16/watcher-362454-1176846161 -o ROOT/results/node16/solver-362454-1176846161 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/362454-1176846161/instance-362454-1176846161.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  857268f55ca3006474c2fa40f262a214

RANDOM SEED= 82277242

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node16.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.232
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.232
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:       1866640 kB
Buffers:         36392 kB
Cached:          83296 kB
SwapCached:      26784 kB
Active:          97344 kB
Inactive:        60180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1866640 kB
SwapTotal:     4192956 kB
SwapFree:      4134660 kB
Dirty:            1600 kB
Writeback:           0 kB
Mapped:          30772 kB
Slab:            17340 kB
Committed_AS:  6415940 kB
PageTables:       1836 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= 66399 MiB

End job on node16 on Tue Apr 17 22:12:44 UTC 2007