Trace number 356856

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.59

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-vpm2.opb
MD5SUMf81823d3f3bf1b9e5d936e06c7f51a9c
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark117
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 117
Optimality of the best value was proved NO
Number of variables2754
Total number of constraints444
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 constraints444
Minimum length of a constraint11
Maximum length of a constraint84
Number of terms in the objective function 168
Biggest coefficient in the objective function 5
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 504
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 819200
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 4941871
Number of bits of the biggest sum of numbers23
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=2754 #constraints=487 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.04/0.08	c restart after 401 decisions
0.04/0.09	c nbDecision=500 #constraints=536
0.09/0.13	c restart after 801 decisions
0.09/0.16	c nbDecision=1000 #constraints=613
0.19/0.21	c nbDecision=1500 #constraints=652
0.19/0.22	c restart after 1601 decisions
0.19/0.27	c nbDecision=2000 #constraints=695
0.29/0.33	c nbDecision=2500 #constraints=727
0.39/0.42	c nbDecision=3000 #constraints=802
0.49/0.53	c restart after 3201 decisions
0.49/0.57	c nbDecision=3500 #constraints=886
0.59/0.65	c nbDecision=4000 #constraints=951
0.69/0.71	c nbDecision=4500 #constraints=994
0.69/0.78	c nbDecision=5000 #constraints=1051
0.79/0.86	c nbDecision=5500 #constraints=1106
0.89/0.94	c nbDecision=6000 #constraints=1165
1.00/1.01	c restart after 6401 decisions
1.00/1.04	c nbDecision=6500 #constraints=1236
1.09/1.12	c nbDecision=7000 #constraints=1304
1.19/1.20	c nbDecision=7500 #constraints=1368
1.19/1.28	c nbDecision=8000 #constraints=1447
1.29/1.37	c nbDecision=8500 #constraints=1521
1.39/1.46	c nbDecision=9000 #constraints=1578
1.49/1.56	c nbDecision=9500 #constraints=1651
1.59/1.67	c nbDecision=10000 #constraints=1742
1.79/1.81	c nbDecision=10500 #constraints=1847
1.89/1.95	c nbDecision=11000 #constraints=1955
1.99/2.09	c nbDecision=11500 #constraints=2064
2.19/2.21	c nbDecision=12000 #constraints=2137
2.29/2.36	c nbDecision=12500 #constraints=2228
2.39/2.43	c restart after 12801 decisions
2.49/2.50	c nbDecision=13000 #constraints=2303
2.59/2.66	c nbDecision=13500 #constraints=2362
2.79/2.85	c nbDecision=14000 #constraints=2429
2.99/3.05	c nbDecision=14500 #constraints=2490
3.20/3.26	c nbDecision=15000 #constraints=2550
3.39/3.49	c nbDecision=15500 #constraints=2610
3.89/3.93	c nbDecision=16000 #constraints=2716
4.30/4.35	c nbDecision=16500 #constraints=2851
4.99/5.06	c nbDecision=17000 #constraints=2998
5.69/5.77	c nbDecision=17500 #constraints=3154
6.59/6.66	c nbDecision=18000 #constraints=3295
7.79/7.85	c nbDecision=18500 #constraints=3461
8.69/8.80	c nbDecision=19000 #constraints=3589
9.09/9.15	c nbDecision=19500 #constraints=3620
9.29/9.32	c nbDecision=20000 #constraints=3655
9.59/9.69	c nbDecision=20500 #constraints=3697
9.89/9.91	c nbDecision=21000 #constraints=3719
10.19/10.27	c nbDecision=21500 #constraints=3769
10.29/10.40	c nbDecision=22000 #constraints=3796
10.49/10.57	c nbDecision=22500 #constraints=3836
10.79/10.86	c nbDecision=23000 #constraints=3883
10.99/11.04	c nbDecision=23500 #constraints=3928
11.19/11.23	c nbDecision=24000 #constraints=3966
11.59/11.63	c nbDecision=24500 #constraints=4037
11.89/11.91	c nbDecision=25000 #constraints=4089
12.19/12.23	c nbDecision=25500 #constraints=4144
12.29/12.30	c restart after 25601 decisions
13.09/13.13	c nbDecision=26000 #constraints=4198
13.29/13.40	c nbDecision=26500 #constraints=4235
13.89/13.92	c nbDecision=27000 #constraints=4303
14.09/14.20	c nbDecision=27500 #constraints=4342
14.38/14.45	c nbDecision=28000 #constraints=4378
14.68/14.79	c nbDecision=28500 #constraints=4420
15.08/15.17	c nbDecision=29000 #constraints=4475
15.48/15.53	c nbDecision=29500 #constraints=4513
16.18/16.23	c nbDecision=30000 #constraints=4590
16.39/16.48	c nbDecision=30500 #constraints=4626
17.78/17.80	c nbDecision=31000 #constraints=4709
17.98/18.08	c nbDecision=31500 #constraints=4741
18.28/18.37	c nbDecision=32000 #constraints=4783
18.59/18.66	c nbDecision=32500 #constraints=4835
18.88/18.92	c nbDecision=33000 #constraints=4867
19.18/19.29	c nbDecision=33500 #constraints=4913
19.88/19.90	c nbDecision=34000 #constraints=4970
20.18/20.26	c nbDecision=34500 #constraints=4998
20.48/20.59	c nbDecision=35000 #constraints=5054
20.98/21.00	c nbDecision=35500 #constraints=5094
21.38/21.43	c nbDecision=36000 #constraints=5153
21.58/21.61	c nbDecision=36500 #constraints=5213
21.68/21.79	c nbDecision=37000 #constraints=5260
22.28/22.35	c nbDecision=37500 #constraints=5306
22.58/22.65	c nbDecision=38000 #constraints=5361
22.88/22.91	c nbDecision=38500 #constraints=5409
23.28/23.31	c nbDecision=39000 #constraints=5471
23.48/23.55	c nbDecision=39500 #constraints=5533
25.19/25.30	c nbDecision=40000 #constraints=5631
26.19/26.27	c nbDecision=40500 #constraints=5707
26.79/26.83	c nbDecision=41000 #constraints=5760
27.79/27.86	c nbDecision=41500 #constraints=5861
28.38/28.44	c nbDecision=42000 #constraints=5925
28.98/29.09	c nbDecision=42500 #constraints=6009
29.48/29.59	c nbDecision=43000 #constraints=6050
29.98/30.00	c nbDecision=43500 #constraints=6079
30.38/30.47	c nbDecision=44000 #constraints=6113
30.88/30.95	c nbDecision=44500 #constraints=6147
31.28/31.37	c nbDecision=45000 #constraints=6182
31.68/31.80	c nbDecision=45500 #constraints=6219
32.28/32.34	c nbDecision=46000 #constraints=6356
32.58/32.62	c nbDecision=46500 #constraints=6456
32.98/33.08	c nbDecision=47000 #constraints=6518
33.69/33.73	c nbDecision=47500 #constraints=6747
34.78/34.84	c nbDecision=48000 #constraints=7099
36.19/36.22	c nbDecision=48500 #constraints=7434
37.78/37.86	c nbDecision=49000 #constraints=7802
39.88/39.96	c nbDecision=49500 #constraints=8200
42.37/42.46	c nbDecision=50000 #constraints=8615
45.68/45.76	c nbDecision=50500 #constraints=9040
49.57/49.62	c nbDecision=51000 #constraints=9474
50.88/50.90	c restart after 51201 decisions
52.48/52.54	c nbDecision=51500 #constraints=9660
53.18/53.28	c nbDecision=52000 #constraints=9694
54.08/54.17	c nbDecision=52500 #constraints=9830
55.58/55.68	c nbDecision=53000 #constraints=9978
57.97/58.06	c nbDecision=53500 #constraints=10422
59.88/59.99	c nbDecision=54000 #constraints=10598
61.08/61.13	c nbDecision=54500 #constraints=10631
61.88/61.92	c nbDecision=55000 #constraints=10648
63.08/63.17	c nbDecision=55500 #constraints=10757
64.57/64.66	c nbDecision=56000 #constraints=11092
65.57/65.67	c nbDecision=56500 #constraints=11281
67.08/67.15	c nbDecision=57000 #constraints=11649
69.07/69.18	c nbDecision=57500 #constraints=11879
72.27/72.37	c nbDecision=58000 #constraints=12006
74.97/75.08	c nbDecision=58500 #constraints=12419
78.27/78.38	c nbDecision=59000 #constraints=12832
81.77/81.83	c nbDecision=59500 #constraints=13229
85.77/85.85	c nbDecision=60000 #constraints=13647
90.67/90.71	c nbDecision=60500 #constraints=14069
95.67/95.73	c nbDecision=61000 #constraints=14467
101.57/101.64	c nbDecision=61500 #constraints=14886
107.36/107.45	c nbDecision=62000 #constraints=15278
114.27/114.32	c nbDecision=62500 #constraints=15672
122.76/122.86	c nbDecision=63000 #constraints=16065
136.75/136.84	c nbDecision=63500 #constraints=16540
152.65/152.73	c nbDecision=64000 #constraints=17020
170.45/170.57	c nbDecision=64500 #constraints=17503
187.84/187.95	c nbDecision=65000 #constraints=17965
206.34/206.43	c nbDecision=65500 #constraints=18439
225.44/225.59	c nbDecision=66000 #constraints=18908
248.33/248.40	c nbDecision=66500 #constraints=19383
272.32/272.40	c nbDecision=67000 #constraints=19866
299.02/299.11	c nbDecision=67500 #constraints=20352
325.80/325.90	c nbDecision=68000 #constraints=20836
351.60/351.76	c nbDecision=68500 #constraints=21312
383.59/383.76	c nbDecision=69000 #constraints=21801
411.89/412.04	c nbDecision=69500 #constraints=22272
440.08/440.24	c nbDecision=70000 #constraints=22754
472.57/472.80	c nbDecision=70500 #constraints=23235
505.27/505.49	c nbDecision=71000 #constraints=23712
540.46/540.63	c nbDecision=71500 #constraints=24196
577.25/577.40	c nbDecision=72000 #constraints=24685
612.44/612.62	c nbDecision=72500 #constraints=25169
657.03/657.27	c nbDecision=73000 #constraints=25656
697.32/697.52	c nbDecision=73500 #constraints=26142
743.61/743.82	c nbDecision=74000 #constraints=26629
787.50/787.73	c nbDecision=74500 #constraints=27112
832.78/833.00	c nbDecision=75000 #constraints=27590
880.58/880.88	c nbDecision=75500 #constraints=28071
935.26/935.51	c nbDecision=76000 #constraints=28559
981.15/981.50	c nbDecision=76500 #constraints=29031
1029.74/1030.07	c nbDecision=77000 #constraints=29522
1086.83/1087.10	c nbDecision=77500 #constraints=30011
1130.82/1131.10	c nbDecision=78000 #constraints=30453
1166.30/1166.67	c nbDecision=78500 #constraints=30902
1208.39/1208.79	c nbDecision=79000 #constraints=31378
1257.99/1258.38	c nbDecision=79500 #constraints=31846
1311.27/1311.66	c nbDecision=80000 #constraints=32341
1366.15/1366.59	c nbDecision=80500 #constraints=32824
1421.85/1422.30	c nbDecision=81000 #constraints=33310
1484.43/1484.83	c nbDecision=81500 #constraints=33792
1543.71/1544.12	c nbDecision=82000 #constraints=34272
1604.30/1604.77	c nbDecision=82500 #constraints=34757
1662.38/1662.89	c nbDecision=83000 #constraints=35239
1725.47/1725.98	c nbDecision=83500 #constraints=35714
1783.36/1783.82	c nbDecision=84000 #constraints=36186
1800.02/1800.50	Received signal 15
1800.02/1800.54	
1800.02/1800.54	s UNKNOWN
1800.02/1800.54	
1800.02/1800.54	c user time= 1799.5 s
1800.02/1800.54	c system time= 0.562914 s
1800.02/1800.54	c wall clock time=1800.54

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/node15/watcher-356856-1176845469 -o ROOT/results/node15/solver-356856-1176845469 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356856-1176845469/instance-356856-1176845469.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.92 0.98 0.99 3/77 1419
/proc/meminfo: memFree=1706744/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=1468 CPUtime=0
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 132464573 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 367 162 131 317 0 46 0

