Trace number 356881

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? (MO) 1711.93 1712.64

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos2.opb
MD5SUMc8a32fda50ac377272d463f6016dd614
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark1576.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved NO
Number of variables32294
Total number of constraints1133
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)13
Number of constraints which are nor clauses,nor cardinality constraints1120
Minimum length of a constraint10
Maximum length of a constraint4780
Number of terms in the objective function 124
Biggest coefficient in the objective function 65537
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 524408
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 528063
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.29/0.39	c ...done
0.29/0.39	c #vars=32294 #constraints=1177 hasObjective=yes
0.39/0.45	c res. mode=mod
0.39/0.45	c VSIDS like heuristics
0.39/0.45	c complete search running
1.29/1.39	c restart after 401 decisions
1.59/1.65	c nbDecision=500 #constraints=1202
2.09/2.14	c restart after 801 decisions
2.89/2.99	c nbDecision=1000 #constraints=1260
4.79/4.90	c nbDecision=1500 #constraints=1321
5.19/5.28	c restart after 1601 decisions
7.19/7.29	c nbDecision=2000 #constraints=1396
9.79/9.88	c nbDecision=2500 #constraints=1482
12.58/12.69	c nbDecision=3000 #constraints=1569
14.09/14.18	c restart after 3201 decisions
15.09/15.13	c nbDecision=3500 #constraints=1624
16.28/16.34	c nbDecision=4000 #constraints=1647
17.38/17.49	c nbDecision=4500 #constraints=1671
18.59/18.65	c nbDecision=5000 #constraints=1694
19.88/19.96	c nbDecision=5500 #constraints=1718
21.18/21.26	c nbDecision=6000 #constraints=1742
22.18/22.23	c restart after 6401 decisions
22.99/23.07	c nbDecision=6500 #constraints=1771
26.08/26.19	c nbDecision=7000 #constraints=1846
29.28/29.39	c nbDecision=7500 #constraints=1921
32.68/32.79	c nbDecision=8000 #constraints=1996
36.28/36.36	c nbDecision=8500 #constraints=2070
40.07/40.12	c nbDecision=9000 #constraints=2145
43.98/44.05	c nbDecision=9500 #constraints=2220
48.17/48.23	c nbDecision=10000 #constraints=2295
52.37/52.43	c nbDecision=10500 #constraints=2370
56.87/56.94	c nbDecision=11000 #constraints=2447
61.78/61.84	c nbDecision=11500 #constraints=2522
66.68/66.74	c nbDecision=12000 #constraints=2597
71.67/71.76	c nbDecision=12500 #constraints=2671
75.17/75.23	c restart after 12801 decisions
77.67/77.76	c nbDecision=13000 #constraints=2760
79.96/80.07	c nbDecision=13500 #constraints=2829
82.87/82.90	c nbDecision=14000 #constraints=2903
85.96/86.04	c nbDecision=14500 #constraints=2986
89.46/89.51	c nbDecision=15000 #constraints=3107
93.57/93.66	c nbDecision=15500 #constraints=3236
97.57/97.68	c nbDecision=16000 #constraints=3345
100.96/101.08	c nbDecision=16500 #constraints=3417
104.37/104.44	c nbDecision=17000 #constraints=3483
108.26/108.34	c nbDecision=17500 #constraints=3557
112.36/112.45	c nbDecision=18000 #constraints=3635
116.85/116.93	c nbDecision=18500 #constraints=3709
120.86/120.96	c nbDecision=19000 #constraints=3771
125.96/126.05	c nbDecision=19500 #constraints=3856
130.05/130.16	c nbDecision=20000 #constraints=3918
134.95/135.02	c nbDecision=20500 #constraints=3994
140.25/140.38	c nbDecision=21000 #constraints=4079
145.06/145.18	c nbDecision=21500 #constraints=4150
150.24/150.30	c nbDecision=22000 #constraints=4219
155.84/155.92	c nbDecision=22500 #constraints=4291
161.24/161.34	c nbDecision=23000 #constraints=4358
167.15/167.27	c nbDecision=23500 #constraints=4429
173.84/173.97	c nbDecision=24000 #constraints=4505
180.35/180.43	c nbDecision=24500 #constraints=4582
187.24/187.31	c nbDecision=25000 #constraints=4654
194.34/194.48	c nbDecision=25500 #constraints=4734
195.53/195.65	c restart after 25601 decisions
202.03/202.19	c nbDecision=26000 #constraints=4762
206.04/206.16	c nbDecision=26500 #constraints=4785
209.94/210.08	c nbDecision=27000 #constraints=4807
214.14/214.22	c nbDecision=27500 #constraints=4830
218.13/218.22	c nbDecision=28000 #constraints=4852
222.23/222.33	c nbDecision=28500 #constraints=4875
226.13/226.25	c nbDecision=29000 #constraints=4898
230.13/230.26	c nbDecision=29500 #constraints=4920
234.13/234.27	c nbDecision=30000 #constraints=4942
238.23/238.37	c nbDecision=30500 #constraints=4965
242.32/242.44	c nbDecision=31000 #constraints=4987
246.32/246.43	c nbDecision=31500 #constraints=5009
250.18/250.38	c nbDecision=32000 #constraints=5031
254.29/254.40	c nbDecision=32500 #constraints=5054
258.18/258.39	c nbDecision=33000 #constraints=5076
262.07/262.24	c nbDecision=33500 #constraints=5099
265.26/265.43	c nbDecision=34000 #constraints=5122
269.46/269.64	c nbDecision=34500 #constraints=5145
273.34/273.51	c nbDecision=35000 #constraints=5166
277.23/277.47	c nbDecision=35500 #constraints=5188
281.23/281.48	c nbDecision=36000 #constraints=5210
284.12/284.37	c nbDecision=36500 #constraints=5234
288.12/288.40	c nbDecision=37000 #constraints=5257
291.32/291.59	c nbDecision=37500 #constraints=5281
295.52/295.79	c nbDecision=38000 #constraints=5304
299.61/299.85	c nbDecision=38500 #constraints=5326
303.60/303.89	c nbDecision=39000 #constraints=5348
307.71/307.98	c nbDecision=39500 #constraints=5371
311.60/311.88	c nbDecision=40000 #constraints=5392
315.90/316.12	c nbDecision=40500 #constraints=5416
320.00/320.26	c nbDecision=41000 #constraints=5438
324.10/324.37	c nbDecision=41500 #constraints=5461
328.09/328.36	c nbDecision=42000 #constraints=5483
332.19/332.41	c nbDecision=42500 #constraints=5505
336.19/336.42	c nbDecision=43000 #constraints=5527
340.29/340.52	c nbDecision=43500 #constraints=5549
344.49/344.70	c nbDecision=44000 #constraints=5572
348.49/348.76	c nbDecision=44500 #constraints=5594
352.59/352.80	c nbDecision=45000 #constraints=5616
356.78/357.06	c nbDecision=45500 #constraints=5639
359.58/359.82	c nbDecision=46000 #constraints=5661
363.58/363.88	c nbDecision=46500 #constraints=5683
367.68/367.95	c nbDecision=47000 #constraints=5706
370.49/370.75	c nbDecision=47500 #constraints=5731
373.58/373.85	c nbDecision=48000 #constraints=5753
377.88/378.13	c nbDecision=48500 #constraints=5776
382.08/382.33	c nbDecision=49000 #constraints=5799
386.08/386.34	c nbDecision=49500 #constraints=5821
390.18/390.41	c nbDecision=50000 #constraints=5843
394.18/394.49	c nbDecision=50500 #constraints=5865
398.27/398.56	c nbDecision=51000 #constraints=5887
400.08/400.32	c restart after 51201 decisions
406.78/407.05	c nbDecision=51500 #constraints=5930
412.17/412.47	c nbDecision=52000 #constraints=6000
418.07/418.38	c nbDecision=52500 #constraints=6068
423.47/423.74	c nbDecision=53000 #constraints=6128
429.07/429.36	c nbDecision=53500 #constraints=6192
435.16/435.48	c nbDecision=54000 #constraints=6257
441.36/441.63	c nbDecision=54500 #constraints=6325
447.27/447.51	c nbDecision=55000 #constraints=6385
453.27/453.50	c nbDecision=55500 #constraints=6465
459.66/459.97	c nbDecision=56000 #constraints=6530
466.17/466.43	c nbDecision=56500 #constraints=6596
473.86/474.19	c nbDecision=57000 #constraints=6671
482.36/482.60	c nbDecision=57500 #constraints=6744
490.95/491.29	c nbDecision=58000 #constraints=6846
499.85/500.13	c nbDecision=58500 #constraints=6926
509.64/509.96	c nbDecision=59000 #constraints=7023
522.55/522.82	c nbDecision=59500 #constraints=7124
534.14/534.45	c nbDecision=60000 #constraints=7212
547.04/547.30	c nbDecision=60500 #constraints=7318
557.44/557.72	c nbDecision=61000 #constraints=7398
570.64/570.94	c nbDecision=61500 #constraints=7497
585.53/585.80	c nbDecision=62000 #constraints=7601
598.93/599.28	c nbDecision=62500 #constraints=7702
613.32/613.65	c nbDecision=63000 #constraints=7797
630.82/631.17	c nbDecision=63500 #constraints=7945
645.91/646.24	c nbDecision=64000 #constraints=8071
662.01/662.31	c nbDecision=64500 #constraints=8181
680.51/680.80	c nbDecision=65000 #constraints=8283
700.70/701.03	c nbDecision=65500 #constraints=8397
716.40/716.72	c nbDecision=66000 #constraints=8522
733.99/734.31	c nbDecision=66500 #constraints=8648
754.88/755.22	c nbDecision=67000 #constraints=8751
776.88/777.25	c nbDecision=67500 #constraints=8856
797.97/798.36	c nbDecision=68000 #constraints=9006
819.86/820.28	c nbDecision=68500 #constraints=9122
845.16/845.52	c nbDecision=69000 #constraints=9281
865.85/866.27	c nbDecision=69500 #constraints=9447
891.84/892.28	c nbDecision=70000 #constraints=9574
915.14/915.54	c nbDecision=70500 #constraints=9671
939.13/939.52	c nbDecision=71000 #constraints=9768
967.54/967.93	c nbDecision=71500 #constraints=9883
996.02/996.49	c nbDecision=72000 #constraints=9996
1025.31/1025.78	c nbDecision=72500 #constraints=10103
1058.71/1059.19	c nbDecision=73000 #constraints=10234
1094.30/1094.78	c nbDecision=73500 #constraints=10370
1127.09/1127.51	c nbDecision=74000 #constraints=10476
1163.98/1164.42	c nbDecision=74500 #constraints=10604
1203.07/1203.56	c nbDecision=75000 #constraints=10732
1239.75/1240.21	c nbDecision=75500 #constraints=10852
1278.25/1278.78	c nbDecision=76000 #constraints=10973
1317.24/1317.73	c nbDecision=76500 #constraints=11100
1357.32/1357.84	c nbDecision=77000 #constraints=11223
1397.21/1397.78	c nbDecision=77500 #constraints=11340
1445.21/1445.76	c nbDecision=78000 #constraints=11482
1489.49/1490.05	c nbDecision=78500 #constraints=11623
1542.54/1543.13	c nbDecision=79000 #constraints=11777
1592.89/1593.56	c nbDecision=79500 #constraints=11907
1648.74/1649.48	c nbDecision=80000 #constraints=12044
1702.79/1703.51	c nbDecision=80500 #constraints=12193
1711.38/1712.10	Received signal 15
1711.58/1712.37	
1711.58/1712.37	s UNKNOWN
1711.58/1712.37	
1711.58/1712.37	c user time= 1709.61 s
1711.58/1712.37	c system time= 2.05469 s
1711.58/1712.37	c wall clock time=1712.37

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/node19/watcher-356881-1176847015 -o ROOT/results/node19/solver-356881-1176847015 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356881-1176847015/instance-356881-1176847015.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.78 0.95 0.98 3/77 10637
/proc/meminfo: memFree=1505368/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=1468 CPUtime=0
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 188 0 0 0 0 0 0 0 18 0 1 0 132618878 1503232 170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134831202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 367 170 131 317 0 46 0

