Trace number 357004

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.35 1801.05

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-tr12-30.opb
MD5SUM93a0ff34a98f6d4593d65282fbf98be9
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 variables21960
Total number of constraints750
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 constraints750
Minimum length of a constraint31
Maximum length of a constraint372
Number of terms in the objective function 11160
Biggest coefficient in the objective function 1295
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 533310
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261781
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 533310
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.19/0.20	c ...done
0.19/0.20	c #vars=21960 #constraints=1111 hasObjective=yes
0.29/0.30	c res. mode=mod
0.29/0.30	c VSIDS like heuristics
0.29/0.30	c complete search running
0.39/0.47	c restart after 401 decisions
0.49/0.52	c nbDecision=500 #constraints=1113
0.59/0.63	c restart after 801 decisions
0.69/0.72	c nbDecision=1000 #constraints=1114
0.89/0.91	c nbDecision=1500 #constraints=1116
0.89/0.94	c restart after 1601 decisions
1.10/1.11	c nbDecision=2000 #constraints=1117
1.29/1.30	c nbDecision=2500 #constraints=1118
1.39/1.49	c nbDecision=3000 #constraints=1120
1.49/1.57	c restart after 3201 decisions
1.59/1.69	c nbDecision=3500 #constraints=1121
1.79/1.88	c nbDecision=4000 #constraints=1123
1.99/2.08	c nbDecision=4500 #constraints=1125
2.20/2.27	c nbDecision=5000 #constraints=1127
2.39/2.45	c nbDecision=5500 #constraints=1128
2.59/2.66	c nbDecision=6000 #constraints=1130
2.79/2.81	c restart after 6401 decisions
2.79/2.85	c nbDecision=6500 #constraints=1131
2.99/3.05	c nbDecision=7000 #constraints=1132
3.20/3.25	c nbDecision=7500 #constraints=1134
3.39/3.44	c nbDecision=8000 #constraints=1136
3.59/3.63	c nbDecision=8500 #constraints=1138
3.79/3.82	c nbDecision=9000 #constraints=1139
3.99/4.01	c nbDecision=9500 #constraints=1141
4.19/4.21	c nbDecision=10000 #constraints=1143
4.40/4.41	c nbDecision=10500 #constraints=1145
4.59/4.60	c nbDecision=11000 #constraints=1146
4.79/4.81	c nbDecision=11500 #constraints=1148
4.89/4.99	c nbDecision=12000 #constraints=1150
5.09/5.15	c nbDecision=12500 #constraints=1152
5.19/5.26	c restart after 12801 decisions
5.29/5.34	c nbDecision=13000 #constraints=1154
5.50/5.52	c nbDecision=13500 #constraints=1156
5.69/5.70	c nbDecision=14000 #constraints=1158
5.79/5.89	c nbDecision=14500 #constraints=1160
5.99/6.07	c nbDecision=15000 #constraints=1162
6.19/6.26	c nbDecision=15500 #constraints=1164
6.39/6.44	c nbDecision=16000 #constraints=1166
6.60/6.62	c nbDecision=16500 #constraints=1168
6.79/6.80	c nbDecision=17000 #constraints=1170
6.89/6.99	c nbDecision=17500 #constraints=1172
7.39/7.43	c nbDecision=18000 #constraints=1199
7.60/7.66	c nbDecision=18500 #constraints=1206
7.79/7.84	c nbDecision=19000 #constraints=1208
7.99/8.01	c nbDecision=19500 #constraints=1210
8.09/8.18	c nbDecision=20000 #constraints=1212
8.29/8.35	c nbDecision=20500 #constraints=1214
8.59/8.67	c nbDecision=21000 #constraints=1231
8.99/9.04	c nbDecision=21500 #constraints=1253
11.19/11.27	c nbDecision=22000 #constraints=1452
14.19/14.25	c nbDecision=22500 #constraints=1707
17.18/17.29	c nbDecision=23000 #constraints=1938
20.08/20.12	c nbDecision=23500 #constraints=2157
23.18/23.30	c nbDecision=24000 #constraints=2382
26.18/26.27	c nbDecision=24500 #constraints=2586
29.48/29.56	c nbDecision=25000 #constraints=2823
33.17/33.28	c nbDecision=25500 #constraints=3057
33.88/33.99	c restart after 25601 decisions
34.18/34.24	c nbDecision=26000 #constraints=3105
34.48/34.51	c nbDecision=26500 #constraints=3107
34.68/34.77	c nbDecision=27000 #constraints=3109
34.98/35.02	c nbDecision=27500 #constraints=3111
35.18/35.27	c nbDecision=28000 #constraints=3113
35.48/35.55	c nbDecision=28500 #constraints=3115
35.78/35.81	c nbDecision=29000 #constraints=3117
35.98/36.07	c nbDecision=29500 #constraints=3119
36.18/36.28	c nbDecision=30000 #constraints=3121
36.48/36.53	c nbDecision=30500 #constraints=3124
36.68/36.75	c nbDecision=31000 #constraints=3126
36.88/36.97	c nbDecision=31500 #constraints=3128
37.08/37.19	c nbDecision=32000 #constraints=3130
37.38/37.41	c nbDecision=32500 #constraints=3132
37.58/37.64	c nbDecision=33000 #constraints=3134
37.88/37.98	c nbDecision=33500 #constraints=3140
38.18/38.24	c nbDecision=34000 #constraints=3142
38.38/38.50	c nbDecision=34500 #constraints=3144
38.68/38.75	c nbDecision=35000 #constraints=3146
38.98/39.02	c nbDecision=35500 #constraints=3148
39.18/39.28	c nbDecision=36000 #constraints=3150
39.48/39.55	c nbDecision=36500 #constraints=3152
39.78/39.80	c nbDecision=37000 #constraints=3154
39.98/40.05	c nbDecision=37500 #constraints=3156
40.18/40.30	c nbDecision=38000 #constraints=3158
40.58/40.65	c nbDecision=38500 #constraints=3167
41.08/41.14	c nbDecision=39000 #constraints=3182
44.17/44.26	c nbDecision=39500 #constraints=3424
48.18/48.26	c nbDecision=40000 #constraints=3750
52.27/52.39	c nbDecision=40500 #constraints=4079
56.37/56.50	c nbDecision=41000 #constraints=4421
61.27/61.38	c nbDecision=41500 #constraints=4750
66.06/66.16	c nbDecision=42000 #constraints=5072
70.36/70.46	c nbDecision=42500 #constraints=5373
75.66/75.74	c nbDecision=43000 #constraints=5695
80.76/80.84	c nbDecision=43500 #constraints=6003
85.85/85.92	c nbDecision=44000 #constraints=6288
91.26/91.32	c nbDecision=44500 #constraints=6596
96.75/96.81	c nbDecision=45000 #constraints=6898
101.35/101.47	c nbDecision=45500 #constraints=7200
108.04/108.15	c nbDecision=46000 #constraints=7588
115.55/115.67	c nbDecision=46500 #constraints=7917
122.74/122.86	c nbDecision=47000 #constraints=8230
130.64/130.77	c nbDecision=47500 #constraints=8550
138.14/138.28	c nbDecision=48000 #constraints=8876
146.44/146.51	c nbDecision=48500 #constraints=9186
154.03/154.13	c nbDecision=49000 #constraints=9499
161.83/161.95	c nbDecision=49500 #constraints=9803
169.72/169.85	c nbDecision=50000 #constraints=10120
177.52/177.65	c nbDecision=50500 #constraints=10432
186.92/187.04	c nbDecision=51000 #constraints=10728
190.13/190.28	c restart after 51201 decisions
192.42/192.54	c nbDecision=51500 #constraints=10896
204.71/204.88	c nbDecision=52000 #constraints=11274
216.30/216.44	c nbDecision=52500 #constraints=11654
228.50/228.65	c nbDecision=53000 #constraints=12040
240.30/240.41	c nbDecision=53500 #constraints=12420
250.79/250.92	c nbDecision=54000 #constraints=12799
260.39/260.53	c nbDecision=54500 #constraints=13183
269.29/269.46	c nbDecision=55000 #constraints=13617
284.98/285.19	c nbDecision=55500 #constraints=14005
299.97/300.14	c nbDecision=56000 #constraints=14387
313.77/313.90	c nbDecision=56500 #constraints=14776
324.76/324.91	c nbDecision=57000 #constraints=15167
338.16/338.36	c nbDecision=57500 #constraints=15586
354.75/354.98	c nbDecision=58000 #constraints=15971
368.85/369.05	c nbDecision=58500 #constraints=16338
379.84/380.01	c nbDecision=59000 #constraints=16736
396.64/396.85	c nbDecision=59500 #constraints=17123
412.13/412.33	c nbDecision=60000 #constraints=17494
426.42/426.65	c nbDecision=60500 #constraints=17892
442.92/443.16	c nbDecision=61000 #constraints=18286
453.11/453.30	c nbDecision=61500 #constraints=18692
471.61/471.86	c nbDecision=62000 #constraints=19076
491.70/491.90	c nbDecision=62500 #constraints=19470
506.69/506.98	c nbDecision=63000 #constraints=19870
521.38/521.63	c nbDecision=63500 #constraints=20286
529.99/530.21	c nbDecision=64000 #constraints=20740
549.18/549.40	c nbDecision=64500 #constraints=21166
576.56/576.82	c nbDecision=65000 #constraints=21542
601.26/601.58	c nbDecision=65500 #constraints=21920
621.34/621.60	c nbDecision=66000 #constraints=22330
643.54/643.81	c nbDecision=66500 #constraints=22724
668.43/668.72	c nbDecision=67000 #constraints=23100
689.22/689.56	c nbDecision=67500 #constraints=23501
707.41/707.74	c nbDecision=68000 #constraints=23923
731.61/731.94	c nbDecision=68500 #constraints=24312
747.40/747.71	c nbDecision=69000 #constraints=24751
773.59/773.90	c nbDecision=69500 #constraints=25138
789.29/789.70	c nbDecision=70000 #constraints=25571
819.87/820.22	c nbDecision=70500 #constraints=25950
838.67/839.07	c nbDecision=71000 #constraints=26370
856.46/856.88	c nbDecision=71500 #constraints=26840
885.15/885.52	c nbDecision=72000 #constraints=27291
923.43/923.85	c nbDecision=72500 #constraints=27661
951.42/951.81	c nbDecision=73000 #constraints=28070
991.50/991.95	c nbDecision=73500 #constraints=28461
1018.69/1019.19	c nbDecision=74000 #constraints=28875
1053.18/1053.68	c nbDecision=74500 #constraints=29268
1085.77/1086.25	c nbDecision=75000 #constraints=29639
1112.36/1112.81	c nbDecision=75500 #constraints=30054
1137.35/1137.84	c nbDecision=76000 #constraints=30477
1158.94/1159.45	c nbDecision=76500 #constraints=30919
1195.82/1196.33	c nbDecision=77000 #constraints=31325
1227.41/1227.92	c nbDecision=77500 #constraints=31708
1259.50/1260.05	c nbDecision=78000 #constraints=32122
1299.19/1299.78	c nbDecision=78500 #constraints=32515
1338.08/1338.62	c nbDecision=79000 #constraints=32896
1373.96/1374.59	c nbDecision=79500 #constraints=33322
1421.04/1421.61	c nbDecision=80000 #constraints=33685
1470.32/1470.98	c nbDecision=80500 #constraints=34067
1506.90/1507.56	c nbDecision=81000 #constraints=34457
1528.99/1529.61	c nbDecision=81500 #constraints=34907
1567.08/1567.80	c nbDecision=82000 #constraints=35301
1612.76/1613.47	c nbDecision=82500 #constraints=35699
1670.14/1670.88	c nbDecision=83000 #constraints=36083
1708.82/1709.54	c nbDecision=83500 #constraints=36498
1744.91/1745.63	c nbDecision=84000 #constraints=36906
1764.00/1764.70	c nbDecision=84500 #constraints=37372
1800.00/1800.71	Received signal 15
1800.19/1800.99	
1800.19/1800.99	s UNKNOWN
1800.19/1800.99	
1800.19/1800.99	c user time= 1799.73 s
1800.19/1800.99	c system time= 0.561914 s
1800.19/1800.99	c wall clock time=1801

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/node13/watcher-357004-1176851234 -o ROOT/results/node13/solver-357004-1176851234 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357004-1176851234/instance-357004-1176851234.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.98 3/77 27882
/proc/meminfo: memFree=1666320/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=1620 CPUtime=0
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 133041290 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 405 175 126 317 0 84 0

