Trace number 357330

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.11 1800.69

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-kb2.opb
MD5SUM7bb51fb18714f8fdd98e0de4fc62f6d8
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1800.25
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 variables1096
Total number of constraints52
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 constraints52
Minimum length of a constraint13
Maximum length of a constraint300
Number of terms in the objective function 48
Biggest coefficient in the objective function 4325376
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 12058535
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 5715913739337728
Number of bits of the biggest number in a constraint 53
Biggest sum of numbers in a constraint 75299293548900036
Number of bits of the biggest sum of numbers57
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.00/0.03	c ...done
0.00/0.03	c #vars=1096 #constraints=69 hasObjective=yes
0.00/0.03	c res. mode=mod
0.00/0.03	c VSIDS like heuristics
0.00/0.03	c complete search running
0.10/0.15	c restart after 401 decisions
0.10/0.16	c nbDecision=500 #constraints=136
0.19/0.23	c restart after 801 decisions
0.29/0.39	c nbDecision=1000 #constraints=202
2.09/2.18	c nbDecision=1500 #constraints=583
2.58/2.61	c restart after 1601 decisions
3.79/3.83	c nbDecision=2000 #constraints=846
6.39/6.50	c nbDecision=2500 #constraints=1167
8.79/8.85	c nbDecision=3000 #constraints=1468
9.89/9.98	c restart after 3201 decisions
10.19/10.24	c nbDecision=3500 #constraints=1615
11.19/11.28	c nbDecision=4000 #constraints=1734
13.68/13.78	c nbDecision=4500 #constraints=1949
15.09/15.16	c nbDecision=5000 #constraints=2073
16.69/16.79	c nbDecision=5500 #constraints=2193
21.39/21.48	c nbDecision=6000 #constraints=2540
25.59/25.62	c restart after 6401 decisions
25.78/25.80	c nbDecision=6500 #constraints=2840
27.08/27.16	c nbDecision=7000 #constraints=2904
29.48/29.52	c nbDecision=7500 #constraints=3028
30.88/30.90	c nbDecision=8000 #constraints=3105
33.48/33.52	c nbDecision=8500 #constraints=3237
36.49/36.59	c nbDecision=9000 #constraints=3383
39.28/39.36	c nbDecision=9500 #constraints=3536
44.88/44.91	c nbDecision=10000 #constraints=3771
48.97/49.05	c nbDecision=10500 #constraints=3947
52.38/52.49	c nbDecision=11000 #constraints=4068
55.77/55.83	c nbDecision=11500 #constraints=4190
60.38/60.47	c nbDecision=12000 #constraints=4366
65.98/66.07	c nbDecision=12500 #constraints=4573
68.08/68.16	c restart after 12801 decisions
69.08/69.11	c nbDecision=13000 #constraints=4655
72.37/72.43	c nbDecision=13500 #constraints=4756
76.47/76.59	c nbDecision=14000 #constraints=4881
81.87/81.92	c nbDecision=14500 #constraints=5051
90.27/90.37	c nbDecision=15000 #constraints=5354
98.97/99.08	c nbDecision=15500 #constraints=5619
106.87/106.98	c nbDecision=16000 #constraints=5868
116.93/117.09	c nbDecision=16500 #constraints=6151
127.90/128.08	c nbDecision=17000 #constraints=6434
139.88/140.01	c nbDecision=17500 #constraints=6739
151.17/151.32	c nbDecision=18000 #constraints=7000
162.26/162.50	c nbDecision=18500 #constraints=7241
174.05/174.26	c nbDecision=19000 #constraints=7479
184.95/185.13	c nbDecision=19500 #constraints=7677
196.54/196.70	c nbDecision=20000 #constraints=7924
209.23/209.42	c nbDecision=20500 #constraints=8169
219.74/219.95	c nbDecision=21000 #constraints=8362
233.93/234.20	c nbDecision=21500 #constraints=8634
247.93/248.12	c nbDecision=22000 #constraints=8876
260.92/261.14	c nbDecision=22500 #constraints=9105
272.72/272.96	c nbDecision=23000 #constraints=9322
284.52/284.74	c nbDecision=23500 #constraints=9528
295.11/295.36	c nbDecision=24000 #constraints=9697
310.21/310.43	c nbDecision=24500 #constraints=9918
324.41/324.69	c nbDecision=25000 #constraints=10128
337.91/338.13	c nbDecision=25500 #constraints=10336
340.21/340.43	c restart after 25601 decisions
346.21/346.48	c nbDecision=26000 #constraints=10466
352.30/352.58	c nbDecision=26500 #constraints=10542
362.40/362.60	c nbDecision=27000 #constraints=10679
375.00/375.26	c nbDecision=27500 #constraints=10838
384.99/385.21	c nbDecision=28000 #constraints=10979
391.49/391.71	c nbDecision=28500 #constraints=11072
401.29/401.55	c nbDecision=29000 #constraints=11204
409.09/409.36	c nbDecision=29500 #constraints=11327
419.99/420.29	c nbDecision=30000 #constraints=11486
432.28/432.56	c nbDecision=30500 #constraints=11744
444.09/444.31	c nbDecision=31000 #constraints=11939
452.68/452.95	c nbDecision=31500 #constraints=12054
463.47/463.78	c nbDecision=32000 #constraints=12190
473.36/473.61	c nbDecision=32500 #constraints=12301
484.96/485.24	c nbDecision=33000 #constraints=12459
497.66/497.91	c nbDecision=33500 #constraints=12662
509.96/510.30	c nbDecision=34000 #constraints=12859
519.46/519.70	c nbDecision=34500 #constraints=12981
529.25/529.55	c nbDecision=35000 #constraints=13104
547.15/547.50	c nbDecision=35500 #constraints=13381
563.65/563.99	c nbDecision=36000 #constraints=13633
575.54/575.84	c nbDecision=36500 #constraints=13781
584.84/585.18	c nbDecision=37000 #constraints=13882
598.94/599.23	c nbDecision=37500 #constraints=14055
610.43/610.79	c nbDecision=38000 #constraints=14185
622.92/623.28	c nbDecision=38500 #constraints=14308
638.43/638.78	c nbDecision=39000 #constraints=14478
659.01/659.37	c nbDecision=39500 #constraints=14706
669.82/670.18	c nbDecision=40000 #constraints=14847
682.31/682.66	c nbDecision=40500 #constraints=14964
695.11/695.47	c nbDecision=41000 #constraints=15088
707.71/708.06	c nbDecision=41500 #constraints=15205
723.30/723.67	c nbDecision=42000 #constraints=15393
746.99/747.36	c nbDecision=42500 #constraints=15614
762.09/762.48	c nbDecision=43000 #constraints=15766
777.18/777.56	c nbDecision=43500 #constraints=15914
794.68/795.08	c nbDecision=44000 #constraints=16061
811.48/811.81	c nbDecision=44500 #constraints=16235
826.18/826.52	c nbDecision=45000 #constraints=16388
840.27/840.67	c nbDecision=45500 #constraints=16527
853.96/854.35	c nbDecision=46000 #constraints=16655
874.86/875.22	c nbDecision=46500 #constraints=16883
894.56/894.93	c nbDecision=47000 #constraints=17095
913.45/913.88	c nbDecision=47500 #constraints=17254
928.45/928.80	c nbDecision=48000 #constraints=17397
942.64/943.04	c nbDecision=48500 #constraints=17527
959.24/959.66	c nbDecision=49000 #constraints=17661
976.84/977.25	c nbDecision=49500 #constraints=17827
991.83/992.27	c nbDecision=50000 #constraints=17949
1007.23/1007.63	c nbDecision=50500 #constraints=18054
1024.53/1024.99	c nbDecision=51000 #constraints=18218
1030.82/1031.23	c restart after 51201 decisions
1037.62/1038.08	c nbDecision=51500 #constraints=18318
1057.61/1058.07	c nbDecision=52000 #constraints=18523
1074.40/1074.82	c nbDecision=52500 #constraints=18679
1088.41/1088.85	c nbDecision=53000 #constraints=18785
1101.50/1101.94	c nbDecision=53500 #constraints=18871
1115.01/1115.49	c nbDecision=54000 #constraints=18980
1127.00/1127.49	c nbDecision=54500 #constraints=19057
1142.09/1142.58	c nbDecision=55000 #constraints=19181
1152.99/1153.43	c nbDecision=55500 #constraints=19258
1166.38/1166.87	c nbDecision=56000 #constraints=19360
1176.88/1177.31	c nbDecision=56500 #constraints=19435
1190.48/1190.91	c nbDecision=57000 #constraints=19523
1205.17/1205.66	c nbDecision=57500 #constraints=19637
1217.07/1217.58	c nbDecision=58000 #constraints=19732
1229.86/1230.31	c nbDecision=58500 #constraints=19825
1245.96/1246.42	c nbDecision=59000 #constraints=19940
1257.06/1257.57	c nbDecision=59500 #constraints=20032
1268.76/1269.22	c nbDecision=60000 #constraints=20112
1281.95/1282.49	c nbDecision=60500 #constraints=20216
1291.15/1291.63	c nbDecision=61000 #constraints=20267
1300.65/1301.18	c nbDecision=61500 #constraints=20327
1315.64/1316.15	c nbDecision=62000 #constraints=20423
1331.13/1331.67	c nbDecision=62500 #constraints=20537
1342.54/1343.05	c nbDecision=63000 #constraints=20600
1354.13/1354.65	c nbDecision=63500 #constraints=20665
1364.73/1365.27	c nbDecision=64000 #constraints=20721
1380.12/1380.61	c nbDecision=64500 #constraints=20832
1397.32/1397.80	c nbDecision=65000 #constraints=20974
1409.42/1409.92	c nbDecision=65500 #constraints=21084
1422.42/1422.95	c nbDecision=66000 #constraints=21178
1431.91/1432.50	c nbDecision=66500 #constraints=21226
1441.71/1442.27	c nbDecision=67000 #constraints=21285
1455.31/1455.83	c nbDecision=67500 #constraints=21389
1468.90/1469.49	c nbDecision=68000 #constraints=21474
1483.70/1484.26	c nbDecision=68500 #constraints=21583
1499.20/1499.73	c nbDecision=69000 #constraints=21687
1512.29/1512.84	c nbDecision=69500 #constraints=21792
1523.29/1523.82	c nbDecision=70000 #constraints=21868
1535.09/1535.68	c nbDecision=70500 #constraints=21972
1547.19/1547.74	c nbDecision=71000 #constraints=22052
1560.48/1561.01	c nbDecision=71500 #constraints=22147
1574.37/1574.97	c nbDecision=72000 #constraints=22240
1587.97/1588.51	c nbDecision=72500 #constraints=22336
1602.47/1603.05	c nbDecision=73000 #constraints=22445
1616.16/1616.71	c nbDecision=73500 #constraints=22549
1629.56/1630.12	c nbDecision=74000 #constraints=22638
1644.66/1645.23	c nbDecision=74500 #constraints=22740
1659.65/1660.27	c nbDecision=75000 #constraints=22866
1671.94/1672.56	c nbDecision=75500 #constraints=22972
1687.05/1687.64	c nbDecision=76000 #constraints=23086
1701.74/1702.38	c nbDecision=76500 #constraints=23181
1716.63/1717.23	c nbDecision=77000 #constraints=23284
1734.73/1735.36	c nbDecision=77500 #constraints=23418
1750.73/1751.32	c nbDecision=78000 #constraints=23509
1767.62/1768.30	c nbDecision=78500 #constraints=23616
1782.52/1783.17	c nbDecision=79000 #constraints=23704
1795.92/1796.57	c nbDecision=79500 #constraints=23768
1800.02/1800.60	Received signal 15
1800.02/1800.61	
1800.02/1800.61	s UNKNOWN
1800.02/1800.61	
1800.02/1800.61	c user time= 1799.22 s
1800.02/1800.61	c system time= 0.814876 s
1800.02/1800.61	c wall clock time=1800.61

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-357330-1176994751 -o ROOT/results/node19/solver-357330-1176994751 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357330-1176994751/instance-357330-1176994751.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: 1.00 1.00 0.97 3/77 26463
/proc/meminfo: memFree=1720704/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=1468 CPUtime=0
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 147392496 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135174573 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 367 164 131 317 0 46 0

