Trace number 455615

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.56 1802.12

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_25_3.opb
MD5SUM9fd52bec996ed780d55ecea52b6ce11a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-85
Best CPU time to get the best result obtained on this benchmark1800.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -85
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31444
Sum of products size (including duplicates)62888
Number of different products15722
Sum of products size31444

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.26	c ...done
0.19/0.26	c #vars=16722 #constraints=32947 hasObjective=yes
0.29/0.40	c res. mode=mod
0.29/0.40	c VSIDS like heuristics
0.29/0.40	c complete search running
1.19/1.20	c restart after 401 decisions
1.19/1.28	c nbDecision=500 #constraints=33099
1.89/1.91	c restart after 801 decisions
1.99/2.04	c nbDecision=1000 #constraints=33216
4.29/4.32	c nbDecision=1500 #constraints=33624
4.79/4.87	c restart after 1601 decisions
5.98/6.01	c nbDecision=2000 #constraints=33854
8.70/8.77	c nbDecision=2500 #constraints=34291
11.59/11.67	c nbDecision=3000 #constraints=34720
12.88/12.91	c restart after 3201 decisions
14.58/14.63	c nbDecision=3500 #constraints=34950
16.89/16.94	c nbDecision=4000 #constraints=35217
20.09/20.13	c nbDecision=4500 #constraints=35684
23.29/23.39	c nbDecision=5000 #constraints=36058
26.88/26.93	c nbDecision=5500 #constraints=36432
30.48/30.54	c nbDecision=6000 #constraints=36890
33.28/33.39	c restart after 6401 decisions
35.08/35.18	c nbDecision=6500 #constraints=37248
38.48/38.55	c nbDecision=7000 #constraints=37586
42.58/42.61	c nbDecision=7500 #constraints=37972
46.68/46.74	c nbDecision=8000 #constraints=38383
50.98/51.09	c nbDecision=8500 #constraints=38787
55.28/55.32	c nbDecision=9000 #constraints=39228
59.58/59.64	c nbDecision=9500 #constraints=39680
63.78/63.87	c nbDecision=10000 #constraints=40132
68.37/68.44	c nbDecision=10500 #constraints=40577
73.27/73.33	c nbDecision=11000 #constraints=40987
78.07/78.11	c nbDecision=11500 #constraints=41433
83.07/83.12	c nbDecision=12000 #constraints=41862
89.08/89.15	c nbDecision=12500 #constraints=42225
91.97/92.03	c restart after 12801 decisions
97.06/97.12	c nbDecision=13000 #constraints=42507
102.87/103.00	c nbDecision=13500 #constraints=42859
108.06/108.15	c nbDecision=14000 #constraints=43306
113.56/113.62	c nbDecision=14500 #constraints=43745
119.66/119.73	c nbDecision=15000 #constraints=44151
125.96/126.05	c nbDecision=15500 #constraints=44553
131.46/131.53	c nbDecision=16000 #constraints=45008
138.76/138.86	c nbDecision=16500 #constraints=45374
145.86/145.96	c nbDecision=17000 #constraints=45757
151.55/151.69	c nbDecision=17500 #constraints=46221
158.85/158.90	c nbDecision=18000 #constraints=46611
165.35/165.43	c nbDecision=18500 #constraints=47040
171.85/171.94	c nbDecision=19000 #constraints=47476
179.85/179.93	c nbDecision=19500 #constraints=47858
186.95/187.03	c nbDecision=20000 #constraints=48279
196.34/196.41	c nbDecision=20500 #constraints=48620
204.64/204.77	c nbDecision=21000 #constraints=49003
213.04/213.10	c nbDecision=21500 #constraints=49400
220.44/220.53	c nbDecision=22000 #constraints=49827
227.84/227.95	c nbDecision=22500 #constraints=50258
237.43/237.60	c nbDecision=23000 #constraints=50625
244.33/244.47	c nbDecision=23500 #constraints=51079
258.23/258.39	c nbDecision=24000 #constraints=51318
265.83/265.98	c nbDecision=24500 #constraints=51757
275.32/275.49	c nbDecision=25000 #constraints=52145
282.42/282.58	c nbDecision=25500 #constraints=52606
285.92/286.09	c restart after 25601 decisions
300.41/300.59	c nbDecision=26000 #constraints=52769
307.71/307.82	c nbDecision=26500 #constraints=53214
319.81/320.00	c nbDecision=27000 #constraints=53549
330.71/330.85	c nbDecision=27500 #constraints=53910
339.40/339.53	c nbDecision=28000 #constraints=54340
350.50/350.65	c nbDecision=28500 #constraints=54746
358.70/358.82	c nbDecision=29000 #constraints=55161
369.40/369.53	c nbDecision=29500 #constraints=55549
380.19/380.35	c nbDecision=30000 #constraints=55940
391.19/391.31	c nbDecision=30500 #constraints=56330
403.59/403.79	c nbDecision=31000 #constraints=56687
412.69/412.84	c nbDecision=31500 #constraints=57128
423.28/423.46	c nbDecision=32000 #constraints=57535
433.98/434.19	c nbDecision=32500 #constraints=57949
444.78/444.93	c nbDecision=33000 #constraints=58356
459.87/460.05	c nbDecision=33500 #constraints=58677
471.96/472.11	c nbDecision=34000 #constraints=59064
487.36/487.59	c nbDecision=34500 #constraints=59384
500.27/500.47	c nbDecision=35000 #constraints=59762
513.96/514.14	c nbDecision=35500 #constraints=60126
525.15/525.31	c nbDecision=36000 #constraints=60543
536.55/536.70	c nbDecision=36500 #constraints=60958
552.34/552.50	c nbDecision=37000 #constraints=61291
566.04/566.27	c nbDecision=37500 #constraints=61675
582.24/582.41	c nbDecision=38000 #constraints=62010
595.33/595.55	c nbDecision=38500 #constraints=62404
613.43/613.65	c nbDecision=39000 #constraints=62702
630.03/630.28	c nbDecision=39500 #constraints=63032
649.83/650.08	c nbDecision=40000 #constraints=63315
666.42/666.62	c nbDecision=40500 #constraints=63654
685.51/685.80	c nbDecision=41000 #constraints=63953
707.91/708.10	c nbDecision=41500 #constraints=64202
728.90/729.17	c nbDecision=42000 #constraints=64469
753.30/753.53	c nbDecision=42500 #constraints=64682
772.69/772.94	c nbDecision=43000 #constraints=64982
799.18/799.50	c nbDecision=43500 #constraints=65207
828.18/828.44	c nbDecision=44000 #constraints=65317
840.37/840.62	c nbDecision=44500 #constraints=65751
852.17/852.42	c nbDecision=45000 #constraints=66201
862.77/863.03	c nbDecision=45500 #constraints=66666
877.96/878.24	c nbDecision=46000 #constraints=67057
887.26/887.56	c nbDecision=46500 #constraints=67544
898.56/898.85	c nbDecision=47000 #constraints=68002
915.65/915.98	c nbDecision=47500 #constraints=68374
927.05/927.36	c nbDecision=48000 #constraints=68834
940.84/941.16	c nbDecision=48500 #constraints=69261
951.75/952.06	c nbDecision=49000 #constraints=69731
964.23/964.58	c nbDecision=49500 #constraints=70190
977.74/978.06	c nbDecision=50000 #constraints=70615
996.03/996.34	c nbDecision=50500 #constraints=70984
1005.73/1006.03	c nbDecision=51000 #constraints=71472
1012.52/1012.85	c restart after 51201 decisions
1035.63/1035.94	c nbDecision=51500 #constraints=71679
1045.12/1045.43	c nbDecision=52000 #constraints=72171
1055.62/1055.94	c nbDecision=52500 #constraints=72649
1067.01/1067.39	c nbDecision=53000 #constraints=73117
1080.01/1080.32	c nbDecision=53500 #constraints=73567
1094.01/1094.31	c nbDecision=54000 #constraints=74004
1103.80/1104.14	c nbDecision=54500 #constraints=74497
1117.50/1117.80	c nbDecision=55000 #constraints=74942
1127.99/1128.39	c nbDecision=55500 #constraints=75427
1143.20/1143.58	c nbDecision=56000 #constraints=75857
1154.88/1155.25	c nbDecision=56500 #constraints=76331
1167.48/1167.81	c nbDecision=57000 #constraints=76796
1182.09/1182.49	c nbDecision=57500 #constraints=77236
1196.08/1196.43	c nbDecision=58000 #constraints=77686
1210.68/1211.10	c nbDecision=58500 #constraints=78129
1228.48/1228.85	c nbDecision=59000 #constraints=78543
1247.07/1247.43	c nbDecision=59500 #constraints=78944
1261.96/1262.30	c nbDecision=60000 #constraints=79389
1274.96/1275.33	c nbDecision=60500 #constraints=79857
1288.15/1288.52	c nbDecision=61000 #constraints=80324
1300.86/1301.23	c nbDecision=61500 #constraints=80796
1335.15/1335.56	c nbDecision=62000 #constraints=81032
1353.03/1353.44	c nbDecision=62500 #constraints=81450
1371.94/1372.37	c nbDecision=63000 #constraints=81883
1385.64/1386.09	c nbDecision=63500 #constraints=82323
1405.83/1406.29	c nbDecision=64000 #constraints=82753
1423.71/1424.10	c nbDecision=64500 #constraints=83146
1435.92/1436.35	c nbDecision=65000 #constraints=83630
1449.11/1449.54	c nbDecision=65500 #constraints=84105
1465.82/1466.29	c nbDecision=66000 #constraints=84544
1481.80/1482.28	c nbDecision=66500 #constraints=84992
1501.49/1501.93	c nbDecision=67000 #constraints=85407
1517.60/1518.03	c nbDecision=67500 #constraints=85857
1531.90/1532.38	c nbDecision=68000 #constraints=86327
1548.09/1548.55	c nbDecision=68500 #constraints=86780
1564.28/1564.70	c nbDecision=69000 #constraints=87233
1584.78/1585.23	c nbDecision=69500 #constraints=87647
1603.57/1604.01	c nbDecision=70000 #constraints=88077
1617.67/1618.17	c nbDecision=70500 #constraints=88551
1635.96/1636.43	c nbDecision=71000 #constraints=88990
1655.36/1655.88	c nbDecision=71500 #constraints=89464
1684.55/1685.04	c nbDecision=72000 #constraints=89758
1701.05/1701.52	c nbDecision=72500 #constraints=90216
1720.75/1721.28	c nbDecision=73000 #constraints=90679
1739.44/1739.91	c nbDecision=73500 #constraints=91083
1761.74/1762.29	c nbDecision=74000 #constraints=91493
1778.24/1778.70	c nbDecision=74500 #constraints=91955
1798.32/1798.85	c nbDecision=75000 #constraints=92387
1800.02/1800.50	Received signal 15
1801.23/1801.79	
1801.23/1801.79	s UNKNOWN
1801.23/1801.79	
1801.23/1801.79	c user time= 1799.53 s
1801.23/1801.79	c system time= 1.80073 s
1801.23/1801.79	c wall clock time=1801.8

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455615-1178046487/instance-455615-1178046487.opb
mv /tmp/evaluation/455615-1178046487/instance-455615-1178046487.opb.tmp /tmp/evaluation/455615-1178046487/instance-455615-1178046487.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node47/watcher-455615-1178046487 -o ROOT/results/node47/solver-455615-1178046487 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455615-1178046487/instance-455615-1178046487.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.84 0.95 0.97 3/77 13550
/proc/meminfo: memFree=1776296/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=1468 CPUtime=0
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 185 0 0 0 0 0 0 0 18 0 1 0 159494095 1503232 168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 367 168 131 317 0 46 0

