Trace number 357338

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) 1801.14 1801.75

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-grow7.opb
MD5SUMc73bf29c796f0bf48406f571c4c43173
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables7994
Total number of constraints420
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 constraints420
Minimum length of a constraint22
Maximum length of a constraint491
Number of terms in the objective function 623
Biggest coefficient in the objective function 3758096384
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 68719476658
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 878188741787648
Number of bits of the biggest number in a constraint 50
Biggest sum of numbers in a constraint 4550739094651140
Number of bits of the biggest sum of numbers53
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.23	c ...done
0.19/0.23	c #vars=7994 #constraints=561 hasObjective=yes
0.19/0.26	c res. mode=mod
0.19/0.26	c VSIDS like heuristics
0.19/0.26	c complete search running
0.39/0.40	c restart after 401 decisions
0.39/0.44	c nbDecision=500 #constraints=583
0.49/0.55	c restart after 801 decisions
0.59/0.61	c nbDecision=1000 #constraints=608
0.69/0.79	c nbDecision=1500 #constraints=644
0.79/0.82	c restart after 1601 decisions
0.89/0.95	c nbDecision=2000 #constraints=657
1.10/1.14	c nbDecision=2500 #constraints=703
1.29/1.31	c nbDecision=3000 #constraints=730
1.29/1.40	c restart after 3201 decisions
1.49/1.50	c nbDecision=3500 #constraints=778
1.59/1.68	c nbDecision=4000 #constraints=820
1.79/1.89	c nbDecision=4500 #constraints=897
1.99/2.09	c nbDecision=5000 #constraints=964
2.29/2.30	c nbDecision=5500 #constraints=1025
2.49/2.50	c nbDecision=6000 #constraints=1069
2.59/2.67	c restart after 6401 decisions
2.69/2.71	c nbDecision=6500 #constraints=1111
2.79/2.88	c nbDecision=7000 #constraints=1128
2.99/3.09	c nbDecision=7500 #constraints=1193
3.19/3.30	c nbDecision=8000 #constraints=1244
3.49/3.52	c nbDecision=8500 #constraints=1295
3.69/3.73	c nbDecision=9000 #constraints=1337
3.89/3.95	c nbDecision=9500 #constraints=1394
4.09/4.18	c nbDecision=10000 #constraints=1442
4.29/4.39	c nbDecision=10500 #constraints=1482
4.59/4.62	c nbDecision=11000 #constraints=1532
4.79/4.84	c nbDecision=11500 #constraints=1572
4.99/5.06	c nbDecision=12000 #constraints=1611
5.29/5.34	c nbDecision=12500 #constraints=1688
5.49/5.52	c restart after 12801 decisions
5.59/5.60	c nbDecision=13000 #constraints=1748
5.79/5.86	c nbDecision=13500 #constraints=1809
6.09/6.14	c nbDecision=14000 #constraints=1855
6.50/6.53	c nbDecision=14500 #constraints=1959
6.69/6.74	c nbDecision=15000 #constraints=1990
6.99/7.08	c nbDecision=15500 #constraints=2092
7.39/7.43	c nbDecision=16000 #constraints=2189
8.09/8.10	c nbDecision=16500 #constraints=2422
8.59/8.65	c nbDecision=17000 #constraints=2570
9.58/9.60	c nbDecision=17500 #constraints=2781
10.28/10.38	c nbDecision=18000 #constraints=2910
11.58/11.67	c nbDecision=18500 #constraints=3101
12.89/12.99	c nbDecision=19000 #constraints=3275
15.08/15.14	c nbDecision=19500 #constraints=3520
16.79/16.82	c nbDecision=20000 #constraints=3698
19.08/19.12	c nbDecision=20500 #constraints=3943
22.08/22.13	c nbDecision=21000 #constraints=4190
25.68/25.74	c nbDecision=21500 #constraints=4454
29.48/29.53	c nbDecision=22000 #constraints=4682
31.98/32.01	c nbDecision=22500 #constraints=4838
34.48/34.52	c nbDecision=23000 #constraints=5011
36.87/36.96	c nbDecision=23500 #constraints=5149
39.98/40.05	c nbDecision=24000 #constraints=5316
43.08/43.11	c nbDecision=24500 #constraints=5499
47.07/47.16	c nbDecision=25000 #constraints=5750
50.97/51.08	c nbDecision=25500 #constraints=5931
52.17/52.25	c restart after 25601 decisions
53.07/53.13	c nbDecision=26000 #constraints=5975
55.27/55.36	c nbDecision=26500 #constraints=5995
59.87/59.91	c nbDecision=27000 #constraints=6066
64.27/64.40	c nbDecision=27500 #constraints=6198
67.77/67.87	c nbDecision=28000 #constraints=6266
72.67/72.75	c nbDecision=28500 #constraints=6420
78.36/78.43	c nbDecision=29000 #constraints=6564
83.26/83.39	c nbDecision=29500 #constraints=6681
87.36/87.44	c nbDecision=30000 #constraints=6814
92.66/92.75	c nbDecision=30500 #constraints=6980
97.36/97.46	c nbDecision=31000 #constraints=7200
100.85/100.99	c nbDecision=31500 #constraints=7266
104.95/105.05	c nbDecision=32000 #constraints=7355
109.36/109.45	c nbDecision=32500 #constraints=7459
113.45/113.53	c nbDecision=33000 #constraints=7560
117.45/117.50	c nbDecision=33500 #constraints=7621
121.05/121.19	c nbDecision=34000 #constraints=7714
125.75/125.81	c nbDecision=34500 #constraints=7864
129.74/129.82	c nbDecision=35000 #constraints=7985
133.75/133.84	c nbDecision=35500 #constraints=8105
137.65/137.74	c nbDecision=36000 #constraints=8189
142.34/142.48	c nbDecision=36500 #constraints=8276
147.64/147.71	c nbDecision=37000 #constraints=8346
155.53/155.62	c nbDecision=37500 #constraints=8423
161.13/161.21	c nbDecision=38000 #constraints=8489
170.94/171.08	c nbDecision=38500 #constraints=8589
178.43/178.56	c nbDecision=39000 #constraints=8657
185.43/185.57	c nbDecision=39500 #constraints=8733
190.13/190.23	c nbDecision=40000 #constraints=8820
194.43/194.54	c nbDecision=40500 #constraints=8963
202.42/202.51	c nbDecision=41000 #constraints=9098
207.12/207.23	c nbDecision=41500 #constraints=9173
212.42/212.51	c nbDecision=42000 #constraints=9246
216.81/216.91	c nbDecision=42500 #constraints=9317
221.51/221.62	c nbDecision=43000 #constraints=9390
225.52/225.62	c nbDecision=43500 #constraints=9453
230.21/230.38	c nbDecision=44000 #constraints=9531
235.51/235.64	c nbDecision=44500 #constraints=9601
239.81/239.96	c nbDecision=45000 #constraints=9719
244.91/245.02	c nbDecision=45500 #constraints=9799
250.50/250.61	c nbDecision=46000 #constraints=9880
255.80/255.98	c nbDecision=46500 #constraints=9968
261.30/261.49	c nbDecision=47000 #constraints=10051
267.50/267.65	c nbDecision=47500 #constraints=10186
272.50/272.68	c nbDecision=48000 #constraints=10286
277.70/277.80	c nbDecision=48500 #constraints=10351
283.09/283.21	c nbDecision=49000 #constraints=10445
288.09/288.26	c nbDecision=49500 #constraints=10547
293.79/293.92	c nbDecision=50000 #constraints=10641
300.49/300.69	c nbDecision=50500 #constraints=10719
305.78/305.91	c nbDecision=51000 #constraints=10814
307.89/308.07	c restart after 51201 decisions
309.48/309.64	c nbDecision=51500 #constraints=10862
313.48/313.68	c nbDecision=52000 #constraints=10898
319.68/319.80	c nbDecision=52500 #constraints=10996
325.08/325.25	c nbDecision=53000 #constraints=11080
333.68/333.82	c nbDecision=53500 #constraints=11153
345.18/345.32	c nbDecision=54000 #constraints=11249
354.17/354.36	c nbDecision=54500 #constraints=11334
362.07/362.20	c nbDecision=55000 #constraints=11386
368.76/368.96	c nbDecision=55500 #constraints=11429
374.26/374.46	c nbDecision=56000 #constraints=11468
382.06/382.23	c nbDecision=56500 #constraints=11534
387.96/388.10	c nbDecision=57000 #constraints=11558
394.55/394.70	c nbDecision=57500 #constraints=11595
401.15/401.32	c nbDecision=58000 #constraints=11641
407.35/407.51	c nbDecision=58500 #constraints=11670
412.74/412.97	c nbDecision=59000 #constraints=11755
417.85/418.07	c nbDecision=59500 #constraints=11883
439.34/439.59	c nbDecision=60000 #constraints=12129
464.63/464.83	c nbDecision=60500 #constraints=12402
489.42/489.66	c nbDecision=61000 #constraints=12694
508.71/508.95	c nbDecision=61500 #constraints=12914
534.61/534.82	c nbDecision=62000 #constraints=13183
566.49/566.79	c nbDecision=62500 #constraints=13477
593.79/594.04	c nbDecision=63000 #constraints=13762
620.28/620.51	c nbDecision=63500 #constraints=14040
648.68/648.95	c nbDecision=64000 #constraints=14346
672.75/673.05	c nbDecision=64500 #constraints=14636
700.25/700.56	c nbDecision=65000 #constraints=14891
733.83/734.14	c nbDecision=65500 #constraints=15176
767.83/768.16	c nbDecision=66000 #constraints=15451
804.01/804.31	c nbDecision=66500 #constraints=15718
832.70/833.02	c nbDecision=67000 #constraints=15938
864.00/864.31	c nbDecision=67500 #constraints=16185
892.18/892.58	c nbDecision=68000 #constraints=16419
918.18/918.58	c nbDecision=68500 #constraints=16690
940.97/941.39	c nbDecision=69000 #constraints=16912
968.86/969.24	c nbDecision=69500 #constraints=17144
996.25/996.68	c nbDecision=70000 #constraints=17386
1029.74/1030.19	c nbDecision=70500 #constraints=17667
1059.93/1060.39	c nbDecision=71000 #constraints=17950
1092.62/1093.00	c nbDecision=71500 #constraints=18236
1122.80/1123.23	c nbDecision=72000 #constraints=18505
1155.29/1155.72	c nbDecision=72500 #constraints=18787
1184.49/1184.91	c nbDecision=73000 #constraints=19032
1216.37/1216.86	c nbDecision=73500 #constraints=19330
1243.07/1243.50	c nbDecision=74000 #constraints=19604
1272.65/1273.11	c nbDecision=74500 #constraints=19890
1303.05/1303.55	c nbDecision=75000 #constraints=20161
1333.43/1333.91	c nbDecision=75500 #constraints=20444
1363.82/1364.38	c nbDecision=76000 #constraints=20725
1395.91/1396.46	c nbDecision=76500 #constraints=21020
1426.41/1426.95	c nbDecision=77000 #constraints=21298
1455.99/1456.51	c nbDecision=77500 #constraints=21585
1486.58/1487.17	c nbDecision=78000 #constraints=21854
1519.87/1520.47	c nbDecision=78500 #constraints=22150
1554.15/1554.74	c nbDecision=79000 #constraints=22434
1583.45/1584.06	c nbDecision=79500 #constraints=22720
1617.54/1618.12	c nbDecision=80000 #constraints=23025
1649.12/1649.77	c nbDecision=80500 #constraints=23284
1683.01/1683.60	c nbDecision=81000 #constraints=23579
1718.00/1718.62	c nbDecision=81500 #constraints=23864
1751.99/1752.62	c nbDecision=82000 #constraints=24143
1786.47/1787.19	c nbDecision=82500 #constraints=24440
1800.08/1800.71	Received signal 15
1801.08/1801.70	
1801.08/1801.70	s UNKNOWN
1801.08/1801.70	
1801.08/1801.70	c user time= 1800.7 s
1801.08/1801.70	c system time= 0.39194 s
1801.08/1801.70	c wall clock time=1801.71

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node59/watcher-357338-1176994953 -o ROOT/results/node59/solver-357338-1176994953 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357338-1176994953/instance-357338-1176994953.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.99 0.97 0.97 3/64 14385
/proc/meminfo: memFree=1774960/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=1468 CPUtime=0
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 176 0 0 0 0 0 0 0 18 0 1 0 147404970 1503232 158 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 367 159 131 317 0 46 0

