Trace number 357018

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.08 1800.74

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-qiu.opb
MD5SUM644f01bea590fadfbdc9e969c95da3cf
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 variables23808
Total number of constraints1192
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 constraints1192
Minimum length of a constraint31
Maximum length of a constraint5940
Number of terms in the objective function 7968
Biggest coefficient in the objective function 993
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 530424
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 530424
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.19/0.25	c ...done
0.19/0.25	c #vars=23808 #constraints=1325 hasObjective=yes
0.29/0.39	c res. mode=mod
0.29/0.39	c VSIDS like heuristics
0.29/0.39	c complete search running
0.49/0.55	c restart after 401 decisions
0.49/0.58	c nbDecision=500 #constraints=1344
0.59/0.65	c restart after 801 decisions
0.69/0.70	c nbDecision=1000 #constraints=1354
0.79/0.80	c nbDecision=1500 #constraints=1364
0.79/0.82	c restart after 1601 decisions
0.89/0.91	c nbDecision=2000 #constraints=1365
1.00/1.02	c nbDecision=2500 #constraints=1373
1.10/1.14	c nbDecision=3000 #constraints=1384
1.10/1.18	c restart after 3201 decisions
1.19/1.25	c nbDecision=3500 #constraints=1384
1.29/1.36	c nbDecision=4000 #constraints=1394
1.39/1.47	c nbDecision=4500 #constraints=1394
1.49/1.58	c nbDecision=5000 #constraints=1403
1.59/1.69	c nbDecision=5500 #constraints=1410
1.69/1.80	c nbDecision=6000 #constraints=1414
1.79/1.88	c restart after 6401 decisions
1.89/1.91	c nbDecision=6500 #constraints=1416
1.99/2.02	c nbDecision=7000 #constraints=1416
2.10/2.12	c nbDecision=7500 #constraints=1424
2.20/2.23	c nbDecision=8000 #constraints=1424
2.29/2.34	c nbDecision=8500 #constraints=1425
2.39/2.44	c nbDecision=9000 #constraints=1425
2.49/2.55	c nbDecision=9500 #constraints=1434
2.59/2.66	c nbDecision=10000 #constraints=1434
2.69/2.76	c nbDecision=10500 #constraints=1434
2.79/2.87	c nbDecision=11000 #constraints=1445
2.89/2.98	c nbDecision=11500 #constraints=1445
2.99/3.09	c nbDecision=12000 #constraints=1455
3.09/3.19	c nbDecision=12500 #constraints=1455
3.19/3.26	c restart after 12801 decisions
3.29/3.30	c nbDecision=13000 #constraints=1455
3.39/3.41	c nbDecision=13500 #constraints=1455
3.49/3.51	c nbDecision=14000 #constraints=1455
3.59/3.63	c nbDecision=14500 #constraints=1464
3.69/3.73	c nbDecision=15000 #constraints=1464
3.79/3.83	c nbDecision=15500 #constraints=1464
3.89/3.94	c nbDecision=16000 #constraints=1475
3.99/4.04	c nbDecision=16500 #constraints=1486
4.09/4.14	c nbDecision=17000 #constraints=1496
4.19/4.24	c nbDecision=17500 #constraints=1505
4.29/4.34	c nbDecision=18000 #constraints=1506
4.39/4.44	c nbDecision=18500 #constraints=1516
4.49/4.54	c nbDecision=19000 #constraints=1527
4.59/4.63	c nbDecision=19500 #constraints=1527
4.69/4.73	c nbDecision=20000 #constraints=1528
4.79/4.82	c nbDecision=20500 #constraints=1535
4.89/4.92	c nbDecision=21000 #constraints=1539
4.99/5.03	c nbDecision=21500 #constraints=1579
5.39/5.45	c nbDecision=22000 #constraints=2080
5.99/6.06	c nbDecision=22500 #constraints=2580
6.79/6.89	c nbDecision=23000 #constraints=3080
7.89/7.96	c nbDecision=23500 #constraints=3581
9.29/9.30	c nbDecision=24000 #constraints=4076
10.89/10.97	c nbDecision=24500 #constraints=4573
12.98/13.01	c nbDecision=25000 #constraints=5075
15.38/15.44	c nbDecision=25500 #constraints=5574
15.88/15.97	c restart after 25601 decisions
15.98/16.08	c nbDecision=26000 #constraints=5677
16.08/16.18	c nbDecision=26500 #constraints=5677
16.18/16.28	c nbDecision=27000 #constraints=5677
16.28/16.38	c nbDecision=27500 #constraints=5677
17.39/17.47	c nbDecision=28000 #constraints=5865
20.49/20.53	c nbDecision=28500 #constraints=6366
23.88/23.94	c nbDecision=29000 #constraints=6865
27.78/27.88	c nbDecision=29500 #constraints=7365
32.18/32.23	c nbDecision=30000 #constraints=7861
36.98/37.01	c nbDecision=30500 #constraints=8359
42.67/42.71	c nbDecision=31000 #constraints=8857
48.77/48.84	c nbDecision=31500 #constraints=9356
55.27/55.37	c nbDecision=32000 #constraints=9857
62.27/62.36	c nbDecision=32500 #constraints=10357
69.67/69.78	c nbDecision=33000 #constraints=10857
77.37/77.45	c nbDecision=33500 #constraints=11349
85.46/85.55	c nbDecision=34000 #constraints=11846
93.85/93.95	c nbDecision=34500 #constraints=12348
103.35/103.47	c nbDecision=35000 #constraints=12845
113.25/113.33	c nbDecision=35500 #constraints=13348
123.45/123.51	c nbDecision=36000 #constraints=13848
134.05/134.11	c nbDecision=36500 #constraints=14347
144.94/145.06	c nbDecision=37000 #constraints=14846
156.73/156.81	c nbDecision=37500 #constraints=15346
168.83/168.92	c nbDecision=38000 #constraints=15840
181.33/181.42	c nbDecision=38500 #constraints=16340
194.02/194.15	c nbDecision=39000 #constraints=16839
207.01/207.14	c nbDecision=39500 #constraints=17339
219.11/219.20	c nbDecision=40000 #constraints=17779
229.41/229.53	c nbDecision=40500 #constraints=18266
238.71/238.87	c nbDecision=41000 #constraints=18768
246.90/247.02	c nbDecision=41500 #constraints=19088
251.60/251.71	c nbDecision=42000 #constraints=19511
265.59/265.79	c nbDecision=42500 #constraints=20013
280.09/280.21	c nbDecision=43000 #constraints=20513
294.48/294.60	c nbDecision=43500 #constraints=21012
309.37/309.57	c nbDecision=44000 #constraints=21512
324.67/324.84	c nbDecision=44500 #constraints=22013
340.36/340.58	c nbDecision=45000 #constraints=22514
356.06/356.27	c nbDecision=45500 #constraints=23006
372.15/372.35	c nbDecision=46000 #constraints=23510
386.75/386.94	c nbDecision=46500 #constraints=23977
400.04/400.20	c nbDecision=47000 #constraints=24465
412.94/413.11	c nbDecision=47500 #constraints=24955
424.83/425.06	c nbDecision=48000 #constraints=25421
433.63/433.87	c nbDecision=48500 #constraints=25739
455.92/456.20	c nbDecision=49000 #constraints=26200
486.81/487.00	c nbDecision=49500 #constraints=26701
518.30/518.52	c nbDecision=50000 #constraints=27199
550.48/550.74	c nbDecision=50500 #constraints=27700
584.17/584.47	c nbDecision=51000 #constraints=28203
596.97/597.27	c restart after 51201 decisions
597.17/597.43	c nbDecision=51500 #constraints=28401
597.27/597.54	c nbDecision=52000 #constraints=28401
597.37/597.64	c nbDecision=52500 #constraints=28401
597.47/597.73	c nbDecision=53000 #constraints=28401
603.46/603.73	c nbDecision=53500 #constraints=28491
636.56/636.90	c nbDecision=54000 #constraints=28992
670.54/670.87	c nbDecision=54500 #constraints=29494
704.93/705.27	c nbDecision=55000 #constraints=29993
739.82/740.17	c nbDecision=55500 #constraints=30492
775.81/776.16	c nbDecision=56000 #constraints=30993
808.40/808.74	c nbDecision=56500 #constraints=31491
839.48/839.86	c nbDecision=57000 #constraints=31993
870.77/871.10	c nbDecision=57500 #constraints=32491
903.66/904.08	c nbDecision=58000 #constraints=32994
936.55/936.92	c nbDecision=58500 #constraints=33494
969.53/969.93	c nbDecision=59000 #constraints=33992
1003.42/1003.80	c nbDecision=59500 #constraints=34493
1037.60/1038.08	c nbDecision=60000 #constraints=34993
1072.40/1072.87	c nbDecision=60500 #constraints=35489
1106.48/1106.94	c nbDecision=61000 #constraints=35986
1140.87/1141.34	c nbDecision=61500 #constraints=36489
1175.25/1175.73	c nbDecision=62000 #constraints=36987
1210.25/1210.78	c nbDecision=62500 #constraints=37488
1245.63/1246.17	c nbDecision=63000 #constraints=37987
1281.92/1282.44	c nbDecision=63500 #constraints=38488
1316.70/1317.26	c nbDecision=64000 #constraints=38985
1352.29/1352.88	c nbDecision=64500 #constraints=39483
1388.08/1388.68	c nbDecision=65000 #constraints=39984
1423.77/1424.30	c nbDecision=65500 #constraints=40483
1458.86/1459.43	c nbDecision=66000 #constraints=40974
1495.24/1495.85	c nbDecision=66500 #constraints=41479
1531.43/1532.10	c nbDecision=67000 #constraints=41978
1545.62/1546.29	c nbDecision=67500 #constraints=42177
1550.12/1550.74	c nbDecision=68000 #constraints=42567
1560.91/1561.52	c nbDecision=68500 #constraints=42732
1567.81/1568.47	c nbDecision=69000 #constraints=42978
1581.00/1581.61	c nbDecision=69500 #constraints=43116
1583.31/1583.95	c nbDecision=70000 #constraints=43507
1591.21/1591.84	c nbDecision=70500 #constraints=43752
1597.90/1598.58	c nbDecision=71000 #constraints=44046
1605.30/1605.98	c nbDecision=71500 #constraints=44305
1614.80/1615.40	c nbDecision=72000 #constraints=44571
1621.39/1622.01	c nbDecision=72500 #constraints=44926
1628.29/1628.93	c nbDecision=73000 #constraints=45299
1633.39/1634.05	c nbDecision=73500 #constraints=45659
1646.28/1646.96	c nbDecision=74000 #constraints=45810
1651.08/1651.75	c nbDecision=74500 #constraints=46182
1663.17/1663.89	c nbDecision=75000 #constraints=46328
1670.37/1671.04	c nbDecision=75500 #constraints=46660
1678.38/1679.08	c nbDecision=76000 #constraints=46942
1693.37/1694.01	c nbDecision=76500 #constraints=47050
1699.47/1700.17	c nbDecision=77000 #constraints=47468
1718.15/1718.81	c nbDecision=77500 #constraints=47709
1728.05/1728.77	c nbDecision=78000 #constraints=47974
1739.65/1740.30	c nbDecision=78500 #constraints=48156
1751.24/1751.96	c nbDecision=79000 #constraints=48489
1761.74/1762.43	c nbDecision=79500 #constraints=48898
1777.44/1778.20	c nbDecision=80000 #constraints=49175
1791.63/1792.37	c nbDecision=80500 #constraints=49470
1800.04/1800.70	Received signal 15
1800.04/1800.71	
1800.04/1800.71	s UNKNOWN
1800.04/1800.71	
1800.04/1800.71	c user time= 1799.85 s
1800.04/1800.71	c system time= 0.203968 s
1800.04/1800.71	c wall clock time=1800.72

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-357018-1176851718 -o ROOT/results/node59/solver-357018-1176851718 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357018-1176851718/instance-357018-1176851718.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.92 3/64 30722
/proc/meminfo: memFree=1831080/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=1468 CPUtime=0
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 133081443 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 367 161 126 317 0 46 0

