Trace number 356924

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.13 1800.58

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-degen3.opb
MD5SUM869a8e6f75acef89713c9145ce005816
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 variables54540
Total number of constraints1503
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 constraints1503
Minimum length of a constraint60
Maximum length of a constraint6090
Number of terms in the objective function 47190
Biggest coefficient in the objective function 1547
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 563727
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 131073
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 563727
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...
1.89/1.90	c ...done
1.89/1.90	c #vars=54540 #constraints=2221 hasObjective=yes
2.89/2.99	c res. mode=mod
2.89/2.99	c VSIDS like heuristics
2.89/2.99	c complete search running
8.19/8.22	c restart after 401 decisions
8.29/8.31	c nbDecision=500 #constraints=2349
13.79/13.83	c restart after 801 decisions
14.29/14.32	c nbDecision=1000 #constraints=2500
21.48/21.59	c nbDecision=1500 #constraints=2736
22.28/22.34	c restart after 1601 decisions
27.09/27.11	c nbDecision=2000 #constraints=2869
32.58/32.68	c nbDecision=2500 #constraints=3054
36.78/36.86	c nbDecision=3000 #constraints=3183
38.48/38.55	c restart after 3201 decisions
40.69/40.78	c nbDecision=3500 #constraints=3272
46.09/46.12	c nbDecision=4000 #constraints=3415
50.48/50.53	c nbDecision=4500 #constraints=3536
53.88/53.97	c nbDecision=5000 #constraints=3606
57.09/57.12	c nbDecision=5500 #constraints=3680
60.78/60.82	c nbDecision=6000 #constraints=3762
65.67/65.70	c restart after 6401 decisions
65.77/65.82	c nbDecision=6500 #constraints=3980
70.97/71.07	c nbDecision=7000 #constraints=4080
75.77/75.82	c nbDecision=7500 #constraints=4184
80.57/80.68	c nbDecision=8000 #constraints=4289
86.67/86.74	c nbDecision=8500 #constraints=4500
92.67/92.70	c nbDecision=9000 #constraints=4734
97.87/97.94	c nbDecision=9500 #constraints=4913
102.77/102.81	c nbDecision=10000 #constraints=5034
108.77/108.89	c nbDecision=10500 #constraints=5209
114.86/114.96	c nbDecision=11000 #constraints=5411
121.16/121.25	c nbDecision=11500 #constraints=5545
126.86/126.90	c nbDecision=12000 #constraints=5721
132.56/132.70	c nbDecision=12500 #constraints=5790
135.46/135.59	c restart after 12801 decisions
135.76/135.89	c nbDecision=13000 #constraints=5866
142.16/142.29	c nbDecision=13500 #constraints=6004
148.16/148.22	c nbDecision=14000 #constraints=6094
153.25/153.38	c nbDecision=14500 #constraints=6191
158.85/158.91	c nbDecision=15000 #constraints=6294
164.25/164.37	c nbDecision=15500 #constraints=6397
170.46/170.55	c nbDecision=16000 #constraints=6530
175.65/175.76	c nbDecision=16500 #constraints=6601
182.14/182.20	c nbDecision=17000 #constraints=6750
188.44/188.54	c nbDecision=17500 #constraints=6886
194.25/194.38	c nbDecision=18000 #constraints=7000
200.35/200.42	c nbDecision=18500 #constraints=7096
207.44/207.59	c nbDecision=19000 #constraints=7239
213.94/214.10	c nbDecision=19500 #constraints=7343
219.74/219.82	c nbDecision=20000 #constraints=7461
225.73/225.80	c nbDecision=20500 #constraints=7553
232.53/232.66	c nbDecision=21000 #constraints=7659
238.93/239.04	c nbDecision=21500 #constraints=7795
245.53/245.67	c nbDecision=22000 #constraints=7912
252.03/252.19	c nbDecision=22500 #constraints=8064
259.53/259.64	c nbDecision=23000 #constraints=8211
267.23/267.31	c nbDecision=23500 #constraints=8342
274.52/274.67	c nbDecision=24000 #constraints=8472
281.72/281.87	c nbDecision=24500 #constraints=8662
289.52/289.66	c nbDecision=25000 #constraints=8787
295.52/295.63	c nbDecision=25500 #constraints=8922
297.01/297.12	c restart after 25601 decisions
301.61/301.75	c nbDecision=26000 #constraints=9054
308.91/309.06	c nbDecision=26500 #constraints=9106
315.62/315.79	c nbDecision=27000 #constraints=9169
322.91/323.07	c nbDecision=27500 #constraints=9254
330.71/330.89	c nbDecision=28000 #constraints=9340
339.51/339.65	c nbDecision=28500 #constraints=9478
348.00/348.12	c nbDecision=29000 #constraints=9575
354.10/354.23	c nbDecision=29500 #constraints=9661
362.20/362.34	c nbDecision=30000 #constraints=9722
370.20/370.39	c nbDecision=30500 #constraints=9827
378.80/378.96	c nbDecision=31000 #constraints=9881
387.10/387.25	c nbDecision=31500 #constraints=9958
395.49/395.65	c nbDecision=32000 #constraints=10057
403.69/403.85	c nbDecision=32500 #constraints=10211
409.89/410.04	c nbDecision=33000 #constraints=10303
418.19/418.34	c nbDecision=33500 #constraints=10409
427.49/427.64	c nbDecision=34000 #constraints=10493
436.28/436.44	c nbDecision=34500 #constraints=10700
443.48/443.62	c nbDecision=35000 #constraints=10882
452.08/452.20	c nbDecision=35500 #constraints=11101
461.48/461.61	c nbDecision=36000 #constraints=11282
471.27/471.40	c nbDecision=36500 #constraints=11385
481.07/481.20	c nbDecision=37000 #constraints=11585
491.27/491.42	c nbDecision=37500 #constraints=11689
501.67/501.88	c nbDecision=38000 #constraints=11879
512.17/512.38	c nbDecision=38500 #constraints=12015
523.66/523.83	c nbDecision=39000 #constraints=12090
533.66/533.82	c nbDecision=39500 #constraints=12267
543.76/543.90	c nbDecision=40000 #constraints=12448
554.65/554.83	c nbDecision=40500 #constraints=12651
565.05/565.28	c nbDecision=41000 #constraints=12724
574.65/574.84	c nbDecision=41500 #constraints=12831
585.85/586.06	c nbDecision=42000 #constraints=13037
596.04/596.22	c nbDecision=42500 #constraints=13300
606.64/606.90	c nbDecision=43000 #constraints=13574
616.94/617.18	c nbDecision=43500 #constraints=13786
629.54/629.74	c nbDecision=44000 #constraints=13905
641.63/641.86	c nbDecision=44500 #constraints=14040
653.23/653.46	c nbDecision=45000 #constraints=14228
663.73/663.90	c nbDecision=45500 #constraints=14529
676.42/676.63	c nbDecision=46000 #constraints=14611
691.12/691.34	c nbDecision=46500 #constraints=14730
704.22/704.45	c nbDecision=47000 #constraints=14866
715.01/715.25	c nbDecision=47500 #constraints=15140
726.71/726.94	c nbDecision=48000 #constraints=15482
740.51/740.76	c nbDecision=48500 #constraints=15605
752.80/753.05	c nbDecision=49000 #constraints=15757
763.50/763.79	c nbDecision=49500 #constraints=15972
776.80/777.07	c nbDecision=50000 #constraints=16227
789.29/789.52	c nbDecision=50500 #constraints=16480
803.19/803.40	c nbDecision=51000 #constraints=16589
809.09/809.37	c restart after 51201 decisions
812.99/813.20	c nbDecision=51500 #constraints=16718
829.98/830.27	c nbDecision=52000 #constraints=16794
845.88/846.19	c nbDecision=52500 #constraints=16887
861.78/862.09	c nbDecision=53000 #constraints=16980
878.07/878.31	c nbDecision=53500 #constraints=17039
894.47/894.70	c nbDecision=54000 #constraints=17101
908.66/908.96	c nbDecision=54500 #constraints=17228
924.96/925.24	c nbDecision=55000 #constraints=17319
943.85/944.15	c nbDecision=55500 #constraints=17390
961.25/961.54	c nbDecision=56000 #constraints=17455
979.94/980.24	c nbDecision=56500 #constraints=17540
997.94/998.22	c nbDecision=57000 #constraints=17617
1011.44/1011.71	c nbDecision=57500 #constraints=17737
1027.63/1027.96	c nbDecision=58000 #constraints=17803
1041.83/1042.15	c nbDecision=58500 #constraints=17881
1055.33/1055.69	c nbDecision=59000 #constraints=18048
1069.22/1069.55	c nbDecision=59500 #constraints=18168
1083.22/1083.53	c nbDecision=60000 #constraints=18384
1096.52/1096.85	c nbDecision=60500 #constraints=18544
1112.21/1112.52	c nbDecision=61000 #constraints=18698
1130.71/1131.01	c nbDecision=61500 #constraints=18762
1146.11/1146.48	c nbDecision=62000 #constraints=18969
1164.80/1165.13	c nbDecision=62500 #constraints=19142
1184.89/1185.29	c nbDecision=63000 #constraints=19223
1199.39/1199.76	c nbDecision=63500 #constraints=19378
1214.89/1215.27	c nbDecision=64000 #constraints=19483
1228.48/1228.85	c nbDecision=64500 #constraints=19622
1242.78/1243.10	c nbDecision=65000 #constraints=19799
1259.28/1259.66	c nbDecision=65500 #constraints=19969
1274.48/1274.90	c nbDecision=66000 #constraints=20083
1289.07/1289.42	c nbDecision=66500 #constraints=20323
1304.27/1304.69	c nbDecision=67000 #constraints=20513
1320.96/1321.32	c nbDecision=67500 #constraints=20634
1338.27/1338.63	c nbDecision=68000 #constraints=20824
1355.45/1355.90	c nbDecision=68500 #constraints=20958
1377.85/1378.25	c nbDecision=69000 #constraints=21062
1391.75/1392.12	c nbDecision=69500 #constraints=21261
1407.74/1408.10	c nbDecision=70000 #constraints=21400
1427.53/1427.92	c nbDecision=70500 #constraints=21554
1443.13/1443.58	c nbDecision=71000 #constraints=21762
1459.83/1460.20	c nbDecision=71500 #constraints=21854
1476.42/1476.82	c nbDecision=72000 #constraints=22013
1493.22/1493.61	c nbDecision=72500 #constraints=22095
1515.32/1515.77	c nbDecision=73000 #constraints=22165
1530.11/1530.51	c nbDecision=73500 #constraints=22381
1545.81/1546.25	c nbDecision=74000 #constraints=22623
1563.00/1563.41	c nbDecision=74500 #constraints=22788
1584.60/1585.09	c nbDecision=75000 #constraints=22874
1602.49/1602.96	c nbDecision=75500 #constraints=22982
1618.69/1619.20	c nbDecision=76000 #constraints=23138
1639.38/1639.85	c nbDecision=76500 #constraints=23249
1659.07/1659.56	c nbDecision=77000 #constraints=23307
1677.78/1678.23	c nbDecision=77500 #constraints=23566
1697.17/1697.61	c nbDecision=78000 #constraints=23767
1711.07/1711.53	c nbDecision=78500 #constraints=24086
1734.26/1734.75	c nbDecision=79000 #constraints=24172
1754.06/1754.56	c nbDecision=79500 #constraints=24290
1773.15/1773.63	c nbDecision=80000 #constraints=24516
1789.55/1790.08	c nbDecision=80500 #constraints=24839
1800.04/1800.50	Received signal 15
1800.04/1800.50	
1800.04/1800.50	s UNKNOWN
1800.04/1800.50	
1800.04/1800.50	c user time= 1799.45 s
1800.04/1800.50	c system time= 0.608907 s
1800.04/1800.50	c wall clock time=1800.51

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/node18/watcher-356924-1176848541 -o ROOT/results/node18/solver-356924-1176848541 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356924-1176848541/instance-356924-1176848541.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.96 3/77 30174
/proc/meminfo: memFree=1823384/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=1620 CPUtime=0
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 188 0 0 0 0 0 0 0 18 0 1 0 132771560 1658880 170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 405 172 126 317 0 84 0

