Trace number 2690370

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
wbo 1.4b? (TO) 1800.18 1800.1

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-31-30--soft-33-100-0.wbo
MD5SUMb618f143f0ce2a95508bc08f0990c2c8
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.049992
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables930
Total number of constraints61
Number of soft constraints41
Number of constraints which are clauses31
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint31
Top cost 2356
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 2355
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 32
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing wbo file format. File HOME/instance-2690370-1277891910.wbo.
0.00/0.00	c Instance file HOME/instance-2690370-1277891910.wbo
0.00/0.00	c File size is 15587 bytes.
0.00/0.00	c Highest Coefficient sum: 32
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      930                                                 |
0.00/0.00	c |  Number Clauses:        31                                                  |
0.00/0.00	c |  Number Cardinality:    30                                                  |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     930       61     1860 |     5000        0    nan |  0.000 % |
0.00/0.00	c |       101 |     930       61     1860 |     5500      101    105 |  0.000 % |
0.00/0.01	c |       252 |     930       61     1860 |     6050      252    154 |  0.000 % |
0.00/0.02	c |       479 |     930       61     1860 |     6655      479    152 |  0.000 % |
0.02/0.03	c |       816 |     930       61     1860 |     7320      816    145 |  0.000 % |
0.02/0.07	c |      1322 |     930       61     1860 |     8052     1322    170 |  0.000 % |
0.09/0.13	c |      2082 |     930       61     1860 |     8857     2082    172 |  0.000 % |
0.19/0.22	c |      3223 |     930       61     1860 |     9743     3223    176 |  0.000 % |
0.39/0.40	c |      4932 |     930       61     1860 |    10717     4932    169 |  0.000 % |
0.69/0.79	c |      7494 |     930       61     1860 |    11789     7494    187 |  0.000 % |
1.38/1.49	c |     11338 |     930       61     1860 |    12968    11338    195 |  0.000 % |
2.99/3.00	c |     17105 |     930       61     1860 |    14265    10202    189 |  0.000 % |
6.39/6.48	c |     25755 |     930       61     1860 |    15692    11297    369 |  0.000 % |
15.99/16.03	c |     38730 |     930       61     1860 |    17261    16005    468 |  0.000 % |
37.79/37.80	c |     58191 |     930       61     1860 |    18987    17790    685 |  0.000 % |
94.09/94.11	c |     87383 |     930       61     1860 |    20886    17826    688 |  0.000 % |
180.20/180.30	c There are 0 assigned variables. 0 in cost function.
180.31/180.36	c ============================[ Search Statistics ]==============================
180.31/180.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.31/180.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.31/180.36	c ===============================================================================
180.31/180.36	c |         0 |     930       61     1860 |     5000        0    nan |  0.000 % |
180.31/180.37	c |       102 |     930       61     1860 |     5500      102    106 |  0.000 % |
180.31/180.38	c |       252 |     930       61     1860 |     6050      252    139 |  0.000 % |
180.40/180.40	c |       481 |     930       61     1860 |     6655      481    156 |  0.000 % |
180.40/180.44	c |       818 |     930       61     1860 |     7320      818    165 |  0.000 % |
180.40/180.49	c |      1324 |     930       61     1860 |     8052     1324    149 |  0.000 % |
180.60/180.61	c |      2083 |     930       61     1860 |     8857     2083    170 |  0.000 % |
180.79/180.80	c |      3225 |     930       61     1860 |     9743     3225    198 |  0.000 % |
181.29/181.32	c |      4933 |     930       61     1860 |    10717     4933    200 |  0.000 % |
182.00/182.03	c |      7495 |     930       61     1860 |    11789     7495    229 |  0.000 % |
183.49/183.54	c |     11340 |     930       61     1860 |    12968    11340    242 |  0.000 % |
186.60/186.66	c |     17106 |     930       61     1860 |    14265    10200    287 |  0.000 % |
190.80/190.84	c |     25758 |     930       61     1860 |    15692    11306    272 |  0.000 % |
198.19/198.28	c |     38736 |     930       61     1860 |    17261    16039    357 |  0.000 % |
209.09/209.17	c |     58202 |     930       61     1860 |    18987    17625    382 |  0.000 % |
223.09/223.12	c |     87396 |     930       61     1860 |    20886    17100    158 |  0.000 % |
248.20/248.20	c |    131190 |     930       61     1860 |    22974    17446    352 |  0.000 % |
286.60/286.60	c |    196876 |     930       61     1860 |    25272    23483    170 |  0.000 % |
375.50/375.56	c |    295402 |     930       61     1860 |    27799    14833    280 |  0.000 % |
462.71/462.76	c |    443192 |     930       61     1860 |    30579    19612    224 |  0.000 % |
585.42/585.47	c |    664875 |     930       61     1860 |    33637    17942    309 |  0.000 % |
825.12/825.15	c |    997400 |     930       61     1860 |    37001    30647    196 |  0.000 % |
1228.54/1228.58	c |   1496189 |     930       61     1860 |    40701    17463    261 |  0.000 % |
1787.86/1787.86	c |   2244371 |     930       61     1860 |    44771    18706    243 |  0.000 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690370-1277891910/watcher-2690370-1277891910 -o /tmp/evaluation-result-2690370-1277891910/solver-2690370-1277891910 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690370-1277891910.wbo 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.04 2.39 2/178 12586
/proc/meminfo: memFree=31276404/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=2712 CPUtime=0
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 344 0 0 0 0 0 0 0 25 0 1 0 130485237 2777088 258 4089446400 134512640 135752675 4292317152 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 678 258 143 303 0 373 0