[startup+0.06769 s]
/proc/loadavg: 0.99 0.97 0.92 3/64 30722
/proc/meminfo: memFree=1831080/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=2544 CPUtime=0.06
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 438 0 0 0 6 0 0 0 18 0 1 0 133081443 2605056 420 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 636 420 131 317 0 315 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2544

[startup+0.101694 s]
/proc/loadavg: 0.99 0.97 0.92 3/64 30722
/proc/meminfo: memFree=1831080/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=3072 CPUtime=0.09
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 586 0 0 0 9 0 0 0 18 0 1 0 133081443 3145728 568 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 768 568 131 317 0 447 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3072

[startup+0.301733 s]
/proc/loadavg: 0.99 0.97 0.92 3/64 30722
/proc/meminfo: memFree=1831080/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=8148 CPUtime=0.29
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 1820 0 0 0 28 1 0 0 19 0 1 0 133081443 8343552 1802 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 2037 1802 137 317 0 1716 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8148

[startup+0.701808 s]
/proc/loadavg: 0.99 0.97 0.92 3/64 30722
/proc/meminfo: memFree=1831080/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=8872 CPUtime=0.69
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 1986 0 0 0 68 1 0 0 22 0 1 0 133081443 9084928 1968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606854 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 2218 1968 139 317 0 1897 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8872

