Trace number 356966

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.14 1800.68

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-afiro.opb
MD5SUMd412dc68829850bad6555fa34c6ad801
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-65
Best CPU time to get the best result obtained on this benchmark1800.26
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -65
Optimality of the best value was proved NO
Number of variables960
Total number of constraints27
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 constraints27
Minimum length of a constraint30
Maximum length of a constraint270
Number of terms in the objective function 150
Biggest coefficient in the objective function 222156
Number of bits for the biggest coefficient in the objective function 18
Sum of the numbers in the objective function 524394
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262125
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524468
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.00/0.00	c ...done
0.00/0.00	c #vars=960 #constraints=36 hasObjective=yes
0.00/0.01	c res. mode=mod
0.00/0.01	c VSIDS like heuristics
0.00/0.01	c complete search running
0.19/0.28	c restart after 401 decisions
0.49/0.58	c nbDecision=500 #constraints=468
0.69/0.79	c restart after 801 decisions
0.89/0.90	c nbDecision=1000 #constraints=919
1.39/1.42	c nbDecision=1500 #constraints=1419
1.49/1.52	c restart after 1601 decisions
1.79/1.88	c nbDecision=2000 #constraints=1876
2.39/2.49	c nbDecision=2500 #constraints=2376
3.19/3.25	c nbDecision=3000 #constraints=2870
3.49/3.50	c restart after 3201 decisions
4.09/4.18	c nbDecision=3500 #constraints=3331
4.89/4.97	c nbDecision=4000 #constraints=3829
5.49/5.55	c nbDecision=4500 #constraints=4327
6.29/6.35	c nbDecision=5000 #constraints=4828
7.39/7.41	c nbDecision=5500 #constraints=5328
8.79/8.82	c nbDecision=6000 #constraints=5828
10.59/10.69	c restart after 6401 decisions
11.29/11.39	c nbDecision=6500 #constraints=6295
13.29/13.37	c nbDecision=7000 #constraints=6795
15.19/15.25	c nbDecision=7500 #constraints=7295
17.19/17.24	c nbDecision=8000 #constraints=7792
19.59/19.67	c nbDecision=8500 #constraints=8292
21.79/21.86	c nbDecision=9000 #constraints=8792
24.28/24.32	c nbDecision=9500 #constraints=9292
26.99/27.05	c nbDecision=10000 #constraints=9792
29.48/29.59	c nbDecision=10500 #constraints=10292
32.78/32.90	c nbDecision=11000 #constraints=10792
35.88/35.95	c nbDecision=11500 #constraints=11292
39.18/39.21	c nbDecision=12000 #constraints=11792
42.58/42.61	c nbDecision=12500 #constraints=12292
44.38/44.49	c restart after 12801 decisions
46.28/46.37	c nbDecision=13000 #constraints=12761
49.57/49.69	c nbDecision=13500 #constraints=13261
54.38/54.49	c nbDecision=14000 #constraints=13761
58.18/58.26	c nbDecision=14500 #constraints=14261
61.78/61.82	c nbDecision=15000 #constraints=14761
65.27/65.37	c nbDecision=15500 #constraints=15261
69.08/69.10	c nbDecision=16000 #constraints=15761
72.77/72.87	c nbDecision=16500 #constraints=16261
76.57/76.66	c nbDecision=17000 #constraints=16761
80.47/80.51	c nbDecision=17500 #constraints=17261
84.37/84.48	c nbDecision=18000 #constraints=17761
88.47/88.60	c nbDecision=18500 #constraints=18261
92.67/92.74	c nbDecision=19000 #constraints=18761
96.87/96.99	c nbDecision=19500 #constraints=19261
101.17/101.22	c nbDecision=20000 #constraints=19761
105.57/105.65	c nbDecision=20500 #constraints=20261
109.86/109.95	c nbDecision=21000 #constraints=20761
114.37/114.47	c nbDecision=21500 #constraints=21261
118.66/118.80	c nbDecision=22000 #constraints=21761
122.96/123.00	c nbDecision=22500 #constraints=22261
127.75/127.81	c nbDecision=23000 #constraints=22761
132.66/132.72	c nbDecision=23500 #constraints=23261
137.76/137.85	c nbDecision=24000 #constraints=23759
143.65/143.75	c nbDecision=24500 #constraints=24259
149.65/149.71	c nbDecision=25000 #constraints=24759
155.85/155.94	c nbDecision=25500 #constraints=25259
157.16/157.28	c restart after 25601 decisions
163.05/163.10	c nbDecision=26000 #constraints=25738
168.95/169.10	c nbDecision=26500 #constraints=26238
175.15/175.20	c nbDecision=27000 #constraints=26738
181.25/181.39	c nbDecision=27500 #constraints=27238
187.34/187.47	c nbDecision=28000 #constraints=27738
193.65/193.73	c nbDecision=28500 #constraints=28238
199.84/199.99	c nbDecision=29000 #constraints=28738
206.94/207.07	c nbDecision=29500 #constraints=29238
213.25/213.36	c nbDecision=30000 #constraints=29738
219.64/219.71	c nbDecision=30500 #constraints=30238
225.74/225.87	c nbDecision=31000 #constraints=30738
231.94/232.07	c nbDecision=31500 #constraints=31238
237.73/237.87	c nbDecision=32000 #constraints=31738
243.73/243.89	c nbDecision=32500 #constraints=32239
250.23/250.38	c nbDecision=33000 #constraints=32738
257.24/257.31	c nbDecision=33500 #constraints=33238
264.33/264.46	c nbDecision=34000 #constraints=33738
275.12/275.20	c nbDecision=34500 #constraints=34238
283.52/283.67	c nbDecision=35000 #constraints=34738
292.12/292.28	c nbDecision=35500 #constraints=35238
300.72/300.80	c nbDecision=36000 #constraints=35738
309.31/309.43	c nbDecision=36500 #constraints=36238
318.02/318.10	c nbDecision=37000 #constraints=36738
326.71/326.89	c nbDecision=37500 #constraints=37238
335.51/335.61	c nbDecision=38000 #constraints=37738
343.61/343.75	c nbDecision=38500 #constraints=38238
351.91/352.08	c nbDecision=39000 #constraints=38738
360.10/360.28	c nbDecision=39500 #constraints=39239
369.10/369.25	c nbDecision=40000 #constraints=39738
379.20/379.35	c nbDecision=40500 #constraints=40238
389.20/389.39	c nbDecision=41000 #constraints=40738
399.29/399.44	c nbDecision=41500 #constraints=41239
409.60/409.74	c nbDecision=42000 #constraints=41738
419.89/420.01	c nbDecision=42500 #constraints=42238
430.09/430.25	c nbDecision=43000 #constraints=42738
440.39/440.50	c nbDecision=43500 #constraints=43238
450.08/450.26	c nbDecision=44000 #constraints=43738
459.78/459.90	c nbDecision=44500 #constraints=44238
469.38/469.53	c nbDecision=45000 #constraints=44738
478.58/478.80	c nbDecision=45500 #constraints=45238
489.47/489.68	c nbDecision=46000 #constraints=45738
501.57/501.73	c nbDecision=46500 #constraints=46239
515.46/515.62	c nbDecision=47000 #constraints=46738
527.07/527.26	c nbDecision=47500 #constraints=47238
538.96/539.12	c nbDecision=48000 #constraints=47738
550.46/550.60	c nbDecision=48500 #constraints=48238
561.36/561.58	c nbDecision=49000 #constraints=48738
572.26/572.47	c nbDecision=49500 #constraints=49238
583.15/583.31	c nbDecision=50000 #constraints=49738
593.54/593.73	c nbDecision=50500 #constraints=50238
605.65/605.81	c nbDecision=51000 #constraints=50738
610.84/611.09	c restart after 51201 decisions
627.34/627.50	c nbDecision=51500 #constraints=51203
638.94/639.17	c nbDecision=52000 #constraints=51703
647.03/647.24	c nbDecision=52500 #constraints=52203
659.83/660.09	c nbDecision=53000 #constraints=52703
669.43/669.66	c nbDecision=53500 #constraints=53203
681.02/681.27	c nbDecision=54000 #constraints=53703
691.62/691.88	c nbDecision=54500 #constraints=54203
703.12/703.31	c nbDecision=55000 #constraints=54703
714.42/714.61	c nbDecision=55500 #constraints=55203
725.61/725.87	c nbDecision=56000 #constraints=55703
737.31/737.56	c nbDecision=56500 #constraints=56203
749.41/749.60	c nbDecision=57000 #constraints=56703
761.21/761.48	c nbDecision=57500 #constraints=57203
773.50/773.72	c nbDecision=58000 #constraints=57703
785.40/785.61	c nbDecision=58500 #constraints=58203
797.89/798.20	c nbDecision=59000 #constraints=58703
809.59/809.81	c nbDecision=59500 #constraints=59203
822.60/822.85	c nbDecision=60000 #constraints=59703
832.89/833.13	c nbDecision=60500 #constraints=60201
847.29/847.50	c nbDecision=61000 #constraints=60701
860.88/861.16	c nbDecision=61500 #constraints=61201
872.28/872.58	c nbDecision=62000 #constraints=61701
884.57/884.84	c nbDecision=62500 #constraints=62201
899.48/899.70	c nbDecision=63000 #constraints=62701
914.47/914.77	c nbDecision=63500 #constraints=63200
929.37/929.63	c nbDecision=64000 #constraints=63699
944.06/944.31	c nbDecision=64500 #constraints=64199
958.86/959.13	c nbDecision=65000 #constraints=64698
974.75/975.01	c nbDecision=65500 #constraints=65197
990.65/990.91	c nbDecision=66000 #constraints=65697
1006.82/1007.15	c nbDecision=66500 #constraints=66198
1020.09/1020.48	c nbDecision=67000 #constraints=66696
1036.05/1036.47	c nbDecision=67500 #constraints=67196
1056.84/1057.28	c nbDecision=68000 #constraints=67697
1077.23/1077.60	c nbDecision=68500 #constraints=68196
1098.03/1098.43	c nbDecision=69000 #constraints=68696
1118.92/1119.35	c nbDecision=69500 #constraints=69196
1139.81/1140.24	c nbDecision=70000 #constraints=69696
1161.02/1161.49	c nbDecision=70500 #constraints=70196
1182.51/1182.91	c nbDecision=71000 #constraints=70696
1203.90/1204.40	c nbDecision=71500 #constraints=71196
1224.00/1224.49	c nbDecision=72000 #constraints=71696
1244.29/1244.79	c nbDecision=72500 #constraints=72196
1266.49/1266.93	c nbDecision=73000 #constraints=72697
1289.18/1289.69	c nbDecision=73500 #constraints=73196
1312.18/1312.66	c nbDecision=74000 #constraints=73696
1334.87/1335.40	c nbDecision=74500 #constraints=74196
1357.67/1358.19	c nbDecision=75000 #constraints=74696
1380.25/1380.70	c nbDecision=75500 #constraints=75196
1401.35/1401.86	c nbDecision=76000 #constraints=75697
1423.55/1424.05	c nbDecision=76500 #constraints=76196
1447.74/1448.22	c nbDecision=77000 #constraints=76696
1472.04/1472.58	c nbDecision=77500 #constraints=77196
1496.23/1496.72	c nbDecision=78000 #constraints=77696
1520.92/1521.43	c nbDecision=78500 #constraints=78196
1545.81/1546.37	c nbDecision=79000 #constraints=78696
1570.61/1571.18	c nbDecision=79500 #constraints=79196
1595.71/1596.28	c nbDecision=80000 #constraints=79696
1621.40/1621.98	c nbDecision=80500 #constraints=80196
1647.99/1648.55	c nbDecision=81000 #constraints=80696
1674.69/1675.29	c nbDecision=81500 #constraints=81196
1701.67/1702.29	c nbDecision=82000 #constraints=81696
1728.67/1729.22	c nbDecision=82500 #constraints=82196
1755.57/1756.16	c nbDecision=83000 #constraints=82696
1781.36/1781.95	c nbDecision=83500 #constraints=83196
1800.06/1800.60	Received signal 15
1800.06/1800.61	
1800.06/1800.61	s UNKNOWN
1800.06/1800.61	
1800.06/1800.61	c user time= 1799.28 s
1800.06/1800.61	c system time= 0.792879 s
1800.06/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/node43/watcher-356966-1176849861 -o ROOT/results/node43/solver-356966-1176849861 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356966-1176849861/instance-356966-1176849861.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.91 0.95 0.97 3/77 23657
/proc/meminfo: memFree=1321944/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=1468 CPUtime=0
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 188 0 0 0 0 0 0 0 18 0 1 0 132897921 1503232 170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 367 170 131 317 0 46 0