[startup+0.0856031 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 27882
/proc/meminfo: memFree=1666320/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=3224 CPUtime=0.08
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 632 0 0 0 8 0 0 0 18 0 1 0 133041290 3301376 581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 806 581 131 317 0 485 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3224

[startup+0.101607 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 27882
/proc/meminfo: memFree=1666320/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=3620 CPUtime=0.09
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 729 0 0 0 9 0 0 0 18 0 1 0 133041290 3706880 678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 905 678 131 317 0 584 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3620

[startup+0.30165 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 27882
/proc/meminfo: memFree=1666320/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=8360 CPUtime=0.29
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 1935 0 0 0 28 1 0 0 19 0 1 0 133041290 8560640 1884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 2090 1884 137 317 0 1769 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8360

[startup+0.701735 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 27882
/proc/meminfo: memFree=1666320/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=8492 CPUtime=0.69
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 1952 0 0 0 68 1 0 0 22 0 1 0 133041290 8695808 1901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 2123 1901 139 317 0 1802 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8492

[startup+1.50191 s]
/proc/loadavg: 0.91 0.95 0.98 2/78 27883
/proc/meminfo: memFree=1659272/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=8492 CPUtime=1.49
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 1952 0 0 0 148 1 0 0 25 0 1 0 133041290 8695808 1901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 2123 1901 139 317 0 1802 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8492

[startup+3.10125 s]
/proc/loadavg: 0.91 0.95 0.98 2/78 27883
/proc/meminfo: memFree=1659144/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=8492 CPUtime=3.09
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 1952 0 0 0 308 1 0 0 25 0 1 0 133041290 8695808 1901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 2123 1901 139 317 0 1802 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8492

[startup+6.30193 s]
/proc/loadavg: 0.92 0.95 0.98 2/78 27883
/proc/meminfo: memFree=1659016/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=8492 CPUtime=6.29
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 1955 0 0 0 628 1 0 0 25 0 1 0 133041290 8695808 1904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715881 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 2123 1904 139 317 0 1802 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8492

[startup+12.7013 s]
/proc/loadavg: 0.93 0.95 0.98 2/78 27883
/proc/meminfo: memFree=1657744/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=10068 CPUtime=12.69
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 2334 0 0 0 1268 1 0 0 25 0 1 0 133041290 10309632 2283 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 2517 2283 139 317 0 2196 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10068

[startup+25.502 s]
/proc/loadavg: 0.94 0.96 0.98 2/78 27883
/proc/meminfo: memFree=1651728/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=16020 CPUtime=25.48
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 3798 0 0 0 2546 2 0 0 25 0 1 0 133041290 16404480 3747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 4005 3747 139 317 0 3684 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16020

[startup+51.1015 s]
/proc/loadavg: 0.96 0.96 0.98 2/78 27883
/proc/meminfo: memFree=1643152/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=25044 CPUtime=51.07
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 6021 0 0 0 5103 4 0 0 25 0 1 0 133041290 25645056 5970 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713884 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 6261 5970 139 317 0 5940 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 25044

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.98 2/78 27883
/proc/meminfo: memFree=1618960/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=49672 CPUtime=102.25
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 12007 0 0 0 10218 7 0 0 25 0 1 0 133041290 50864128 11956 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 12418 11956 170 317 0 12097 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 49672

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27883
/proc/meminfo: memFree=1602384/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=67340 CPUtime=162.23
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 16206 0 0 0 16212 11 0 0 25 0 1 0 133041290 68956160 16098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 16835 16098 170 317 0 16514 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 67340

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27883
/proc/meminfo: memFree=1588880/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=80084 CPUtime=222.21
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 19537 0 0 0 22207 14 0 0 25 0 1 0 133041290 82006016 19429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 20021 19429 170 317 0 19700 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 80084

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27883
/proc/meminfo: memFree=1574800/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=95828 CPUtime=282.19
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 23067 0 0 0 28202 17 0 0 25 0 1 0 133041290 98127872 22959 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 23957 22959 170 317 0 23636 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 95828

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27883
/proc/meminfo: memFree=1561936/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=111016 CPUtime=342.16
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 26248 0 0 0 34197 19 0 0 25 0 1 0 133041290 113680384 26140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 27754 26140 170 317 0 27433 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 111016

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27883
/proc/meminfo: memFree=1552528/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=120700 CPUtime=402.13
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 28746 0 0 0 40192 21 0 0 25 0 1 0 133041290 123596800 28524 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 30175 28524 170 317 0 29854 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 120700

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27883
/proc/meminfo: memFree=1542224/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=130328 CPUtime=462.11
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 31347 0 0 0 46189 22 0 0 25 0 1 0 133041290 133455872 31059 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 32582 31059 170 317 0 32261 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 130328

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 3/78 27883
/proc/meminfo: memFree=1532048/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=140628 CPUtime=522.08
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 33923 0 0 0 52184 24 0 0 25 0 1 0 133041290 144003072 33635 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 35157 33635 170 317 0 34836 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 140628

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27883
/proc/meminfo: memFree=1523280/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=149264 CPUtime=582.06
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 36133 0 0 0 58180 26 0 0 25 0 1 0 133041290 152846336 35779 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 37316 35779 170 317 0 36995 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 149264

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27883
/proc/meminfo: memFree=1516112/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=159660 CPUtime=642.04
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 38649 0 0 0 64176 28 0 0 25 0 1 0 133041290 163491840 37536 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 39915 37536 170 317 0 39594 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 159660


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27883
/proc/meminfo: memFree=1488080/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=187204 CPUtime=881.95
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 46095 0 0 0 88160 35 0 0 25 0 1 0 133041290 191696896 44553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 46801 44553 170 317 0 46480 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 187204

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27883
/proc/meminfo: memFree=1483472/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=191536 CPUtime=941.92
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 47312 0 0 0 94155 37 0 0 25 0 1 0 133041290 196132864 45737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 47884 45737 170 317 0 47563 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 191536

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27883
/proc/meminfo: memFree=1479376/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=194944 CPUtime=1001.9
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 48331 0 0 0 100152 38 0 0 25 0 1 0 133041290 199622656 46723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 48736 46723 170 317 0 48415 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 194944

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27883
/proc/meminfo: memFree=1474512/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=199548 CPUtime=1061.88
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 49569 0 0 0 106148 40 0 0 25 0 1 0 133041290 204337152 47961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 49887 47961 170 317 0 49566 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 199548

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27883
/proc/meminfo: memFree=1469264/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=204424 CPUtime=1121.85
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 50884 0 0 0 112144 41 0 0 25 0 1 0 133041290 209330176 49243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 51106 49243 170 317 0 50785 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 204424

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27883
/proc/meminfo: memFree=1460752/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=213948 CPUtime=1181.83
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 53016 0 0 0 118141 42 0 0 25 0 1 0 133041290 219082752 51375 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 53487 51375 170 317 0 53166 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 213948

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27883
/proc/meminfo: memFree=1455888/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=218408 CPUtime=1241.81
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 54202 0 0 0 124137 44 0 0 25 0 1 0 133041290 223649792 52561 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 54602 52561 170 317 0 54281 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 218408

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27883
/proc/meminfo: memFree=1450960/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=224232 CPUtime=1301.79
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 55646 0 0 0 130134 45 0 0 25 0 1 0 133041290 229613568 53774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 56058 53774 170 317 0 55737 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 224232

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27883
/proc/meminfo: memFree=1446288/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=229504 CPUtime=1361.76
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 57108 0 0 0 136130 46 0 0 25 0 1 0 133041290 235012096 54911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 57376 54911 170 317 0 57055 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 229504

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 27883
/proc/meminfo: memFree=1441552/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=233720 CPUtime=1421.74
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 58297 0 0 0 142126 48 0 0 25 0 1 0 133041290 239329280 56100 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 58430 56100 170 317 0 58109 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 233720

[startup+1482.3 s]
/proc/loadavg: 1.11 1.00 0.99 2/78 27883
/proc/meminfo: memFree=1436880/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=241332 CPUtime=1481.71
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 60090 0 0 0 148122 49 0 0 25 0 1 0 133041290 247123968 57268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 60333 57268 170 317 0 60012 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 241332

[startup+1542.3 s]
/proc/loadavg: 1.09 1.01 0.99 2/78 27883
/proc/meminfo: memFree=1429840/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=252776 CPUtime=1541.69
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 62779 0 0 0 154119 50 0 0 25 0 1 0 133041290 258842624 59033 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 63194 59033 170 317 0 62873 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 252776

[startup+1602.3 s]
/proc/loadavg: 1.14 1.04 1.00 2/78 27883
/proc/meminfo: memFree=1425296/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=257776 CPUtime=1601.67
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 64170 0 0 0 160115 52 0 0 25 0 1 0 133041290 263962624 60193 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 64444 60193 170 317 0 64123 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 257776

[startup+1662.3 s]
/proc/loadavg: 1.10 1.05 1.00 2/78 27883
/proc/meminfo: memFree=1421200/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=261984 CPUtime=1661.64
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 65267 0 0 0 166112 52 0 0 25 0 1 0 133041290 268271616 61191 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715645 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 65496 61191 170 317 0 65175 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 261984

[startup+1722.3 s]
/proc/loadavg: 1.15 1.07 1.01 2/78 27883
/proc/meminfo: memFree=1415056/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=268156 CPUtime=1721.62
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 66787 0 0 0 172108 54 0 0 25 0 1 0 133041290 274591744 62711 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 67039 62711 170 317 0 66718 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 268156

[startup+1782.3 s]
/proc/loadavg: 1.05 1.05 1.00 2/78 27883
/proc/meminfo: memFree=1408208/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=274852 CPUtime=1781.59
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 68634 0 0 0 178104 55 0 0 25 0 1 0 133041290 281448448 64395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 68713 64395 170 317 0 68392 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 274852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.04 1.05 1.00 2/78 27883
/proc/meminfo: memFree=1407120/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=275772 CPUtime=1800
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 68910 0 0 0 179944 56 0 0 25 0 1 0 133041290 282390528 64671 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 68943 64671 170 317 0 68622 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 275772

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.04 1.05 1.00 2/78 27883
/proc/meminfo: memFree=1407120/2055920 swapFree=4153084/4192956
[pid=27882] ppid=27880 vsize=275772 CPUtime=1800.29
/proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 68928 0 0 0 179973 56 0 0 25 0 1 0 133041290 282390528 64689 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27882/statm: 68943 64430 186 317 0 68622 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 275772

Child status: 0
Real time (s): 1801.05
CPU time (s): 1800.35
CPU user time (s): 1799.74
CPU system time (s): 0.604908
CPU usage (%): 99.9609
Max. virtual memory (cumulated for all children) (KiB): 275772

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

runsolver used 2.06269 second user time and 4.48132 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Tue Apr 17 23:07:15 UTC 2007

IDJOB= 357004
IDBENCH= 1766
IDSOLVER= 172
FILE ID= node13/357004-1176851234

PBS_JOBID= 4590175

Free space on /tmp= 66398 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-tr12-30.opb
COMMAND LINE= oree /tmp/evaluation/357004-1176851234/instance-357004-1176851234.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-357004-1176851234 -o ROOT/results/node13/solver-357004-1176851234 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357004-1176851234/instance-357004-1176851234.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  93a0ff34a98f6d4593d65282fbf98be9

RANDOM SEED= 418361592

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.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.259
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.259
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:       1666792 kB
Buffers:         34572 kB
Cached:         287352 kB
SwapCached:      19572 kB
Active:         260128 kB
Inactive:        96312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1666792 kB
SwapTotal:     4192956 kB
SwapFree:      4153084 kB
Dirty:            1996 kB
Writeback:           0 kB
Mapped:          34512 kB
Slab:            18176 kB
Committed_AS:  6523508 kB
PageTables:       1884 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= 66398 MiB

End job on node13 on Tue Apr 17 23:37:17 UTC 2007