[startup+0.0406121 s]
/proc/loadavg: 0.99 0.97 0.97 3/64 14385
/proc/meminfo: memFree=1774960/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=1996 CPUtime=0.03
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 317 0 0 0 3 0 0 0 18 0 1 0 147404970 2043904 299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 499 299 131 317 0 178 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1996

[startup+0.101619 s]
/proc/loadavg: 0.99 0.97 0.97 3/64 14385
/proc/meminfo: memFree=1774960/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=3052 CPUtime=0.09
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 583 0 0 0 9 0 0 0 18 0 1 0 147404970 3125248 565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 763 567 131 317 0 442 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3052

[startup+0.301658 s]
/proc/loadavg: 0.99 0.97 0.97 3/64 14385
/proc/meminfo: memFree=1774960/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=6988 CPUtime=0.29
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 1581 0 0 0 28 1 0 0 19 0 1 0 147404970 7155712 1563 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 1747 1563 138 317 0 1426 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6988

[startup+0.701733 s]
/proc/loadavg: 0.99 0.97 0.97 3/64 14385
/proc/meminfo: memFree=1774960/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=7148 CPUtime=0.69
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 1620 0 0 0 68 1 0 0 23 0 1 0 147404970 7319552 1602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384579 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 1787 1602 139 317 0 1466 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7148