[startup+0.0548301 s]
/proc/loadavg: 1.00 1.00 0.97 3/77 26463
/proc/meminfo: memFree=1720704/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=2128 CPUtime=0.05
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 366 0 0 0 5 0 0 0 18 0 1 0 147392496 2179072 348 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 532 348 139 317 0 211 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2128

[startup+0.10283 s]
/proc/loadavg: 1.00 1.00 0.97 3/77 26463
/proc/meminfo: memFree=1720704/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=2528 CPUtime=0.1
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 468 0 0 0 10 0 0 0 18 0 1 0 147392496 2588672 450 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 632 450 170 317 0 311 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2528

[startup+0.30185 s]
/proc/loadavg: 1.00 1.00 0.97 3/77 26463
/proc/meminfo: memFree=1720704/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=3452 CPUtime=0.29
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 709 0 0 0 29 0 0 0 19 0 1 0 147392496 3534848 691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284229 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 863 691 170 317 0 542 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3452

[startup+0.701894 s]
/proc/loadavg: 1.00 1.00 0.97 3/77 26463
/proc/meminfo: memFree=1720704/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=5448 CPUtime=0.69
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 1217 0 0 0 69 0 0 0 22 0 1 0 147392496 5578752 1199 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272922 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 1362 1199 170 317 0 1041 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5448