[startup+0.0509241 s]
/proc/loadavg: 0.84 0.95 0.97 3/77 13550
/proc/meminfo: memFree=1776296/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=2392 CPUtime=0.04
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 418 0 0 0 4 0 0 0 18 0 1 0 159494095 2449408 401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 598 401 131 317 0 277 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2392

[startup+0.102931 s]
/proc/loadavg: 0.84 0.95 0.97 3/77 13550
/proc/meminfo: memFree=1776296/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=3324 CPUtime=0.09
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 636 0 0 0 9 0 0 0 18 0 1 0 159494095 3403776 619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 831 619 132 317 0 510 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3324

[startup+0.301952 s]
/proc/loadavg: 0.84 0.95 0.97 3/77 13550
/proc/meminfo: memFree=1776296/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=13520 CPUtime=0.29
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 3210 0 0 0 28 1 0 0 19 0 1 0 159494095 13844480 3160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 3380 3160 137 317 0 3059 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13520

[startup+0.702995 s]
/proc/loadavg: 0.84 0.95 0.97 3/77 13550
/proc/meminfo: memFree=1776296/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=16400 CPUtime=0.69
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 3917 0 0 0 68 1 0 0 22 0 1 0 159494095 16793600 3641 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 4100 3641 139 317 0 3779 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16400