[startup+0.051425 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 1419
/proc/meminfo: memFree=1706744/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=2480 CPUtime=0.04
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 429 0 0 0 4 0 0 0 18 0 1 0 132464573 2539520 411 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384551 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 620 411 139 317 0 299 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2480

[startup+0.101429 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 1419
/proc/meminfo: memFree=1706744/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=2480 CPUtime=0.09
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 476 0 0 0 9 0 0 0 18 0 1 0 132464573 2539520 458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 620 458 170 317 0 299 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2480

[startup+0.301447 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 1419
/proc/meminfo: memFree=1706744/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=2740 CPUtime=0.29
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 549 0 0 0 29 0 0 0 19 0 1 0 132464573 2805760 531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 685 531 170 317 0 364 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2740

[startup+0.701485 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 1419
/proc/meminfo: memFree=1706744/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=3396 CPUtime=0.69
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 701 0 0 0 69 0 0 0 22 0 1 0 132464573 3477504 683 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 849 683 170 317 0 528 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3396

[startup+1.50156 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 1420
/proc/meminfo: memFree=1704112/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=4872 CPUtime=1.49
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 1068 0 0 0 149 0 0 0 25 0 1 0 132464573 4988928 1050 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385340 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 1218 1050 170 317 0 897 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4872

[startup+3.1017 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 1420
/proc/meminfo: memFree=1701872/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=7088 CPUtime=3.09
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 1603 0 0 0 308 1 0 0 25 0 1 0 132464573 7258112 1585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533545 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 1772 1585 170 317 0 1451 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7088

[startup+6.302 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 1420
/proc/meminfo: memFree=1699384/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=8964 CPUtime=6.29
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 2039 0 0 0 628 1 0 0 25 0 1 0 132464573 9179136 2021 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 2241 2021 170 317 0 1920 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8964

[startup+12.7026 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 1420
/proc/meminfo: memFree=1697272/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=10824 CPUtime=12.69
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 2529 0 0 0 1268 1 0 0 25 0 1 0 132464573 11083776 2511 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 2706 2511 170 317 0 2385 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10824

[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 1420
/proc/meminfo: memFree=1693624/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=14568 CPUtime=25.49
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 3408 0 0 0 2547 2 0 0 25 0 1 0 132464573 14917632 3390 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 3642 3390 170 317 0 3321 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 14568

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 1420
/proc/meminfo: memFree=1660408/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=48992 CPUtime=51.08
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 11839 0 0 0 5100 8 0 0 25 0 1 0 132464573 50167808 11763 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 12248 11763 170 317 0 11927 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 48992

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 1420
/proc/meminfo: memFree=1633272/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=77336 CPUtime=102.27
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 18502 0 0 0 10213 14 0 0 25 0 1 0 132464573 79192064 18426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 19334 18426 170 317 0 19013 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 77336

[startup+162.301 s]
/proc/loadavg: 1.05 1.00 1.00 2/78 1420
/proc/meminfo: memFree=1616824/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=95376 CPUtime=162.25
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 22734 0 0 0 16208 17 0 0 25 0 1 0 132464573 97665024 22543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 23844 22543 170 317 0 23523 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 95376

[startup+222.302 s]
/proc/loadavg: 1.07 1.01 1.00 2/78 1420
/proc/meminfo: memFree=1603832/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=108720 CPUtime=222.24
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 25950 0 0 0 22204 20 0 0 25 0 1 0 132464573 111329280 25759 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563668 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 27180 25759 170 317 0 26859 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 108720

[startup+282.301 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 1420
/proc/meminfo: memFree=1594360/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=117464 CPUtime=282.22
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 28323 0 0 0 28201 21 0 0 25 0 1 0 132464573 120283136 28132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 29366 28132 170 317 0 29045 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 117464

[startup+342.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 1420
/proc/meminfo: memFree=1585656/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=125336 CPUtime=342.21
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 30471 0 0 0 34198 23 0 0 25 0 1 0 132464573 128344064 30280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 31334 30280 170 317 0 31013 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 125336

[startup+402.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 1422
/proc/meminfo: memFree=1578040/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=132284 CPUtime=402.19
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 32363 0 0 0 40194 25 0 0 25 0 1 0 132464573 135458816 32172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 33071 32172 170 317 0 32750 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 132284

[startup+462.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 1422
/proc/meminfo: memFree=1569336/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=145264 CPUtime=462.17
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 35282 0 0 0 46191 26 0 0 25 0 1 0 132464573 148750336 34365 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 36316 34365 170 317 0 35995 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 145264

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1422
/proc/meminfo: memFree=1562552/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=153440 CPUtime=522.16
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 37078 0 0 0 52188 28 0 0 25 0 1 0 132464573 157122560 36062 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 38360 36062 170 317 0 38039 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 153440

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1422
/proc/meminfo: memFree=1555960/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=164120 CPUtime=582.15
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 39505 0 0 0 58185 30 0 0 25 0 1 0 132464573 168058880 37697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 41030 37697 170 317 0 40709 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 164120

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1422
/proc/meminfo: memFree=1550520/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=169380 CPUtime=642.14
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 40871 0 0 0 64182 32 0 0 25 0 1 0 132464573 173445120 39030 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 42345 39030 170 317 0 42024 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 169380


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1422
/proc/meminfo: memFree=1531128/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=187332 CPUtime=882.07
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 45926 0 0 0 88170 37 0 0 25 0 1 0 132464573 191827968 43887 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 46833 43887 170 317 0 46512 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 187332

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1422
/proc/meminfo: memFree=1527096/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=191004 CPUtime=942.06
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 46947 0 0 0 94168 38 0 0 25 0 1 0 132464573 195588096 44908 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 47751 44908 170 317 0 47430 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 191004

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1422
/proc/meminfo: memFree=1522552/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=195068 CPUtime=1002.04
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 48097 0 0 0 100165 39 0 0 25 0 1 0 132464573 199749632 46025 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 48767 46025 170 317 0 48446 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 195068

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1422
/proc/meminfo: memFree=1518328/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=198868 CPUtime=1062.03
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 49159 0 0 0 106163 40 0 0 25 0 1 0 132464573 203640832 47087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 49717 47087 170 317 0 49396 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 198868

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1422
/proc/meminfo: memFree=1512952/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=205588 CPUtime=1122.01
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 50482 0 0 0 112160 41 0 0 25 0 1 0 132464573 210522112 48410 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 51397 48410 170 317 0 51076 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 205588

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1422
/proc/meminfo: memFree=1508472/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=210028 CPUtime=1182.01
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 51661 0 0 0 118158 43 0 0 25 0 1 0 132464573 215068672 49556 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 52507 49556 170 317 0 52186 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 210028

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1422
/proc/meminfo: memFree=1504504/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=213448 CPUtime=1241.99
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 52639 0 0 0 124155 44 0 0 25 0 1 0 132464573 218570752 50534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604164 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 53362 50534 170 317 0 53041 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 213448

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1422
/proc/meminfo: memFree=1500152/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=217252 CPUtime=1301.98
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 53707 0 0 0 130153 45 0 0 25 0 1 0 132464573 222466048 51602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 54313 51602 170 317 0 53992 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 217252

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1422
/proc/meminfo: memFree=1496440/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=220812 CPUtime=1361.95
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 54682 0 0 0 136149 46 0 0 25 0 1 0 132464573 226111488 52544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 55203 52544 170 317 0 54882 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 220812

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1422
/proc/meminfo: memFree=1492472/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=225124 CPUtime=1421.95
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 55886 0 0 0 142147 48 0 0 25 0 1 0 132464573 230526976 53521 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 56281 53521 170 317 0 55960 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 225124

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1422
/proc/meminfo: memFree=1489080/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=228308 CPUtime=1481.93
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 56747 0 0 0 148144 49 0 0 25 0 1 0 132464573 233787392 54382 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 57077 54382 170 317 0 56756 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 228308

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1422
/proc/meminfo: memFree=1485560/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=231464 CPUtime=1541.91
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 57640 0 0 0 154141 50 0 0 25 0 1 0 132464573 237019136 55275 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 57866 55275 170 317 0 57545 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 231464

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1422
/proc/meminfo: memFree=1482168/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=234724 CPUtime=1601.9
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 58531 0 0 0 160138 52 0 0 25 0 1 0 132464573 240357376 56133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 58681 56133 170 317 0 58360 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 234724

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1422
/proc/meminfo: memFree=1478584/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=237740 CPUtime=1661.88
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 59398 0 0 0 166135 53 0 0 25 0 1 0 132464573 243445760 57000 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718543 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 59435 57000 170 317 0 59114 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 237740

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1422
/proc/meminfo: memFree=1475384/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=240488 CPUtime=1721.87
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 60203 0 0 0 172133 54 0 0 25 0 1 0 132464573 246259712 57805 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 60122 57805 170 317 0 59801 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 240488

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1422
/proc/meminfo: memFree=1472056/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=243252 CPUtime=1781.86
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 61006 0 0 0 178131 55 0 0 25 0 1 0 132464573 249090048 58608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 60813 58608 170 317 0 60492 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 243252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 1496
/proc/meminfo: memFree=1469768/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=243904 CPUtime=1800.02
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 61213 0 0 0 179946 56 0 0 25 0 1 0 132464573 249757696 58815 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 60976 58815 170 317 0 60655 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 243904

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 1496
/proc/meminfo: memFree=1469768/2055920 swapFree=4169120/4192956
[pid=1419] ppid=1417 vsize=243904 CPUtime=1800.02
/proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 61213 0 0 0 179946 56 0 0 25 0 1 0 132464573 249757696 58815 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1419/statm: 60976 58815 170 317 0 60655 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 243904

Child status: 0
Real time (s): 1800.59
CPU time (s): 1800.11
CPU user time (s): 1799.51
CPU system time (s): 0.599908
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 243904

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

runsolver used 2.14267 second user time and 4.41033 second system time

The end

Launcher Data (download as text)

Begin job on node15 on Tue Apr 17 21:31:10 UTC 2007

IDJOB= 356856
IDBENCH= 1524
IDSOLVER= 172
FILE ID= node15/356856-1176845469

PBS_JOBID= 4590156

Free space on /tmp= 66493 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  f81823d3f3bf1b9e5d936e06c7f51a9c

RANDOM SEED= 705852915

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node15.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.227
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.227
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:       1707216 kB
Buffers:         34456 kB
Cached:         242564 kB
SwapCached:       2528 kB
Active:         195392 kB
Inactive:       104440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1707216 kB
SwapTotal:     4192956 kB
SwapFree:      4169120 kB
Dirty:            1520 kB
Writeback:           0 kB
Mapped:          30184 kB
Slab:            34292 kB
Committed_AS:  6163416 kB
PageTables:       1868 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= 66493 MiB

End job on node15 on Tue Apr 17 22:01:12 UTC 2007