Trace number 357372

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.26 1800.78

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-rgn.opb
MD5SUM077c926419792cafad737b20a04bb1ea
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1862512
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 525312
Optimality of the best value was proved NO
Number of variables1260
Total number of constraints104
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)4
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint12
Maximum length of a constraint127
Number of terms in the objective function 1160
Biggest coefficient in the objective function 196608
Number of bits for the biggest coefficient in the objective function 18
Sum of the numbers in the objective function 15892320
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 25600000000
Number of bits of the biggest number in a constraint 35
Biggest sum of numbers in a constraint 232836875088
Number of bits of the biggest sum of numbers38
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.00/0.01	c ...done
0.00/0.01	c #vars=1260 #constraints=125 hasObjective=yes
0.00/0.03	c res. mode=mod
0.00/0.03	c VSIDS like heuristics
0.00/0.03	c complete search running
0.00/0.03	c restart after 401 decisions
0.00/0.03	c nbDecision=500 #constraints=125
0.00/0.04	c restart after 801 decisions
0.00/0.04	c nbDecision=1000 #constraints=125
0.00/0.04	c nbDecision=1500 #constraints=125
0.09/0.17	c restart after 1601 decisions
0.09/0.18	c nbDecision=2000 #constraints=174
0.19/0.28	c nbDecision=2500 #constraints=274
0.29/0.33	c nbDecision=3000 #constraints=300
0.29/0.34	c restart after 3201 decisions
0.29/0.35	c nbDecision=3500 #constraints=308
0.29/0.36	c nbDecision=4000 #constraints=311
0.29/0.37	c nbDecision=4500 #constraints=316
0.49/0.50	c nbDecision=5000 #constraints=425
0.49/0.54	c nbDecision=5500 #constraints=445
0.49/0.55	c nbDecision=6000 #constraints=451
0.59/0.68	c restart after 6401 decisions
0.59/0.69	c nbDecision=6500 #constraints=548
0.69/0.70	c nbDecision=7000 #constraints=548
0.79/0.83	c nbDecision=7500 #constraints=680
0.79/0.87	c nbDecision=8000 #constraints=704
0.79/0.89	c nbDecision=8500 #constraints=714
0.89/0.97	c nbDecision=9000 #constraints=774
0.99/1.00	c nbDecision=9500 #constraints=787
1.09/1.11	c nbDecision=10000 #constraints=878
1.09/1.16	c nbDecision=10500 #constraints=909
1.09/1.19	c nbDecision=11000 #constraints=917
1.19/1.21	c nbDecision=11500 #constraints=922
1.29/1.34	c nbDecision=12000 #constraints=1017
1.29/1.38	c nbDecision=12500 #constraints=1033
1.29/1.40	c restart after 12801 decisions
1.39/1.41	c nbDecision=13000 #constraints=1037
1.39/1.43	c nbDecision=13500 #constraints=1037
2.79/2.85	c nbDecision=14000 #constraints=1492
4.69/4.74	c nbDecision=14500 #constraints=1995
7.59/7.66	c nbDecision=15000 #constraints=2493
11.39/11.45	c nbDecision=15500 #constraints=2993
15.98/16.01	c nbDecision=16000 #constraints=3494
20.89/20.98	c nbDecision=16500 #constraints=3993
26.98/27.05	c nbDecision=17000 #constraints=4493
34.09/34.16	c nbDecision=17500 #constraints=4997
42.08/42.11	c nbDecision=18000 #constraints=5494
50.68/50.71	c nbDecision=18500 #constraints=5997
60.17/60.22	c nbDecision=19000 #constraints=6493
70.87/70.92	c nbDecision=19500 #constraints=6995
82.47/82.56	c nbDecision=20000 #constraints=7494
94.66/94.70	c nbDecision=20500 #constraints=7995
107.66/107.79	c nbDecision=21000 #constraints=8493
121.96/122.06	c nbDecision=21500 #constraints=8995
137.15/137.26	c nbDecision=22000 #constraints=9494
152.75/152.85	c nbDecision=22500 #constraints=9997
169.14/169.20	c nbDecision=23000 #constraints=10497
186.53/186.60	c nbDecision=23500 #constraints=10997
204.93/205.07	c nbDecision=24000 #constraints=11494
223.82/223.98	c nbDecision=24500 #constraints=11995
243.32/243.46	c nbDecision=25000 #constraints=12493
264.11/264.20	c nbDecision=25500 #constraints=12997
268.31/268.48	c restart after 25601 decisions
269.51/269.64	c nbDecision=26000 #constraints=13097
270.52/270.62	c nbDecision=26500 #constraints=13245
272.41/272.59	c nbDecision=27000 #constraints=13747
274.92/275.01	c nbDecision=27500 #constraints=14248
278.21/278.37	c nbDecision=28000 #constraints=14746
282.41/282.55	c nbDecision=28500 #constraints=15245
287.31/287.42	c nbDecision=29000 #constraints=15745
292.91/293.04	c nbDecision=29500 #constraints=16248
299.80/299.90	c nbDecision=30000 #constraints=16748
308.00/308.17	c nbDecision=30500 #constraints=17247
316.80/316.92	c nbDecision=31000 #constraints=17749
326.00/326.13	c nbDecision=31500 #constraints=18248
336.40/336.57	c nbDecision=32000 #constraints=18748
348.09/348.22	c nbDecision=32500 #constraints=19247
360.08/360.29	c nbDecision=33000 #constraints=19747
372.98/373.14	c nbDecision=33500 #constraints=20248
386.87/387.04	c nbDecision=34000 #constraints=20748
402.07/402.26	c nbDecision=34500 #constraints=21245
418.07/418.23	c nbDecision=35000 #constraints=21753
434.27/434.44	c nbDecision=35500 #constraints=22252
451.66/451.89	c nbDecision=36000 #constraints=22752
470.16/470.33	c nbDecision=36500 #constraints=23252
489.65/489.82	c nbDecision=37000 #constraints=23749
509.34/509.57	c nbDecision=37500 #constraints=24248
530.13/530.39	c nbDecision=38000 #constraints=24750
552.04/552.23	c nbDecision=38500 #constraints=25250
574.92/575.13	c nbDecision=39000 #constraints=25749
598.02/598.22	c nbDecision=39500 #constraints=26248
622.22/622.44	c nbDecision=40000 #constraints=26748
647.51/647.79	c nbDecision=40500 #constraints=27252
673.80/674.05	c nbDecision=41000 #constraints=27749
700.19/700.49	c nbDecision=41500 #constraints=28248
727.68/727.94	c nbDecision=42000 #constraints=28750
756.27/756.58	c nbDecision=42500 #constraints=29250
786.16/786.44	c nbDecision=43000 #constraints=29751
816.06/816.31	c nbDecision=43500 #constraints=30250
846.75/847.01	c nbDecision=44000 #constraints=30750
878.65/878.95	c nbDecision=44500 #constraints=31252
911.73/912.09	c nbDecision=45000 #constraints=31745
945.12/945.42	c nbDecision=45500 #constraints=32248
979.11/979.47	c nbDecision=46000 #constraints=32750
1014.70/1015.01	c nbDecision=46500 #constraints=33250
1051.39/1051.75	c nbDecision=47000 #constraints=33749
1087.97/1088.35	c nbDecision=47500 #constraints=34248
1125.17/1125.57	c nbDecision=48000 #constraints=34748
1163.46/1163.86	c nbDecision=48500 #constraints=35252
1203.34/1203.70	c nbDecision=49000 #constraints=35749
1243.13/1243.59	c nbDecision=49500 #constraints=36249
1283.52/1283.90	c nbDecision=50000 #constraints=36748
1325.11/1325.54	c nbDecision=50500 #constraints=37248
1368.70/1369.17	c nbDecision=51000 #constraints=37751
1385.99/1386.40	c restart after 51201 decisions
1389.39/1389.80	c nbDecision=51500 #constraints=37951
1391.79/1392.20	c nbDecision=52000 #constraints=37973
1395.18/1395.64	c nbDecision=52500 #constraints=37995
1398.79/1399.24	c nbDecision=53000 #constraints=38004
1402.48/1402.99	c nbDecision=53500 #constraints=38090
1407.38/1407.80	c nbDecision=54000 #constraints=38119
1410.99/1411.43	c nbDecision=54500 #constraints=38199
1414.48/1414.91	c nbDecision=55000 #constraints=38226
1418.68/1419.19	c nbDecision=55500 #constraints=38239
1422.38/1422.80	c nbDecision=56000 #constraints=38327
1426.68/1427.18	c nbDecision=56500 #constraints=38376
1430.18/1430.60	c nbDecision=57000 #constraints=38382
1433.78/1434.28	c nbDecision=57500 #constraints=38451
1438.97/1439.44	c nbDecision=58000 #constraints=38495
1442.37/1442.86	c nbDecision=58500 #constraints=38502
1446.07/1446.54	c nbDecision=59000 #constraints=38576
1450.47/1450.91	c nbDecision=59500 #constraints=38597
1454.67/1455.15	c nbDecision=60000 #constraints=38603
1458.36/1458.82	c nbDecision=60500 #constraints=38677
1462.06/1462.58	c nbDecision=61000 #constraints=38697
1467.16/1467.62	c nbDecision=61500 #constraints=38754
1470.66/1471.19	c nbDecision=62000 #constraints=38793
1474.16/1474.62	c nbDecision=62500 #constraints=38802
1478.56/1479.06	c nbDecision=63000 #constraints=38844
1483.06/1483.55	c nbDecision=63500 #constraints=38915
1486.56/1487.00	c nbDecision=64000 #constraints=38929
1490.15/1490.69	c nbDecision=64500 #constraints=38989
1494.65/1495.13	c nbDecision=65000 #constraints=39020
1498.86/1499.35	c nbDecision=65500 #constraints=39028
1502.45/1503.00	c nbDecision=66000 #constraints=39081
1506.95/1507.41	c nbDecision=66500 #constraints=39117
1511.25/1511.76	c nbDecision=67000 #constraints=39130
1514.86/1515.34	c nbDecision=67500 #constraints=39159
1519.25/1519.76	c nbDecision=68000 #constraints=39185
1523.45/1523.99	c nbDecision=68500 #constraints=39191
1527.15/1527.61	c nbDecision=69000 #constraints=39223
1532.45/1532.93	c nbDecision=69500 #constraints=39258
1535.85/1536.35	c nbDecision=70000 #constraints=39262
1539.55/1540.05	c nbDecision=70500 #constraints=39313
1544.75/1545.22	c nbDecision=71000 #constraints=39328
1548.35/1548.89	c nbDecision=71500 #constraints=39366
1552.04/1552.51	c nbDecision=72000 #constraints=39402
1557.14/1557.64	c nbDecision=72500 #constraints=39411
1560.74/1561.29	c nbDecision=73000 #constraints=39455
1564.34/1564.88	c nbDecision=73500 #constraints=39487
1569.54/1570.06	c nbDecision=74000 #constraints=39498
1573.33/1573.87	c nbDecision=74500 #constraints=39561
1576.84/1577.36	c nbDecision=75000 #constraints=39579
1581.13/1581.65	c nbDecision=75500 #constraints=39582
1585.73/1586.28	c nbDecision=76000 #constraints=39639
1589.23/1589.73	c nbDecision=76500 #constraints=39646
1593.62/1594.16	c nbDecision=77000 #constraints=39663
1598.12/1598.67	c nbDecision=77500 #constraints=39709
1601.62/1602.11	c nbDecision=78000 #constraints=39717
1606.12/1606.65	c nbDecision=78500 #constraints=39751
1610.62/1611.16	c nbDecision=79000 #constraints=39794
1614.02/1614.59	c nbDecision=79500 #constraints=39797
1618.12/1618.65	c nbDecision=80000 #constraints=39864
1623.13/1623.66	c nbDecision=80500 #constraints=39888
1626.82/1627.32	c nbDecision=81000 #constraints=39917
1630.52/1631.01	c nbDecision=81500 #constraints=39949
1635.62/1636.13	c nbDecision=82000 #constraints=39960
1639.42/1639.99	c nbDecision=82500 #constraints=40027
1643.02/1643.51	c nbDecision=83000 #constraints=40047
1647.51/1648.09	c nbDecision=83500 #constraints=40100
1652.21/1652.75	c nbDecision=84000 #constraints=40146
1655.71/1656.20	c nbDecision=84500 #constraints=40152
1660.11/1660.69	c nbDecision=85000 #constraints=40178
1664.51/1665.08	c nbDecision=85500 #constraints=40188
1668.31/1668.80	c nbDecision=86000 #constraints=40215
1673.41/1673.99	c nbDecision=86500 #constraints=40222
1677.11/1677.62	c nbDecision=87000 #constraints=40244
1680.90/1681.45	c nbDecision=87500 #constraints=40263
1685.81/1686.36	c nbDecision=88000 #constraints=40269
1689.60/1690.11	c nbDecision=88500 #constraints=40299
1694.80/1695.32	c nbDecision=89000 #constraints=40309
1698.50/1699.07	c nbDecision=89500 #constraints=40342
1702.00/1702.53	c nbDecision=90000 #constraints=40350
1707.40/1707.96	c nbDecision=90500 #constraints=40381
1711.00/1711.60	c nbDecision=91000 #constraints=40404
1714.79/1715.37	c nbDecision=91500 #constraints=40410
1719.99/1720.51	c nbDecision=92000 #constraints=40442
1723.39/1723.99	c nbDecision=92500 #constraints=40451
1727.89/1728.45	c nbDecision=93000 #constraints=40474
1732.49/1733.01	c nbDecision=93500 #constraints=40493
1736.09/1736.69	c nbDecision=94000 #constraints=40517
1741.48/1742.02	c nbDecision=94500 #constraints=40542
1745.19/1745.74	c nbDecision=95000 #constraints=40570
1748.89/1749.42	c nbDecision=95500 #constraints=40597
1753.39/1753.96	c nbDecision=96000 #constraints=40619
1757.98/1758.50	c nbDecision=96500 #constraints=40651
1761.69/1762.27	c nbDecision=97000 #constraints=40687
1766.28/1766.83	c nbDecision=97500 #constraints=40715
1770.88/1771.43	c nbDecision=98000 #constraints=40745
1774.48/1775.01	c nbDecision=98500 #constraints=40761
1778.98/1779.55	c nbDecision=99000 #constraints=40781
1783.47/1784.03	c nbDecision=99500 #constraints=40804
1786.98/1787.57	c nbDecision=100000 #constraints=40811
1792.67/1793.21	c nbDecision=100500 #constraints=40866
1796.07/1796.65	c nbDecision=101000 #constraints=40872
1800.08/1800.60	Received signal 15
1800.18/1800.73	
1800.18/1800.73	s UNKNOWN
1800.18/1800.73	
1800.18/1800.73	c user time= 1799.69 s
1800.18/1800.73	c system time= 0.52492 s
1800.18/1800.73	c wall clock time=1800.74

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-357372-1176996043 -o ROOT/results/node71/solver-357372-1176996043 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357372-1176996043/instance-357372-1176996043.opb mod 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 1305
/proc/meminfo: memFree=1170184/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=1468 CPUtime=0
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 175593666 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 367 164 131 317 0 46 0

