Trace number 362580

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.37 1800.99

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos11.opb
MD5SUMd62742ce7b3ddc885e86cc367d20ba86
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.670897
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables8600
Total number of constraints2806
Number of constraints which are clauses600
Number of constraints which are cardinality constraints (but not clauses)120
Number of constraints which are nor clauses,nor cardinality constraints2086
Minimum length of a constraint2
Maximum length of a constraint450
Number of terms in the objective function 5400
Biggest coefficient in the objective function 1457
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 528660
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 528660
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.09/0.17	c ...done
0.09/0.17	c #vars=8600 #constraints=3043 hasObjective=yes
0.19/0.21	c res. mode=mod
0.19/0.21	c VSIDS like heuristics
0.19/0.21	c complete search running
0.29/0.32	c restart after 401 decisions
0.29/0.36	c nbDecision=500 #constraints=3161
0.39/0.45	c restart after 801 decisions
0.49/0.52	c nbDecision=1000 #constraints=3330
0.59/0.61	c nbDecision=1500 #constraints=3354
0.59/0.63	c restart after 1601 decisions
0.79/0.81	c nbDecision=2000 #constraints=3409
0.89/0.94	c nbDecision=2500 #constraints=3475
1.00/1.06	c nbDecision=3000 #constraints=3501
1.10/1.10	c restart after 3201 decisions
1.10/1.19	c nbDecision=3500 #constraints=3516
1.29/1.34	c nbDecision=4000 #constraints=3543
1.49/1.50	c nbDecision=4500 #constraints=3579
1.59/1.63	c nbDecision=5000 #constraints=3640
1.69/1.78	c nbDecision=5500 #constraints=3698
1.89/1.93	c nbDecision=6000 #constraints=3761
1.99/2.08	c restart after 6401 decisions
2.10/2.15	c nbDecision=6500 #constraints=3824
2.39/2.42	c nbDecision=7000 #constraints=3910
2.59/2.67	c nbDecision=7500 #constraints=3988
2.69/2.78	c nbDecision=8000 #constraints=4020
3.09/3.10	c nbDecision=8500 #constraints=4120
3.29/3.39	c nbDecision=9000 #constraints=4193
3.59/3.61	c nbDecision=9500 #constraints=4241
3.79/3.86	c nbDecision=10000 #constraints=4317
3.99/4.08	c nbDecision=10500 #constraints=4377
4.49/4.52	c nbDecision=11000 #constraints=4471
4.99/5.05	c nbDecision=11500 #constraints=4604
5.39/5.44	c nbDecision=12000 #constraints=4696
5.99/6.04	c nbDecision=12500 #constraints=4775
6.19/6.25	c restart after 12801 decisions
6.29/6.36	c nbDecision=13000 #constraints=4821
6.60/6.69	c nbDecision=13500 #constraints=4872
7.09/7.19	c nbDecision=14000 #constraints=4970
7.60/7.69	c nbDecision=14500 #constraints=5062
8.39/8.44	c nbDecision=15000 #constraints=5190
9.19/9.20	c nbDecision=15500 #constraints=5309
9.80/9.84	c nbDecision=16000 #constraints=5445
11.09/11.15	c nbDecision=16500 #constraints=5550
11.89/11.95	c nbDecision=17000 #constraints=5692
12.59/12.60	c nbDecision=17500 #constraints=5793
13.39/13.48	c nbDecision=18000 #constraints=5925
14.49/14.51	c nbDecision=18500 #constraints=6144
16.08/16.15	c nbDecision=19000 #constraints=6342
17.18/17.28	c nbDecision=19500 #constraints=6419
19.89/19.99	c nbDecision=20000 #constraints=6568
20.39/20.50	c nbDecision=20500 #constraints=6633
22.99/23.08	c nbDecision=21000 #constraints=6781
28.49/28.52	c nbDecision=21500 #constraints=6975
29.78/29.81	c nbDecision=22000 #constraints=7148
31.38/31.46	c nbDecision=22500 #constraints=7308
40.78/40.81	c nbDecision=23000 #constraints=7569
41.28/41.37	c nbDecision=23500 #constraints=7605
41.58/41.67	c nbDecision=24000 #constraints=7634
41.98/42.08	c nbDecision=24500 #constraints=7670
42.38/42.47	c nbDecision=25000 #constraints=7692
43.28/43.38	c nbDecision=25500 #constraints=7762
43.38/43.43	c restart after 25601 decisions
46.58/46.68	c nbDecision=26000 #constraints=7961
50.58/50.67	c nbDecision=26500 #constraints=8243
54.57/54.64	c nbDecision=27000 #constraints=8460
56.27/56.34	c nbDecision=27500 #constraints=8601
62.08/62.19	c nbDecision=28000 #constraints=8834
64.18/64.23	c nbDecision=28500 #constraints=8948
65.28/65.33	c nbDecision=29000 #constraints=9015
68.37/68.41	c nbDecision=29500 #constraints=9084
72.57/72.66	c nbDecision=30000 #constraints=9269
75.57/75.61	c nbDecision=30500 #constraints=9405
78.97/79.05	c nbDecision=31000 #constraints=9511
81.17/81.23	c nbDecision=31500 #constraints=9571
81.97/82.01	c nbDecision=32000 #constraints=9602
85.67/85.80	c nbDecision=32500 #constraints=9756
101.96/102.02	c nbDecision=33000 #constraints=10058
111.26/111.32	c nbDecision=33500 #constraints=10355
137.46/137.58	c nbDecision=34000 #constraints=10722
149.65/149.77	c nbDecision=34500 #constraints=11006
151.25/151.34	c nbDecision=35000 #constraints=11056
152.24/152.32	c nbDecision=35500 #constraints=11093
152.94/153.01	c nbDecision=36000 #constraints=11121
192.53/192.60	c nbDecision=36500 #constraints=11530
197.54/197.63	c nbDecision=37000 #constraints=11593
198.84/198.92	c nbDecision=37500 #constraints=11617
200.34/200.46	c nbDecision=38000 #constraints=11676
202.04/202.13	c nbDecision=38500 #constraints=11753
204.13/204.21	c nbDecision=39000 #constraints=11814
207.53/207.67	c nbDecision=39500 #constraints=11877
209.03/209.15	c nbDecision=40000 #constraints=11930
210.83/210.94	c nbDecision=40500 #constraints=11965
211.93/212.00	c nbDecision=41000 #constraints=12019
214.03/214.19	c nbDecision=41500 #constraints=12061
215.93/216.01	c nbDecision=42000 #constraints=12108
218.43/218.50	c nbDecision=42500 #constraints=12209
221.43/221.52	c nbDecision=43000 #constraints=12334
223.53/223.66	c nbDecision=43500 #constraints=12412
224.83/224.91	c nbDecision=44000 #constraints=12509
227.63/227.71	c nbDecision=44500 #constraints=12639
227.82/227.91	c nbDecision=45000 #constraints=12672
228.92/229.01	c nbDecision=45500 #constraints=12740
229.73/229.84	c nbDecision=46000 #constraints=12801
231.93/232.06	c nbDecision=46500 #constraints=12898
234.52/234.63	c nbDecision=47000 #constraints=12955
235.32/235.43	c nbDecision=47500 #constraints=13030
236.52/236.64	c nbDecision=48000 #constraints=13107
237.52/237.65	c nbDecision=48500 #constraints=13175
238.22/238.39	c nbDecision=49000 #constraints=13208
240.12/240.22	c nbDecision=49500 #constraints=13278
241.62/241.72	c nbDecision=50000 #constraints=13322
245.92/246.01	c nbDecision=50500 #constraints=13483
251.02/251.13	c nbDecision=51000 #constraints=13625
252.51/252.67	c restart after 51201 decisions
260.21/260.33	c nbDecision=51500 #constraints=13837
270.81/270.95	c nbDecision=52000 #constraints=14056
275.92/276.07	c nbDecision=52500 #constraints=14211
285.51/285.65	c nbDecision=53000 #constraints=14427
311.20/311.37	c nbDecision=53500 #constraints=14756
344.59/344.73	c nbDecision=54000 #constraints=15130
408.17/408.36	c nbDecision=54500 #constraints=15527
479.56/479.72	c nbDecision=55000 #constraints=15941
563.45/563.78	c nbDecision=55500 #constraints=16359
614.63/614.95	c nbDecision=56000 #constraints=16789
689.10/689.42	c nbDecision=56500 #constraints=17231
734.50/734.89	c nbDecision=57000 #constraints=17525
745.88/746.25	c nbDecision=57500 #constraints=17638
758.98/759.34	c nbDecision=58000 #constraints=17772
760.68/761.09	c nbDecision=58500 #constraints=17828
761.88/762.29	c nbDecision=59000 #constraints=17859
763.18/763.58	c nbDecision=59500 #constraints=17908
768.78/769.19	c nbDecision=60000 #constraints=17996
776.57/776.95	c nbDecision=60500 #constraints=18089
777.77/778.17	c nbDecision=61000 #constraints=18140
785.57/785.98	c nbDecision=61500 #constraints=18208
803.37/803.70	c nbDecision=62000 #constraints=18273
817.06/817.46	c nbDecision=62500 #constraints=18312
832.46/832.85	c nbDecision=63000 #constraints=18449
853.45/853.80	c nbDecision=63500 #constraints=18652
857.85/858.25	c nbDecision=64000 #constraints=18755
868.75/869.10	c nbDecision=64500 #constraints=18827
879.95/880.37	c nbDecision=65000 #constraints=18931
897.34/897.79	c nbDecision=65500 #constraints=19034
954.03/954.42	c nbDecision=66000 #constraints=19299
996.71/997.14	c nbDecision=66500 #constraints=19546
1020.20/1020.61	c nbDecision=67000 #constraints=19754
1069.20/1069.66	c nbDecision=67500 #constraints=19987
1106.58/1107.04	c nbDecision=68000 #constraints=20098
1138.87/1139.31	c nbDecision=68500 #constraints=20226
1155.37/1155.82	c nbDecision=69000 #constraints=20358
1158.06/1158.53	c nbDecision=69500 #constraints=20411
1168.66/1169.20	c nbDecision=70000 #constraints=20457
1174.26/1174.74	c nbDecision=70500 #constraints=20518
1179.77/1180.22	c nbDecision=71000 #constraints=20596
1182.76/1183.29	c nbDecision=71500 #constraints=20682
1184.86/1185.30	c nbDecision=72000 #constraints=20733
1187.06/1187.53	c nbDecision=72500 #constraints=20803
1188.56/1189.05	c nbDecision=73000 #constraints=20850
1190.46/1190.93	c nbDecision=73500 #constraints=20912
1192.56/1193.04	c nbDecision=74000 #constraints=20959
1197.06/1197.50	c nbDecision=74500 #constraints=21093
1200.16/1200.69	c nbDecision=75000 #constraints=21170
1202.76/1203.25	c nbDecision=75500 #constraints=21209
1206.95/1207.47	c nbDecision=76000 #constraints=21246
1209.35/1209.90	c nbDecision=76500 #constraints=21306
1219.25/1219.72	c nbDecision=77000 #constraints=21512
1231.14/1231.67	c nbDecision=77500 #constraints=21654
1241.24/1241.73	c nbDecision=78000 #constraints=21725
1245.64/1246.12	c nbDecision=78500 #constraints=21784
1261.73/1262.27	c nbDecision=79000 #constraints=21865
1272.13/1272.67	c nbDecision=79500 #constraints=22031
1282.93/1283.46	c nbDecision=80000 #constraints=22214
1285.73/1286.27	c nbDecision=80500 #constraints=22300
1295.43/1295.97	c nbDecision=81000 #constraints=22564
1305.32/1305.87	c nbDecision=81500 #constraints=22751
1338.61/1339.19	c nbDecision=82000 #constraints=23073
1347.10/1347.62	c nbDecision=82500 #constraints=23220
1351.10/1351.60	c nbDecision=83000 #constraints=23286
1354.50/1355.07	c nbDecision=83500 #constraints=23353
1376.00/1376.52	c nbDecision=84000 #constraints=23498
1396.90/1397.41	c nbDecision=84500 #constraints=23655
1402.19/1402.78	c nbDecision=85000 #constraints=23807
1410.09/1410.70	c nbDecision=85500 #constraints=23922
1424.69/1425.26	c nbDecision=86000 #constraints=24061
1457.58/1458.17	c nbDecision=86500 #constraints=24271
1485.48/1486.01	c nbDecision=87000 #constraints=24526
1492.37/1492.92	c nbDecision=87500 #constraints=24608
1502.97/1503.51	c nbDecision=88000 #constraints=24661
1517.66/1518.21	c nbDecision=88500 #constraints=24775
1541.25/1541.82	c nbDecision=89000 #constraints=24869
1551.85/1552.46	c nbDecision=89500 #constraints=24902
1553.25/1553.80	c nbDecision=90000 #constraints=24927
1556.85/1557.41	c nbDecision=90500 #constraints=24952
1564.14/1564.71	c nbDecision=91000 #constraints=24982
1567.34/1567.95	c nbDecision=91500 #constraints=25005
1568.74/1569.38	c nbDecision=92000 #constraints=25044
1570.54/1571.13	c nbDecision=92500 #constraints=25076
1578.25/1578.90	c nbDecision=93000 #constraints=25156
1587.24/1587.85	c nbDecision=93500 #constraints=25345
1599.43/1600.07	c nbDecision=94000 #constraints=25540
1615.23/1615.87	c nbDecision=94500 #constraints=25761
1634.82/1635.47	c nbDecision=95000 #constraints=25957
1660.01/1660.69	c nbDecision=95500 #constraints=26055
1671.92/1672.55	c nbDecision=96000 #constraints=26230
1706.00/1706.62	c nbDecision=96500 #constraints=26475
1728.60/1729.22	c nbDecision=97000 #constraints=26702
1738.59/1739.22	c nbDecision=97500 #constraints=26927
1760.99/1761.64	c nbDecision=98000 #constraints=27001
1771.99/1772.65	c nbDecision=98500 #constraints=27063
1774.59/1775.30	c nbDecision=99000 #constraints=27113
1776.69/1777.39	c nbDecision=99500 #constraints=27158
1778.49/1779.12	c nbDecision=100000 #constraints=27209
1800.09/1800.70	Received signal 15
1800.28/1800.95	
1800.28/1800.95	s UNKNOWN
1800.28/1800.95	
1800.28/1800.95	c user time= 1800.06 s
1800.28/1800.95	c system time= 0.282956 s
1800.28/1800.95	c wall clock time=1800.95

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/node71/watcher-362580-1176846742 -o ROOT/results/node71/solver-362580-1176846742 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362580-1176846742/instance-362580-1176846742.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.91 0.97 0.99 3/64 17872
/proc/meminfo: memFree=1798656/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=1620 CPUtime=0
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 160663480 1658880 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 405 166 126 317 0 84 0