[startup+1.50108 s]
/proc/loadavg: 0.85 0.95 0.97 2/78 13551
/proc/meminfo: memFree=1760672/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=19476 CPUtime=1.49
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 4682 0 0 0 147 2 0 0 25 0 1 0 159494095 19943424 4406 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 4869 4406 139 317 0 4548 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19476

[startup+3.10125 s]
/proc/loadavg: 0.85 0.95 0.97 2/78 13551
/proc/meminfo: memFree=1756576/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=25484 CPUtime=3.09
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 6187 0 0 0 306 3 0 0 25 0 1 0 159494095 26095616 5911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 6371 5911 139 317 0 6050 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25484

[startup+6.3016 s]
/proc/loadavg: 0.87 0.95 0.97 2/78 13551
/proc/meminfo: memFree=1745120/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=36100 CPUtime=6.28
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 8854 0 0 0 624 4 0 0 25 0 1 0 159494095 36966400 8578 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 9025 8578 139 317 0 8704 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 36100

[startup+12.7013 s]
/proc/loadavg: 0.88 0.95 0.97 3/78 13551
/proc/meminfo: memFree=1722728/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=57708 CPUtime=12.68
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 14259 0 0 0 1261 7 0 0 25 0 1 0 159494095 59092992 13983 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 14427 13983 139 317 0 14106 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 57708

