Trace number 356861

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.97

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome11.opb
MD5SUMaf7b516198b9fda389a0d83cfb6c28d1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables733406
Total number of constraints12168
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 constraints12168
Minimum length of a constraint13
Maximum length of a constraint6840
Number of terms in the objective function 374066
Biggest coefficient in the objective function 639
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 887406
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 887406
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...
7.88/7.97	c ...done
7.88/7.97	c #vars=733406 #constraints=24311 hasObjective=yes
14.39/14.41	c res. mode=mod
14.39/14.41	c VSIDS like heuristics
14.39/14.41	c complete search running
24.68/24.78	c restart after 401 decisions
26.78/26.82	c nbDecision=500 #constraints=24424
33.28/33.30	c restart after 801 decisions
37.38/37.49	c nbDecision=1000 #constraints=24516
47.67/47.73	c nbDecision=1500 #constraints=24565
49.77/49.84	c restart after 1601 decisions
58.07/58.13	c nbDecision=2000 #constraints=24622
68.07/68.19	c nbDecision=2500 #constraints=24648
78.87/78.97	c nbDecision=3000 #constraints=24736
83.17/83.29	c restart after 3201 decisions
89.27/89.39	c nbDecision=3500 #constraints=24798
99.97/100.00	c nbDecision=4000 #constraints=24874
110.36/110.42	c nbDecision=4500 #constraints=24927
120.65/120.77	c nbDecision=5000 #constraints=24965
131.05/131.16	c nbDecision=5500 #constraints=25024
141.35/141.41	c nbDecision=6000 #constraints=25049
149.75/149.88	c restart after 6401 decisions
151.75/151.85	c nbDecision=6500 #constraints=25129
162.15/162.24	c nbDecision=7000 #constraints=25185
172.75/172.84	c nbDecision=7500 #constraints=25258
183.35/183.43	c nbDecision=8000 #constraints=25330
193.64/193.73	c nbDecision=8500 #constraints=25347
203.94/204.08	c nbDecision=9000 #constraints=25391
214.24/214.36	c nbDecision=9500 #constraints=25424
224.73/224.84	c nbDecision=10000 #constraints=25482
235.13/235.21	c nbDecision=10500 #constraints=25524
245.63/245.73	c nbDecision=11000 #constraints=25593
256.13/256.29	c nbDecision=11500 #constraints=25662
266.32/266.42	c nbDecision=12000 #constraints=25674
276.52/276.70	c nbDecision=12500 #constraints=25700
282.81/282.91	c restart after 12801 decisions
286.81/286.91	c nbDecision=13000 #constraints=25734
296.91/297.09	c nbDecision=13500 #constraints=25746
307.31/307.42	c nbDecision=14000 #constraints=25787
317.60/317.73	c nbDecision=14500 #constraints=25811
327.80/327.93	c nbDecision=15000 #constraints=25853
338.10/338.24	c nbDecision=15500 #constraints=25882
348.50/348.61	c nbDecision=16000 #constraints=25930
358.50/358.62	c nbDecision=16500 #constraints=25935
368.59/368.75	c nbDecision=17000 #constraints=25952
379.29/379.46	c nbDecision=17500 #constraints=26036
389.58/389.74	c nbDecision=18000 #constraints=26065
399.98/400.10	c nbDecision=18500 #constraints=26104
410.08/410.28	c nbDecision=19000 #constraints=26125
420.57/420.72	c nbDecision=19500 #constraints=26172
430.77/430.94	c nbDecision=20000 #constraints=26194
441.17/441.33	c nbDecision=20500 #constraints=26235
451.37/451.56	c nbDecision=21000 #constraints=26260
461.57/461.79	c nbDecision=21500 #constraints=26279
471.87/472.06	c nbDecision=22000 #constraints=26305
482.06/482.26	c nbDecision=22500 #constraints=26323
492.36/492.54	c nbDecision=23000 #constraints=26354
502.56/502.75	c nbDecision=23500 #constraints=26375
512.96/513.12	c nbDecision=24000 #constraints=26412
523.05/523.27	c nbDecision=24500 #constraints=26426
533.35/533.58	c nbDecision=25000 #constraints=26457
543.75/543.92	c nbDecision=25500 #constraints=26494
545.75/545.96	c restart after 25601 decisions
553.74/553.93	c nbDecision=26000 #constraints=26498
563.94/564.19	c nbDecision=26500 #constraints=26528
574.44/574.66	c nbDecision=27000 #constraints=26587
584.73/584.90	c nbDecision=27500 #constraints=26627
594.93/595.17	c nbDecision=28000 #constraints=26649
605.13/605.31	c nbDecision=28500 #constraints=26665
615.22/615.41	c nbDecision=29000 #constraints=26688
625.32/625.52	c nbDecision=29500 #constraints=26693
635.72/635.93	c nbDecision=30000 #constraints=26733
645.91/646.19	c nbDecision=30500 #constraints=26761
656.11/656.39	c nbDecision=31000 #constraints=26774
666.41/666.66	c nbDecision=31500 #constraints=26804
676.81/677.05	c nbDecision=32000 #constraints=26837
687.00/687.23	c nbDecision=32500 #constraints=26855
697.20/697.43	c nbDecision=33000 #constraints=26868
707.40/707.68	c nbDecision=33500 #constraints=26895
717.69/717.97	c nbDecision=34000 #constraints=26917
727.99/728.23	c nbDecision=34500 #constraints=26949
738.19/738.46	c nbDecision=35000 #constraints=26961
748.39/748.65	c nbDecision=35500 #constraints=26982
758.79/759.00	c nbDecision=36000 #constraints=27013
768.99/769.22	c nbDecision=36500 #constraints=27035
779.29/779.57	c nbDecision=37000 #constraints=27068
789.49/789.77	c nbDecision=37500 #constraints=27083
799.68/799.94	c nbDecision=38000 #constraints=27093
809.88/810.16	c nbDecision=38500 #constraints=27115
820.28/820.51	c nbDecision=39000 #constraints=27149
830.37/830.70	c nbDecision=39500 #constraints=27164
840.67/840.92	c nbDecision=40000 #constraints=27176
850.97/851.21	c nbDecision=40500 #constraints=27203
861.16/861.41	c nbDecision=41000 #constraints=27218
871.36/871.66	c nbDecision=41500 #constraints=27244
881.66/881.96	c nbDecision=42000 #constraints=27266
891.95/892.20	c nbDecision=42500 #constraints=27285
902.15/902.48	c nbDecision=43000 #constraints=27311
912.45/912.70	c nbDecision=43500 #constraints=27329
922.55/922.86	c nbDecision=44000 #constraints=27340
932.84/933.13	c nbDecision=44500 #constraints=27362
943.24/943.51	c nbDecision=45000 #constraints=27395
953.44/953.73	c nbDecision=45500 #constraints=27409
963.83/964.16	c nbDecision=46000 #constraints=27452
974.03/974.33	c nbDecision=46500 #constraints=27464
984.13/984.49	c nbDecision=47000 #constraints=27477
994.42/994.71	c nbDecision=47500 #constraints=27491
1004.62/1004.91	c nbDecision=48000 #constraints=27507
1014.92/1015.25	c nbDecision=48500 #constraints=27535
1025.12/1025.49	c nbDecision=49000 #constraints=27557
1035.41/1035.76	c nbDecision=49500 #constraints=27571
1045.61/1045.92	c nbDecision=50000 #constraints=27587
1055.81/1056.11	c nbDecision=50500 #constraints=27598
1065.91/1066.25	c nbDecision=51000 #constraints=27607
1070.10/1070.41	c restart after 51201 decisions
1076.10/1076.48	c nbDecision=51500 #constraints=27628
1086.20/1086.53	c nbDecision=52000 #constraints=27634
1096.60/1096.97	c nbDecision=52500 #constraints=27692
1106.89/1107.26	c nbDecision=53000 #constraints=27744
1117.09/1117.47	c nbDecision=53500 #constraints=27756
1127.59/1127.94	c nbDecision=54000 #constraints=27820
1138.09/1138.45	c nbDecision=54500 #constraints=27893
1148.48/1148.82	c nbDecision=55000 #constraints=27935
1158.98/1159.31	c nbDecision=55500 #constraints=27971
1169.37/1169.73	c nbDecision=56000 #constraints=28006
1179.67/1180.06	c nbDecision=56500 #constraints=28028
1190.07/1190.43	c nbDecision=57000 #constraints=28064
1200.26/1200.69	c nbDecision=57500 #constraints=28083
1210.36/1210.80	c nbDecision=58000 #constraints=28089
1220.76/1221.15	c nbDecision=58500 #constraints=28111
1230.95/1231.32	c nbDecision=59000 #constraints=28122
1241.46/1241.87	c nbDecision=59500 #constraints=28167
1251.96/1252.34	c nbDecision=60000 #constraints=28201
1262.36/1262.78	c nbDecision=60500 #constraints=28235
1272.55/1272.97	c nbDecision=61000 #constraints=28247
1282.75/1283.14	c nbDecision=61500 #constraints=28256
1293.25/1293.66	c nbDecision=62000 #constraints=28297
1303.74/1304.14	c nbDecision=62500 #constraints=28332
1314.04/1314.45	c nbDecision=63000 #constraints=28355
1324.24/1324.68	c nbDecision=63500 #constraints=28367
1334.74/1335.13	c nbDecision=64000 #constraints=28397
1345.03/1345.45	c nbDecision=64500 #constraints=28419
1355.23/1355.63	c nbDecision=65000 #constraints=28427
1365.53/1365.91	c nbDecision=65500 #constraints=28447
1375.82/1376.22	c nbDecision=66000 #constraints=28474
1385.92/1386.40	c nbDecision=66500 #constraints=28498
1396.52/1396.96	c nbDecision=67000 #constraints=28583
1406.61/1407.09	c nbDecision=67500 #constraints=28592
1417.11/1417.52	c nbDecision=68000 #constraints=28627
1427.21/1427.61	c nbDecision=68500 #constraints=28649
1437.70/1438.15	c nbDecision=69000 #constraints=28718
1447.80/1448.29	c nbDecision=69500 #constraints=28731
1458.10/1458.55	c nbDecision=70000 #constraints=28756
1468.39/1468.84	c nbDecision=70500 #constraints=28804
1478.79/1479.23	c nbDecision=71000 #constraints=28840
1489.09/1489.56	c nbDecision=71500 #constraints=28881
1499.49/1499.93	c nbDecision=72000 #constraints=28935
1509.68/1510.17	c nbDecision=72500 #constraints=28961
1520.28/1520.71	c nbDecision=73000 #constraints=29002
1530.68/1531.19	c nbDecision=73500 #constraints=29044
1541.08/1541.59	c nbDecision=74000 #constraints=29076
1551.28/1551.79	c nbDecision=74500 #constraints=29090
1561.48/1561.96	c nbDecision=75000 #constraints=29097
1574.17/1574.68	c nbDecision=75500 #constraints=29285
1584.67/1585.19	c nbDecision=76000 #constraints=29315
1595.36/1595.80	c nbDecision=76500 #constraints=29361
1605.76/1606.29	c nbDecision=77000 #constraints=29396
1616.06/1616.51	c nbDecision=77500 #constraints=29405
1626.25/1626.73	c nbDecision=78000 #constraints=29419
1636.55/1637.04	c nbDecision=78500 #constraints=29431
1646.85/1647.30	c nbDecision=79000 #constraints=29448
1657.15/1657.62	c nbDecision=79500 #constraints=29467
1667.34/1667.89	c nbDecision=80000 #constraints=29490
1677.64/1678.14	c nbDecision=80500 #constraints=29499
1687.94/1688.40	c nbDecision=81000 #constraints=29520
1698.21/1698.73	c nbDecision=81500 #constraints=29535
1708.38/1708.91	c nbDecision=82000 #constraints=29549
1718.66/1719.20	c nbDecision=82500 #constraints=29561
1728.83/1729.50	c nbDecision=83000 #constraints=29581
1739.23/1739.81	c nbDecision=83500 #constraints=29599
1749.43/1750.05	c nbDecision=84000 #constraints=29618
1759.60/1760.24	c nbDecision=84500 #constraints=29637
1769.79/1770.43	c nbDecision=85000 #constraints=29650
1780.09/1780.76	c nbDecision=85500 #constraints=29676
1790.28/1790.97	c nbDecision=86000 #constraints=29689
1800.09/1800.70	Received signal 15
1800.09/1800.71	
1800.09/1800.71	s UNKNOWN
1800.09/1800.71	
1800.09/1800.71	c user time= 1799.7 s
1800.09/1800.71	c system time= 0.409937 s
1800.09/1800.71	c wall clock time=1800.71

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/node62/watcher-356861-1176845560 -o ROOT/results/node62/solver-356861-1176845560 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356861-1176845560/instance-356861-1176845560.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.95 0.90 3/64 5515
/proc/meminfo: memFree=1805120/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=1620 CPUtime=0
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 3132305 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 405 175 126 317 0 84 0