[startup+0.088036 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 23657
/proc/meminfo: memFree=1321944/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=1996 CPUtime=0.08
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 306 0 0 0 8 0 0 0 18 0 1 0 132897921 2043904 288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 499 288 139 317 0 178 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1996

[startup+0.101036 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 23657
/proc/meminfo: memFree=1321944/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=1996 CPUtime=0.09
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 320 0 0 0 9 0 0 0 18 0 1 0 132897921 2043904 302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713816 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 499 302 139 317 0 178 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1996

[startup+0.301054 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 23657
/proc/meminfo: memFree=1321944/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=2656 CPUtime=0.29
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 498 0 0 0 29 0 0 0 19 0 1 0 132897921 2719744 480 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270568 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 664 480 139 317 0 343 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2656

[startup+0.701088 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 23657
/proc/meminfo: memFree=1321944/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=3596 CPUtime=0.69
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 701 0 0 0 69 0 0 0 23 0 1 0 132897921 3682304 683 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274638 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 899 683 139 317 0 578 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3596

[startup+1.50116 s]
/proc/loadavg: 0.91 0.95 0.97 2/78 23658
/proc/meminfo: memFree=1318800/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=6236 CPUtime=1.49
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 1389 0 0 0 149 0 0 0 25 0 1 0 132897921 6385664 1371 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541588 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 1559 1371 139 317 0 1238 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6236

[startup+3.1013 s]
/proc/loadavg: 0.92 0.95 0.97 2/78 23658
/proc/meminfo: memFree=1314768/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=12504 CPUtime=3.09
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 2882 0 0 0 308 1 0 0 25 0 1 0 132897921 12804096 2864 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 3126 2864 139 317 0 2805 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12504

[startup+6.30157 s]
/proc/loadavg: 0.92 0.95 0.97 2/78 23658
/proc/meminfo: memFree=1304080/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=23132 CPUtime=6.29
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 5472 0 0 0 626 3 0 0 25 0 1 0 132897921 23687168 5454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 5783 5454 170 317 0 5462 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23132

[startup+12.7011 s]
/proc/loadavg: 0.93 0.96 0.97 2/78 23658
/proc/meminfo: memFree=1291024/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=33096 CPUtime=12.69
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 7986 0 0 0 1265 4 0 0 25 0 1 0 132897921 33890304 7968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710768 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 8274 7968 170 317 0 7953 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33096

[startup+25.5012 s]
/proc/loadavg: 0.94 0.96 0.97 2/78 23658
/proc/meminfo: memFree=1278608/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=46828 CPUtime=25.48
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 11038 0 0 0 2542 6 0 0 25 0 1 0 132897921 47951872 10963 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 11707 10963 170 317 0 11386 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 46828

[startup+51.1015 s]
/proc/loadavg: 0.96 0.96 0.97 2/78 23658
/proc/meminfo: memFree=1264336/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=60436 CPUtime=51.08
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 14593 0 0 0 5098 10 0 0 25 0 1 0 132897921 61886464 14518 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 15109 14518 170 317 0 14788 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 60436

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.97 2/78 23658
/proc/meminfo: memFree=1245392/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=82976 CPUtime=102.27
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 20396 0 0 0 10213 14 0 0 25 0 1 0 132897921 84967424 19251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 20744 19251 170 317 0 20423 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 82976

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23658
/proc/meminfo: memFree=1227792/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=99344 CPUtime=162.25
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 24955 0 0 0 16207 18 0 0 25 0 1 0 132897921 101728256 23678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 24836 23678 170 317 0 24515 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 99344

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23658
/proc/meminfo: memFree=1213456/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=111600 CPUtime=222.24
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 28537 0 0 0 22202 22 0 0 25 0 1 0 132897921 114278400 27227 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715649 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 27900 27227 170 317 0 27579 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 111600

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23658
/proc/meminfo: memFree=1199376/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=137132 CPUtime=282.22
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 34897 0 0 0 28197 25 0 0 25 0 1 0 132897921 140423168 30760 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 34283 30760 170 317 0 33962 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 137132

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23658
/proc/meminfo: memFree=1188496/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=146620 CPUtime=342.21
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 37651 0 0 0 34193 28 0 0 25 0 1 0 132897921 150138880 33449 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710934 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 36655 33449 170 317 0 36334 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 146620

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23658
/proc/meminfo: memFree=1178000/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=157404 CPUtime=402.19
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 40640 0 0 0 40189 30 0 0 25 0 1 0 132897921 161181696 36080 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 39351 36080 170 317 0 39030 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 157404

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23658
/proc/meminfo: memFree=1168656/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=165516 CPUtime=462.18
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 42970 0 0 0 46185 33 0 0 25 0 1 0 132897921 169488384 38410 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 41379 38410 170 317 0 41058 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 165516

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23658
/proc/meminfo: memFree=1159952/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=173228 CPUtime=522.16
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 45222 0 0 0 52181 35 0 0 25 0 1 0 132897921 177385472 40597 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 43307 40597 170 317 0 42986 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 173228

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23658
/proc/meminfo: memFree=1151504/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=180436 CPUtime=582.15
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 47298 0 0 0 58177 38 0 0 25 0 1 0 132897921 184766464 42673 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 45109 42673 170 317 0 44788 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 180436

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23658
/proc/meminfo: memFree=1143632/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=187408 CPUtime=642.14
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 49346 0 0 0 64174 40 0 0 25 0 1 0 132897921 191905792 44623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 46852 44623 170 317 0 46531 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 187408


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23658
/proc/meminfo: memFree=1110416/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=217736 CPUtime=822.09
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 57773 0 0 0 82160 49 0 0 25 0 1 0 132897921 222961664 52918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562758 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 54434 52918 170 317 0 54113 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 217736

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23658
/proc/meminfo: memFree=1098192/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=231356 CPUtime=882.08
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 60815 0 0 0 88157 51 0 0 25 0 1 0 132897921 236908544 55960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 57839 55960 170 317 0 57518 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 231356

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23658
/proc/meminfo: memFree=1088912/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=239748 CPUtime=942.06
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 63185 0 0 0 94153 53 0 0 25 0 1 0 132897921 245501952 58297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 59937 58297 170 317 0 59616 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 239748

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/84 23684
/proc/meminfo: memFree=1077136/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=267196 CPUtime=1002.04
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 70296 0 0 0 100147 57 0 0 25 0 1 0 132897921 273608704 60894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 66799 60894 170 317 0 66478 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 267196

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23856
/proc/meminfo: memFree=1069880/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=280308 CPUtime=1061.94
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 73869 0 0 0 106134 60 0 0 25 0 1 0 132897921 287035392 62918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 70077 62918 170 317 0 69756 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 280308

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23856
/proc/meminfo: memFree=1064016/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=286188 CPUtime=1121.92
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 75549 0 0 0 112130 62 0 0 25 0 1 0 132897921 293056512 64404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 71547 64404 170 317 0 71226 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 286188

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23856
/proc/meminfo: memFree=1057872/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=292752 CPUtime=1181.91
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 77119 0 0 0 118127 64 0 0 25 0 1 0 132897921 299778048 65974 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 73188 65974 170 317 0 72867 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 292752

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23856
/proc/meminfo: memFree=1051856/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=298384 CPUtime=1241.89
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 78670 0 0 0 124124 65 0 0 25 0 1 0 132897921 305545216 67460 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 74596 67460 170 317 0 74275 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 298384

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23856
/proc/meminfo: memFree=1046096/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=304160 CPUtime=1301.88
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 80289 0 0 0 130122 66 0 0 25 0 1 0 132897921 311459840 68885 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 76040 68885 170 317 0 75719 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 304160

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23856
/proc/meminfo: memFree=1040144/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=309956 CPUtime=1361.86
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 81841 0 0 0 136118 68 0 0 25 0 1 0 132897921 317394944 70372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 77489 70372 170 317 0 77168 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 309956

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23856
/proc/meminfo: memFree=1033104/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=316268 CPUtime=1421.85
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 83583 0 0 0 142116 69 0 0 25 0 1 0 132897921 323858432 72114 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 79067 72114 170 317 0 78746 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 316268

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23856
/proc/meminfo: memFree=1028112/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=320748 CPUtime=1481.84
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 84856 0 0 0 148113 71 0 0 25 0 1 0 132897921 328445952 73387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 80187 73387 170 317 0 79866 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 320748

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23856
/proc/meminfo: memFree=1022736/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=325192 CPUtime=1541.81
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 86183 0 0 0 154109 72 0 0 25 0 1 0 132897921 332996608 74714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 81298 74714 170 317 0 80977 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 325192

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23856
/proc/meminfo: memFree=1018000/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=329824 CPUtime=1601.81
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 87483 0 0 0 160107 74 0 0 25 0 1 0 132897921 337739776 75885 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 82456 75885 170 317 0 82135 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 329824

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23856
/proc/meminfo: memFree=1013520/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=333764 CPUtime=1661.78
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 88629 0 0 0 166103 75 0 0 25 0 1 0 132897921 341774336 77031 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 83441 77031 170 317 0 83120 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 333764

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23856
/proc/meminfo: memFree=1008656/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=338132 CPUtime=1721.77
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 89878 0 0 0 172100 77 0 0 25 0 1 0 132897921 346247168 78280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 84533 78280 170 317 0 84212 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 338132

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23856
/proc/meminfo: memFree=1003024/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=343512 CPUtime=1781.76
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 91402 0 0 0 178098 78 0 0 25 0 1 0 132897921 351756288 79675 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 85878 79675 170 317 0 85557 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 343512



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 23856
/proc/meminfo: memFree=1000528/2055920 swapFree=4184648/4192956
[pid=23657] ppid=23655 vsize=345588 CPUtime=1800.06
/proc/23657/stat : 23657 (oree) R 23655 23657 23555 0 -1 4194304 92015 0 0 0 179927 79 0 0 25 0 1 0 132897921 353882112 80288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23657/statm: 86397 80288 170 317 0 86076 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 345588

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.68
CPU time (s): 1800.14
CPU user time (s): 1799.3
CPU system time (s): 0.844871
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 345588

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

runsolver used 2.13068 second user time and 4.43732 second system time

The end

Launcher Data (download as text)

Begin job on node43 on Tue Apr 17 22:44:21 UTC 2007

IDJOB= 356966
IDBENCH= 1700
IDSOLVER= 172
FILE ID= node43/356966-1176849861

PBS_JOBID= 4590225

Free space on /tmp= 66508 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  d412dc68829850bad6555fa34c6ad801

RANDOM SEED= 695903981

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node43.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.218
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.218
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:       1322608 kB
Buffers:         62236 kB
Cached:         443332 kB
SwapCached:       2596 kB
Active:         268540 kB
Inactive:       386004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1322608 kB
SwapTotal:     4192956 kB
SwapFree:      4184648 kB
Dirty:            1380 kB
Writeback:           0 kB
Mapped:         164264 kB
Slab:            64196 kB
Committed_AS:  1711796 kB
PageTables:       1896 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= 66508 MiB

End job on node43 on Tue Apr 17 23:14:24 UTC 2007