[startup+1.50196 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30723
/proc/meminfo: memFree=1823712/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=8872 CPUtime=1.49
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 1998 0 0 0 148 1 0 0 25 0 1 0 133081443 9084928 1980 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 2218 1980 139 317 0 1897 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8872

[startup+3.10226 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30723
/proc/meminfo: memFree=1823520/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=9004 CPUtime=3.09
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 2022 0 0 0 308 1 0 0 25 0 1 0 133081443 9220096 2004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 2251 2004 139 317 0 1930 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9004

[startup+6.30187 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30723
/proc/meminfo: memFree=1822496/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=11000 CPUtime=6.29
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 2516 0 0 0 628 1 0 0 25 0 1 0 133081443 11264000 2498 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 2750 2498 139 317 0 2429 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11000

[startup+12.7011 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30723
/proc/meminfo: memFree=1818416/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=14256 CPUtime=12.68
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 3322 0 0 0 1266 2 0 0 25 0 1 0 133081443 14598144 3304 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 3564 3304 139 317 0 3243 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14256

[startup+25.5015 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30723
/proc/meminfo: memFree=1815152/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=17644 CPUtime=25.48
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 4119 0 0 0 2545 3 0 0 25 0 1 0 133081443 18067456 4065 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194616 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 4411 4065 139 317 0 4090 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17644

[startup+51.1014 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30723
/proc/meminfo: memFree=1811888/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=20516 CPUtime=51.07
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 4919 0 0 0 5103 4 0 0 25 0 1 0 133081443 21008384 4865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 5129 4865 139 317 0 4808 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 20516

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30723
/proc/meminfo: memFree=1806960/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=26380 CPUtime=102.25
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 6200 0 0 0 10220 5 0 0 25 0 1 0 133081443 27013120 6075 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 6595 6075 139 317 0 6274 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 26380

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30723
/proc/meminfo: memFree=1803248/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=29560 CPUtime=162.23
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 7128 0 0 0 16217 6 0 0 25 0 1 0 133081443 30269440 7003 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 7390 7003 139 317 0 7069 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 29560

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30723
/proc/meminfo: memFree=1800048/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=32492 CPUtime=222.2
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 7903 0 0 0 22213 7 0 0 25 0 1 0 133081443 33271808 7778 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604476 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 8123 7778 139 317 0 7802 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 32492

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30723
/proc/meminfo: memFree=1795888/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=38476 CPUtime=282.19
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 9342 0 0 0 28211 8 0 0 25 0 1 0 133081443 39399424 8821 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 9619 8821 139 317 0 9298 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 38476

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30723
/proc/meminfo: memFree=1793072/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=41940 CPUtime=342.16
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 10169 0 0 0 34207 9 0 0 25 0 1 0 133081443 42946560 9507 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563609 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 10485 9507 139 317 0 10164 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 41940

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30723
/proc/meminfo: memFree=1790320/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=44288 CPUtime=402.14
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 10859 0 0 0 40204 10 0 0 25 0 1 0 133081443 45350912 10197 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 11072 10197 139 317 0 10751 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 44288

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30723
/proc/meminfo: memFree=1787696/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=46648 CPUtime=462.11
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 11503 0 0 0 46201 10 0 0 25 0 1 0 133081443 47767552 10841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563957 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 11662 10841 139 317 0 11341 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 46648

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30723
/proc/meminfo: memFree=1786416/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=47816 CPUtime=522.1
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 11826 0 0 0 52199 11 0 0 25 0 1 0 133081443 48963584 11164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 11954 11164 139 317 0 11633 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 47816

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30723
/proc/meminfo: memFree=1785072/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=49004 CPUtime=582.07
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 12162 0 0 0 58196 11 0 0 25 0 1 0 133081443 50180096 11500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 12251 11500 139 317 0 11930 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 49004

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30723
/proc/meminfo: memFree=1783856/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=50040 CPUtime=642.06
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 12451 0 0 0 64194 12 0 0 25 0 1 0 133081443 51240960 11789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 12510 11789 139 317 0 12189 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 50040


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30723
/proc/meminfo: memFree=1779120/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=54304 CPUtime=881.96
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 13681 0 0 0 88183 13 0 0 25 0 1 0 133081443 55607296 12986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 13576 12986 139 317 0 13255 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 54304

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30723
/proc/meminfo: memFree=1777904/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=55484 CPUtime=941.94
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 14008 0 0 0 94180 14 0 0 25 0 1 0 133081443 56815616 13280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 13871 13280 139 317 0 13550 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 55484

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30723
/proc/meminfo: memFree=1776688/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=56536 CPUtime=1001.92
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 14311 0 0 0 100178 14 0 0 25 0 1 0 133081443 57892864 13583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 14134 13583 139 317 0 13813 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 56536

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30723
/proc/meminfo: memFree=1775408/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=57832 CPUtime=1061.9
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 14716 0 0 0 106175 15 0 0 25 0 1 0 133081443 59219968 13890 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 14458 13890 139 317 0 14137 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 57832

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30723
/proc/meminfo: memFree=1774320/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=58884 CPUtime=1121.88
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 14993 0 0 0 112173 15 0 0 25 0 1 0 133081443 60297216 14167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 14721 14167 139 317 0 14400 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 58884

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30723
/proc/meminfo: memFree=1772784/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=64412 CPUtime=1181.85
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 16334 0 0 0 118170 15 0 0 25 0 1 0 133081443 65957888 14533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 16103 14533 139 317 0 15782 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 64412

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30723
/proc/meminfo: memFree=1771568/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=65592 CPUtime=1241.84
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 16659 0 0 0 124168 16 0 0 25 0 1 0 133081443 67166208 14825 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 16398 14825 139 317 0 16077 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 65592

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30723
/proc/meminfo: memFree=1770480/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=66508 CPUtime=1301.81
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 16925 0 0 0 130165 16 0 0 25 0 1 0 133081443 68104192 15091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 16627 15091 139 317 0 16306 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 66508

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30723
/proc/meminfo: memFree=1769392/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=67548 CPUtime=1361.79
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 17246 0 0 0 136163 16 0 0 25 0 1 0 133081443 69169152 15379 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 16887 15379 139 317 0 16566 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 67548

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30723
/proc/meminfo: memFree=1768112/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=69244 CPUtime=1421.77
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 17655 0 0 0 142160 17 0 0 25 0 1 0 133081443 70905856 15656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 17311 15656 139 317 0 16990 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 69244

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30725
/proc/meminfo: memFree=1765744/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=72604 CPUtime=1481.75
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 18571 0 0 0 148158 17 0 0 25 0 1 0 133081443 74346496 16224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 18151 16224 139 317 0 17830 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 72604

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30725
/proc/meminfo: memFree=1765808/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=72604 CPUtime=1541.73
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 18606 0 0 0 154156 17 0 0 25 0 1 0 133081443 74346496 16259 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 18151 16259 139 317 0 17830 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 72604

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30725
/proc/meminfo: memFree=1762224/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=76100 CPUtime=1601.7
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 19489 0 0 0 160152 18 0 0 25 0 1 0 133081443 77926400 17142 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 19025 17142 139 317 0 18704 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 76100

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30725
/proc/meminfo: memFree=1758768/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=79448 CPUtime=1661.67
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 20356 0 0 0 166149 18 0 0 25 0 1 0 133081443 81354752 18009 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 19862 18009 139 317 0 19541 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 79448

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30725
/proc/meminfo: memFree=1756016/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=82384 CPUtime=1721.65
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 21043 0 0 0 172146 19 0 0 25 0 1 0 133081443 84361216 18696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 20596 18696 139 317 0 20275 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 82384

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30725
/proc/meminfo: memFree=1753712/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=84500 CPUtime=1781.64
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 21590 0 0 0 178144 20 0 0 25 0 1 0 133081443 86528000 19243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 21125 19243 139 317 0 20804 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 84500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30725
/proc/meminfo: memFree=1753200/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=84892 CPUtime=1800.04
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 21714 0 0 0 179984 20 0 0 25 0 1 0 133081443 86929408 19367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 21223 19367 139 317 0 20902 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 84892

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.92 2/65 30725
/proc/meminfo: memFree=1753200/2055920 swapFree=4184740/4192956
[pid=30722] ppid=30720 vsize=84892 CPUtime=1800.04
/proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 21714 0 0 0 179984 20 0 0 25 0 1 0 133081443 86929408 19367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30722/statm: 21223 19367 139 317 0 20902 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 84892

Child status: 0
Real time (s): 1800.74
CPU time (s): 1800.08
CPU user time (s): 1799.86
CPU system time (s): 0.217966
CPU usage (%): 99.963
Max. virtual memory (cumulated for all children) (KiB): 84892

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

runsolver used 1.19382 second user time and 3.74343 second system time

The end

Launcher Data (download as text)

Begin job on node59 on Tue Apr 17 23:15:18 UTC 2007

IDJOB= 357018
IDBENCH= 1781
IDSOLVER= 172
FILE ID= node59/357018-1176851718

PBS_JOBID= 4590238

Free space on /tmp= 66342 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  644f01bea590fadfbdc9e969c95da3cf

RANDOM SEED= 635485444

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:       1831552 kB
Buffers:         16152 kB
Cached:         148944 kB
SwapCached:       2252 kB
Active:          35596 kB
Inactive:       139108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1831552 kB
SwapTotal:     4192956 kB
SwapFree:      4184740 kB
Dirty:            2296 kB
Writeback:           0 kB
Mapped:          16576 kB
Slab:            35692 kB
Committed_AS:  1578624 kB
PageTables:       1472 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= 66342 MiB

End job on node59 on Tue Apr 17 23:45:21 UTC 2007