[startup+0.0352989 s]
/proc/loadavg: 0.91 0.95 0.90 3/64 5515
/proc/meminfo: memFree=1805120/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=2400 CPUtime=0.03
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 470 0 0 0 3 0 0 0 18 0 1 0 3132305 2457600 354 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 600 354 126 317 0 279 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2400

[startup+0.101306 s]
/proc/loadavg: 0.91 0.95 0.90 3/64 5515
/proc/meminfo: memFree=1805120/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=5624 CPUtime=0.09
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 960 0 0 0 9 0 0 0 18 0 1 0 3132305 5758976 715 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 1406 718 126 317 0 1085 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5624

[startup+0.301335 s]
/proc/loadavg: 0.91 0.95 0.90 3/64 5515
/proc/meminfo: memFree=1805120/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=9548 CPUtime=0.29
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 2911 0 0 0 28 1 0 0 19 0 1 0 3132305 9777152 1896 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 2387 1897 126 317 0 2066 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9548

[startup+0.701375 s]
/proc/loadavg: 0.91 0.95 0.90 3/64 5515
/proc/meminfo: memFree=1805120/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=17736 CPUtime=0.69
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 5692 0 0 0 66 3 0 0 22 0 1 0 3132305 18161664 3652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712505 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 4434 3652 127 317 0 4113 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17736