[startup+0.0246219 s]
/proc/loadavg: 2.00 2.04 2.39 2/178 12586
/proc/meminfo: memFree=31276404/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=3108 CPUtime=0.02
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 418 0 0 0 2 0 0 0 25 0 1 0 130485237 3182592 332 4089446400 134512640 135752675 4292317152 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 777 332 144 303 0 472 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3108

[startup+0.10062 s]
/proc/loadavg: 2.00 2.04 2.39 2/178 12586
/proc/meminfo: memFree=31276404/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=4164 CPUtime=0.09
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 680 0 0 0 9 0 0 0 25 0 1 0 130485237 4263936 594 4089446400 134512640 135752675 4292317152 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 1041 594 144 303 0 736 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4164

[startup+0.30057 s]
/proc/loadavg: 2.00 2.04 2.39 2/178 12586
/proc/meminfo: memFree=31276404/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=6144 CPUtime=0.29
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 1182 0 0 0 29 0 0 0 25 0 1 0 130485237 6291456 1096 4089446400 134512640 135752675 4292317152 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 1536 1096 144 303 0 1231 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6144

[startup+0.700501 s]
/proc/loadavg: 2.00 2.04 2.39 2/178 12586
/proc/meminfo: memFree=31276404/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=8916 CPUtime=0.69
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 1893 0 0 0 69 0 0 0 25 0 1 0 130485237 9129984 1807 4089446400 134512640 135752675 4292317152 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 2229 1807 144 303 0 1924 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8916

[startup+1.50034 s]
/proc/loadavg: 2.00 2.04 2.39 3/179 12587
/proc/meminfo: memFree=31267592/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=13404 CPUtime=1.49
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 3003 0 0 0 148 1 0 0 25 0 1 0 130485237 13725696 2917 4089446400 134512640 135752675 4292317152 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 3351 2917 144 303 0 3046 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13404

[startup+3.10103 s]
/proc/loadavg: 2.00 2.04 2.38 3/179 12587
/proc/meminfo: memFree=31262880/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=18828 CPUtime=3.09
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 4368 0 0 0 308 1 0 0 25 0 1 0 130485237 19279872 4282 4089446400 134512640 135752675 4292317152 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 4707 4282 144 303 0 4402 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18828

[startup+6.30042 s]
/proc/loadavg: 2.00 2.04 2.38 3/179 12587
/proc/meminfo: memFree=31247468/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=33612 CPUtime=6.29
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 8065 0 0 0 626 3 0 0 25 0 1 0 130485237 34418688 7979 4089446400 134512640 135752675 4292317152 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 8403 7979 144 303 0 8098 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33612