[startup+0.0840739 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 1305
/proc/meminfo: memFree=1170184/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=1996 CPUtime=0.08
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 310 0 0 0 8 0 0 0 18 0 1 0 175593666 2043904 292 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 499 292 139 317 0 178 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1996

[startup+0.101076 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 1305
/proc/meminfo: memFree=1170184/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=1996 CPUtime=0.09
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 320 0 0 0 9 0 0 0 18 0 1 0 175593666 2043904 302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715798 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 499 303 139 317 0 178 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1996

[startup+0.301103 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 1305
/proc/meminfo: memFree=1170184/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=2784 CPUtime=0.29
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 509 0 0 0 29 0 0 0 19 0 1 0 175593666 2850816 491 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272630 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 696 491 139 317 0 375 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2784

[startup+0.701158 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 1305
/proc/meminfo: memFree=1170184/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=4360 CPUtime=0.69
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 902 0 0 0 69 0 0 0 22 0 1 0 175593666 4464640 884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716161 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 1090 884 139 317 0 769 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4360

[startup+1.50127 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 1306
/proc/meminfo: memFree=1166144/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=6852 CPUtime=1.48
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 1571 0 0 0 148 0 0 0 25 0 1 0 175593666 7016448 1553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 1713 1553 170 317 0 1392 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 6852

[startup+3.10148 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 1306
/proc/meminfo: memFree=1163520/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=9616 CPUtime=3.09
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 2244 0 0 0 308 1 0 0 25 0 1 0 175593666 9846784 2226 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 2404 2226 170 317 0 2083 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9616

[startup+6.30192 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 1306
/proc/meminfo: memFree=1158592/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=13544 CPUtime=6.29
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 3222 0 0 0 628 1 0 0 25 0 1 0 175593666 13869056 3204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 3386 3204 170 317 0 3065 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13544

[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 1306
/proc/meminfo: memFree=1153472/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=19148 CPUtime=12.69
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 4447 0 0 0 1267 2 0 0 25 0 1 0 175593666 19607552 4429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 4787 4429 170 317 0 4466 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19148

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 1306
/proc/meminfo: memFree=1146880/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=24760 CPUtime=25.48
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 5977 0 0 0 2545 3 0 0 25 0 1 0 175593666 25354240 5959 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 6190 5959 170 317 0 5869 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24760

[startup+51.102 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 1306
/proc/meminfo: memFree=1137344/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=35536 CPUtime=51.08
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 8365 0 0 0 5102 6 0 0 25 0 1 0 175593666 36388864 8347 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 8884 8348 170 317 0 8563 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 35536

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 1306
/proc/meminfo: memFree=1125888/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=45588 CPUtime=102.27
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 11186 0 0 0 10218 9 0 0 25 0 1 0 175593666 46682112 11168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 11397 11168 170 317 0 11076 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 45588

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1306
/proc/meminfo: memFree=1113728/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=61592 CPUtime=162.24
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 14305 0 0 0 16213 11 0 0 25 0 1 0 175593666 63070208 14229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 15398 14229 170 317 0 15077 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 61592

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1306
/proc/meminfo: memFree=1105216/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=69160 CPUtime=222.23
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 16383 0 0 0 22210 13 0 0 25 0 1 0 175593666 70819840 16307 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 17290 16307 170 317 0 16969 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 69160

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1306
/proc/meminfo: memFree=1088320/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=86748 CPUtime=282.21
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 20774 0 0 0 28204 17 0 0 25 0 1 0 175593666 88829952 20698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 21687 20698 170 317 0 21366 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 86748

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1306
/proc/meminfo: memFree=1067392/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=110076 CPUtime=342.19
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 26653 0 0 0 34198 21 0 0 25 0 1 0 175593666 112717824 25737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 27519 25737 170 317 0 27198 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 110076

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1306
/proc/meminfo: memFree=1056256/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=124308 CPUtime=402.17
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 29976 0 0 0 40193 24 0 0 25 0 1 0 175593666 127291392 29027 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 31077 29027 170 317 0 30756 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 124308

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1306
/proc/meminfo: memFree=1045440/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=132172 CPUtime=462.16
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 32150 0 0 0 46189 27 0 0 25 0 1 0 175593666 135344128 31201 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 33043 31201 170 317 0 32722 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 132172

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 1306
/proc/meminfo: memFree=1037888/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=140196 CPUtime=522.14
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 34324 0 0 0 52185 29 0 0 25 0 1 0 175593666 143560704 33111 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 35049 33111 170 317 0 34728 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 140196

[startup+582.301 s]
/proc/loadavg: 1.03 1.00 1.00 2/65 1306
/proc/meminfo: memFree=1030976/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=145984 CPUtime=582.12
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 36039 0 0 0 58181 31 0 0 25 0 1 0 175593666 149487616 34826 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 36496 34826 170 317 0 36175 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 145984

[startup+642.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 1306
/proc/meminfo: memFree=1024640/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=151484 CPUtime=642.11
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 37605 0 0 0 64178 33 0 0 25 0 1 0 175593666 155119616 36392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 37871 36392 170 317 0 37550 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 151484


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1306
/proc/meminfo: memFree=1001856/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=178128 CPUtime=882.04
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 44264 0 0 0 88165 39 0 0 25 0 1 0 175593666 182403072 42061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 44532 42061 170 317 0 44211 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 178128

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1306
/proc/meminfo: memFree=997312/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=182712 CPUtime=942.02
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 45486 0 0 0 94163 39 0 0 25 0 1 0 175593666 187097088 43217 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 45678 43217 170 317 0 45357 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 182712

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1306
/proc/meminfo: memFree=991680/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=188336 CPUtime=1002
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 47086 0 0 0 100160 40 0 0 25 0 1 0 175593666 192856064 44558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604218 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 47084 44558 170 317 0 46763 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 188336

[startup+1062.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 1306
/proc/meminfo: memFree=988224/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=199676 CPUtime=1061.99
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 49895 0 0 0 106157 42 0 0 25 0 1 0 175593666 204468224 45482 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 49919 45482 170 317 0 49598 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 199676

[startup+1122.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 1306
/proc/meminfo: memFree=983936/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=203212 CPUtime=1121.97
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 50949 0 0 0 112154 43 0 0 25 0 1 0 175593666 208089088 46536 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 50803 46536 170 317 0 50482 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 203212

[startup+1182.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 1306
/proc/meminfo: memFree=980032/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=207024 CPUtime=1181.95
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 52008 0 0 0 118151 44 0 0 25 0 1 0 175593666 211992576 47529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 51756 47529 170 317 0 51435 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 207024

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1308
/proc/meminfo: memFree=976000/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=210564 CPUtime=1241.93
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 53056 0 0 0 124148 45 0 0 25 0 1 0 175593666 215617536 48512 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 52641 48512 170 317 0 52320 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 210564

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1308
/proc/meminfo: memFree=972160/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=213700 CPUtime=1301.91
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 54006 0 0 0 130145 46 0 0 25 0 1 0 175593666 218828800 49462 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 53425 49462 170 317 0 53104 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 213700

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1308
/proc/meminfo: memFree=968448/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=216860 CPUtime=1361.9
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 54934 0 0 0 136142 48 0 0 25 0 1 0 175593666 222064640 50390 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 54215 50390 170 317 0 53894 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 216860

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1308
/proc/meminfo: memFree=964928/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=220148 CPUtime=1421.88
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 55817 0 0 0 142139 49 0 0 25 0 1 0 175593666 225431552 51273 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712582 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 55037 51273 170 317 0 54716 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 220148

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1308
/proc/meminfo: memFree=961536/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=223596 CPUtime=1481.86
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 56650 0 0 0 148137 49 0 0 25 0 1 0 175593666 228962304 52106 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711026 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 55899 52106 170 317 0 55578 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 223596

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1308
/proc/meminfo: memFree=959424/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=225560 CPUtime=1541.85
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 57176 0 0 0 154135 50 0 0 25 0 1 0 175593666 230973440 52632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712518 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 56390 52632 170 317 0 56069 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 225560

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1308
/proc/meminfo: memFree=956672/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=229120 CPUtime=1601.82
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 57874 0 0 0 160132 50 0 0 25 0 1 0 175593666 234618880 53330 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 57280 53330 170 317 0 56959 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 229120

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1308
/proc/meminfo: memFree=954240/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=231196 CPUtime=1661.81
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 58460 0 0 0 166130 51 0 0 25 0 1 0 175593666 236744704 53916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 57799 53916 170 317 0 57478 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 231196

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1308
/proc/meminfo: memFree=952896/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=232376 CPUtime=1721.79
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 58823 0 0 0 172128 51 0 0 25 0 1 0 175593666 237953024 54279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 58094 54279 170 317 0 57773 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 232376

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1308
/proc/meminfo: memFree=951232/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=233944 CPUtime=1781.78
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 59226 0 0 0 178126 52 0 0 25 0 1 0 175593666 239558656 54682 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 58486 54682 170 317 0 58165 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 233944



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1308
/proc/meminfo: memFree=950848/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=234332 CPUtime=1800.08
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 59312 0 0 0 179956 52 0 0 25 0 1 0 175593666 239955968 54768 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 58583 54768 170 317 0 58262 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 234332

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1308
/proc/meminfo: memFree=950848/2055920 swapFree=4184232/4192956
[pid=1305] ppid=1303 vsize=234332 CPUtime=1800.18
/proc/1305/stat : 1305 (oree) R 1303 1305 631 0 -1 4194304 59312 0 0 0 179966 52 0 0 25 0 1 0 175593666 239955968 54768 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1305/statm: 58583 54768 170 317 0 58262 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 234332

Child status: 0
Real time (s): 1800.78
CPU time (s): 1800.26
CPU user time (s): 1799.7
CPU system time (s): 0.559914
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 234332

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

runsolver used 1.25781 second user time and 3.69144 second system time

The end

Launcher Data (download as text)

Begin job on node71 on Thu Apr 19 15:20:44 UTC 2007

IDJOB= 357372
IDBENCH= 2492
IDSOLVER= 172
FILE ID= node71/357372-1176996043

PBS_JOBID= 4630434

Free space on /tmp= 66446 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  077c926419792cafad737b20a04bb1ea

RANDOM SEED= 765846053

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:       1170720 kB
Buffers:         38132 kB
Cached:         766884 kB
SwapCached:       2620 kB
Active:         208148 kB
Inactive:       606568 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1170720 kB
SwapTotal:     4192956 kB
SwapFree:      4184232 kB
Dirty:            1356 kB
Writeback:           0 kB
Mapped:          15820 kB
Slab:            56508 kB
Committed_AS:  2577792 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= 66446 MiB

End job on node71 on Thu Apr 19 15:50:46 UTC 2007