[startup+0.072916 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 10637
/proc/meminfo: memFree=1505368/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=3364 CPUtime=0.07
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 532 0 0 0 7 0 0 0 18 0 1 0 132618878 3444736 514 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 841 514 131 317 0 520 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3364

[startup+0.101918 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 10637
/proc/meminfo: memFree=1505368/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=3944 CPUtime=0.09
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 661 0 0 0 9 0 0 0 18 0 1 0 132618878 4038656 643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 986 643 131 317 0 665 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3944

[startup+0.301939 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 10637
/proc/meminfo: memFree=1505368/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=8668 CPUtime=0.29
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 1649 0 0 0 29 0 0 0 19 0 1 0 132618878 8876032 1631 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 2167 1631 131 317 0 1846 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8668

[startup+0.701984 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 10637
/proc/meminfo: memFree=1505368/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=15996 CPUtime=0.69
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 3374 0 0 0 68 1 0 0 23 0 1 0 132618878 16379904 3356 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 3999 3356 139 317 0 3678 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15996

[startup+1.50107 s]
/proc/loadavg: 0.80 0.95 0.98 2/78 10638
/proc/meminfo: memFree=1491856/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=18632 CPUtime=1.49
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 3902 0 0 0 148 1 0 0 25 0 1 0 132618878 19079168 3884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272674 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 4658 3884 139 317 0 4337 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18632

[startup+3.10124 s]
/proc/loadavg: 0.80 0.95 0.98 2/78 10638
/proc/meminfo: memFree=1487760/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=28332 CPUtime=3.09
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 6015 0 0 0 307 2 0 0 25 0 1 0 132618878 29011968 5960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278915 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 7083 5960 139 317 0 6762 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28332

[startup+6.30159 s]
/proc/loadavg: 0.81 0.95 0.98 2/78 10638
/proc/meminfo: memFree=1470608/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=45284 CPUtime=6.29
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 10282 0 0 0 625 4 0 0 25 0 1 0 132618878 46370816 9551 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271355 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 11321 9551 139 317 0 11000 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45284

[startup+12.7013 s]
/proc/loadavg: 0.83 0.95 0.98 2/78 10638
/proc/meminfo: memFree=1447056/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=76596 CPUtime=12.68
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 16985 0 0 0 1261 7 0 0 25 0 1 0 132618878 78434304 16249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718671 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 19149 16249 139 317 0 18828 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 76596

[startup+25.5017 s]
/proc/loadavg: 0.85 0.95 0.98 2/78 10638
/proc/meminfo: memFree=1413072/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=111408 CPUtime=25.48
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 24297 0 0 0 2538 10 0 0 25 0 1 0 132618878 114081792 23533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134590710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 27852 23533 139 317 0 27531 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 111408

[startup+51.1015 s]
/proc/loadavg: 0.91 0.96 0.98 2/78 10638
/proc/meminfo: memFree=1348880/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=185500 CPUtime=51.08
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 40129 0 0 0 5091 17 0 0 25 0 1 0 132618878 189952000 39330 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 46375 39330 139 317 0 46054 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 185500

[startup+102.306 s]
/proc/loadavg: 0.96 0.96 0.98 2/78 10638
/proc/meminfo: memFree=1218768/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=335232 CPUtime=102.27
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 73837 0 0 0 10196 31 0 0 25 0 1 0 132618878 343277568 71608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593546 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 83808 71608 139 317 0 83487 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 335232

[startup+162.302 s]
/proc/loadavg: 0.98 0.97 0.98 2/78 10638
/proc/meminfo: memFree=1102288/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=469220 CPUtime=162.24
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 105243 0 0 0 16181 43 0 0 25 0 1 0 132618878 480481280 100875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 117305 100875 139 317 0 116984 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 469220

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10638
/proc/meminfo: memFree=1060112/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=516776 CPUtime=222.23
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 116691 0 0 0 22174 49 0 0 25 0 1 0 132618878 529178624 111153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 129194 111153 139 317 0 128873 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 516776

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/84 10804
/proc/meminfo: memFree=1053520/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=523520 CPUtime=282.13
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 118334 0 0 0 28163 50 0 0 25 0 1 0 132618878 536084480 112796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 130880 112796 139 317 0 130559 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 523520

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10836
/proc/meminfo: memFree=1048464/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=528336 CPUtime=342.09
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 119556 0 0 0 34158 51 0 0 25 0 1 0 132618878 541016064 114018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 132084 114018 139 317 0 131763 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 528336

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10836
/proc/meminfo: memFree=1041936/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=535236 CPUtime=402.07
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 121181 0 0 0 40155 52 0 0 25 0 1 0 132618878 548081664 115643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716120 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 133809 115643 139 317 0 133488 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 535236

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10836
/proc/meminfo: memFree=955472/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=632164 CPUtime=462.06
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 143512 0 0 0 46146 60 0 0 25 0 1 0 132618878 647335936 137382 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 158041 137382 139 317 0 157720 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 632164

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10836
/proc/meminfo: memFree=853968/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=751040 CPUtime=522.05
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 172719 0 0 0 52134 71 0 0 25 0 1 0 132618878 769064960 162888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 187760 162888 139 317 0 187439 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 751040

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10836
/proc/meminfo: memFree=790352/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=816240 CPUtime=582.03
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 192166 0 0 0 58125 78 0 0 25 0 1 0 132618878 835829760 178397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 204060 178397 139 317 0 203739 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 816240

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10836
/proc/meminfo: memFree=725328/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=887540 CPUtime=642.02
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 212795 0 0 0 64116 86 0 0 25 0 1 0 132618878 908840960 194609 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 221885 194609 139 317 0 221564 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 887540


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10836
/proc/meminfo: memFree=529232/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=1110568 CPUtime=821.97
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 276776 0 0 0 82086 111 0 0 25 0 1 0 132618878 1137221632 244023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 277642 244023 170 317 0 277321 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 1110568

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10836
/proc/meminfo: memFree=471312/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=1172248 CPUtime=881.95
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 295674 0 0 0 88077 118 0 0 25 0 1 0 132618878 1200381952 258054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 293062 258054 170 317 0 292741 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 1172248

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10836
/proc/meminfo: memFree=432592/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=1214656 CPUtime=941.94
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 309574 0 0 0 94070 124 0 0 25 0 1 0 132618878 1243807744 267780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 303664 267780 170 317 0 303343 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 1214656

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10836
/proc/meminfo: memFree=380624/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=1275164 CPUtime=1001.92
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 327059 0 0 0 100060 132 0 0 25 0 1 0 132618878 1305767936 280650 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 318791 280650 170 317 0 318470 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 1275164

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10836
/proc/meminfo: memFree=340304/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=1321608 CPUtime=1061.9
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 343601 0 0 0 106053 137 0 0 25 0 1 0 132618878 1353326592 290865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 330402 290865 170 317 0 330081 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 1321608

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10836
/proc/meminfo: memFree=304208/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=1361064 CPUtime=1121.88
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 357451 0 0 0 112046 142 0 0 25 0 1 0 132618878 1393729536 299705 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 340266 299705 170 317 0 339945 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 1361064

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10836
/proc/meminfo: memFree=197200/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=1519320 CPUtime=1181.87
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 390022 0 0 0 118032 155 0 0 25 0 1 0 132618878 1555783680 326404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 379830 326404 170 317 0 379509 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 1519320

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10836
/proc/meminfo: memFree=159952/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=1558164 CPUtime=1241.86
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 404475 0 0 0 124024 162 0 0 25 0 1 0 132618878 1595559936 335604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 389541 335604 170 317 0 389220 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1558164

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10836
/proc/meminfo: memFree=114640/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=1606592 CPUtime=1301.85
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 422157 0 0 0 130015 170 0 0 25 0 1 0 132618878 1645150208 346958 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 401648 346958 170 317 0 401327 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1606592

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10836
/proc/meminfo: memFree=80592/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=1643124 CPUtime=1361.83
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 435391 0 0 0 136008 175 0 0 25 0 1 0 132618878 1682558976 355526 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 410781 355526 170 317 0 410460 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1643124

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10836
/proc/meminfo: memFree=50256/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=1675524 CPUtime=1421.81
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 447072 0 0 0 142001 180 0 0 25 0 1 0 132618878 1715736576 363053 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 418881 363053 170 317 0 418560 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1675524

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10836
/proc/meminfo: memFree=16528/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=1713256 CPUtime=1481.8
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 460632 0 0 0 147994 186 0 0 25 0 1 0 132618878 1754374144 371459 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 428314 371459 170 317 0 427993 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1713256

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10836
/proc/meminfo: memFree=16528/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=1747840 CPUtime=1541.74
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 473153 0 0 0 153983 191 0 0 25 0 1 0 132618878 1789788160 379517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 436960 379517 170 317 0 436639 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 1747840

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10836
/proc/meminfo: memFree=15248/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=1778716 CPUtime=1601.68
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 484269 0 0 0 159973 195 0 0 25 0 1 0 132618878 1821405184 386776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 444679 386776 170 317 0 444358 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 1778716

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10836
/proc/meminfo: memFree=14992/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=1817424 CPUtime=1661.63
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 498076 0 0 0 165962 201 0 0 25 0 1 0 132618878 1861042176 395610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 454356 395610 170 317 0 454035 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 1817424



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1712.1 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10836
/proc/meminfo: memFree=15312/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=1843768 CPUtime=1711.38
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 507708 0 0 0 170933 205 0 0 25 0 1 0 132618878 1888018432 401700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 460942 401700 170 317 0 460621 0
Current children cumulated CPU time (s) 1711.38
Current children cumulated vsize (KiB) 1843768

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

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

[startup+1712.21 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 10836
/proc/meminfo: memFree=15312/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=1843768 CPUtime=1711.48
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 507708 0 0 0 170943 205 0 0 25 0 1 0 132618878 1888018432 401700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 460942 401700 170 317 0 460621 0
Current children cumulated CPU time (s) 1711.48
Current children cumulated vsize (KiB) 1843768

[startup+1712.6 s]
/proc/loadavg: 0.99 0.97 0.98 2/79 10837
/proc/meminfo: memFree=1389816/2055920 swapFree=4159444/4192956
[pid=10637] ppid=10635 vsize=0 CPUtime=1711.88
/proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194308 507729 0 0 0 170961 227 0 0 25 0 1 0 132618878 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10637/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1711.88
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1712.64
CPU time (s): 1711.93
CPU user time (s): 1709.62
CPU system time (s): 2.31165
CPU usage (%): 99.9583
Max. virtual memory (cumulated for all children) (KiB): 1843768

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

runsolver used 1.9867 second user time and 4.10538 second system time

The end

Launcher Data (download as text)

Begin job on node19 on Tue Apr 17 21:56:55 UTC 2007

IDJOB= 356881
IDBENCH= 1588
IDSOLVER= 172
FILE ID= node19/356881-1176847015

PBS_JOBID= 4590201

Free space on /tmp= 66487 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos2.opb
COMMAND LINE= oree /tmp/evaluation/356881-1176847015/instance-356881-1176847015.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-356881-1176847015 -o ROOT/results/node19/solver-356881-1176847015 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356881-1176847015/instance-356881-1176847015.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  c8a32fda50ac377272d463f6016dd614

RANDOM SEED= 846629113

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node19.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.213
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.213
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:       1505776 kB
Buffers:         38412 kB
Cached:         437456 kB
SwapCached:       2580 kB
Active:         202796 kB
Inactive:       296024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1505776 kB
SwapTotal:     4192956 kB
SwapFree:      4159444 kB
Dirty:            2832 kB
Writeback:           0 kB
Mapped:          30596 kB
Slab:            36828 kB
Committed_AS:  2951592 kB
PageTables:       1784 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= 66487 MiB

End job on node19 on Tue Apr 17 22:25:29 UTC 2007