[startup+1.50147 s]
/proc/loadavg: 0.91 0.95 0.90 2/65 5516
/proc/meminfo: memFree=1787064/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=34096 CPUtime=1.49
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 9684 0 0 0 144 5 0 0 25 0 1 0 3132305 34914304 7644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 8524 7644 131 317 0 8203 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34096

[startup+3.10166 s]
/proc/loadavg: 0.92 0.95 0.90 2/65 5516
/proc/meminfo: memFree=1760312/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=74144 CPUtime=3.09
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 19517 0 0 0 300 9 0 0 25 0 1 0 3132305 75923456 17477 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 18536 17479 131 317 0 18215 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 74144

[startup+6.30103 s]
/proc/loadavg: 0.92 0.95 0.90 2/65 5516
/proc/meminfo: memFree=1678904/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=154284 CPUtime=6.29
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 39226 0 0 0 610 19 0 0 25 0 1 0 3132305 157986816 37186 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 38571 37186 131 317 0 38250 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 154284

[startup+12.7028 s]
/proc/loadavg: 0.93 0.96 0.91 2/65 5516
/proc/meminfo: memFree=1531000/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=280320 CPUtime=12.69
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 70626 0 0 0 1237 32 0 0 25 0 1 0 3132305 287047680 68586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 70080 68586 137 317 0 69759 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 280320