[startup+12.7002 s]
/proc/loadavg: 2.00 2.04 2.38 3/179 12587
/proc/meminfo: memFree=31225760/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=54340 CPUtime=12.69
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 13241 0 0 0 1264 5 0 0 25 0 1 0 130485237 55644160 13155 4089446400 134512640 135752675 4292317152 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 13585 13155 144 303 0 13280 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54340

[startup+25.5007 s]
/proc/loadavg: 2.00 2.03 2.37 3/179 12587
/proc/meminfo: memFree=31191784/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=88008 CPUtime=25.49
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 21665 0 0 0 2539 10 0 0 25 0 1 0 130485237 90120192 21579 4089446400 134512640 135752675 4292317152 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 22002 21579 144 303 0 21697 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 88008

[startup+51.1008 s]
/proc/loadavg: 2.00 2.03 2.36 3/179 12588
/proc/meminfo: memFree=31142032/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=137440 CPUtime=51.09
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 34004 0 0 0 5095 14 0 0 25 0 1 0 130485237 140738560 33918 4089446400 134512640 135752675 4292317152 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 34360 33918 144 303 0 34055 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 137440

[startup+102.306 s]
/proc/loadavg: 2.00 2.02 2.34 3/179 12589
/proc/meminfo: memFree=31071456/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=206944 CPUtime=102.3
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 51366 0 0 0 10209 21 0 0 25 0 1 0 130485237 211910656 51280 4089446400 134512640 135752675 4292317152 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 51736 51280 144 303 0 51431 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 206944

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.32 3/179 12600
/proc/meminfo: memFree=30998708/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=280108 CPUtime=162.29
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 69646 0 0 0 16201 28 0 0 25 0 1 0 130485237 286830592 69560 4089446400 134512640 135752675 4292317152 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 70027 69560 144 303 0 69722 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 280108

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.29 3/179 12602
/proc/meminfo: memFree=30937268/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=339452 CPUtime=222.29
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 84513 0 0 0 22186 43 0 0 25 0 1 0 130485237 347598848 84427 4089446400 134512640 135752675 4292317152 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 84863 84427 146 303 0 84558 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 339452

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.27 3/179 12603
/proc/meminfo: memFree=30831208/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=446760 CPUtime=282.3
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 111282 0 0 0 28171 59 0 0 25 0 1 0 130485237 457482240 111196 4089446400 134512640 135752675 4292317152 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 111690 111196 146 303 0 111385 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 446760

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.25 3/179 12605
/proc/meminfo: memFree=30745120/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=532076 CPUtime=342.31
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 132551 0 0 0 34160 71 0 0 25 0 1 0 130485237 544845824 132465 4089446400 134512640 135752675 4292317152 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 133019 132465 146 303 0 132714 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 532076

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.23 3/179 12606
/proc/meminfo: memFree=30635476/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=643520 CPUtime=402.3
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 160383 0 0 0 40143 87 0 0 25 0 1 0 130485237 658964480 160297 4089446400 134512640 135752675 4292317152 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 160880 160297 146 303 0 160575 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 643520

[startup+462.301 s]
/proc/loadavg: 2.05 2.01 2.22 3/179 12608
/proc/meminfo: memFree=30540840/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=736868 CPUtime=462.31
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 183659 0 0 0 46128 103 0 0 25 0 1 0 130485237 754552832 183573 4089446400 134512640 135752675 4292317152 18446744073709551615 134607260 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 184217 183573 146 303 0 183912 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 736868