[startup+1.50188 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1768872/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=7672 CPUtime=1.49
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 1767 0 0 0 148 1 0 0 25 0 1 0 147404970 7856128 1749 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385343 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 1918 1749 170 317 0 1597 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7672

[startup+3.10119 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1767720/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=9156 CPUtime=3.09
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 2145 0 0 0 308 1 0 0 25 0 1 0 147404970 9375744 2127 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 2289 2127 170 317 0 1968 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9156

[startup+6.3028 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1764456/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=12448 CPUtime=6.29
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 2957 0 0 0 628 1 0 0 25 0 1 0 147404970 12746752 2939 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 3112 2939 170 317 0 2791 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12448

[startup+12.702 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1747576/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=29944 CPUtime=12.69
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 7221 0 0 0 1266 3 0 0 25 0 1 0 147404970 30662656 7203 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 7486 7203 170 317 0 7165 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29944

[startup+25.5014 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1729592/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=48460 CPUtime=25.48
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 11514 0 0 0 2543 5 0 0 25 0 1 0 147404970 49623040 11496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712543 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 12115 11496 170 317 0 11794 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48460

[startup+51.1013 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1709432/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=68852 CPUtime=51.07
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 16582 0 0 0 5100 7 0 0 25 0 1 0 147404970 70504448 16564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 17213 16564 170 317 0 16892 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 68852

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1698168/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=80492 CPUtime=102.25
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 19280 0 0 0 10216 9 0 0 25 0 1 0 147404970 82423808 19262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718641 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 20123 19262 170 317 0 19802 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 80492

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1687096/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=91620 CPUtime=162.23
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 22110 0 0 0 16212 11 0 0 25 0 1 0 147404970 93818880 22035 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 22905 22035 170 317 0 22584 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 91620

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1679032/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=99704 CPUtime=222.21
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 24099 0 0 0 22208 13 0 0 25 0 1 0 147404970 102096896 24024 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 24926 24024 170 317 0 24605 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 99704

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1668088/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=111172 CPUtime=282.19
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 26864 0 0 0 28204 15 0 0 25 0 1 0 147404970 113840128 26789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 27793 26789 170 317 0 27472 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 111172

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1661624/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=118772 CPUtime=342.18
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 28419 0 0 0 34201 17 0 0 25 0 1 0 147404970 121622528 28344 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 29693 28344 170 317 0 29372 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 118772

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1659960/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=121556 CPUtime=402.15
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 28828 0 0 0 40198 17 0 0 25 0 1 0 147404970 124473344 28753 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 30389 28753 170 317 0 30068 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 121556

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1654584/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=127220 CPUtime=462.13
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 30166 0 0 0 46195 18 0 0 25 0 1 0 147404970 130273280 30091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 31805 30091 170 317 0 31484 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 127220

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1649208/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=133124 CPUtime=522.12
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 31528 0 0 0 52193 19 0 0 25 0 1 0 147404970 136318976 31453 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 33281 31453 170 317 0 32960 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 133124

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1644216/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=138408 CPUtime=582.09
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 32777 0 0 0 58189 20 0 0 25 0 1 0 147404970 141729792 32702 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 34602 32702 170 317 0 34281 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 138408

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1638776/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=143844 CPUtime=642.07
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 34116 0 0 0 64187 20 0 0 25 0 1 0 147404970 147296256 34041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718422 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 35961 34041 170 317 0 35640 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 143844


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

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1612856/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=170448 CPUtime=1001.94
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 40660 0 0 0 100169 25 0 0 25 0 1 0 147404970 174538752 40472 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 42612 40472 170 317 0 42291 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 170448

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1608760/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=174140 CPUtime=1061.93
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 41685 0 0 0 106166 27 0 0 25 0 1 0 147404970 178319360 41497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 43535 41497 170 317 0 43214 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 174140

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1604024/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=179196 CPUtime=1121.9
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 42866 0 0 0 112163 27 0 0 25 0 1 0 147404970 183496704 42678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 44799 42678 170 317 0 44478 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 179196

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1599800/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=183016 CPUtime=1181.89
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 43930 0 0 0 118160 29 0 0 25 0 1 0 147404970 187408384 43742 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 45754 43742 170 317 0 45433 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 183016

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1594808/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=187976 CPUtime=1241.87
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 45219 0 0 0 124157 30 0 0 25 0 1 0 147404970 192487424 44965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718398 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 46994 44965 170 317 0 46673 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 187976

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1589048/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=195232 CPUtime=1301.85
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 46691 0 0 0 130154 31 0 0 25 0 1 0 147404970 199917568 46404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718422 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 48808 46404 170 317 0 48487 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 195232

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1584120/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=201016 CPUtime=1361.83
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 48016 0 0 0 136151 32 0 0 25 0 1 0 147404970 205840384 47630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718638 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 50254 47630 170 317 0 49933 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 201016

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1579384/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=206112 CPUtime=1421.81
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 49334 0 0 0 142148 33 0 0 25 0 1 0 147404970 211058688 48783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 51528 48783 170 317 0 51207 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 206112

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1574840/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=210068 CPUtime=1481.78
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 50486 0 0 0 148145 33 0 0 25 0 1 0 147404970 215109632 49935 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 52517 49935 170 317 0 52196 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 210068

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1570360/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=214276 CPUtime=1541.76
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 51593 0 0 0 154142 34 0 0 25 0 1 0 147404970 219418624 51042 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 53569 51042 170 317 0 53248 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 214276

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1565688/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=218472 CPUtime=1601.74
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 52759 0 0 0 160139 35 0 0 25 0 1 0 147404970 223715328 52208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 54618 52208 170 317 0 54297 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 218472

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1561208/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=222676 CPUtime=1661.72
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 53939 0 0 0 166136 36 0 0 25 0 1 0 147404970 228020224 53322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 55669 53322 170 317 0 55348 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 222676

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1556792/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=230228 CPUtime=1721.7
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 55538 0 0 0 172133 37 0 0 25 0 1 0 147404970 235753472 54393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 57557 54393 170 317 0 57236 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 230228

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1551928/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=236928 CPUtime=1781.68
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 56933 0 0 0 178130 38 0 0 25 0 1 0 147404970 242614272 55623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 59232 55623 170 317 0 58911 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 236928



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1550584/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=238376 CPUtime=1800.08
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 57294 0 0 0 179970 38 0 0 25 0 1 0 147404970 244097024 55951 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 59594 55951 170 317 0 59273 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 238376

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

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

[startup+1801.4 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1550584/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=238376 CPUtime=1800.78
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 57302 0 0 0 180039 39 0 0 25 0 1 0 147404970 244097024 55959 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 59594 55959 170 317 0 59273 0
Current children cumulated CPU time (s) 1800.78
Current children cumulated vsize (KiB) 238376

[startup+1801.6 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 14386
/proc/meminfo: memFree=1550584/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=238376 CPUtime=1800.98
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 57303 0 0 0 180059 39 0 0 25 0 1 0 147404970 244097024 55960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604429 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 59594 55960 170 317 0 59273 0
Current children cumulated CPU time (s) 1800.98
Current children cumulated vsize (KiB) 238376

[startup+1801.7 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 14387
/proc/meminfo: memFree=1550512/2055920 swapFree=4184568/4192956
[pid=14385] ppid=14383 vsize=238376 CPUtime=1801.08
/proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 57303 0 0 0 180069 39 0 0 25 0 1 0 147404970 244097024 55960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14385/statm: 59594 55960 170 317 0 59273 0
Current children cumulated CPU time (s) 1801.08
Current children cumulated vsize (KiB) 238376

Child status: 0
Real time (s): 1801.75
CPU time (s): 1801.14
CPU user time (s): 1800.71
CPU system time (s): 0.430934
CPU usage (%): 99.9657
Max. virtual memory (cumulated for all children) (KiB): 238376

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

runsolver used 1.18282 second user time and 3.75143 second system time

The end

Launcher Data (download as text)

Begin job on node59 on Thu Apr 19 15:02:34 UTC 2007

IDJOB= 357338
IDBENCH= 2430
IDSOLVER= 172
FILE ID= node59/357338-1176994953

PBS_JOBID= 4630429

Free space on /tmp= 66330 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  c73bf29c796f0bf48406f571c4c43173

RANDOM SEED= 391478333

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node59.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.268
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.268
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:       1775304 kB
Buffers:         10188 kB
Cached:         208376 kB
SwapCached:       2164 kB
Active:          52040 kB
Inactive:       177040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1775304 kB
SwapTotal:     4192956 kB
SwapFree:      4184568 kB
Dirty:            2060 kB
Writeback:           0 kB
Mapped:          17216 kB
Slab:            37420 kB
Committed_AS:  1680800 kB
PageTables:       1476 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= 66330 MiB

End job on node59 on Thu Apr 19 15:32:37 UTC 2007