[startup+0.0262739 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 17872
/proc/meminfo: memFree=1798656/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=1884 CPUtime=0.02
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 281 0 0 0 2 0 0 0 18 0 1 0 160663480 1929216 263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 471 263 131 317 0 150 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1884

[startup+0.101285 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 17872
/proc/meminfo: memFree=1798656/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=3336 CPUtime=0.09
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 634 0 0 0 9 0 0 0 18 0 1 0 160663480 3416064 616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 834 616 131 317 0 513 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3336

[startup+0.301311 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 17872
/proc/meminfo: memFree=1798656/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=6280 CPUtime=0.29
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 1366 0 0 0 29 0 0 0 19 0 1 0 160663480 6430720 1348 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 1570 1348 139 317 0 1249 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6280

[startup+0.701366 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 17872
/proc/meminfo: memFree=1798656/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=6280 CPUtime=0.69
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 1377 0 0 0 69 0 0 0 22 0 1 0 160663480 6430720 1359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 1570 1359 139 317 0 1249 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6280

[startup+1.50148 s]
/proc/loadavg: 0.91 0.97 0.99 2/65 17873
/proc/meminfo: memFree=1793528/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=6676 CPUtime=1.49
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 1465 0 0 0 149 0 0 0 25 0 1 0 160663480 6836224 1447 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384541 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 1669 1447 139 317 0 1348 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6676

[startup+3.10169 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 17873
/proc/meminfo: memFree=1792824/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=7864 CPUtime=3.09
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 1755 0 0 0 309 0 0 0 25 0 1 0 160663480 8052736 1737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135277005 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 1966 1737 139 317 0 1645 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7864

[startup+6.30113 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 17873
/proc/meminfo: memFree=1790328/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=9952 CPUtime=6.29
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 2292 0 0 0 628 1 0 0 25 0 1 0 160663480 10190848 2274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 2488 2274 139 317 0 2167 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9952

[startup+12.702 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 17873
/proc/meminfo: memFree=1787008/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=13120 CPUtime=12.69
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 3081 0 0 0 1268 1 0 0 25 0 1 0 160663480 13434880 3063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 3280 3063 139 317 0 2959 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13120

[startup+25.5017 s]
/proc/loadavg: 0.94 0.97 0.99 2/65 17873
/proc/meminfo: memFree=1781696/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=18416 CPUtime=25.49
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 4381 0 0 0 2547 2 0 0 25 0 1 0 160663480 18857984 4322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 4604 4322 139 317 0 4283 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18416

[startup+51.1012 s]
/proc/loadavg: 0.96 0.97 0.99 2/65 17873
/proc/meminfo: memFree=1774016/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=26256 CPUtime=51.08
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 6300 0 0 0 5105 3 0 0 25 0 1 0 160663480 26886144 6241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 6564 6241 139 317 0 6243 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 26256

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 17873
/proc/meminfo: memFree=1763136/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=37016 CPUtime=102.27
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 8986 0 0 0 10222 5 0 0 25 0 1 0 160663480 37904384 8927 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 9254 8927 139 317 0 8933 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 37016

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 17873
/proc/meminfo: memFree=1753600/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=46896 CPUtime=162.25
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 11386 0 0 0 16218 7 0 0 25 0 1 0 160663480 48021504 11327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 11724 11327 139 317 0 11403 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 46896

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 17873
/proc/meminfo: memFree=1744768/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=56700 CPUtime=222.23
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 13639 0 0 0 22215 8 0 0 25 0 1 0 160663480 58060800 13501 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 14175 13501 139 317 0 13854 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 56700

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 17873
/proc/meminfo: memFree=1737792/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=63256 CPUtime=282.21
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 15371 0 0 0 28212 9 0 0 25 0 1 0 160663480 64774144 15233 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 15814 15233 139 317 0 15493 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 63256

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 17873
/proc/meminfo: memFree=1729664/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=71488 CPUtime=342.19
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 17374 0 0 0 34209 10 0 0 25 0 1 0 160663480 73203712 17236 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 17872 17236 139 317 0 17551 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 71488

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 17873
/proc/meminfo: memFree=1724096/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=77560 CPUtime=402.17
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 18781 0 0 0 40207 10 0 0 25 0 1 0 160663480 79421440 18643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 19390 18643 139 317 0 19069 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 77560

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 17873
/proc/meminfo: memFree=1716864/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=85176 CPUtime=462.15
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 20564 0 0 0 46204 11 0 0 25 0 1 0 160663480 87220224 20426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 21294 20426 139 317 0 20973 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 85176

[startup+522.301 s]
/proc/loadavg: 1.14 1.00 1.00 2/71 17899
/proc/meminfo: memFree=1711504/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=89452 CPUtime=522.11
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 21610 0 0 0 52198 13 0 0 25 0 1 0 160663480 91598848 21472 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0
/proc/17872/statm: 22363 21472 139 317 0 22042 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 89452

[startup+582.302 s]
/proc/loadavg: 1.05 1.00 1.00 2/65 18071
/proc/meminfo: memFree=1705984/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=96724 CPUtime=582.03
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 23236 0 0 0 58186 17 0 0 25 0 1 0 160663480 99045376 23098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 24181 23098 139 317 0 23860 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 96724

[startup+642.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 18071
/proc/meminfo: memFree=1698752/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=104292 CPUtime=642.02
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 25027 0 0 0 64184 18 0 0 25 0 1 0 160663480 106795008 24889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714680 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 26073 24889 139 317 0 25752 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 104292


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

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18071
/proc/meminfo: memFree=1678528/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=126792 CPUtime=941.93
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 30067 0 0 0 94173 20 0 0 25 0 1 0 160663480 129835008 29929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 31698 29929 139 317 0 31377 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 126792

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18071
/proc/meminfo: memFree=1675264/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=130284 CPUtime=1001.91
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 30875 0 0 0 100171 20 0 0 25 0 1 0 160663480 133410816 30737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712567 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 32571 30737 139 317 0 32250 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 130284

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18071
/proc/meminfo: memFree=1671680/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=134012 CPUtime=1061.9
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 31784 0 0 0 106169 21 0 0 25 0 1 0 160663480 137228288 31646 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 33503 31646 139 317 0 33182 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 134012

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18071
/proc/meminfo: memFree=1668288/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=137388 CPUtime=1121.88
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 32623 0 0 0 112167 21 0 0 25 0 1 0 160663480 140685312 32485 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 34347 32485 139 317 0 34026 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 137388

[startup+1182.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 18071
/proc/meminfo: memFree=1666432/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=139388 CPUtime=1181.86
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 33123 0 0 0 118164 22 0 0 25 0 1 0 160663480 142733312 32985 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 34847 32985 139 317 0 34526 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 139388

[startup+1242.3 s]
/proc/loadavg: 1.14 1.04 1.01 2/65 18071
/proc/meminfo: memFree=1662592/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=142936 CPUtime=1241.84
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 34041 0 0 0 124162 22 0 0 25 0 1 0 160663480 146366464 33903 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 35734 33903 139 317 0 35413 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 142936

[startup+1302.3 s]
/proc/loadavg: 1.10 1.05 1.01 2/65 18071
/proc/meminfo: memFree=1657664/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=148116 CPUtime=1301.83
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 35257 0 0 0 130160 23 0 0 25 0 1 0 160663480 151670784 35119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 37029 35119 139 317 0 36708 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 148116

[startup+1362.3 s]
/proc/loadavg: 1.09 1.05 1.01 2/65 18071
/proc/meminfo: memFree=1652928/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=153368 CPUtime=1361.81
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 36624 0 0 0 136157 24 0 0 25 0 1 0 160663480 157048832 36329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 38342 36329 139 317 0 38021 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 153368

[startup+1422.31 s]
/proc/loadavg: 1.03 1.04 1.00 2/65 18071
/proc/meminfo: memFree=1649984/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=156004 CPUtime=1421.79
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 37340 0 0 0 142155 24 0 0 25 0 1 0 160663480 159748096 37045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 39001 37045 139 317 0 38680 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 156004

[startup+1482.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 18071
/proc/meminfo: memFree=1646912/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=159692 CPUtime=1481.77
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 38113 0 0 0 148152 25 0 0 25 0 1 0 160663480 163524608 37818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 39923 37818 139 317 0 39602 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 159692

[startup+1542.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 18071
/proc/meminfo: memFree=1645184/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=161260 CPUtime=1541.75
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 38544 0 0 0 154150 25 0 0 25 0 1 0 160663480 165130240 38249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 40315 38249 139 317 0 39994 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 161260

[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 18071
/proc/meminfo: memFree=1643008/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=163376 CPUtime=1601.73
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 39110 0 0 0 160147 26 0 0 25 0 1 0 160663480 167297024 38815 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 40844 38815 139 317 0 40523 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 163376

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 18071
/proc/meminfo: memFree=1640832/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=165480 CPUtime=1661.71
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 39647 0 0 0 166145 26 0 0 25 0 1 0 160663480 169451520 39352 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 41370 39352 139 317 0 41049 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 165480

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18071
/proc/meminfo: memFree=1636992/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=169728 CPUtime=1721.7
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 40625 0 0 0 172143 27 0 0 25 0 1 0 160663480 173801472 40330 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563967 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 42432 40330 139 317 0 42111 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 169728

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18071
/proc/meminfo: memFree=1633984/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=172508 CPUtime=1781.69
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 41338 0 0 0 178141 28 0 0 25 0 1 0 160663480 176648192 41043 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 43127 41043 139 317 0 42806 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 172508



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18071
/proc/meminfo: memFree=1633472/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=172900 CPUtime=1800.09
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 41461 0 0 0 179981 28 0 0 25 0 1 0 160663480 177049600 41166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 43225 41166 139 317 0 42904 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 172900

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18071
/proc/meminfo: memFree=1633472/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=172900 CPUtime=1800.18
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 41470 0 0 0 179990 28 0 0 25 0 1 0 160663480 177049600 41175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 43225 41175 139 317 0 42904 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 172900

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18071
/proc/meminfo: memFree=1633472/2055920 swapFree=4184232/4192956
[pid=17872] ppid=17870 vsize=172900 CPUtime=1800.28
/proc/17872/stat : 17872 (oree) R 17870 17872 17243 0 -1 4194304 41470 0 0 0 180000 28 0 0 25 0 1 0 160663480 177049600 41175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17872/statm: 43225 41175 139 317 0 42904 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 172900

Child status: 0
Real time (s): 1800.99
CPU time (s): 1800.37
CPU user time (s): 1800.06
CPU system time (s): 0.311952
CPU usage (%): 99.9658
Max. virtual memory (cumulated for all children) (KiB): 172900

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

runsolver used 1.20282 second user time and 3.78542 second system time

The end

Launcher Data (download as text)

Begin job on node71 on Tue Apr 17 21:52:22 UTC 2007

IDJOB= 362580
IDBENCH= 1576
IDSOLVER= 172
FILE ID= node71/362580-1176846742

PBS_JOBID= 4590177

Free space on /tmp= 66501 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/milp/normalized-reduced-mps-v2-20-10-neos11.opb
COMMAND LINE= oree /tmp/evaluation/362580-1176846742/instance-362580-1176846742.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node71/watcher-362580-1176846742 -o ROOT/results/node71/solver-362580-1176846742 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/362580-1176846742/instance-362580-1176846742.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  d62742ce7b3ddc885e86cc367d20ba86

RANDOM SEED= 452191291

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node71.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.234
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.234
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:       1799064 kB
Buffers:         19640 kB
Cached:         173632 kB
SwapCached:       2772 kB
Active:          55196 kB
Inactive:       147756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1799064 kB
SwapTotal:     4192956 kB
SwapFree:      4184232 kB
Dirty:            1964 kB
Writeback:           0 kB
Mapped:          15756 kB
Slab:            39944 kB
Committed_AS:  2502316 kB
PageTables:       1448 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= 66501 MiB

End job on node71 on Tue Apr 17 22:22:25 UTC 2007