[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.20 3/179 12610
/proc/meminfo: memFree=30389404/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=890096 CPUtime=522.31
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 221958 0 0 0 52106 125 0 0 25 0 1 0 130485237 911458304 221872 4089446400 134512640 135752675 4292317152 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 222524 221872 146 303 0 222219 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 890096

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.19 3/179 12611
/proc/meminfo: memFree=30241444/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=1036732 CPUtime=582.31
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 258568 0 0 0 58089 142 0 0 25 0 1 0 130485237 1061613568 258482 4089446400 134512640 135752675 4292317152 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 259183 258482 146 303 0 258878 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1036732

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.17 3/179 12613
/proc/meminfo: memFree=30152132/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=1124948 CPUtime=642.32
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 280584 0 0 0 64075 157 0 0 25 0 1 0 130485237 1151946752 280498 4089446400 134512640 135752675 4292317152 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 281237 280498 146 303 0 280932 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 1124948

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.14 3/179 12618
/proc/meminfo: memFree=29928232/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=1349692 CPUtime=822.32
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 336694 0 0 0 82037 195 0 0 25 0 1 0 130485237 1382084608 336608 4089446400 134512640 135752675 4292317152 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 337423 336608 146 303 0 337118 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 1349692

[startup+882.3 s]
/proc/loadavg: 2.03 2.01 2.13 3/179 12619
/proc/meminfo: memFree=29842524/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=1434980 CPUtime=882.33
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 357938 0 0 0 88025 208 0 0 25 0 1 0 130485237 1469419520 357852 4089446400 134512640 135752675 4292317152 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 358745 357852 146 303 0 358440 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 1434980

[startup+942.301 s]
/proc/loadavg: 2.01 2.01 2.12 3/179 12621
/proc/meminfo: memFree=29754576/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=1523980 CPUtime=942.32
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 380133 0 0 0 94012 220 0 0 25 0 1 0 130485237 1560555520 380047 4089446400 134512640 135752675 4292317152 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 380995 380047 146 303 0 380690 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 1523980

[startup+1002.3 s]
/proc/loadavg: 1.95 1.99 2.10 3/179 12650
/proc/meminfo: memFree=29540688/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=1617768 CPUtime=1002.32
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 403501 0 0 0 99999 233 0 0 25 0 1 0 130485237 1656594432 403415 4089446400 134512640 135752675 4292317152 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 404442 403415 146 303 0 404137 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1617768

[startup+1062.3 s]
/proc/loadavg: 1.98 1.99 2.09 3/179 12652
/proc/meminfo: memFree=29233672/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=1704100 CPUtime=1062.33
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 425105 0 0 0 105986 247 0 0 25 0 1 0 130485237 1744998400 425019 4089446400 134512640 135752675 4292317152 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 426025 425019 146 303 0 425720 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 1704100

[startup+1122.3 s]
/proc/loadavg: 2.06 2.00 2.09 3/179 12654
/proc/meminfo: memFree=28947068/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=1802276 CPUtime=1122.33
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 449604 0 0 0 111971 262 0 0 25 0 1 0 130485237 1845530624 449518 4089446400 134512640 135752675 4292317152 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 450569 449518 146 303 0 450264 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1802276

[startup+1182.3 s]
/proc/loadavg: 2.02 2.00 2.08 3/179 12655
/proc/meminfo: memFree=28772180/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=1888696 CPUtime=1182.33
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 471213 0 0 0 117958 275 0 0 25 0 1 0 130485237 1934024704 471127 4089446400 134512640 135752675 4292317152 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 472174 471127 146 303 0 471869 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1888696

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.08 3/179 12657
/proc/meminfo: memFree=28474664/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=1984860 CPUtime=1242.34
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 495239 0 0 0 123944 290 0 0 25 0 1 0 130485237 2032496640 495153 4089446400 134512640 135752675 4292317152 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 496215 495153 146 303 0 495910 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 1984860

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 12658
/proc/meminfo: memFree=28245724/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=2060596 CPUtime=1302.35
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 514111 0 0 0 129934 301 0 0 25 0 1 0 130485237 2110050304 514025 4089446400 134512640 135752675 4292317152 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 515149 514025 146 303 0 514844 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 2060596

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 12660
/proc/meminfo: memFree=28021612/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=2150376 CPUtime=1362.35
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 536534 0 0 0 135920 315 0 0 25 0 1 0 130485237 2201985024 536448 4089446400 134512640 135752675 4292317152 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 537594 536448 146 303 0 537289 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 2150376

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 12662
/proc/meminfo: memFree=27787596/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=2235980 CPUtime=1422.35
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 557887 0 0 0 141906 329 0 0 25 0 1 0 130485237 2289643520 557801 4089446400 134512640 135752675 4292317152 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 558995 557801 146 303 0 558690 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 2235980

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 12663
/proc/meminfo: memFree=27530388/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=2339184 CPUtime=1482.35
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 583679 0 0 0 147888 347 0 0 25 0 1 0 130485237 2395324416 583593 4089446400 134512640 135752675 4292317152 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 584796 583593 146 303 0 584491 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 2339184

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 12665
/proc/meminfo: memFree=27320664/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=2422100 CPUtime=1542.36
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 604390 0 0 0 153876 360 0 0 25 0 1 0 130485237 2480230400 604304 4089446400 134512640 135752675 4292317152 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 605525 604304 146 303 0 605220 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 2422100

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 12666
/proc/meminfo: memFree=27095696/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=2500084 CPUtime=1602.36
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 623838 0 0 0 159865 371 0 0 25 0 1 0 130485237 2560086016 623752 4089446400 134512640 135752675 4292317152 18446744073709551615 134605239 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 625021 623752 146 303 0 624716 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 2500084

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 12668
/proc/meminfo: memFree=26826568/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=2603352 CPUtime=1662.36
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 649648 0 0 0 165849 387 0 0 25 0 1 0 130485237 2665832448 649562 4089446400 134512640 135752675 4292317152 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 650838 649562 146 303 0 650533 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 2603352

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 12670
/proc/meminfo: memFree=26595776/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=2693472 CPUtime=1722.36
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 672186 0 0 0 171834 402 0 0 25 0 1 0 130485237 2758115328 672100 4089446400 134512640 135752675 4292317152 18446744073709551615 134607306 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 673368 672100 146 303 0 673063 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 2693472

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 12671
/proc/meminfo: memFree=26365612/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=2781896 CPUtime=1782.36
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 694270 0 0 0 177821 415 0 0 25 0 1 0 130485237 2848661504 694184 4089446400 134512640 135752675 4292317152 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 695474 694184 146 303 0 695169 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 2781896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 12672
/proc/meminfo: memFree=26274588/32950928 swapFree=67111528/67111528
[pid=12586] ppid=12584 vsize=2825572 CPUtime=1800.07
/proc/12586/stat : 12586 (wbo1.4b) R 12584 12586 11658 0 -1 4202496 705183 0 0 0 179586 421 0 0 25 0 1 0 130485237 2893385728 705097 4089446400 134512640 135752675 4292317152 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12586/statm: 706393 705097 146 303 0 706088 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2825572

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.1
CPU time (s): 1800.18
CPU user time (s): 1795.86
CPU system time (s): 4.31134
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 2825572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.86
system time used= 4.31134
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 705183
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= 2
involuntary context switches= 2233

runsolver used 3.07053 second user time and 5.74813 second system time

The end

Launcher Data 

Begin job on node148 at 2010-06-30 11:58:30
IDJOB=2690370
IDBENCH=78711
IDSOLVER=1201
FILE ID=node148/2690370-1277891910
PBS_JOBID= 11197057
Free space on /tmp= 74172 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-31-30--soft-33-100-0.wbo
COMMAND LINE= wbo1.4b -file-format=wbo -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690370-1277891910/watcher-2690370-1277891910 -o /tmp/evaluation-result-2690370-1277891910/solver-2690370-1277891910 -C 1800 -W 2000 -M 3800  wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690370-1277891910.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= b618f143f0ce2a95508bc08f0990c2c8
RANDOM SEED=2070268540

node148.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5415.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31276932 kB
Buffers:        173648 kB
Cached:        1255024 kB
SwapCached:          0 kB
Active:         555316 kB
Inactive:       976664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31276932 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2768 kB
Writeback:           0 kB
AnonPages:      103292 kB
Mapped:          15364 kB
Slab:            79428 kB
PageTables:       4876 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   246748 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74168 MiB
End job on node148 at 2010-06-30 12:28:32