Trace number 357331

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.65 1801.22

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-degen2.opb
MD5SUM64532e211df845746fb0c67de55e4b15
Bench CategoryOPT-BIGINT (optimisation, big 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 variables16020
Total number of constraints444
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 constraints444
Minimum length of a constraint60
Maximum length of a constraint2550
Number of terms in the objective function 14100
Biggest coefficient in the objective function 2553894928384
Number of bits for the biggest coefficient in the objective function 42
Sum of the numbers in the objective function 401268056673330
Number of bits of the sum of numbers in the objective function 49
Biggest number in a constraint 2553894928384
Number of bits of the biggest number in a constraint 42
Biggest sum of numbers in a constraint 401268056673330
Number of bits of the biggest sum of numbers49
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.39/0.42	c ...done
0.39/0.42	c #vars=16020 #constraints=666 hasObjective=yes
0.69/0.73	c res. mode=mod
0.69/0.73	c VSIDS like heuristics
0.69/0.73	c complete search running
0.79/0.86	c restart after 401 decisions
0.79/0.87	c nbDecision=500 #constraints=666
0.89/0.92	c restart after 801 decisions
0.89/0.95	c nbDecision=1000 #constraints=666
0.99/1.01	c nbDecision=1500 #constraints=666
0.99/1.10	c restart after 1601 decisions
1.09/1.15	c nbDecision=2000 #constraints=676
1.19/1.21	c nbDecision=2500 #constraints=676
10.29/10.30	c nbDecision=3000 #constraints=847
10.79/10.85	c restart after 3201 decisions
10.89/10.92	c nbDecision=3500 #constraints=857
10.89/10.99	c nbDecision=4000 #constraints=857
11.09/11.11	c nbDecision=4500 #constraints=858
13.79/13.89	c nbDecision=5000 #constraints=908
24.68/24.78	c nbDecision=5500 #constraints=1099
30.58/30.69	c nbDecision=6000 #constraints=1202
41.18/41.24	c restart after 6401 decisions
41.28/41.34	c nbDecision=6500 #constraints=1379
41.38/41.46	c nbDecision=7000 #constraints=1379
41.48/41.55	c nbDecision=7500 #constraints=1379
47.48/47.56	c nbDecision=8000 #constraints=1489
54.37/54.41	c nbDecision=8500 #constraints=1600
61.68/61.72	c nbDecision=9000 #constraints=1717
68.97/69.08	c nbDecision=9500 #constraints=1825
81.07/81.11	c nbDecision=10000 #constraints=1988
85.17/85.23	c nbDecision=10500 #constraints=2054
92.16/92.22	c nbDecision=11000 #constraints=2158
102.73/102.87	c nbDecision=11500 #constraints=2319
108.81/108.90	c nbDecision=12000 #constraints=2400
118.79/118.98	c nbDecision=12500 #constraints=2521
125.18/125.30	c restart after 12801 decisions
125.58/125.76	c nbDecision=13000 #constraints=2594
125.88/126.07	c nbDecision=13500 #constraints=2594
126.08/126.27	c nbDecision=14000 #constraints=2594
132.88/133.07	c nbDecision=14500 #constraints=2675
138.67/138.82	c nbDecision=15000 #constraints=2745
146.96/147.13	c nbDecision=15500 #constraints=2856
157.66/157.80	c nbDecision=16000 #constraints=2966
171.16/171.34	c nbDecision=16500 #constraints=3106
180.05/180.24	c nbDecision=17000 #constraints=3204
188.05/188.24	c nbDecision=17500 #constraints=3300
202.15/202.33	c nbDecision=18000 #constraints=3444
209.54/209.77	c nbDecision=18500 #constraints=3520
215.45/215.66	c nbDecision=19000 #constraints=3590
221.24/221.41	c nbDecision=19500 #constraints=3652
226.74/226.91	c nbDecision=20000 #constraints=3714
229.75/229.98	c nbDecision=20500 #constraints=3759
241.84/242.07	c nbDecision=21000 #constraints=3898
248.13/248.37	c nbDecision=21500 #constraints=3973
262.93/263.11	c nbDecision=22000 #constraints=4119
267.52/267.77	c nbDecision=22500 #constraints=4186
272.23/272.46	c nbDecision=23000 #constraints=4257
278.53/278.74	c nbDecision=23500 #constraints=4326
284.33/284.56	c nbDecision=24000 #constraints=4391
297.82/298.06	c nbDecision=24500 #constraints=4521
340.01/340.21	c nbDecision=25000 #constraints=4861
361.70/361.95	c nbDecision=25500 #constraints=5044
362.70/362.99	c restart after 25601 decisions
364.70/364.96	c nbDecision=26000 #constraints=5057
365.40/365.61	c nbDecision=26500 #constraints=5057
367.70/367.95	c nbDecision=27000 #constraints=5083
373.81/374.02	c nbDecision=27500 #constraints=5154
381.60/381.84	c nbDecision=28000 #constraints=5232
388.80/389.05	c nbDecision=28500 #constraints=5300
395.99/396.28	c nbDecision=29000 #constraints=5366
422.79/423.03	c nbDecision=29500 #constraints=5577
425.69/425.91	c nbDecision=30000 #constraints=5617
430.28/430.57	c nbDecision=30500 #constraints=5686
434.89/435.18	c nbDecision=31000 #constraints=5743
437.18/437.44	c nbDecision=31500 #constraints=5773
439.98/440.21	c nbDecision=32000 #constraints=5807
442.88/443.14	c nbDecision=32500 #constraints=5846
447.98/448.20	c nbDecision=33000 #constraints=5899
450.98/451.20	c nbDecision=33500 #constraints=5935
456.18/456.42	c nbDecision=34000 #constraints=5984
464.37/464.66	c nbDecision=34500 #constraints=6056
470.88/471.11	c nbDecision=35000 #constraints=6107
474.57/474.82	c nbDecision=35500 #constraints=6143
485.07/485.39	c nbDecision=36000 #constraints=6225
500.37/500.60	c nbDecision=36500 #constraints=6341
519.26/519.50	c nbDecision=37000 #constraints=6473
532.06/532.34	c nbDecision=37500 #constraints=6566
539.15/539.42	c nbDecision=38000 #constraints=6622
546.95/547.28	c nbDecision=38500 #constraints=6708
552.75/553.09	c nbDecision=39000 #constraints=6775
557.75/558.00	c nbDecision=39500 #constraints=6828
565.25/565.51	c nbDecision=40000 #constraints=6887
572.45/572.78	c nbDecision=40500 #constraints=6940
576.54/576.84	c nbDecision=41000 #constraints=6989
585.54/585.84	c nbDecision=41500 #constraints=7082
595.14/595.44	c nbDecision=42000 #constraints=7151
605.94/606.23	c nbDecision=42500 #constraints=7238
624.03/624.34	c nbDecision=43000 #constraints=7368
639.13/639.44	c nbDecision=43500 #constraints=7481
646.13/646.43	c nbDecision=44000 #constraints=7564
650.32/650.63	c nbDecision=44500 #constraints=7620
655.03/655.35	c nbDecision=45000 #constraints=7678
661.02/661.38	c nbDecision=45500 #constraints=7738
668.02/668.39	c nbDecision=46000 #constraints=7814
673.52/673.84	c nbDecision=46500 #constraints=7866
681.22/681.51	c nbDecision=47000 #constraints=7941
688.11/688.40	c nbDecision=47500 #constraints=8011
692.91/693.28	c nbDecision=48000 #constraints=8053
698.12/698.46	c nbDecision=48500 #constraints=8095
702.51/702.84	c nbDecision=49000 #constraints=8130
720.21/720.55	c nbDecision=49500 #constraints=8235
740.60/740.98	c nbDecision=50000 #constraints=8353
744.90/745.29	c nbDecision=50500 #constraints=8402
751.30/751.60	c nbDecision=51000 #constraints=8480
753.39/753.75	c restart after 51201 decisions
756.89/757.27	c nbDecision=51500 #constraints=8503
757.99/758.39	c nbDecision=52000 #constraints=8503
758.99/759.33	c nbDecision=52500 #constraints=8503
764.80/765.15	c nbDecision=53000 #constraints=8552
768.10/768.41	c nbDecision=53500 #constraints=8579
775.49/775.84	c nbDecision=54000 #constraints=8650
779.99/780.35	c nbDecision=54500 #constraints=8694
784.18/784.51	c nbDecision=55000 #constraints=8729
790.09/790.50	c nbDecision=55500 #constraints=8789
796.39/796.78	c nbDecision=56000 #constraints=8843
804.59/804.94	c nbDecision=56500 #constraints=8919
809.09/809.44	c nbDecision=57000 #constraints=8950
813.59/813.91	c nbDecision=57500 #constraints=8982
822.18/822.52	c nbDecision=58000 #constraints=9038
846.47/846.85	c nbDecision=58500 #constraints=9170
881.56/881.98	c nbDecision=59000 #constraints=9348
888.47/888.83	c nbDecision=59500 #constraints=9397
897.56/897.99	c nbDecision=60000 #constraints=9467
910.35/910.79	c nbDecision=60500 #constraints=9545
933.35/933.72	c nbDecision=61000 #constraints=9670
999.33/999.79	c nbDecision=61500 #constraints=9978
1066.21/1066.61	c nbDecision=62000 #constraints=10289
1072.32/1072.78	c nbDecision=62500 #constraints=10336
1077.62/1078.07	c nbDecision=63000 #constraints=10392
1084.11/1084.55	c nbDecision=63500 #constraints=10454
1089.91/1090.31	c nbDecision=64000 #constraints=10493
1098.50/1098.92	c nbDecision=64500 #constraints=10557
1105.71/1106.14	c nbDecision=65000 #constraints=10604
1111.90/1112.37	c nbDecision=65500 #constraints=10644
1152.29/1152.74	c nbDecision=66000 #constraints=10834
1162.89/1163.38	c nbDecision=66500 #constraints=10895
1173.69/1174.15	c nbDecision=67000 #constraints=10979
1181.38/1181.81	c nbDecision=67500 #constraints=11053
1190.89/1191.31	c nbDecision=68000 #constraints=11134
1195.88/1196.30	c nbDecision=68500 #constraints=11168
1202.67/1203.16	c nbDecision=69000 #constraints=11214
1210.48/1210.93	c nbDecision=69500 #constraints=11273
1216.98/1217.47	c nbDecision=70000 #constraints=11327
1226.17/1226.64	c nbDecision=70500 #constraints=11382
1231.87/1232.33	c nbDecision=71000 #constraints=11421
1282.06/1282.60	c nbDecision=71500 #constraints=11677
1291.55/1292.02	c nbDecision=72000 #constraints=11730
1298.35/1298.87	c nbDecision=72500 #constraints=11777
1302.85/1303.32	c nbDecision=73000 #constraints=11815
1311.35/1311.87	c nbDecision=73500 #constraints=11877
1325.34/1325.82	c nbDecision=74000 #constraints=11961
1338.44/1338.95	c nbDecision=74500 #constraints=12040
1388.23/1388.74	c nbDecision=75000 #constraints=12250
1396.43/1396.96	c nbDecision=75500 #constraints=12308
1410.72/1411.29	c nbDecision=76000 #constraints=12392
1417.62/1418.17	c nbDecision=76500 #constraints=12447
1426.62/1427.15	c nbDecision=77000 #constraints=12515
1435.31/1435.88	c nbDecision=77500 #constraints=12583
1449.51/1450.06	c nbDecision=78000 #constraints=12670
1485.40/1486.00	c nbDecision=78500 #constraints=12853
1510.80/1511.30	c nbDecision=79000 #constraints=12982
1524.29/1524.86	c nbDecision=79500 #constraints=13061
1534.59/1535.13	c nbDecision=80000 #constraints=13144
1544.58/1545.16	c nbDecision=80500 #constraints=13223
1552.18/1552.77	c nbDecision=81000 #constraints=13287
1562.78/1563.30	c nbDecision=81500 #constraints=13339
1571.87/1572.47	c nbDecision=82000 #constraints=13407
1581.58/1582.12	c nbDecision=82500 #constraints=13470
1591.77/1592.33	c nbDecision=83000 #constraints=13520
1639.46/1640.08	c nbDecision=83500 #constraints=13698
1679.85/1680.40	c nbDecision=84000 #constraints=13866
1735.03/1735.66	c nbDecision=84500 #constraints=14118
1743.83/1744.49	c nbDecision=85000 #constraints=14175
1752.02/1752.69	c nbDecision=85500 #constraints=14239
1759.43/1760.00	c nbDecision=86000 #constraints=14301
1767.82/1768.42	c nbDecision=86500 #constraints=14353
1777.72/1778.36	c nbDecision=87000 #constraints=14434
1784.92/1785.54	c nbDecision=87500 #constraints=14503
1792.32/1792.94	c nbDecision=88000 #constraints=14546
1798.31/1798.94	c nbDecision=88500 #constraints=14574
1800.02/1800.61	Received signal 15
1800.51/1801.10	
1800.51/1801.10	s UNKNOWN
1800.51/1801.10	
1800.51/1801.10	c user time= 1799.67 s
1800.51/1801.10	c system time= 0.856869 s
1800.51/1801.10	c wall clock time=1801.1

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/node11/watcher-357331-1176994771 -o ROOT/results/node11/solver-357331-1176994771 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357331-1176994771/instance-357331-1176994771.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.85 0.97 0.99 3/77 13630
/proc/meminfo: memFree=1318280/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=1468 CPUtime=0
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 140526057 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 367 161 127 317 0 46 0

[startup+0.066797 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 13630
/proc/meminfo: memFree=1318280/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=2204 CPUtime=0.06
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 387 0 0 0 6 0 0 0 18 0 1 0 140526057 2256896 336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 551 336 131 317 0 230 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2204

[startup+0.1018 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 13630
/proc/meminfo: memFree=1318280/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=3000 CPUtime=0.09
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 561 0 0 0 9 0 0 0 18 0 1 0 140526057 3072000 510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 750 510 131 317 0 429 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3000

[startup+0.301824 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 13630
/proc/meminfo: memFree=1318280/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=6228 CPUtime=0.29
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 1343 0 0 0 29 0 0 0 19 0 1 0 140526057 6377472 1292 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 1557 1292 131 317 0 1236 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6228

[startup+0.701872 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 13630
/proc/meminfo: memFree=1318280/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=11176 CPUtime=0.69
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 2574 0 0 0 69 0 0 0 23 0 1 0 140526057 11444224 2523 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 2794 2523 137 317 0 2473 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11176

[startup+1.50197 s]
/proc/loadavg: 0.86 0.97 0.99 2/78 13631
/proc/meminfo: memFree=1308416/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=11968 CPUtime=1.49
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 2760 0 0 0 149 0 0 0 25 0 1 0 140526057 12255232 2709 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 2992 2709 139 317 0 2671 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11968

[startup+3.10116 s]
/proc/loadavg: 0.86 0.97 0.99 2/78 13631
/proc/meminfo: memFree=1307392/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=13100 CPUtime=3.09
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 3021 0 0 0 308 1 0 0 25 0 1 0 140526057 13414400 2970 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 3275 2970 139 317 0 2954 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13100

[startup+6.30253 s]
/proc/loadavg: 0.86 0.97 0.99 2/78 13631
/proc/meminfo: memFree=1305224/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=15080 CPUtime=6.29
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 3500 0 0 0 628 1 0 0 25 0 1 0 140526057 15441920 3449 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 3770 3449 139 317 0 3449 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15080

[startup+12.7013 s]
/proc/loadavg: 0.88 0.97 0.99 2/78 13631
/proc/meminfo: memFree=1301392/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=19004 CPUtime=12.69
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 4425 0 0 0 1268 1 0 0 25 0 1 0 140526057 19460096 4374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 4751 4374 139 317 0 4430 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19004

[startup+25.5018 s]
/proc/loadavg: 0.90 0.97 0.99 2/78 13631
/proc/meminfo: memFree=1293840/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=26900 CPUtime=25.48
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 6280 0 0 0 2546 2 0 0 25 0 1 0 140526057 27545600 6229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 6725 6229 139 317 0 6404 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26900

[startup+51.1018 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 13631
/proc/meminfo: memFree=1276496/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=45920 CPUtime=51.08
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 10705 0 0 0 5104 4 0 0 25 0 1 0 140526057 47022080 10654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 11480 10654 170 317 0 11159 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 45920

[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.99 2/84 13713
/proc/meminfo: memFree=1242904/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=80300 CPUtime=102.23
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 18639 0 0 0 10216 7 0 0 25 0 1 0 140526057 82227200 18588 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 20075 18588 170 317 0 19754 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 80300

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 13829
/proc/meminfo: memFree=1208912/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=122524 CPUtime=162.16
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 27483 0 0 0 16204 12 0 0 25 0 1 0 140526057 125464576 27432 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 30631 27432 170 317 0 30310 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 122524

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 13829
/proc/meminfo: memFree=1175568/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=158284 CPUtime=222.14
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 35740 0 0 0 22198 16 0 0 25 0 1 0 140526057 162082816 35689 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 39571 35689 170 317 0 39250 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 158284

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 13829
/proc/meminfo: memFree=1148240/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=187520 CPUtime=282.12
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 42613 0 0 0 28193 19 0 0 25 0 1 0 140526057 192020480 42562 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710849 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 46880 42562 170 317 0 46559 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 187520

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 13829
/proc/meminfo: memFree=1112976/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=235828 CPUtime=342.11
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 51336 0 0 0 34188 23 0 0 25 0 1 0 140526057 241487872 51285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 58957 51285 170 317 0 58636 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 235828

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 13829
/proc/meminfo: memFree=1087568/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=265572 CPUtime=402.09
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 57742 0 0 0 40183 26 0 0 25 0 1 0 140526057 271945728 57691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 66393 57691 170 317 0 66072 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 265572

[startup+462.301 s]
/proc/loadavg: 1.03 0.99 0.99 2/78 13829
/proc/meminfo: memFree=1058384/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=298844 CPUtime=462.07
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 64967 0 0 0 46177 30 0 0 25 0 1 0 140526057 306016256 64916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 74711 64916 170 317 0 74390 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 298844

[startup+522.302 s]
/proc/loadavg: 1.01 0.99 0.99 2/78 13829
/proc/meminfo: memFree=1036688/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=322744 CPUtime=522.06
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 70431 0 0 0 52173 33 0 0 25 0 1 0 140526057 330489856 70380 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 80686 70380 170 317 0 80365 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 322744

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 13829
/proc/meminfo: memFree=1012880/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=349068 CPUtime=582.04
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 76364 0 0 0 58169 35 0 0 25 0 1 0 140526057 357445632 76313 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 87267 76313 170 317 0 86946 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 349068

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 13829
/proc/meminfo: memFree=982352/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=389540 CPUtime=642.03
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 83898 0 0 0 64164 39 0 0 25 0 1 0 140526057 398888960 83847 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710756 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 97385 83847 170 317 0 97064 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 389540


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

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 13829
/proc/meminfo: memFree=865424/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=534632 CPUtime=941.95
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 113200 0 0 0 94143 52 0 0 25 0 1 0 140526057 547463168 113091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278987 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 133658 113091 170 317 0 133337 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 534632

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 13829
/proc/meminfo: memFree=851280/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=549564 CPUtime=1001.93
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 116706 0 0 0 100138 55 0 0 25 0 1 0 140526057 562753536 116597 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 137391 116597 170 317 0 137070 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 549564

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 13829
/proc/meminfo: memFree=838160/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=564584 CPUtime=1061.91
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 120016 0 0 0 106135 56 0 0 25 0 1 0 140526057 578134016 119907 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 141146 119907 170 317 0 140825 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 564584

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 13829
/proc/meminfo: memFree=819536/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=584800 CPUtime=1121.9
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 124626 0 0 0 112132 58 0 0 25 0 1 0 140526057 598835200 124517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 146200 124517 170 317 0 145879 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 584800

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 13829
/proc/meminfo: memFree=802896/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=603380 CPUtime=1181.88
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 128900 0 0 0 118127 61 0 0 25 0 1 0 140526057 617861120 128791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712494 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 150845 128791 170 317 0 150524 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 603380

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 13829
/proc/meminfo: memFree=783248/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=624416 CPUtime=1241.87
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 133667 0 0 0 124123 64 0 0 25 0 1 0 140526057 639401984 133558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 156104 133558 170 317 0 155783 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 624416

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 13829
/proc/meminfo: memFree=756560/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=666360 CPUtime=1301.86
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 140315 0 0 0 130118 68 0 0 25 0 1 0 140526057 682352640 140206 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 166590 140206 170 317 0 166269 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 666360

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 13829
/proc/meminfo: memFree=741520/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=683296 CPUtime=1361.84
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 144077 0 0 0 136114 70 0 0 25 0 1 0 140526057 699695104 143968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 170824 143968 170 317 0 170503 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 683296

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 13829
/proc/meminfo: memFree=719312/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=713144 CPUtime=1421.82
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 149619 0 0 0 142110 72 0 0 25 0 1 0 140526057 730259456 149510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 178286 149510 170 317 0 177965 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 713144

[startup+1482.3 s]
/proc/loadavg: 1.05 1.00 1.00 2/78 13829
/proc/meminfo: memFree=703568/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=732000 CPUtime=1481.8
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 153579 0 0 0 148107 73 0 0 25 0 1 0 140526057 749568000 153470 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 183000 153470 170 317 0 182679 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 732000

[startup+1542.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 13829
/proc/meminfo: memFree=686288/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=750204 CPUtime=1541.79
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 157889 0 0 0 154103 76 0 0 25 0 1 0 140526057 768208896 157780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 187551 157780 170 317 0 187230 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 750204

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13829
/proc/meminfo: memFree=670096/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=767492 CPUtime=1601.77
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 161908 0 0 0 160099 78 0 0 25 0 1 0 140526057 785911808 161799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 191873 161799 170 317 0 191552 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 767492

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13829
/proc/meminfo: memFree=660048/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=778616 CPUtime=1661.75
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 164394 0 0 0 166095 80 0 0 25 0 1 0 140526057 797302784 164285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 194654 164285 170 317 0 194333 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 778616

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13829
/proc/meminfo: memFree=649488/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=789116 CPUtime=1721.74
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 167044 0 0 0 172092 82 0 0 25 0 1 0 140526057 808054784 166935 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 197279 166935 170 317 0 196958 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 789116

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13829
/proc/meminfo: memFree=631376/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=808820 CPUtime=1781.72
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 171571 0 0 0 178088 84 0 0 25 0 1 0 140526057 828231680 171462 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 202205 171462 170 317 0 201884 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 808820



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13829
/proc/meminfo: memFree=625424/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=814292 CPUtime=1800.02
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 173038 0 0 0 179917 85 0 0 25 0 1 0 140526057 833835008 172929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 203573 172929 170 317 0 203252 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 814292

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

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

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13829
/proc/meminfo: memFree=625424/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=814428 CPUtime=1800.41
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194304 173045 0 0 0 179956 85 0 0 25 0 1 0 140526057 833974272 172936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 203607 172936 170 317 0 203286 0
Current children cumulated CPU time (s) 1800.41
Current children cumulated vsize (KiB) 814428

[startup+1801.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13829
/proc/meminfo: memFree=625424/2055920 swapFree=4139248/4192956
[pid=13630] ppid=13628 vsize=0 CPUtime=1800.62
/proc/13630/stat : 13630 (oree) R 13628 13630 13531 0 -1 4194308 173072 0 0 0 179967 95 0 0 25 0 1 0 140526057 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13630/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.62
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.22
CPU time (s): 1800.65
CPU user time (s): 1799.67
CPU system time (s): 0.970852
CPU usage (%): 99.9679
Max. virtual memory (cumulated for all children) (KiB): 814428

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

runsolver used 2.09768 second user time and 4.33934 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Thu Apr 19 14:59:31 UTC 2007

IDJOB= 357331
IDBENCH= 2420
IDSOLVER= 172
FILE ID= node11/357331-1176994771

PBS_JOBID= 4630472

Free space on /tmp= 66255 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-degen2.opb
COMMAND LINE= oree /tmp/evaluation/357331-1176994771/instance-357331-1176994771.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-357331-1176994771 -o ROOT/results/node11/solver-357331-1176994771 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357331-1176994771/instance-357331-1176994771.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  64532e211df845746fb0c67de55e4b15

RANDOM SEED= 562909922

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node11.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.235
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.235
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:       1318688 kB
Buffers:         45296 kB
Cached:         592508 kB
SwapCached:      22272 kB
Active:         162464 kB
Inactive:       509768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1318688 kB
SwapTotal:     4192956 kB
SwapFree:      4139248 kB
Dirty:            3280 kB
Writeback:           0 kB
Mapped:          30072 kB
Slab:            50456 kB
Committed_AS:  6176936 kB
PageTables:       1848 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= 66255 MiB

End job on node11 on Thu Apr 19 15:29:34 UTC 2007