[startup+0.00749211 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 30174
/proc/meminfo: memFree=1823384/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=1620 CPUtime=0
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 199 0 0 0 0 0 0 0 18 0 1 0 132771560 1658880 181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 405 181 126 317 0 84 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1620

[startup+0.1015 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 30174
/proc/meminfo: memFree=1823384/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=3440 CPUtime=0.09
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 829 0 0 0 9 0 0 0 18 0 1 0 132771560 3522560 584 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 860 584 128 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.301519 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 30174
/proc/meminfo: memFree=1823384/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=7852 CPUtime=0.29
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 1835 0 0 0 29 0 0 0 19 0 1 0 132771560 8040448 1590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 1963 1590 131 317 0 1642 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7852

[startup+0.701558 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 30174
/proc/meminfo: memFree=1823384/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=15644 CPUtime=0.69
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 3572 0 0 0 68 1 0 0 23 0 1 0 132771560 16019456 3327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 3911 3327 131 317 0 3590 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15644

[startup+1.50164 s]
/proc/loadavg: 0.91 0.95 0.96 2/78 30175
/proc/meminfo: memFree=1805264/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=30392 CPUtime=1.49
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 6930 0 0 0 145 4 0 0 25 0 1 0 132771560 31121408 6685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 7598 6685 131 317 0 7277 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30392

[startup+3.10179 s]
/proc/loadavg: 0.91 0.95 0.96 2/78 30175
/proc/meminfo: memFree=1783376/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=53288 CPUtime=3.09
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 12520 0 0 0 303 6 0 0 25 0 1 0 132771560 54566912 12275 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 13322 12275 137 317 0 13001 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53288

[startup+6.3011 s]
/proc/loadavg: 1.00 0.97 0.96 2/78 30175
/proc/meminfo: memFree=1773392/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=54692 CPUtime=6.29
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 12839 0 0 0 622 7 0 0 25 0 1 0 132771560 56004608 12594 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 13673 12594 139 317 0 13352 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 54692

[startup+12.7027 s]
/proc/loadavg: 1.00 0.97 0.96 2/78 30175
/proc/meminfo: memFree=1770512/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=57724 CPUtime=12.69
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 13598 0 0 0 1262 7 0 0 25 0 1 0 132771560 59109376 13353 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 14431 13353 139 317 0 14110 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57724

[startup+25.502 s]
/proc/loadavg: 1.00 0.97 0.96 2/78 30175
/proc/meminfo: memFree=1764688/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=63276 CPUtime=25.49
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 15006 0 0 0 2541 8 0 0 25 0 1 0 132771560 64794624 14761 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 15819 14761 139 317 0 15498 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 63276

[startup+51.1014 s]
/proc/loadavg: 1.00 0.97 0.96 2/78 30175
/proc/meminfo: memFree=1755216/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=72980 CPUtime=51.08
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 17409 0 0 0 5099 9 0 0 25 0 1 0 132771560 74731520 17164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 18245 17164 139 317 0 17924 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 72980

[startup+102.305 s]
/proc/loadavg: 1.05 0.99 0.97 2/78 30175
/proc/meminfo: memFree=1734928/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=93668 CPUtime=102.27
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 22441 0 0 0 10215 12 0 0 25 0 1 0 132771560 95916032 22196 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 23417 22196 139 317 0 23096 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 93668

[startup+162.301 s]
/proc/loadavg: 1.02 0.99 0.97 2/78 30175
/proc/meminfo: memFree=1717392/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=112108 CPUtime=162.25
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 26828 0 0 0 16210 15 0 0 25 0 1 0 132771560 114798592 26583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 28027 26583 139 317 0 27706 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 112108

[startup+222.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 30175
/proc/meminfo: memFree=1706448/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=122520 CPUtime=222.23
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 29553 0 0 0 22206 17 0 0 25 0 1 0 132771560 125460480 29308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716193 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 30630 29308 139 317 0 30309 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 122520

[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 30175
/proc/meminfo: memFree=1693264/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=136224 CPUtime=282.22
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 32884 0 0 0 28202 20 0 0 25 0 1 0 132771560 139493376 32581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 34056 32581 139 317 0 33735 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 136224

[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 30175
/proc/meminfo: memFree=1683600/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=145368 CPUtime=342.21
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 35282 0 0 0 34199 22 0 0 25 0 1 0 132771560 148856832 34979 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 36342 34979 139 317 0 36021 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 145368

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 30175
/proc/meminfo: memFree=1671504/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=160104 CPUtime=402.19
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 38313 0 0 0 40195 24 0 0 25 0 1 0 132771560 163946496 38010 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 40026 38010 139 317 0 39705 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 160104

[startup+462.301 s]
/proc/loadavg: 1.08 1.00 0.97 2/78 30175
/proc/meminfo: memFree=1656336/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=175980 CPUtime=462.18
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 42123 0 0 0 46191 27 0 0 25 0 1 0 132771560 180203520 41820 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 43995 41820 139 317 0 43674 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 175980

[startup+522.302 s]
/proc/loadavg: 1.03 1.00 0.97 2/78 30175
/proc/meminfo: memFree=1646800/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=184552 CPUtime=522.16
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 44478 0 0 0 52188 28 0 0 25 0 1 0 132771560 188981248 44175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 46138 44175 139 317 0 45817 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 184552

[startup+582.302 s]
/proc/loadavg: 1.01 1.00 0.97 2/78 30175
/proc/meminfo: memFree=1636880/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=193340 CPUtime=582.14
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 46936 0 0 0 58184 30 0 0 25 0 1 0 132771560 197980160 46633 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 48335 46633 139 317 0 48014 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 193340

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 30175
/proc/meminfo: memFree=1625424/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=204136 CPUtime=642.13
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 49798 0 0 0 64180 33 0 0 25 0 1 0 132771560 209035264 49495 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 51034 49495 139 317 0 50713 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 204136


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 30175
/proc/meminfo: memFree=1587280/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=247240 CPUtime=882.07
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 59443 0 0 0 88165 42 0 0 25 0 1 0 132771560 253173760 59026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 61810 59026 139 317 0 61489 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 247240

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 30177
/proc/meminfo: memFree=1584272/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=250120 CPUtime=942.05
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 60164 0 0 0 94162 43 0 0 25 0 1 0 132771560 256122880 59747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 62530 59747 139 317 0 62209 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 250120

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 30177
/proc/meminfo: memFree=1581712/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=252612 CPUtime=1002.04
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 60809 0 0 0 100160 44 0 0 25 0 1 0 132771560 258674688 60392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 63153 60392 139 317 0 62832 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 252612

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.97 3/78 30177
/proc/meminfo: memFree=1573968/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=262936 CPUtime=1062.03
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 62737 0 0 0 106158 45 0 0 25 0 1 0 132771560 269246464 62320 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 65734 62320 139 317 0 65413 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 262936

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.97 3/78 30177
/proc/meminfo: memFree=1567312/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=269088 CPUtime=1122.01
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 64402 0 0 0 112155 46 0 0 25 0 1 0 132771560 275546112 63985 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 67272 63985 139 317 0 66951 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 269088

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 30177
/proc/meminfo: memFree=1562768/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=273304 CPUtime=1181.99
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 65535 0 0 0 118152 47 0 0 25 0 1 0 132771560 279863296 65118 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 68326 65118 139 317 0 68005 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 273304

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 30177
/proc/meminfo: memFree=1557136/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=278812 CPUtime=1241.98
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 66934 0 0 0 124150 48 0 0 25 0 1 0 132771560 285503488 66517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 69703 66517 139 317 0 69382 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 278812

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 30177
/proc/meminfo: memFree=1550160/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=285172 CPUtime=1301.97
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 68664 0 0 0 130147 50 0 0 25 0 1 0 132771560 292016128 68247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 71293 68247 139 317 0 70972 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 285172

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 30177
/proc/meminfo: memFree=1545296/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=289468 CPUtime=1361.95
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 69869 0 0 0 136144 51 0 0 25 0 1 0 132771560 296415232 69452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 72367 69452 139 317 0 72046 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 289468

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 30177
/proc/meminfo: memFree=1540048/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=294204 CPUtime=1421.94
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 71187 0 0 0 142142 52 0 0 25 0 1 0 132771560 301264896 70770 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 73551 70770 139 317 0 73230 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 294204

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 30177
/proc/meminfo: memFree=1535056/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=298696 CPUtime=1481.92
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 72422 0 0 0 148138 54 0 0 25 0 1 0 132771560 305864704 72005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 74674 72005 139 317 0 74353 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 298696

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 30177
/proc/meminfo: memFree=1530704/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=302764 CPUtime=1541.9
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 73522 0 0 0 154136 54 0 0 25 0 1 0 132771560 310030336 73105 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 75691 73105 139 317 0 75370 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 302764

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 30177
/proc/meminfo: memFree=1525904/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=306976 CPUtime=1601.89
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 74697 0 0 0 160134 55 0 0 25 0 1 0 132771560 314343424 74280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712500 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 76744 74280 139 317 0 76423 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 306976

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 30177
/proc/meminfo: memFree=1522000/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=310392 CPUtime=1661.87
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 75664 0 0 0 166131 56 0 0 25 0 1 0 132771560 317841408 75247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 77598 75247 139 317 0 77277 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 310392

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 30177
/proc/meminfo: memFree=1514896/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=316972 CPUtime=1721.86
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 77440 0 0 0 172128 58 0 0 25 0 1 0 132771560 324579328 77023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 79243 77023 139 317 0 78922 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 316972

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 30177
/proc/meminfo: memFree=1509200/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=322156 CPUtime=1781.85
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 78843 0 0 0 178125 60 0 0 25 0 1 0 132771560 329887744 78426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 80539 78426 139 317 0 80218 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 322156



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 30177
/proc/meminfo: memFree=1507600/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=323744 CPUtime=1800.04
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 79246 0 0 0 179944 60 0 0 25 0 1 0 132771560 331513856 78829 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 80936 78829 139 317 0 80615 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 323744

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 30177
/proc/meminfo: memFree=1507600/2055920 swapFree=4142712/4192956
[pid=30174] ppid=30172 vsize=323744 CPUtime=1800.04
/proc/30174/stat : 30174 (oree) R 30172 30174 29832 0 -1 4194304 79246 0 0 0 179944 60 0 0 25 0 1 0 132771560 331513856 78829 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30174/statm: 80936 78829 139 317 0 80615 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 323744

Child status: 0
Real time (s): 1800.58
CPU time (s): 1800.13
CPU user time (s): 1799.47
CPU system time (s): 0.661899
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 323744

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

runsolver used 2.13567 second user time and 4.32534 second system time

The end

Launcher Data (download as text)

Begin job on node18 on Tue Apr 17 22:22:22 UTC 2007

IDJOB= 356924
IDBENCH= 1645
IDSOLVER= 172
FILE ID= node18/356924-1176848541

PBS_JOBID= 4590187

Free space on /tmp= 66502 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  869a8e6f75acef89713c9145ce005816

RANDOM SEED= 900860394

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node18.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1823728 kB
Buffers:         28300 kB
Cached:         143872 kB
SwapCached:      18432 kB
Active:          97664 kB
Inactive:       101896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1823728 kB
SwapTotal:     4192956 kB
SwapFree:      4142712 kB
Dirty:            9312 kB
Writeback:           0 kB
Mapped:          30100 kB
Slab:            18144 kB
Committed_AS:  4325624 kB
PageTables:       1780 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= 66502 MiB

End job on node18 on Tue Apr 17 22:52:24 UTC 2007