[startup+25.5013 s]
/proc/loadavg: 0.94 0.96 0.91 2/65 5516
/proc/meminfo: memFree=1510712/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=301180 CPUtime=25.48
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 75834 0 0 0 2514 34 0 0 25 0 1 0 3132305 308408320 73627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 75295 73627 139 317 0 74974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 301180

[startup+51.1012 s]
/proc/loadavg: 0.96 0.96 0.91 2/65 5516
/proc/meminfo: memFree=1510840/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=301180 CPUtime=51.07
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 75837 0 0 0 5073 34 0 0 25 0 1 0 3132305 308408320 73630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385260 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 75295 73630 139 317 0 74974 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 301180

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.91 2/65 5516
/proc/meminfo: memFree=1509816/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=302368 CPUtime=102.27
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 76132 0 0 0 10192 35 0 0 25 0 1 0 3132305 309624832 73925 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 75592 73925 139 317 0 75271 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 302368

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 5516
/proc/meminfo: memFree=1508664/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=303416 CPUtime=162.25
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 76397 0 0 0 16189 36 0 0 25 0 1 0 3132305 310697984 74190 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 75854 74190 139 317 0 75533 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 303416

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 5516
/proc/meminfo: memFree=1506424/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=305544 CPUtime=222.24
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 76979 0 0 0 22188 36 0 0 25 0 1 0 3132305 312877056 74772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 76386 74772 170 317 0 76065 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 305544

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 5516
/proc/meminfo: memFree=1505144/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=306864 CPUtime=282.21
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 77296 0 0 0 28185 36 0 0 25 0 1 0 3132305 314228736 75089 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384569 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 76716 75089 170 317 0 76395 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 306864

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 5516
/proc/meminfo: memFree=1504120/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=307776 CPUtime=342.2
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 77535 0 0 0 34184 36 0 0 25 0 1 0 3132305 315162624 75328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385221 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 76944 75328 170 317 0 76623 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 307776

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 5516
/proc/meminfo: memFree=1502776/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=309092 CPUtime=402.18
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 77873 0 0 0 40182 36 0 0 25 0 1 0 3132305 316510208 75666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 77273 75666 170 317 0 76952 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 309092

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 5516
/proc/meminfo: memFree=1501240/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=310660 CPUtime=462.17
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 78244 0 0 0 46180 37 0 0 25 0 1 0 3132305 318115840 76037 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 77665 76037 170 317 0 77344 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 310660

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 5516
/proc/meminfo: memFree=1500088/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=311828 CPUtime=522.15
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 78548 0 0 0 52178 37 0 0 25 0 1 0 3132305 319311872 76341 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 77957 76341 170 317 0 77636 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 311828

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 5516
/proc/meminfo: memFree=1499064/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=312760 CPUtime=582.13
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 78796 0 0 0 58176 37 0 0 25 0 1 0 3132305 320266240 76589 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 78190 76589 170 317 0 77869 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 312760

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 5516
/proc/meminfo: memFree=1498232/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=313556 CPUtime=642.12
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 78993 0 0 0 64175 37 0 0 25 0 1 0 3132305 321081344 76786 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 78389 76786 170 317 0 78068 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 313556


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

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 5516
/proc/meminfo: memFree=1491704/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=320148 CPUtime=942.04
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 80620 0 0 0 94166 38 0 0 25 0 1 0 3132305 327831552 78413 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385236 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 80037 78413 170 317 0 79716 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 320148

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 5516
/proc/meminfo: memFree=1490616/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=321180 CPUtime=1002.02
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 80904 0 0 0 100164 38 0 0 25 0 1 0 3132305 328888320 78697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 80295 78697 170 317 0 79974 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 321180

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 5516
/proc/meminfo: memFree=1489592/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=322244 CPUtime=1062.01
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 81148 0 0 0 106163 38 0 0 25 0 1 0 3132305 329977856 78941 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 80561 78941 170 317 0 80240 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 322244

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 5516
/proc/meminfo: memFree=1488056/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=323856 CPUtime=1121.99
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 81534 0 0 0 112161 38 0 0 25 0 1 0 3132305 331628544 79327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 80964 79327 170 317 0 80643 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 323856

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 5518
/proc/meminfo: memFree=1485560/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=326252 CPUtime=1181.97
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 82142 0 0 0 118159 38 0 0 25 0 1 0 3132305 334082048 79935 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 81563 79935 170 317 0 81242 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 326252

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 5518
/proc/meminfo: memFree=1482872/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=329408 CPUtime=1241.95
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 82818 0 0 0 124157 38 0 0 25 0 1 0 3132305 337313792 80611 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 82352 80611 170 317 0 82031 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 329408

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 5518
/proc/meminfo: memFree=1480760/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=331540 CPUtime=1301.95
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 83339 0 0 0 130156 39 0 0 25 0 1 0 3132305 339496960 81132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194613 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 82885 81132 170 317 0 82564 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 331540

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 5518
/proc/meminfo: memFree=1479288/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=332852 CPUtime=1361.93
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 83684 0 0 0 136154 39 0 0 25 0 1 0 3132305 340840448 81477 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 83213 81477 170 317 0 82892 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 332852

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 5518
/proc/meminfo: memFree=1478136/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=334040 CPUtime=1421.91
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 83975 0 0 0 142152 39 0 0 25 0 1 0 3132305 342056960 81768 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 83510 81768 170 317 0 83189 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 334040

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 5518
/proc/meminfo: memFree=1477112/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=335100 CPUtime=1481.89
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 84233 0 0 0 148150 39 0 0 25 0 1 0 3132305 343142400 82026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385209 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 83775 82026 170 317 0 83454 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 335100

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 5518
/proc/meminfo: memFree=1474936/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=336828 CPUtime=1541.88
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 84781 0 0 0 154148 40 0 0 25 0 1 0 3132305 344911872 82574 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 84207 82574 170 317 0 83886 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 336828

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 5518
/proc/meminfo: memFree=1469560/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=342120 CPUtime=1601.86
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 86110 0 0 0 160146 40 0 0 25 0 1 0 3132305 350330880 83903 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606869 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 85530 83903 170 317 0 85209 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 342120

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 5518
/proc/meminfo: memFree=1468408/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=343172 CPUtime=1661.84
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 86383 0 0 0 166144 40 0 0 25 0 1 0 3132305 351408128 84176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 85793 84176 170 317 0 85472 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 343172

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/71 5640
/proc/meminfo: memFree=1466024/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=344224 CPUtime=1721.75
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 86643 0 0 0 172135 40 0 0 25 0 1 0 3132305 352485376 84436 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 86056 84436 170 317 0 85735 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 344224

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 5716
/proc/meminfo: memFree=1466168/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=345276 CPUtime=1781.69
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 86908 0 0 0 178129 40 0 0 25 0 1 0 3132305 353562624 84701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 86319 84701 170 317 0 85998 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 345276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 5716
/proc/meminfo: memFree=1465848/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=345532 CPUtime=1800.09
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 86991 0 0 0 179969 40 0 0 25 0 1 0 3132305 353824768 84784 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 86383 84784 170 317 0 86062 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 345532

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: 0.99 0.97 0.91 2/65 5716
/proc/meminfo: memFree=1465848/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=329864 CPUtime=1800.19
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 87007 0 0 0 179978 41 0 0 25 0 1 0 3132305 337780736 81012 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266215 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 82466 81012 186 317 0 82145 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 329864