[startup+1.50198 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 26464
/proc/meminfo: memFree=1715000/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=9564 CPUtime=1.49
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 2256 0 0 0 149 0 0 0 25 0 1 0 147392496 9793536 2238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 2391 2238 170 317 0 2070 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9564

[startup+3.10115 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 26464
/proc/meminfo: memFree=1710200/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=16052 CPUtime=3.09
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 3863 0 0 0 308 1 0 0 25 0 1 0 147392496 16437248 3845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 4013 3845 170 317 0 3692 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16052

[startup+6.3015 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 26464
/proc/meminfo: memFree=1700536/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=23284 CPUtime=6.29
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 5643 0 0 0 628 1 0 0 25 0 1 0 147392496 23842816 5625 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 5821 5625 170 317 0 5500 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23284

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 26464
/proc/meminfo: memFree=1685048/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=37708 CPUtime=12.68
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 9271 0 0 0 1266 2 0 0 25 0 1 0 147392496 38612992 9253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 9427 9253 170 317 0 9106 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 37708

[startup+25.5026 s]
/proc/loadavg: 1.00 1.00 0.97 3/78 26464
/proc/meminfo: memFree=1662392/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=61644 CPUtime=25.49
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 14785 0 0 0 2544 5 0 0 25 0 1 0 147392496 63123456 14767 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 15411 14767 170 317 0 15090 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61644

[startup+51.1024 s]
/proc/loadavg: 1.00 1.00 0.97 3/78 26464
/proc/meminfo: memFree=1642808/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=79968 CPUtime=51.08
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 19675 0 0 0 5099 9 0 0 25 0 1 0 147392496 81887232 19657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 19992 19657 170 317 0 19671 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 79968

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 26464
/proc/meminfo: memFree=1607032/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=119708 CPUtime=102.27
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 28530 0 0 0 10213 14 0 0 25 0 1 0 147392496 122580992 28512 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718422 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 29927 28512 170 317 0 29606 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 119708

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/84 26642
/proc/meminfo: memFree=1575872/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=147544 CPUtime=162.16
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 35982 0 0 0 16196 20 0 0 25 0 1 0 147392496 151085056 35964 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 36886 35964 170 317 0 36565 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 147544

[startup+222.303 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 26662
/proc/meminfo: memFree=1554104/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=169308 CPUtime=222.14
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 41715 0 0 0 22189 25 0 0 25 0 1 0 147392496 173371392 41640 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 42327 41640 170 317 0 42006 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 169308

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 26662
/proc/meminfo: memFree=1522936/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=212664 CPUtime=282.12
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 49521 0 0 0 28182 30 0 0 25 0 1 0 147392496 217767936 49446 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 53166 49446 170 317 0 52845 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 212664

[startup+342.303 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 26662
/proc/meminfo: memFree=1504824/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=229532 CPUtime=342.11
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 54027 0 0 0 34178 33 0 0 25 0 1 0 147392496 235040768 53952 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718425 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 57383 53952 170 317 0 57062 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 229532

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 26662
/proc/meminfo: memFree=1491064/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=243176 CPUtime=402.09
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 57464 0 0 0 40174 35 0 0 25 0 1 0 147392496 249012224 57389 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 60794 57389 170 317 0 60473 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 243176

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 26662
/proc/meminfo: memFree=1476024/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=256876 CPUtime=462.07
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 61235 0 0 0 46169 38 0 0 25 0 1 0 147392496 263041024 61160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 64219 61160 170 317 0 63898 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 256876

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 26662
/proc/meminfo: memFree=1462840/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=269276 CPUtime=522.06
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 64541 0 0 0 52165 41 0 0 25 0 1 0 147392496 275738624 64466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718425 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 67319 64466 170 317 0 66998 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 269276

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 26662
/proc/meminfo: memFree=1450360/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=281528 CPUtime=582.04
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 67619 0 0 0 58161 43 0 0 25 0 1 0 147392496 288284672 67544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 70382 67544 170 317 0 70061 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 281528

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 26662
/proc/meminfo: memFree=1440248/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=290940 CPUtime=642.03
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 70138 0 0 0 64158 45 0 0 25 0 1 0 147392496 297922560 70063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 72735 70063 170 317 0 72414 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 290940


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 26662
/proc/meminfo: memFree=1409848/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=318676 CPUtime=821.98
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 77724 0 0 0 82145 53 0 0 25 0 1 0 147392496 326324224 77649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 79669 77649 170 317 0 79348 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 318676

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 26662
/proc/meminfo: memFree=1399224/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=330280 CPUtime=881.96
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 80707 0 0 0 88142 54 0 0 25 0 1 0 147392496 338206720 80288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 82570 80288 170 317 0 82249 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 330280

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 26662
/proc/meminfo: memFree=1386296/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=354728 CPUtime=941.94
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 86106 0 0 0 94137 57 0 0 25 0 1 0 147392496 363241472 83509 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 88682 83509 170 317 0 88361 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 354728

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 26662
/proc/meminfo: memFree=1377464/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=362784 CPUtime=1001.92
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 88312 0 0 0 100133 59 0 0 25 0 1 0 147392496 371490816 85715 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 90696 85715 170 317 0 90375 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 362784

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 26662
/proc/meminfo: memFree=1368696/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=373180 CPUtime=1061.91
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 90798 0 0 0 106130 61 0 0 25 0 1 0 147392496 382136320 87937 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 93295 87937 170 317 0 92974 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 373180

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 26662
/proc/meminfo: memFree=1358328/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=392956 CPUtime=1121.9
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 95203 0 0 0 112126 64 0 0 25 0 1 0 147392496 402386944 90494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718425 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 98239 90494 170 317 0 97918 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 392956

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 26662
/proc/meminfo: memFree=1351224/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=399508 CPUtime=1181.87
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 96981 0 0 0 118122 65 0 0 25 0 1 0 147392496 409096192 92272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 99877 92272 170 317 0 99556 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 399508

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 26662
/proc/meminfo: memFree=1343800/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=407780 CPUtime=1241.86
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 99066 0 0 0 124119 67 0 0 25 0 1 0 147392496 417566720 94093 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 101945 94093 170 317 0 101624 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 407780

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 26662
/proc/meminfo: memFree=1336568/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=414040 CPUtime=1301.86
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 100865 0 0 0 130117 69 0 0 25 0 1 0 147392496 423976960 95892 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718647 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 103510 95892 170 317 0 103189 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 414040

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 26662
/proc/meminfo: memFree=1330936/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=420524 CPUtime=1361.83
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 102416 0 0 0 136113 70 0 0 25 0 1 0 147392496 430616576 97311 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 105131 97311 170 317 0 104810 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 420524

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 26662
/proc/meminfo: memFree=1324280/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=426232 CPUtime=1421.82
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 104087 0 0 0 142110 72 0 0 25 0 1 0 147392496 436461568 98982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 106558 98982 170 317 0 106237 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 426232

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 26662
/proc/meminfo: memFree=1318072/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=431928 CPUtime=1481.8
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 105629 0 0 0 148107 73 0 0 25 0 1 0 147392496 442294272 100524 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 107982 100524 170 317 0 107661 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 431928

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 26662
/proc/meminfo: memFree=1311352/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=437916 CPUtime=1541.78
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 107290 0 0 0 154103 75 0 0 25 0 1 0 147392496 448425984 102185 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 109479 102185 170 317 0 109158 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 437916

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 26662
/proc/meminfo: memFree=1304888/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=443584 CPUtime=1601.77
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 108929 0 0 0 160101 76 0 0 25 0 1 0 147392496 454230016 103824 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 110896 103824 170 317 0 110575 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 443584

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 26662
/proc/meminfo: memFree=1297208/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=450328 CPUtime=1661.75
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 110859 0 0 0 166098 77 0 0 25 0 1 0 147392496 461135872 105721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 112582 105721 170 317 0 112261 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 450328

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/78 26662
/proc/meminfo: memFree=1290360/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=457092 CPUtime=1721.73
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 112618 0 0 0 172095 78 0 0 25 0 1 0 147392496 468062208 107414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 114273 107414 170 317 0 113952 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 457092

[startup+1782.3 s]
/proc/loadavg: 1.06 1.03 0.98 2/78 26662
/proc/meminfo: memFree=1283128/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=463292 CPUtime=1781.72
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 114438 0 0 0 178092 80 0 0 25 0 1 0 147392496 474411008 109201 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 115823 109201 170 317 0 115502 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 463292



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.05 1.02 0.98 2/78 26662
/proc/meminfo: memFree=1281848/2055920 swapFree=4159444/4192956
[pid=26463] ppid=26461 vsize=464460 CPUtime=1800.02
/proc/26463/stat : 26463 (oree) R 26461 26463 25991 0 -1 4194304 114756 0 0 0 179921 81 0 0 25 0 1 0 147392496 475607040 109519 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26463/statm: 116115 109519 170 317 0 115794 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 464460

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

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

Child status: 0
Real time (s): 1800.69
CPU time (s): 1800.11
CPU user time (s): 1799.23
CPU system time (s): 0.885865
CPU usage (%): 99.968
Max. virtual memory (cumulated for all children) (KiB): 464460

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

runsolver used 2.16667 second user time and 4.38733 second system time

The end

Launcher Data (download as text)

Begin job on node19 on Thu Apr 19 14:59:11 UTC 2007

IDJOB= 357330
IDBENCH= 2418
IDSOLVER= 172
FILE ID= node19/357330-1176994751

PBS_JOBID= 4630466

Free space on /tmp= 66449 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-kb2.opb
COMMAND LINE= oree /tmp/evaluation/357330-1176994751/instance-357330-1176994751.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-357330-1176994751 -o ROOT/results/node19/solver-357330-1176994751 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357330-1176994751/instance-357330-1176994751.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  7bb51fb18714f8fdd98e0de4fc62f6d8

RANDOM SEED= 332080211

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:       1721176 kB
Buffers:         34448 kB
Cached:         211772 kB
SwapCached:       2320 kB
Active:         140344 kB
Inactive:       128764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1721176 kB
SwapTotal:     4192956 kB
SwapFree:      4159444 kB
Dirty:            1424 kB
Writeback:           0 kB
Mapped:          30864 kB
Slab:            51172 kB
Committed_AS:  3018580 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= 66449 MiB

End job on node19 on Thu Apr 19 15:29:14 UTC 2007