[startup+25.5017 s]
/proc/loadavg: 0.89 0.95 0.97 2/78 13551
/proc/meminfo: memFree=1688488/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=91080 CPUtime=25.48
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 22500 0 0 0 2537 11 0 0 25 0 1 0 159494095 93265920 22224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 22770 22224 139 317 0 22449 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 91080

[startup+51.1015 s]
/proc/loadavg: 0.93 0.96 0.97 2/78 13551
/proc/meminfo: memFree=1631336/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=150928 CPUtime=51.08
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 36662 0 0 0 5091 17 0 0 25 0 1 0 159494095 154550272 36386 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 37732 36386 139 317 0 37411 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 150928

[startup+102.306 s]
/proc/loadavg: 0.97 0.96 0.97 2/78 13551
/proc/meminfo: memFree=1536808/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=254900 CPUtime=102.27
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 60200 0 0 0 10199 28 0 0 25 0 1 0 159494095 261017600 59924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 63725 59924 139 317 0 63404 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 254900

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 13553
/proc/meminfo: memFree=1457256/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=326520 CPUtime=162.25
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 79976 0 0 0 16188 37 0 0 25 0 1 0 159494095 334356480 79700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 81630 79700 139 317 0 81309 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 326520

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 13553
/proc/meminfo: memFree=1381736/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=446104 CPUtime=222.24
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 107412 0 0 0 22175 49 0 0 25 0 1 0 159494095 456810496 98490 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 111526 98490 139 317 0 111205 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 446104

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 13553
/proc/meminfo: memFree=1327784/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=493164 CPUtime=282.22
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 121587 0 0 0 28167 55 0 0 25 0 1 0 159494095 504999936 112665 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 123291 112665 139 317 0 122970 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 493164

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 13553
/proc/meminfo: memFree=1286760/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=526504 CPUtime=342.2
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 131117 0 0 0 34161 59 0 0 25 0 1 0 159494095 539140096 122195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711484 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 131626 122195 139 317 0 131305 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 526504

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 13553
/proc/meminfo: memFree=1243112/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=564628 CPUtime=402.18
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 142273 0 0 0 40152 66 0 0 25 0 1 0 159494095 578179072 133351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 141157 133351 139 317 0 140836 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 564628

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 13553
/proc/meminfo: memFree=1197352/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=602984 CPUtime=462.17
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 153455 0 0 0 46144 73 0 0 25 0 1 0 159494095 617455616 144533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 150746 144533 139 317 0 150425 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 602984

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 13553
/proc/meminfo: memFree=1162536/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=631800 CPUtime=522.15
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 162264 0 0 0 52139 76 0 0 25 0 1 0 159494095 646963200 153342 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 157950 153342 139 317 0 157629 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 631800