[startup+1800.9 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 5716
/proc/meminfo: memFree=1465848/2055920 swapFree=4192956/4192956
[pid=5515] ppid=5513 vsize=329864 CPUtime=1800.29
/proc/5515/stat : 5515 (oree) R 5513 5515 4843 0 -1 4194304 87007 0 0 0 179988 41 0 0 25 0 1 0 3132305 337780736 81012 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266198 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5515/statm: 82466 81012 186 317 0 82145 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 329864

Child status: 0
Real time (s): 1800.97
CPU time (s): 1800.37
CPU user time (s): 1799.9
CPU system time (s): 0.460929
CPU usage (%): 99.9663
Max. virtual memory (cumulated for all children) (KiB): 345532

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

runsolver used 1.18782 second user time and 3.80542 second system time

The end

Launcher Data (download as text)

Begin job on node62 on Tue Apr 17 21:32:43 UTC 2007

IDJOB= 356861
IDBENCH= 1537
IDSOLVER= 172
FILE ID= node62/356861-1176845560

PBS_JOBID= 4590172

Free space on /tmp= 66490 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/lptestset/fome/normalized-reduced-mps-v2-20-10-fome11.opb
COMMAND LINE= oree /tmp/evaluation/356861-1176845560/instance-356861-1176845560.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node62/watcher-356861-1176845560 -o ROOT/results/node62/solver-356861-1176845560 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356861-1176845560/instance-356861-1176845560.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  af7b516198b9fda389a0d83cfb6c28d1

RANDOM SEED= 670445076

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node62.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.216
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.216
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:       1805464 kB
Buffers:         22172 kB
Cached:         171016 kB
SwapCached:          0 kB
Active:         101220 kB
Inactive:       107452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1805464 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           30120 kB
Writeback:           0 kB
Mapped:          25660 kB
Slab:            27728 kB
Committed_AS:    55864 kB
PageTables:       1460 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= 66490 MiB

End job on node62 on Tue Apr 17 22:02:46 UTC 2007