[startup+582.303 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 13553
/proc/meminfo: memFree=1129064/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=659904 CPUtime=582.14
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 170490 0 0 0 58133 81 0 0 25 0 1 0 159494095 675741696 161568 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 164976 161568 139 317 0 164655 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 659904

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 13553
/proc/meminfo: memFree=1105256/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=680392 CPUtime=642.13
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 176434 0 0 0 64129 84 0 0 25 0 1 0 159494095 696721408 167512 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 170098 167512 139 317 0 169777 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 680392


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

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 13553
/proc/meminfo: memFree=889704/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=981572 CPUtime=1062.02
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 256630 0 0 0 106078 124 0 0 25 0 1 0 159494095 1005129728 221517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 245393 221517 139 317 0 245072 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 981572

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 13553
/proc/meminfo: memFree=841768/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=1021480 CPUtime=1122
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 268438 0 0 0 112071 129 0 0 25 0 1 0 159494095 1045995520 233325 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 255370 233325 139 317 0 255049 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1021480

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 13553
/proc/meminfo: memFree=797736/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=1058560 CPUtime=1181.99
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 279554 0 0 0 118063 136 0 0 25 0 1 0 159494095 1083965440 244441 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 264640 244441 139 317 0 264319 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 1058560

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 13553
/proc/meminfo: memFree=760744/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=1089024 CPUtime=1241.96
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 288543 0 0 0 124057 139 0 0 25 0 1 0 159494095 1115160576 253430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 272256 253430 139 317 0 271935 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1089024

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 13553
/proc/meminfo: memFree=719784/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=1122584 CPUtime=1301.96
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 298764 0 0 0 130050 146 0 0 25 0 1 0 159494095 1149526016 263651 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 280646 263651 139 317 0 280325 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1122584

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 13553
/proc/meminfo: memFree=700328/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=1138684 CPUtime=1361.94
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 303705 0 0 0 136045 149 0 0 25 0 1 0 159494095 1166012416 268592 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 284671 268592 139 317 0 284350 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1138684

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 13553
/proc/meminfo: memFree=671336/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=1163520 CPUtime=1421.92
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 310839 0 0 0 142038 154 0 0 25 0 1 0 159494095 1191444480 275726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 290880 275726 139 317 0 290559 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1163520

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 13553
/proc/meminfo: memFree=630632/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=1197520 CPUtime=1481.9
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 321165 0 0 0 148031 159 0 0 25 0 1 0 159494095 1226260480 286052 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 299380 286052 139 317 0 299059 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1197520

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 13553
/proc/meminfo: memFree=596072/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=1225944 CPUtime=1541.89
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 329651 0 0 0 154026 163 0 0 25 0 1 0 159494095 1255366656 294538 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 306486 294538 139 317 0 306165 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1225944

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 13553
/proc/meminfo: memFree=565096/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=1251452 CPUtime=1601.87
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 337417 0 0 0 160020 167 0 0 25 0 1 0 159494095 1281486848 302271 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712546 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 312863 302271 139 317 0 312542 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1251452

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 13553
/proc/meminfo: memFree=532904/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=1278300 CPUtime=1661.86
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 345509 0 0 0 166015 171 0 0 25 0 1 0 159494095 1308979200 310363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 319575 310363 139 317 0 319254 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1278300

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 13553
/proc/meminfo: memFree=508136/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=1298972 CPUtime=1721.85
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 351618 0 0 0 172010 175 0 0 25 0 1 0 159494095 1330147328 316472 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 324743 316472 139 317 0 324422 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1298972

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 13553
/proc/meminfo: memFree=477736/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=1324168 CPUtime=1781.83
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 359287 0 0 0 178004 179 0 0 25 0 1 0 159494095 1355948032 324141 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 331042 324141 139 317 0 330721 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1324168



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 13553
/proc/meminfo: memFree=471592/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=1329932 CPUtime=1800.02
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 360741 0 0 0 179823 179 0 0 25 0 1 0 159494095 1361850368 325595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 332483 325595 139 317 0 332162 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1329932

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/79 13554
/proc/meminfo: memFree=471584/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=1329932 CPUtime=1800.93
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 360741 0 0 0 179913 180 0 0 25 0 1 0 159494095 1361850368 325595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 332483 325595 139 317 0 332162 0
Current children cumulated CPU time (s) 1800.93
Current children cumulated vsize (KiB) 1329932

[startup+1801.81 s]
/proc/loadavg: 0.99 0.97 0.97 2/79 13554
/proc/meminfo: memFree=471584/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=1329932 CPUtime=1801.33
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194304 360757 0 0 0 179953 180 0 0 25 0 1 0 159494095 1361850368 325611 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284169 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 332483 325611 155 317 0 332162 0
Current children cumulated CPU time (s) 1801.33
Current children cumulated vsize (KiB) 1329932

[startup+1802 s]
/proc/loadavg: 0.99 0.97 0.97 2/79 13554
/proc/meminfo: memFree=471584/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=0 CPUtime=1801.52
/proc/13550/stat : 13550 (oree) R 13548 13550 13482 0 -1 4194308 360757 0 0 0 179955 197 0 0 25 0 1 0 159494095 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13550/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.52
Current children cumulated vsize (KiB) 0

[startup+1802.1 s]
/proc/loadavg: 0.99 0.97 0.97 2/79 13554
/proc/meminfo: memFree=471584/2055920 swapFree=4157776/4192956
[pid=13550] ppid=13548 vsize=0 CPUtime=1801.55
/proc/13550/stat : 13550 (oree) D 13548 13550 13482 0 -1 4194308 360757 0 0 0 179955 200 0 0 25 0 1 0 159494095 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 18446744072100051646 0 0 17 1 0 0
/proc/13550/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.55
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1802.12
CPU time (s): 1801.56
CPU user time (s): 1799.55
CPU system time (s): 2.00769
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 1329932

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

runsolver used 1.75373 second user time and 4.35534 second system time

The end

Launcher Data (download as text)

Begin job on node47 on Tue May  1 19:08:07 UTC 2007

IDJOB= 455615
IDBENCH= 48275
IDSOLVER= 172
FILE ID= node47/455615-1178046487

PBS_JOBID= 4728494

Free space on /tmp= 66563 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_25_3.opb
COMMAND LINE= oree /tmp/evaluation/455615-1178046487/instance-455615-1178046487.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node47/convwatcher-455615-1178046487 -o ROOT/results/node47/conversion-455615-1178046487 -C 600 -M 1800 /tmp/evaluation/455615-1178046487/substituteSizeProductKeyword /tmp/evaluation/455615-1178046487/instance-455615-1178046487.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node47/watcher-455615-1178046487 -o ROOT/results/node47/solver-455615-1178046487 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/455615-1178046487/instance-455615-1178046487.opb mod           

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  9fd52bec996ed780d55ecea52b6ce11a

RANDOM SEED= 710011401

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node47.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.221
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.221
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:       1776832 kB
Buffers:         77016 kB
Cached:         119448 kB
SwapCached:       3524 kB
Active:         120168 kB
Inactive:       100620 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1776832 kB
SwapTotal:     4192956 kB
SwapFree:      4157776 kB
Dirty:            1884 kB
Writeback:           0 kB
Mapped:          29948 kB
Slab:            43840 kB
Committed_AS:  5417056 kB
PageTables:       1776 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= 66563 MiB

End job on node47 on Tue May  1 19:38:10 UTC 2007